simplify this
Original expression
(+ (+ x (* x y)) y)
Engine output
[PATTERN] (log (exp (log (exp _)))) <=> ! () [PATTERN] (+ (+ b c) a . rest) <=> (+ a b c . rest) () [PATTERN] (+ (+ a b) c . rest) <=> (+ a b c . rest) () [PATTERN] (+ k (+ a b) . rest) <=> (+ k a b . rest) () [PATTERN] (+ 0 . rest) <=> (+ . rest) (one-way) [PATTERN] x <=> (+ (* -1 (log 1)) x) (once) [PATTERN] (* 0 . rest) <=> 0 (one-way) [PATTERN] (* (* b c) a . rest) <=> (* a b c . rest) () [PATTERN] (* (* a b) c . rest) <=> (* a b c . rest) () [PATTERN] (* k (* a b) . rest) <=> (* k a b . rest) () [PATTERN] (* 1 . rest) <=> (* . rest) (one-way) [PATTERN] x <=> (* 1 x) (one-way once) [PATTERN] (* (+ x y) z) <=> (+ (* x z) (* y z)) () [PATTERN] (+ a a . rest) <=> (+ (* 2 a) . rest) () [PATTERN] (* a a . rest) <=> (* (expt a 2) . rest) () [PATTERN] (expt x (+ y1 y2)) <=> (* (expt x y1) (expt x y2)) () [PATTERN] (expt (exp 1) x) <=> (exp x) (one-way) [PATTERN] (expt (expt a b) c) <=> (expt a (* b c)) () [PATTERN] (expt _ 0) <=> 1 (one-way) [PATTERN] (expt x 1) <=> x (one-way) [PATTERN] (expt 1 _) <=> 1 (one-way) [PATTERN] (expt 0 _) <=> ! () [PATTERN] (exp (+ a b)) <=> (* (exp a) (exp b)) () [PATTERN] (exp 0) <=> 1 () [PATTERN] (log (* a b)) <=> (+ (log a) (log b)) () [PATTERN] (log (expt x y)) <=> (* (log x) y) () [PATTERN] (log (exp 1)) <=> 1 () [PATTERN] (log (exp x)) <=> x (one-way) [PATTERN] (log 1) <=> 0 () [PATTERN] (* -1 (log x)) <=> (log (expt x -1)) () [PATTERN] (+ (exp x) (* -1 (log y))) <=> (eml x y) () [PATTERN] 0 <=> (eml 1 (eml (eml 1 1) 1)) () normalization (+ (+ x (* x y)) y) score: 40 tip: (+ (+ (* x y) x) y) tip: (+ (* y x) x y) tip: (+ x y (* x y)) tip: (+ (+ (* x y) y) x) tip: (+ (* (+ 1 x) y) x) tip: (+ y (* x y) x) tip: (+ (+ y (* x y)) x) tip: (+ y (+ (* x y) x)) tip: (+ y (+ x (* x y))) tip: (+ x (+ (* x y) y)) tip: (+ (* y x) (+ x y)) tip: (+ x y (* y x)) tip: (+ x (+ y (* y x))) tip: (* 1 (+ (* 1 x) (* 1 y) (* 1 (* 1 x y)))) tip: (* 1 (+ (+ (* 1 x) (* 1 y)) (* 1 (* 1 x y)))) tip: (+ y (+ (* y x) x)) tip: (+ y (+ x (* y x))) tip: (+ (* (+ 1 y) x) y) tip: (+ x (* x y) y) tip: (+ x (+ (* y x) y)) tip: (* 1 (+ (* 1 y) (+ (* 1 x) (* 1 (* 1 x y))))) tip: (+ (+ x y) (* x y)) tip: (+ (+ x y) (* y x)) tip: (+ (* (expt 1 2) x y) x y) tip: (+ x y (* (* x y) (expt 1 2))) tip: (+ (+ x y) (* 1 (* x y))) tip: (+ (* (expt (exp 0) 2) (* x y)) x y) tip: (+ (* (expt (exp 0) 2) (* x y)) (+ x y)) tip: (+ x y (* (* (expt 1 2) x) y)) tip: (+ (+ (* (expt 1 2) x y) y) x) tip: (+ (* (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (* x y)) x y) tip: (+ (* (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (* x y)) (+ x y)) tip: (+ x (+ y (* (* x y) (expt 1 2)))) tip: (+ (+ (* (expt (exp 0) 2) (* x y)) x) y) tip: (+ (+ (* (expt (exp 0) 2) (* x y)) y) x) tip: (+ (* (expt (exp (log 1)) 2) (* x y)) x y) tip: (+ (* (expt (log (exp 1)) 2) (* x y)) x y) tip: (+ (* (expt (exp (log 1)) 2) (* x y)) (+ x y)) tip: (+ (* (expt (log (exp 1)) 2) (* x y)) (+ x y)) tip: (+ (* (log (exp 1)) x y) (+ x y)) tip: (+ x (+ y (* (* (expt 1 2) x) y))) tip: (+ (* x y) y x) tip: (+ (* x y) (+ y x)) tip: (+ (* (+ 1 (* (expt 1 2) x)) y) x) tip: (+ y (* (expt 1 2) x y) x) tip: (+ y (* (* x y) (expt 1 2)) x) tip: (+ y (* (* (expt 1 2) x) y) x) tip: (+ y (+ (* (expt 1 2) x y) x)) tip: (+ (+ y (* (expt 1 2) x y)) x) tip: (+ y (+ (* (* x y) (expt 1 2)) x)) tip: (+ (+ y (* (* x y) (expt 1 2))) x) tip: (+ (+ y (* (* (expt 1 2) x) y)) x) tip: (+ y (+ (* (* (expt 1 2) x) y) x)) tip: (+ (* 1 y) (* 1 (* x y)) x) tip: (+ (* (exp 0) y) (* (exp 0) (* x y)) x) tip: (+ (* (expt (exp 0) 2) (* x y)) (* (exp 0) y) x) tip: (+ (+ y x) (* (expt 1 2) x y)) tip: (+ (* (* x y) (expt 1 2)) (+ y x)) tip: (+ (* (* (expt 1 2) x) y) (+ y x)) tip: (+ (* x y) (log (exp y)) x) tip: (+ (* x y) (* (log (exp 1)) y) x) tip: (+ (* x y) (log (expt (exp 1) y)) x) tip: (+ (+ (* x y) (log (exp y))) x) tip: (+ (+ (* x y) (* (log (exp 1)) y)) x) tip: (+ (* (+ x (log (exp 1))) y) x) tip: (+ (+ (* 1 y) x) (* 1 (* x y))) tip: (+ (* (expt (exp 0) 2) (* x y)) (+ (* (exp 0) y) x)) tip: (+ (+ (* 1 y) (* 1 (* x y))) x) tip: (+ (* (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (* x y)) (* (exp (eml 1 (eml (eml 1 1) 1))) y) x) tip: (+ (log (exp y)) (* (expt (exp 0) 2) (* x y)) x) tip: (+ (log (exp y)) (* (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (* x y)) x) tip: (+ (+ (* x y) (log (expt (exp 1) y))) x) tip: (+ (* (exp 0) y) (+ (* (expt (exp 0) 2) (* x y)) x)) tip: (+ (* (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (* x y)) (+ (* (exp (eml 1 (eml (eml 1 1) 1))) y) x)) tip: (+ (log (exp y)) (+ (* (expt (exp 0) 2) (* x y)) x)) tip: (+ (+ (log (exp y)) x) (* 1 (* x y))) tip: (+ (* (expt (exp 0) 2) (* x y)) (+ (log (exp y)) x)) tip: (+ (* (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (* x y)) (+ (log (exp y)) x)) tip: (+ (log (exp y)) (* (expt (exp (log 1)) 2) (* x y)) x) tip: (+ (log (exp y)) (* (expt (log (exp 1)) 2) (* x y)) x) tip: (+ (* (exp (log 1)) y) (* (exp (log 1)) (* x y)) x) tip: (+ (* (exp (* 2 (log 1))) (* x y)) (* (exp (log 1)) y) x) tip: (+ (+ (* (exp 0) y) (* (exp 0) (* x y))) x) tip: (+ (+ (* (expt (exp 0) 2) (* x y)) (* (exp 0) y)) x) tip: (+ (* (log (exp x)) y) (log (exp y)) x) tip: (+ (* (log (exp 1)) (* x y)) (log (exp y)) x) tip: (+ (* (log (exp 1)) x y) (log (exp y)) x) tip: (+ (* (* (log (exp 1)) x) y) (log (exp y)) x) tip: (+ (* (expt (exp (log 1)) 2) (* x y)) (* (exp (log 1)) y) x) tip: (+ (* (expt (log (exp 1)) 2) (* x y)) (* (log (exp 1)) y) x) tip: (+ (+ (log (exp y)) (* (expt (exp 0) 2) (* x y))) x) tip: (+ (log (expt (exp x) y)) (log (exp y)) x) tip: (+ (* (expt (exp (log 1)) 2) (* x y)) (+ (log (exp y)) x)) tip: (+ (* (expt (log (exp 1)) 2) (* x y)) (+ (log (exp y)) x)) tip: (+ (* (log (exp 1)) x y) (+ (log (exp y)) x)) tip: (+ (+ (* (log (exp 1)) x y) (log (exp y))) x) tip: (+ (log (expt (exp 1) y)) (* (expt (log (exp 1)) 2) (* x y)) x) tip: (+ (* (log (exp 1)) x y) (* (log (exp 1)) y) x) tip: (+ (* (log (exp 1)) x y) (log (expt (exp 1) y)) x) tip: (+ (* (log (exp 1)) x y) (+ (* (log (exp 1)) y) x)) tip: (+ (* (log (exp 1)) (* x y)) (log (expt (exp 1) y)) x) tip: (+ (* (* (log (exp 1)) x) y) (* (log (exp 1)) y) x) tip: (+ (* (log (exp 1)) x y) (+ (log (expt (exp 1) y)) x)) tip: (+ (* (* (log (exp 1)) x) y) (log (expt (exp 1) y)) x) tip: (* 1 (+ (* 1 x) (* 1 y) (* 1 (* x y)))) tip: (* (exp 0) (+ (* (exp 0) x) (* (exp 0) y) (* (exp 0) (* x y)))) tip: (* (exp 0) (+ (* (expt (exp 0) 2) (* x y)) (* (exp 0) x) (* (exp 0) y))) tip: (+ (+ (* (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (* x y)) x) y) tip: (+ (+ (* (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (* x y)) y) x) tip: (+ (* (expt (exp (log 1)) 2) (* x y)) (+ (* (exp (log 1)) y) x)) tip: (+ (* (expt (log (exp 1)) 2) (* x y)) (+ (* (log (exp 1)) y) x)) tip: (+ (+ (log (expt (exp 1) y)) x) (* 1 (* x y))) tip: (+ (* (log (exp 1)) y) (* 1 (* x y)) x) tip: (+ (* (expt (exp 0) 2) (* x y)) (* (log (exp (exp 0))) y) x) tip: (* 1 (+ (+ (* 1 x) (* 1 y)) (* 1 (* x y)))) tip: (+ (+ (* (log (exp 1)) x y) (* (log (exp 1)) y)) x) tip: (+ (log (expt (exp 1) (* x y))) (log (exp y)) x) tip: (+ (+ (* (log (exp 1)) (* x y)) (log (exp y))) x) tip: (+ (log (exp y)) (+ (* (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (* x y)) x)) tip: (+ (* (exp (eml 1 (eml (eml 1 1) 1))) y) (+ (* (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (* x y)) x)) tip: (+ y (* (log (exp x)) y) x) tip: (+ y (log (expt (exp x) y)) x) tip: (+ (* (log (exp x)) y) (+ y x)) tip: (+ (log (expt (exp x) y)) (+ y x)) tip: (+ y (+ (* (log (exp x)) y) x)) tip: (+ (+ y (* (log (exp x)) y)) x) tip: (+ y (* (log (exp 1)) x y) x) tip: (+ y (* (log (exp 1)) (* x y)) x) tip: (+ y (* (* (log (exp 1)) x) y) x) tip: (+ y (+ (* (log (exp 1)) x y) x)) tip: (+ (+ y (* (log (exp 1)) x y)) x) tip: (+ y (+ (* (log (exp 1)) (* x y)) x)) tip: (+ (+ y (* (log (exp 1)) (* x y))) x) tip: (+ y (log (exp (* x y))) x) tip: (+ (log (exp (* x y))) (+ y x)) tip: (+ y (log (expt (exp 1) (* x y))) x) tip: (+ (+ y x) (* (log (exp 1)) x y)) tip: (+ (* (log (exp 1)) (* x y)) (+ y x)) tip: (+ (* (* (log (exp 1)) x) y) (+ y x)) tip: (+ (log (expt (exp 1) (* x y))) (+ y x)) tip: (+ y (* (log (expt (exp 1) x)) y) x) tip: (+ (+ y (log (exp (* x y)))) x) tip: (+ y (+ (* (* (log (exp 1)) x) y) x)) tip: (+ (+ y (* (* (log (exp 1)) x) y)) x) tip: (+ y (+ (log (expt (exp x) y)) x)) tip: (+ (+ y (log (expt (exp x) y))) x) tip: (+ y (log (expt (expt (exp 1) x) y)) x) tip: (+ (* (log (expt (exp 1) x)) y) (+ y x)) tip: (+ (log (expt (expt (exp 1) x) y)) (+ y x)) tip: (+ y (+ (log (exp (* x y))) x)) tip: (+ y (+ (log (expt (exp 1) (* x y))) x)) tip: (+ (+ y (log (expt (exp 1) (* x y)))) x) tip: (+ y (+ (* (log (expt (exp 1) x)) y) x)) tip: (+ (+ (* (log (exp x)) y) (log (exp y))) x) tip: (+ (+ (* (log (expt (exp 1) x)) y) y) x) tip: (+ (+ (log (exp y)) (* (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (* x y))) x) tip: (+ (* (expt (log (exp 1)) 2) (* x y)) (+ (log (expt (exp 1) y)) x)) tip: (* 1 (+ (* 1 x) (+ (* 1 y) (* 1 (* x y))))) tip: (+ (+ (* (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (* x y)) (* (exp (eml 1 (eml (eml 1 1) 1))) y)) x) tip: (+ (* (log (expt (exp 1) x)) y) (log (exp y)) x) tip: (+ (+ (* (log (exp 1)) x y) (log (expt (exp 1) y))) x) tip: (* (exp 0) (+ (* (expt (exp 0) 2) (* x y)) (+ (* (exp 0) x) (* (exp 0) y)))) tip: (+ (* (log (exp (exp 0))) y) (+ (* (expt (exp 0) 2) (* x y)) x)) tip: (+ (+ (* (expt (exp (log 1)) 2) (* x y)) x) y) tip: (+ (+ (* (expt (exp (log 1)) 2) (* x y)) y) x) tip: (+ (+ (* (expt (log (exp 1)) 2) (* x y)) x) y) tip: (+ (+ (* (expt (log (exp 1)) 2) (* x y)) y) x) tip: (+ (log (expt (exp (exp 0)) y)) (* (expt (exp 0) 2) (* x y)) x) tip: (+ (+ (* y x) x) y) tip: (+ (* (* (expt 1 2) y) x) x y) tip: (+ (+ (* y x) y) x) tip: (+ (+ (* (* (expt 1 2) y) x) y) x) tip: (+ (log (expt (exp 1) (* y x))) x y) tip: (+ (log (expt (exp 1) (* y x))) (+ x y)) tip: (+ (* (log (expt (exp 1) x)) y) (log (expt (exp 1) y)) x) tip: (+ (+ (* (log (exp 1)) (* x y)) (log (expt (exp 1) y))) x) tip: (+ x y (* (expt 1 2) (* x y))) tip: (+ (* (expt 1 2) (* x y)) (+ x y)) tip: (+ (* (expt 1 2) x y) (+ x y)) tip: (* 1 (+ (* 1 x) (+ (* 1 y) (* 1 (* 1 x y))))) tip: (+ x (+ y (* (expt 1 2) (* x y)))) tip: (+ y (+ x (* (* x y) (expt 1 2)))) tip: (* 1 (+ (* 1 y) (+ (* 1 x) (* 1 (* x y))))) tip: (+ y (+ x (* (expt 1 2) x y))) tip: (+ y (+ x (* (* (expt 1 2) x) y))) tip: (+ y (+ x (* (expt 1 2) (* x y)))) tip: (+ x (+ (* (* x y) (expt 1 2)) y)) tip: (+ x (+ (* (expt 1 2) x y) y)) tip: (+ (log (exp y)) (+ (* (expt (exp (log 1)) 2) (* x y)) x)) tip: (+ (log (exp y)) (+ (* (expt (log (exp 1)) 2) (* x y)) x)) tip: (+ (+ (* (exp (log 1)) y) (* (exp (log 1)) (* x y))) x) tip: (+ (+ (* (exp (* 2 (log 1))) (* x y)) (* (exp (log 1)) y)) x) tip: (+ (* (exp (log 1)) y) (+ (* (expt (exp (log 1)) 2) (* x y)) x)) tip: (+ (* (log (exp 1)) y) (+ (* (expt (log (exp 1)) 2) (* x y)) x)) tip: (* (exp (eml 1 (eml (eml 1 1) 1))) (+ (* (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (* x y)) (* (exp (eml 1 (eml (eml 1 1) 1))) x) (* (exp (eml 1 (eml (eml 1 1) 1))) y))) tip: (+ x (+ (* (* (expt 1 2) x) y) y)) tip: (+ (+ (log (exp y)) (* (expt (exp (log 1)) 2) (* x y))) x) tip: (+ (+ (log (exp y)) (* (expt (log (exp 1)) 2) (* x y))) x) tip: (* 1 (+ (* 1 x) (* 1 y) (* 1 (* (* 1 x) y)))) tip: (* (exp 0) (+ (* (exp 0) x) (* (exp 0) y) (* (exp 0) (* (* (exp 0) x) y)))) tip: (* (exp 0) (+ (* (exp 0) x) (* (exp 0) y) (* (expt (exp 0) 2) (exp 0) x y))) tip: (+ x y (* x (expt 1 2) y)) tip: (+ (+ x y) (* x (expt 1 2) y)) tip: (+ x y (* x (* (expt 1 2) y))) tip: (+ x y (* (* x (expt 1 2)) y)) tip: (+ (* x (* (expt 1 2) y)) (+ x y)) tip: (+ x (+ y (* x (expt 1 2) y))) tip: (+ (* (* x (expt 1 2)) y) (+ x y)) tip: (+ x (+ y (* x (* (expt 1 2) y)))) tip: (+ x (+ y (* (* x (expt 1 2)) y))) tip: (+ x (* (+ 1 (* x (expt 1 2))) y)) tip: (* (exp 0) (+ (* (exp 0) x) (* (exp 0) y) (* (* (exp 0) x) (expt (exp 0) 2) y))) tip: (* (exp 0) (+ (+ (* (exp 0) x) (* (exp 0) y)) (* (expt (exp 0) 2) (exp 0) x y))) tip: (* (exp 0) (+ (* (expt (exp 0) 2) (* (* (exp 0) x) y)) (* (exp 0) x) (* (exp 0) y))) tip: (* (exp 0) (+ (+ (* (exp 0) x) (* (exp 0) y)) (* (expt (exp 0) 2) (* (exp 0) x) y))) tip: (+ y (+ (* (* (expt 1 2) y) x) x)) tip: (+ y (+ x (* (* (expt 1 2) y) x))) tip: (+ (+ x (* y x)) y) tip: (+ x (* y x) y) tip: (+ (* (+ 1 (* (expt 1 2) y)) x) y) tip: (+ x (* (expt 1 2) x y) y) tip: (+ x (* (* x y) (expt 1 2)) y) tip: (+ x (* (* (expt 1 2) y) x) y) tip: (+ x (* (* (expt 1 2) x) y) y) tip: (+ (+ x (* (expt 1 2) x y)) y) tip: (+ (+ x (* (* x y) (expt 1 2))) y) tip: (+ (+ x (* (* (expt 1 2) y) x)) y) tip: (+ x (+ (* (* (expt 1 2) y) x) y)) tip: (+ (+ x (* (* (expt 1 2) x) y)) y) tip: (+ (* 1 x) (* 1 (* x y)) y) tip: (+ (* (exp 0) x) (* (exp 0) (* x y)) y) tip: (+ (* (expt (exp 0) 2) (* x y)) (* (exp 0) x) y) tip: (+ (* x y) (log (exp x)) y) tip: (+ (* x y) (* (log (exp 1)) x) y) tip: (+ (* x y) (log (expt (exp 1) x)) y) tip: (+ (+ (* x y) (log (exp x))) y) tip: (+ (+ (* x y) (* (log (exp 1)) x)) y) tip: (+ (+ (* 1 x) y) (* 1 (* x y))) tip: (+ (* (expt (exp 0) 2) (* x y)) (+ (* (exp 0) x) y)) tip: (+ (+ (* 1 x) (* 1 (* x y))) y) tip: (+ (* (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (* x y)) (* (exp (eml 1 (eml (eml 1 1) 1))) x) y) tip: (+ (log (exp x)) (* (expt (exp 0) 2) (* x y)) y) tip: (+ (log (exp x)) (* (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (* x y)) y) tip: (+ (+ (* x y) (log (expt (exp 1) x))) y) tip: (+ (* (exp 0) x) (+ (* (expt (exp 0) 2) (* x y)) y)) tip: (+ (* (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (* x y)) (+ (* (exp (eml 1 (eml (eml 1 1) 1))) x) y)) tip: (+ (log (exp x)) (+ (* (expt (exp 0) 2) (* x y)) y)) tip: (+ (+ (log (exp x)) y) (* 1 (* x y))) tip: (+ (* (expt (exp 0) 2) (* x y)) (+ (log (exp x)) y)) tip: (+ (* (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (* x y)) (+ (log (exp x)) y)) tip: (+ (log (exp x)) (* (expt (exp (log 1)) 2) (* x y)) y) tip: (+ (log (exp x)) (* (expt (log (exp 1)) 2) (* x y)) y) tip: (+ (* (exp (log 1)) x) (* (exp (log 1)) (* x y)) y) tip: (+ (* (exp (* 2 (log 1))) (* x y)) (* (exp (log 1)) x) y) tip: (+ (+ (* (exp 0) x) (* (exp 0) (* x y))) y) tip: (+ (+ (* (expt (exp 0) 2) (* x y)) (* (exp 0) x)) y) tip: (+ (* (log (exp x)) y) (log (exp x)) y) tip: (+ (* (log (exp 1)) (* x y)) (log (exp x)) y) tip: (+ (* (log (exp 1)) x y) (log (exp x)) y) tip: (+ (* (* (log (exp 1)) x) y) (log (exp x)) y) tip: (+ (* (expt (exp (log 1)) 2) (* x y)) (* (exp (log 1)) x) y) tip: (+ (* (expt (log (exp 1)) 2) (* x y)) (* (log (exp 1)) x) y) tip: (+ (+ (log (exp x)) (* (expt (exp 0) 2) (* x y))) y) tip: (+ (log (expt (exp x) y)) (log (exp x)) y) tip: (+ (* (expt (exp (log 1)) 2) (* x y)) (+ (log (exp x)) y)) tip: (+ (* (expt (log (exp 1)) 2) (* x y)) (+ (log (exp x)) y)) tip: (+ (* (log (exp 1)) x y) (+ (log (exp x)) y)) tip: (+ (+ (* (log (exp 1)) x y) (log (exp x))) y) tip: (+ (log (expt (exp 1) x)) (* (expt (log (exp 1)) 2) (* x y)) y) tip: (+ (* (log (exp 1)) x y) (* (log (exp 1)) x) y) tip: (+ (* (log (exp 1)) x y) (log (expt (exp 1) x)) y) tip: (+ (* (log (exp 1)) x y) (+ (* (log (exp 1)) x) y)) tip: (+ (* (log (exp 1)) (* x y)) (log (expt (exp 1) x)) y) tip: (+ (* (* (log (exp 1)) x) y) (* (log (exp 1)) x) y) tip: (+ (* (log (exp 1)) x y) (+ (log (expt (exp 1) x)) y)) tip: (+ (* (log (exp y)) x) (log (exp x)) y) tip: (+ (log (expt (exp y) x)) (log (exp x)) y) tip: (+ (* (* (log (exp 1)) y) x) (* (log (exp 1)) x) y) tip: (+ (log (exp x)) (* y x) y) tip: (+ (* y x) (* (log (exp 1)) x) y) tip: (+ (log (exp x)) (+ (* y x) y)) tip: (+ (* (log (exp 1)) x) (+ (* y x) y)) tip: (+ (log (expt (exp 1) x)) (* y x) y) tip: (+ (+ (log (exp x)) (* y x)) y) tip: (+ (log (expt (exp 1) x)) (+ (* y x) y)) tip: (+ (+ (* y x) (* (log (exp 1)) x)) y) tip: (+ (* (+ y (log (exp 1))) x) y) tip: (+ (+ (log (expt (exp 1) x)) (* y x)) y) tip: (+ (* y x) (log (exp x)) y) tip: (+ (+ (* y x) (log (exp x))) y) tip: (+ (* (* (log (exp 1)) y) x) (log (exp x)) y) tip: (+ (* y x) (log (expt (exp 1) x)) y) tip: (+ (* y x) (+ (* (log (exp 1)) x) y)) tip: (+ (* y x) (+ (log (exp x)) y)) tip: (+ (* y x) (+ (log (expt (exp 1) x)) y)) tip: (+ (+ (* y x) (log (expt (exp 1) x))) y) tip: (+ (log (exp x)) (log (expt (exp 1) (* y x))) y) tip: (+ (* (* (log (exp 1)) x) y) (log (expt (exp 1) x)) y) tip: (+ (* (* (log (exp 1)) y) x) (log (expt (exp 1) x)) y) tip: (+ (* (expt (exp (log 1)) 2) (* x y)) (+ (* (exp (log 1)) x) y)) tip: (+ (* (expt (log (exp 1)) 2) (* x y)) (+ (* (log (exp 1)) x) y)) tip: (+ (+ (log (expt (exp 1) x)) y) (* 1 (* x y))) tip: (+ (* (log (exp 1)) x) (* 1 (* x y)) y) tip: (+ (* (expt (exp 0) 2) (* x y)) (* (log (exp (exp 0))) x) y) tip: (+ (+ (* (log (exp 1)) x y) (* (log (exp 1)) x)) y) tip: (+ (log (expt (exp 1) (* x y))) (log (exp x)) y) tip: (+ (+ (* (log (exp 1)) (* x y)) (log (exp x))) y) tip: (+ (log (expt (exp 1) (* y x))) (+ (log (exp x)) y)) tip: (+ (log (exp x)) (+ (* (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (* x y)) y)) tip: (+ (* (exp (eml 1 (eml (eml 1 1) 1))) x) (+ (* (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (* x y)) y)) tip: (+ x (* (log (exp y)) x) y) tip: (+ x (log (expt (exp y) x)) y) tip: (+ x (+ (* (log (exp y)) x) y)) tip: (+ (+ x (* (log (exp y)) x)) y) tip: (+ x (* (log (exp 1)) x y) y) tip: (+ x (* (log (exp 1)) (* x y)) y) tip: (+ x (* (* (log (exp 1)) y) x) y) tip: (+ x (* (* (log (exp 1)) x) y) y) tip: (+ x (+ (* (log (exp 1)) x y) y)) tip: (+ (+ x (* (log (exp 1)) x y)) y) tip: (+ x (+ (* (log (exp 1)) (* x y)) y)) tip: (+ (+ x (* (log (exp 1)) (* x y))) y) tip: (+ x (log (exp (* x y))) y) tip: (+ x (log (expt (exp 1) (* x y))) y) tip: (+ x (* (log (expt (exp 1) y)) x) y) tip: (+ (+ x (log (exp (* x y)))) y) tip: (+ x (+ (* (* (log (exp 1)) y) x) y)) tip: (+ x (+ (* (* (log (exp 1)) x) y) y)) tip: (+ (log (expt (exp 1) (* y x))) (log (expt (exp 1) x)) y) tip: (+ (+ x (* (* (log (exp 1)) y) x)) y) tip: (+ (+ x (* (* (log (exp 1)) x) y)) y) tip: (+ x (+ (log (expt (exp y) x)) y)) tip: (+ (+ x (log (expt (exp y) x))) y) tip: (+ (log (expt (exp 1) (* y x))) (* 1 x) y) tip: (+ x (log (expt (expt (exp 1) y) x)) y) tip: (+ x (* (log (exp x)) y) y) tip: (+ x (log (expt (exp x) y)) y) tip: (+ x (+ (* (log (exp x)) y) y)) tip: (+ (+ x (* (log (exp x)) y)) y) tip: (+ x (* (log (expt (exp 1) x)) y) y) tip: (+ x (+ (log (expt (exp x) y)) y)) tip: (+ (+ x (log (expt (exp x) y))) y) tip: (+ x (log (expt (expt (exp 1) x) y)) y) tip: (+ (log (expt (exp 1) (* y x))) (+ (* 1 x) y)) tip: (+ x (+ (log (exp (* x y))) y)) tip: (+ x (+ (log (expt (exp 1) (* x y))) y)) tip: (+ (+ x (log (expt (exp 1) (* x y)))) y) tip: (+ x (+ (* (log (expt (exp 1) y)) x) y)) tip: (+ x (+ (* (log (expt (exp 1) x)) y) y)) tip: (+ (+ (* (log (exp x)) y) (log (exp x))) y) tip: (+ (+ (* (log (exp y)) x) (log (exp x))) y) tip: (+ (+ x (* (log (expt (exp 1) y)) x)) y) tip: (+ (+ x (* (log (expt (exp 1) x)) y)) y) tip: (+ (+ (log (exp x)) (* (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (* x y))) y) tip: (+ (* (expt (log (exp 1)) 2) (* x y)) (+ (log (expt (exp 1) x)) y)) tip: (+ (+ (* (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (* x y)) (* (exp (eml 1 (eml (eml 1 1) 1))) x)) y) tip: (+ (* (log (expt (exp 1) x)) y) (log (exp x)) y) tip: (+ (* (log (expt (exp 1) y)) x) (log (exp x)) y) tip: (+ (+ (* (log (exp 1)) x y) (log (expt (exp 1) x))) y) tip: (+ (* (log (exp (exp 0))) x) (+ (* (expt (exp 0) 2) (* x y)) y)) tip: (+ (log (expt (exp (exp 0)) x)) (* (expt (exp 0) 2) (* x y)) y) tip: (+ (* (log (expt (exp 1) x)) y) (log (expt (exp 1) x)) y) tip: (+ (* (log (expt (exp 1) y)) x) (log (expt (exp 1) x)) y) tip: (+ (+ (* (log (exp 1)) (* x y)) (log (expt (exp 1) x))) y) tip: (+ (log (expt (exp 1) (* y x))) (+ (log (expt (exp 1) x)) y)) tip: (+ (log (exp x)) (+ (* (expt (exp (log 1)) 2) (* x y)) y)) tip: (+ (log (exp x)) (+ (* (expt (log (exp 1)) 2) (* x y)) y)) tip: (+ (+ (* (exp (log 1)) x) (* (exp (log 1)) (* x y))) y) tip: (+ (+ (* (exp (* 2 (log 1))) (* x y)) (* (exp (log 1)) x)) y) tip: (+ (* (exp (log 1)) x) (+ (* (expt (exp (log 1)) 2) (* x y)) y)) tip: (+ (* (log (exp 1)) x) (+ (* (expt (log (exp 1)) 2) (* x y)) y)) tip: (+ (+ (log (exp x)) (* (expt (exp (log 1)) 2) (* x y))) y) tip: (+ (+ (log (exp x)) (* (expt (log (exp 1)) 2) (* x y))) y) tip: (+ (* (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (* x y)) (* (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) y) x) tip: (+ (* (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (* x y)) (* (log (exp (exp (eml 1 (eml (eml 1 1) 1))))) x) y) tip: (+ (log (expt (exp 1) y)) (+ (* (expt (log (exp 1)) 2) (* x y)) x)) tip: (+ (log (expt (exp 1) x)) (+ (* (expt (log (exp 1)) 2) (* x y)) y)) tip: (+ (+ (* (* (log (exp 1)) x) y) (log (exp y))) x) tip: (+ (+ (* (* (log (exp 1)) x) y) (log (exp x))) y) tip: (+ (+ (* (* (log (exp 1)) y) x) (log (exp x))) y) tip: (* (exp (eml 1 (eml (eml 1 1) 1))) (+ (* (exp (eml 1 (eml (eml 1 1) 1))) x) (* (exp (eml 1 (eml (eml 1 1) 1))) y) (* (expt (exp (eml 1 (eml (eml 1 1) 1))) 2) (exp (eml 1 (eml (eml 1 1) 1))) x y))) tip: (+ (+ (* (expt (exp (log 1)) 2) (* x y)) (* (exp (log 1)) y)) x) tip: (+ (+ (* (expt (log (exp 1)) 2) (* x y)) (* (log (exp 1)) y)) x) tip: (+ (+ (* (expt (exp (log 1)) 2) (* x y)) (* (exp (log 1)) x)) y) tip: (+ (+ (* (expt (log (exp 1)) 2) (* x y)) (* (log (exp 1)) x)) y)