(^ * _ _) => (lambda (x) (* x x))