Support for chained exponentation during simplification.