Exponential equations solving using a tct 1

From Scott Storla