exponents and algebraic manipulation