Exponential equations solving using a tct 2

From Scott Storla