6.111 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.027 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.030 * [simplify]: Simplifying using # : (* x (exp (* y y))) 0.031 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.031 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 0.032 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 0.034 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 0.037 * * [simplify]: iteration 4 : 47 enodes (cost 6 ) 0.044 * * [simplify]: iteration 5 : 113 enodes (cost 6 ) 0.083 * * [simplify]: iteration 6 : 302 enodes (cost 6 ) 0.317 * * [simplify]: iteration 7 : 994 enodes (cost 6 ) 2.454 * * [simplify]: iteration 8 : 3759 enodes (cost 6 ) 4.516 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 4.516 * [simplify]: Simplified to: (* x (exp (* y y))) 4.516 * * [progress]: iteration 1 / 4 4.516 * * * [progress]: picking best candidate 4.519 * * * * [pick]: Picked # 4.519 * * * [progress]: localizing error 4.523 * * * [progress]: generating rewritten candidates 4.523 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 4.525 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 4.531 * * * [progress]: generating series expansions 4.531 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 4.531 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0 4.531 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 4.531 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.531 * [taylor]: Taking taylor expansion of y in y 4.531 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 4.531 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.531 * [taylor]: Taking taylor expansion of y in y 4.533 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 4.533 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.533 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.533 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.533 * [taylor]: Taking taylor expansion of y in y 4.533 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.533 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.533 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.533 * [taylor]: Taking taylor expansion of y in y 4.533 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 4.533 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.533 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.533 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.533 * [taylor]: Taking taylor expansion of y in y 4.533 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.533 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.533 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.533 * [taylor]: Taking taylor expansion of y in y 4.534 * * * * [progress]: [ 2 / 2 ] generating series at (2) 4.534 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0 4.534 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 4.534 * [taylor]: Taking taylor expansion of x in y 4.534 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 4.534 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.534 * [taylor]: Taking taylor expansion of y in y 4.534 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 4.534 * [taylor]: Taking taylor expansion of x in x 4.534 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 4.534 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.534 * [taylor]: Taking taylor expansion of y in x 4.534 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 4.534 * [taylor]: Taking taylor expansion of x in x 4.534 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 4.534 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.534 * [taylor]: Taking taylor expansion of y in x 4.534 * [taylor]: Taking taylor expansion of 0 in y 4.535 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 4.535 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.535 * [taylor]: Taking taylor expansion of y in y 4.535 * [taylor]: Taking taylor expansion of 0 in y 4.535 * [taylor]: Taking taylor expansion of 0 in y 4.536 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0 4.536 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 4.536 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.536 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.536 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.536 * [taylor]: Taking taylor expansion of y in y 4.536 * [taylor]: Taking taylor expansion of x in y 4.536 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 4.536 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 4.536 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 4.536 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.536 * [taylor]: Taking taylor expansion of y in x 4.536 * [taylor]: Taking taylor expansion of x in x 4.536 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 4.536 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 4.536 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 4.536 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.536 * [taylor]: Taking taylor expansion of y in x 4.536 * [taylor]: Taking taylor expansion of x in x 4.537 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.537 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.537 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.537 * [taylor]: Taking taylor expansion of y in y 4.537 * [taylor]: Taking taylor expansion of 0 in y 4.538 * [taylor]: Taking taylor expansion of 0 in y 4.538 * [taylor]: Taking taylor expansion of 0 in y 4.539 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0 4.539 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y 4.539 * [taylor]: Taking taylor expansion of -1 in y 4.539 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 4.539 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.539 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.539 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.539 * [taylor]: Taking taylor expansion of y in y 4.539 * [taylor]: Taking taylor expansion of x in y 4.539 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 4.539 * [taylor]: Taking taylor expansion of -1 in x 4.539 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 4.539 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 4.539 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 4.539 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.539 * [taylor]: Taking taylor expansion of y in x 4.539 * [taylor]: Taking taylor expansion of x in x 4.539 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 4.539 * [taylor]: Taking taylor expansion of -1 in x 4.539 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 4.539 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 4.539 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 4.539 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.539 * [taylor]: Taking taylor expansion of y in x 4.540 * [taylor]: Taking taylor expansion of x in x 4.540 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 4.540 * [taylor]: Taking taylor expansion of -1 in y 4.540 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.540 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.540 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.540 * [taylor]: Taking taylor expansion of y in y 4.541 * [taylor]: Taking taylor expansion of 0 in y 4.541 * [taylor]: Taking taylor expansion of 0 in y 4.542 * [taylor]: Taking taylor expansion of 0 in y 4.542 * * * [progress]: simplifying candidates 4.543 * [simplify]: Simplifying using # : (exp y) (log (exp (* y y))) (exp (exp (* y y))) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (cbrt (exp (* y y))) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y))) (sqrt (exp (* y y))) (sqrt (exp (* y y))) (* x (exp (* y y))) (+ (log x) (* y y)) (log (* x (exp (* y y)))) (exp (* x (exp (* y y)))) (* (* (* x x) x) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y)))) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y)))) (* (* (* x (exp (* y y))) (* x (exp (* y y)))) (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))) (* x (sqrt (exp (* y y)))) (* x 1) (* (cbrt x) (exp (* y y))) (* (sqrt x) (exp (* y y))) (* x (exp (* y y))) (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) (exp (pow y 2)) (exp (pow y 2)) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 4.544 * * [simplify]: iteration 0 : 44 enodes (cost 245 ) 4.551 * * [simplify]: iteration 1 : 88 enodes (cost 237 ) 4.564 * * [simplify]: iteration 2 : 190 enodes (cost 208 ) 4.625 * * [simplify]: iteration 3 : 434 enodes (cost 208 ) 4.886 * * [simplify]: iteration 4 : 1373 enodes (cost 208 ) 6.314 * * [simplify]: iteration 5 : 4366 enodes (cost 208 ) 7.696 * * [simplify]: iteration done : 5000 enodes (cost 208 ) 7.696 * [simplify]: Simplified to: (exp y) (* y y) (exp (exp (* y y))) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (cbrt (exp (* y y))) (pow (exp (pow y 2)) 3) (sqrt (exp (* y y))) (sqrt (exp (* y y))) (* x (exp (pow y 2))) (+ (pow y 2) (log x)) (+ (pow y 2) (log x)) (exp (* x (exp (* y y)))) (pow (* x (exp (pow y 2))) 3) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y)))) (pow (* x (exp (pow y 2))) 3) (sqrt (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))) (* x (sqrt (exp (* y y)))) x (* (cbrt x) (exp (* y y))) (* (sqrt x) (exp (* y y))) (* x (exp (pow y 2))) (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) (exp (* y y)) (exp (* y y)) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 7.697 * * * [progress]: adding candidates to table 7.730 * * [progress]: iteration 2 / 4 7.730 * * * [progress]: picking best candidate 7.742 * * * * [pick]: Picked # 7.742 * * * [progress]: localizing error 7.748 * * * [progress]: generating rewritten candidates 7.748 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 7.754 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 7.758 * * * [progress]: generating series expansions 7.758 * * * * [progress]: [ 1 / 2 ] generating series at (2) 7.759 * [approximate]: Taking taylor expansion of (* x (pow (exp y) y)) in (x y) around 0 7.759 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in y 7.759 * [taylor]: Taking taylor expansion of x in y 7.759 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 7.759 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 7.759 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 7.759 * [taylor]: Taking taylor expansion of y in y 7.759 * [taylor]: Taking taylor expansion of (log (exp y)) in y 7.759 * [taylor]: Taking taylor expansion of (exp y) in y 7.759 * [taylor]: Taking taylor expansion of y in y 7.759 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x 7.759 * [taylor]: Taking taylor expansion of x in x 7.759 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 7.759 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 7.759 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 7.759 * [taylor]: Taking taylor expansion of y in x 7.759 * [taylor]: Taking taylor expansion of (log (exp y)) in x 7.759 * [taylor]: Taking taylor expansion of (exp y) in x 7.759 * [taylor]: Taking taylor expansion of y in x 7.759 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x 7.759 * [taylor]: Taking taylor expansion of x in x 7.759 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 7.759 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 7.759 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 7.759 * [taylor]: Taking taylor expansion of y in x 7.759 * [taylor]: Taking taylor expansion of (log (exp y)) in x 7.759 * [taylor]: Taking taylor expansion of (exp y) in x 7.759 * [taylor]: Taking taylor expansion of y in x 7.760 * [taylor]: Taking taylor expansion of 0 in y 7.760 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 7.760 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.760 * [taylor]: Taking taylor expansion of y in y 7.761 * [taylor]: Taking taylor expansion of 0 in y 7.762 * [taylor]: Taking taylor expansion of 0 in y 7.762 * [approximate]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in (x y) around 0 7.762 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in y 7.762 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 7.762 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 7.762 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 7.762 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.762 * [taylor]: Taking taylor expansion of y in y 7.762 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 7.762 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 7.762 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.762 * [taylor]: Taking taylor expansion of y in y 7.763 * [taylor]: Taking taylor expansion of x in y 7.763 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x 7.763 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 7.763 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 7.763 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 7.763 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.763 * [taylor]: Taking taylor expansion of y in x 7.763 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 7.763 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 7.763 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.763 * [taylor]: Taking taylor expansion of y in x 7.763 * [taylor]: Taking taylor expansion of x in x 7.763 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x 7.763 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 7.763 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 7.763 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 7.763 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.763 * [taylor]: Taking taylor expansion of y in x 7.763 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 7.763 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 7.763 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.764 * [taylor]: Taking taylor expansion of y in x 7.764 * [taylor]: Taking taylor expansion of x in x 7.764 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.764 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.764 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.764 * [taylor]: Taking taylor expansion of y in y 7.765 * [taylor]: Taking taylor expansion of 0 in y 7.765 * [taylor]: Taking taylor expansion of 0 in y 7.767 * [taylor]: Taking taylor expansion of 0 in y 7.767 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in (x y) around 0 7.767 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in y 7.767 * [taylor]: Taking taylor expansion of -1 in y 7.767 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in y 7.767 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 7.767 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 7.767 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 7.767 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.767 * [taylor]: Taking taylor expansion of -1 in y 7.767 * [taylor]: Taking taylor expansion of y in y 7.767 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 7.767 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 7.767 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.767 * [taylor]: Taking taylor expansion of -1 in y 7.767 * [taylor]: Taking taylor expansion of y in y 7.768 * [taylor]: Taking taylor expansion of x in y 7.768 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x 7.768 * [taylor]: Taking taylor expansion of -1 in x 7.768 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x 7.768 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 7.768 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 7.768 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 7.768 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.768 * [taylor]: Taking taylor expansion of -1 in x 7.768 * [taylor]: Taking taylor expansion of y in x 7.768 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 7.768 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 7.768 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.768 * [taylor]: Taking taylor expansion of -1 in x 7.768 * [taylor]: Taking taylor expansion of y in x 7.768 * [taylor]: Taking taylor expansion of x in x 7.768 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x 7.768 * [taylor]: Taking taylor expansion of -1 in x 7.768 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x 7.768 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 7.768 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 7.768 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 7.768 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.768 * [taylor]: Taking taylor expansion of -1 in x 7.768 * [taylor]: Taking taylor expansion of y in x 7.768 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 7.768 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 7.769 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.769 * [taylor]: Taking taylor expansion of -1 in x 7.769 * [taylor]: Taking taylor expansion of y in x 7.769 * [taylor]: Taking taylor expansion of x in x 7.769 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 7.769 * [taylor]: Taking taylor expansion of -1 in y 7.769 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.769 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.769 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.769 * [taylor]: Taking taylor expansion of y in y 7.770 * [taylor]: Taking taylor expansion of 0 in y 7.771 * [taylor]: Taking taylor expansion of 0 in y 7.772 * [taylor]: Taking taylor expansion of 0 in y 7.772 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 7.773 * [approximate]: Taking taylor expansion of (pow (exp y) y) in (y) around 0 7.773 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 7.773 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 7.773 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 7.773 * [taylor]: Taking taylor expansion of y in y 7.773 * [taylor]: Taking taylor expansion of (log (exp y)) in y 7.773 * [taylor]: Taking taylor expansion of (exp y) in y 7.773 * [taylor]: Taking taylor expansion of y in y 7.773 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 7.773 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 7.773 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 7.773 * [taylor]: Taking taylor expansion of y in y 7.773 * [taylor]: Taking taylor expansion of (log (exp y)) in y 7.773 * [taylor]: Taking taylor expansion of (exp y) in y 7.773 * [taylor]: Taking taylor expansion of y in y 7.774 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in (y) around 0 7.774 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 7.774 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 7.774 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 7.774 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.774 * [taylor]: Taking taylor expansion of y in y 7.774 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 7.774 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 7.774 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.774 * [taylor]: Taking taylor expansion of y in y 7.775 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 7.775 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 7.775 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 7.775 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.775 * [taylor]: Taking taylor expansion of y in y 7.775 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 7.775 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 7.775 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.775 * [taylor]: Taking taylor expansion of y in y 7.775 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in (y) around 0 7.775 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 7.775 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 7.775 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 7.775 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.775 * [taylor]: Taking taylor expansion of -1 in y 7.775 * [taylor]: Taking taylor expansion of y in y 7.775 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 7.775 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 7.775 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.776 * [taylor]: Taking taylor expansion of -1 in y 7.776 * [taylor]: Taking taylor expansion of y in y 7.776 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 7.776 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 7.776 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 7.776 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.776 * [taylor]: Taking taylor expansion of -1 in y 7.776 * [taylor]: Taking taylor expansion of y in y 7.776 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 7.776 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 7.776 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.776 * [taylor]: Taking taylor expansion of -1 in y 7.776 * [taylor]: Taking taylor expansion of y in y 7.776 * * * [progress]: simplifying candidates 7.777 * [simplify]: Simplifying using # : (+ (log x) (* y y)) (+ (log x) (* (log (exp y)) y)) (+ (log x) (log (pow (exp y) y))) (log (* x (pow (exp y) y))) (exp (* x (pow (exp y) y))) (* (* (* x x) x) (* (* (pow (exp y) y) (pow (exp y) y)) (pow (exp y) y))) (* (cbrt (* x (pow (exp y) y))) (cbrt (* x (pow (exp y) y)))) (cbrt (* x (pow (exp y) y))) (* (* (* x (pow (exp y) y)) (* x (pow (exp y) y))) (* x (pow (exp y) y))) (sqrt (* x (pow (exp y) y))) (sqrt (* x (pow (exp y) y))) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (pow (exp y) (/ y 2))) (* (sqrt x) (pow (exp y) (/ y 2))) (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (* x (pow (sqrt (exp y)) y)) (* x (pow 1 y)) (* x (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y)))) (* x (sqrt (pow (exp y) y))) (* x 1) (* x (pow (exp y) (/ y 2))) (* (cbrt x) (pow (exp y) y)) (* (sqrt x) (pow (exp y) y)) (* x (pow (exp y) y)) (* y y) (* (log (exp y)) y) (* 1 y) (* (cbrt y) y) (* (sqrt y) y) (* y y) (pow (exp y) (* (cbrt y) (cbrt y))) (pow (exp y) (sqrt y)) (pow (exp y) 1) (pow (* (cbrt (exp y)) (cbrt (exp y))) y) (pow (cbrt (exp y)) y) (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y) (pow 1 y) (pow (exp y) y) (log (pow (exp y) y)) (exp (pow (exp y) y)) (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y))) (cbrt (pow (exp y) y)) (* (* (pow (exp y) y) (pow (exp y) y)) (pow (exp y) y)) (sqrt (pow (exp y) y)) (sqrt (pow (exp y) y)) (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2)) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) (+ 1 (+ (* (log 1) y) (+ (* 1/2 (* (pow (log 1) 2) (pow y 2))) (pow y 2)))) (exp (pow y 2)) (exp (pow y 2)) 7.779 * * [simplify]: iteration 0 : 75 enodes (cost 410 ) 7.795 * * [simplify]: iteration 1 : 158 enodes (cost 378 ) 7.834 * * [simplify]: iteration 2 : 384 enodes (cost 341 ) 7.932 * * [simplify]: iteration 3 : 952 enodes (cost 341 ) 9.061 * * [simplify]: iteration 4 : 3830 enodes (cost 340 ) 10.574 * * [simplify]: iteration done : 5000 enodes (cost 340 ) 10.574 * [simplify]: Simplified to: (+ (* y y) (log x)) (+ (* y y) (log x)) (+ (* y y) (log x)) (+ (* y y) (log x)) (exp (* x (pow (exp y) y))) (pow (* x (exp (pow y 2))) 3) (* (cbrt (* x (pow (exp y) y))) (cbrt (* x (pow (exp y) y)))) (cbrt (* x (pow (exp y) y))) (pow (* x (exp (pow y 2))) 3) (sqrt (* x (pow (exp y) y))) (sqrt (* x (pow (exp y) y))) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (pow (exp y) (/ y 2))) (* (sqrt x) (pow (exp y) (/ y 2))) (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (* x (pow (sqrt (exp y)) y)) x (* x (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y)))) (* x (sqrt (pow (exp y) y))) x (* x (pow (exp y) (/ y 2))) (* (cbrt x) (pow (exp y) y)) (* (sqrt x) (pow (exp y) y)) (* x (exp (pow y 2))) (* y y) (* y y) y (* (cbrt y) y) (pow y 3/2) (* y y) (pow (exp y) (* (cbrt y) (cbrt y))) (pow (exp y) (sqrt y)) (exp y) (pow (* (cbrt (exp y)) (cbrt (exp y))) y) (pow (cbrt (exp y)) y) (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y) 1 (exp (* y y)) (* y y) (exp (pow (exp y) y)) (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y))) (cbrt (pow (exp y) y)) (pow (exp (pow y 2)) 3) (sqrt (pow (exp y) y)) (sqrt (pow (exp y) y)) (exp (* (/ y 2) y)) (exp (* (/ y 2) y)) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) (+ (pow y 2) 1) (exp (* y y)) (exp (* y y)) 10.575 * * * [progress]: adding candidates to table 10.627 * * [progress]: iteration 3 / 4 10.627 * * * [progress]: picking best candidate 10.632 * * * * [pick]: Picked # 10.633 * * * [progress]: localizing error 10.639 * * * [progress]: generating rewritten candidates 10.639 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 10.641 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 10.644 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 10.653 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 10.661 * * * [progress]: generating series expansions 10.661 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 10.661 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0 10.661 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 10.661 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.661 * [taylor]: Taking taylor expansion of y in y 10.661 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 10.661 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.661 * [taylor]: Taking taylor expansion of y in y 10.662 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 10.662 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 10.662 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 10.662 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.662 * [taylor]: Taking taylor expansion of y in y 10.662 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 10.662 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 10.662 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.662 * [taylor]: Taking taylor expansion of y in y 10.662 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 10.663 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 10.663 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 10.663 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.663 * [taylor]: Taking taylor expansion of y in y 10.663 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 10.663 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 10.663 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.663 * [taylor]: Taking taylor expansion of y in y 10.663 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 10.663 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0 10.663 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 10.663 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.663 * [taylor]: Taking taylor expansion of y in y 10.663 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 10.663 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.663 * [taylor]: Taking taylor expansion of y in y 10.664 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 10.664 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 10.664 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 10.664 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.664 * [taylor]: Taking taylor expansion of y in y 10.664 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 10.664 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 10.664 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.665 * [taylor]: Taking taylor expansion of y in y 10.665 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 10.665 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 10.665 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 10.665 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.665 * [taylor]: Taking taylor expansion of y in y 10.665 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 10.665 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 10.665 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.665 * [taylor]: Taking taylor expansion of y in y 10.665 * * * * [progress]: [ 3 / 4 ] generating series at (2) 10.666 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0 10.666 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 10.666 * [taylor]: Taking taylor expansion of x in y 10.666 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 10.666 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.666 * [taylor]: Taking taylor expansion of y in y 10.666 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 10.666 * [taylor]: Taking taylor expansion of x in x 10.666 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 10.666 * [taylor]: Taking taylor expansion of (pow y 2) in x 10.666 * [taylor]: Taking taylor expansion of y in x 10.666 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 10.666 * [taylor]: Taking taylor expansion of x in x 10.666 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 10.666 * [taylor]: Taking taylor expansion of (pow y 2) in x 10.666 * [taylor]: Taking taylor expansion of y in x 10.666 * [taylor]: Taking taylor expansion of 0 in y 10.666 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 10.666 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.666 * [taylor]: Taking taylor expansion of y in y 10.667 * [taylor]: Taking taylor expansion of 0 in y 10.667 * [taylor]: Taking taylor expansion of 0 in y 10.667 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0 10.667 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 10.667 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 10.667 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 10.667 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.667 * [taylor]: Taking taylor expansion of y in y 10.668 * [taylor]: Taking taylor expansion of x in y 10.668 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 10.668 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 10.668 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 10.668 * [taylor]: Taking taylor expansion of (pow y 2) in x 10.668 * [taylor]: Taking taylor expansion of y in x 10.668 * [taylor]: Taking taylor expansion of x in x 10.668 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 10.668 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 10.668 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 10.668 * [taylor]: Taking taylor expansion of (pow y 2) in x 10.668 * [taylor]: Taking taylor expansion of y in x 10.668 * [taylor]: Taking taylor expansion of x in x 10.668 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 10.668 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 10.668 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.668 * [taylor]: Taking taylor expansion of y in y 10.669 * [taylor]: Taking taylor expansion of 0 in y 10.669 * [taylor]: Taking taylor expansion of 0 in y 10.670 * [taylor]: Taking taylor expansion of 0 in y 10.670 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0 10.670 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y 10.670 * [taylor]: Taking taylor expansion of -1 in y 10.670 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 10.670 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 10.670 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 10.670 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.671 * [taylor]: Taking taylor expansion of y in y 10.671 * [taylor]: Taking taylor expansion of x in y 10.671 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 10.671 * [taylor]: Taking taylor expansion of -1 in x 10.671 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 10.671 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 10.671 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 10.671 * [taylor]: Taking taylor expansion of (pow y 2) in x 10.671 * [taylor]: Taking taylor expansion of y in x 10.671 * [taylor]: Taking taylor expansion of x in x 10.671 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 10.671 * [taylor]: Taking taylor expansion of -1 in x 10.671 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 10.671 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 10.671 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 10.671 * [taylor]: Taking taylor expansion of (pow y 2) in x 10.671 * [taylor]: Taking taylor expansion of y in x 10.671 * [taylor]: Taking taylor expansion of x in x 10.671 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 10.672 * [taylor]: Taking taylor expansion of -1 in y 10.672 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 10.672 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 10.672 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.672 * [taylor]: Taking taylor expansion of y in y 10.672 * [taylor]: Taking taylor expansion of 0 in y 10.673 * [taylor]: Taking taylor expansion of 0 in y 10.674 * [taylor]: Taking taylor expansion of 0 in y 10.674 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 10.674 * [approximate]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in (x y) around 0 10.674 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in y 10.674 * [taylor]: Taking taylor expansion of x in y 10.674 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 10.674 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 10.674 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.674 * [taylor]: Taking taylor expansion of y in y 10.674 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in x 10.674 * [taylor]: Taking taylor expansion of x in x 10.674 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in x 10.674 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 10.674 * [taylor]: Taking taylor expansion of (pow y 2) in x 10.674 * [taylor]: Taking taylor expansion of y in x 10.675 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in x 10.675 * [taylor]: Taking taylor expansion of x in x 10.675 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in x 10.675 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 10.675 * [taylor]: Taking taylor expansion of (pow y 2) in x 10.675 * [taylor]: Taking taylor expansion of y in x 10.675 * [taylor]: Taking taylor expansion of 0 in y 10.675 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 10.675 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 10.675 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.675 * [taylor]: Taking taylor expansion of y in y 10.676 * [taylor]: Taking taylor expansion of 0 in y 10.676 * [taylor]: Taking taylor expansion of 0 in y 10.676 * [approximate]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in (x y) around 0 10.677 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in y 10.677 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.677 * [taylor]: Taking taylor expansion of x in y 10.677 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 10.677 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 10.677 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 10.677 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.677 * [taylor]: Taking taylor expansion of y in y 10.677 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 10.677 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.677 * [taylor]: Taking taylor expansion of x in x 10.677 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 10.677 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 10.677 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 10.677 * [taylor]: Taking taylor expansion of (pow y 2) in x 10.677 * [taylor]: Taking taylor expansion of y in x 10.678 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 10.678 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.678 * [taylor]: Taking taylor expansion of x in x 10.678 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 10.678 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 10.678 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 10.678 * [taylor]: Taking taylor expansion of (pow y 2) in x 10.678 * [taylor]: Taking taylor expansion of y in x 10.678 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 10.678 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 10.678 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 10.678 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.678 * [taylor]: Taking taylor expansion of y in y 10.682 * [taylor]: Taking taylor expansion of 0 in y 10.683 * [taylor]: Taking taylor expansion of 0 in y 10.684 * [taylor]: Taking taylor expansion of 0 in y 10.684 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in (x y) around 0 10.684 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in y 10.684 * [taylor]: Taking taylor expansion of -1 in y 10.684 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in y 10.684 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.684 * [taylor]: Taking taylor expansion of x in y 10.684 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 10.684 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 10.684 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 10.684 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.684 * [taylor]: Taking taylor expansion of y in y 10.684 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in x 10.684 * [taylor]: Taking taylor expansion of -1 in x 10.684 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 10.684 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.684 * [taylor]: Taking taylor expansion of x in x 10.684 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 10.684 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 10.684 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 10.684 * [taylor]: Taking taylor expansion of (pow y 2) in x 10.684 * [taylor]: Taking taylor expansion of y in x 10.685 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in x 10.685 * [taylor]: Taking taylor expansion of -1 in x 10.685 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 10.685 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.685 * [taylor]: Taking taylor expansion of x in x 10.685 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 10.685 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 10.685 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 10.685 * [taylor]: Taking taylor expansion of (pow y 2) in x 10.685 * [taylor]: Taking taylor expansion of y in x 10.686 * [taylor]: Taking taylor expansion of (* -1 (sqrt (exp (/ 1 (pow y 2))))) in y 10.686 * [taylor]: Taking taylor expansion of -1 in y 10.686 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 10.686 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 10.686 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 10.686 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.686 * [taylor]: Taking taylor expansion of y in y 10.687 * [taylor]: Taking taylor expansion of 0 in y 10.687 * [taylor]: Taking taylor expansion of 0 in y 10.689 * [taylor]: Taking taylor expansion of 0 in y 10.689 * * * [progress]: simplifying candidates 10.690 * [simplify]: Simplifying using # : (exp y) (log (exp (* y y))) (exp (exp (* y y))) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (cbrt (exp (* y y))) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y))) (sqrt (exp (* y y))) (sqrt (exp (* y y))) (exp y) (log (exp (* y y))) (exp (exp (* y y))) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (cbrt (exp (* y y))) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y))) (sqrt (exp (* y y))) (sqrt (exp (* y y))) (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y)))) (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y)))) (+ (+ (log x) (log (sqrt (exp (* y y))))) (log (sqrt (exp (* y y))))) (+ (log (* x (sqrt (exp (* y y))))) (log (sqrt (exp (* y y))))) (log (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (exp (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (* (* (* x x) x) (* (* (sqrt (exp (* y y))) (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (* (sqrt (exp (* y y))) (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (* (* (* x (sqrt (exp (* y y)))) (* x (sqrt (exp (* y y))))) (* x (sqrt (exp (* y y))))) (* (* (sqrt (exp (* y y))) (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (cbrt (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (cbrt (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y)))))) (cbrt (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (* (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y)))) (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (sqrt (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (sqrt (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (* x (sqrt (exp (* y y)))) (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y)))))) (* (* x (sqrt (exp (* y y)))) (sqrt (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))))) (* (* x (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y))))) (* (* x (sqrt (exp (* y y)))) (sqrt 1)) (* (* x (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y))))) (* (* x (sqrt (exp (* y y)))) 1) (* (sqrt (exp (* y y))) (sqrt (exp (* y y)))) (* x (sqrt (exp (* y y)))) (+ (log x) (log (sqrt (exp (* y y))))) (log (* x (sqrt (exp (* y y))))) (exp (* x (sqrt (exp (* y y))))) (* (* (* x x) x) (* (* (sqrt (exp (* y y))) (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (cbrt (* x (sqrt (exp (* y y))))) (cbrt (* x (sqrt (exp (* y y)))))) (cbrt (* x (sqrt (exp (* y y))))) (* (* (* x (sqrt (exp (* y y)))) (* x (sqrt (exp (* y y))))) (* x (sqrt (exp (* y y))))) (sqrt (* x (sqrt (exp (* y y))))) (sqrt (* x (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* x (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y)))))) (* x (sqrt (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))))) (* x (sqrt (sqrt (exp (* y y))))) (* x (sqrt 1)) (* x (sqrt (sqrt (exp (* y y))))) (* x 1) (* (cbrt x) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* x (sqrt (exp (* y y)))) (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) (exp (pow y 2)) (exp (pow y 2)) (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) (exp (pow y 2)) (exp (pow y 2)) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) x (* x (sqrt (exp (pow y 2)))) (* x (sqrt (exp (pow y 2)))) 10.692 * * [simplify]: iteration 0 : 73 enodes (cost 778 ) 10.707 * * [simplify]: iteration 1 : 163 enodes (cost 599 ) 10.756 * * [simplify]: iteration 2 : 468 enodes (cost 518 ) 11.005 * * [simplify]: iteration 3 : 1086 enodes (cost 518 ) 12.310 * * [simplify]: iteration 4 : 3412 enodes (cost 518 ) 13.653 * * [simplify]: iteration done : 5000 enodes (cost 518 ) 13.653 * [simplify]: Simplified to: (exp y) (pow y 2) (exp (exp (* y y))) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (cbrt (exp (* y y))) (pow (exp (pow y 2)) 3) (sqrt (pow (exp y) y)) (sqrt (pow (exp y) y)) (exp y) (pow y 2) (exp (exp (* y y))) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (cbrt (exp (* y y))) (pow (exp (pow y 2)) 3) (sqrt (pow (exp y) y)) (sqrt (pow (exp y) y)) (* x (exp (pow y 2))) (* x (exp (pow y 2))) (+ (log x) (* y y)) (+ (log x) (* y y)) (+ (log x) (* y y)) (exp (* x (exp (pow y 2)))) (pow (* x (exp (pow y 2))) 3) (pow (* x (exp (pow y 2))) 3) (* (cbrt (* x (exp (pow y 2)))) (cbrt (* x (exp (pow y 2))))) (cbrt (* x (exp (pow y 2)))) (pow (* x (exp (pow y 2))) 3) (sqrt (* x (exp (pow y 2)))) (sqrt (* x (exp (pow y 2)))) (* (* x (sqrt (exp (* y y)))) (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y)))))) (* (fabs (cbrt (exp (* y y)))) (* x (sqrt (exp (pow y 2))))) (* (* x (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y))))) (* x (sqrt (exp (pow y 2)))) (* (* x (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y))))) (* x (sqrt (exp (pow y 2)))) (pow (exp y) y) (* x (sqrt (exp (pow y 2)))) (log (* x (sqrt (exp (* y y))))) (log (* x (sqrt (exp (* y y))))) (exp (* x (sqrt (exp (* y y))))) (pow (* x (sqrt (exp (pow y 2)))) 3) (* (cbrt (* x (sqrt (exp (* y y))))) (cbrt (* x (sqrt (exp (* y y)))))) (cbrt (* x (sqrt (exp (* y y))))) (pow (* x (sqrt (exp (pow y 2)))) 3) (sqrt (* x (sqrt (exp (* y y))))) (sqrt (* x (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* (* x (cbrt (sqrt (exp (* y y))))) (cbrt (sqrt (exp (* y y))))) (* x (fabs (cbrt (exp (* y y))))) (* (sqrt (sqrt (exp (pow y 2)))) x) x (* (sqrt (sqrt (exp (pow y 2)))) x) x (* (cbrt x) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* x (sqrt (exp (pow y 2)))) (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) (pow (exp y) y) (pow (exp y) y) (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) (pow (exp y) y) (pow (exp y) y) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) x (* x (sqrt (exp (pow y 2)))) (* x (sqrt (exp (pow y 2)))) 13.654 * * * [progress]: adding candidates to table 13.723 * * [progress]: iteration 4 / 4 13.723 * * * [progress]: picking best candidate 13.730 * * * * [pick]: Picked # 13.730 * * * [progress]: localizing error 13.744 * * * [progress]: generating rewritten candidates 13.744 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 13.746 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 13.748 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1) 13.752 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 13.767 * * * [progress]: generating series expansions 13.767 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 13.768 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0 13.768 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 13.768 * [taylor]: Taking taylor expansion of (pow y 2) in y 13.768 * [taylor]: Taking taylor expansion of y in y 13.768 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 13.768 * [taylor]: Taking taylor expansion of (pow y 2) in y 13.768 * [taylor]: Taking taylor expansion of y in y 13.769 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 13.769 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 13.769 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 13.769 * [taylor]: Taking taylor expansion of (pow y 2) in y 13.769 * [taylor]: Taking taylor expansion of y in y 13.769 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 13.769 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 13.769 * [taylor]: Taking taylor expansion of (pow y 2) in y 13.769 * [taylor]: Taking taylor expansion of y in y 13.769 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 13.769 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 13.769 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 13.769 * [taylor]: Taking taylor expansion of (pow y 2) in y 13.769 * [taylor]: Taking taylor expansion of y in y 13.770 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 13.770 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 13.770 * [taylor]: Taking taylor expansion of (pow y 2) in y 13.770 * [taylor]: Taking taylor expansion of y in y 13.770 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 13.770 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0 13.770 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 13.770 * [taylor]: Taking taylor expansion of (pow y 2) in y 13.770 * [taylor]: Taking taylor expansion of y in y 13.770 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 13.770 * [taylor]: Taking taylor expansion of (pow y 2) in y 13.770 * [taylor]: Taking taylor expansion of y in y 13.771 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 13.771 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 13.771 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 13.771 * [taylor]: Taking taylor expansion of (pow y 2) in y 13.771 * [taylor]: Taking taylor expansion of y in y 13.771 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 13.771 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 13.771 * [taylor]: Taking taylor expansion of (pow y 2) in y 13.771 * [taylor]: Taking taylor expansion of y in y 13.772 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 13.772 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 13.772 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 13.772 * [taylor]: Taking taylor expansion of (pow y 2) in y 13.772 * [taylor]: Taking taylor expansion of y in y 13.772 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 13.772 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 13.772 * [taylor]: Taking taylor expansion of (pow y 2) in y 13.772 * [taylor]: Taking taylor expansion of y in y 13.772 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1) 13.772 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0 13.772 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 13.772 * [taylor]: Taking taylor expansion of (pow y 2) in y 13.772 * [taylor]: Taking taylor expansion of y in y 13.772 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 13.772 * [taylor]: Taking taylor expansion of (pow y 2) in y 13.772 * [taylor]: Taking taylor expansion of y in y 13.773 * [approximate]: Taking taylor expansion of (exp (pow (/ 1 y) 2)) in (y) around 0 13.773 * [taylor]: Taking taylor expansion of (exp (pow (/ 1 y) 2)) in y 13.774 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 2) in y 13.774 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.774 * [taylor]: Taking taylor expansion of y in y 13.774 * [taylor]: Taking taylor expansion of (exp (pow (/ 1 y) 2)) in y 13.774 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 2) in y 13.774 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.774 * [taylor]: Taking taylor expansion of y in y 13.774 * [approximate]: Taking taylor expansion of (exp (pow (/ -1 y) 2)) in (y) around 0 13.774 * [taylor]: Taking taylor expansion of (exp (pow (/ -1 y) 2)) in y 13.774 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 2) in y 13.774 * [taylor]: Taking taylor expansion of (/ -1 y) in y 13.774 * [taylor]: Taking taylor expansion of -1 in y 13.774 * [taylor]: Taking taylor expansion of y in y 13.774 * [taylor]: Taking taylor expansion of (exp (pow (/ -1 y) 2)) in y 13.774 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 2) in y 13.774 * [taylor]: Taking taylor expansion of (/ -1 y) in y 13.774 * [taylor]: Taking taylor expansion of -1 in y 13.774 * [taylor]: Taking taylor expansion of y in y 13.775 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 13.775 * [approximate]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in (y x) around 0 13.775 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in x 13.775 * [taylor]: Taking taylor expansion of x in x 13.775 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in x 13.775 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 13.775 * [taylor]: Taking taylor expansion of (pow y 2) in x 13.775 * [taylor]: Taking taylor expansion of y in x 13.775 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in y 13.775 * [taylor]: Taking taylor expansion of x in y 13.775 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 13.775 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 13.775 * [taylor]: Taking taylor expansion of (pow y 2) in y 13.775 * [taylor]: Taking taylor expansion of y in y 13.775 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in y 13.775 * [taylor]: Taking taylor expansion of x in y 13.776 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 13.776 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 13.776 * [taylor]: Taking taylor expansion of (pow y 2) in y 13.776 * [taylor]: Taking taylor expansion of y in y 13.776 * [taylor]: Taking taylor expansion of x in x 13.776 * [taylor]: Taking taylor expansion of 0 in x 13.776 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 13.776 * [taylor]: Taking taylor expansion of 1/2 in x 13.776 * [taylor]: Taking taylor expansion of x in x 13.777 * [taylor]: Taking taylor expansion of 0 in x 13.777 * [taylor]: Taking taylor expansion of (* 1/8 x) in x 13.777 * [taylor]: Taking taylor expansion of 1/8 in x 13.777 * [taylor]: Taking taylor expansion of x in x 13.778 * [approximate]: Taking taylor expansion of (* (pow (* (exp (pow (/ 1 y) 2)) (exp (/ 1 (pow y 2)))) 1/4) (/ 1 x)) in (y x) around 0 13.778 * [taylor]: Taking taylor expansion of (* (pow (* (exp (pow (/ 1 y) 2)) (exp (/ 1 (pow y 2)))) 1/4) (/ 1 x)) in x 13.778 * [taylor]: Taking taylor expansion of (pow (* (exp (pow (/ 1 y) 2)) (exp (/ 1 (pow y 2)))) 1/4) in x 13.778 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (exp (pow (/ 1 y) 2)) (exp (/ 1 (pow y 2))))))) in x 13.778 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (exp (pow (/ 1 y) 2)) (exp (/ 1 (pow y 2)))))) in x 13.778 * [taylor]: Taking taylor expansion of 1/4 in x 13.778 * [taylor]: Taking taylor expansion of (log (* (exp (pow (/ 1 y) 2)) (exp (/ 1 (pow y 2))))) in x 13.778 * [taylor]: Taking taylor expansion of (* (exp (pow (/ 1 y) 2)) (exp (/ 1 (pow y 2)))) in x 13.778 * [taylor]: Taking taylor expansion of (exp (pow (/ 1 y) 2)) in x 13.778 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 2) in x 13.778 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.778 * [taylor]: Taking taylor expansion of y in x 13.778 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 13.778 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 13.778 * [taylor]: Taking taylor expansion of (pow y 2) in x 13.778 * [taylor]: Taking taylor expansion of y in x 13.779 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.779 * [taylor]: Taking taylor expansion of x in x 13.779 * [taylor]: Taking taylor expansion of (* (pow (* (exp (pow (/ 1 y) 2)) (exp (/ 1 (pow y 2)))) 1/4) (/ 1 x)) in y 13.779 * [taylor]: Taking taylor expansion of (pow (* (exp (pow (/ 1 y) 2)) (exp (/ 1 (pow y 2)))) 1/4) in y 13.779 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (exp (pow (/ 1 y) 2)) (exp (/ 1 (pow y 2))))))) in y 13.779 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (exp (pow (/ 1 y) 2)) (exp (/ 1 (pow y 2)))))) in y 13.779 * [taylor]: Taking taylor expansion of 1/4 in y 13.779 * [taylor]: Taking taylor expansion of (log (* (exp (pow (/ 1 y) 2)) (exp (/ 1 (pow y 2))))) in y 13.779 * [taylor]: Taking taylor expansion of (* (exp (pow (/ 1 y) 2)) (exp (/ 1 (pow y 2)))) in y 13.779 * [taylor]: Taking taylor expansion of (exp (pow (/ 1 y) 2)) in y 13.779 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 2) in y 13.779 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.779 * [taylor]: Taking taylor expansion of y in y 13.779 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 13.779 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 13.779 * [taylor]: Taking taylor expansion of (pow y 2) in y 13.779 * [taylor]: Taking taylor expansion of y in y 13.780 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.780 * [taylor]: Taking taylor expansion of x in y 13.780 * [taylor]: Taking taylor expansion of (* (pow (* (exp (pow (/ 1 y) 2)) (exp (/ 1 (pow y 2)))) 1/4) (/ 1 x)) in y 13.780 * [taylor]: Taking taylor expansion of (pow (* (exp (pow (/ 1 y) 2)) (exp (/ 1 (pow y 2)))) 1/4) in y 13.780 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (exp (pow (/ 1 y) 2)) (exp (/ 1 (pow y 2))))))) in y 13.780 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (exp (pow (/ 1 y) 2)) (exp (/ 1 (pow y 2)))))) in y 13.780 * [taylor]: Taking taylor expansion of 1/4 in y 13.780 * [taylor]: Taking taylor expansion of (log (* (exp (pow (/ 1 y) 2)) (exp (/ 1 (pow y 2))))) in y 13.780 * [taylor]: Taking taylor expansion of (* (exp (pow (/ 1 y) 2)) (exp (/ 1 (pow y 2)))) in y 13.780 * [taylor]: Taking taylor expansion of (exp (pow (/ 1 y) 2)) in y 13.780 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 2) in y 13.780 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.780 * [taylor]: Taking taylor expansion of y in y 13.780 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 13.780 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 13.780 * [taylor]: Taking taylor expansion of (pow y 2) in y 13.780 * [taylor]: Taking taylor expansion of y in y 13.781 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.781 * [taylor]: Taking taylor expansion of x in y 13.781 * [taylor]: Taking taylor expansion of (* (pow (* (exp (pow (/ 1 y) 2)) (exp (/ 1 (pow y 2)))) 1/4) (/ 1 x)) in x 13.781 * [taylor]: Taking taylor expansion of (pow (* (exp (pow (/ 1 y) 2)) (exp (/ 1 (pow y 2)))) 1/4) in x 13.781 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (exp (pow (/ 1 y) 2)) (exp (/ 1 (pow y 2))))))) in x 13.781 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (exp (pow (/ 1 y) 2)) (exp (/ 1 (pow y 2)))))) in x 13.781 * [taylor]: Taking taylor expansion of 1/4 in x 13.781 * [taylor]: Taking taylor expansion of (log (* (exp (pow (/ 1 y) 2)) (exp (/ 1 (pow y 2))))) in x 13.781 * [taylor]: Taking taylor expansion of (* (exp (pow (/ 1 y) 2)) (exp (/ 1 (pow y 2)))) in x 13.781 * [taylor]: Taking taylor expansion of (exp (pow (/ 1 y) 2)) in x 13.781 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 2) in x 13.781 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.781 * [taylor]: Taking taylor expansion of y in x 13.781 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 13.781 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 13.781 * [taylor]: Taking taylor expansion of (pow y 2) in x 13.781 * [taylor]: Taking taylor expansion of y in x 13.782 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.782 * [taylor]: Taking taylor expansion of x in x 13.783 * [taylor]: Taking taylor expansion of 0 in x 13.786 * [taylor]: Taking taylor expansion of 0 in x 13.789 * [taylor]: Taking taylor expansion of 0 in x 13.795 * [approximate]: Taking taylor expansion of (* -1 (* (pow (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2)))) 1/4) (/ 1 x))) in (y x) around 0 13.795 * [taylor]: Taking taylor expansion of (* -1 (* (pow (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2)))) 1/4) (/ 1 x))) in x 13.795 * [taylor]: Taking taylor expansion of -1 in x 13.795 * [taylor]: Taking taylor expansion of (* (pow (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2)))) 1/4) (/ 1 x)) in x 13.795 * [taylor]: Taking taylor expansion of (pow (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2)))) 1/4) in x 13.795 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2))))))) in x 13.795 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2)))))) in x 13.795 * [taylor]: Taking taylor expansion of 1/4 in x 13.795 * [taylor]: Taking taylor expansion of (log (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2))))) in x 13.795 * [taylor]: Taking taylor expansion of (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2)))) in x 13.795 * [taylor]: Taking taylor expansion of (exp (pow (/ -1 y) 2)) in x 13.795 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 2) in x 13.795 * [taylor]: Taking taylor expansion of (/ -1 y) in x 13.795 * [taylor]: Taking taylor expansion of -1 in x 13.795 * [taylor]: Taking taylor expansion of y in x 13.795 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 13.795 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 13.795 * [taylor]: Taking taylor expansion of (pow y 2) in x 13.795 * [taylor]: Taking taylor expansion of y in x 13.796 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.796 * [taylor]: Taking taylor expansion of x in x 13.796 * [taylor]: Taking taylor expansion of (* -1 (* (pow (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2)))) 1/4) (/ 1 x))) in y 13.796 * [taylor]: Taking taylor expansion of -1 in y 13.796 * [taylor]: Taking taylor expansion of (* (pow (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2)))) 1/4) (/ 1 x)) in y 13.796 * [taylor]: Taking taylor expansion of (pow (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2)))) 1/4) in y 13.796 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2))))))) in y 13.796 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2)))))) in y 13.796 * [taylor]: Taking taylor expansion of 1/4 in y 13.796 * [taylor]: Taking taylor expansion of (log (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2))))) in y 13.796 * [taylor]: Taking taylor expansion of (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2)))) in y 13.796 * [taylor]: Taking taylor expansion of (exp (pow (/ -1 y) 2)) in y 13.796 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 2) in y 13.796 * [taylor]: Taking taylor expansion of (/ -1 y) in y 13.796 * [taylor]: Taking taylor expansion of -1 in y 13.796 * [taylor]: Taking taylor expansion of y in y 13.796 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 13.796 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 13.796 * [taylor]: Taking taylor expansion of (pow y 2) in y 13.796 * [taylor]: Taking taylor expansion of y in y 13.797 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.797 * [taylor]: Taking taylor expansion of x in y 13.797 * [taylor]: Taking taylor expansion of (* -1 (* (pow (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2)))) 1/4) (/ 1 x))) in y 13.797 * [taylor]: Taking taylor expansion of -1 in y 13.797 * [taylor]: Taking taylor expansion of (* (pow (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2)))) 1/4) (/ 1 x)) in y 13.797 * [taylor]: Taking taylor expansion of (pow (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2)))) 1/4) in y 13.797 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2))))))) in y 13.797 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2)))))) in y 13.797 * [taylor]: Taking taylor expansion of 1/4 in y 13.797 * [taylor]: Taking taylor expansion of (log (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2))))) in y 13.797 * [taylor]: Taking taylor expansion of (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2)))) in y 13.797 * [taylor]: Taking taylor expansion of (exp (pow (/ -1 y) 2)) in y 13.797 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 2) in y 13.797 * [taylor]: Taking taylor expansion of (/ -1 y) in y 13.797 * [taylor]: Taking taylor expansion of -1 in y 13.797 * [taylor]: Taking taylor expansion of y in y 13.797 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 13.797 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 13.797 * [taylor]: Taking taylor expansion of (pow y 2) in y 13.797 * [taylor]: Taking taylor expansion of y in y 13.798 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.798 * [taylor]: Taking taylor expansion of x in y 13.799 * [taylor]: Taking taylor expansion of (* -1 (* (pow (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2)))) 1/4) (/ 1 x))) in x 13.799 * [taylor]: Taking taylor expansion of -1 in x 13.799 * [taylor]: Taking taylor expansion of (* (pow (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2)))) 1/4) (/ 1 x)) in x 13.799 * [taylor]: Taking taylor expansion of (pow (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2)))) 1/4) in x 13.799 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2))))))) in x 13.799 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2)))))) in x 13.799 * [taylor]: Taking taylor expansion of 1/4 in x 13.799 * [taylor]: Taking taylor expansion of (log (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2))))) in x 13.799 * [taylor]: Taking taylor expansion of (* (exp (pow (/ -1 y) 2)) (exp (/ 1 (pow y 2)))) in x 13.799 * [taylor]: Taking taylor expansion of (exp (pow (/ -1 y) 2)) in x 13.799 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 2) in x 13.799 * [taylor]: Taking taylor expansion of (/ -1 y) in x 13.799 * [taylor]: Taking taylor expansion of -1 in x 13.799 * [taylor]: Taking taylor expansion of y in x 13.799 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 13.799 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 13.799 * [taylor]: Taking taylor expansion of (pow y 2) in x 13.799 * [taylor]: Taking taylor expansion of y in x 13.800 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.800 * [taylor]: Taking taylor expansion of x in x 13.801 * [taylor]: Taking taylor expansion of 0 in x 13.804 * [taylor]: Taking taylor expansion of 0 in x 13.807 * [taylor]: Taking taylor expansion of 0 in x 13.810 * * * [progress]: simplifying candidates 13.811 * [simplify]: Simplifying using # : (exp y) (log (exp (* y y))) (exp (exp (* y y))) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (cbrt (exp (* y y))) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y))) (sqrt (exp (* y y))) (sqrt (exp (* y y))) (exp y) (log (exp (* y y))) (exp (exp (* y y))) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (cbrt (exp (* y y))) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y))) (sqrt (exp (* y y))) (sqrt (exp (* y y))) (exp (pow (* (cbrt y) (cbrt y)) 2)) (exp (pow (sqrt y) 2)) (exp (pow 1 2)) (exp y) (exp (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (exp (sqrt (pow y 2))) (exp 1) (exp (pow y (/ 2 2))) (log (exp (pow y 2))) (exp (exp (pow y 2))) (* (cbrt (exp (pow y 2))) (cbrt (exp (pow y 2)))) (cbrt (exp (pow y 2))) (* (* (exp (pow y 2)) (exp (pow y 2))) (exp (pow y 2))) (sqrt (exp (pow y 2))) (sqrt (exp (pow y 2))) (* (* (sqrt (sqrt (exp (pow y 2)))) x) (sqrt (sqrt (exp (* y y))))) (* (* (sqrt (sqrt (exp (pow y 2)))) x) (sqrt (sqrt (exp (* y y))))) (+ (+ (log (sqrt (sqrt (exp (pow y 2))))) (log x)) (log (sqrt (sqrt (exp (* y y)))))) (+ (log (* (sqrt (sqrt (exp (pow y 2)))) x)) (log (sqrt (sqrt (exp (* y y)))))) (log (* (* (sqrt (sqrt (exp (pow y 2)))) x) (sqrt (sqrt (exp (* y y)))))) (exp (* (* (sqrt (sqrt (exp (pow y 2)))) x) (sqrt (sqrt (exp (* y y)))))) (* (* (* (* (sqrt (sqrt (exp (pow y 2)))) (sqrt (sqrt (exp (pow y 2))))) (sqrt (sqrt (exp (pow y 2))))) (* (* x x) x)) (* (* (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (* (* (* (* (sqrt (sqrt (exp (pow y 2)))) x) (* (sqrt (sqrt (exp (pow y 2)))) x)) (* (sqrt (sqrt (exp (pow y 2)))) x)) (* (* (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (* (cbrt (* (* (sqrt (sqrt (exp (pow y 2)))) x) (sqrt (sqrt (exp (* y y)))))) (cbrt (* (* (sqrt (sqrt (exp (pow y 2)))) x) (sqrt (sqrt (exp (* y y))))))) (cbrt (* (* (sqrt (sqrt (exp (pow y 2)))) x) (sqrt (sqrt (exp (* y y)))))) (* (* (* (* (sqrt (sqrt (exp (pow y 2)))) x) (sqrt (sqrt (exp (* y y))))) (* (* (sqrt (sqrt (exp (pow y 2)))) x) (sqrt (sqrt (exp (* y y)))))) (* (* (sqrt (sqrt (exp (pow y 2)))) x) (sqrt (sqrt (exp (* y y)))))) (sqrt (* (* (sqrt (sqrt (exp (pow y 2)))) x) (sqrt (sqrt (exp (* y y)))))) (sqrt (* (* (sqrt (sqrt (exp (pow y 2)))) x) (sqrt (sqrt (exp (* y y)))))) (* (* (sqrt (sqrt (exp (pow y 2)))) x) (* (cbrt (sqrt (sqrt (exp (* y y))))) (cbrt (sqrt (sqrt (exp (* y y))))))) (* (* (sqrt (sqrt (exp (pow y 2)))) x) (sqrt (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y))))))) (* (* (sqrt (sqrt (exp (pow y 2)))) x) (sqrt (sqrt (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))))) (* (* (sqrt (sqrt (exp (pow y 2)))) x) (sqrt (sqrt (sqrt (exp (* y y)))))) (* (* (sqrt (sqrt (exp (pow y 2)))) x) (sqrt (sqrt 1))) (* (* (sqrt (sqrt (exp (pow y 2)))) x) (sqrt (sqrt (sqrt (exp (* y y)))))) (* (* (sqrt (sqrt (exp (pow y 2)))) x) (sqrt 1)) (* (* (sqrt (sqrt (exp (pow y 2)))) x) (sqrt (sqrt (sqrt (exp (* y y)))))) (* (* (sqrt (sqrt (exp (pow y 2)))) x) 1) (* x (sqrt (sqrt (exp (* y y))))) (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) (exp (pow y 2)) (exp (pow y 2)) (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) (exp (pow y 2)) (exp (pow y 2)) (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) (exp (pow y 2)) (exp (pow y 2)) (+ (* 1/2 (* x (pow y 2))) x) (* x (sqrt (exp (pow y 2)))) (* x (sqrt (exp (pow y 2)))) 13.813 * * [simplify]: iteration 0 : 98 enodes (cost 753 ) 13.830 * * [simplify]: iteration 1 : 207 enodes (cost 665 ) 13.899 * * [simplify]: iteration 2 : 555 enodes (cost 483 ) 14.238 * * [simplify]: iteration 3 : 1316 enodes (cost 483 ) 14.951 * * [simplify]: iteration 4 : 2618 enodes (cost 480 ) 16.027 * * [simplify]: iteration done : 5000 enodes (cost 480 ) 16.027 * [simplify]: Simplified to: (exp y) (* y y) (exp (exp (pow y 2))) (* (cbrt (exp (pow y 2))) (cbrt (exp (pow y 2)))) (cbrt (exp (pow y 2))) (pow (exp (pow y 2)) 3) (sqrt (exp (pow y 2))) (sqrt (exp (pow y 2))) (exp y) (* y y) (exp (exp (pow y 2))) (* (cbrt (exp (pow y 2))) (cbrt (exp (pow y 2)))) (cbrt (exp (pow y 2))) (pow (exp (pow y 2)) 3) (sqrt (exp (pow y 2))) (sqrt (exp (pow y 2))) (pow (exp y) (cbrt y)) (exp y) E (exp y) (exp (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (exp (fabs y)) E (exp y) (* y y) (exp (exp (pow y 2))) (* (cbrt (exp (pow y 2))) (cbrt (exp (pow y 2)))) (cbrt (exp (pow y 2))) (pow (exp (pow y 2)) 3) (sqrt (exp (pow y 2))) (sqrt (exp (pow y 2))) (* x (sqrt (exp (pow y 2)))) (* x (sqrt (exp (pow y 2)))) (log (* (sqrt (exp (pow y 2))) x)) (log (* (sqrt (exp (pow y 2))) x)) (log (* (sqrt (exp (pow y 2))) x)) (exp (* (sqrt (exp (pow y 2))) x)) (pow (* x (sqrt (exp (pow y 2)))) 3) (pow (* x (sqrt (exp (pow y 2)))) 3) (* (cbrt (* (sqrt (exp (pow y 2))) x)) (cbrt (* (sqrt (exp (pow y 2))) x))) (cbrt (* (sqrt (exp (pow y 2))) x)) (pow (* x (sqrt (exp (pow y 2)))) 3) (sqrt (* (sqrt (exp (pow y 2))) x)) (sqrt (* (sqrt (exp (pow y 2))) x)) (* (* (sqrt (sqrt (exp (pow y 2)))) x) (* (cbrt (sqrt (sqrt (exp (* y y))))) (cbrt (sqrt (sqrt (exp (* y y))))))) (* (* (sqrt (sqrt (exp (pow y 2)))) x) (fabs (cbrt (sqrt (exp (* y y)))))) (* (* (sqrt (sqrt (exp (pow y 2)))) x) (sqrt (fabs (cbrt (exp (pow y 2)))))) (* (* (sqrt (sqrt (exp (pow y 2)))) x) (sqrt (sqrt (sqrt (exp (* y y)))))) (* (sqrt (sqrt (exp (pow y 2)))) x) (* (* (sqrt (sqrt (exp (pow y 2)))) x) (sqrt (sqrt (sqrt (exp (* y y)))))) (* (sqrt (sqrt (exp (pow y 2)))) x) (* (* (sqrt (sqrt (exp (pow y 2)))) x) (sqrt (sqrt (sqrt (exp (* y y)))))) (* (sqrt (sqrt (exp (pow y 2)))) x) (* (sqrt (sqrt (exp (pow y 2)))) x) (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) (pow (exp y) y) (pow (exp y) y) (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) (pow (exp y) y) (pow (exp y) y) (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) (pow (exp y) y) (pow (exp y) y) (+ (* 1/2 (* x (pow y 2))) x) (* x (sqrt (exp (pow y 2)))) (* x (sqrt (exp (pow y 2)))) 16.028 * * * [progress]: adding candidates to table 16.150 * [progress]: [Phase 3 of 3] Extracting. 16.150 * * [regime]: Finding splitpoints for: (# # # #) 16.151 * * * [regime-changes]: Trying 4 branch expressions: ((* y y) (exp (* y y)) y x) 16.151 * * * * [regimes]: Trying to branch on (* y y) from (# # # #) 16.187 * * * * [regimes]: Trying to branch on (exp (* y y)) from (# # # #) 16.222 * * * * [regimes]: Trying to branch on y from (# # # #) 16.261 * * * * [regimes]: Trying to branch on x from (# # # #) 16.301 * * * [regime]: Found split indices: #