Simplify an expression in tower example