23.605 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.031 * [progress]: [Phase 2 of 3] Improving. 0.031 * [simplify]: Simplifying using # : (* x (exp (* y y))) 0.032 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.033 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 0.034 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 0.035 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 0.038 * * [simplify]: iteration 4 : 48 enodes (cost 6 ) 0.050 * * [simplify]: iteration 5 : 122 enodes (cost 6 ) 0.071 * * [simplify]: iteration 6 : 341 enodes (cost 6 ) 0.170 * * [simplify]: iteration 7 : 1079 enodes (cost 6 ) 0.624 * * [simplify]: iteration 8 : 3956 enodes (cost 6 ) 2.002 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 2.002 * [simplify]: Simplified to: (* x (exp (* y y))) 2.002 * * [progress]: iteration 1 / 4 2.002 * * * [progress]: picking best candidate 2.005 * * * * [pick]: Picked # 2.005 * * * [progress]: localizing error 2.010 * * * [progress]: generating rewritten candidates 2.010 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 2.012 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 2.017 * * * [progress]: generating series expansions 2.017 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 2.017 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0 2.017 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 2.017 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.017 * [taylor]: Taking taylor expansion of y in y 2.017 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 2.017 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.017 * [taylor]: Taking taylor expansion of y in y 2.018 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 2.018 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.018 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.018 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.018 * [taylor]: Taking taylor expansion of y in y 2.019 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.019 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.019 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.019 * [taylor]: Taking taylor expansion of y in y 2.019 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 2.019 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.019 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.019 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.019 * [taylor]: Taking taylor expansion of y in y 2.019 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.019 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.019 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.019 * [taylor]: Taking taylor expansion of y in y 2.020 * * * * [progress]: [ 2 / 2 ] generating series at (2) 2.020 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0 2.020 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 2.020 * [taylor]: Taking taylor expansion of x in y 2.020 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 2.020 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.020 * [taylor]: Taking taylor expansion of y in y 2.020 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 2.020 * [taylor]: Taking taylor expansion of x in x 2.020 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 2.020 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.020 * [taylor]: Taking taylor expansion of y in x 2.020 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 2.020 * [taylor]: Taking taylor expansion of x in x 2.020 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 2.020 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.020 * [taylor]: Taking taylor expansion of y in x 2.020 * [taylor]: Taking taylor expansion of 0 in y 2.020 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 2.020 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.020 * [taylor]: Taking taylor expansion of y in y 2.021 * [taylor]: Taking taylor expansion of 0 in y 2.021 * [taylor]: Taking taylor expansion of 0 in y 2.021 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0 2.021 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 2.021 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.021 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.021 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.022 * [taylor]: Taking taylor expansion of y in y 2.022 * [taylor]: Taking taylor expansion of x in y 2.022 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 2.022 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 2.022 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.022 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.022 * [taylor]: Taking taylor expansion of y in x 2.022 * [taylor]: Taking taylor expansion of x in x 2.022 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 2.022 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 2.022 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.022 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.022 * [taylor]: Taking taylor expansion of y in x 2.022 * [taylor]: Taking taylor expansion of x in x 2.022 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.022 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.022 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.022 * [taylor]: Taking taylor expansion of y in y 2.023 * [taylor]: Taking taylor expansion of 0 in y 2.024 * [taylor]: Taking taylor expansion of 0 in y 2.024 * [taylor]: Taking taylor expansion of 0 in y 2.024 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0 2.024 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y 2.024 * [taylor]: Taking taylor expansion of -1 in y 2.025 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 2.025 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.025 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.025 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.025 * [taylor]: Taking taylor expansion of y in y 2.025 * [taylor]: Taking taylor expansion of x in y 2.025 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 2.025 * [taylor]: Taking taylor expansion of -1 in x 2.025 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 2.025 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 2.025 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.025 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.025 * [taylor]: Taking taylor expansion of y in x 2.025 * [taylor]: Taking taylor expansion of x in x 2.025 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 2.025 * [taylor]: Taking taylor expansion of -1 in x 2.025 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 2.025 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 2.025 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.025 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.025 * [taylor]: Taking taylor expansion of y in x 2.025 * [taylor]: Taking taylor expansion of x in x 2.026 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 2.026 * [taylor]: Taking taylor expansion of -1 in y 2.026 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.026 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.026 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.026 * [taylor]: Taking taylor expansion of y in y 2.026 * [taylor]: Taking taylor expansion of 0 in y 2.027 * [taylor]: Taking taylor expansion of 0 in y 2.028 * [taylor]: Taking taylor expansion of 0 in y 2.028 * * * [progress]: simplifying candidates 2.029 * [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))) 2.030 * * [simplify]: iteration 0 : 44 enodes (cost 245 ) 2.035 * * [simplify]: iteration 1 : 90 enodes (cost 237 ) 2.053 * * [simplify]: iteration 2 : 189 enodes (cost 208 ) 2.081 * * [simplify]: iteration 3 : 421 enodes (cost 208 ) 2.159 * * [simplify]: iteration 4 : 1142 enodes (cost 208 ) 2.553 * * [simplify]: iteration done : 5000 enodes (cost 208 ) 2.554 * [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))) (* (exp (pow y 2)) x) (+ (log x) (* y y)) (+ (log x) (* y y)) (exp (* x (exp (* y y)))) (pow (* x (exp (* y y))) 3) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y)))) (pow (* x (exp (* y y))) 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))) (* (exp (pow y 2)) x) (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) (exp (* y y)) (exp (* y y)) x (* (exp (pow y 2)) x) (* (exp (pow y 2)) x) 2.554 * * * [progress]: adding candidates to table 2.593 * * [progress]: iteration 2 / 4 2.593 * * * [progress]: picking best candidate 2.601 * * * * [pick]: Picked # 2.601 * * * [progress]: localizing error 2.607 * * * [progress]: generating rewritten candidates 2.607 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 2.613 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 2.618 * * * [progress]: generating series expansions 2.618 * * * * [progress]: [ 1 / 2 ] generating series at (2) 2.618 * [approximate]: Taking taylor expansion of (* x (pow (exp y) y)) in (x y) around 0 2.618 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in y 2.618 * [taylor]: Taking taylor expansion of x in y 2.618 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 2.618 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 2.618 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 2.618 * [taylor]: Taking taylor expansion of y in y 2.618 * [taylor]: Taking taylor expansion of (log (exp y)) in y 2.618 * [taylor]: Taking taylor expansion of (exp y) in y 2.618 * [taylor]: Taking taylor expansion of y in y 2.618 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x 2.618 * [taylor]: Taking taylor expansion of x in x 2.618 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 2.618 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 2.618 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 2.618 * [taylor]: Taking taylor expansion of y in x 2.618 * [taylor]: Taking taylor expansion of (log (exp y)) in x 2.618 * [taylor]: Taking taylor expansion of (exp y) in x 2.618 * [taylor]: Taking taylor expansion of y in x 2.619 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x 2.619 * [taylor]: Taking taylor expansion of x in x 2.619 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 2.619 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 2.619 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 2.619 * [taylor]: Taking taylor expansion of y in x 2.619 * [taylor]: Taking taylor expansion of (log (exp y)) in x 2.619 * [taylor]: Taking taylor expansion of (exp y) in x 2.619 * [taylor]: Taking taylor expansion of y in x 2.619 * [taylor]: Taking taylor expansion of 0 in y 2.619 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 2.619 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.619 * [taylor]: Taking taylor expansion of y in y 2.620 * [taylor]: Taking taylor expansion of 0 in y 2.621 * [taylor]: Taking taylor expansion of 0 in y 2.621 * [approximate]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in (x y) around 0 2.621 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in y 2.621 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 2.621 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 2.622 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 2.622 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.622 * [taylor]: Taking taylor expansion of y in y 2.622 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 2.622 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.622 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.622 * [taylor]: Taking taylor expansion of y in y 2.622 * [taylor]: Taking taylor expansion of x in y 2.622 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x 2.622 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 2.622 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 2.622 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 2.622 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.622 * [taylor]: Taking taylor expansion of y in x 2.622 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 2.622 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 2.622 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.622 * [taylor]: Taking taylor expansion of y in x 2.622 * [taylor]: Taking taylor expansion of x in x 2.622 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x 2.623 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 2.623 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 2.623 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 2.623 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.623 * [taylor]: Taking taylor expansion of y in x 2.623 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 2.623 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 2.623 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.623 * [taylor]: Taking taylor expansion of y in x 2.623 * [taylor]: Taking taylor expansion of x in x 2.623 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.623 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.623 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.623 * [taylor]: Taking taylor expansion of y in y 2.624 * [taylor]: Taking taylor expansion of 0 in y 2.625 * [taylor]: Taking taylor expansion of 0 in y 2.626 * [taylor]: Taking taylor expansion of 0 in y 2.626 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in (x y) around 0 2.626 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in y 2.626 * [taylor]: Taking taylor expansion of -1 in y 2.626 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in y 2.626 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 2.626 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 2.626 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 2.626 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.626 * [taylor]: Taking taylor expansion of -1 in y 2.626 * [taylor]: Taking taylor expansion of y in y 2.626 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 2.626 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 2.626 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.626 * [taylor]: Taking taylor expansion of -1 in y 2.626 * [taylor]: Taking taylor expansion of y in y 2.627 * [taylor]: Taking taylor expansion of x in y 2.627 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x 2.627 * [taylor]: Taking taylor expansion of -1 in x 2.627 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x 2.627 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 2.627 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 2.627 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 2.627 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.627 * [taylor]: Taking taylor expansion of -1 in x 2.627 * [taylor]: Taking taylor expansion of y in x 2.627 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 2.627 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 2.627 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.627 * [taylor]: Taking taylor expansion of -1 in x 2.627 * [taylor]: Taking taylor expansion of y in x 2.627 * [taylor]: Taking taylor expansion of x in x 2.627 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x 2.627 * [taylor]: Taking taylor expansion of -1 in x 2.627 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x 2.627 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 2.627 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 2.627 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 2.627 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.627 * [taylor]: Taking taylor expansion of -1 in x 2.628 * [taylor]: Taking taylor expansion of y in x 2.628 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 2.628 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 2.628 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.628 * [taylor]: Taking taylor expansion of -1 in x 2.628 * [taylor]: Taking taylor expansion of y in x 2.628 * [taylor]: Taking taylor expansion of x in x 2.628 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 2.628 * [taylor]: Taking taylor expansion of -1 in y 2.628 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.628 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.628 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.628 * [taylor]: Taking taylor expansion of y in y 2.629 * [taylor]: Taking taylor expansion of 0 in y 2.630 * [taylor]: Taking taylor expansion of 0 in y 2.632 * [taylor]: Taking taylor expansion of 0 in y 2.632 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 2.632 * [approximate]: Taking taylor expansion of (pow (exp y) y) in (y) around 0 2.632 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 2.632 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 2.632 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 2.632 * [taylor]: Taking taylor expansion of y in y 2.632 * [taylor]: Taking taylor expansion of (log (exp y)) in y 2.632 * [taylor]: Taking taylor expansion of (exp y) in y 2.632 * [taylor]: Taking taylor expansion of y in y 2.632 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 2.632 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 2.632 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 2.632 * [taylor]: Taking taylor expansion of y in y 2.632 * [taylor]: Taking taylor expansion of (log (exp y)) in y 2.632 * [taylor]: Taking taylor expansion of (exp y) in y 2.632 * [taylor]: Taking taylor expansion of y in y 2.634 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in (y) around 0 2.634 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 2.634 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 2.634 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 2.634 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.634 * [taylor]: Taking taylor expansion of y in y 2.634 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 2.634 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.634 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.634 * [taylor]: Taking taylor expansion of y in y 2.634 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 2.634 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 2.634 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 2.634 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.634 * [taylor]: Taking taylor expansion of y in y 2.634 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 2.634 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.634 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.634 * [taylor]: Taking taylor expansion of y in y 2.635 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in (y) around 0 2.635 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 2.635 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 2.635 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 2.635 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.635 * [taylor]: Taking taylor expansion of -1 in y 2.635 * [taylor]: Taking taylor expansion of y in y 2.635 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 2.635 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 2.635 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.635 * [taylor]: Taking taylor expansion of -1 in y 2.635 * [taylor]: Taking taylor expansion of y in y 2.635 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 2.635 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 2.635 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 2.635 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.635 * [taylor]: Taking taylor expansion of -1 in y 2.635 * [taylor]: Taking taylor expansion of y in y 2.635 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 2.635 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 2.635 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.635 * [taylor]: Taking taylor expansion of -1 in y 2.635 * [taylor]: Taking taylor expansion of y in y 2.636 * * * [progress]: simplifying candidates 2.637 * [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)) 2.639 * * [simplify]: iteration 0 : 75 enodes (cost 410 ) 2.652 * * [simplify]: iteration 1 : 163 enodes (cost 385 ) 2.674 * * [simplify]: iteration 2 : 455 enodes (cost 345 ) 2.758 * * [simplify]: iteration 3 : 1314 enodes (cost 341 ) 3.557 * * [simplify]: iteration 4 : 4961 enodes (cost 341 ) 5.003 * * [simplify]: iteration done : 5000 enodes (cost 341 ) 5.003 * [simplify]: Simplified to: (+ (log x) (pow y 2)) (+ (log x) (pow y 2)) (+ (log x) (pow y 2)) (+ (log x) (pow y 2)) (exp (* x (pow (exp y) y))) (pow (* x (pow (exp y) y)) 3) (* (cbrt (* x (pow (exp y) y))) (cbrt (* x (pow (exp y) y)))) (cbrt (* x (pow (exp y) y))) (pow (* x (pow (exp y) y)) 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) (exp (* (/ y 2) y))) (* (sqrt x) (exp (* (/ y 2) y))) (* 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 (* (pow (exp y) (/ y 2)) x) (* (cbrt x) (pow (exp y) y)) (* (sqrt x) (pow (exp y) y)) (* x (pow (exp y) y)) (* y y) (* y y) y (* (cbrt y) y) (* (sqrt y) y) (* 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 (pow (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 (pow (exp y) y) 3) (sqrt (pow (exp y) y)) (sqrt (pow (exp y) y)) (exp (* (/ y 2) y)) (exp (* (/ y 2) y)) x (* x (pow (exp y) y)) (* x (pow (exp y) y)) (+ (* y y) 1) (pow (exp y) y) (pow (exp y) y) 5.004 * * * [progress]: adding candidates to table 5.053 * * [progress]: iteration 3 / 4 5.053 * * * [progress]: picking best candidate 5.059 * * * * [pick]: Picked # 5.059 * * * [progress]: localizing error 5.066 * * * [progress]: generating rewritten candidates 5.066 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 5.068 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 5.070 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 5.080 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 5.087 * * * [progress]: generating series expansions 5.087 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 5.087 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0 5.087 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.088 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.088 * [taylor]: Taking taylor expansion of y in y 5.088 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.088 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.088 * [taylor]: Taking taylor expansion of y in y 5.089 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 5.089 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.089 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.089 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.089 * [taylor]: Taking taylor expansion of y in y 5.089 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.089 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.089 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.089 * [taylor]: Taking taylor expansion of y in y 5.089 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 5.089 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.089 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.089 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.089 * [taylor]: Taking taylor expansion of y in y 5.090 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.090 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.090 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.090 * [taylor]: Taking taylor expansion of y in y 5.090 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 5.090 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0 5.090 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.090 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.090 * [taylor]: Taking taylor expansion of y in y 5.090 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.090 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.090 * [taylor]: Taking taylor expansion of y in y 5.091 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 5.091 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.091 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.091 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.091 * [taylor]: Taking taylor expansion of y in y 5.091 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.091 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.091 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.091 * [taylor]: Taking taylor expansion of y in y 5.092 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 5.092 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.092 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.092 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.092 * [taylor]: Taking taylor expansion of y in y 5.092 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.092 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.092 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.092 * [taylor]: Taking taylor expansion of y in y 5.092 * * * * [progress]: [ 3 / 4 ] generating series at (2) 5.092 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0 5.092 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 5.092 * [taylor]: Taking taylor expansion of x in y 5.093 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.093 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.093 * [taylor]: Taking taylor expansion of y in y 5.093 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 5.093 * [taylor]: Taking taylor expansion of x in x 5.093 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 5.093 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.093 * [taylor]: Taking taylor expansion of y in x 5.093 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 5.093 * [taylor]: Taking taylor expansion of x in x 5.093 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 5.093 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.093 * [taylor]: Taking taylor expansion of y in x 5.093 * [taylor]: Taking taylor expansion of 0 in y 5.093 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.093 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.093 * [taylor]: Taking taylor expansion of y in y 5.094 * [taylor]: Taking taylor expansion of 0 in y 5.094 * [taylor]: Taking taylor expansion of 0 in y 5.094 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0 5.094 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 5.094 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.094 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.094 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.094 * [taylor]: Taking taylor expansion of y in y 5.094 * [taylor]: Taking taylor expansion of x in y 5.095 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 5.095 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.095 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.095 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.095 * [taylor]: Taking taylor expansion of y in x 5.095 * [taylor]: Taking taylor expansion of x in x 5.095 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 5.095 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.095 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.095 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.095 * [taylor]: Taking taylor expansion of y in x 5.095 * [taylor]: Taking taylor expansion of x in x 5.095 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.095 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.095 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.095 * [taylor]: Taking taylor expansion of y in y 5.096 * [taylor]: Taking taylor expansion of 0 in y 5.096 * [taylor]: Taking taylor expansion of 0 in y 5.097 * [taylor]: Taking taylor expansion of 0 in y 5.097 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0 5.097 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y 5.097 * [taylor]: Taking taylor expansion of -1 in y 5.097 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 5.097 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.098 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.098 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.098 * [taylor]: Taking taylor expansion of y in y 5.098 * [taylor]: Taking taylor expansion of x in y 5.098 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 5.098 * [taylor]: Taking taylor expansion of -1 in x 5.098 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 5.098 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.098 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.098 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.098 * [taylor]: Taking taylor expansion of y in x 5.098 * [taylor]: Taking taylor expansion of x in x 5.098 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 5.098 * [taylor]: Taking taylor expansion of -1 in x 5.098 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 5.098 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.098 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.098 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.098 * [taylor]: Taking taylor expansion of y in x 5.098 * [taylor]: Taking taylor expansion of x in x 5.099 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 5.099 * [taylor]: Taking taylor expansion of -1 in y 5.099 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.099 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.099 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.099 * [taylor]: Taking taylor expansion of y in y 5.099 * [taylor]: Taking taylor expansion of 0 in y 5.100 * [taylor]: Taking taylor expansion of 0 in y 5.101 * [taylor]: Taking taylor expansion of 0 in y 5.101 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 5.101 * [approximate]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in (x y) around 0 5.101 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in y 5.101 * [taylor]: Taking taylor expansion of x in y 5.101 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 5.101 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.101 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.101 * [taylor]: Taking taylor expansion of y in y 5.101 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in x 5.101 * [taylor]: Taking taylor expansion of x in x 5.101 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in x 5.102 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 5.102 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.102 * [taylor]: Taking taylor expansion of y in x 5.102 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in x 5.102 * [taylor]: Taking taylor expansion of x in x 5.102 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in x 5.102 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 5.102 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.102 * [taylor]: Taking taylor expansion of y in x 5.102 * [taylor]: Taking taylor expansion of 0 in y 5.103 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 5.103 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.103 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.103 * [taylor]: Taking taylor expansion of y in y 5.103 * [taylor]: Taking taylor expansion of 0 in y 5.104 * [taylor]: Taking taylor expansion of 0 in y 5.104 * [approximate]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in (x y) around 0 5.104 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in y 5.104 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.104 * [taylor]: Taking taylor expansion of x in y 5.104 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.104 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.104 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.104 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.104 * [taylor]: Taking taylor expansion of y in y 5.104 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 5.104 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.104 * [taylor]: Taking taylor expansion of x in x 5.104 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 5.104 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.104 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.104 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.104 * [taylor]: Taking taylor expansion of y in x 5.105 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 5.105 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.105 * [taylor]: Taking taylor expansion of x in x 5.105 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 5.105 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.105 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.105 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.105 * [taylor]: Taking taylor expansion of y in x 5.106 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.106 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.106 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.106 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.106 * [taylor]: Taking taylor expansion of y in y 5.106 * [taylor]: Taking taylor expansion of 0 in y 5.107 * [taylor]: Taking taylor expansion of 0 in y 5.108 * [taylor]: Taking taylor expansion of 0 in y 5.108 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in (x y) around 0 5.108 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in y 5.108 * [taylor]: Taking taylor expansion of -1 in y 5.108 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in y 5.108 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.108 * [taylor]: Taking taylor expansion of x in y 5.108 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.108 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.108 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.108 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.108 * [taylor]: Taking taylor expansion of y in y 5.109 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in x 5.109 * [taylor]: Taking taylor expansion of -1 in x 5.109 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 5.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.109 * [taylor]: Taking taylor expansion of x in x 5.109 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 5.109 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.109 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.109 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.109 * [taylor]: Taking taylor expansion of y in x 5.109 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in x 5.110 * [taylor]: Taking taylor expansion of -1 in x 5.110 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 5.110 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.110 * [taylor]: Taking taylor expansion of x in x 5.110 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 5.110 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.110 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.110 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.110 * [taylor]: Taking taylor expansion of y in x 5.110 * [taylor]: Taking taylor expansion of (* -1 (sqrt (exp (/ 1 (pow y 2))))) in y 5.110 * [taylor]: Taking taylor expansion of -1 in y 5.110 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.110 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.110 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.110 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.110 * [taylor]: Taking taylor expansion of y in y 5.111 * [taylor]: Taking taylor expansion of 0 in y 5.112 * [taylor]: Taking taylor expansion of 0 in y 5.113 * [taylor]: Taking taylor expansion of 0 in y 5.113 * * * [progress]: simplifying candidates 5.114 * [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)))) 5.117 * * [simplify]: iteration 0 : 73 enodes (cost 778 ) 5.126 * * [simplify]: iteration 1 : 168 enodes (cost 621 ) 5.160 * * [simplify]: iteration 2 : 578 enodes (cost 530 ) 5.320 * * [simplify]: iteration 3 : 1592 enodes (cost 524 ) 5.767 * * [simplify]: iteration 4 : 4195 enodes (cost 519 ) 6.708 * * [simplify]: iteration done : 5000 enodes (cost 519 ) 6.708 * [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 (pow (exp y) y) 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 (pow (exp y) y) 3) (sqrt (pow (exp y) y)) (sqrt (pow (exp y) y)) (* (pow (exp y) y) x) (* (pow (exp y) y) x) (+ (log x) (* y y)) (+ (log x) (pow y 2)) (+ (log x) (pow y 2)) (exp (* x (exp (* y y)))) (pow (* x (exp (* y y))) 3) (pow (* x (exp (* y y))) 3) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y)))) (pow (* x (exp (* y y))) 3) (sqrt (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (* (* x (sqrt (exp (* y y)))) (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y)))))) (* (fabs (cbrt (exp (* y y)))) (* x (sqrt (exp (* y y))))) (* (* x (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y))))) (* x (sqrt (pow (exp y) y))) (* (* x (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y))))) (* x (sqrt (pow (exp y) y))) (pow (exp y) y) (* x (sqrt (pow (exp y) y))) (+ (log x) (log (sqrt (exp (* y y))))) (log (* x (sqrt (exp (pow y 2))))) (exp (* x (sqrt (exp (* y y))))) (pow (* (sqrt (pow (exp y) y)) x) 3) (* (cbrt (* x (sqrt (exp (* y y))))) (cbrt (* x (sqrt (exp (* y y)))))) (cbrt (* x (sqrt (exp (* y y))))) (pow (* (sqrt (pow (exp y) y)) x) 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))))) (* (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y))))) x) (* (fabs (cbrt (exp (* y y)))) x) (* (sqrt (sqrt (pow (exp y) y))) x) x (* (sqrt (sqrt (pow (exp y) y))) x) x (* (cbrt x) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* x (sqrt (pow (exp y) y))) (+ (* (+ y (* 1/2 (pow y 3))) y) 1) (pow (exp y) y) (pow (exp y) y) (+ (* (+ y (* 1/2 (pow y 3))) y) 1) (pow (exp y) y) (pow (exp y) y) x (* (pow (exp y) y) x) (* (pow (exp y) y) x) x (* x (sqrt (pow (exp y) y))) (* x (sqrt (pow (exp y) y))) 6.708 * * * [progress]: adding candidates to table 6.778 * * [progress]: iteration 4 / 4 6.778 * * * [progress]: picking best candidate 6.787 * * * * [pick]: Picked # 6.787 * * * [progress]: localizing error 6.801 * * * [progress]: generating rewritten candidates 6.801 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 6.804 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 6.806 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 6.825 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 6.843 * * * [progress]: generating series expansions 6.843 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 6.843 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0 6.843 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 6.843 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.843 * [taylor]: Taking taylor expansion of y in y 6.843 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 6.843 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.843 * [taylor]: Taking taylor expansion of y in y 6.844 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 6.844 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.844 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.844 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.844 * [taylor]: Taking taylor expansion of y in y 6.844 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.844 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.844 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.844 * [taylor]: Taking taylor expansion of y in y 6.845 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 6.845 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.845 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.845 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.845 * [taylor]: Taking taylor expansion of y in y 6.845 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.845 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.845 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.845 * [taylor]: Taking taylor expansion of y in y 6.845 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 6.845 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0 6.845 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 6.845 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.846 * [taylor]: Taking taylor expansion of y in y 6.846 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 6.846 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.846 * [taylor]: Taking taylor expansion of y in y 6.847 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 6.847 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.847 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.847 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.847 * [taylor]: Taking taylor expansion of y in y 6.847 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.847 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.847 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.847 * [taylor]: Taking taylor expansion of y in y 6.847 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 6.847 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.847 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.847 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.847 * [taylor]: Taking taylor expansion of y in y 6.848 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.848 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.848 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.848 * [taylor]: Taking taylor expansion of y in y 6.848 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 6.848 * [approximate]: Taking taylor expansion of (* (pow (* (pow (exp y) y) (exp (pow y 2))) 1/4) x) in (y x) around 0 6.848 * [taylor]: Taking taylor expansion of (* (pow (* (pow (exp y) y) (exp (pow y 2))) 1/4) x) in x 6.848 * [taylor]: Taking taylor expansion of (pow (* (pow (exp y) y) (exp (pow y 2))) 1/4) in x 6.848 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (pow (exp y) y) (exp (pow y 2)))))) in x 6.848 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (pow (exp y) y) (exp (pow y 2))))) in x 6.848 * [taylor]: Taking taylor expansion of 1/4 in x 6.848 * [taylor]: Taking taylor expansion of (log (* (pow (exp y) y) (exp (pow y 2)))) in x 6.848 * [taylor]: Taking taylor expansion of (* (pow (exp y) y) (exp (pow y 2))) in x 6.848 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 6.848 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 6.848 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 6.848 * [taylor]: Taking taylor expansion of y in x 6.848 * [taylor]: Taking taylor expansion of (log (exp y)) in x 6.848 * [taylor]: Taking taylor expansion of (exp y) in x 6.848 * [taylor]: Taking taylor expansion of y in x 6.849 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 6.849 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.849 * [taylor]: Taking taylor expansion of y in x 6.849 * [taylor]: Taking taylor expansion of x in x 6.849 * [taylor]: Taking taylor expansion of (* (pow (* (pow (exp y) y) (exp (pow y 2))) 1/4) x) in y 6.849 * [taylor]: Taking taylor expansion of (pow (* (pow (exp y) y) (exp (pow y 2))) 1/4) in y 6.849 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (pow (exp y) y) (exp (pow y 2)))))) in y 6.849 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (pow (exp y) y) (exp (pow y 2))))) in y 6.849 * [taylor]: Taking taylor expansion of 1/4 in y 6.849 * [taylor]: Taking taylor expansion of (log (* (pow (exp y) y) (exp (pow y 2)))) in y 6.849 * [taylor]: Taking taylor expansion of (* (pow (exp y) y) (exp (pow y 2))) in y 6.849 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 6.849 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 6.849 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 6.849 * [taylor]: Taking taylor expansion of y in y 6.849 * [taylor]: Taking taylor expansion of (log (exp y)) in y 6.849 * [taylor]: Taking taylor expansion of (exp y) in y 6.849 * [taylor]: Taking taylor expansion of y in y 6.850 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 6.850 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.850 * [taylor]: Taking taylor expansion of y in y 6.850 * [taylor]: Taking taylor expansion of x in y 6.850 * [taylor]: Taking taylor expansion of (* (pow (* (pow (exp y) y) (exp (pow y 2))) 1/4) x) in y 6.850 * [taylor]: Taking taylor expansion of (pow (* (pow (exp y) y) (exp (pow y 2))) 1/4) in y 6.850 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (pow (exp y) y) (exp (pow y 2)))))) in y 6.850 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (pow (exp y) y) (exp (pow y 2))))) in y 6.850 * [taylor]: Taking taylor expansion of 1/4 in y 6.850 * [taylor]: Taking taylor expansion of (log (* (pow (exp y) y) (exp (pow y 2)))) in y 6.850 * [taylor]: Taking taylor expansion of (* (pow (exp y) y) (exp (pow y 2))) in y 6.850 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 6.850 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 6.850 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 6.850 * [taylor]: Taking taylor expansion of y in y 6.850 * [taylor]: Taking taylor expansion of (log (exp y)) in y 6.850 * [taylor]: Taking taylor expansion of (exp y) in y 6.850 * [taylor]: Taking taylor expansion of y in y 6.850 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 6.850 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.850 * [taylor]: Taking taylor expansion of y in y 6.850 * [taylor]: Taking taylor expansion of x in y 6.850 * [taylor]: Taking taylor expansion of x in x 6.851 * [taylor]: Taking taylor expansion of (* 1/4 (* x (log 1))) in x 6.851 * [taylor]: Taking taylor expansion of 1/4 in x 6.851 * [taylor]: Taking taylor expansion of (* x (log 1)) in x 6.851 * [taylor]: Taking taylor expansion of x in x 6.851 * [taylor]: Taking taylor expansion of (log 1) in x 6.851 * [taylor]: Taking taylor expansion of 1 in x 6.853 * [taylor]: Taking taylor expansion of (+ (* 1/32 (* x (pow (log 1) 2))) (* 1/2 x)) in x 6.853 * [taylor]: Taking taylor expansion of (* 1/32 (* x (pow (log 1) 2))) in x 6.853 * [taylor]: Taking taylor expansion of 1/32 in x 6.853 * [taylor]: Taking taylor expansion of (* x (pow (log 1) 2)) in x 6.853 * [taylor]: Taking taylor expansion of x in x 6.853 * [taylor]: Taking taylor expansion of (pow (log 1) 2) in x 6.853 * [taylor]: Taking taylor expansion of (log 1) in x 6.853 * [taylor]: Taking taylor expansion of 1 in x 6.853 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 6.853 * [taylor]: Taking taylor expansion of 1/2 in x 6.853 * [taylor]: Taking taylor expansion of x in x 6.856 * [taylor]: Taking taylor expansion of (+ (* 1/384 (* x (pow (log 1) 3))) (* 1/8 (* x (log 1)))) in x 6.856 * [taylor]: Taking taylor expansion of (* 1/384 (* x (pow (log 1) 3))) in x 6.856 * [taylor]: Taking taylor expansion of 1/384 in x 6.856 * [taylor]: Taking taylor expansion of (* x (pow (log 1) 3)) in x 6.856 * [taylor]: Taking taylor expansion of x in x 6.856 * [taylor]: Taking taylor expansion of (pow (log 1) 3) in x 6.856 * [taylor]: Taking taylor expansion of (log 1) in x 6.856 * [taylor]: Taking taylor expansion of 1 in x 6.856 * [taylor]: Taking taylor expansion of (* 1/8 (* x (log 1))) in x 6.856 * [taylor]: Taking taylor expansion of 1/8 in x 6.856 * [taylor]: Taking taylor expansion of (* x (log 1)) in x 6.856 * [taylor]: Taking taylor expansion of x in x 6.856 * [taylor]: Taking taylor expansion of (log 1) in x 6.856 * [taylor]: Taking taylor expansion of 1 in x 6.858 * [approximate]: Taking taylor expansion of (* (/ 1 x) (pow (* (pow (exp (/ 1 y)) (/ 1 y)) (exp (/ 1 (pow y 2)))) 1/4)) in (y x) around 0 6.858 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (* (pow (exp (/ 1 y)) (/ 1 y)) (exp (/ 1 (pow y 2)))) 1/4)) in x 6.858 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.858 * [taylor]: Taking taylor expansion of x in x 6.858 * [taylor]: Taking taylor expansion of (pow (* (pow (exp (/ 1 y)) (/ 1 y)) (exp (/ 1 (pow y 2)))) 1/4) in x 6.858 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (pow (exp (/ 1 y)) (/ 1 y)) (exp (/ 1 (pow y 2))))))) in x 6.858 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (pow (exp (/ 1 y)) (/ 1 y)) (exp (/ 1 (pow y 2)))))) in x 6.858 * [taylor]: Taking taylor expansion of 1/4 in x 6.858 * [taylor]: Taking taylor expansion of (log (* (pow (exp (/ 1 y)) (/ 1 y)) (exp (/ 1 (pow y 2))))) in x 6.858 * [taylor]: Taking taylor expansion of (* (pow (exp (/ 1 y)) (/ 1 y)) (exp (/ 1 (pow y 2)))) in x 6.858 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 6.858 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 6.858 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 6.858 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.858 * [taylor]: Taking taylor expansion of y in x 6.858 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 6.858 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 6.858 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.858 * [taylor]: Taking taylor expansion of y in x 6.858 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 6.858 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 6.858 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.858 * [taylor]: Taking taylor expansion of y in x 6.859 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (* (pow (exp (/ 1 y)) (/ 1 y)) (exp (/ 1 (pow y 2)))) 1/4)) in y 6.859 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.859 * [taylor]: Taking taylor expansion of x in y 6.859 * [taylor]: Taking taylor expansion of (pow (* (pow (exp (/ 1 y)) (/ 1 y)) (exp (/ 1 (pow y 2)))) 1/4) in y 6.859 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (pow (exp (/ 1 y)) (/ 1 y)) (exp (/ 1 (pow y 2))))))) in y 6.859 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (pow (exp (/ 1 y)) (/ 1 y)) (exp (/ 1 (pow y 2)))))) in y 6.859 * [taylor]: Taking taylor expansion of 1/4 in y 6.859 * [taylor]: Taking taylor expansion of (log (* (pow (exp (/ 1 y)) (/ 1 y)) (exp (/ 1 (pow y 2))))) in y 6.859 * [taylor]: Taking taylor expansion of (* (pow (exp (/ 1 y)) (/ 1 y)) (exp (/ 1 (pow y 2)))) in y 6.859 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 6.859 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 6.859 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 6.859 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.859 * [taylor]: Taking taylor expansion of y in y 6.859 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 6.859 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 6.859 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.859 * [taylor]: Taking taylor expansion of y in y 6.859 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.859 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.859 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.860 * [taylor]: Taking taylor expansion of y in y 6.860 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (* (pow (exp (/ 1 y)) (/ 1 y)) (exp (/ 1 (pow y 2)))) 1/4)) in y 6.860 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.860 * [taylor]: Taking taylor expansion of x in y 6.860 * [taylor]: Taking taylor expansion of (pow (* (pow (exp (/ 1 y)) (/ 1 y)) (exp (/ 1 (pow y 2)))) 1/4) in y 6.860 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (pow (exp (/ 1 y)) (/ 1 y)) (exp (/ 1 (pow y 2))))))) in y 6.860 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (pow (exp (/ 1 y)) (/ 1 y)) (exp (/ 1 (pow y 2)))))) in y 6.860 * [taylor]: Taking taylor expansion of 1/4 in y 6.860 * [taylor]: Taking taylor expansion of (log (* (pow (exp (/ 1 y)) (/ 1 y)) (exp (/ 1 (pow y 2))))) in y 6.860 * [taylor]: Taking taylor expansion of (* (pow (exp (/ 1 y)) (/ 1 y)) (exp (/ 1 (pow y 2)))) in y 6.860 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 6.860 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 6.860 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 6.860 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.860 * [taylor]: Taking taylor expansion of y in y 6.860 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 6.860 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 6.860 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.860 * [taylor]: Taking taylor expansion of y in y 6.861 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.861 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.861 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.861 * [taylor]: Taking taylor expansion of y in y 6.861 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 6.861 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.861 * [taylor]: Taking taylor expansion of x in x 6.861 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 6.861 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 6.861 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 6.862 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.862 * [taylor]: Taking taylor expansion of y in x 6.863 * [taylor]: Taking taylor expansion of 0 in x 6.864 * [taylor]: Taking taylor expansion of 0 in x 6.866 * [taylor]: Taking taylor expansion of 0 in x 6.868 * [approximate]: Taking taylor expansion of (* -1 (* (pow (* (exp (/ 1 (pow y 2))) (pow (exp (/ -1 y)) (/ -1 y))) 1/4) (/ 1 x))) in (y x) around 0 6.868 * [taylor]: Taking taylor expansion of (* -1 (* (pow (* (exp (/ 1 (pow y 2))) (pow (exp (/ -1 y)) (/ -1 y))) 1/4) (/ 1 x))) in x 6.868 * [taylor]: Taking taylor expansion of -1 in x 6.868 * [taylor]: Taking taylor expansion of (* (pow (* (exp (/ 1 (pow y 2))) (pow (exp (/ -1 y)) (/ -1 y))) 1/4) (/ 1 x)) in x 6.868 * [taylor]: Taking taylor expansion of (pow (* (exp (/ 1 (pow y 2))) (pow (exp (/ -1 y)) (/ -1 y))) 1/4) in x 6.868 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (exp (/ 1 (pow y 2))) (pow (exp (/ -1 y)) (/ -1 y)))))) in x 6.868 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (exp (/ 1 (pow y 2))) (pow (exp (/ -1 y)) (/ -1 y))))) in x 6.868 * [taylor]: Taking taylor expansion of 1/4 in x 6.868 * [taylor]: Taking taylor expansion of (log (* (exp (/ 1 (pow y 2))) (pow (exp (/ -1 y)) (/ -1 y)))) in x 6.868 * [taylor]: Taking taylor expansion of (* (exp (/ 1 (pow y 2))) (pow (exp (/ -1 y)) (/ -1 y))) in x 6.868 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 6.868 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 6.868 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.868 * [taylor]: Taking taylor expansion of y in x 6.868 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 6.868 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 6.868 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 6.868 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.868 * [taylor]: Taking taylor expansion of -1 in x 6.868 * [taylor]: Taking taylor expansion of y in x 6.868 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 6.868 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 6.868 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.868 * [taylor]: Taking taylor expansion of -1 in x 6.868 * [taylor]: Taking taylor expansion of y in x 6.869 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.869 * [taylor]: Taking taylor expansion of x in x 6.869 * [taylor]: Taking taylor expansion of (* -1 (* (pow (* (exp (/ 1 (pow y 2))) (pow (exp (/ -1 y)) (/ -1 y))) 1/4) (/ 1 x))) in y 6.869 * [taylor]: Taking taylor expansion of -1 in y 6.869 * [taylor]: Taking taylor expansion of (* (pow (* (exp (/ 1 (pow y 2))) (pow (exp (/ -1 y)) (/ -1 y))) 1/4) (/ 1 x)) in y 6.869 * [taylor]: Taking taylor expansion of (pow (* (exp (/ 1 (pow y 2))) (pow (exp (/ -1 y)) (/ -1 y))) 1/4) in y 6.869 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (exp (/ 1 (pow y 2))) (pow (exp (/ -1 y)) (/ -1 y)))))) in y 6.869 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (exp (/ 1 (pow y 2))) (pow (exp (/ -1 y)) (/ -1 y))))) in y 6.869 * [taylor]: Taking taylor expansion of 1/4 in y 6.869 * [taylor]: Taking taylor expansion of (log (* (exp (/ 1 (pow y 2))) (pow (exp (/ -1 y)) (/ -1 y)))) in y 6.869 * [taylor]: Taking taylor expansion of (* (exp (/ 1 (pow y 2))) (pow (exp (/ -1 y)) (/ -1 y))) in y 6.869 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.869 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.869 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.869 * [taylor]: Taking taylor expansion of y in y 6.869 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 6.869 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 6.869 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 6.869 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.869 * [taylor]: Taking taylor expansion of -1 in y 6.869 * [taylor]: Taking taylor expansion of y in y 6.869 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 6.869 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 6.870 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.870 * [taylor]: Taking taylor expansion of -1 in y 6.870 * [taylor]: Taking taylor expansion of y in y 6.870 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.870 * [taylor]: Taking taylor expansion of x in y 6.870 * [taylor]: Taking taylor expansion of (* -1 (* (pow (* (exp (/ 1 (pow y 2))) (pow (exp (/ -1 y)) (/ -1 y))) 1/4) (/ 1 x))) in y 6.870 * [taylor]: Taking taylor expansion of -1 in y 6.870 * [taylor]: Taking taylor expansion of (* (pow (* (exp (/ 1 (pow y 2))) (pow (exp (/ -1 y)) (/ -1 y))) 1/4) (/ 1 x)) in y 6.870 * [taylor]: Taking taylor expansion of (pow (* (exp (/ 1 (pow y 2))) (pow (exp (/ -1 y)) (/ -1 y))) 1/4) in y 6.870 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (exp (/ 1 (pow y 2))) (pow (exp (/ -1 y)) (/ -1 y)))))) in y 6.870 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (exp (/ 1 (pow y 2))) (pow (exp (/ -1 y)) (/ -1 y))))) in y 6.870 * [taylor]: Taking taylor expansion of 1/4 in y 6.870 * [taylor]: Taking taylor expansion of (log (* (exp (/ 1 (pow y 2))) (pow (exp (/ -1 y)) (/ -1 y)))) in y 6.870 * [taylor]: Taking taylor expansion of (* (exp (/ 1 (pow y 2))) (pow (exp (/ -1 y)) (/ -1 y))) in y 6.870 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.870 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.870 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.870 * [taylor]: Taking taylor expansion of y in y 6.871 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 6.871 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 6.871 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 6.871 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.871 * [taylor]: Taking taylor expansion of -1 in y 6.871 * [taylor]: Taking taylor expansion of y in y 6.871 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 6.871 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 6.871 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.871 * [taylor]: Taking taylor expansion of -1 in y 6.871 * [taylor]: Taking taylor expansion of y in y 6.872 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.872 * [taylor]: Taking taylor expansion of x in y 6.872 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in x 6.872 * [taylor]: Taking taylor expansion of -1 in x 6.872 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 6.872 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.872 * [taylor]: Taking taylor expansion of x in x 6.872 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 6.872 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 6.872 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 6.872 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.872 * [taylor]: Taking taylor expansion of y in x 6.874 * [taylor]: Taking taylor expansion of 0 in x 6.875 * [taylor]: Taking taylor expansion of 0 in x 6.878 * [taylor]: Taking taylor expansion of 0 in x 6.879 * * * * [progress]: [ 4 / 4 ] generating series at (2) 6.879 * [approximate]: Taking taylor expansion of (* (pow (* (pow (exp y) y) (pow (exp (pow y 2)) 3)) 1/4) x) in (y x) around 0 6.879 * [taylor]: Taking taylor expansion of (* (pow (* (pow (exp y) y) (pow (exp (pow y 2)) 3)) 1/4) x) in x 6.879 * [taylor]: Taking taylor expansion of (pow (* (pow (exp y) y) (pow (exp (pow y 2)) 3)) 1/4) in x 6.879 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (pow (exp y) y) (pow (exp (pow y 2)) 3))))) in x 6.879 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (pow (exp y) y) (pow (exp (pow y 2)) 3)))) in x 6.879 * [taylor]: Taking taylor expansion of 1/4 in x 6.879 * [taylor]: Taking taylor expansion of (log (* (pow (exp y) y) (pow (exp (pow y 2)) 3))) in x 6.879 * [taylor]: Taking taylor expansion of (* (pow (exp y) y) (pow (exp (pow y 2)) 3)) in x 6.879 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 6.879 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 6.879 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 6.879 * [taylor]: Taking taylor expansion of y in x 6.879 * [taylor]: Taking taylor expansion of (log (exp y)) in x 6.879 * [taylor]: Taking taylor expansion of (exp y) in x 6.879 * [taylor]: Taking taylor expansion of y in x 6.880 * [taylor]: Taking taylor expansion of (pow (exp (pow y 2)) 3) in x 6.880 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 6.880 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.880 * [taylor]: Taking taylor expansion of y in x 6.880 * [taylor]: Taking taylor expansion of x in x 6.880 * [taylor]: Taking taylor expansion of (* (pow (* (pow (exp y) y) (pow (exp (pow y 2)) 3)) 1/4) x) in y 6.880 * [taylor]: Taking taylor expansion of (pow (* (pow (exp y) y) (pow (exp (pow y 2)) 3)) 1/4) in y 6.880 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (pow (exp y) y) (pow (exp (pow y 2)) 3))))) in y 6.880 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (pow (exp y) y) (pow (exp (pow y 2)) 3)))) in y 6.880 * [taylor]: Taking taylor expansion of 1/4 in y 6.880 * [taylor]: Taking taylor expansion of (log (* (pow (exp y) y) (pow (exp (pow y 2)) 3))) in y 6.880 * [taylor]: Taking taylor expansion of (* (pow (exp y) y) (pow (exp (pow y 2)) 3)) in y 6.880 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 6.880 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 6.881 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 6.881 * [taylor]: Taking taylor expansion of y in y 6.881 * [taylor]: Taking taylor expansion of (log (exp y)) in y 6.881 * [taylor]: Taking taylor expansion of (exp y) in y 6.881 * [taylor]: Taking taylor expansion of y in y 6.881 * [taylor]: Taking taylor expansion of (pow (exp (pow y 2)) 3) in y 6.881 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 6.881 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.881 * [taylor]: Taking taylor expansion of y in y 6.881 * [taylor]: Taking taylor expansion of x in y 6.881 * [taylor]: Taking taylor expansion of (* (pow (* (pow (exp y) y) (pow (exp (pow y 2)) 3)) 1/4) x) in y 6.881 * [taylor]: Taking taylor expansion of (pow (* (pow (exp y) y) (pow (exp (pow y 2)) 3)) 1/4) in y 6.881 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (pow (exp y) y) (pow (exp (pow y 2)) 3))))) in y 6.881 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (pow (exp y) y) (pow (exp (pow y 2)) 3)))) in y 6.881 * [taylor]: Taking taylor expansion of 1/4 in y 6.881 * [taylor]: Taking taylor expansion of (log (* (pow (exp y) y) (pow (exp (pow y 2)) 3))) in y 6.881 * [taylor]: Taking taylor expansion of (* (pow (exp y) y) (pow (exp (pow y 2)) 3)) in y 6.881 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 6.881 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 6.881 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 6.881 * [taylor]: Taking taylor expansion of y in y 6.881 * [taylor]: Taking taylor expansion of (log (exp y)) in y 6.881 * [taylor]: Taking taylor expansion of (exp y) in y 6.881 * [taylor]: Taking taylor expansion of y in y 6.882 * [taylor]: Taking taylor expansion of (pow (exp (pow y 2)) 3) in y 6.882 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 6.882 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.882 * [taylor]: Taking taylor expansion of y in y 6.882 * [taylor]: Taking taylor expansion of x in y 6.882 * [taylor]: Taking taylor expansion of x in x 6.882 * [taylor]: Taking taylor expansion of (* 1/4 (* x (log 1))) in x 6.882 * [taylor]: Taking taylor expansion of 1/4 in x 6.882 * [taylor]: Taking taylor expansion of (* x (log 1)) in x 6.882 * [taylor]: Taking taylor expansion of x in x 6.883 * [taylor]: Taking taylor expansion of (log 1) in x 6.883 * [taylor]: Taking taylor expansion of 1 in x 6.884 * [taylor]: Taking taylor expansion of (+ (* 1/32 (* x (pow (log 1) 2))) x) in x 6.884 * [taylor]: Taking taylor expansion of (* 1/32 (* x (pow (log 1) 2))) in x 6.884 * [taylor]: Taking taylor expansion of 1/32 in x 6.884 * [taylor]: Taking taylor expansion of (* x (pow (log 1) 2)) in x 6.884 * [taylor]: Taking taylor expansion of x in x 6.884 * [taylor]: Taking taylor expansion of (pow (log 1) 2) in x 6.884 * [taylor]: Taking taylor expansion of (log 1) in x 6.884 * [taylor]: Taking taylor expansion of 1 in x 6.884 * [taylor]: Taking taylor expansion of x in x 6.887 * [taylor]: Taking taylor expansion of (+ (* 1/384 (* x (pow (log 1) 3))) (* 1/4 (* x (log 1)))) in x 6.887 * [taylor]: Taking taylor expansion of (* 1/384 (* x (pow (log 1) 3))) in x 6.887 * [taylor]: Taking taylor expansion of 1/384 in x 6.887 * [taylor]: Taking taylor expansion of (* x (pow (log 1) 3)) in x 6.887 * [taylor]: Taking taylor expansion of x in x 6.887 * [taylor]: Taking taylor expansion of (pow (log 1) 3) in x 6.887 * [taylor]: Taking taylor expansion of (log 1) in x 6.887 * [taylor]: Taking taylor expansion of 1 in x 6.888 * [taylor]: Taking taylor expansion of (* 1/4 (* x (log 1))) in x 6.888 * [taylor]: Taking taylor expansion of 1/4 in x 6.888 * [taylor]: Taking taylor expansion of (* x (log 1)) in x 6.888 * [taylor]: Taking taylor expansion of x in x 6.888 * [taylor]: Taking taylor expansion of (log 1) in x 6.888 * [taylor]: Taking taylor expansion of 1 in x 6.889 * [approximate]: Taking taylor expansion of (* (/ 1 x) (pow (* (pow (exp (/ 1 y)) (/ 1 y)) (pow (exp (/ 1 (pow y 2))) 3)) 1/4)) in (y x) around 0 6.893 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (* (pow (exp (/ 1 y)) (/ 1 y)) (pow (exp (/ 1 (pow y 2))) 3)) 1/4)) in x 6.893 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.893 * [taylor]: Taking taylor expansion of x in x 6.893 * [taylor]: Taking taylor expansion of (pow (* (pow (exp (/ 1 y)) (/ 1 y)) (pow (exp (/ 1 (pow y 2))) 3)) 1/4) in x 6.893 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (pow (exp (/ 1 y)) (/ 1 y)) (pow (exp (/ 1 (pow y 2))) 3))))) in x 6.893 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (pow (exp (/ 1 y)) (/ 1 y)) (pow (exp (/ 1 (pow y 2))) 3)))) in x 6.893 * [taylor]: Taking taylor expansion of 1/4 in x 6.893 * [taylor]: Taking taylor expansion of (log (* (pow (exp (/ 1 y)) (/ 1 y)) (pow (exp (/ 1 (pow y 2))) 3))) in x 6.893 * [taylor]: Taking taylor expansion of (* (pow (exp (/ 1 y)) (/ 1 y)) (pow (exp (/ 1 (pow y 2))) 3)) in x 6.893 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 6.893 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 6.893 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 6.893 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.893 * [taylor]: Taking taylor expansion of y in x 6.893 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 6.893 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 6.893 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.893 * [taylor]: Taking taylor expansion of y in x 6.893 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 3) in x 6.893 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 6.893 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 6.893 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.893 * [taylor]: Taking taylor expansion of y in x 6.894 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (* (pow (exp (/ 1 y)) (/ 1 y)) (pow (exp (/ 1 (pow y 2))) 3)) 1/4)) in y 6.894 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.894 * [taylor]: Taking taylor expansion of x in y 6.894 * [taylor]: Taking taylor expansion of (pow (* (pow (exp (/ 1 y)) (/ 1 y)) (pow (exp (/ 1 (pow y 2))) 3)) 1/4) in y 6.894 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (pow (exp (/ 1 y)) (/ 1 y)) (pow (exp (/ 1 (pow y 2))) 3))))) in y 6.894 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (pow (exp (/ 1 y)) (/ 1 y)) (pow (exp (/ 1 (pow y 2))) 3)))) in y 6.894 * [taylor]: Taking taylor expansion of 1/4 in y 6.894 * [taylor]: Taking taylor expansion of (log (* (pow (exp (/ 1 y)) (/ 1 y)) (pow (exp (/ 1 (pow y 2))) 3))) in y 6.894 * [taylor]: Taking taylor expansion of (* (pow (exp (/ 1 y)) (/ 1 y)) (pow (exp (/ 1 (pow y 2))) 3)) in y 6.894 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 6.894 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 6.894 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 6.895 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.895 * [taylor]: Taking taylor expansion of y in y 6.895 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 6.895 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 6.895 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.895 * [taylor]: Taking taylor expansion of y in y 6.895 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 3) in y 6.895 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.895 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.895 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.895 * [taylor]: Taking taylor expansion of y in y 6.896 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (* (pow (exp (/ 1 y)) (/ 1 y)) (pow (exp (/ 1 (pow y 2))) 3)) 1/4)) in y 6.896 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.896 * [taylor]: Taking taylor expansion of x in y 6.896 * [taylor]: Taking taylor expansion of (pow (* (pow (exp (/ 1 y)) (/ 1 y)) (pow (exp (/ 1 (pow y 2))) 3)) 1/4) in y 6.896 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (pow (exp (/ 1 y)) (/ 1 y)) (pow (exp (/ 1 (pow y 2))) 3))))) in y 6.896 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (pow (exp (/ 1 y)) (/ 1 y)) (pow (exp (/ 1 (pow y 2))) 3)))) in y 6.896 * [taylor]: Taking taylor expansion of 1/4 in y 6.896 * [taylor]: Taking taylor expansion of (log (* (pow (exp (/ 1 y)) (/ 1 y)) (pow (exp (/ 1 (pow y 2))) 3))) in y 6.896 * [taylor]: Taking taylor expansion of (* (pow (exp (/ 1 y)) (/ 1 y)) (pow (exp (/ 1 (pow y 2))) 3)) in y 6.896 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 6.896 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 6.896 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 6.896 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.896 * [taylor]: Taking taylor expansion of y in y 6.896 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 6.896 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 6.896 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.896 * [taylor]: Taking taylor expansion of y in y 6.896 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 3) in y 6.896 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.896 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.896 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.896 * [taylor]: Taking taylor expansion of y in y 6.897 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 6.897 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 6.897 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 6.897 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.897 * [taylor]: Taking taylor expansion of y in x 6.898 * [taylor]: Taking taylor expansion of x in x 6.899 * [taylor]: Taking taylor expansion of 0 in x 6.901 * [taylor]: Taking taylor expansion of 0 in x 6.903 * [taylor]: Taking taylor expansion of 0 in x 6.905 * [approximate]: Taking taylor expansion of (* -1 (* (pow (* (pow (exp (/ -1 y)) (/ -1 y)) (pow (exp (/ 1 (pow y 2))) 3)) 1/4) (/ 1 x))) in (y x) around 0 6.905 * [taylor]: Taking taylor expansion of (* -1 (* (pow (* (pow (exp (/ -1 y)) (/ -1 y)) (pow (exp (/ 1 (pow y 2))) 3)) 1/4) (/ 1 x))) in x 6.905 * [taylor]: Taking taylor expansion of -1 in x 6.905 * [taylor]: Taking taylor expansion of (* (pow (* (pow (exp (/ -1 y)) (/ -1 y)) (pow (exp (/ 1 (pow y 2))) 3)) 1/4) (/ 1 x)) in x 6.905 * [taylor]: Taking taylor expansion of (pow (* (pow (exp (/ -1 y)) (/ -1 y)) (pow (exp (/ 1 (pow y 2))) 3)) 1/4) in x 6.905 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (pow (exp (/ -1 y)) (/ -1 y)) (pow (exp (/ 1 (pow y 2))) 3))))) in x 6.905 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (pow (exp (/ -1 y)) (/ -1 y)) (pow (exp (/ 1 (pow y 2))) 3)))) in x 6.905 * [taylor]: Taking taylor expansion of 1/4 in x 6.905 * [taylor]: Taking taylor expansion of (log (* (pow (exp (/ -1 y)) (/ -1 y)) (pow (exp (/ 1 (pow y 2))) 3))) in x 6.905 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 y)) (/ -1 y)) (pow (exp (/ 1 (pow y 2))) 3)) in x 6.905 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 6.905 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 6.905 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 6.905 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.905 * [taylor]: Taking taylor expansion of -1 in x 6.905 * [taylor]: Taking taylor expansion of y in x 6.905 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 6.905 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 6.905 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.905 * [taylor]: Taking taylor expansion of -1 in x 6.905 * [taylor]: Taking taylor expansion of y in x 6.905 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 3) in x 6.905 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 6.905 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 6.905 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.905 * [taylor]: Taking taylor expansion of y in x 6.906 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.906 * [taylor]: Taking taylor expansion of x in x 6.906 * [taylor]: Taking taylor expansion of (* -1 (* (pow (* (pow (exp (/ -1 y)) (/ -1 y)) (pow (exp (/ 1 (pow y 2))) 3)) 1/4) (/ 1 x))) in y 6.906 * [taylor]: Taking taylor expansion of -1 in y 6.906 * [taylor]: Taking taylor expansion of (* (pow (* (pow (exp (/ -1 y)) (/ -1 y)) (pow (exp (/ 1 (pow y 2))) 3)) 1/4) (/ 1 x)) in y 6.906 * [taylor]: Taking taylor expansion of (pow (* (pow (exp (/ -1 y)) (/ -1 y)) (pow (exp (/ 1 (pow y 2))) 3)) 1/4) in y 6.906 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (pow (exp (/ -1 y)) (/ -1 y)) (pow (exp (/ 1 (pow y 2))) 3))))) in y 6.906 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (pow (exp (/ -1 y)) (/ -1 y)) (pow (exp (/ 1 (pow y 2))) 3)))) in y 6.906 * [taylor]: Taking taylor expansion of 1/4 in y 6.906 * [taylor]: Taking taylor expansion of (log (* (pow (exp (/ -1 y)) (/ -1 y)) (pow (exp (/ 1 (pow y 2))) 3))) in y 6.906 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 y)) (/ -1 y)) (pow (exp (/ 1 (pow y 2))) 3)) in y 6.906 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 6.907 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 6.907 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 6.907 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.907 * [taylor]: Taking taylor expansion of -1 in y 6.907 * [taylor]: Taking taylor expansion of y in y 6.907 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 6.907 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 6.907 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.907 * [taylor]: Taking taylor expansion of -1 in y 6.907 * [taylor]: Taking taylor expansion of y in y 6.907 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 3) in y 6.907 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.907 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.907 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.907 * [taylor]: Taking taylor expansion of y in y 6.908 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.908 * [taylor]: Taking taylor expansion of x in y 6.908 * [taylor]: Taking taylor expansion of (* -1 (* (pow (* (pow (exp (/ -1 y)) (/ -1 y)) (pow (exp (/ 1 (pow y 2))) 3)) 1/4) (/ 1 x))) in y 6.908 * [taylor]: Taking taylor expansion of -1 in y 6.908 * [taylor]: Taking taylor expansion of (* (pow (* (pow (exp (/ -1 y)) (/ -1 y)) (pow (exp (/ 1 (pow y 2))) 3)) 1/4) (/ 1 x)) in y 6.908 * [taylor]: Taking taylor expansion of (pow (* (pow (exp (/ -1 y)) (/ -1 y)) (pow (exp (/ 1 (pow y 2))) 3)) 1/4) in y 6.908 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* (pow (exp (/ -1 y)) (/ -1 y)) (pow (exp (/ 1 (pow y 2))) 3))))) in y 6.908 * [taylor]: Taking taylor expansion of (* 1/4 (log (* (pow (exp (/ -1 y)) (/ -1 y)) (pow (exp (/ 1 (pow y 2))) 3)))) in y 6.908 * [taylor]: Taking taylor expansion of 1/4 in y 6.908 * [taylor]: Taking taylor expansion of (log (* (pow (exp (/ -1 y)) (/ -1 y)) (pow (exp (/ 1 (pow y 2))) 3))) in y 6.908 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 y)) (/ -1 y)) (pow (exp (/ 1 (pow y 2))) 3)) in y 6.908 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 6.908 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 6.908 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 6.908 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.908 * [taylor]: Taking taylor expansion of -1 in y 6.908 * [taylor]: Taking taylor expansion of y in y 6.908 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 6.908 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 6.908 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.908 * [taylor]: Taking taylor expansion of -1 in y 6.908 * [taylor]: Taking taylor expansion of y in y 6.908 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 3) in y 6.909 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 6.909 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.909 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.909 * [taylor]: Taking taylor expansion of y in y 6.909 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.909 * [taylor]: Taking taylor expansion of x in y 6.910 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 6.910 * [taylor]: Taking taylor expansion of -1 in x 6.910 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 6.910 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 6.910 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 6.910 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.910 * [taylor]: Taking taylor expansion of y in x 6.910 * [taylor]: Taking taylor expansion of x in x 6.911 * [taylor]: Taking taylor expansion of 0 in x 6.913 * [taylor]: Taking taylor expansion of 0 in x 6.916 * [taylor]: Taking taylor expansion of 0 in x 6.917 * * * [progress]: simplifying candidates 6.918 * [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))) (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))) (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))) (+ (+ (log (sqrt (sqrt (pow (exp y) y)))) (log x)) (log (sqrt (sqrt (exp (* y y)))))) (+ (log (* (sqrt (sqrt (pow (exp y) y))) x)) (log (sqrt (sqrt (exp (* y y)))))) (log (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y)))))) (exp (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y)))))) (* (* (* (* (sqrt (sqrt (pow (exp y) y))) (sqrt (sqrt (pow (exp y) y)))) (sqrt (sqrt (pow (exp y) y)))) (* (* x x) x)) (* (* (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (* (* (* (* (sqrt (sqrt (pow (exp y) y))) x) (* (sqrt (sqrt (pow (exp y) y))) x)) (* (sqrt (sqrt (pow (exp y) y))) x)) (* (* (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (* (cbrt (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y)))))) (cbrt (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))))) (cbrt (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y)))))) (* (* (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))) (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y)))))) (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y)))))) (sqrt (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y)))))) (sqrt (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y)))))) (* (* (sqrt (sqrt (pow (exp y) y))) x) (* (cbrt (sqrt (sqrt (exp (* y y))))) (cbrt (sqrt (sqrt (exp (* y y))))))) (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y))))))) (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))))) (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (sqrt (exp (* y y)))))) (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt 1))) (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (sqrt (exp (* y y)))))) (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt 1)) (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (sqrt (exp (* y y)))))) (* (* (sqrt (sqrt (pow (exp y) y))) x) 1) (* x (sqrt (sqrt (exp (* y y))))) (* (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y)))) (* (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y)))) (* (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y)))) (+ (+ (+ (log (sqrt (sqrt (pow (exp y) y)))) (log x)) (log (sqrt (sqrt (exp (* y y)))))) (log (sqrt (exp (* y y))))) (+ (+ (log (* (sqrt (sqrt (pow (exp y) y))) x)) (log (sqrt (sqrt (exp (* y y)))))) (log (sqrt (exp (* y y))))) (+ (log (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y)))))) (log (sqrt (exp (* y y))))) (log (* (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y))))) (exp (* (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y))))) (* (* (* (* (* (sqrt (sqrt (pow (exp y) y))) (sqrt (sqrt (pow (exp y) y)))) (sqrt (sqrt (pow (exp y) y)))) (* (* x x) x)) (* (* (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (* (* (sqrt (exp (* y y))) (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (* (* (* (* (sqrt (sqrt (pow (exp y) y))) x) (* (sqrt (sqrt (pow (exp y) y))) x)) (* (sqrt (sqrt (pow (exp y) y))) x)) (* (* (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (* (* (sqrt (exp (* y y))) (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (* (* (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))) (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y)))))) (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y)))))) (* (* (sqrt (exp (* y y))) (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (cbrt (* (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y))))) (cbrt (* (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y)))))) (cbrt (* (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y))))) (* (* (* (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y)))) (* (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y))))) (* (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y))))) (sqrt (* (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y))))) (sqrt (* (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y))))) (* (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))) (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y)))))) (* (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))) (sqrt (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))))) (* (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (* (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))) (sqrt 1)) (* (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (* (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))) 1) (* (sqrt (sqrt (exp (* y y)))) (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 (* x (pow y 2))) (+ x (+ (* 1/4 (* x (* (log 1) y))) (* 1/32 (* x (* (pow (log 1) 2) (pow y 2))))))) (* x (sqrt (exp (pow y 2)))) (* x (sqrt (exp (pow y 2)))) (+ (* x (pow y 2)) (+ x (+ (* 1/4 (* x (* (log 1) y))) (* 1/32 (* x (* (pow (log 1) 2) (pow y 2))))))) (* x (exp (pow y 2))) (* x (exp (pow y 2))) 6.922 * * [simplify]: iteration 0 : 113 enodes (cost 1403 ) 6.938 * * [simplify]: iteration 1 : 289 enodes (cost 1209 ) 7.006 * * [simplify]: iteration 2 : 1275 enodes (cost 988 ) 7.446 * * [simplify]: iteration done : 5001 enodes (cost 959 ) 7.446 * [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 (exp (pow y 2))) (sqrt (exp (pow y 2))) (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 (exp (pow y 2))) (sqrt (exp (pow y 2))) (* (sqrt (sqrt (exp (* y y)))) (* (sqrt (sqrt (pow (exp y) y))) x)) (* (sqrt (sqrt (exp (* y y)))) (* (sqrt (sqrt (pow (exp y) y))) x)) (log (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y)))))) (log (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y)))))) (log (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y)))))) (exp (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y)))))) (pow (* (sqrt (sqrt (exp (* y y)))) (* (sqrt (sqrt (pow (exp y) y))) x)) 3) (pow (* (sqrt (sqrt (exp (* y y)))) (* (sqrt (sqrt (pow (exp y) y))) x)) 3) (* (cbrt (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y)))))) (cbrt (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))))) (cbrt (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y)))))) (pow (* (sqrt (sqrt (exp (* y y)))) (* (sqrt (sqrt (pow (exp y) y))) x)) 3) (sqrt (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y)))))) (sqrt (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y)))))) (* (* (sqrt (sqrt (pow (exp y) y))) x) (* (cbrt (sqrt (sqrt (exp (* y y))))) (cbrt (sqrt (sqrt (exp (* y y))))))) (* (* (sqrt (sqrt (pow (exp y) y))) x) (fabs (cbrt (sqrt (exp (* y y)))))) (* (sqrt (fabs (cbrt (exp (* y y))))) (* (sqrt (sqrt (pow (exp y) y))) x)) (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (sqrt (exp (* y y)))))) (* (sqrt (sqrt (pow (exp y) y))) x) (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (sqrt (exp (* y y)))))) (* (sqrt (sqrt (pow (exp y) y))) x) (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (sqrt (exp (* y y)))))) (* (sqrt (sqrt (pow (exp y) y))) x) (* x (sqrt (sqrt (exp (pow y 2))))) (* (* x (sqrt (sqrt (pow (exp y) y)))) (pow (sqrt (sqrt (exp (* y y)))) 3)) (* (* x (sqrt (sqrt (pow (exp y) y)))) (pow (sqrt (sqrt (exp (* y y)))) 3)) (* (* x (sqrt (sqrt (pow (exp y) y)))) (pow (sqrt (sqrt (exp (* y y)))) 3)) (log (* (* x (sqrt (sqrt (pow (exp y) y)))) (pow (sqrt (sqrt (exp (* y y)))) 3))) (log (* (* x (sqrt (sqrt (pow (exp y) y)))) (pow (sqrt (sqrt (exp (* y y)))) 3))) (log (* (* x (sqrt (sqrt (pow (exp y) y)))) (pow (sqrt (sqrt (exp (* y y)))) 3))) (log (* (* x (sqrt (sqrt (pow (exp y) y)))) (pow (sqrt (sqrt (exp (* y y)))) 3))) (exp (* (* x (sqrt (sqrt (pow (exp y) y)))) (pow (sqrt (sqrt (exp (* y y)))) 3))) (pow (* (* x (sqrt (sqrt (pow (exp y) y)))) (pow (sqrt (sqrt (exp (* y y)))) 3)) 3) (pow (* (* x (sqrt (sqrt (pow (exp y) y)))) (pow (sqrt (sqrt (exp (* y y)))) 3)) 3) (pow (* (* x (sqrt (sqrt (pow (exp y) y)))) (pow (sqrt (sqrt (exp (* y y)))) 3)) 3) (* (cbrt (* (* x (sqrt (sqrt (pow (exp y) y)))) (pow (sqrt (sqrt (exp (* y y)))) 3))) (cbrt (* (* x (sqrt (sqrt (pow (exp y) y)))) (pow (sqrt (sqrt (exp (* y y)))) 3)))) (cbrt (* (* x (sqrt (sqrt (pow (exp y) y)))) (pow (sqrt (sqrt (exp (* y y)))) 3))) (pow (* (* x (sqrt (sqrt (pow (exp y) y)))) (pow (sqrt (sqrt (exp (* y y)))) 3)) 3) (sqrt (* (* x (sqrt (sqrt (pow (exp y) y)))) (pow (sqrt (sqrt (exp (* y y)))) 3))) (sqrt (* (* x (sqrt (sqrt (pow (exp y) y)))) (pow (sqrt (sqrt (exp (* y y)))) 3))) (* (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y))))) (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y)))))) (* (fabs (cbrt (exp (* y y)))) (* (* (sqrt (sqrt (pow (exp y) y))) x) (sqrt (sqrt (exp (* y y)))))) (* (pow (sqrt (sqrt (pow (exp y) y))) 3) x) (* (sqrt (sqrt (exp (* y y)))) (* (sqrt (sqrt (pow (exp y) y))) x)) (* (pow (sqrt (sqrt (pow (exp y) y))) 3) x) (* (sqrt (sqrt (exp (* y y)))) (* (sqrt (sqrt (pow (exp y) y))) x)) (pow (sqrt (sqrt (exp (* y y)))) 3) (+ (* 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) (* 0 y)) (* x 0)) (* x (sqrt (exp (pow y 2)))) (* x (sqrt (exp (pow y 2)))) (+ (+ (* 0 y) (* x 0)) (+ (* x (pow y 2)) x)) (* x (exp (pow y 2))) (* x (exp (pow y 2))) 7.447 * * * [progress]: adding candidates to table 7.525 * [progress]: [Phase 3 of 3] Extracting. 7.525 * * [regime]: Finding splitpoints for: (# # # #) 7.526 * * * [regime-changes]: Trying 4 branch expressions: ((* y y) (exp (* y y)) y x) 7.526 * * * * [regimes]: Trying to branch on (* y y) from (# # # #) 7.565 * * * * [regimes]: Trying to branch on (exp (* y y)) from (# # # #) 7.599 * * * * [regimes]: Trying to branch on y from (# # # #) 7.639 * * * * [regimes]: Trying to branch on x from (# # # #) 7.680 * * * [regime]: Found split indices: #