12.613 * [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.022 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 0.023 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 0.025 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 0.027 * * [simplify]: iteration 4 : 47 enodes (cost 6 ) 0.034 * * [simplify]: iteration 5 : 113 enodes (cost 6 ) 0.065 * * [simplify]: iteration 6 : 302 enodes (cost 6 ) 0.190 * * [simplify]: iteration 7 : 994 enodes (cost 6 ) 1.169 * * [simplify]: iteration 8 : 3762 enodes (cost 6 ) 3.461 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 3.461 * [simplify]: Simplified to: (* x (exp (* y y))) 3.463 * * [progress]: iteration 1 / 4 3.463 * * * [progress]: picking best candidate 3.464 * * * * [pick]: Picked # 3.464 * * * [progress]: localizing error 3.469 * * * [progress]: generating rewritten candidates 3.469 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.473 * * * [progress]: generating series expansions 3.473 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.474 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0 3.474 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 3.474 * [taylor]: Taking taylor expansion of x in y 3.474 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 3.474 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.474 * [taylor]: Taking taylor expansion of y in y 3.474 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 3.474 * [taylor]: Taking taylor expansion of x in x 3.474 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 3.474 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.474 * [taylor]: Taking taylor expansion of y in x 3.474 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 3.474 * [taylor]: Taking taylor expansion of x in x 3.474 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 3.474 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.474 * [taylor]: Taking taylor expansion of y in x 3.474 * [taylor]: Taking taylor expansion of 0 in y 3.475 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 3.475 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.475 * [taylor]: Taking taylor expansion of y in y 3.477 * [taylor]: Taking taylor expansion of 0 in y 3.480 * [taylor]: Taking taylor expansion of 0 in y 3.480 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0 3.480 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 3.480 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 3.480 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.480 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.480 * [taylor]: Taking taylor expansion of y in y 3.481 * [taylor]: Taking taylor expansion of x in y 3.481 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 3.481 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 3.481 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 3.481 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.481 * [taylor]: Taking taylor expansion of y in x 3.481 * [taylor]: Taking taylor expansion of x in x 3.481 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 3.481 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 3.481 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 3.481 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.481 * [taylor]: Taking taylor expansion of y in x 3.481 * [taylor]: Taking taylor expansion of x in x 3.482 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 3.482 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.482 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.482 * [taylor]: Taking taylor expansion of y in y 3.485 * [taylor]: Taking taylor expansion of 0 in y 3.493 * [taylor]: Taking taylor expansion of 0 in y 3.498 * [taylor]: Taking taylor expansion of 0 in y 3.498 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0 3.498 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y 3.498 * [taylor]: Taking taylor expansion of -1 in y 3.498 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 3.498 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 3.498 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.499 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.499 * [taylor]: Taking taylor expansion of y in y 3.499 * [taylor]: Taking taylor expansion of x in y 3.500 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 3.500 * [taylor]: Taking taylor expansion of -1 in x 3.500 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 3.500 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 3.500 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 3.500 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.500 * [taylor]: Taking taylor expansion of y in x 3.500 * [taylor]: Taking taylor expansion of x in x 3.500 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 3.500 * [taylor]: Taking taylor expansion of -1 in x 3.500 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 3.500 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 3.500 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 3.500 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.500 * [taylor]: Taking taylor expansion of y in x 3.501 * [taylor]: Taking taylor expansion of x in x 3.501 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 3.501 * [taylor]: Taking taylor expansion of -1 in y 3.501 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 3.501 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.501 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.501 * [taylor]: Taking taylor expansion of y in y 3.505 * [taylor]: Taking taylor expansion of 0 in y 3.509 * [taylor]: Taking taylor expansion of 0 in y 3.516 * [taylor]: Taking taylor expansion of 0 in y 3.516 * * * [progress]: simplifying candidates 3.517 * [simplify]: Simplifying using # : (* 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))) 3.519 * * [simplify]: iteration 0 : 35 enodes (cost 174 ) 3.528 * * [simplify]: iteration 1 : 74 enodes (cost 170 ) 3.538 * * [simplify]: iteration 2 : 155 enodes (cost 147 ) 3.565 * * [simplify]: iteration 3 : 313 enodes (cost 147 ) 3.658 * * [simplify]: iteration 4 : 948 enodes (cost 147 ) 4.199 * * [simplify]: iteration 5 : 3280 enodes (cost 147 ) 5.283 * * [simplify]: iteration done : 5001 enodes (cost 147 ) 5.283 * [simplify]: Simplified to: (* x (exp (pow y 2))) (+ (log x) (* y y)) (+ (log x) (* y y)) (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.283 * * * [progress]: adding candidates to table 5.322 * * [progress]: iteration 2 / 4 5.322 * * * [progress]: picking best candidate 5.327 * * * * [pick]: Picked # 5.327 * * * [progress]: localizing error 5.334 * * * [progress]: generating rewritten candidates 5.334 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 5.340 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 5.356 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 5.357 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 5.360 * * * [progress]: generating series expansions 5.360 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 5.360 * [approximate]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in (x y) around 0 5.360 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in y 5.360 * [taylor]: Taking taylor expansion of x in y 5.360 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 5.360 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.360 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.360 * [taylor]: Taking taylor expansion of y in y 5.361 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in x 5.361 * [taylor]: Taking taylor expansion of x in x 5.362 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in x 5.362 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 5.362 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.362 * [taylor]: Taking taylor expansion of y in x 5.362 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in x 5.362 * [taylor]: Taking taylor expansion of x in x 5.362 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in x 5.362 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 5.362 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.362 * [taylor]: Taking taylor expansion of y in x 5.363 * [taylor]: Taking taylor expansion of 0 in y 5.364 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 5.364 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.364 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.364 * [taylor]: Taking taylor expansion of y in y 5.367 * [taylor]: Taking taylor expansion of 0 in y 5.370 * [taylor]: Taking taylor expansion of 0 in y 5.370 * [approximate]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in (x y) around 0 5.370 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in y 5.370 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.370 * [taylor]: Taking taylor expansion of x in y 5.370 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.370 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.370 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.370 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.370 * [taylor]: Taking taylor expansion of y in y 5.371 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 5.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.371 * [taylor]: Taking taylor expansion of x in x 5.371 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 5.371 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.371 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.371 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.371 * [taylor]: Taking taylor expansion of y in x 5.372 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 5.372 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.372 * [taylor]: Taking taylor expansion of x in x 5.372 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 5.373 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.373 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.373 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.373 * [taylor]: Taking taylor expansion of y in x 5.374 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.374 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.374 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.374 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.374 * [taylor]: Taking taylor expansion of y in y 5.375 * [taylor]: Taking taylor expansion of 0 in y 5.378 * [taylor]: Taking taylor expansion of 0 in y 5.382 * [taylor]: Taking taylor expansion of 0 in y 5.382 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in (x y) around 0 5.382 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in y 5.382 * [taylor]: Taking taylor expansion of -1 in y 5.382 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in y 5.383 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.383 * [taylor]: Taking taylor expansion of x in y 5.383 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.383 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.383 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.383 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.383 * [taylor]: Taking taylor expansion of y in y 5.383 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in x 5.383 * [taylor]: Taking taylor expansion of -1 in x 5.383 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 5.383 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.383 * [taylor]: Taking taylor expansion of x in x 5.384 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 5.384 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.384 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.384 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.384 * [taylor]: Taking taylor expansion of y in x 5.385 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in x 5.385 * [taylor]: Taking taylor expansion of -1 in x 5.385 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 5.385 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.385 * [taylor]: Taking taylor expansion of x in x 5.385 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 5.385 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.385 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.385 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.385 * [taylor]: Taking taylor expansion of y in x 5.386 * [taylor]: Taking taylor expansion of (* -1 (sqrt (exp (/ 1 (pow y 2))))) in y 5.386 * [taylor]: Taking taylor expansion of -1 in y 5.386 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.386 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.386 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.386 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.386 * [taylor]: Taking taylor expansion of y in y 5.391 * [taylor]: Taking taylor expansion of 0 in y 5.395 * [taylor]: Taking taylor expansion of 0 in y 5.400 * [taylor]: Taking taylor expansion of 0 in y 5.400 * * * * [progress]: [ 2 / 4 ] generating series at (2) 5.400 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0 5.400 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 5.400 * [taylor]: Taking taylor expansion of x in y 5.400 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.400 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.400 * [taylor]: Taking taylor expansion of y in y 5.401 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 5.401 * [taylor]: Taking taylor expansion of x in x 5.401 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 5.401 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.401 * [taylor]: Taking taylor expansion of y in x 5.401 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 5.401 * [taylor]: Taking taylor expansion of x in x 5.401 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 5.401 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.401 * [taylor]: Taking taylor expansion of y in x 5.401 * [taylor]: Taking taylor expansion of 0 in y 5.402 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.402 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.402 * [taylor]: Taking taylor expansion of y in y 5.404 * [taylor]: Taking taylor expansion of 0 in y 5.406 * [taylor]: Taking taylor expansion of 0 in y 5.407 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0 5.407 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 5.407 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.407 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.407 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.407 * [taylor]: Taking taylor expansion of y in y 5.407 * [taylor]: Taking taylor expansion of x in y 5.407 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 5.407 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.407 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.407 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.407 * [taylor]: Taking taylor expansion of y in x 5.408 * [taylor]: Taking taylor expansion of x in x 5.408 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 5.408 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.408 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.408 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.408 * [taylor]: Taking taylor expansion of y in x 5.408 * [taylor]: Taking taylor expansion of x in x 5.408 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.408 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.408 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.408 * [taylor]: Taking taylor expansion of y in y 5.410 * [taylor]: Taking taylor expansion of 0 in y 5.412 * [taylor]: Taking taylor expansion of 0 in y 5.415 * [taylor]: Taking taylor expansion of 0 in y 5.415 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0 5.415 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y 5.415 * [taylor]: Taking taylor expansion of -1 in y 5.415 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 5.415 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.415 * [taylor]: Taking taylor expansion of (/ 1 (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.416 * [taylor]: Taking taylor expansion of x in y 5.416 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 5.416 * [taylor]: Taking taylor expansion of -1 in x 5.416 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 5.416 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.416 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.416 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.416 * [taylor]: Taking taylor expansion of y in x 5.416 * [taylor]: Taking taylor expansion of x in x 5.416 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 5.416 * [taylor]: Taking taylor expansion of -1 in x 5.416 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 5.416 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.416 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.416 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.416 * [taylor]: Taking taylor expansion of y in x 5.417 * [taylor]: Taking taylor expansion of x in x 5.417 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 5.417 * [taylor]: Taking taylor expansion of -1 in y 5.417 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.417 * [taylor]: Taking taylor expansion of (/ 1 (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.419 * [taylor]: Taking taylor expansion of 0 in y 5.422 * [taylor]: Taking taylor expansion of 0 in y 5.426 * [taylor]: Taking taylor expansion of 0 in y 5.427 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 5.427 * [approximate]: Taking taylor expansion of (sqrt (exp (pow y 2))) in (y) around 0 5.427 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 5.427 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.427 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.427 * [taylor]: Taking taylor expansion of y in y 5.428 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 5.428 * [taylor]: Taking taylor expansion of (exp (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.436 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in (y) around 0 5.436 * [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.437 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.437 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.437 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.437 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.437 * [taylor]: Taking taylor expansion of y in y 5.441 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in (y) around 0 5.441 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.441 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.441 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.441 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.441 * [taylor]: Taking taylor expansion of y in y 5.442 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.442 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.442 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.442 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.442 * [taylor]: Taking taylor expansion of y in y 5.445 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 5.445 * [approximate]: Taking taylor expansion of (sqrt (exp (pow y 2))) in (y) around 0 5.445 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 5.445 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.445 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.445 * [taylor]: Taking taylor expansion of y in y 5.447 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 5.447 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.447 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.447 * [taylor]: Taking taylor expansion of y in y 5.455 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in (y) around 0 5.455 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.455 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.455 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.455 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.455 * [taylor]: Taking taylor expansion of y in y 5.456 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.456 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.456 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.456 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.456 * [taylor]: Taking taylor expansion of y in y 5.459 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in (y) around 0 5.460 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.460 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.460 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.460 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.460 * [taylor]: Taking taylor expansion of y in y 5.460 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 5.460 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.460 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.460 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.460 * [taylor]: Taking taylor expansion of y in y 5.464 * * * [progress]: simplifying candidates 5.465 * [simplify]: Simplifying using # : (* 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)))) (* (* 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)))) (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)))) (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.468 * * [simplify]: iteration 0 : 74 enodes (cost 894 ) 5.486 * * [simplify]: iteration 1 : 163 enodes (cost 689 ) 5.524 * * [simplify]: iteration 2 : 460 enodes (cost 619 ) 5.672 * * [simplify]: iteration 3 : 1060 enodes (cost 616 ) 6.167 * * [simplify]: iteration 4 : 2887 enodes (cost 616 ) 7.380 * * [simplify]: iteration done : 5000 enodes (cost 616 ) 7.380 * [simplify]: Simplified to: (* (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))))) (* (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y))))) x) (* 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) (* x (exp (pow y 2))) (* x (exp (pow y 2))) (+ (log x) (* y y)) (+ (log x) (* y y)) (+ (log x) (* y y)) (exp (* x (exp (pow y 2)))) (pow (* x (exp (pow y 2))) 3) (pow (* x (exp (pow y 2))) 3) (* (cbrt (* x (exp (pow y 2)))) (cbrt (* x (exp (pow y 2))))) (cbrt (* x (exp (pow y 2)))) (pow (* x (exp (pow y 2))) 3) (sqrt (* x (exp (pow y 2)))) (sqrt (* x (exp (pow y 2)))) (* (* x (sqrt (exp (* y y)))) (* (cbrt (sqrt (exp (* y y)))) (cbrt (sqrt (exp (* y y)))))) (* (fabs (cbrt (exp (* y y)))) (* (sqrt (exp (pow y 2))) x)) (* (* 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)) (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 2) 1/2 (/ y 2) (sqrt (sqrt (exp (* y y)))) (sqrt (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 2) 1/2 (/ y 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))) (+ (* 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))) 7.381 * * * [progress]: adding candidates to table 7.564 * * [progress]: iteration 3 / 4 7.564 * * * [progress]: picking best candidate 7.568 * * * * [pick]: Picked # 7.568 * * * [progress]: localizing error 7.582 * * * [progress]: generating rewritten candidates 7.582 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 7.589 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 7.605 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 7.607 * * * [progress]: generating series expansions 7.607 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 7.607 * [approximate]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in (x y) around 0 7.607 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in y 7.607 * [taylor]: Taking taylor expansion of x in y 7.607 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 7.607 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 7.607 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.607 * [taylor]: Taking taylor expansion of y in y 7.609 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in x 7.609 * [taylor]: Taking taylor expansion of x in x 7.609 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in x 7.609 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 7.609 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.609 * [taylor]: Taking taylor expansion of y in x 7.610 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in x 7.610 * [taylor]: Taking taylor expansion of x in x 7.610 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in x 7.610 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 7.610 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.611 * [taylor]: Taking taylor expansion of y in x 7.611 * [taylor]: Taking taylor expansion of 0 in y 7.612 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 7.612 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 7.612 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.612 * [taylor]: Taking taylor expansion of y in y 7.615 * [taylor]: Taking taylor expansion of 0 in y 7.618 * [taylor]: Taking taylor expansion of 0 in y 7.618 * [approximate]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in (x y) around 0 7.618 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in y 7.618 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.618 * [taylor]: Taking taylor expansion of x in y 7.618 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 7.618 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.618 * [taylor]: Taking taylor expansion of (/ 1 (pow y 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.619 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 7.619 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.619 * [taylor]: Taking taylor expansion of x in x 7.619 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 7.619 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 7.619 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.619 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.619 * [taylor]: Taking taylor expansion of y in x 7.620 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 7.620 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.620 * [taylor]: Taking taylor expansion of x in x 7.621 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 7.621 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 7.621 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.621 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.621 * [taylor]: Taking taylor expansion of y in x 7.622 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 7.622 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.622 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.622 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.622 * [taylor]: Taking taylor expansion of y in y 7.624 * [taylor]: Taking taylor expansion of 0 in y 7.626 * [taylor]: Taking taylor expansion of 0 in y 7.630 * [taylor]: Taking taylor expansion of 0 in y 7.631 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in (x y) around 0 7.631 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in y 7.631 * [taylor]: Taking taylor expansion of -1 in y 7.631 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in y 7.631 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.631 * [taylor]: Taking taylor expansion of x in y 7.631 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 7.631 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.631 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.631 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.631 * [taylor]: Taking taylor expansion of y in y 7.632 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in x 7.632 * [taylor]: Taking taylor expansion of -1 in x 7.632 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 7.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.632 * [taylor]: Taking taylor expansion of x in x 7.632 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 7.632 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 7.632 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.632 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.632 * [taylor]: Taking taylor expansion of y in x 7.633 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in x 7.633 * [taylor]: Taking taylor expansion of -1 in x 7.633 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 7.633 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.633 * [taylor]: Taking taylor expansion of x in x 7.633 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 7.633 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 7.633 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.633 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.633 * [taylor]: Taking taylor expansion of y in x 7.635 * [taylor]: Taking taylor expansion of (* -1 (sqrt (exp (/ 1 (pow y 2))))) in y 7.635 * [taylor]: Taking taylor expansion of -1 in y 7.635 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 7.635 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.635 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.635 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.635 * [taylor]: Taking taylor expansion of y in y 7.637 * [taylor]: Taking taylor expansion of 0 in y 7.640 * [taylor]: Taking taylor expansion of 0 in y 7.646 * [taylor]: Taking taylor expansion of 0 in y 7.646 * * * * [progress]: [ 2 / 3 ] generating series at (2) 7.646 * [approximate]: Taking taylor expansion of (* (* x (pow (exp y) (* 1/2 y))) (sqrt (exp (pow y 2)))) in (x y) around 0 7.646 * [taylor]: Taking taylor expansion of (* (* x (pow (exp y) (* 1/2 y))) (sqrt (exp (pow y 2)))) in y 7.646 * [taylor]: Taking taylor expansion of (* x (pow (exp y) (* 1/2 y))) in y 7.646 * [taylor]: Taking taylor expansion of x in y 7.646 * [taylor]: Taking taylor expansion of (pow (exp y) (* 1/2 y)) in y 7.646 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 y) (log (exp y)))) in y 7.646 * [taylor]: Taking taylor expansion of (* (* 1/2 y) (log (exp y))) in y 7.646 * [taylor]: Taking taylor expansion of (* 1/2 y) in y 7.646 * [taylor]: Taking taylor expansion of 1/2 in y 7.646 * [taylor]: Taking taylor expansion of y in y 7.646 * [taylor]: Taking taylor expansion of (log (exp y)) in y 7.646 * [taylor]: Taking taylor expansion of (exp y) in y 7.646 * [taylor]: Taking taylor expansion of y in y 7.652 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 7.652 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 7.652 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.652 * [taylor]: Taking taylor expansion of y in y 7.653 * [taylor]: Taking taylor expansion of (* (* x (pow (exp y) (* 1/2 y))) (sqrt (exp (pow y 2)))) in x 7.653 * [taylor]: Taking taylor expansion of (* x (pow (exp y) (* 1/2 y))) in x 7.653 * [taylor]: Taking taylor expansion of x in x 7.653 * [taylor]: Taking taylor expansion of (pow (exp y) (* 1/2 y)) in x 7.653 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 y) (log (exp y)))) in x 7.653 * [taylor]: Taking taylor expansion of (* (* 1/2 y) (log (exp y))) in x 7.653 * [taylor]: Taking taylor expansion of (* 1/2 y) in x 7.653 * [taylor]: Taking taylor expansion of 1/2 in x 7.653 * [taylor]: Taking taylor expansion of y in x 7.653 * [taylor]: Taking taylor expansion of (log (exp y)) in x 7.653 * [taylor]: Taking taylor expansion of (exp y) in x 7.654 * [taylor]: Taking taylor expansion of y in x 7.654 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in x 7.654 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 7.654 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.654 * [taylor]: Taking taylor expansion of y in x 7.655 * [taylor]: Taking taylor expansion of (* (* x (pow (exp y) (* 1/2 y))) (sqrt (exp (pow y 2)))) in x 7.655 * [taylor]: Taking taylor expansion of (* x (pow (exp y) (* 1/2 y))) in x 7.655 * [taylor]: Taking taylor expansion of x in x 7.655 * [taylor]: Taking taylor expansion of (pow (exp y) (* 1/2 y)) in x 7.655 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 y) (log (exp y)))) in x 7.655 * [taylor]: Taking taylor expansion of (* (* 1/2 y) (log (exp 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 y)) in x 7.655 * [taylor]: Taking taylor expansion of (exp y) in x 7.655 * [taylor]: Taking taylor expansion of y in x 7.655 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in x 7.655 * [taylor]: Taking taylor expansion of (exp (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.656 * [taylor]: Taking taylor expansion of 0 in y 7.658 * [taylor]: Taking taylor expansion of (* (sqrt (exp (pow y 2))) (exp (* 1/2 (pow y 2)))) in y 7.658 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 7.658 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 7.658 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.658 * [taylor]: Taking taylor expansion of y 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.669 * [taylor]: Taking taylor expansion of 0 in y 7.678 * [taylor]: Taking taylor expansion of 0 in y 7.678 * [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.678 * [taylor]: Taking taylor expansion of (* (/ (pow (exp (/ 1 y)) (/ 1/2 y)) x) (sqrt (exp (/ 1 (pow y 2))))) in y 7.678 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1/2 y)) x) in y 7.678 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1/2 y)) in y 7.678 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 y) (log (exp (/ 1 y))))) in y 7.678 * [taylor]: Taking taylor expansion of (* (/ 1/2 y) (log (exp (/ 1 y)))) in y 7.678 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y 7.679 * [taylor]: Taking taylor expansion of 1/2 in y 7.679 * [taylor]: Taking taylor expansion of y in y 7.679 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 7.679 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 7.679 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.679 * [taylor]: Taking taylor expansion of y in y 7.679 * [taylor]: Taking taylor expansion of x in y 7.679 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 7.679 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.680 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.680 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.680 * [taylor]: Taking taylor expansion of y in y 7.680 * [taylor]: Taking taylor expansion of (* (/ (pow (exp (/ 1 y)) (/ 1/2 y)) x) (sqrt (exp (/ 1 (pow y 2))))) in x 7.680 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1/2 y)) x) in x 7.680 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1/2 y)) in x 7.680 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 y) (log (exp (/ 1 y))))) in x 7.680 * [taylor]: Taking taylor expansion of (* (/ 1/2 y) (log (exp (/ 1 y)))) in x 7.680 * [taylor]: Taking taylor expansion of (/ 1/2 y) in x 7.680 * [taylor]: Taking taylor expansion of 1/2 in x 7.680 * [taylor]: Taking taylor expansion of y in x 7.680 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 7.680 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 7.680 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.680 * [taylor]: Taking taylor expansion of y in x 7.681 * [taylor]: Taking taylor expansion of x in x 7.681 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 7.681 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 7.681 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.681 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.681 * [taylor]: Taking taylor expansion of y in x 7.682 * [taylor]: Taking taylor expansion of (* (/ (pow (exp (/ 1 y)) (/ 1/2 y)) x) (sqrt (exp (/ 1 (pow y 2))))) in x 7.682 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1/2 y)) x) in x 7.682 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1/2 y)) in x 7.682 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 y) (log (exp (/ 1 y))))) in x 7.682 * [taylor]: Taking taylor expansion of (* (/ 1/2 y) (log (exp (/ 1 y)))) in x 7.682 * [taylor]: Taking taylor expansion of (/ 1/2 y) in x 7.682 * [taylor]: Taking taylor expansion of 1/2 in x 7.682 * [taylor]: Taking taylor expansion of y in x 7.682 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 7.682 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 7.682 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.682 * [taylor]: Taking taylor expansion of y in x 7.682 * [taylor]: Taking taylor expansion of x in x 7.682 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 7.682 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 7.682 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.682 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.683 * [taylor]: Taking taylor expansion of y in x 7.684 * [taylor]: Taking taylor expansion of (* (exp (/ 1/2 (pow y 2))) (sqrt (exp (/ 1 (pow y 2))))) in y 7.684 * [taylor]: Taking taylor expansion of (exp (/ 1/2 (pow y 2))) in y 7.684 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y 7.684 * [taylor]: Taking taylor expansion of 1/2 in y 7.684 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.684 * [taylor]: Taking taylor expansion of y in y 7.684 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 7.684 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.684 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.684 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.684 * [taylor]: Taking taylor expansion of y in y 7.688 * [taylor]: Taking taylor expansion of 0 in y 7.694 * [taylor]: Taking taylor expansion of 0 in y 7.703 * [taylor]: Taking taylor expansion of 0 in y 7.703 * [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.703 * [taylor]: Taking taylor expansion of (* -1 (* (/ (pow (exp (/ -1 y)) (/ -1/2 y)) x) (sqrt (exp (/ 1 (pow y 2)))))) in y 7.703 * [taylor]: Taking taylor expansion of -1 in y 7.703 * [taylor]: Taking taylor expansion of (* (/ (pow (exp (/ -1 y)) (/ -1/2 y)) x) (sqrt (exp (/ 1 (pow y 2))))) in y 7.703 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1/2 y)) x) in y 7.703 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1/2 y)) in y 7.703 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 y) (log (exp (/ -1 y))))) in y 7.703 * [taylor]: Taking taylor expansion of (* (/ -1/2 y) (log (exp (/ -1 y)))) in y 7.703 * [taylor]: Taking taylor expansion of (/ -1/2 y) in y 7.704 * [taylor]: Taking taylor expansion of -1/2 in y 7.704 * [taylor]: Taking taylor expansion of y in y 7.704 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 7.704 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 7.704 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.704 * [taylor]: Taking taylor expansion of -1 in y 7.704 * [taylor]: Taking taylor expansion of y in y 7.704 * [taylor]: Taking taylor expansion of x in y 7.705 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 7.705 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.705 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.705 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.705 * [taylor]: Taking taylor expansion of y in y 7.705 * [taylor]: Taking taylor expansion of (* -1 (* (/ (pow (exp (/ -1 y)) (/ -1/2 y)) x) (sqrt (exp (/ 1 (pow y 2)))))) in x 7.705 * [taylor]: Taking taylor expansion of -1 in x 7.705 * [taylor]: Taking taylor expansion of (* (/ (pow (exp (/ -1 y)) (/ -1/2 y)) x) (sqrt (exp (/ 1 (pow y 2))))) in x 7.705 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1/2 y)) x) in x 7.705 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1/2 y)) in x 7.705 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 y) (log (exp (/ -1 y))))) in x 7.705 * [taylor]: Taking taylor expansion of (* (/ -1/2 y) (log (exp (/ -1 y)))) in x 7.705 * [taylor]: Taking taylor expansion of (/ -1/2 y) in x 7.705 * [taylor]: Taking taylor expansion of -1/2 in x 7.705 * [taylor]: Taking taylor expansion of y in x 7.706 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 7.706 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 7.706 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.706 * [taylor]: Taking taylor expansion of -1 in x 7.706 * [taylor]: Taking taylor expansion of y in x 7.706 * [taylor]: Taking taylor expansion of x in x 7.706 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 7.706 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 7.706 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.706 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.706 * [taylor]: Taking taylor expansion of y in x 7.707 * [taylor]: Taking taylor expansion of (* -1 (* (/ (pow (exp (/ -1 y)) (/ -1/2 y)) x) (sqrt (exp (/ 1 (pow y 2)))))) in x 7.707 * [taylor]: Taking taylor expansion of -1 in x 7.707 * [taylor]: Taking taylor expansion of (* (/ (pow (exp (/ -1 y)) (/ -1/2 y)) x) (sqrt (exp (/ 1 (pow y 2))))) in x 7.707 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1/2 y)) x) in x 7.707 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1/2 y)) in x 7.707 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 y) (log (exp (/ -1 y))))) in x 7.707 * [taylor]: Taking taylor expansion of (* (/ -1/2 y) (log (exp (/ -1 y)))) in x 7.707 * [taylor]: Taking taylor expansion of (/ -1/2 y) in x 7.707 * [taylor]: Taking taylor expansion of -1/2 in x 7.707 * [taylor]: Taking taylor expansion of y in x 7.707 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 7.707 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 7.707 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.707 * [taylor]: Taking taylor expansion of -1 in x 7.707 * [taylor]: Taking taylor expansion of y in x 7.707 * [taylor]: Taking taylor expansion of x in x 7.708 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 7.708 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 7.708 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.708 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.708 * [taylor]: Taking taylor expansion of y in x 7.709 * [taylor]: Taking taylor expansion of (* -1 (* (exp (/ 1/2 (pow y 2))) (sqrt (exp (/ 1 (pow y 2)))))) in y 7.709 * [taylor]: Taking taylor expansion of -1 in y 7.709 * [taylor]: Taking taylor expansion of (* (exp (/ 1/2 (pow y 2))) (sqrt (exp (/ 1 (pow y 2))))) in y 7.709 * [taylor]: Taking taylor expansion of (exp (/ 1/2 (pow y 2))) in y 7.709 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y 7.709 * [taylor]: Taking taylor expansion of 1/2 in y 7.709 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.709 * [taylor]: Taking taylor expansion of y in y 7.710 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 7.710 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.710 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.710 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.710 * [taylor]: Taking taylor expansion of y in y 7.714 * [taylor]: Taking taylor expansion of 0 in y 7.721 * [taylor]: Taking taylor expansion of 0 in y 7.732 * [taylor]: Taking taylor expansion of 0 in y 7.732 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 7.732 * [approximate]: Taking taylor expansion of (sqrt (exp (pow y 2))) in (y) around 0 7.732 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 7.732 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 7.732 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.732 * [taylor]: Taking taylor expansion of y in y 7.734 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 7.734 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 7.734 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.734 * [taylor]: Taking taylor expansion of y in y 7.742 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in (y) around 0 7.742 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 7.742 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.742 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.742 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.742 * [taylor]: Taking taylor expansion of y in y 7.742 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 7.742 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.742 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.742 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.743 * [taylor]: Taking taylor expansion of y in y 7.746 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in (y) around 0 7.746 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 7.746 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.746 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.746 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.746 * [taylor]: Taking taylor expansion of y in y 7.747 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 7.747 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 7.747 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.747 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.747 * [taylor]: Taking taylor expansion of y in y 7.751 * * * [progress]: simplifying candidates 7.754 * [simplify]: Simplifying using # : (* 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)))) (+ (+ (log x) (log (sqrt (exp (* y y))))) (* y (/ y 2))) (+ (+ (log x) (log (sqrt (exp (* y y))))) (* (log (exp y)) (/ y 2))) (+ (+ (log x) (log (sqrt (exp (* y y))))) (log (pow (exp y) (/ y 2)))) (+ (log (* x (sqrt (exp (* y y))))) (* y (/ y 2))) (+ (log (* x (sqrt (exp (* y y))))) (* (log (exp y)) (/ y 2))) (+ (log (* x (sqrt (exp (* y y))))) (log (pow (exp y) (/ y 2)))) (log (* (* x (sqrt (exp (* y y)))) (pow (exp y) (/ y 2)))) (exp (* (* x (sqrt (exp (* y y)))) (pow (exp y) (/ y 2)))) (* (* (* (* x x) x) (* (* (sqrt (exp (* y y))) (sqrt (exp (* y y)))) (sqrt (exp (* y y))))) (* (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2))) (pow (exp y) (/ y 2)))) (* (* (* (* x (sqrt (exp (* y y)))) (* x (sqrt (exp (* y y))))) (* x (sqrt (exp (* y y))))) (* (* (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2))) (pow (exp y) (/ y 2)))) (* (cbrt (* (* x (sqrt (exp (* y y)))) (pow (exp y) (/ y 2)))) (cbrt (* (* x (sqrt (exp (* y y)))) (pow (exp y) (/ y 2))))) (cbrt (* (* x (sqrt (exp (* y y)))) (pow (exp y) (/ y 2)))) (* (* (* (* x (sqrt (exp (* y y)))) (pow (exp y) (/ y 2))) (* (* x (sqrt (exp (* y y)))) (pow (exp y) (/ y 2)))) (* (* x (sqrt (exp (* y y)))) (pow (exp y) (/ y 2)))) (sqrt (* (* x (sqrt (exp (* y y)))) (pow (exp y) (/ y 2)))) (sqrt (* (* x (sqrt (exp (* y y)))) (pow (exp y) (/ y 2)))) (* (* x (sqrt (exp (* y y)))) (pow (* (cbrt (exp y)) (cbrt (exp y))) (/ y 2))) (* (* x (sqrt (exp (* y y)))) (pow (sqrt (exp y)) (/ y 2))) (* (* x (sqrt (exp (* y y)))) (pow 1 (/ y 2))) (* (* x (sqrt (exp (* y y)))) (* (cbrt (pow (exp y) (/ y 2))) (cbrt (pow (exp y) (/ y 2))))) (* (* x (sqrt (exp (* y y)))) (sqrt (pow (exp y) (/ y 2)))) (* (* x (sqrt (exp (* y y)))) 1) (* (* x (sqrt (exp (* y y)))) (pow (exp y) (/ (/ y 2) 2))) (* (sqrt (exp (* y y))) (pow (exp y) (/ y 2))) (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/2 (pow y 2)))) (sqrt (exp (pow y 2)))) (* (* x (exp (* 1/2 (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))) 7.757 * * [simplify]: iteration 0 : 102 enodes (cost 858 ) 7.778 * * [simplify]: iteration 1 : 231 enodes (cost 758 ) 7.837 * * [simplify]: iteration 2 : 688 enodes (cost 693 ) 8.240 * * [simplify]: iteration 3 : 2411 enodes (cost 677 ) 9.246 * * [simplify]: iteration done : 5000 enodes (cost 677 ) 9.247 * [simplify]: Simplified to: (* (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 (* 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)))))) (* (fabs (cbrt (exp (* y y)))) x) (* 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) (+ (log (* x (sqrt (exp (* y y))))) (/ (* y y) 2)) (+ (log (* x (sqrt (exp (* y y))))) (/ (* y y) 2)) (+ (log (* x (sqrt (exp (* y y))))) (/ (* y y) 2)) (+ (log (* x (sqrt (exp (* y y))))) (/ (* y y) 2)) (+ (log (* x (sqrt (exp (* y y))))) (/ (* y y) 2)) (+ (log (* x (sqrt (exp (* y y))))) (/ (* y y) 2)) (+ (log (* x (sqrt (exp (* y y))))) (/ (* y y) 2)) (exp (* (* x (sqrt (exp (* y y)))) (pow (exp y) (/ y 2)))) (pow (* (* x (sqrt (exp (* y y)))) (pow (exp y) (/ y 2))) 3) (pow (* (* x (sqrt (exp (* y y)))) (pow (exp y) (/ y 2))) 3) (* (cbrt (* (* x (sqrt (exp (* y y)))) (pow (exp y) (/ y 2)))) (cbrt (* (* x (sqrt (exp (* y y)))) (pow (exp y) (/ y 2))))) (cbrt (* (* x (sqrt (exp (* y y)))) (pow (exp y) (/ y 2)))) (pow (* (* x (sqrt (exp (* y y)))) (pow (exp y) (/ y 2))) 3) (sqrt (* (* x (sqrt (exp (* y y)))) (pow (exp y) (/ y 2)))) (sqrt (* (* x (sqrt (exp (* y y)))) (pow (exp y) (/ y 2)))) (* (* x (sqrt (exp (* y y)))) (pow (* (cbrt (exp y)) (cbrt (exp y))) (/ y 2))) (* (* x (sqrt (exp (* y y)))) (pow (sqrt (exp y)) (/ y 2))) (* (sqrt (exp (pow y 2))) x) (* (* x (sqrt (exp (* y y)))) (* (cbrt (pow (exp y) (/ y 2))) (cbrt (pow (exp y) (/ y 2))))) (* (* x (sqrt (exp (* y y)))) (sqrt (pow (exp y) (/ y 2)))) (* (sqrt (exp (pow y 2))) x) (* (pow (exp y) (/ y 4)) (* x (sqrt (exp (* y y))))) (* (sqrt (exp (* y y))) (pow (exp y) (/ y 2))) (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 (pow (exp y) y)) (/ y 2) 1/2 (/ y 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 (* y y))) (* x (exp (* y y))) (+ (* 1/2 (pow y 2)) (+ (* 1/8 (pow y 4)) 1)) (sqrt (pow (exp y) y)) (sqrt (pow (exp y) y)) 9.248 * * * [progress]: adding candidates to table 9.419 * * [progress]: iteration 4 / 4 9.420 * * * [progress]: picking best candidate 9.423 * * * * [pick]: Picked # 9.423 * * * [progress]: localizing error 9.437 * * * [progress]: generating rewritten candidates 9.437 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 9.460 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 9.471 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 9.473 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1) 9.476 * * * [progress]: generating series expansions 9.476 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 9.476 * [approximate]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in (x y) around 0 9.476 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in y 9.476 * [taylor]: Taking taylor expansion of x in y 9.476 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 9.476 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 9.476 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.476 * [taylor]: Taking taylor expansion of y in y 9.478 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in x 9.478 * [taylor]: Taking taylor expansion of x in x 9.478 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in x 9.478 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 9.478 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.478 * [taylor]: Taking taylor expansion of y in x 9.479 * [taylor]: Taking taylor expansion of (* x (sqrt (exp (pow y 2)))) in x 9.479 * [taylor]: Taking taylor expansion of x in x 9.479 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in x 9.479 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 9.479 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.479 * [taylor]: Taking taylor expansion of y in x 9.480 * [taylor]: Taking taylor expansion of 0 in y 9.481 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 9.481 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 9.481 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.481 * [taylor]: Taking taylor expansion of y in y 9.484 * [taylor]: Taking taylor expansion of 0 in y 9.487 * [taylor]: Taking taylor expansion of 0 in y 9.488 * [approximate]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in (x y) around 0 9.488 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in y 9.488 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.488 * [taylor]: Taking taylor expansion of x in y 9.488 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 9.488 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 9.488 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.488 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.488 * [taylor]: Taking taylor expansion of y in y 9.488 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 9.488 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.489 * [taylor]: Taking taylor expansion of x in x 9.489 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 9.489 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 9.489 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 9.489 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.489 * [taylor]: Taking taylor expansion of y in x 9.490 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 9.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.490 * [taylor]: Taking taylor expansion of x in x 9.490 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 9.490 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 9.490 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 9.490 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.490 * [taylor]: Taking taylor expansion of y in x 9.491 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 9.491 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 9.491 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.491 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.491 * [taylor]: Taking taylor expansion of y in y 9.493 * [taylor]: Taking taylor expansion of 0 in y 9.496 * [taylor]: Taking taylor expansion of 0 in y 9.500 * [taylor]: Taking taylor expansion of 0 in y 9.500 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in (x y) around 0 9.500 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in y 9.500 * [taylor]: Taking taylor expansion of -1 in y 9.500 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in y 9.500 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.500 * [taylor]: Taking taylor expansion of x in y 9.501 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 9.501 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 9.501 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.501 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.501 * [taylor]: Taking taylor expansion of y in y 9.501 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in x 9.501 * [taylor]: Taking taylor expansion of -1 in x 9.501 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 9.501 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.501 * [taylor]: Taking taylor expansion of x in x 9.502 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 9.502 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 9.502 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 9.502 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.502 * [taylor]: Taking taylor expansion of y in x 9.503 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2)))))) in x 9.503 * [taylor]: Taking taylor expansion of -1 in x 9.503 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (exp (/ 1 (pow y 2))))) in x 9.503 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.503 * [taylor]: Taking taylor expansion of x in x 9.503 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in x 9.503 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 9.503 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 9.503 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.503 * [taylor]: Taking taylor expansion of y in x 9.505 * [taylor]: Taking taylor expansion of (* -1 (sqrt (exp (/ 1 (pow y 2))))) in y 9.505 * [taylor]: Taking taylor expansion of -1 in y 9.505 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 9.505 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 9.505 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.505 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.505 * [taylor]: Taking taylor expansion of y in y 9.507 * [taylor]: Taking taylor expansion of 0 in y 9.511 * [taylor]: Taking taylor expansion of 0 in y 9.516 * [taylor]: Taking taylor expansion of 0 in y 9.517 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 9.517 * [approximate]: Taking taylor expansion of (* x (pow (exp (pow y 2)) 1/4)) in (x y) around 0 9.517 * [taylor]: Taking taylor expansion of (* x (pow (exp (pow y 2)) 1/4)) in y 9.517 * [taylor]: Taking taylor expansion of x in y 9.517 * [taylor]: Taking taylor expansion of (pow (exp (pow y 2)) 1/4) in y 9.517 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (pow y 2))))) in y 9.517 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (pow y 2)))) in y 9.517 * [taylor]: Taking taylor expansion of 1/4 in y 9.517 * [taylor]: Taking taylor expansion of (log (exp (pow y 2))) in y 9.517 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 9.517 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.517 * [taylor]: Taking taylor expansion of y in y 9.522 * [taylor]: Taking taylor expansion of (* x (pow (exp (pow y 2)) 1/4)) in x 9.522 * [taylor]: Taking taylor expansion of x in x 9.522 * [taylor]: Taking taylor expansion of (pow (exp (pow y 2)) 1/4) in x 9.522 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (pow y 2))))) in x 9.522 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (pow y 2)))) in x 9.522 * [taylor]: Taking taylor expansion of 1/4 in x 9.522 * [taylor]: Taking taylor expansion of (log (exp (pow y 2))) in x 9.522 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 9.522 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.522 * [taylor]: Taking taylor expansion of y in x 9.523 * [taylor]: Taking taylor expansion of (* x (pow (exp (pow y 2)) 1/4)) in x 9.523 * [taylor]: Taking taylor expansion of x in x 9.523 * [taylor]: Taking taylor expansion of (pow (exp (pow y 2)) 1/4) in x 9.523 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (pow y 2))))) in x 9.523 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (pow y 2)))) in x 9.523 * [taylor]: Taking taylor expansion of 1/4 in x 9.523 * [taylor]: Taking taylor expansion of (log (exp (pow y 2))) in x 9.523 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 9.523 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.523 * [taylor]: Taking taylor expansion of y in x 9.523 * [taylor]: Taking taylor expansion of 0 in y 9.526 * [taylor]: Taking taylor expansion of (exp (* 1/4 (pow y 2))) in y 9.526 * [taylor]: Taking taylor expansion of (* 1/4 (pow y 2)) in y 9.526 * [taylor]: Taking taylor expansion of 1/4 in y 9.526 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.526 * [taylor]: Taking taylor expansion of y in y 9.530 * [taylor]: Taking taylor expansion of 0 in y 9.537 * [taylor]: Taking taylor expansion of 0 in y 9.537 * [approximate]: Taking taylor expansion of (* (/ 1 x) (pow (exp (/ 1 (pow y 2))) 1/4)) in (x y) around 0 9.537 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (exp (/ 1 (pow y 2))) 1/4)) in y 9.537 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.537 * [taylor]: Taking taylor expansion of x in y 9.537 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 1/4) in y 9.537 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 (pow y 2)))))) in y 9.537 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 (pow y 2))))) in y 9.537 * [taylor]: Taking taylor expansion of 1/4 in y 9.537 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (pow y 2)))) in y 9.537 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 9.537 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.537 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.537 * [taylor]: Taking taylor expansion of y in y 9.538 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (exp (/ 1 (pow y 2))) 1/4)) in x 9.538 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.538 * [taylor]: Taking taylor expansion of x in x 9.538 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 1/4) in x 9.538 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 (pow y 2)))))) in x 9.538 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 (pow y 2))))) in x 9.538 * [taylor]: Taking taylor expansion of 1/4 in x 9.538 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (pow y 2)))) in x 9.538 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 9.538 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 9.538 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.538 * [taylor]: Taking taylor expansion of y in x 9.539 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (exp (/ 1 (pow y 2))) 1/4)) in x 9.539 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.539 * [taylor]: Taking taylor expansion of x in x 9.539 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 1/4) in x 9.539 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 (pow y 2)))))) in x 9.539 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 (pow y 2))))) in x 9.539 * [taylor]: Taking taylor expansion of 1/4 in x 9.539 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (pow y 2)))) in x 9.539 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 9.539 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 9.539 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.539 * [taylor]: Taking taylor expansion of y in x 9.540 * [taylor]: Taking taylor expansion of (exp (/ 1/4 (pow y 2))) in y 9.540 * [taylor]: Taking taylor expansion of (/ 1/4 (pow y 2)) in y 9.540 * [taylor]: Taking taylor expansion of 1/4 in y 9.540 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.540 * [taylor]: Taking taylor expansion of y in y 9.543 * [taylor]: Taking taylor expansion of 0 in y 9.548 * [taylor]: Taking taylor expansion of 0 in y 9.558 * [taylor]: Taking taylor expansion of 0 in y 9.558 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (exp (/ 1 (pow y 2))) 1/4))) in (x y) around 0 9.558 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (exp (/ 1 (pow y 2))) 1/4))) in y 9.558 * [taylor]: Taking taylor expansion of -1 in y 9.558 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (exp (/ 1 (pow y 2))) 1/4)) in y 9.558 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.558 * [taylor]: Taking taylor expansion of x in y 9.558 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 1/4) in y 9.559 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 (pow y 2)))))) in y 9.559 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 (pow y 2))))) in y 9.559 * [taylor]: Taking taylor expansion of 1/4 in y 9.559 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (pow y 2)))) in y 9.559 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 9.559 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.559 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.559 * [taylor]: Taking taylor expansion of y in y 9.559 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (exp (/ 1 (pow y 2))) 1/4))) in x 9.559 * [taylor]: Taking taylor expansion of -1 in x 9.559 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (exp (/ 1 (pow y 2))) 1/4)) in x 9.559 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.560 * [taylor]: Taking taylor expansion of x in x 9.560 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 1/4) in x 9.560 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 (pow y 2)))))) in x 9.560 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 (pow y 2))))) in x 9.560 * [taylor]: Taking taylor expansion of 1/4 in x 9.560 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (pow y 2)))) in x 9.560 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 9.560 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 9.560 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.560 * [taylor]: Taking taylor expansion of y in x 9.560 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (exp (/ 1 (pow y 2))) 1/4))) in x 9.560 * [taylor]: Taking taylor expansion of -1 in x 9.560 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (exp (/ 1 (pow y 2))) 1/4)) in x 9.560 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.560 * [taylor]: Taking taylor expansion of x in x 9.561 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 1/4) in x 9.561 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 (pow y 2)))))) in x 9.561 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 (pow y 2))))) in x 9.561 * [taylor]: Taking taylor expansion of 1/4 in x 9.561 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (pow y 2)))) in x 9.561 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 9.561 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 9.561 * [taylor]: Taking taylor expansion of (pow y 2) in x 9.561 * [taylor]: Taking taylor expansion of y in x 9.561 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1/4 (pow y 2)))) in y 9.561 * [taylor]: Taking taylor expansion of -1 in y 9.561 * [taylor]: Taking taylor expansion of (exp (/ 1/4 (pow y 2))) in y 9.562 * [taylor]: Taking taylor expansion of (/ 1/4 (pow y 2)) in y 9.562 * [taylor]: Taking taylor expansion of 1/4 in y 9.562 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.562 * [taylor]: Taking taylor expansion of y in y 9.565 * [taylor]: Taking taylor expansion of 0 in y 9.571 * [taylor]: Taking taylor expansion of 0 in y 9.579 * [taylor]: Taking taylor expansion of 0 in y 9.579 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 9.579 * [approximate]: Taking taylor expansion of (sqrt (exp (pow y 2))) in (y) around 0 9.580 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 9.580 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 9.580 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.580 * [taylor]: Taking taylor expansion of y in y 9.581 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 9.581 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 9.581 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.581 * [taylor]: Taking taylor expansion of y in y 9.590 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in (y) around 0 9.590 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 9.590 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 9.590 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.590 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.590 * [taylor]: Taking taylor expansion of y in y 9.591 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 9.591 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 9.591 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.591 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.591 * [taylor]: Taking taylor expansion of y in y 9.595 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in (y) around 0 9.595 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 9.595 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 9.595 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.595 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.595 * [taylor]: Taking taylor expansion of y in y 9.595 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 9.596 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 9.596 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.596 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.596 * [taylor]: Taking taylor expansion of y in y 9.599 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1) 9.600 * [approximate]: Taking taylor expansion of (sqrt (exp (pow y 2))) in (y) around 0 9.600 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 9.600 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 9.600 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.600 * [taylor]: Taking taylor expansion of y in y 9.601 * [taylor]: Taking taylor expansion of (sqrt (exp (pow y 2))) in y 9.601 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 9.601 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.601 * [taylor]: Taking taylor expansion of y in y 9.609 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in (y) around 0 9.609 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 9.609 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 9.609 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.609 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.609 * [taylor]: Taking taylor expansion of y in y 9.610 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 9.610 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 9.610 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.610 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.610 * [taylor]: Taking taylor expansion of y in y 9.614 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in (y) around 0 9.614 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 9.614 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 9.614 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.614 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.614 * [taylor]: Taking taylor expansion of y in y 9.615 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 (pow y 2)))) in y 9.615 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 9.615 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 9.615 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.615 * [taylor]: Taking taylor expansion of y in y 9.619 * * * [progress]: simplifying candidates 9.620 * [simplify]: Simplifying using # : (* (* 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))))) (* 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))))) (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)))) (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)))) (+ (* 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))) 9.624 * * [simplify]: iteration 0 : 90 enodes (cost 1079 ) 9.645 * * [simplify]: iteration 1 : 192 enodes (cost 831 ) 9.692 * * [simplify]: iteration 2 : 522 enodes (cost 751 ) 9.864 * * [simplify]: iteration 3 : 1127 enodes (cost 751 ) 10.278 * * [simplify]: iteration 4 : 2190 enodes (cost 751 ) 11.222 * * [simplify]: iteration done : 5000 enodes (cost 751 ) 11.223 * [simplify]: Simplified to: (* x (sqrt (exp (pow y 2)))) (* x (sqrt (exp (pow y 2)))) (log (* x (sqrt (exp (pow y 2))))) (log (* x (sqrt (exp (pow y 2))))) (log (* x (sqrt (exp (pow y 2))))) (exp (* (sqrt (exp (* y y))) x)) (pow (* x (sqrt (exp (pow y 2)))) 3) (pow (* x (sqrt (exp (pow y 2)))) 3) (* (cbrt (* (sqrt (exp (* y y))) x)) (cbrt (* (sqrt (exp (* y y))) x))) (cbrt (* (sqrt (exp (* y y))) x)) (pow (* x (sqrt (exp (pow y 2)))) 3) (sqrt (* x (sqrt (exp (pow y 2))))) (sqrt (* x (sqrt (exp (pow y 2))))) (* (* 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))) (* 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)))))) (* (cbrt (sqrt (sqrt (exp (* y y))))) (* (cbrt (sqrt (sqrt (exp (* y y))))) x)) (* x (fabs (cbrt (sqrt (exp (* y y)))))) (* x (sqrt (fabs (cbrt (exp (* y y)))))) (* 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))))) (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 2) 1/2 (/ y 2) (sqrt (sqrt (exp (* y y)))) (sqrt (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 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)))) (+ (* 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))) 11.223 * * * [progress]: adding candidates to table 11.484 * [progress]: [Phase 3 of 3] Extracting. 11.484 * * [regime]: Finding splitpoints for: (# # #) 11.485 * * * [regime-changes]: Trying 5 branch expressions: ((* y y) (exp (* y y)) (* x (exp (* y y))) y x) 11.485 * * * * [regimes]: Trying to branch on (* y y) from (# # #) 11.498 * * * * [regimes]: Trying to branch on (exp (* y y)) from (# # #) 11.514 * * * * [regimes]: Trying to branch on (* x (exp (* y y))) from (# # #) 11.536 * * * * [regimes]: Trying to branch on y from (# # #) 11.551 * * * * [regimes]: Trying to branch on x from (# # #) 11.569 * * * [regime]: Found split indices: #