32.936 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.018 * * * [progress]: [2/2] Setting up program. 0.020 * [progress]: [Phase 2 of 3] Improving. 0.021 * [simplify]: Simplifying using # : (* x (exp (* y y))) 0.022 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.023 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 0.024 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 0.025 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 0.029 * * [simplify]: iteration 4 : 47 enodes (cost 6 ) 0.037 * * [simplify]: iteration 5 : 113 enodes (cost 6 ) 0.074 * * [simplify]: iteration 6 : 302 enodes (cost 6 ) 0.220 * * [simplify]: iteration 7 : 994 enodes (cost 6 ) 1.119 * * [simplify]: iteration 8 : 3762 enodes (cost 6 ) 4.102 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 4.102 * [simplify]: Simplified to: (* x (exp (* y y))) 4.102 * * [progress]: iteration 1 / 4 4.102 * * * [progress]: picking best candidate 4.104 * * * * [pick]: Picked # 4.104 * * * [progress]: localizing error 4.109 * * * [progress]: generating rewritten candidates 4.109 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 4.111 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 4.116 * * * [progress]: generating series expansions 4.116 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 4.116 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0 4.116 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 4.116 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.116 * [taylor]: Taking taylor expansion of y in y 4.117 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 4.117 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.117 * [taylor]: Taking taylor expansion of y in y 4.124 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 4.124 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.124 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.124 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.124 * [taylor]: Taking taylor expansion of y in y 4.125 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.125 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.125 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.125 * [taylor]: Taking taylor expansion of y in y 4.127 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 4.127 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.127 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.127 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.127 * [taylor]: Taking taylor expansion of y in y 4.127 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.127 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.127 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.127 * [taylor]: Taking taylor expansion of y in y 4.128 * * * * [progress]: [ 2 / 2 ] generating series at (2) 4.129 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0 4.129 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 4.129 * [taylor]: Taking taylor expansion of x in y 4.129 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 4.129 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.129 * [taylor]: Taking taylor expansion of y in y 4.129 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 4.129 * [taylor]: Taking taylor expansion of x in x 4.129 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 4.129 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.129 * [taylor]: Taking taylor expansion of y in x 4.129 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 4.129 * [taylor]: Taking taylor expansion of x in x 4.129 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 4.129 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.129 * [taylor]: Taking taylor expansion of y in x 4.130 * [taylor]: Taking taylor expansion of 0 in y 4.131 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 4.131 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.131 * [taylor]: Taking taylor expansion of y in y 4.133 * [taylor]: Taking taylor expansion of 0 in y 4.137 * [taylor]: Taking taylor expansion of 0 in y 4.137 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0 4.137 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 4.137 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.137 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.137 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.137 * [taylor]: Taking taylor expansion of y in y 4.138 * [taylor]: Taking taylor expansion of x in y 4.138 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 4.138 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 4.138 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 4.138 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.138 * [taylor]: Taking taylor expansion of y in x 4.138 * [taylor]: Taking taylor expansion of x in x 4.138 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 4.138 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 4.138 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 4.138 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.138 * [taylor]: Taking taylor expansion of y in x 4.139 * [taylor]: Taking taylor expansion of x in x 4.139 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.139 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.139 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.139 * [taylor]: Taking taylor expansion of y in y 4.141 * [taylor]: Taking taylor expansion of 0 in y 4.144 * [taylor]: Taking taylor expansion of 0 in y 4.147 * [taylor]: Taking taylor expansion of 0 in y 4.148 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0 4.148 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y 4.148 * [taylor]: Taking taylor expansion of -1 in y 4.148 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 4.148 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.148 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.148 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.148 * [taylor]: Taking taylor expansion of y in y 4.148 * [taylor]: Taking taylor expansion of x in y 4.149 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 4.149 * [taylor]: Taking taylor expansion of -1 in x 4.149 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 4.149 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 4.149 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 4.149 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.149 * [taylor]: Taking taylor expansion of y in x 4.149 * [taylor]: Taking taylor expansion of x in x 4.149 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 4.149 * [taylor]: Taking taylor expansion of -1 in x 4.149 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 4.149 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 4.149 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 4.149 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.149 * [taylor]: Taking taylor expansion of y in x 4.149 * [taylor]: Taking taylor expansion of x in x 4.150 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 4.150 * [taylor]: Taking taylor expansion of -1 in y 4.150 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 4.150 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.150 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.150 * [taylor]: Taking taylor expansion of y in y 4.153 * [taylor]: Taking taylor expansion of 0 in y 4.156 * [taylor]: Taking taylor expansion of 0 in y 4.161 * [taylor]: Taking taylor expansion of 0 in y 4.162 * * * [progress]: simplifying candidates 4.162 * [simplify]: Simplifying using # : (expm1 (exp (* y y))) (log1p (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))) (expm1 (* x (exp (* y y)))) (log1p (* x (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))) (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1)) (exp (pow y 2)) (exp (pow y 2)) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 4.164 * * [simplify]: iteration 0 : 48 enodes (cost 269 ) 4.174 * * [simplify]: iteration 1 : 93 enodes (cost 260 ) 4.194 * * [simplify]: iteration 2 : 204 enodes (cost 228 ) 4.248 * * [simplify]: iteration 3 : 464 enodes (cost 228 ) 4.449 * * [simplify]: iteration 4 : 1453 enodes (cost 228 ) 5.487 * * [simplify]: iteration 5 : 4627 enodes (cost 228 ) 7.393 * * [simplify]: iteration done : 5000 enodes (cost 228 ) 7.393 * [simplify]: Simplified to: (expm1 (exp (* y y))) (log1p (exp (* y y))) (exp y) (pow y 2) (exp (exp (* y y))) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (cbrt (exp (* y y))) (pow (exp (pow y 2)) 3) (sqrt (exp (* y y))) (sqrt (exp (* y y))) (expm1 (* x (exp (* y y)))) (log1p (* x (exp (* y y)))) (* x (exp (pow y 2))) (fma y y (log x)) (fma y y (log x)) (exp (* x (exp (* y y)))) (pow (* x (exp (pow y 2))) 3) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y)))) (pow (* x (exp (pow y 2))) 3) (sqrt (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))) (* x (sqrt (exp (* y y)))) x (* (cbrt x) (exp (* y y))) (* (sqrt x) (exp (* y y))) (* x (exp (pow y 2))) (fma y y (fma 1/2 (pow y 4) 1)) (pow (exp y) y) (pow (exp y) y) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 7.393 * * * [progress]: adding candidates to table 7.480 * * [progress]: iteration 2 / 4 7.480 * * * [progress]: picking best candidate 7.487 * * * * [pick]: Picked # 7.488 * * * [progress]: localizing error 7.494 * * * [progress]: generating rewritten candidates 7.494 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 7.496 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 7.504 * * * [progress]: generating series expansions 7.504 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 7.504 * [approximate]: Taking taylor expansion of (pow (exp y) y) in (y) around 0 7.504 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 7.504 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 7.504 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 7.504 * [taylor]: Taking taylor expansion of y in y 7.504 * [taylor]: Taking taylor expansion of (log (exp y)) in y 7.504 * [taylor]: Taking taylor expansion of (exp y) in y 7.504 * [taylor]: Taking taylor expansion of y in y 7.511 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 7.511 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 7.511 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 7.511 * [taylor]: Taking taylor expansion of y in y 7.511 * [taylor]: Taking taylor expansion of (log (exp y)) in y 7.511 * [taylor]: Taking taylor expansion of (exp y) in y 7.511 * [taylor]: Taking taylor expansion of y in y 7.537 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in (y) around 0 7.537 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 7.537 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 7.537 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 7.537 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.537 * [taylor]: Taking taylor expansion of y in y 7.537 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 7.537 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 7.537 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.537 * [taylor]: Taking taylor expansion of y in y 7.538 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 7.538 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 7.538 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 7.538 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.538 * [taylor]: Taking taylor expansion of y in y 7.539 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 7.539 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 7.539 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.539 * [taylor]: Taking taylor expansion of y in y 7.543 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in (y) around 0 7.543 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 7.543 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 7.543 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 7.543 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.543 * [taylor]: Taking taylor expansion of -1 in y 7.543 * [taylor]: Taking taylor expansion of y in y 7.544 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 7.544 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 7.544 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.544 * [taylor]: Taking taylor expansion of -1 in y 7.544 * [taylor]: Taking taylor expansion of y in y 7.545 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 7.545 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 7.545 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 7.545 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.545 * [taylor]: Taking taylor expansion of -1 in y 7.545 * [taylor]: Taking taylor expansion of y in y 7.545 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 7.545 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 7.545 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.545 * [taylor]: Taking taylor expansion of -1 in y 7.545 * [taylor]: Taking taylor expansion of y in y 7.546 * * * * [progress]: [ 2 / 2 ] generating series at (2) 7.547 * [approximate]: Taking taylor expansion of (* x (pow (exp y) y)) in (x y) around 0 7.547 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in y 7.547 * [taylor]: Taking taylor expansion of x in y 7.547 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 7.547 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 7.547 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 7.547 * [taylor]: Taking taylor expansion of y in y 7.547 * [taylor]: Taking taylor expansion of (log (exp y)) in y 7.547 * [taylor]: Taking taylor expansion of (exp y) in y 7.547 * [taylor]: Taking taylor expansion of y in y 7.552 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x 7.552 * [taylor]: Taking taylor expansion of x in x 7.552 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 7.552 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 7.553 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 7.553 * [taylor]: Taking taylor expansion of y in x 7.553 * [taylor]: Taking taylor expansion of (log (exp y)) in x 7.553 * [taylor]: Taking taylor expansion of (exp y) in x 7.553 * [taylor]: Taking taylor expansion of y in x 7.553 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x 7.553 * [taylor]: Taking taylor expansion of x in x 7.553 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 7.553 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 7.553 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 7.553 * [taylor]: Taking taylor expansion of y in x 7.553 * [taylor]: Taking taylor expansion of (log (exp y)) in x 7.553 * [taylor]: Taking taylor expansion of (exp y) in x 7.553 * [taylor]: Taking taylor expansion of y in x 7.553 * [taylor]: Taking taylor expansion of 0 in y 7.556 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 7.556 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.556 * [taylor]: Taking taylor expansion of y in y 7.560 * [taylor]: Taking taylor expansion of 0 in y 7.567 * [taylor]: Taking taylor expansion of 0 in y 7.567 * [approximate]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in (x y) around 0 7.567 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in y 7.567 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 7.567 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 7.567 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 7.567 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.567 * [taylor]: Taking taylor expansion of y in y 7.567 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 7.567 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 7.567 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.567 * [taylor]: Taking taylor expansion of y in y 7.568 * [taylor]: Taking taylor expansion of x in y 7.568 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x 7.568 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 7.568 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 7.568 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 7.568 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.568 * [taylor]: Taking taylor expansion of y in x 7.568 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 7.568 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 7.568 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.568 * [taylor]: Taking taylor expansion of y in x 7.569 * [taylor]: Taking taylor expansion of x in x 7.569 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x 7.569 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 7.569 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 7.569 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 7.569 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.569 * [taylor]: Taking taylor expansion of y in x 7.569 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 7.569 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 7.569 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.569 * [taylor]: Taking taylor expansion of y in x 7.569 * [taylor]: Taking taylor expansion of x in x 7.569 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.569 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.569 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.570 * [taylor]: Taking taylor expansion of y in y 7.573 * [taylor]: Taking taylor expansion of 0 in y 7.578 * [taylor]: Taking taylor expansion of 0 in y 7.585 * [taylor]: Taking taylor expansion of 0 in y 7.585 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in (x y) around 0 7.585 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in y 7.585 * [taylor]: Taking taylor expansion of -1 in y 7.585 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in y 7.585 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 7.585 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 7.585 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 7.585 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.585 * [taylor]: Taking taylor expansion of -1 in y 7.585 * [taylor]: Taking taylor expansion of y in y 7.586 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 7.586 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 7.586 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.586 * [taylor]: Taking taylor expansion of -1 in y 7.586 * [taylor]: Taking taylor expansion of y in y 7.587 * [taylor]: Taking taylor expansion of x in y 7.587 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x 7.587 * [taylor]: Taking taylor expansion of -1 in x 7.587 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x 7.587 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 7.587 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 7.587 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 7.587 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.587 * [taylor]: Taking taylor expansion of -1 in x 7.587 * [taylor]: Taking taylor expansion of y in x 7.587 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 7.587 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 7.587 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.587 * [taylor]: Taking taylor expansion of -1 in x 7.587 * [taylor]: Taking taylor expansion of y in x 7.587 * [taylor]: Taking taylor expansion of x in x 7.587 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x 7.587 * [taylor]: Taking taylor expansion of -1 in x 7.587 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x 7.587 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 7.587 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 7.587 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 7.588 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.588 * [taylor]: Taking taylor expansion of -1 in x 7.588 * [taylor]: Taking taylor expansion of y in x 7.588 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 7.588 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 7.588 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.588 * [taylor]: Taking taylor expansion of -1 in x 7.588 * [taylor]: Taking taylor expansion of y in x 7.588 * [taylor]: Taking taylor expansion of x in x 7.588 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 7.588 * [taylor]: Taking taylor expansion of -1 in y 7.588 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.588 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.588 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.588 * [taylor]: Taking taylor expansion of y in y 7.592 * [taylor]: Taking taylor expansion of 0 in y 7.599 * [taylor]: Taking taylor expansion of 0 in y 7.607 * [taylor]: Taking taylor expansion of 0 in y 7.607 * * * [progress]: simplifying candidates 7.608 * [simplify]: Simplifying using # : (expm1 (pow (exp y) y)) (log1p (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)) (expm1 (* x (pow (exp y) y))) (log1p (* x (pow (exp y) y))) (+ (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)) (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1)) (exp (pow y 2)) (exp (pow y 2)) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 7.610 * * [simplify]: iteration 0 : 76 enodes (cost 424 ) 7.628 * * [simplify]: iteration 1 : 153 enodes (cost 393 ) 7.658 * * [simplify]: iteration 2 : 340 enodes (cost 365 ) 7.754 * * [simplify]: iteration 3 : 967 enodes (cost 365 ) 8.411 * * [simplify]: iteration 4 : 4248 enodes (cost 364 ) 10.409 * * [simplify]: iteration done : 5001 enodes (cost 364 ) 10.410 * [simplify]: Simplified to: (expm1 (pow (exp y) y)) (log1p (pow (exp y) y)) (pow y 2) (pow y 2) y (* (cbrt y) y) (pow y 3/2) (pow y 2) (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) (pow y 2) (exp (pow (exp y) y)) (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y))) (cbrt (pow (exp y) y)) (pow (exp (pow y 2)) 3) (sqrt (pow (exp y) y)) (sqrt (pow (exp y) y)) (exp (* (/ y 2) y)) (exp (* (/ y 2) y)) (expm1 (* x (pow (exp y) y))) (log1p (* x (pow (exp y) y))) (fma y y (log x)) (fma y y (log x)) (fma y y (log x)) (fma y y (log x)) (exp (* x (pow (exp y) y))) (pow (* x (exp (pow y 2))) 3) (* (cbrt (* x (pow (exp y) y))) (cbrt (* x (pow (exp y) y)))) (cbrt (* x (pow (exp y) y))) (pow (* x (exp (pow y 2))) 3) (sqrt (* x (pow (exp y) y))) (sqrt (* x (pow (exp y) y))) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (pow (exp y) (/ y 2))) (* (sqrt x) (pow (exp y) (/ y 2))) (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (* x (pow (sqrt (exp y)) y)) x (* x (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y)))) (* x (sqrt (pow (exp y) y))) x (* x (pow (exp y) (/ y 2))) (* (cbrt x) (pow (exp y) y)) (* (sqrt x) (pow (exp y) y)) (* x (exp (pow y 2))) (fma y y (fma 1/2 (pow y 4) 1)) (pow (exp y) y) (pow (exp y) y) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 10.410 * * * [progress]: adding candidates to table 10.534 * * [progress]: iteration 3 / 4 10.534 * * * [progress]: picking best candidate 10.541 * * * * [pick]: Picked # 10.541 * * * [progress]: localizing error 10.549 * * * [progress]: generating rewritten candidates 10.549 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 10.569 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 10.570 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 10.572 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 10.593 * * * [progress]: generating series expansions 10.593 * * * * [progress]: [ 1 / 4 ] generating series at (2) 10.594 * [approximate]: Taking taylor expansion of (* (pow (pow (sqrt (exp y)) y) 2) x) in (x y) around 0 10.594 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt (exp y)) y) 2) x) in y 10.594 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp y)) y) 2) in y 10.594 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in y 10.594 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in y 10.594 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in y 10.594 * [taylor]: Taking taylor expansion of y in y 10.594 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 10.594 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 10.594 * [taylor]: Taking taylor expansion of (exp y) in y 10.594 * [taylor]: Taking taylor expansion of y in y 10.601 * [taylor]: Taking taylor expansion of x in y 10.602 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt (exp y)) y) 2) x) in x 10.602 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp y)) y) 2) in x 10.602 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in x 10.602 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in x 10.602 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in x 10.602 * [taylor]: Taking taylor expansion of y in x 10.602 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in x 10.602 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in x 10.602 * [taylor]: Taking taylor expansion of (exp y) in x 10.602 * [taylor]: Taking taylor expansion of y in x 10.603 * [taylor]: Taking taylor expansion of x in x 10.603 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt (exp y)) y) 2) x) in x 10.603 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp y)) y) 2) in x 10.603 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in x 10.603 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in x 10.603 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in x 10.603 * [taylor]: Taking taylor expansion of y in x 10.603 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in x 10.603 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in x 10.603 * [taylor]: Taking taylor expansion of (exp y) in x 10.603 * [taylor]: Taking taylor expansion of y in x 10.604 * [taylor]: Taking taylor expansion of x in x 10.604 * [taylor]: Taking taylor expansion of 0 in y 10.606 * [taylor]: Taking taylor expansion of (pow (exp (* (log (sqrt (exp y))) y)) 2) in y 10.606 * [taylor]: Taking taylor expansion of (exp (* (log (sqrt (exp y))) y)) in y 10.607 * [taylor]: Taking taylor expansion of (* (log (sqrt (exp y))) y) in y 10.607 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 10.607 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 10.607 * [taylor]: Taking taylor expansion of (exp y) in y 10.607 * [taylor]: Taking taylor expansion of y in y 10.608 * [taylor]: Taking taylor expansion of y in y 10.619 * [taylor]: Taking taylor expansion of 0 in y 10.626 * [taylor]: Taking taylor expansion of 0 in y 10.627 * [approximate]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) x) in (x y) around 0 10.627 * [taylor]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) x) in y 10.627 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) in y 10.627 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in y 10.627 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in y 10.627 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in y 10.627 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.627 * [taylor]: Taking taylor expansion of y in y 10.627 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 10.627 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 10.627 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 10.627 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.627 * [taylor]: Taking taylor expansion of y in y 10.628 * [taylor]: Taking taylor expansion of x in y 10.629 * [taylor]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) x) in x 10.629 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) in x 10.629 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in x 10.629 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in x 10.629 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in x 10.629 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.629 * [taylor]: Taking taylor expansion of y in x 10.629 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in x 10.629 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in x 10.629 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 10.629 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.629 * [taylor]: Taking taylor expansion of y in x 10.630 * [taylor]: Taking taylor expansion of x in x 10.630 * [taylor]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) x) in x 10.630 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) in x 10.630 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in x 10.630 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in x 10.631 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in x 10.631 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.631 * [taylor]: Taking taylor expansion of y in x 10.631 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in x 10.631 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in x 10.631 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 10.631 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.631 * [taylor]: Taking taylor expansion of y in x 10.632 * [taylor]: Taking taylor expansion of x in x 10.632 * [taylor]: Taking taylor expansion of (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) in y 10.632 * [taylor]: Taking taylor expansion of (exp (/ (log (sqrt (exp (/ 1 y)))) y)) in y 10.632 * [taylor]: Taking taylor expansion of (/ (log (sqrt (exp (/ 1 y)))) y) in y 10.632 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 10.632 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 10.632 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 10.632 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.632 * [taylor]: Taking taylor expansion of y in y 10.633 * [taylor]: Taking taylor expansion of y in y 10.636 * [taylor]: Taking taylor expansion of 0 in y 10.642 * [taylor]: Taking taylor expansion of 0 in y 10.656 * [taylor]: Taking taylor expansion of 0 in y 10.656 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) x)) in (x y) around 0 10.656 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) x)) in y 10.656 * [taylor]: Taking taylor expansion of -1 in y 10.657 * [taylor]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) x) in y 10.657 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) in y 10.657 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in y 10.657 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in y 10.657 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in y 10.657 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.657 * [taylor]: Taking taylor expansion of -1 in y 10.657 * [taylor]: Taking taylor expansion of y in y 10.657 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 10.657 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 10.657 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 10.657 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.657 * [taylor]: Taking taylor expansion of -1 in y 10.657 * [taylor]: Taking taylor expansion of y in y 10.658 * [taylor]: Taking taylor expansion of x in y 10.658 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) x)) in x 10.658 * [taylor]: Taking taylor expansion of -1 in x 10.658 * [taylor]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) x) in x 10.658 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) in x 10.658 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in x 10.658 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in x 10.658 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in x 10.658 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.658 * [taylor]: Taking taylor expansion of -1 in x 10.659 * [taylor]: Taking taylor expansion of y in x 10.659 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in x 10.659 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in x 10.659 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 10.659 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.659 * [taylor]: Taking taylor expansion of -1 in x 10.659 * [taylor]: Taking taylor expansion of y in x 10.660 * [taylor]: Taking taylor expansion of x in x 10.660 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) x)) in x 10.660 * [taylor]: Taking taylor expansion of -1 in x 10.660 * [taylor]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) x) in x 10.660 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) in x 10.660 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in x 10.660 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in x 10.660 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in x 10.660 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.660 * [taylor]: Taking taylor expansion of -1 in x 10.660 * [taylor]: Taking taylor expansion of y in x 10.660 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in x 10.661 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in x 10.661 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 10.661 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.661 * [taylor]: Taking taylor expansion of -1 in x 10.661 * [taylor]: Taking taylor expansion of y in x 10.662 * [taylor]: Taking taylor expansion of x in x 10.662 * [taylor]: Taking taylor expansion of (* -1 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) in y 10.662 * [taylor]: Taking taylor expansion of -1 in y 10.662 * [taylor]: Taking taylor expansion of (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2) in y 10.663 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) in y 10.663 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)) in y 10.663 * [taylor]: Taking taylor expansion of -1 in y 10.663 * [taylor]: Taking taylor expansion of (/ (log (sqrt (exp (/ -1 y)))) y) in y 10.663 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 10.663 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 10.663 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 10.663 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.663 * [taylor]: Taking taylor expansion of -1 in y 10.663 * [taylor]: Taking taylor expansion of y in y 10.663 * [taylor]: Taking taylor expansion of y in y 10.667 * [taylor]: Taking taylor expansion of 0 in y 10.675 * [taylor]: Taking taylor expansion of 0 in y 10.685 * [taylor]: Taking taylor expansion of 0 in y 10.686 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 10.686 * [approximate]: Taking taylor expansion of (sqrt (exp y)) in (y) around 0 10.686 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 10.686 * [taylor]: Taking taylor expansion of (exp y) in y 10.686 * [taylor]: Taking taylor expansion of y in y 10.688 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 10.688 * [taylor]: Taking taylor expansion of (exp y) in y 10.688 * [taylor]: Taking taylor expansion of y in y 10.691 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in (y) around 0 10.691 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 10.691 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 10.691 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.691 * [taylor]: Taking taylor expansion of y in y 10.692 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 10.692 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 10.692 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.692 * [taylor]: Taking taylor expansion of y in y 10.696 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in (y) around 0 10.696 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 10.696 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 10.696 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.696 * [taylor]: Taking taylor expansion of -1 in y 10.696 * [taylor]: Taking taylor expansion of y in y 10.696 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 10.696 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 10.696 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.696 * [taylor]: Taking taylor expansion of -1 in y 10.696 * [taylor]: Taking taylor expansion of y in y 10.700 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 10.700 * [approximate]: Taking taylor expansion of (sqrt (exp y)) in (y) around 0 10.700 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 10.700 * [taylor]: Taking taylor expansion of (exp y) in y 10.700 * [taylor]: Taking taylor expansion of y in y 10.701 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 10.701 * [taylor]: Taking taylor expansion of (exp y) in y 10.702 * [taylor]: Taking taylor expansion of y in y 10.705 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in (y) around 0 10.705 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 10.705 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 10.705 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.705 * [taylor]: Taking taylor expansion of y in y 10.705 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 10.705 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 10.705 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.705 * [taylor]: Taking taylor expansion of y in y 10.709 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in (y) around 0 10.709 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 10.709 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 10.709 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.709 * [taylor]: Taking taylor expansion of -1 in y 10.709 * [taylor]: Taking taylor expansion of y in y 10.710 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 10.710 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 10.710 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.710 * [taylor]: Taking taylor expansion of -1 in y 10.710 * [taylor]: Taking taylor expansion of y in y 10.713 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 10.714 * [approximate]: Taking taylor expansion of (pow (pow (sqrt (exp y)) y) 2) in (y) around 0 10.714 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp y)) y) 2) in y 10.714 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in y 10.714 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in y 10.714 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in y 10.714 * [taylor]: Taking taylor expansion of y in y 10.714 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 10.714 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 10.714 * [taylor]: Taking taylor expansion of (exp y) in y 10.714 * [taylor]: Taking taylor expansion of y in y 10.720 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp y)) y) 2) in y 10.721 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in y 10.721 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in y 10.721 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in y 10.721 * [taylor]: Taking taylor expansion of y in y 10.721 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 10.721 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 10.721 * [taylor]: Taking taylor expansion of (exp y) in y 10.721 * [taylor]: Taking taylor expansion of y in y 10.757 * [approximate]: Taking taylor expansion of (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) in (y) around 0 10.757 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) in y 10.757 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in y 10.757 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in y 10.757 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in y 10.757 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.757 * [taylor]: Taking taylor expansion of y in y 10.758 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 10.758 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 10.758 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 10.758 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.758 * [taylor]: Taking taylor expansion of y in y 10.758 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) in y 10.758 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in y 10.758 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in y 10.759 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in y 10.759 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.759 * [taylor]: Taking taylor expansion of y in y 10.759 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 10.759 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 10.759 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 10.759 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.759 * [taylor]: Taking taylor expansion of y in y 10.766 * [approximate]: Taking taylor expansion of (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) in (y) around 0 10.766 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) in y 10.766 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in y 10.766 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in y 10.766 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in y 10.766 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.766 * [taylor]: Taking taylor expansion of -1 in y 10.766 * [taylor]: Taking taylor expansion of y in y 10.767 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 10.767 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 10.767 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 10.767 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.767 * [taylor]: Taking taylor expansion of -1 in y 10.767 * [taylor]: Taking taylor expansion of y in y 10.767 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) in y 10.768 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in y 10.768 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in y 10.768 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in y 10.768 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.768 * [taylor]: Taking taylor expansion of -1 in y 10.768 * [taylor]: Taking taylor expansion of y in y 10.768 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 10.768 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 10.768 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 10.768 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.768 * [taylor]: Taking taylor expansion of -1 in y 10.768 * [taylor]: Taking taylor expansion of y in y 10.775 * * * [progress]: simplifying candidates 10.777 * [simplify]: Simplifying using # : (expm1 (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (log1p (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (+ (log x) (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y))) (+ (log x) (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y))) (+ (log x) (+ (* (log (sqrt (exp y))) y) (log (pow (sqrt (exp y)) y)))) (+ (log x) (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y))) (+ (log x) (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y))) (+ (log x) (+ (* (log (sqrt (exp y))) y) (log (pow (sqrt (exp y)) y)))) (+ (log x) (+ (log (pow (sqrt (exp y)) y)) (* (log (sqrt (exp y))) y))) (+ (log x) (+ (log (pow (sqrt (exp y)) y)) (* (log (sqrt (exp y))) y))) (+ (log x) (+ (log (pow (sqrt (exp y)) y)) (log (pow (sqrt (exp y)) y)))) (+ (log x) (log (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (exp (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (* (* (* x x) x) (* (* (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y)) (* (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y)))) (* (* (* x x) x) (* (* (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (* (cbrt (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (cbrt (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))))) (cbrt (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (* (* (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (sqrt (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (sqrt (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)) (* x (pow (sqrt (exp y)) y)) (* (cbrt x) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (* (sqrt x) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (expm1 (sqrt (exp y))) (log1p (sqrt (exp y))) (log (sqrt (exp y))) (exp (sqrt (exp y))) (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) (cbrt (sqrt (exp y))) (* (* (sqrt (exp y)) (sqrt (exp y))) (sqrt (exp y))) (sqrt (* (cbrt (exp y)) (cbrt (exp y)))) (sqrt (cbrt (exp y))) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) (sqrt 1) (sqrt (exp y)) (/ 1 2) (/ (cbrt y) 2) (/ (sqrt y) 2) (/ y 2) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) (expm1 (sqrt (exp y))) (log1p (sqrt (exp y))) (log (sqrt (exp y))) (exp (sqrt (exp y))) (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) (cbrt (sqrt (exp y))) (* (* (sqrt (exp y)) (sqrt (exp y))) (sqrt (exp y))) (sqrt (* (cbrt (exp y)) (cbrt (exp y)))) (sqrt (cbrt (exp y))) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) (sqrt 1) (sqrt (exp y)) (/ 1 2) (/ (cbrt y) 2) (/ (sqrt y) 2) (/ y 2) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) (expm1 (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (log1p (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (+ y y) (* (sqrt (exp y)) (sqrt (exp y))) (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y)) (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y)) (+ (* (log (sqrt (exp y))) y) (log (pow (sqrt (exp y)) y))) (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y)) (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y)) (+ (* (log (sqrt (exp y))) y) (log (pow (sqrt (exp y)) y))) (+ (log (pow (sqrt (exp y)) y)) (* (log (sqrt (exp y))) y)) (+ (log (pow (sqrt (exp y)) y)) (* (log (sqrt (exp y))) y)) (+ (log (pow (sqrt (exp y)) y)) (log (pow (sqrt (exp y)) y))) (log (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (exp (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (* (* (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y)) (* (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y))) (* (cbrt (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (cbrt (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (cbrt (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (* (* (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (sqrt (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (sqrt (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (* (pow (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) y) (pow (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) y)) (* (pow (cbrt (sqrt (exp y))) y) (pow (cbrt (sqrt (exp y))) y)) (* (pow (sqrt (* (cbrt (exp y)) (cbrt (exp y)))) y) (pow (sqrt (* (cbrt (exp y)) (cbrt (exp y)))) y)) (* (pow (sqrt (cbrt (exp y))) y) (pow (sqrt (cbrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt 1) y) (pow (sqrt 1) y)) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow 1 y) (pow 1 y)) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (* (* (cbrt (pow (sqrt (exp y)) y)) (cbrt (pow (sqrt (exp y)) y))) (* (cbrt (pow (sqrt (exp y)) y)) (cbrt (pow (sqrt (exp y)) y)))) (* (cbrt (pow (sqrt (exp y)) y)) (cbrt (pow (sqrt (exp y)) y))) (* (sqrt (pow (sqrt (exp y)) y)) (sqrt (pow (sqrt (exp y)) y))) (* (sqrt (pow (sqrt (exp y)) y)) (sqrt (pow (sqrt (exp y)) y))) (* 1 1) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (exp y)) (/ y 2)) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (exp y)) (/ y 2)) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) (/ y 2))) (* (sqrt (pow (sqrt (exp y)) y)) (pow (sqrt (sqrt (exp y))) y)) (* (sqrt (pow (sqrt (exp y)) y)) (pow (sqrt (sqrt (exp y))) y)) (* (sqrt (pow (sqrt (exp y)) y)) (pow (sqrt (sqrt (exp y))) y)) (* (sqrt (pow (sqrt (exp y)) y)) (pow (sqrt (sqrt (exp y))) y)) (* (sqrt (pow (sqrt (exp y)) y)) (sqrt (pow (sqrt (exp y)) y))) (* (sqrt (pow (sqrt (exp y)) y)) (sqrt (pow (sqrt (exp y)) y))) (* (sqrt (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) (/ y 2))) (* (sqrt (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (exp y)) (/ y 2)) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (exp y)) (/ y 2)) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (exp y)) (/ y 2)) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (exp y)) (/ y 2)) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (exp y)) (/ y 2)) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (exp y)) (/ y 2)) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (exp y)) (/ y 2)) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (exp y)) (/ y 2)) (pow (sqrt (exp y)) (/ y 2))) (* 2 y) (* (pow (sqrt (exp y)) y) (pow (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) y)) (* (pow (sqrt (exp y)) y) (pow (sqrt (* (cbrt (exp y)) (cbrt (exp y)))) y)) (* (pow (sqrt (exp y)) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (exp y)) y) (pow (sqrt 1) y)) (* (pow (sqrt (exp y)) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (exp y)) y) (pow 1 y)) (* (pow (sqrt (exp y)) y) (* (cbrt (pow (sqrt (exp y)) y)) (cbrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (exp y)) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (exp y)) y) 1) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) (/ y 2))) (* (pow (cbrt (sqrt (exp y))) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (cbrt (exp y))) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (* (cbrt (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y)) (* (sqrt (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y)) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (exp y)) (/ y 2)) (pow (sqrt (exp y)) y)) x (* (pow (exp (* (log (sqrt (exp y))) y)) 2) x) (* (pow (exp (* (log (sqrt (exp y))) y)) 2) x) (+ (* 1/8 (pow y 2)) (+ (* 1/2 y) 1)) (sqrt (exp y)) (sqrt (exp y)) (+ (* 1/8 (pow y 2)) (+ (* 1/2 y) 1)) (sqrt (exp y)) (sqrt (exp y)) (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1)) (pow (exp (* (log (sqrt (exp y))) y)) 2) (pow (exp (* (log (sqrt (exp y))) y)) 2) 10.783 * * [simplify]: iteration 0 : 131 enodes (cost 2054 ) 10.816 * * [simplify]: iteration 1 : 261 enodes (cost 1516 ) 10.892 * * [simplify]: iteration 2 : 869 enodes (cost 1403 ) 12.238 * * [simplify]: iteration 3 : 4763 enodes (cost 1224 ) 15.037 * * [simplify]: iteration done : 5000 enodes (cost 1224 ) 15.038 * [simplify]: Simplified to: (expm1 (* x (pow (exp y) y))) (log1p (* x (pow (exp y) y))) (* x (pow (exp y) y)) (log (* x (pow (exp y) y))) (log (* x (pow (exp y) y))) (log (* x (pow (exp y) y))) (log (* x (pow (exp y) y))) (log (* x (pow (exp y) y))) (log (* x (pow (exp y) y))) (log (* x (pow (exp y) y))) (log (* x (pow (exp y) y))) (log (* x (pow (exp y) y))) (log (* x (pow (exp y) y))) (log (* x (pow (exp y) y))) (exp (* x (pow (exp y) y))) (pow (* x (pow (exp y) y)) 3) (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)) (* (pow (sqrt (exp y)) y) x) (* (cbrt x) (pow (exp y) y)) (* (sqrt x) (pow (exp y) y)) (* x (pow (exp y) y)) (expm1 (sqrt (exp y))) (log1p (sqrt (exp y))) (log (sqrt (exp y))) (exp (sqrt (exp y))) (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) (cbrt (sqrt (exp y))) (pow (sqrt (exp y)) 3) (fabs (cbrt (exp y))) (sqrt (cbrt (exp y))) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) 1 (sqrt (exp y)) 1/2 (/ (cbrt y) 2) (/ (sqrt y) 2) (/ y 2) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) (expm1 (sqrt (exp y))) (log1p (sqrt (exp y))) (log (sqrt (exp y))) (exp (sqrt (exp y))) (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) (cbrt (sqrt (exp y))) (pow (sqrt (exp y)) 3) (fabs (cbrt (exp y))) (sqrt (cbrt (exp y))) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) 1 (sqrt (exp y)) 1/2 (/ (cbrt y) 2) (/ (sqrt y) 2) (/ y 2) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) (expm1 (pow (exp y) y)) (log1p (pow (exp y) y)) (+ y y) (exp y) (log (pow (exp y) y)) (log (pow (exp y) y)) (log (pow (exp y) y)) (log (pow (exp y) y)) (log (pow (exp y) y)) (log (pow (exp y) y)) (log (pow (exp y) y)) (log (pow (exp y) y)) (log (pow (exp y) y)) (log (pow (exp y) y)) (exp (pow (exp y) y)) (pow (pow (exp y) y) 3) (* (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)) (pow (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) (* 2 y)) (pow (cbrt (sqrt (exp y))) (* 2 y)) (pow (fabs (cbrt (exp y))) (+ y y)) (pow (sqrt (cbrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) 1 (pow (exp y) y) (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) 1 (pow (exp y) y) (pow (cbrt (pow (sqrt (exp y)) y)) 4) (* (cbrt (pow (sqrt (exp y)) y)) (cbrt (pow (sqrt (exp y)) y))) (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y) 1 (pow (exp y) y) (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y) (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) (/ y 2))) (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y) (* (pow (sqrt (exp y)) (/ y 2)) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (exp y)) (/ y 2)) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (exp y)) (/ y 2)) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (exp y)) (/ y 2)) (sqrt (pow (sqrt (exp y)) y))) (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y) (+ y y) (* (pow (sqrt (exp y)) y) (pow (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) y)) (* (pow (fabs (cbrt (exp y))) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (exp y)) y) (pow (sqrt (sqrt (exp y))) y)) (pow (sqrt (exp y)) y) (* (pow (sqrt (exp y)) y) (pow (sqrt (sqrt (exp y))) y)) (pow (sqrt (exp y)) y) (* (pow (cbrt (pow (sqrt (exp y)) y)) 4) (cbrt (pow (sqrt (exp y)) y))) (pow (sqrt (pow (sqrt (exp y)) y)) 3) (pow (sqrt (exp y)) y) (pow (pow (sqrt (exp y)) (/ y 2)) 3) (* (pow (cbrt (sqrt (exp y))) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (cbrt (exp y))) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (exp y)) y) (pow (sqrt (sqrt (exp y))) y)) (pow (exp y) y) (* (pow (sqrt (exp y)) y) (pow (sqrt (sqrt (exp y))) y)) (pow (exp y) y) (pow (cbrt (pow (sqrt (exp y)) y)) 4) (pow (sqrt (pow (sqrt (exp y)) y)) 3) (pow (exp y) y) (pow (pow (sqrt (exp y)) (/ y 2)) 3) x (* x (pow (exp y) y)) (* x (pow (exp y) y)) (fma 1/8 (pow y 2) (fma 1/2 y 1)) (sqrt (exp y)) (sqrt (exp y)) (fma 1/8 (pow y 2) (fma 1/2 y 1)) (sqrt (exp y)) (sqrt (exp y)) (fma y y (fma 1/2 (pow y 4) 1)) (pow (exp y) y) (pow (exp y) y) 15.039 * * * [progress]: adding candidates to table 15.362 * * [progress]: iteration 4 / 4 15.362 * * * [progress]: picking best candidate 15.370 * * * * [pick]: Picked # 15.370 * * * [progress]: localizing error 15.384 * * * [progress]: generating rewritten candidates 15.384 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1) 15.387 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1) 15.389 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 15.521 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 15.550 * * * [progress]: generating series expansions 15.550 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1) 15.551 * [approximate]: Taking taylor expansion of (pow (exp y) 1/4) in (y) around 0 15.551 * [taylor]: Taking taylor expansion of (pow (exp y) 1/4) in y 15.551 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp y)))) in y 15.551 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp y))) in y 15.551 * [taylor]: Taking taylor expansion of 1/4 in y 15.551 * [taylor]: Taking taylor expansion of (log (exp y)) in y 15.551 * [taylor]: Taking taylor expansion of (exp y) in y 15.551 * [taylor]: Taking taylor expansion of y in y 15.554 * [taylor]: Taking taylor expansion of (pow (exp y) 1/4) in y 15.554 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp y)))) in y 15.554 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp y))) in y 15.554 * [taylor]: Taking taylor expansion of 1/4 in y 15.554 * [taylor]: Taking taylor expansion of (log (exp y)) in y 15.554 * [taylor]: Taking taylor expansion of (exp y) in y 15.554 * [taylor]: Taking taylor expansion of y in y 15.562 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/4) in (y) around 0 15.562 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/4) in y 15.562 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 y))))) in y 15.562 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 y)))) in y 15.562 * [taylor]: Taking taylor expansion of 1/4 in y 15.562 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 15.562 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 15.562 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.562 * [taylor]: Taking taylor expansion of y in y 15.563 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/4) in y 15.563 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 y))))) in y 15.563 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 y)))) in y 15.563 * [taylor]: Taking taylor expansion of 1/4 in y 15.563 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 15.563 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 15.563 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.563 * [taylor]: Taking taylor expansion of y in y 15.606 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/4) in (y) around 0 15.606 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/4) in y 15.606 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ -1 y))))) in y 15.606 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ -1 y)))) in y 15.606 * [taylor]: Taking taylor expansion of 1/4 in y 15.606 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 15.606 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 15.606 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.606 * [taylor]: Taking taylor expansion of -1 in y 15.606 * [taylor]: Taking taylor expansion of y in y 15.607 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/4) in y 15.607 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ -1 y))))) in y 15.607 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ -1 y)))) in y 15.607 * [taylor]: Taking taylor expansion of 1/4 in y 15.607 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 15.607 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 15.607 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.607 * [taylor]: Taking taylor expansion of -1 in y 15.607 * [taylor]: Taking taylor expansion of y in y 15.644 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1) 15.644 * [approximate]: Taking taylor expansion of (pow (exp y) 1/4) in (y) around 0 15.644 * [taylor]: Taking taylor expansion of (pow (exp y) 1/4) in y 15.644 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp y)))) in y 15.644 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp y))) in y 15.644 * [taylor]: Taking taylor expansion of 1/4 in y 15.644 * [taylor]: Taking taylor expansion of (log (exp y)) in y 15.644 * [taylor]: Taking taylor expansion of (exp y) in y 15.644 * [taylor]: Taking taylor expansion of y in y 15.647 * [taylor]: Taking taylor expansion of (pow (exp y) 1/4) in y 15.647 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp y)))) in y 15.647 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp y))) in y 15.647 * [taylor]: Taking taylor expansion of 1/4 in y 15.647 * [taylor]: Taking taylor expansion of (log (exp y)) in y 15.647 * [taylor]: Taking taylor expansion of (exp y) in y 15.647 * [taylor]: Taking taylor expansion of y in y 15.655 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/4) in (y) around 0 15.655 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/4) in y 15.655 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 y))))) in y 15.655 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 y)))) in y 15.655 * [taylor]: Taking taylor expansion of 1/4 in y 15.655 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 15.655 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 15.655 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.655 * [taylor]: Taking taylor expansion of y in y 15.655 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/4) in y 15.655 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 y))))) in y 15.655 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 y)))) in y 15.655 * [taylor]: Taking taylor expansion of 1/4 in y 15.655 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 15.655 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 15.656 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.656 * [taylor]: Taking taylor expansion of y in y 15.701 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/4) in (y) around 0 15.701 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/4) in y 15.701 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ -1 y))))) in y 15.701 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ -1 y)))) in y 15.701 * [taylor]: Taking taylor expansion of 1/4 in y 15.701 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 15.701 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 15.701 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.701 * [taylor]: Taking taylor expansion of -1 in y 15.701 * [taylor]: Taking taylor expansion of y in y 15.702 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/4) in y 15.702 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ -1 y))))) in y 15.702 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ -1 y)))) in y 15.702 * [taylor]: Taking taylor expansion of 1/4 in y 15.702 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 15.702 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 15.702 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.702 * [taylor]: Taking taylor expansion of -1 in y 15.702 * [taylor]: Taking taylor expansion of y in y 15.739 * * * * [progress]: [ 3 / 4 ] generating series at (2) 15.740 * [approximate]: Taking taylor expansion of (* (pow (sqrt (exp y)) y) (* x (pow (pow (pow (exp y) 1/4) y) 2))) in (x y) around 0 15.740 * [taylor]: Taking taylor expansion of (* (pow (sqrt (exp y)) y) (* x (pow (pow (pow (exp y) 1/4) y) 2))) in y 15.740 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in y 15.740 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in y 15.740 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in y 15.740 * [taylor]: Taking taylor expansion of y in y 15.740 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 15.740 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 15.740 * [taylor]: Taking taylor expansion of (exp y) in y 15.740 * [taylor]: Taking taylor expansion of y in y 15.748 * [taylor]: Taking taylor expansion of (* x (pow (pow (pow (exp y) 1/4) y) 2)) in y 15.748 * [taylor]: Taking taylor expansion of x in y 15.748 * [taylor]: Taking taylor expansion of (pow (pow (pow (exp y) 1/4) y) 2) in y 15.748 * [taylor]: Taking taylor expansion of (pow (pow (exp y) 1/4) y) in y 15.748 * [taylor]: Taking taylor expansion of (exp (* y (log (pow (exp y) 1/4)))) in y 15.748 * [taylor]: Taking taylor expansion of (* y (log (pow (exp y) 1/4))) in y 15.748 * [taylor]: Taking taylor expansion of y in y 15.749 * [taylor]: Taking taylor expansion of (log (pow (exp y) 1/4)) in y 15.749 * [taylor]: Taking taylor expansion of (pow (exp y) 1/4) in y 15.749 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp y)))) in y 15.749 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp y))) in y 15.749 * [taylor]: Taking taylor expansion of 1/4 in y 15.749 * [taylor]: Taking taylor expansion of (log (exp y)) in y 15.749 * [taylor]: Taking taylor expansion of (exp y) in y 15.749 * [taylor]: Taking taylor expansion of y in y 15.760 * [taylor]: Taking taylor expansion of (* (pow (sqrt (exp y)) y) (* x (pow (pow (pow (exp y) 1/4) y) 2))) in x 15.760 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in x 15.760 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in x 15.760 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in x 15.760 * [taylor]: Taking taylor expansion of y in x 15.761 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in x 15.761 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in x 15.761 * [taylor]: Taking taylor expansion of (exp y) in x 15.761 * [taylor]: Taking taylor expansion of y in x 15.762 * [taylor]: Taking taylor expansion of (* x (pow (pow (pow (exp y) 1/4) y) 2)) in x 15.762 * [taylor]: Taking taylor expansion of x in x 15.762 * [taylor]: Taking taylor expansion of (pow (pow (pow (exp y) 1/4) y) 2) in x 15.762 * [taylor]: Taking taylor expansion of (pow (pow (exp y) 1/4) y) in x 15.762 * [taylor]: Taking taylor expansion of (exp (* y (log (pow (exp y) 1/4)))) in x 15.762 * [taylor]: Taking taylor expansion of (* y (log (pow (exp y) 1/4))) in x 15.762 * [taylor]: Taking taylor expansion of y in x 15.762 * [taylor]: Taking taylor expansion of (log (pow (exp y) 1/4)) in x 15.762 * [taylor]: Taking taylor expansion of (pow (exp y) 1/4) in x 15.762 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp y)))) in x 15.762 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp y))) in x 15.762 * [taylor]: Taking taylor expansion of 1/4 in x 15.762 * [taylor]: Taking taylor expansion of (log (exp y)) in x 15.762 * [taylor]: Taking taylor expansion of (exp y) in x 15.762 * [taylor]: Taking taylor expansion of y in x 15.762 * [taylor]: Taking taylor expansion of (* (pow (sqrt (exp y)) y) (* x (pow (pow (pow (exp y) 1/4) y) 2))) in x 15.762 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in x 15.762 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in x 15.762 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in x 15.762 * [taylor]: Taking taylor expansion of y in x 15.762 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in x 15.762 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in x 15.762 * [taylor]: Taking taylor expansion of (exp y) in x 15.762 * [taylor]: Taking taylor expansion of y in x 15.763 * [taylor]: Taking taylor expansion of (* x (pow (pow (pow (exp y) 1/4) y) 2)) in x 15.763 * [taylor]: Taking taylor expansion of x in x 15.763 * [taylor]: Taking taylor expansion of (pow (pow (pow (exp y) 1/4) y) 2) in x 15.763 * [taylor]: Taking taylor expansion of (pow (pow (exp y) 1/4) y) in x 15.763 * [taylor]: Taking taylor expansion of (exp (* y (log (pow (exp y) 1/4)))) in x 15.763 * [taylor]: Taking taylor expansion of (* y (log (pow (exp y) 1/4))) in x 15.763 * [taylor]: Taking taylor expansion of y in x 15.764 * [taylor]: Taking taylor expansion of (log (pow (exp y) 1/4)) in x 15.764 * [taylor]: Taking taylor expansion of (pow (exp y) 1/4) in x 15.764 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp y)))) in x 15.764 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp y))) in x 15.764 * [taylor]: Taking taylor expansion of 1/4 in x 15.764 * [taylor]: Taking taylor expansion of (log (exp y)) in x 15.764 * [taylor]: Taking taylor expansion of (exp y) in x 15.764 * [taylor]: Taking taylor expansion of y in x 15.764 * [taylor]: Taking taylor expansion of 0 in y 15.771 * [taylor]: Taking taylor expansion of (* (exp (* (log (sqrt (exp y))) y)) (pow (exp (* 1/4 (pow y 2))) 2)) in y 15.771 * [taylor]: Taking taylor expansion of (exp (* (log (sqrt (exp y))) y)) in y 15.771 * [taylor]: Taking taylor expansion of (* (log (sqrt (exp y))) y) in y 15.771 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 15.771 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 15.771 * [taylor]: Taking taylor expansion of (exp y) in y 15.771 * [taylor]: Taking taylor expansion of y in y 15.772 * [taylor]: Taking taylor expansion of y in y 15.785 * [taylor]: Taking taylor expansion of (pow (exp (* 1/4 (pow y 2))) 2) in y 15.785 * [taylor]: Taking taylor expansion of (exp (* 1/4 (pow y 2))) in y 15.785 * [taylor]: Taking taylor expansion of (* 1/4 (pow y 2)) in y 15.785 * [taylor]: Taking taylor expansion of 1/4 in y 15.785 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.785 * [taylor]: Taking taylor expansion of y in y 15.798 * [taylor]: Taking taylor expansion of 0 in y 15.817 * [taylor]: Taking taylor expansion of 0 in y 15.818 * [approximate]: Taking taylor expansion of (/ (* (pow (sqrt (exp (/ 1 y))) (/ 1 y)) (pow (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) 2)) x) in (x y) around 0 15.818 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt (exp (/ 1 y))) (/ 1 y)) (pow (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) 2)) x) in y 15.818 * [taylor]: Taking taylor expansion of (* (pow (sqrt (exp (/ 1 y))) (/ 1 y)) (pow (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) 2)) in y 15.818 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in y 15.818 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in y 15.818 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in y 15.818 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.818 * [taylor]: Taking taylor expansion of y in y 15.819 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 15.819 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 15.819 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 15.819 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.819 * [taylor]: Taking taylor expansion of y in y 15.820 * [taylor]: Taking taylor expansion of (pow (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) 2) in y 15.820 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) in y 15.820 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (pow (exp (/ 1 y)) 1/4)))) in y 15.820 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (pow (exp (/ 1 y)) 1/4))) in y 15.820 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.820 * [taylor]: Taking taylor expansion of y in y 15.820 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 y)) 1/4)) in y 15.820 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/4) in y 15.820 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 y))))) in y 15.820 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 y)))) in y 15.820 * [taylor]: Taking taylor expansion of 1/4 in y 15.820 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 15.820 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 15.820 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.820 * [taylor]: Taking taylor expansion of y in y 15.821 * [taylor]: Taking taylor expansion of x in y 15.822 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt (exp (/ 1 y))) (/ 1 y)) (pow (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) 2)) x) in x 15.822 * [taylor]: Taking taylor expansion of (* (pow (sqrt (exp (/ 1 y))) (/ 1 y)) (pow (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) 2)) in x 15.822 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in x 15.822 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in x 15.822 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in x 15.822 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.822 * [taylor]: Taking taylor expansion of y in x 15.822 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in x 15.822 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in x 15.822 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 15.822 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.822 * [taylor]: Taking taylor expansion of y in x 15.823 * [taylor]: Taking taylor expansion of (pow (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) 2) in x 15.823 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) in x 15.823 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (pow (exp (/ 1 y)) 1/4)))) in x 15.823 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (pow (exp (/ 1 y)) 1/4))) in x 15.823 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.823 * [taylor]: Taking taylor expansion of y in x 15.823 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 y)) 1/4)) in x 15.823 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/4) in x 15.823 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 y))))) in x 15.823 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 y)))) in x 15.823 * [taylor]: Taking taylor expansion of 1/4 in x 15.823 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 15.823 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 15.823 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.823 * [taylor]: Taking taylor expansion of y in x 15.824 * [taylor]: Taking taylor expansion of x in x 15.825 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt (exp (/ 1 y))) (/ 1 y)) (pow (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) 2)) x) in x 15.825 * [taylor]: Taking taylor expansion of (* (pow (sqrt (exp (/ 1 y))) (/ 1 y)) (pow (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) 2)) in x 15.825 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in x 15.825 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in x 15.825 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in x 15.825 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.825 * [taylor]: Taking taylor expansion of y in x 15.825 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in x 15.825 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in x 15.825 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 15.825 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.825 * [taylor]: Taking taylor expansion of y in x 15.826 * [taylor]: Taking taylor expansion of (pow (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) 2) in x 15.826 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) in x 15.826 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (pow (exp (/ 1 y)) 1/4)))) in x 15.826 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (pow (exp (/ 1 y)) 1/4))) in x 15.826 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.826 * [taylor]: Taking taylor expansion of y in x 15.826 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 y)) 1/4)) in x 15.826 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/4) in x 15.826 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 y))))) in x 15.826 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 y)))) in x 15.826 * [taylor]: Taking taylor expansion of 1/4 in x 15.826 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 15.826 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 15.826 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.826 * [taylor]: Taking taylor expansion of y in x 15.827 * [taylor]: Taking taylor expansion of x in x 15.828 * [taylor]: Taking taylor expansion of (* (pow (exp (/ 1/4 (pow y 2))) 2) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) in y 15.828 * [taylor]: Taking taylor expansion of (pow (exp (/ 1/4 (pow y 2))) 2) in y 15.828 * [taylor]: Taking taylor expansion of (exp (/ 1/4 (pow y 2))) in y 15.828 * [taylor]: Taking taylor expansion of (/ 1/4 (pow y 2)) in y 15.828 * [taylor]: Taking taylor expansion of 1/4 in y 15.828 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.828 * [taylor]: Taking taylor expansion of y in y 15.829 * [taylor]: Taking taylor expansion of (exp (/ (log (sqrt (exp (/ 1 y)))) y)) in y 15.829 * [taylor]: Taking taylor expansion of (/ (log (sqrt (exp (/ 1 y)))) y) in y 15.829 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 15.829 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 15.829 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 15.829 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.829 * [taylor]: Taking taylor expansion of y in y 15.829 * [taylor]: Taking taylor expansion of y in y 15.836 * [taylor]: Taking taylor expansion of 0 in y 15.850 * [taylor]: Taking taylor expansion of 0 in y 15.869 * [taylor]: Taking taylor expansion of 0 in y 15.870 * [approximate]: Taking taylor expansion of (* -1 (/ (* (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) x)) in (x y) around 0 15.870 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) x)) in y 15.870 * [taylor]: Taking taylor expansion of -1 in y 15.870 * [taylor]: Taking taylor expansion of (/ (* (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) x) in y 15.870 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) in y 15.870 * [taylor]: Taking taylor expansion of (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) in y 15.870 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) in y 15.870 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (pow (exp (/ -1 y)) 1/4)))) in y 15.870 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (pow (exp (/ -1 y)) 1/4))) in y 15.870 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.870 * [taylor]: Taking taylor expansion of -1 in y 15.870 * [taylor]: Taking taylor expansion of y in y 15.871 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 y)) 1/4)) in y 15.871 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/4) in y 15.871 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ -1 y))))) in y 15.871 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ -1 y)))) in y 15.871 * [taylor]: Taking taylor expansion of 1/4 in y 15.871 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 15.871 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 15.871 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.871 * [taylor]: Taking taylor expansion of -1 in y 15.871 * [taylor]: Taking taylor expansion of y in y 15.872 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in y 15.872 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in y 15.872 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in y 15.872 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.872 * [taylor]: Taking taylor expansion of -1 in y 15.872 * [taylor]: Taking taylor expansion of y in y 15.872 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 15.872 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 15.872 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 15.872 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.872 * [taylor]: Taking taylor expansion of -1 in y 15.873 * [taylor]: Taking taylor expansion of y in y 15.873 * [taylor]: Taking taylor expansion of x in y 15.874 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) x)) in x 15.874 * [taylor]: Taking taylor expansion of -1 in x 15.874 * [taylor]: Taking taylor expansion of (/ (* (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) x) in x 15.874 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) in x 15.874 * [taylor]: Taking taylor expansion of (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) in x 15.874 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) in x 15.874 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (pow (exp (/ -1 y)) 1/4)))) in x 15.874 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (pow (exp (/ -1 y)) 1/4))) in x 15.874 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.874 * [taylor]: Taking taylor expansion of -1 in x 15.874 * [taylor]: Taking taylor expansion of y in x 15.874 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 y)) 1/4)) in x 15.874 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/4) in x 15.875 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ -1 y))))) in x 15.875 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ -1 y)))) in x 15.875 * [taylor]: Taking taylor expansion of 1/4 in x 15.875 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 15.875 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 15.875 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.875 * [taylor]: Taking taylor expansion of -1 in x 15.875 * [taylor]: Taking taylor expansion of y in x 15.875 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in x 15.875 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in x 15.875 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in x 15.875 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.875 * [taylor]: Taking taylor expansion of -1 in x 15.875 * [taylor]: Taking taylor expansion of y in x 15.875 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in x 15.875 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in x 15.875 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 15.875 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.875 * [taylor]: Taking taylor expansion of -1 in x 15.875 * [taylor]: Taking taylor expansion of y in x 15.876 * [taylor]: Taking taylor expansion of x in x 15.877 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) x)) in x 15.877 * [taylor]: Taking taylor expansion of -1 in x 15.877 * [taylor]: Taking taylor expansion of (/ (* (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) x) in x 15.877 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) in x 15.877 * [taylor]: Taking taylor expansion of (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) in x 15.877 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) in x 15.877 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (pow (exp (/ -1 y)) 1/4)))) in x 15.877 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (pow (exp (/ -1 y)) 1/4))) in x 15.877 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.877 * [taylor]: Taking taylor expansion of -1 in x 15.877 * [taylor]: Taking taylor expansion of y in x 15.878 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 y)) 1/4)) in x 15.878 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/4) in x 15.878 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ -1 y))))) in x 15.878 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ -1 y)))) in x 15.878 * [taylor]: Taking taylor expansion of 1/4 in x 15.878 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 15.878 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 15.878 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.878 * [taylor]: Taking taylor expansion of -1 in x 15.878 * [taylor]: Taking taylor expansion of y in x 15.878 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in x 15.878 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in x 15.878 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in x 15.878 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.878 * [taylor]: Taking taylor expansion of -1 in x 15.878 * [taylor]: Taking taylor expansion of y in x 15.878 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in x 15.878 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in x 15.878 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 15.878 * [taylor]: Taking taylor expansion of (/ -1 y) in x 15.878 * [taylor]: Taking taylor expansion of -1 in x 15.878 * [taylor]: Taking taylor expansion of y in x 15.880 * [taylor]: Taking taylor expansion of x in x 15.881 * [taylor]: Taking taylor expansion of (* -1 (* (pow (exp (/ 1/4 (pow y 2))) 2) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))))) in y 15.881 * [taylor]: Taking taylor expansion of -1 in y 15.881 * [taylor]: Taking taylor expansion of (* (pow (exp (/ 1/4 (pow y 2))) 2) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) in y 15.881 * [taylor]: Taking taylor expansion of (pow (exp (/ 1/4 (pow y 2))) 2) in y 15.881 * [taylor]: Taking taylor expansion of (exp (/ 1/4 (pow y 2))) in y 15.881 * [taylor]: Taking taylor expansion of (/ 1/4 (pow y 2)) in y 15.881 * [taylor]: Taking taylor expansion of 1/4 in y 15.881 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.881 * [taylor]: Taking taylor expansion of y in y 15.882 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) in y 15.882 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)) in y 15.882 * [taylor]: Taking taylor expansion of -1 in y 15.882 * [taylor]: Taking taylor expansion of (/ (log (sqrt (exp (/ -1 y)))) y) in y 15.882 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 15.882 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 15.882 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 15.882 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.882 * [taylor]: Taking taylor expansion of -1 in y 15.882 * [taylor]: Taking taylor expansion of y in y 15.883 * [taylor]: Taking taylor expansion of y in y 15.898 * [taylor]: Taking taylor expansion of 0 in y 15.913 * [taylor]: Taking taylor expansion of 0 in y 15.934 * [taylor]: Taking taylor expansion of 0 in y 15.935 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 15.935 * [approximate]: Taking taylor expansion of (* (sqrt (pow (sqrt (exp y)) y)) (pow (pow (exp y) 1/4) y)) in (y) around 0 15.935 * [taylor]: Taking taylor expansion of (* (sqrt (pow (sqrt (exp y)) y)) (pow (pow (exp y) 1/4) y)) in y 15.935 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt (exp y)) y)) in y 15.935 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in y 15.935 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in y 15.935 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in y 15.935 * [taylor]: Taking taylor expansion of y in y 15.935 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 15.935 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 15.935 * [taylor]: Taking taylor expansion of (exp y) in y 15.935 * [taylor]: Taking taylor expansion of y in y 15.943 * [taylor]: Taking taylor expansion of (pow (pow (exp y) 1/4) y) in y 15.944 * [taylor]: Taking taylor expansion of (exp (* y (log (pow (exp y) 1/4)))) in y 15.944 * [taylor]: Taking taylor expansion of (* y (log (pow (exp y) 1/4))) in y 15.944 * [taylor]: Taking taylor expansion of y in y 15.944 * [taylor]: Taking taylor expansion of (log (pow (exp y) 1/4)) in y 15.944 * [taylor]: Taking taylor expansion of (pow (exp y) 1/4) in y 15.944 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp y)))) in y 15.944 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp y))) in y 15.944 * [taylor]: Taking taylor expansion of 1/4 in y 15.944 * [taylor]: Taking taylor expansion of (log (exp y)) in y 15.944 * [taylor]: Taking taylor expansion of (exp y) in y 15.944 * [taylor]: Taking taylor expansion of y in y 15.955 * [taylor]: Taking taylor expansion of (* (sqrt (pow (sqrt (exp y)) y)) (pow (pow (exp y) 1/4) y)) in y 15.955 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt (exp y)) y)) in y 15.955 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in y 15.955 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in y 15.955 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in y 15.955 * [taylor]: Taking taylor expansion of y in y 15.955 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 15.955 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 15.955 * [taylor]: Taking taylor expansion of (exp y) in y 15.955 * [taylor]: Taking taylor expansion of y in y 15.964 * [taylor]: Taking taylor expansion of (pow (pow (exp y) 1/4) y) in y 15.964 * [taylor]: Taking taylor expansion of (exp (* y (log (pow (exp y) 1/4)))) in y 15.964 * [taylor]: Taking taylor expansion of (* y (log (pow (exp y) 1/4))) in y 15.964 * [taylor]: Taking taylor expansion of y in y 15.964 * [taylor]: Taking taylor expansion of (log (pow (exp y) 1/4)) in y 15.964 * [taylor]: Taking taylor expansion of (pow (exp y) 1/4) in y 15.964 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp y)))) in y 15.964 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp y))) in y 15.964 * [taylor]: Taking taylor expansion of 1/4 in y 15.964 * [taylor]: Taking taylor expansion of (log (exp y)) in y 15.964 * [taylor]: Taking taylor expansion of (exp y) in y 15.964 * [taylor]: Taking taylor expansion of y in y 16.042 * [approximate]: Taking taylor expansion of (* (sqrt (pow (sqrt (exp (/ 1 y))) (/ 1 y))) (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y))) in (y) around 0 16.042 * [taylor]: Taking taylor expansion of (* (sqrt (pow (sqrt (exp (/ 1 y))) (/ 1 y))) (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y))) in y 16.042 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt (exp (/ 1 y))) (/ 1 y))) in y 16.042 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in y 16.042 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in y 16.042 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in y 16.042 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.042 * [taylor]: Taking taylor expansion of y in y 16.043 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 16.043 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 16.043 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 16.043 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.043 * [taylor]: Taking taylor expansion of y in y 16.044 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) in y 16.044 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (pow (exp (/ 1 y)) 1/4)))) in y 16.044 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (pow (exp (/ 1 y)) 1/4))) in y 16.044 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.044 * [taylor]: Taking taylor expansion of y in y 16.044 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 y)) 1/4)) in y 16.044 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/4) in y 16.044 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 y))))) in y 16.044 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 y)))) in y 16.044 * [taylor]: Taking taylor expansion of 1/4 in y 16.044 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 16.044 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 16.044 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.044 * [taylor]: Taking taylor expansion of y in y 16.045 * [taylor]: Taking taylor expansion of (* (sqrt (pow (sqrt (exp (/ 1 y))) (/ 1 y))) (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y))) in y 16.045 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt (exp (/ 1 y))) (/ 1 y))) in y 16.045 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in y 16.045 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in y 16.045 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in y 16.045 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.045 * [taylor]: Taking taylor expansion of y in y 16.046 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 16.046 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 16.046 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 16.046 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.046 * [taylor]: Taking taylor expansion of y in y 16.047 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) in y 16.047 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (pow (exp (/ 1 y)) 1/4)))) in y 16.047 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (pow (exp (/ 1 y)) 1/4))) in y 16.047 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.047 * [taylor]: Taking taylor expansion of y in y 16.047 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 y)) 1/4)) in y 16.047 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/4) in y 16.047 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 y))))) in y 16.047 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 y)))) in y 16.047 * [taylor]: Taking taylor expansion of 1/4 in y 16.047 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 16.047 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 16.047 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.047 * [taylor]: Taking taylor expansion of y in y 16.058 * [approximate]: Taking taylor expansion of (* (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) (sqrt (pow (sqrt (exp (/ -1 y))) (/ -1 y)))) in (y) around 0 16.058 * [taylor]: Taking taylor expansion of (* (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) (sqrt (pow (sqrt (exp (/ -1 y))) (/ -1 y)))) in y 16.058 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) in y 16.058 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (pow (exp (/ -1 y)) 1/4)))) in y 16.058 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (pow (exp (/ -1 y)) 1/4))) in y 16.058 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.058 * [taylor]: Taking taylor expansion of -1 in y 16.058 * [taylor]: Taking taylor expansion of y in y 16.059 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 y)) 1/4)) in y 16.059 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/4) in y 16.059 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ -1 y))))) in y 16.059 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ -1 y)))) in y 16.059 * [taylor]: Taking taylor expansion of 1/4 in y 16.059 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 16.059 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 16.059 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.059 * [taylor]: Taking taylor expansion of -1 in y 16.059 * [taylor]: Taking taylor expansion of y in y 16.060 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt (exp (/ -1 y))) (/ -1 y))) in y 16.060 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in y 16.060 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in y 16.060 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in y 16.060 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.060 * [taylor]: Taking taylor expansion of -1 in y 16.060 * [taylor]: Taking taylor expansion of y in y 16.060 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 16.060 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 16.060 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 16.060 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.060 * [taylor]: Taking taylor expansion of -1 in y 16.060 * [taylor]: Taking taylor expansion of y in y 16.061 * [taylor]: Taking taylor expansion of (* (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) (sqrt (pow (sqrt (exp (/ -1 y))) (/ -1 y)))) in y 16.061 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) in y 16.061 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (pow (exp (/ -1 y)) 1/4)))) in y 16.061 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (pow (exp (/ -1 y)) 1/4))) in y 16.061 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.061 * [taylor]: Taking taylor expansion of -1 in y 16.061 * [taylor]: Taking taylor expansion of y in y 16.062 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 y)) 1/4)) in y 16.062 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/4) in y 16.062 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ -1 y))))) in y 16.062 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ -1 y)))) in y 16.062 * [taylor]: Taking taylor expansion of 1/4 in y 16.062 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 16.062 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 16.062 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.062 * [taylor]: Taking taylor expansion of -1 in y 16.062 * [taylor]: Taking taylor expansion of y in y 16.063 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt (exp (/ -1 y))) (/ -1 y))) in y 16.063 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in y 16.063 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in y 16.063 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in y 16.063 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.063 * [taylor]: Taking taylor expansion of -1 in y 16.063 * [taylor]: Taking taylor expansion of y in y 16.063 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 16.063 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 16.063 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 16.063 * [taylor]: Taking taylor expansion of (/ -1 y) in y 16.063 * [taylor]: Taking taylor expansion of -1 in y 16.063 * [taylor]: Taking taylor expansion of y in y 16.075 * * * [progress]: simplifying candidates 16.085 * [simplify]: Simplifying using # : (expm1 (sqrt (sqrt (exp y)))) (log1p (sqrt (sqrt (exp y)))) (log (sqrt (sqrt (exp y)))) (exp (sqrt (sqrt (exp y)))) (* (cbrt (sqrt (sqrt (exp y)))) (cbrt (sqrt (sqrt (exp y))))) (cbrt (sqrt (sqrt (exp y)))) (* (* (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y)))) (sqrt (sqrt (exp y)))) (sqrt (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))))) (sqrt (cbrt (sqrt (exp y)))) (sqrt (sqrt (* (cbrt (exp y)) (cbrt (exp y))))) (sqrt (sqrt (cbrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt 1)) (sqrt (sqrt (exp y))) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) (sqrt 1) (sqrt (sqrt (exp y))) (/ 1/2 2) (/ 1 2) (/ (/ 1 2) 2) (/ (/ (cbrt y) 2) 2) (/ (/ (sqrt y) 2) 2) (/ (/ y 2) 2) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) (expm1 (sqrt (sqrt (exp y)))) (log1p (sqrt (sqrt (exp y)))) (log (sqrt (sqrt (exp y)))) (exp (sqrt (sqrt (exp y)))) (* (cbrt (sqrt (sqrt (exp y)))) (cbrt (sqrt (sqrt (exp y))))) (cbrt (sqrt (sqrt (exp y)))) (* (* (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y)))) (sqrt (sqrt (exp y)))) (sqrt (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))))) (sqrt (cbrt (sqrt (exp y)))) (sqrt (sqrt (* (cbrt (exp y)) (cbrt (exp y))))) (sqrt (sqrt (cbrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt 1)) (sqrt (sqrt (exp y))) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) (sqrt 1) (sqrt (sqrt (exp y))) (/ 1/2 2) (/ 1 2) (/ (/ 1 2) 2) (/ (/ (cbrt y) 2) 2) (/ (/ (sqrt y) 2) 2) (/ (/ y 2) 2) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) (expm1 (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (log1p (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))))) (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))))) (+ (log x) (+ (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))) (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))) (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))) (+ (log (pow (sqrt (sqrt (exp y))) y)) (log (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))) (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))) (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))) (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))) (+ (log (pow (sqrt (sqrt (exp y))) y)) (log (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))) (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (+ (log (pow (sqrt (sqrt (exp y))) y)) (log (sqrt (pow (sqrt (exp y)) y)))) (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (+ (log (pow (sqrt (sqrt (exp y))) y)) (log (sqrt (pow (sqrt (exp y)) y)))) (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (+ (log (pow (sqrt (sqrt (exp y))) y)) (log (sqrt (pow (sqrt (exp y)) y)))) (+ (log (pow (sqrt (sqrt (exp y))) y)) (log (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (+ (log (pow (sqrt (sqrt (exp y))) y)) (log (sqrt (pow (sqrt (exp y)) y)))) (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (+ (log (pow (sqrt (sqrt (exp y))) y)) (log (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (log (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (log (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (exp (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (* (* (* x x) x) (* (* (* (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (pow (sqrt (sqrt (exp y))) y)) (* (* (sqrt (pow (sqrt (exp y)) y)) (sqrt (pow (sqrt (exp y)) y))) (sqrt (pow (sqrt (exp y)) y)))) (* (* (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (pow (sqrt (sqrt (exp y))) y)) (* (* (sqrt (pow (sqrt (exp y)) y)) (sqrt (pow (sqrt (exp y)) y))) (sqrt (pow (sqrt (exp y)) y)))))) (* (* (* x x) x) (* (* (* (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (pow (sqrt (sqrt (exp y))) y)) (* (* (sqrt (pow (sqrt (exp y)) y)) (sqrt (pow (sqrt (exp y)) y))) (sqrt (pow (sqrt (exp y)) y)))) (* (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (* (* (* x x) x) (* (* (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (* (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (pow (sqrt (sqrt (exp y))) y)) (* (* (sqrt (pow (sqrt (exp y)) y)) (sqrt (pow (sqrt (exp y)) y))) (sqrt (pow (sqrt (exp y)) y)))))) (* (* (* x x) x) (* (* (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (* (* (* x x) x) (* (* (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))))) (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (* (cbrt (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (cbrt (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))))))) (cbrt (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (* (* (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))))) (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (sqrt (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (sqrt (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (* (sqrt x) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (sqrt x) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* x (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (cbrt x) (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))))) (* (sqrt x) (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))))) (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))))) (expm1 (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (log1p (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))) (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))) (+ (log (pow (sqrt (sqrt (exp y))) y)) (log (sqrt (pow (sqrt (exp y)) y)))) (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (exp (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (* (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (pow (sqrt (sqrt (exp y))) y)) (* (* (sqrt (pow (sqrt (exp y)) y)) (sqrt (pow (sqrt (exp y)) y))) (sqrt (pow (sqrt (exp y)) y)))) (* (cbrt (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (cbrt (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))))) (cbrt (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (sqrt (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (sqrt (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) y) (* (cbrt (sqrt (pow (sqrt (exp y)) y))) (cbrt (sqrt (pow (sqrt (exp y)) y))))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (* (cbrt (exp y)) (cbrt (exp y)))) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt 1) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow 1 y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (* (cbrt (pow (sqrt (exp y)) y)) (cbrt (pow (sqrt (exp y)) y))))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt 1)) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) y) 1) (* (pow (cbrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (cbrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (cbrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (cbrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (exp y)) y))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (exp y)) y))) (+ (* 1/32 (pow y 2)) (+ (* 1/4 y) 1)) (exp (* 1/4 y)) (exp (* 1/4 y)) (+ (* 1/32 (pow y 2)) (+ (* 1/4 y) 1)) (exp (* 1/4 y)) (exp (* 1/4 y)) x (* (exp (* (log (sqrt (exp y))) y)) (* (pow (exp (* 1/4 (pow y 2))) 2) x)) (* (exp (* (log (sqrt (exp y))) y)) (* (pow (exp (* 1/4 (pow y 2))) 2) x)) (+ (* 1/2 (pow y 2)) (+ (* 1/8 (pow y 4)) 1)) (* (exp (* (log (pow (exp y) 1/4)) y)) (sqrt (exp (* (log (sqrt (exp y))) y)))) (* (sqrt (exp (* (log (sqrt (exp y))) y))) (exp (* (log (pow (exp y) 1/4)) y))) 16.094 * * [simplify]: iteration 0 : 193 enodes (cost 3442 ) 16.137 * * [simplify]: iteration 1 : 431 enodes (cost 2577 ) 16.271 * * [simplify]: iteration 2 : 1346 enodes (cost 2306 ) 16.724 * * [simplify]: iteration done : 5001 enodes (cost 2306 ) 16.725 * [simplify]: Simplified to: (expm1 (sqrt (sqrt (exp y)))) (log1p (sqrt (sqrt (exp y)))) (log (sqrt (sqrt (exp y)))) (exp (sqrt (sqrt (exp y)))) (* (cbrt (sqrt (sqrt (exp y)))) (cbrt (sqrt (sqrt (exp y))))) (cbrt (sqrt (sqrt (exp y)))) (pow (sqrt (sqrt (exp y))) 3) (fabs (cbrt (sqrt (exp y)))) (sqrt (cbrt (sqrt (exp y)))) (sqrt (fabs (cbrt (exp y)))) (sqrt (sqrt (cbrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) 1 (sqrt (sqrt (exp y))) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) 1 (sqrt (sqrt (exp y))) 1/4 1/2 1/4 (/ (cbrt y) 4) (/ (sqrt y) 4) (/ y 4) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) (expm1 (sqrt (sqrt (exp y)))) (log1p (sqrt (sqrt (exp y)))) (log (sqrt (sqrt (exp y)))) (exp (sqrt (sqrt (exp y)))) (* (cbrt (sqrt (sqrt (exp y)))) (cbrt (sqrt (sqrt (exp y))))) (cbrt (sqrt (sqrt (exp y)))) (pow (sqrt (sqrt (exp y))) 3) (fabs (cbrt (sqrt (exp y)))) (sqrt (cbrt (sqrt (exp y)))) (sqrt (fabs (cbrt (exp y)))) (sqrt (sqrt (cbrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) 1 (sqrt (sqrt (exp y))) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) 1 (sqrt (sqrt (exp y))) 1/4 1/2 1/4 (/ (cbrt y) 4) (/ (sqrt y) 4) (/ y 4) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) (expm1 (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log1p (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y))) (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (exp (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (pow (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y))) 3) (pow (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y))) 3) (pow (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y))) 3) (pow (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y))) 3) (pow (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y))) 3) (* (cbrt (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (cbrt (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y))))) (cbrt (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (pow (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y))) 3) (sqrt (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (sqrt (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (* (sqrt x) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (sqrt x) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* x (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (cbrt x) (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y))) (* (sqrt x) (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y))) (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y))) (expm1 (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (log1p (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (exp (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (pow (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) 3) (* (cbrt (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (cbrt (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))))) (cbrt (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (pow (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) 3) (sqrt (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (sqrt (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) y) (* (cbrt (sqrt (pow (sqrt (exp y)) y))) (cbrt (sqrt (pow (sqrt (exp y)) y))))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) y))) (* (sqrt (pow (fabs (cbrt (exp y))) y)) (pow (sqrt (sqrt (exp y))) y)) (pow (sqrt (pow (sqrt (sqrt (exp y))) y)) 3) (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (pow (sqrt (sqrt (exp y))) y)) 3) (pow (sqrt (sqrt (exp y))) y) (* (fabs (cbrt (pow (sqrt (exp y)) y))) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (pow (sqrt (sqrt (exp y))) y) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (pow (sqrt (sqrt (exp y))) y) (* (pow (cbrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (cbrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (cbrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (cbrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (exp y)) y))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (exp y)) y))) (fma 1/32 (pow y 2) (fma 1/4 y 1)) (pow (exp y) 1/4) (pow (exp y) 1/4) (fma 1/32 (pow y 2) (fma 1/4 y 1)) (pow (exp y) 1/4) (pow (exp y) 1/4) x (* (pow (sqrt (exp y)) y) (* (pow (exp (* 1/4 (pow y 2))) 2) x)) (* (pow (sqrt (exp y)) y) (* (pow (exp (* 1/4 (pow y 2))) 2) x)) (fma 1/2 (pow y 2) (fma 1/8 (pow y 4) 1)) (* (pow (pow (exp y) 1/4) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (pow (exp y) 1/4) y) (sqrt (pow (sqrt (exp y)) y))) 16.733 * * * [progress]: adding candidates to table 17.200 * [progress]: [Phase 3 of 3] Extracting. 17.200 * * [regime]: Finding splitpoints for: (# # #) 17.201 * * * [regime-changes]: Trying 2 branch expressions: (y x) 17.201 * * * * [regimes]: Trying to branch on y from (# # #) 17.224 * * * * [regimes]: Trying to branch on x from (# # #) 17.242 * * * [regime]: Found split indices: #