22.455 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.021 * [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.032 * * [simplify]: iteration 4 : 48 enodes (cost 6 ) 0.040 * * [simplify]: iteration 5 : 121 enodes (cost 6 ) 0.070 * * [simplify]: iteration 6 : 340 enodes (cost 6 ) 0.216 * * [simplify]: iteration 7 : 1328 enodes (cost 6 ) 1.504 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 1.505 * [simplify]: Simplified to: (* x (exp (* y y))) 1.505 * * [progress]: iteration 1 / 4 1.505 * * * [progress]: picking best candidate 1.506 * * * * [pick]: Picked # 1.507 * * * [progress]: localizing error 1.511 * * * [progress]: generating rewritten candidates 1.511 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.516 * * * [progress]: generating series expansions 1.516 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.517 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0 1.517 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 1.517 * [taylor]: Taking taylor expansion of x in y 1.517 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 1.517 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.517 * [taylor]: Taking taylor expansion of y in y 1.517 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 1.517 * [taylor]: Taking taylor expansion of x in x 1.517 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 1.517 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.517 * [taylor]: Taking taylor expansion of y in x 1.517 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 1.517 * [taylor]: Taking taylor expansion of x in x 1.517 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 1.517 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.517 * [taylor]: Taking taylor expansion of y in x 1.518 * [taylor]: Taking taylor expansion of 0 in y 1.523 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 1.523 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.523 * [taylor]: Taking taylor expansion of y in y 1.526 * [taylor]: Taking taylor expansion of 0 in y 1.529 * [taylor]: Taking taylor expansion of 0 in y 1.529 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0 1.529 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 1.529 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 1.529 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.529 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.529 * [taylor]: Taking taylor expansion of y in y 1.530 * [taylor]: Taking taylor expansion of x in y 1.530 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 1.530 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 1.530 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 1.530 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.530 * [taylor]: Taking taylor expansion of y in x 1.530 * [taylor]: Taking taylor expansion of x in x 1.531 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 1.531 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 1.531 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 1.531 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.531 * [taylor]: Taking taylor expansion of y in x 1.531 * [taylor]: Taking taylor expansion of x in x 1.531 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 1.531 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.531 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.531 * [taylor]: Taking taylor expansion of y in y 1.533 * [taylor]: Taking taylor expansion of 0 in y 1.536 * [taylor]: Taking taylor expansion of 0 in y 1.539 * [taylor]: Taking taylor expansion of 0 in y 1.540 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0 1.540 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y 1.540 * [taylor]: Taking taylor expansion of -1 in y 1.540 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 1.540 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 1.540 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.540 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.540 * [taylor]: Taking taylor expansion of y in y 1.541 * [taylor]: Taking taylor expansion of x in y 1.541 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 1.541 * [taylor]: Taking taylor expansion of -1 in x 1.541 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 1.541 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 1.541 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 1.541 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.541 * [taylor]: Taking taylor expansion of y in x 1.541 * [taylor]: Taking taylor expansion of x in x 1.541 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 1.541 * [taylor]: Taking taylor expansion of -1 in x 1.541 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 1.541 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 1.541 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 1.541 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.541 * [taylor]: Taking taylor expansion of y in x 1.541 * [taylor]: Taking taylor expansion of x in x 1.542 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 1.542 * [taylor]: Taking taylor expansion of -1 in y 1.542 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 1.542 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.542 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.542 * [taylor]: Taking taylor expansion of y in y 1.545 * [taylor]: Taking taylor expansion of 0 in y 1.548 * [taylor]: Taking taylor expansion of 0 in y 1.553 * [taylor]: Taking taylor expansion of 0 in y 1.553 * * * [progress]: simplifying candidates 1.554 * [simplify]: Simplifying using # : (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))) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 1.555 * * [simplify]: iteration 0 : 37 enodes (cost 188 ) 1.561 * * [simplify]: iteration 1 : 77 enodes (cost 184 ) 1.576 * * [simplify]: iteration 2 : 243 enodes (cost 159 ) 1.652 * * [simplify]: iteration 3 : 835 enodes (cost 159 ) 2.128 * * [simplify]: iteration 4 : 3718 enodes (cost 159 ) 5.186 * * [simplify]: iteration done : 5000 enodes (cost 159 ) 5.187 * [simplify]: Simplified to: (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))) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 5.187 * * * [progress]: adding candidates to table 5.246 * * [progress]: iteration 2 / 4 5.246 * * * [progress]: picking best candidate 5.252 * * * * [pick]: Picked # 5.252 * * * [progress]: localizing error 5.263 * * * [progress]: generating rewritten candidates 5.263 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 5.270 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 5.288 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 5.289 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 5.292 * * * [progress]: generating series expansions 5.292 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 5.293 * [approximate]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in (x y) around 0 5.293 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in y 5.293 * [taylor]: Taking taylor expansion of x in y 5.293 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 5.293 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.293 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.293 * [taylor]: Taking taylor expansion of y in y 5.295 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in x 5.295 * [taylor]: Taking taylor expansion of x in x 5.295 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in x 5.295 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 5.295 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.295 * [taylor]: Taking taylor expansion of y in x 5.296 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in x 5.297 * [taylor]: Taking taylor expansion of x in x 5.297 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in x 5.297 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 5.297 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.297 * [taylor]: Taking taylor expansion of y in x 5.298 * [taylor]: Taking taylor expansion of 0 in y 5.299 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 5.299 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.299 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.299 * [taylor]: Taking taylor expansion of y in y 5.303 * [taylor]: Taking taylor expansion of 0 in y 5.307 * [taylor]: Taking taylor expansion of 0 in y 5.307 * [approximate]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in (x y) around 0 5.307 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in y 5.307 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.307 * [taylor]: Taking taylor expansion of x in y 5.307 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.307 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.307 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.307 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.308 * [taylor]: Taking taylor expansion of y in y 5.309 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 5.309 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.309 * [taylor]: Taking taylor expansion of x in x 5.309 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 5.309 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.309 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.309 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.309 * [taylor]: Taking taylor expansion of y in x 5.311 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 5.311 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.311 * [taylor]: Taking taylor expansion of x in x 5.311 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 5.311 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.311 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.311 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.311 * [taylor]: Taking taylor expansion of y in x 5.313 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.313 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.313 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.313 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.313 * [taylor]: Taking taylor expansion of y in y 5.315 * [taylor]: Taking taylor expansion of 0 in y 5.319 * [taylor]: Taking taylor expansion of 0 in y 5.324 * [taylor]: Taking taylor expansion of 0 in y 5.324 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in (x y) around 0 5.325 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in y 5.325 * [taylor]: Taking taylor expansion of -1 in y 5.325 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in y 5.325 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.325 * [taylor]: Taking taylor expansion of x in y 5.325 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.325 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.325 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.325 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.325 * [taylor]: Taking taylor expansion of y in y 5.326 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in x 5.326 * [taylor]: Taking taylor expansion of -1 in x 5.326 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 5.326 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.326 * [taylor]: Taking taylor expansion of x in x 5.326 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 5.326 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.326 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.326 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.326 * [taylor]: Taking taylor expansion of y in x 5.328 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in x 5.328 * [taylor]: Taking taylor expansion of -1 in x 5.328 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 5.328 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.328 * [taylor]: Taking taylor expansion of x in x 5.328 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 5.328 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.328 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.328 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.328 * [taylor]: Taking taylor expansion of y in x 5.330 * [taylor]: Taking taylor expansion of (* -1 (sqrt (exp (/ 1 (pow y 2))))) in y 5.330 * [taylor]: Taking taylor expansion of -1 in y 5.330 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.330 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.330 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.330 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.330 * [taylor]: Taking taylor expansion of y in y 5.333 * [taylor]: Taking taylor expansion of 0 in y 5.338 * [taylor]: Taking taylor expansion of 0 in y 5.345 * [taylor]: Taking taylor expansion of 0 in y 5.346 * * * * [progress]: [ 2 / 4 ] generating series at (2) 5.346 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0 5.346 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 5.346 * [taylor]: Taking taylor expansion of x in y 5.346 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.346 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.346 * [taylor]: Taking taylor expansion of y in y 5.347 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 5.347 * [taylor]: Taking taylor expansion of x in x 5.347 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 5.347 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.347 * [taylor]: Taking taylor expansion of y in x 5.347 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 5.347 * [taylor]: Taking taylor expansion of x in x 5.347 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 5.347 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.347 * [taylor]: Taking taylor expansion of y in x 5.347 * [taylor]: Taking taylor expansion of 0 in y 5.349 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.349 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.349 * [taylor]: Taking taylor expansion of y in y 5.351 * [taylor]: Taking taylor expansion of 0 in y 5.355 * [taylor]: Taking taylor expansion of 0 in y 5.355 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0 5.356 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 5.356 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.356 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.356 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.356 * [taylor]: Taking taylor expansion of y in y 5.357 * [taylor]: Taking taylor expansion of x in y 5.357 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 5.357 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.357 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.357 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.357 * [taylor]: Taking taylor expansion of y in x 5.357 * [taylor]: Taking taylor expansion of x in x 5.357 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 5.357 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.357 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.357 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.357 * [taylor]: Taking taylor expansion of y in x 5.357 * [taylor]: Taking taylor expansion of x in x 5.358 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.358 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.358 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.358 * [taylor]: Taking taylor expansion of y in y 5.361 * [taylor]: Taking taylor expansion of 0 in y 5.364 * [taylor]: Taking taylor expansion of 0 in y 5.368 * [taylor]: Taking taylor expansion of 0 in y 5.373 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0 5.373 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y 5.373 * [taylor]: Taking taylor expansion of -1 in y 5.373 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 5.373 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.373 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.373 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.373 * [taylor]: Taking taylor expansion of y in y 5.374 * [taylor]: Taking taylor expansion of x in y 5.374 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 5.374 * [taylor]: Taking taylor expansion of -1 in x 5.374 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 5.374 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.374 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.374 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.374 * [taylor]: Taking taylor expansion of y in x 5.374 * [taylor]: Taking taylor expansion of x in x 5.375 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 5.375 * [taylor]: Taking taylor expansion of -1 in x 5.375 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 5.375 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.375 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.375 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.375 * [taylor]: Taking taylor expansion of y in x 5.375 * [taylor]: Taking taylor expansion of x in x 5.375 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 5.375 * [taylor]: Taking taylor expansion of -1 in y 5.375 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.375 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.375 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.375 * [taylor]: Taking taylor expansion of y in y 5.379 * [taylor]: Taking taylor expansion of 0 in y 5.383 * [taylor]: Taking taylor expansion of 0 in y 5.389 * [taylor]: Taking taylor expansion of 0 in y 5.389 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 5.389 * [approximate]: Taking taylor expansion of (sqrt (exp (pow y 2))) in (y) around 0 5.389 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 5.389 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.389 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.389 * [taylor]: Taking taylor expansion of y in y 5.391 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 5.391 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.391 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.391 * [taylor]: Taking taylor expansion of y in y 5.402 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in (y) around 0 5.402 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.402 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.402 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.402 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.403 * [taylor]: Taking taylor expansion of y in y 5.404 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.404 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.404 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.404 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.404 * [taylor]: Taking taylor expansion of y in y 5.409 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in (y) around 0 5.409 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.409 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.409 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.409 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.409 * [taylor]: Taking taylor expansion of y in y 5.410 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.410 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.410 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.410 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.410 * [taylor]: Taking taylor expansion of y in y 5.415 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 5.415 * [approximate]: Taking taylor expansion of (sqrt (exp (pow y 2))) in (y) around 0 5.415 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 5.415 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.415 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.415 * [taylor]: Taking taylor expansion of y in y 5.417 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 5.417 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.417 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.417 * [taylor]: Taking taylor expansion of y in y 5.428 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in (y) around 0 5.428 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.428 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.428 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.428 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.428 * [taylor]: Taking taylor expansion of y in y 5.429 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.429 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.429 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.429 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.429 * [taylor]: Taking taylor expansion of y in y 5.434 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in (y) around 0 5.434 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.434 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.434 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.434 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.434 * [taylor]: Taking taylor expansion of y in y 5.435 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.436 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.436 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.436 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.436 * [taylor]: Taking taylor expansion of y in y 5.441 * * * [progress]: simplifying candidates 5.442 * [simplify]: Simplifying using # : (expm1 (* x (sqrt (exp (* y y))))) (log1p (* x (sqrt (exp (* y y))))) (* x (sqrt (exp (* y y)))) (+ (log x) (log (sqrt (exp (* y y))))) (log (* x (sqrt (exp (* y y))))) (exp (* x (sqrt (exp (* y y))))) (* (* (* x x) x) (* (* (sqrt (exp (* y y))) (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (cbrt (* x (sqrt (exp (* y y))))) (cbrt (* x (sqrt (exp (* y y)))))) (cbrt (* x (sqrt (exp (* y y))))) (* (* (* x (sqrt (exp (* y y)))) (* x (sqrt (exp (* y y))))) (* x (sqrt (exp (* y y))))) (sqrt (* x (sqrt (exp (* y y))))) (sqrt (* x (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* x (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y)))))) (* x (sqrt (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))))) (* x (sqrt (sqrt (exp (* y y))))) (* x (sqrt 1)) (* x (sqrt (sqrt (exp (* y y))))) (* x 1) (* (cbrt x) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* x (sqrt (exp (* y y)))) (expm1 (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (log1p (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y)))) (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y)))) (+ (+ (log x) (log (sqrt (exp (* y y))))) (log (sqrt (exp (* y y))))) (+ (log (* x (sqrt (exp (* y y))))) (log (sqrt (exp (* y y))))) (log (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (exp (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (* (* (* x x) x) (* (* (sqrt (exp (* y y))) (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (* (sqrt (exp (* y y))) (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (* (* (* x (sqrt (exp (* y y)))) (* x (sqrt (exp (* y y))))) (* x (sqrt (exp (* y y))))) (* (* (sqrt (exp (* y y))) (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (cbrt (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (cbrt (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y)))))) (cbrt (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (* (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y)))) (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (sqrt (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (sqrt (* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (* x (sqrt (exp (* y y)))) (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y)))))) (* (* x (sqrt (exp (* y y)))) (sqrt (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))))) (* (* x (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y))))) (* (* x (sqrt (exp (* y y)))) (sqrt 1)) (* (* x (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y))))) (* (* x (sqrt (exp (* y y)))) 1) (* (sqrt (exp (* y y))) (sqrt (exp (* y y)))) (expm1 (sqrt (exp (* y y)))) (log1p (sqrt (exp (* y y)))) (log (sqrt (exp (* y y)))) (exp (sqrt (exp (* y y)))) (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y))))) (cbrt (sqrt (exp (* y y)))) (* (* (sqrt (exp (* y y))) (sqrt (exp (* y y)))) (sqrt (exp (* y y)))) (sqrt (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))) (sqrt (cbrt (exp (* y y)))) (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y)))) (sqrt 1) (sqrt (exp (* y y))) (/ y 2) (/ 1 2) (/ y 2) (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y)))) (expm1 (sqrt (exp (* y y)))) (log1p (sqrt (exp (* y y)))) (log (sqrt (exp (* y y)))) (exp (sqrt (exp (* y y)))) (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y))))) (cbrt (sqrt (exp (* y y)))) (* (* (sqrt (exp (* y y))) (sqrt (exp (* y y)))) (sqrt (exp (* y y)))) (sqrt (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))) (sqrt (cbrt (exp (* y y)))) (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y)))) (sqrt 1) (sqrt (exp (* y y))) (/ y 2) (/ 1 2) (/ y 2) (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y)))) x (* x (sqrt (exp (pow y 2)))) (* x (sqrt (exp (pow y 2)))) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) (+ (* 1/2 (pow y 2)) (+ (* 1/8 (pow y 4)) 1)) (sqrt (exp (pow y 2))) (sqrt (exp (pow y 2))) (+ (* 1/2 (pow y 2)) (+ (* 1/8 (pow y 4)) 1)) (sqrt (exp (pow y 2))) (sqrt (exp (pow y 2))) 5.445 * * [simplify]: iteration 0 : 80 enodes (cost 962 ) 5.459 * * [simplify]: iteration 1 : 176 enodes (cost 743 ) 5.502 * * [simplify]: iteration 2 : 662 enodes (cost 669 ) 5.866 * * [simplify]: iteration 3 : 2233 enodes (cost 666 ) 7.208 * * [simplify]: iteration done : 5000 enodes (cost 666 ) 7.209 * [simplify]: Simplified to: (expm1 (* x (sqrt (exp (* y y))))) (log1p (* x (sqrt (exp (* y y))))) (* (sqrt (exp (pow y 2))) x) (log (* x (sqrt (exp (* y y))))) (log (* x (sqrt (exp (* y y))))) (exp (* x (sqrt (exp (* y y))))) (pow (* (sqrt (exp (pow y 2))) x) 3) (* (cbrt (* x (sqrt (exp (* y y))))) (cbrt (* x (sqrt (exp (* y y)))))) (cbrt (* x (sqrt (exp (* y y))))) (pow (* (sqrt (exp (pow y 2))) x) 3) (sqrt (* x (sqrt (exp (* y y))))) (sqrt (* x (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* x (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y)))))) (* x (fabs (cbrt (exp (* y y))))) (* x (sqrt (sqrt (exp (* y y))))) x (* x (sqrt (sqrt (exp (* y y))))) x (* (cbrt x) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* (sqrt (exp (pow y 2))) x) (expm1 (* x (exp (pow y 2)))) (log1p (* x (exp (pow y 2)))) (* x (exp (pow y 2))) (* x (exp (pow y 2))) (+ (log x) (pow y 2)) (+ (log x) (pow y 2)) (+ (log x) (pow y 2)) (exp (* x (exp (pow y 2)))) (pow (* x (exp (pow y 2))) 3) (pow (* x (exp (pow y 2))) 3) (* (cbrt (* x (exp (pow y 2)))) (cbrt (* x (exp (pow y 2))))) (cbrt (* x (exp (pow y 2)))) (pow (* x (exp (pow y 2))) 3) (sqrt (* x (exp (pow y 2)))) (sqrt (* x (exp (pow y 2)))) (* (* x (sqrt (exp (* y y)))) (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y)))))) (* x (* (sqrt (exp (* y y))) (fabs (cbrt (exp (* y y)))))) (* (* x (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y))))) (* (sqrt (exp (pow y 2))) x) (* (* x (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y))))) (* (sqrt (exp (pow y 2))) x) (exp (pow y 2)) (expm1 (sqrt (exp (* y y)))) (log1p (sqrt (exp (* y y)))) (log (sqrt (exp (* y y)))) (exp (sqrt (exp (* y y)))) (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y))))) (cbrt (sqrt (exp (* y y)))) (pow (sqrt (exp (pow y 2))) 3) (fabs (cbrt (exp (* y y)))) (sqrt (cbrt (exp (* y y)))) (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y)))) 1 (sqrt (exp (pow y 2))) (* y 1/2) 1/2 (* y 1/2) (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y)))) (expm1 (sqrt (exp (* y y)))) (log1p (sqrt (exp (* y y)))) (log (sqrt (exp (* y y)))) (exp (sqrt (exp (* y y)))) (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y))))) (cbrt (sqrt (exp (* y y)))) (pow (sqrt (exp (pow y 2))) 3) (fabs (cbrt (exp (* y y)))) (sqrt (cbrt (exp (* y y)))) (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y)))) 1 (sqrt (exp (pow y 2))) (* y 1/2) 1/2 (* y 1/2) (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y)))) x (* (sqrt (exp (pow y 2))) x) (* (sqrt (exp (pow y 2))) x) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) (fma 1/2 (* y y) (fma 1/8 (pow y 4) 1)) (sqrt (exp (pow y 2))) (sqrt (exp (pow y 2))) (fma 1/2 (* y y) (fma 1/8 (pow y 4) 1)) (sqrt (exp (pow y 2))) (sqrt (exp (pow y 2))) 7.210 * * * [progress]: adding candidates to table 7.437 * * [progress]: iteration 3 / 4 7.437 * * * [progress]: picking best candidate 7.442 * * * * [pick]: Picked # 7.442 * * * [progress]: localizing error 7.455 * * * [progress]: generating rewritten candidates 7.455 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 7.462 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 7.464 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 7.483 * * * [progress]: generating series expansions 7.483 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 7.483 * [approximate]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in (x y) around 0 7.483 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in y 7.483 * [taylor]: Taking taylor expansion of x in y 7.483 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 7.483 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 7.483 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.483 * [taylor]: Taking taylor expansion of y in y 7.485 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in x 7.485 * [taylor]: Taking taylor expansion of x in x 7.485 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in x 7.485 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 7.485 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.485 * [taylor]: Taking taylor expansion of y in x 7.487 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in x 7.487 * [taylor]: Taking taylor expansion of x in x 7.487 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in x 7.487 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 7.487 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.487 * [taylor]: Taking taylor expansion of y in x 7.488 * [taylor]: Taking taylor expansion of 0 in y 7.489 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 7.489 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 7.489 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.489 * [taylor]: Taking taylor expansion of y in y 7.494 * [taylor]: Taking taylor expansion of 0 in y 7.497 * [taylor]: Taking taylor expansion of 0 in y 7.498 * [approximate]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in (x y) around 0 7.498 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in y 7.498 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.498 * [taylor]: Taking taylor expansion of x in y 7.498 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 7.498 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.498 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.498 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.498 * [taylor]: Taking taylor expansion of y in y 7.499 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 7.499 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.499 * [taylor]: Taking taylor expansion of x in x 7.499 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 7.499 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 7.499 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.499 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.500 * [taylor]: Taking taylor expansion of y in x 7.501 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 7.501 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.501 * [taylor]: Taking taylor expansion of x in x 7.501 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 7.501 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 7.501 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.502 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.502 * [taylor]: Taking taylor expansion of y in x 7.503 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 7.503 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.503 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.503 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.503 * [taylor]: Taking taylor expansion of y in y 7.506 * [taylor]: Taking taylor expansion of 0 in y 7.509 * [taylor]: Taking taylor expansion of 0 in y 7.520 * [taylor]: Taking taylor expansion of 0 in y 7.521 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in (x y) around 0 7.521 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in y 7.521 * [taylor]: Taking taylor expansion of -1 in y 7.521 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in y 7.521 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.521 * [taylor]: Taking taylor expansion of x in y 7.521 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 7.521 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.521 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.521 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.521 * [taylor]: Taking taylor expansion of y in y 7.522 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in x 7.522 * [taylor]: Taking taylor expansion of -1 in x 7.522 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 7.522 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.522 * [taylor]: Taking taylor expansion of x in x 7.523 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 7.523 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 7.523 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.523 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.523 * [taylor]: Taking taylor expansion of y in x 7.524 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in x 7.524 * [taylor]: Taking taylor expansion of -1 in x 7.524 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 7.524 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.524 * [taylor]: Taking taylor expansion of x in x 7.525 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 7.525 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 7.525 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.525 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.525 * [taylor]: Taking taylor expansion of y in x 7.527 * [taylor]: Taking taylor expansion of (* -1 (sqrt (exp (/ 1 (pow y 2))))) in y 7.527 * [taylor]: Taking taylor expansion of -1 in y 7.527 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 7.527 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.527 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.527 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.527 * [taylor]: Taking taylor expansion of y in y 7.530 * [taylor]: Taking taylor expansion of 0 in y 7.535 * [taylor]: Taking taylor expansion of 0 in y 7.542 * [taylor]: Taking taylor expansion of 0 in y 7.542 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 7.543 * [approximate]: Taking taylor expansion of (sqrt (exp (pow y 2))) in (y) around 0 7.543 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 7.543 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 7.543 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.543 * [taylor]: Taking taylor expansion of y in y 7.545 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 7.545 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 7.545 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.545 * [taylor]: Taking taylor expansion of y in y 7.555 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in (y) around 0 7.555 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 7.556 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.556 * [taylor]: Taking taylor expansion of (/ 1 (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.557 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 7.557 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.557 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.557 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.557 * [taylor]: Taking taylor expansion of y in y 7.563 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in (y) around 0 7.563 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 7.563 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.563 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.563 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.563 * [taylor]: Taking taylor expansion of y in y 7.564 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 7.564 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.564 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.564 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.564 * [taylor]: Taking taylor expansion of y in y 7.569 * * * * [progress]: [ 3 / 3 ] generating series at (2) 7.569 * [approximate]: Taking taylor expansion of (* (* x (pow (exp y) (* 1/2 y))) (sqrt (exp (pow y 2)))) in (x y) around 0 7.569 * [taylor]: Taking taylor expansion of (* (* x (pow (exp y) (* 1/2 y))) (sqrt (exp (pow y 2)))) in y 7.570 * [taylor]: Taking taylor expansion of (* x (pow (exp y) (* 1/2 y))) in y 7.570 * [taylor]: Taking taylor expansion of x in y 7.570 * [taylor]: Taking taylor expansion of (pow (exp y) (* 1/2 y)) in y 7.570 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 y) (log (exp y)))) in y 7.570 * [taylor]: Taking taylor expansion of (* (* 1/2 y) (log (exp y))) in y 7.570 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 7.570 * [taylor]: Taking taylor expansion of 1/2 in y 7.570 * [taylor]: Taking taylor expansion of y in y 7.570 * [taylor]: Taking taylor expansion of (log (exp y)) in y 7.570 * [taylor]: Taking taylor expansion of (exp y) in y 7.570 * [taylor]: Taking taylor expansion of y in y 7.577 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 7.577 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 7.577 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.577 * [taylor]: Taking taylor expansion of y in y 7.579 * [taylor]: Taking taylor expansion of (* (* x (pow (exp y) (* 1/2 y))) (sqrt (exp (pow y 2)))) in x 7.579 * [taylor]: Taking taylor expansion of (* x (pow (exp y) (* 1/2 y))) in x 7.579 * [taylor]: Taking taylor expansion of x in x 7.579 * [taylor]: Taking taylor expansion of (pow (exp y) (* 1/2 y)) in x 7.579 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 y) (log (exp y)))) in x 7.579 * [taylor]: Taking taylor expansion of (* (* 1/2 y) (log (exp y))) in x 7.579 * [taylor]: Taking taylor expansion of (* 1/2 y) in x 7.579 * [taylor]: Taking taylor expansion of 1/2 in x 7.579 * [taylor]: Taking taylor expansion of y in x 7.579 * [taylor]: Taking taylor expansion of (log (exp y)) in x 7.579 * [taylor]: Taking taylor expansion of (exp y) in x 7.579 * [taylor]: Taking taylor expansion of y in x 7.580 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in x 7.580 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 7.580 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.580 * [taylor]: Taking taylor expansion of y in x 7.581 * [taylor]: Taking taylor expansion of (* (* x (pow (exp y) (* 1/2 y))) (sqrt (exp (pow y 2)))) in x 7.581 * [taylor]: Taking taylor expansion of (* x (pow (exp y) (* 1/2 y))) in x 7.581 * [taylor]: Taking taylor expansion of x in x 7.581 * [taylor]: Taking taylor expansion of (pow (exp y) (* 1/2 y)) in x 7.581 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 y) (log (exp y)))) in x 7.581 * [taylor]: Taking taylor expansion of (* (* 1/2 y) (log (exp y))) in x 7.581 * [taylor]: Taking taylor expansion of (* 1/2 y) in x 7.581 * [taylor]: Taking taylor expansion of 1/2 in x 7.581 * [taylor]: Taking taylor expansion of y in x 7.581 * [taylor]: Taking taylor expansion of (log (exp y)) in x 7.581 * [taylor]: Taking taylor expansion of (exp y) in x 7.581 * [taylor]: Taking taylor expansion of y in x 7.581 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in x 7.581 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 7.581 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.581 * [taylor]: Taking taylor expansion of y in x 7.583 * [taylor]: Taking taylor expansion of 0 in y 7.587 * [taylor]: Taking taylor expansion of (* (sqrt (exp (pow y 2))) (exp (* 1/2 (pow y 2)))) in y 7.587 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 7.587 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 7.587 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.587 * [taylor]: Taking taylor expansion of y in y 7.588 * [taylor]: Taking taylor expansion of (exp (* 1/2 (pow y 2))) in y 7.589 * [taylor]: Taking taylor expansion of (* 1/2 (pow y 2)) in y 7.589 * [taylor]: Taking taylor expansion of 1/2 in y 7.589 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.589 * [taylor]: Taking taylor expansion of y in y 7.597 * [taylor]: Taking taylor expansion of 0 in y 7.609 * [taylor]: Taking taylor expansion of 0 in y 7.609 * [approximate]: Taking taylor expansion of (* (/ (pow (exp (/ 1 y)) (/ 1/2 y)) x) (sqrt (exp (/ 1 (pow y 2))))) in (x y) around 0 7.610 * [taylor]: Taking taylor expansion of (* (/ (pow (exp (/ 1 y)) (/ 1/2 y)) x) (sqrt (exp (/ 1 (pow y 2))))) in y 7.610 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1/2 y)) x) in y 7.610 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1/2 y)) in y 7.610 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 y) (log (exp (/ 1 y))))) in y 7.610 * [taylor]: Taking taylor expansion of (* (/ 1/2 y) (log (exp (/ 1 y)))) in y 7.610 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y 7.610 * [taylor]: Taking taylor expansion of 1/2 in y 7.610 * [taylor]: Taking taylor expansion of y in y 7.610 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 7.610 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 7.610 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.610 * [taylor]: Taking taylor expansion of y in y 7.611 * [taylor]: Taking taylor expansion of x in y 7.611 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 7.611 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.611 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.611 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.611 * [taylor]: Taking taylor expansion of y in y 7.613 * [taylor]: Taking taylor expansion of (* (/ (pow (exp (/ 1 y)) (/ 1/2 y)) x) (sqrt (exp (/ 1 (pow y 2))))) in x 7.613 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1/2 y)) x) in x 7.613 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1/2 y)) in x 7.613 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 y) (log (exp (/ 1 y))))) in x 7.613 * [taylor]: Taking taylor expansion of (* (/ 1/2 y) (log (exp (/ 1 y)))) in x 7.613 * [taylor]: Taking taylor expansion of (/ 1/2 y) in x 7.613 * [taylor]: Taking taylor expansion of 1/2 in x 7.613 * [taylor]: Taking taylor expansion of y in x 7.613 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 7.613 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 7.613 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.613 * [taylor]: Taking taylor expansion of y in x 7.613 * [taylor]: Taking taylor expansion of x in x 7.613 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 7.613 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 7.613 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.613 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.613 * [taylor]: Taking taylor expansion of y in x 7.615 * [taylor]: Taking taylor expansion of (* (/ (pow (exp (/ 1 y)) (/ 1/2 y)) x) (sqrt (exp (/ 1 (pow y 2))))) in x 7.615 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1/2 y)) x) in x 7.615 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1/2 y)) in x 7.615 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 y) (log (exp (/ 1 y))))) in x 7.615 * [taylor]: Taking taylor expansion of (* (/ 1/2 y) (log (exp (/ 1 y)))) in x 7.615 * [taylor]: Taking taylor expansion of (/ 1/2 y) in x 7.615 * [taylor]: Taking taylor expansion of 1/2 in x 7.615 * [taylor]: Taking taylor expansion of y in x 7.615 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 7.615 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 7.615 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.615 * [taylor]: Taking taylor expansion of y in x 7.615 * [taylor]: Taking taylor expansion of x in x 7.616 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 7.616 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 7.616 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.616 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.616 * [taylor]: Taking taylor expansion of y in x 7.617 * [taylor]: Taking taylor expansion of (* (exp (/ 1/2 (pow y 2))) (sqrt (exp (/ 1 (pow y 2))))) in y 7.617 * [taylor]: Taking taylor expansion of (exp (/ 1/2 (pow y 2))) in y 7.617 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y 7.617 * [taylor]: Taking taylor expansion of 1/2 in y 7.618 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.618 * [taylor]: Taking taylor expansion of y in y 7.618 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 7.619 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.619 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.619 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.619 * [taylor]: Taking taylor expansion of y in y 7.623 * [taylor]: Taking taylor expansion of 0 in y 7.631 * [taylor]: Taking taylor expansion of 0 in y 7.650 * [taylor]: Taking taylor expansion of 0 in y 7.651 * [approximate]: Taking taylor expansion of (* -1 (* (/ (pow (exp (/ -1 y)) (/ -1/2 y)) x) (sqrt (exp (/ 1 (pow y 2)))))) in (x y) around 0 7.651 * [taylor]: Taking taylor expansion of (* -1 (* (/ (pow (exp (/ -1 y)) (/ -1/2 y)) x) (sqrt (exp (/ 1 (pow y 2)))))) in y 7.651 * [taylor]: Taking taylor expansion of -1 in y 7.651 * [taylor]: Taking taylor expansion of (* (/ (pow (exp (/ -1 y)) (/ -1/2 y)) x) (sqrt (exp (/ 1 (pow y 2))))) in y 7.651 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1/2 y)) x) in y 7.651 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1/2 y)) in y 7.651 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 y) (log (exp (/ -1 y))))) in y 7.651 * [taylor]: Taking taylor expansion of (* (/ -1/2 y) (log (exp (/ -1 y)))) in y 7.651 * [taylor]: Taking taylor expansion of (/ -1/2 y) in y 7.651 * [taylor]: Taking taylor expansion of -1/2 in y 7.651 * [taylor]: Taking taylor expansion of y in y 7.652 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 7.652 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 7.652 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.652 * [taylor]: Taking taylor expansion of -1 in y 7.652 * [taylor]: Taking taylor expansion of y in y 7.653 * [taylor]: Taking taylor expansion of x in y 7.653 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 7.653 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.653 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.653 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.653 * [taylor]: Taking taylor expansion of y in y 7.654 * [taylor]: Taking taylor expansion of (* -1 (* (/ (pow (exp (/ -1 y)) (/ -1/2 y)) x) (sqrt (exp (/ 1 (pow y 2)))))) in x 7.654 * [taylor]: Taking taylor expansion of -1 in x 7.654 * [taylor]: Taking taylor expansion of (* (/ (pow (exp (/ -1 y)) (/ -1/2 y)) x) (sqrt (exp (/ 1 (pow y 2))))) in x 7.654 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1/2 y)) x) in x 7.654 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1/2 y)) in x 7.655 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 y) (log (exp (/ -1 y))))) in x 7.655 * [taylor]: Taking taylor expansion of (* (/ -1/2 y) (log (exp (/ -1 y)))) in x 7.655 * [taylor]: Taking taylor expansion of (/ -1/2 y) in x 7.655 * [taylor]: Taking taylor expansion of -1/2 in x 7.655 * [taylor]: Taking taylor expansion of y in x 7.655 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 7.655 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 7.655 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.655 * [taylor]: Taking taylor expansion of -1 in x 7.655 * [taylor]: Taking taylor expansion of y in x 7.655 * [taylor]: Taking taylor expansion of x in x 7.655 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 7.655 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 7.655 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.655 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.655 * [taylor]: Taking taylor expansion of y in x 7.657 * [taylor]: Taking taylor expansion of (* -1 (* (/ (pow (exp (/ -1 y)) (/ -1/2 y)) x) (sqrt (exp (/ 1 (pow y 2)))))) in x 7.657 * [taylor]: Taking taylor expansion of -1 in x 7.657 * [taylor]: Taking taylor expansion of (* (/ (pow (exp (/ -1 y)) (/ -1/2 y)) x) (sqrt (exp (/ 1 (pow y 2))))) in x 7.657 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1/2 y)) x) in x 7.657 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1/2 y)) in x 7.657 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 y) (log (exp (/ -1 y))))) in x 7.657 * [taylor]: Taking taylor expansion of (* (/ -1/2 y) (log (exp (/ -1 y)))) in x 7.657 * [taylor]: Taking taylor expansion of (/ -1/2 y) in x 7.657 * [taylor]: Taking taylor expansion of -1/2 in x 7.657 * [taylor]: Taking taylor expansion of y in x 7.657 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 7.657 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 7.657 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.657 * [taylor]: Taking taylor expansion of -1 in x 7.657 * [taylor]: Taking taylor expansion of y in x 7.657 * [taylor]: Taking taylor expansion of x in x 7.658 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 7.658 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 7.658 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.658 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.658 * [taylor]: Taking taylor expansion of y in x 7.660 * [taylor]: Taking taylor expansion of (* -1 (* (exp (/ 1/2 (pow y 2))) (sqrt (exp (/ 1 (pow y 2)))))) in y 7.660 * [taylor]: Taking taylor expansion of -1 in y 7.660 * [taylor]: Taking taylor expansion of (* (exp (/ 1/2 (pow y 2))) (sqrt (exp (/ 1 (pow y 2))))) in y 7.660 * [taylor]: Taking taylor expansion of (exp (/ 1/2 (pow y 2))) in y 7.660 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y 7.660 * [taylor]: Taking taylor expansion of 1/2 in y 7.660 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.660 * [taylor]: Taking taylor expansion of y in y 7.661 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 7.661 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.661 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.661 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.661 * [taylor]: Taking taylor expansion of y in y 7.667 * [taylor]: Taking taylor expansion of 0 in y 7.676 * [taylor]: Taking taylor expansion of 0 in y 7.690 * [taylor]: Taking taylor expansion of 0 in y 7.691 * * * [progress]: simplifying candidates 7.692 * [simplify]: Simplifying using # : (expm1 (* x (sqrt (exp (* y y))))) (log1p (* x (sqrt (exp (* y y))))) (* x (sqrt (exp (* y y)))) (+ (log x) (log (sqrt (exp (* y y))))) (log (* x (sqrt (exp (* y y))))) (exp (* x (sqrt (exp (* y y))))) (* (* (* x x) x) (* (* (sqrt (exp (* y y))) (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (cbrt (* x (sqrt (exp (* y y))))) (cbrt (* x (sqrt (exp (* y y)))))) (cbrt (* x (sqrt (exp (* y y))))) (* (* (* x (sqrt (exp (* y y)))) (* x (sqrt (exp (* y y))))) (* x (sqrt (exp (* y y))))) (sqrt (* x (sqrt (exp (* y y))))) (sqrt (* x (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* x (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y)))))) (* x (sqrt (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))))) (* x (sqrt (sqrt (exp (* y y))))) (* x (sqrt 1)) (* x (sqrt (sqrt (exp (* y y))))) (* x 1) (* (cbrt x) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* x (sqrt (exp (* y y)))) (expm1 (sqrt (exp (* y y)))) (log1p (sqrt (exp (* y y)))) (log (sqrt (exp (* y y)))) (exp (sqrt (exp (* y y)))) (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y))))) (cbrt (sqrt (exp (* y y)))) (* (* (sqrt (exp (* y y))) (sqrt (exp (* y y)))) (sqrt (exp (* y y)))) (sqrt (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))) (sqrt (cbrt (exp (* y y)))) (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y)))) (sqrt 1) (sqrt (exp (* y y))) (/ y 2) (/ 1 2) (/ y 2) (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y)))) (expm1 (* (* x (sqrt (exp (* y y)))) (pow (exp y) (* y 1/2)))) (log1p (* (* x (sqrt (exp (* y y)))) (pow (exp y) (* y 1/2)))) (+ (+ (log x) (log (sqrt (exp (* y y))))) (* y (* y 1/2))) (+ (+ (log x) (log (sqrt (exp (* y y))))) (* (log (exp y)) (* y 1/2))) (+ (+ (log x) (log (sqrt (exp (* y y))))) (log (pow (exp y) (* y 1/2)))) (+ (log (* x (sqrt (exp (* y y))))) (* y (* y 1/2))) (+ (log (* x (sqrt (exp (* y y))))) (* (log (exp y)) (* y 1/2))) (+ (log (* x (sqrt (exp (* y y))))) (log (pow (exp y) (* y 1/2)))) (log (* (* x (sqrt (exp (* y y)))) (pow (exp y) (* y 1/2)))) (exp (* (* x (sqrt (exp (* y y)))) (pow (exp y) (* y 1/2)))) (* (* (* (* x x) x) (* (* (sqrt (exp (* y y))) (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (* (pow (exp y) (* y 1/2)) (pow (exp y) (* y 1/2))) (pow (exp y) (* y 1/2)))) (* (* (* (* x (sqrt (exp (* y y)))) (* x (sqrt (exp (* y y))))) (* x (sqrt (exp (* y y))))) (* (* (pow (exp y) (* y 1/2)) (pow (exp y) (* y 1/2))) (pow (exp y) (* y 1/2)))) (* (cbrt (* (* x (sqrt (exp (* y y)))) (pow (exp y) (* y 1/2)))) (cbrt (* (* x (sqrt (exp (* y y)))) (pow (exp y) (* y 1/2))))) (cbrt (* (* x (sqrt (exp (* y y)))) (pow (exp y) (* y 1/2)))) (* (* (* (* x (sqrt (exp (* y y)))) (pow (exp y) (* y 1/2))) (* (* x (sqrt (exp (* y y)))) (pow (exp y) (* y 1/2)))) (* (* x (sqrt (exp (* y y)))) (pow (exp y) (* y 1/2)))) (sqrt (* (* x (sqrt (exp (* y y)))) (pow (exp y) (* y 1/2)))) (sqrt (* (* x (sqrt (exp (* y y)))) (pow (exp y) (* y 1/2)))) (* (* x (sqrt (exp (* y y)))) (pow (* (cbrt (exp y)) (cbrt (exp y))) (* y 1/2))) (* (* x (sqrt (exp (* y y)))) (pow (sqrt (exp y)) (* y 1/2))) (* (* x (sqrt (exp (* y y)))) (pow 1 (* y 1/2))) (* (* x (sqrt (exp (* y y)))) (* (cbrt (pow (exp y) (* y 1/2))) (cbrt (pow (exp y) (* y 1/2))))) (* (* x (sqrt (exp (* y y)))) (sqrt (pow (exp y) (* y 1/2)))) (* (* x (sqrt (exp (* y y)))) 1) (* (* x (sqrt (exp (* y y)))) (pow (exp y) (/ (* y 1/2) 2))) (* (sqrt (exp (* y y))) (pow (exp y) (* y 1/2))) x (* x (sqrt (exp (pow y 2)))) (* x (sqrt (exp (pow y 2)))) (+ (* 1/2 (pow y 2)) (+ (* 1/8 (pow y 4)) 1)) (sqrt (exp (pow y 2))) (sqrt (exp (pow y 2))) x (* (* x (exp (* 1/2 (pow y 2)))) (sqrt (exp (pow y 2)))) (* (* x (exp (* 1/2 (pow y 2)))) (sqrt (exp (pow y 2)))) 7.695 * * [simplify]: iteration 0 : 109 enodes (cost 916 ) 7.716 * * [simplify]: iteration 1 : 248 enodes (cost 816 ) 7.793 * * [simplify]: iteration 2 : 990 enodes (cost 742 ) 8.370 * * [simplify]: iteration done : 5000 enodes (cost 742 ) 8.370 * [simplify]: Simplified to: (expm1 (* x (sqrt (exp (* y y))))) (log1p (* x (sqrt (exp (* y y))))) (* x (sqrt (exp (* y y)))) (log (* x (sqrt (exp (* y y))))) (log (* x (sqrt (exp (* y y))))) (exp (* x (sqrt (exp (* y y))))) (pow (* x (sqrt (exp (* y y)))) 3) (* (cbrt (* x (sqrt (exp (* y y))))) (cbrt (* x (sqrt (exp (* y y)))))) (cbrt (* x (sqrt (exp (* y y))))) (pow (* x (sqrt (exp (* y y)))) 3) (sqrt (* x (sqrt (exp (* y y))))) (sqrt (* x (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* x (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y)))))) (* x (fabs (cbrt (exp (* y y))))) (* x (sqrt (sqrt (exp (* y y))))) x (* x (sqrt (sqrt (exp (* y y))))) x (* (cbrt x) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* x (sqrt (exp (* y y)))) (expm1 (sqrt (exp (* y y)))) (log1p (sqrt (exp (* y y)))) (log (sqrt (exp (* y y)))) (exp (sqrt (exp (* y y)))) (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y))))) (cbrt (sqrt (exp (* y y)))) (pow (sqrt (exp (pow y 2))) 3) (fabs (cbrt (exp (* y y)))) (sqrt (cbrt (exp (* y y)))) (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y)))) 1 (sqrt (exp (pow y 2))) (* 1/2 y) 1/2 (* 1/2 y) (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y)))) (expm1 (* (* x (sqrt (exp (* y y)))) (pow (exp y) (* y 1/2)))) (log1p (* (* x (sqrt (exp (* y y)))) (pow (exp y) (* y 1/2)))) (fma y (* y 1/2) (log (* x (sqrt (exp (* y y)))))) (fma y (* y 1/2) (log (* x (sqrt (exp (* y y)))))) (fma y (* y 1/2) (log (* x (sqrt (exp (* y y)))))) (fma y (* y 1/2) (log (* x (sqrt (exp (* y y)))))) (fma y (* y 1/2) (log (* x (sqrt (exp (* y y)))))) (fma y (* y 1/2) (log (* x (sqrt (exp (* y y)))))) (fma y (* y 1/2) (log (* x (sqrt (exp (* y y)))))) (exp (* (* x (sqrt (exp (* y y)))) (pow (exp y) (* y 1/2)))) (pow (* (* x (sqrt (exp (* y y)))) (pow (exp y) (* y 1/2))) 3) (pow (* (* x (sqrt (exp (* y y)))) (pow (exp y) (* y 1/2))) 3) (* (cbrt (* (* x (sqrt (exp (* y y)))) (pow (exp y) (* y 1/2)))) (cbrt (* (* x (sqrt (exp (* y y)))) (pow (exp y) (* y 1/2))))) (cbrt (* (* x (sqrt (exp (* y y)))) (pow (exp y) (* y 1/2)))) (pow (* (* x (sqrt (exp (* y y)))) (pow (exp y) (* y 1/2))) 3) (sqrt (* (* x (sqrt (exp (* y y)))) (pow (exp y) (* y 1/2)))) (sqrt (* (* x (sqrt (exp (* y y)))) (pow (exp y) (* y 1/2)))) (* (* x (sqrt (exp (* y y)))) (pow (* (cbrt (exp y)) (cbrt (exp y))) (* y 1/2))) (* (* x (sqrt (exp (* y y)))) (pow (sqrt (exp y)) (* y 1/2))) (* x (sqrt (exp (* y y)))) (* (* x (sqrt (exp (* y y)))) (* (cbrt (pow (exp y) (* y 1/2))) (cbrt (pow (exp y) (* y 1/2))))) (* (* x (sqrt (exp (* y y)))) (sqrt (pow (exp y) (* y 1/2)))) (* x (sqrt (exp (* y y)))) (* x (* (sqrt (exp (pow y 2))) (pow (exp y) (/ y 4)))) (* (sqrt (exp (pow y 2))) (pow (exp y) (* y 1/2))) x (* x (sqrt (exp (* y y)))) (* x (sqrt (exp (* y y)))) (fma 1/2 (* y y) (fma 1/8 (pow y 4) 1)) (sqrt (exp (pow y 2))) (sqrt (exp (pow y 2))) x (* (* x (sqrt (exp (* y y)))) (pow (exp y) (* y 1/2))) (* (* x (sqrt (exp (* y y)))) (pow (exp y) (* y 1/2))) 8.371 * * * [progress]: adding candidates to table 8.584 * * [progress]: iteration 4 / 4 8.584 * * * [progress]: picking best candidate 8.586 * * * * [pick]: Picked # 8.586 * * * [progress]: localizing error 8.596 * * * [progress]: generating rewritten candidates 8.596 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 8.621 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 8.631 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 8.725 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 8.730 * * * [progress]: generating series expansions 8.730 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 8.730 * [approximate]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in (x y) around 0 8.730 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in y 8.730 * [taylor]: Taking taylor expansion of x in y 8.730 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 8.730 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 8.730 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.730 * [taylor]: Taking taylor expansion of y in y 8.733 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in x 8.733 * [taylor]: Taking taylor expansion of x in x 8.733 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in x 8.733 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 8.733 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.733 * [taylor]: Taking taylor expansion of y in x 8.734 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in x 8.734 * [taylor]: Taking taylor expansion of x in x 8.734 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in x 8.734 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 8.734 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.734 * [taylor]: Taking taylor expansion of y in x 8.736 * [taylor]: Taking taylor expansion of 0 in y 8.736 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 8.736 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 8.736 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.736 * [taylor]: Taking taylor expansion of y in y 8.741 * [taylor]: Taking taylor expansion of 0 in y 8.746 * [taylor]: Taking taylor expansion of 0 in y 8.746 * [approximate]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in (x y) around 0 8.746 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in y 8.746 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.746 * [taylor]: Taking taylor expansion of x in y 8.746 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 8.746 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 8.746 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.746 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.746 * [taylor]: Taking taylor expansion of y in y 8.748 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 8.748 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.748 * [taylor]: Taking taylor expansion of x in x 8.748 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 8.748 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 8.748 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.748 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.748 * [taylor]: Taking taylor expansion of y in x 8.750 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 8.750 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.750 * [taylor]: Taking taylor expansion of x in x 8.750 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 8.750 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 8.750 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.750 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.750 * [taylor]: Taking taylor expansion of y in x 8.752 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 8.752 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 8.752 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.752 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.752 * [taylor]: Taking taylor expansion of y in y 8.754 * [taylor]: Taking taylor expansion of 0 in y 8.758 * [taylor]: Taking taylor expansion of 0 in y 8.764 * [taylor]: Taking taylor expansion of 0 in y 8.764 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in (x y) around 0 8.764 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in y 8.764 * [taylor]: Taking taylor expansion of -1 in y 8.764 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in y 8.764 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.764 * [taylor]: Taking taylor expansion of x in y 8.764 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 8.764 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 8.765 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.765 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.765 * [taylor]: Taking taylor expansion of y in y 8.766 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in x 8.766 * [taylor]: Taking taylor expansion of -1 in x 8.766 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 8.766 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.766 * [taylor]: Taking taylor expansion of x in x 8.766 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 8.766 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 8.766 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.766 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.766 * [taylor]: Taking taylor expansion of y in x 8.768 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in x 8.768 * [taylor]: Taking taylor expansion of -1 in x 8.768 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 8.768 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.768 * [taylor]: Taking taylor expansion of x in x 8.768 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 8.768 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 8.768 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.768 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.768 * [taylor]: Taking taylor expansion of y in x 8.770 * [taylor]: Taking taylor expansion of (* -1 (sqrt (exp (/ 1 (pow y 2))))) in y 8.770 * [taylor]: Taking taylor expansion of -1 in y 8.770 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 8.770 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 8.770 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.770 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.770 * [taylor]: Taking taylor expansion of y in y 8.773 * [taylor]: Taking taylor expansion of 0 in y 8.778 * [taylor]: Taking taylor expansion of 0 in y 8.786 * [taylor]: Taking taylor expansion of 0 in y 8.786 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 8.786 * [approximate]: Taking taylor expansion of (* x (pow (exp (pow y 2)) 1/4)) in (x y) around 0 8.786 * [taylor]: Taking taylor expansion of (* x (pow (exp (pow y 2)) 1/4)) in y 8.786 * [taylor]: Taking taylor expansion of x in y 8.786 * [taylor]: Taking taylor expansion of (pow (exp (pow y 2)) 1/4) in y 8.786 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (pow y 2))))) in y 8.786 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (pow y 2)))) in y 8.786 * [taylor]: Taking taylor expansion of 1/4 in y 8.786 * [taylor]: Taking taylor expansion of (log (exp (pow y 2))) in y 8.786 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 8.786 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.786 * [taylor]: Taking taylor expansion of y in y 8.793 * [taylor]: Taking taylor expansion of (* x (pow (exp (pow y 2)) 1/4)) in x 8.793 * [taylor]: Taking taylor expansion of x in x 8.793 * [taylor]: Taking taylor expansion of (pow (exp (pow y 2)) 1/4) in x 8.793 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (pow y 2))))) in x 8.793 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (pow y 2)))) in x 8.793 * [taylor]: Taking taylor expansion of 1/4 in x 8.793 * [taylor]: Taking taylor expansion of (log (exp (pow y 2))) in x 8.793 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 8.793 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.793 * [taylor]: Taking taylor expansion of y in x 8.794 * [taylor]: Taking taylor expansion of (* x (pow (exp (pow y 2)) 1/4)) in x 8.794 * [taylor]: Taking taylor expansion of x in x 8.794 * [taylor]: Taking taylor expansion of (pow (exp (pow y 2)) 1/4) in x 8.794 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (pow y 2))))) in x 8.794 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (pow y 2)))) in x 8.794 * [taylor]: Taking taylor expansion of 1/4 in x 8.794 * [taylor]: Taking taylor expansion of (log (exp (pow y 2))) in x 8.794 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 8.794 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.794 * [taylor]: Taking taylor expansion of y in x 8.794 * [taylor]: Taking taylor expansion of 0 in y 8.798 * [taylor]: Taking taylor expansion of (exp (* 1/4 (pow y 2))) in y 8.798 * [taylor]: Taking taylor expansion of (* 1/4 (pow y 2)) in y 8.798 * [taylor]: Taking taylor expansion of 1/4 in y 8.798 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.798 * [taylor]: Taking taylor expansion of y in y 8.804 * [taylor]: Taking taylor expansion of 0 in y 8.813 * [taylor]: Taking taylor expansion of 0 in y 8.813 * [approximate]: Taking taylor expansion of (* (/ 1 x) (pow (exp (/ 1 (pow y 2))) 1/4)) in (x y) around 0 8.813 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (exp (/ 1 (pow y 2))) 1/4)) in y 8.813 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.813 * [taylor]: Taking taylor expansion of x in y 8.813 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 1/4) in y 8.813 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 (pow y 2)))))) in y 8.813 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 (pow y 2))))) in y 8.813 * [taylor]: Taking taylor expansion of 1/4 in y 8.813 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (pow y 2)))) in y 8.813 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 8.813 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.813 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.813 * [taylor]: Taking taylor expansion of y in y 8.814 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (exp (/ 1 (pow y 2))) 1/4)) in x 8.815 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.815 * [taylor]: Taking taylor expansion of x in x 8.815 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 1/4) in x 8.815 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 (pow y 2)))))) in x 8.815 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 (pow y 2))))) in x 8.815 * [taylor]: Taking taylor expansion of 1/4 in x 8.815 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (pow y 2)))) in x 8.815 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 8.815 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.815 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.815 * [taylor]: Taking taylor expansion of y in x 8.816 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (exp (/ 1 (pow y 2))) 1/4)) in x 8.816 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.816 * [taylor]: Taking taylor expansion of x in x 8.816 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 1/4) in x 8.816 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 (pow y 2)))))) in x 8.816 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 (pow y 2))))) in x 8.816 * [taylor]: Taking taylor expansion of 1/4 in x 8.816 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (pow y 2)))) in x 8.816 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 8.816 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.816 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.816 * [taylor]: Taking taylor expansion of y in x 8.817 * [taylor]: Taking taylor expansion of (exp (/ 1/4 (pow y 2))) in y 8.817 * [taylor]: Taking taylor expansion of (/ 1/4 (pow y 2)) in y 8.817 * [taylor]: Taking taylor expansion of 1/4 in y 8.817 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.817 * [taylor]: Taking taylor expansion of y in y 8.822 * [taylor]: Taking taylor expansion of 0 in y 8.829 * [taylor]: Taking taylor expansion of 0 in y 8.844 * [taylor]: Taking taylor expansion of 0 in y 8.845 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (exp (/ 1 (pow y 2))) 1/4))) in (x y) around 0 8.845 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (exp (/ 1 (pow y 2))) 1/4))) in y 8.845 * [taylor]: Taking taylor expansion of -1 in y 8.845 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (exp (/ 1 (pow y 2))) 1/4)) in y 8.845 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.845 * [taylor]: Taking taylor expansion of x in y 8.845 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 1/4) in y 8.845 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 (pow y 2)))))) in y 8.845 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 (pow y 2))))) in y 8.845 * [taylor]: Taking taylor expansion of 1/4 in y 8.845 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (pow y 2)))) in y 8.845 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 8.845 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.845 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.845 * [taylor]: Taking taylor expansion of y in y 8.847 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (exp (/ 1 (pow y 2))) 1/4))) in x 8.847 * [taylor]: Taking taylor expansion of -1 in x 8.847 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (exp (/ 1 (pow y 2))) 1/4)) in x 8.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.847 * [taylor]: Taking taylor expansion of x in x 8.847 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 1/4) in x 8.847 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 (pow y 2)))))) in x 8.847 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 (pow y 2))))) in x 8.847 * [taylor]: Taking taylor expansion of 1/4 in x 8.847 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (pow y 2)))) in x 8.847 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 8.847 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.847 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.847 * [taylor]: Taking taylor expansion of y in x 8.848 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (exp (/ 1 (pow y 2))) 1/4))) in x 8.848 * [taylor]: Taking taylor expansion of -1 in x 8.848 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (exp (/ 1 (pow y 2))) 1/4)) in x 8.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.848 * [taylor]: Taking taylor expansion of x in x 8.848 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 1/4) in x 8.848 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 (pow y 2)))))) in x 8.848 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 (pow y 2))))) in x 8.848 * [taylor]: Taking taylor expansion of 1/4 in x 8.848 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (pow y 2)))) in x 8.848 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 8.848 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.848 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.848 * [taylor]: Taking taylor expansion of y in x 8.849 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1/4 (pow y 2)))) in y 8.849 * [taylor]: Taking taylor expansion of -1 in y 8.849 * [taylor]: Taking taylor expansion of (exp (/ 1/4 (pow y 2))) in y 8.849 * [taylor]: Taking taylor expansion of (/ 1/4 (pow y 2)) in y 8.849 * [taylor]: Taking taylor expansion of 1/4 in y 8.849 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.849 * [taylor]: Taking taylor expansion of y in y 8.855 * [taylor]: Taking taylor expansion of 0 in y 8.863 * [taylor]: Taking taylor expansion of 0 in y 8.874 * [taylor]: Taking taylor expansion of 0 in y 8.874 * * * * [progress]: [ 3 / 4 ] generating series at (2) 8.874 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0 8.875 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 8.875 * [taylor]: Taking taylor expansion of x in y 8.875 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 8.875 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.875 * [taylor]: Taking taylor expansion of y in y 8.875 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 8.875 * [taylor]: Taking taylor expansion of x in x 8.875 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 8.875 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.875 * [taylor]: Taking taylor expansion of y in x 8.875 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 8.875 * [taylor]: Taking taylor expansion of x in x 8.875 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 8.875 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.876 * [taylor]: Taking taylor expansion of y in x 8.876 * [taylor]: Taking taylor expansion of 0 in y 8.877 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 8.877 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.877 * [taylor]: Taking taylor expansion of y in y 8.880 * [taylor]: Taking taylor expansion of 0 in y 8.884 * [taylor]: Taking taylor expansion of 0 in y 8.884 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0 8.884 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 8.884 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 8.884 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.884 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.884 * [taylor]: Taking taylor expansion of y in y 8.885 * [taylor]: Taking taylor expansion of x in y 8.885 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 8.886 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 8.886 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.886 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.886 * [taylor]: Taking taylor expansion of y in x 8.886 * [taylor]: Taking taylor expansion of x in x 8.886 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 8.886 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 8.886 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.886 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.886 * [taylor]: Taking taylor expansion of y in x 8.886 * [taylor]: Taking taylor expansion of x in x 8.886 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 8.886 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.886 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.886 * [taylor]: Taking taylor expansion of y in y 8.889 * [taylor]: Taking taylor expansion of 0 in y 8.892 * [taylor]: Taking taylor expansion of 0 in y 8.896 * [taylor]: Taking taylor expansion of 0 in y 8.897 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0 8.897 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y 8.897 * [taylor]: Taking taylor expansion of -1 in y 8.897 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 8.897 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 8.897 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.897 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.897 * [taylor]: Taking taylor expansion of y in y 8.898 * [taylor]: Taking taylor expansion of x in y 8.898 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 8.898 * [taylor]: Taking taylor expansion of -1 in x 8.898 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 8.898 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 8.898 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.898 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.899 * [taylor]: Taking taylor expansion of y in x 8.899 * [taylor]: Taking taylor expansion of x in x 8.899 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 8.899 * [taylor]: Taking taylor expansion of -1 in x 8.899 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 8.899 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 8.899 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 8.899 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.899 * [taylor]: Taking taylor expansion of y in x 8.899 * [taylor]: Taking taylor expansion of x in x 8.899 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 8.899 * [taylor]: Taking taylor expansion of -1 in y 8.899 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 8.899 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.899 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.900 * [taylor]: Taking taylor expansion of y in y 8.903 * [taylor]: Taking taylor expansion of 0 in y 8.907 * [taylor]: Taking taylor expansion of 0 in y 8.913 * [taylor]: Taking taylor expansion of 0 in y 8.913 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 8.914 * [approximate]: Taking taylor expansion of (sqrt (exp (pow y 2))) in (y) around 0 8.914 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 8.914 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 8.914 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.914 * [taylor]: Taking taylor expansion of y in y 8.916 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 8.916 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 8.916 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.916 * [taylor]: Taking taylor expansion of y in y 8.926 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in (y) around 0 8.926 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 8.926 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 8.926 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.926 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.926 * [taylor]: Taking taylor expansion of y in y 8.928 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 8.928 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 8.928 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.928 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.928 * [taylor]: Taking taylor expansion of y in y 8.933 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in (y) around 0 8.933 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 8.933 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 8.933 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.933 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.933 * [taylor]: Taking taylor expansion of y in y 8.934 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 8.934 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 8.934 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.935 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.935 * [taylor]: Taking taylor expansion of y in y 8.940 * * * [progress]: simplifying candidates 8.941 * [simplify]: Simplifying using # : (expm1 (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (log1p (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (+ (+ (log x) (log (sqrt (sqrt (exp (* y y)))))) (log (sqrt (sqrt (exp (* y y)))))) (+ (log (* x (sqrt (sqrt (exp (* y y)))))) (log (sqrt (sqrt (exp (* y y)))))) (log (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (exp (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (* (* (* (* x x) x) (* (* (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (* (* (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (* (* (* (* x (sqrt (sqrt (exp (* y y))))) (* x (sqrt (sqrt (exp (* y y)))))) (* x (sqrt (sqrt (exp (* y y)))))) (* (* (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (* (cbrt (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (cbrt (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))))) (cbrt (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (* (* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (sqrt (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (sqrt (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (* (* x (sqrt (sqrt (exp (* y y))))) (* (cbrt (sqrt (sqrt (exp (* y y))))) (cbrt (sqrt (sqrt (exp (* y y))))))) (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y))))))) (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))))) (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (sqrt (exp (* y y)))))) (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt 1))) (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (sqrt (exp (* y y)))))) (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt 1)) (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (sqrt (exp (* y y)))))) (* (* x (sqrt (sqrt (exp (* y y))))) 1) (* (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y))))) (expm1 (* x (sqrt (sqrt (exp (* y y)))))) (log1p (* x (sqrt (sqrt (exp (* y y)))))) (* x (sqrt (sqrt (exp (* y y))))) (+ (log x) (log (sqrt (sqrt (exp (* y y)))))) (log (* x (sqrt (sqrt (exp (* y y)))))) (exp (* x (sqrt (sqrt (exp (* y y)))))) (* (* (* x x) x) (* (* (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (* (cbrt (* x (sqrt (sqrt (exp (* y y)))))) (cbrt (* x (sqrt (sqrt (exp (* y y))))))) (cbrt (* x (sqrt (sqrt (exp (* y y)))))) (* (* (* x (sqrt (sqrt (exp (* y y))))) (* x (sqrt (sqrt (exp (* y y)))))) (* x (sqrt (sqrt (exp (* y y)))))) (sqrt (* x (sqrt (sqrt (exp (* y y)))))) (sqrt (* x (sqrt (sqrt (exp (* y y)))))) (* (sqrt x) (sqrt (sqrt (sqrt (exp (* y y)))))) (* (sqrt x) (sqrt (sqrt (sqrt (exp (* y y)))))) (* (sqrt x) (sqrt (sqrt (sqrt (exp (* y y)))))) (* (sqrt x) (sqrt (sqrt (sqrt (exp (* y y)))))) (* (sqrt x) (sqrt (sqrt (sqrt (exp (* y y)))))) (* (sqrt x) (sqrt (sqrt (sqrt (exp (* y y)))))) (* x (* (cbrt (sqrt (sqrt (exp (* y y))))) (cbrt (sqrt (sqrt (exp (* y y))))))) (* x (sqrt (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y))))))) (* x (sqrt (sqrt (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))))) (* x (sqrt (sqrt (sqrt (exp (* y y)))))) (* x (sqrt (sqrt 1))) (* x (sqrt (sqrt (sqrt (exp (* y y)))))) (* x (sqrt 1)) (* x (sqrt (sqrt (sqrt (exp (* y y)))))) (* x 1) (* (cbrt x) (sqrt (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* x (sqrt (sqrt (exp (* y y))))) (expm1 (* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y))))) (log1p (* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y))))) (* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y)))) (* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y)))) (* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y)))) (+ (+ (+ (log x) (log (sqrt (sqrt (exp (* y y)))))) (log (sqrt (sqrt (exp (* y y)))))) (log (sqrt (exp (* y y))))) (+ (+ (log (* x (sqrt (sqrt (exp (* y y)))))) (log (sqrt (sqrt (exp (* y y)))))) (log (sqrt (exp (* y y))))) (+ (log (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (log (sqrt (exp (* y y))))) (log (* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y))))) (exp (* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y))))) (* (* (* (* (* x x) x) (* (* (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (* (* (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (* (* (sqrt (exp (* y y))) (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (* (* (* (* x (sqrt (sqrt (exp (* y y))))) (* x (sqrt (sqrt (exp (* y y)))))) (* x (sqrt (sqrt (exp (* y y)))))) (* (* (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (* (* (sqrt (exp (* y y))) (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (* (* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y)))))) (* (* (sqrt (exp (* y y))) (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (cbrt (* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y))))) (cbrt (* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y)))))) (cbrt (* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y))))) (* (* (* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y)))) (* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y))))) (* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y))))) (sqrt (* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y))))) (sqrt (* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (sqrt (exp (* y y))))) (* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y)))))) (* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (sqrt (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))))) (* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (sqrt 1)) (* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) (* (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (exp (* y y))))) 1) (* (sqrt (sqrt (exp (* y y)))) (sqrt (exp (* y y)))) (expm1 (sqrt (exp (* y y)))) (log1p (sqrt (exp (* y y)))) (log (sqrt (exp (* y y)))) (exp (sqrt (exp (* y y)))) (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y))))) (cbrt (sqrt (exp (* y y)))) (* (* (sqrt (exp (* y y))) (sqrt (exp (* y y)))) (sqrt (exp (* y y)))) (sqrt (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))) (sqrt (cbrt (exp (* y y)))) (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y)))) (sqrt 1) (sqrt (exp (* y y))) (/ y 2) (/ 1 2) (/ y 2) (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y)))) x (* x (sqrt (exp (pow y 2)))) (* x (sqrt (exp (pow y 2)))) x (* x (exp (* 1/4 (pow y 2)))) (* x (exp (* 1/4 (pow y 2)))) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) (+ (* 1/2 (pow y 2)) (+ (* 1/8 (pow y 4)) 1)) (sqrt (exp (pow y 2))) (sqrt (exp (pow y 2))) 8.947 * * [simplify]: iteration 0 : 119 enodes (cost 1767 ) 8.974 * * [simplify]: iteration 1 : 278 enodes (cost 1220 ) 9.054 * * [simplify]: iteration 2 : 1207 enodes (cost 910 ) 10.022 * * [simplify]: iteration done : 5001 enodes (cost 910 ) 10.022 * [simplify]: Simplified to: (expm1 (* (sqrt (exp (* y y))) x)) (log1p (* (sqrt (exp (* y y))) x)) (* (sqrt (exp (* y y))) x) (* (sqrt (exp (* y y))) x) (log (* x (sqrt (exp (pow y 2))))) (log (* x (sqrt (exp (pow y 2))))) (log (* x (sqrt (exp (pow y 2))))) (exp (* x (sqrt (exp (pow y 2))))) (pow (* (sqrt (exp (* y y))) x) 3) (pow (* (sqrt (exp (* y y))) x) 3) (* (cbrt (* (sqrt (exp (* y y))) x)) (cbrt (* (sqrt (exp (* y y))) x))) (cbrt (* (sqrt (exp (* y y))) x)) (pow (* (sqrt (exp (* y y))) x) 3) (sqrt (* (sqrt (exp (* y y))) x)) (sqrt (* (sqrt (exp (* y y))) x)) (* (* x (sqrt (sqrt (exp (* y y))))) (* (cbrt (sqrt (sqrt (exp (* y y))))) (cbrt (sqrt (sqrt (exp (* y y))))))) (* (* x (sqrt (sqrt (exp (* y y))))) (fabs (cbrt (sqrt (exp (* y y)))))) (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (fabs (cbrt (exp (* y y)))))) (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (sqrt (exp (* y y)))))) (* x (sqrt (sqrt (exp (* y y))))) (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (sqrt (exp (* y y)))))) (* x (sqrt (sqrt (exp (* y y))))) (* (* x (sqrt (sqrt (exp (* y y))))) (sqrt (sqrt (sqrt (exp (* y y)))))) (* x (sqrt (sqrt (exp (* y y))))) (sqrt (exp (pow y 2))) (expm1 (* x (sqrt (sqrt (exp (* y y)))))) (log1p (* x (sqrt (sqrt (exp (* y y)))))) (* x (sqrt (sqrt (exp (* y y))))) (log (* x (sqrt (sqrt (exp (* y y)))))) (log (* x (sqrt (sqrt (exp (* y y)))))) (exp (* x (sqrt (sqrt (exp (* y y)))))) (pow (* x (sqrt (sqrt (exp (* y y))))) 3) (* (cbrt (* x (sqrt (sqrt (exp (* y y)))))) (cbrt (* x (sqrt (sqrt (exp (* y y))))))) (cbrt (* x (sqrt (sqrt (exp (* y y)))))) (pow (* x (sqrt (sqrt (exp (* y y))))) 3) (sqrt (* x (sqrt (sqrt (exp (* y y)))))) (sqrt (* x (sqrt (sqrt (exp (* y y)))))) (* (sqrt x) (sqrt (sqrt (sqrt (exp (* y y)))))) (* (sqrt x) (sqrt (sqrt (sqrt (exp (* y y)))))) (* (sqrt x) (sqrt (sqrt (sqrt (exp (* y y)))))) (* (sqrt x) (sqrt (sqrt (sqrt (exp (* y y)))))) (* (sqrt x) (sqrt (sqrt (sqrt (exp (* y y)))))) (* (sqrt x) (sqrt (sqrt (sqrt (exp (* y y)))))) (* x (* (cbrt (sqrt (sqrt (exp (* y y))))) (cbrt (sqrt (sqrt (exp (* y y))))))) (* x (fabs (cbrt (sqrt (exp (* y y)))))) (* (sqrt (fabs (cbrt (exp (* y y))))) x) (* x (sqrt (sqrt (sqrt (exp (* y y)))))) x (* x (sqrt (sqrt (sqrt (exp (* y y)))))) x (* x (sqrt (sqrt (sqrt (exp (* y y)))))) x (* (cbrt x) (sqrt (sqrt (exp (* y y))))) (* (sqrt x) (sqrt (sqrt (exp (* y y))))) (* x (sqrt (sqrt (exp (* y y))))) (expm1 (* x (exp (* y y)))) (log1p (* x (exp (pow y 2)))) (* x (exp (* y y))) (* x (exp (* y y))) (* x (exp (* y y))) (log (* x (exp (* y y)))) (log (* x (exp (* y y)))) (log (* x (exp (* y y)))) (log (* x (exp (* y y)))) (exp (* x (exp (pow y 2)))) (pow (* x (exp (* y y))) 3) (pow (* x (exp (* y y))) 3) (pow (* x (exp (* y y))) 3) (* (cbrt (* x (exp (pow y 2)))) (cbrt (* x (exp (pow y 2))))) (cbrt (* x (exp (pow y 2)))) (pow (* x (exp (* y y))) 3) (sqrt (* x (exp (pow y 2)))) (sqrt (* x (exp (pow y 2)))) (* (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y))))) (* (sqrt (exp (* y y))) x)) (* (fabs (cbrt (exp (* y y)))) (* x (sqrt (exp (pow y 2))))) (* x (pow (sqrt (sqrt (exp (* y y)))) 3)) (* (sqrt (exp (* y y))) x) (* x (pow (sqrt (sqrt (exp (* y y)))) 3)) (* (sqrt (exp (* y y))) x) (pow (sqrt (sqrt (exp (* y y)))) 3) (expm1 (sqrt (exp (* y y)))) (log1p (sqrt (exp (* y y)))) (log (sqrt (exp (* y y)))) (exp (sqrt (exp (* y y)))) (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y))))) (cbrt (sqrt (exp (* y y)))) (pow (sqrt (exp (* y y))) 3) (fabs (cbrt (exp (* y y)))) (sqrt (cbrt (exp (* y y)))) (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y)))) 1 (sqrt (exp (pow y 2))) (/ y 2) 1/2 (/ y 2) (sqrt (sqrt (exp (* y y)))) (sqrt (sqrt (exp (* y y)))) x (* (sqrt (exp (* y y))) x) (* (sqrt (exp (* y y))) x) x (* x (exp (* 1/4 (pow y 2)))) (* x (exp (* 1/4 (pow y 2)))) x (* x (exp (* y y))) (* x (exp (* y y))) (fma 1/2 (* y y) (fma 1/8 (pow y 4) 1)) (sqrt (exp (pow y 2))) (sqrt (exp (pow y 2))) 10.023 * * * [progress]: adding candidates to table 10.286 * [progress]: [Phase 3 of 3] Extracting. 10.287 * * [regime]: Finding splitpoints for: (# # #) 10.287 * * * [regime-changes]: Trying 5 branch expressions: ((* y y) (exp (* y y)) (* x (exp (* y y))) y x) 10.287 * * * * [regimes]: Trying to branch on (* y y) from (# # #) 10.306 * * * * [regimes]: Trying to branch on (exp (* y y)) from (# # #) 10.323 * * * * [regimes]: Trying to branch on (* x (exp (* y y))) from (# # #) 10.344 * * * * [regimes]: Trying to branch on y from (# # #) 10.364 * * * * [regimes]: Trying to branch on x from (# # #) 10.380 * * * [regime]: Found split indices: #