make-accumulator
equal?
differentiation: exponentiation