got rid of commented-out lines in exponentiation_expr