This is essentially Exercise 4.4 (assignment 2).
Linear iteration can be converted to logarithmic iteration by recognizing that if e is even, then
(define power-product (lambda (a b e) (if (= e 0) a (if (even? e) _____________________ _____________________))))