16.627 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.014 * * * [progress]: [2/2] Setting up program. 0.016 * [progress]: [Phase 2 of 3] Improving. 0.016 * [simplify]: Simplifying using # : (exp (* (* x y) y)) 0.017 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.018 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 0.019 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 0.022 * * [simplify]: iteration 3 : 40 enodes (cost 6 ) 0.027 * * [simplify]: iteration 4 : 84 enodes (cost 6 ) 0.039 * * [simplify]: iteration 5 : 194 enodes (cost 6 ) 0.089 * * [simplify]: iteration 6 : 479 enodes (cost 6 ) 0.295 * * [simplify]: iteration 7 : 1619 enodes (cost 6 ) 1.398 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 1.398 * [simplify]: Simplified to: (exp (* (* x y) y)) 1.398 * * [progress]: iteration 1 / 4 1.398 * * * [progress]: picking best candidate 1.399 * * * * [pick]: Picked # 1.400 * * * [progress]: localizing error 1.405 * * * [progress]: generating rewritten candidates 1.405 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 1.412 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 1.414 * * * [progress]: generating series expansions 1.414 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 1.415 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (x y) around 0 1.415 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 1.415 * [taylor]: Taking taylor expansion of x in y 1.415 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.415 * [taylor]: Taking taylor expansion of y in y 1.415 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.415 * [taylor]: Taking taylor expansion of x in x 1.415 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.415 * [taylor]: Taking taylor expansion of y in x 1.415 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.415 * [taylor]: Taking taylor expansion of x in x 1.415 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.415 * [taylor]: Taking taylor expansion of y in x 1.415 * [taylor]: Taking taylor expansion of 0 in y 1.416 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.416 * [taylor]: Taking taylor expansion of y in y 1.417 * [taylor]: Taking taylor expansion of 0 in y 1.419 * [taylor]: Taking taylor expansion of 0 in y 1.419 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (x y) around 0 1.419 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 1.419 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 1.419 * [taylor]: Taking taylor expansion of x in y 1.419 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.419 * [taylor]: Taking taylor expansion of y in y 1.419 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 1.419 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.419 * [taylor]: Taking taylor expansion of x in x 1.419 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.419 * [taylor]: Taking taylor expansion of y in x 1.420 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 1.420 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.420 * [taylor]: Taking taylor expansion of x in x 1.420 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.420 * [taylor]: Taking taylor expansion of y in x 1.420 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.420 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.420 * [taylor]: Taking taylor expansion of y in y 1.422 * [taylor]: Taking taylor expansion of 0 in y 1.424 * [taylor]: Taking taylor expansion of 0 in y 1.428 * [taylor]: Taking taylor expansion of 0 in y 1.431 * [taylor]: Taking taylor expansion of 0 in y 1.431 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (x y) around 0 1.432 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 1.432 * [taylor]: Taking taylor expansion of -1 in y 1.432 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 1.432 * [taylor]: Taking taylor expansion of x in y 1.432 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.432 * [taylor]: Taking taylor expansion of y in y 1.432 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 1.432 * [taylor]: Taking taylor expansion of -1 in x 1.432 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.432 * [taylor]: Taking taylor expansion of x in x 1.432 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.432 * [taylor]: Taking taylor expansion of y in x 1.433 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 1.433 * [taylor]: Taking taylor expansion of -1 in x 1.433 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.433 * [taylor]: Taking taylor expansion of x in x 1.433 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.433 * [taylor]: Taking taylor expansion of y in x 1.433 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y 1.433 * [taylor]: Taking taylor expansion of -1 in y 1.433 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.433 * [taylor]: Taking taylor expansion of y in y 1.435 * [taylor]: Taking taylor expansion of 0 in y 1.437 * [taylor]: Taking taylor expansion of 0 in y 1.440 * [taylor]: Taking taylor expansion of 0 in y 1.444 * [taylor]: Taking taylor expansion of 0 in y 1.444 * * * * [progress]: [ 2 / 2 ] generating series at (2) 1.444 * [approximate]: Taking taylor expansion of (exp (* x (pow y 2))) in (x y) around 0 1.445 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in y 1.445 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 1.445 * [taylor]: Taking taylor expansion of x in y 1.445 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.445 * [taylor]: Taking taylor expansion of y in y 1.445 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x 1.445 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.445 * [taylor]: Taking taylor expansion of x in x 1.445 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.445 * [taylor]: Taking taylor expansion of y in x 1.445 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x 1.445 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.446 * [taylor]: Taking taylor expansion of x in x 1.446 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.446 * [taylor]: Taking taylor expansion of y in x 1.446 * [taylor]: Taking taylor expansion of 1 in y 1.446 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.446 * [taylor]: Taking taylor expansion of y in y 1.448 * [taylor]: Taking taylor expansion of (* 1/2 (pow y 4)) in y 1.448 * [taylor]: Taking taylor expansion of 1/2 in y 1.448 * [taylor]: Taking taylor expansion of (pow y 4) in y 1.448 * [taylor]: Taking taylor expansion of y in y 1.451 * [taylor]: Taking taylor expansion of (* 1/6 (pow y 6)) in y 1.451 * [taylor]: Taking taylor expansion of 1/6 in y 1.451 * [taylor]: Taking taylor expansion of (pow y 6) in y 1.451 * [taylor]: Taking taylor expansion of y in y 1.455 * [taylor]: Taking taylor expansion of (* 1/24 (pow y 8)) in y 1.455 * [taylor]: Taking taylor expansion of 1/24 in y 1.455 * [taylor]: Taking taylor expansion of (pow y 8) in y 1.455 * [taylor]: Taking taylor expansion of y in y 1.460 * [taylor]: Taking taylor expansion of (* 1/120 (pow y 10)) in y 1.460 * [taylor]: Taking taylor expansion of 1/120 in y 1.460 * [taylor]: Taking taylor expansion of (pow y 10) in y 1.460 * [taylor]: Taking taylor expansion of y in y 1.472 * [taylor]: Taking taylor expansion of (* 1/720 (pow y 12)) in y 1.472 * [taylor]: Taking taylor expansion of 1/720 in y 1.473 * [taylor]: Taking taylor expansion of (pow y 12) in y 1.473 * [taylor]: Taking taylor expansion of y in y 1.474 * [approximate]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in (x y) around 0 1.474 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y 1.474 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 1.474 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 1.474 * [taylor]: Taking taylor expansion of x in y 1.474 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.474 * [taylor]: Taking taylor expansion of y in y 1.474 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x 1.474 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 1.474 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.474 * [taylor]: Taking taylor expansion of x in x 1.474 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.474 * [taylor]: Taking taylor expansion of y in x 1.475 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x 1.475 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 1.475 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.475 * [taylor]: Taking taylor expansion of x in x 1.475 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.475 * [taylor]: Taking taylor expansion of y in x 1.476 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y 1.476 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 1.476 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 1.476 * [taylor]: Taking taylor expansion of x in y 1.476 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.476 * [taylor]: Taking taylor expansion of y in y 1.477 * [taylor]: Taking taylor expansion of 0 in y 1.477 * [taylor]: Taking taylor expansion of 0 in y 1.477 * [taylor]: Taking taylor expansion of 0 in y 1.477 * [approximate]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in (x y) around 0 1.477 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y 1.477 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 1.477 * [taylor]: Taking taylor expansion of -1 in y 1.477 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 1.477 * [taylor]: Taking taylor expansion of x in y 1.477 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.477 * [taylor]: Taking taylor expansion of y in y 1.478 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x 1.478 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 1.478 * [taylor]: Taking taylor expansion of -1 in x 1.478 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.478 * [taylor]: Taking taylor expansion of x in x 1.478 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.478 * [taylor]: Taking taylor expansion of y in x 1.479 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x 1.479 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 1.479 * [taylor]: Taking taylor expansion of -1 in x 1.479 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.479 * [taylor]: Taking taylor expansion of x in x 1.479 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.479 * [taylor]: Taking taylor expansion of y in x 1.479 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y 1.479 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 1.479 * [taylor]: Taking taylor expansion of -1 in y 1.479 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 1.479 * [taylor]: Taking taylor expansion of x in y 1.479 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.479 * [taylor]: Taking taylor expansion of y in y 1.480 * [taylor]: Taking taylor expansion of 0 in y 1.480 * [taylor]: Taking taylor expansion of 0 in y 1.480 * [taylor]: Taking taylor expansion of 0 in y 1.480 * * * [progress]: simplifying candidates 1.481 * [simplify]: Simplifying using # : (expm1 (* (* x y) y)) (log1p (* (* x y) y)) (* (* x y) y) (* (* x y) y) (+ (+ (log x) (log y)) (log y)) (+ (log (* x y)) (log y)) (log (* (* x y) y)) (exp (* (* x y) y)) (* (* (* (* x x) x) (* (* y y) y)) (* (* y y) y)) (* (* (* (* x y) (* x y)) (* x y)) (* (* y y) y)) (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y))) (cbrt (* (* x y) y)) (* (* (* (* x y) y) (* (* x y) y)) (* (* x y) y)) (sqrt (* (* x y) y)) (sqrt (* (* x y) y)) (* (* x y) (* (cbrt y) (cbrt y))) (* (* x y) (sqrt y)) (* (* x y) 1) (* y y) (expm1 (exp (* (* x y) y))) (log1p (exp (* (* x y) y))) (exp (* x y)) (log (exp (* (* x y) y))) (exp (exp (* (* x y) y))) (* (cbrt (exp (* (* x y) y))) (cbrt (exp (* (* x y) y)))) (cbrt (exp (* (* x y) y))) (* (* (exp (* (* x y) y)) (exp (* (* x y) y))) (exp (* (* x y) y))) (sqrt (exp (* (* x y) y))) (sqrt (exp (* (* x y) y))) (* x (pow y 2)) (* x (pow y 2)) (* x (pow y 2)) (+ (* x (pow y 2)) (+ (* 1/2 (* (pow x 2) (pow y 4))) 1)) (exp (* x (pow y 2))) (exp (* x (pow y 2))) 1.483 * * [simplify]: iteration 0 : 57 enodes (cost 286 ) 1.492 * * [simplify]: iteration 1 : 136 enodes (cost 276 ) 1.537 * * [simplify]: iteration 2 : 517 enodes (cost 235 ) 1.950 * * [simplify]: iteration 3 : 2605 enodes (cost 235 ) 3.386 * * [simplify]: iteration done : 5001 enodes (cost 235 ) 3.387 * [simplify]: Simplified to: (expm1 (* (* x y) y)) (log1p (* (* x y) y)) (* (* y x) y) (* (* y x) y) (log (* (* x y) y)) (log (* (* x y) y)) (log (* (* x y) y)) (exp (* (* x y) y)) (pow (* x (pow y 2)) 3) (pow (* x (pow y 2)) 3) (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y))) (cbrt (* (* x y) y)) (pow (* x (pow y 2)) 3) (sqrt (* (* x y) y)) (sqrt (* (* x y) y)) (* (* x y) (* (cbrt y) (cbrt y))) (* (* x y) (sqrt y)) (* y x) (* y y) (expm1 (exp (* (* x y) y))) (log1p (exp (* (* x y) y))) (exp (* x y)) (* (* y x) y) (exp (exp (* (* x y) y))) (* (cbrt (exp (* (* x y) y))) (cbrt (exp (* (* x y) y)))) (cbrt (exp (* (* x y) y))) (pow (exp (* (* x y) y)) 3) (sqrt (exp (* (* x y) y))) (sqrt (exp (* (* x y) y))) (* (* y x) y) (* (* y x) y) (* (* y x) y) (fma x (* y y) (fma 1/2 (* (pow x 2) (pow y 4)) 1)) (exp (* (* x y) y)) (exp (* (* x y) y)) 3.387 * * * [progress]: adding candidates to table 3.456 * * [progress]: iteration 2 / 4 3.456 * * * [progress]: picking best candidate 3.460 * * * * [pick]: Picked # 3.460 * * * [progress]: localizing error 3.468 * * * [progress]: generating rewritten candidates 3.468 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 3.469 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1) 3.476 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 3.479 * * * [progress]: generating series expansions 3.479 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 3.479 * [approximate]: Taking taylor expansion of (expm1 (exp (* x (pow y 2)))) in (x y) around 0 3.479 * [taylor]: Taking taylor expansion of (expm1 (exp (* x (pow y 2)))) in y 3.480 * [taylor]: Rewrote expression to (- (exp (exp (* x (pow y 2)))) 1) 3.480 * [taylor]: Taking taylor expansion of (exp (exp (* x (pow y 2)))) in y 3.480 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in y 3.480 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 3.480 * [taylor]: Taking taylor expansion of x 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.480 * [taylor]: Taking taylor expansion of 1 in y 3.480 * [taylor]: Taking taylor expansion of (expm1 (exp (* x (pow y 2)))) in x 3.480 * [taylor]: Rewrote expression to (- (exp (exp (* x (pow y 2)))) 1) 3.480 * [taylor]: Taking taylor expansion of (exp (exp (* x (pow y 2)))) in x 3.480 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x 3.480 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 3.480 * [taylor]: Taking taylor expansion of x in x 3.480 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.480 * [taylor]: Taking taylor expansion of y in x 3.481 * [taylor]: Taking taylor expansion of 1 in x 3.481 * [taylor]: Taking taylor expansion of (expm1 (exp (* x (pow y 2)))) in x 3.481 * [taylor]: Rewrote expression to (- (exp (exp (* x (pow y 2)))) 1) 3.481 * [taylor]: Taking taylor expansion of (exp (exp (* x (pow y 2)))) in x 3.481 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x 3.481 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 3.481 * [taylor]: Taking taylor expansion of x 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.482 * [taylor]: Taking taylor expansion of 1 in x 3.482 * [taylor]: Taking taylor expansion of (- E 1) in y 3.482 * [taylor]: Taking taylor expansion of E in y 3.482 * [taylor]: Taking taylor expansion of 1 in y 3.484 * [taylor]: Taking taylor expansion of (* E (pow y 2)) in y 3.484 * [taylor]: Taking taylor expansion of E in y 3.484 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.484 * [taylor]: Taking taylor expansion of y in y 3.487 * [taylor]: Taking taylor expansion of (* E (pow y 4)) in y 3.487 * [taylor]: Taking taylor expansion of E in y 3.487 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.487 * [taylor]: Taking taylor expansion of y in y 3.490 * [taylor]: Taking taylor expansion of (* 5/6 (* E (pow y 6))) in y 3.490 * [taylor]: Taking taylor expansion of 5/6 in y 3.490 * [taylor]: Taking taylor expansion of (* E (pow y 6)) in y 3.491 * [taylor]: Taking taylor expansion of E in y 3.491 * [taylor]: Taking taylor expansion of (pow y 6) in y 3.491 * [taylor]: Taking taylor expansion of y in y 3.496 * [taylor]: Taking taylor expansion of (* 5/8 (* E (pow y 8))) in y 3.496 * [taylor]: Taking taylor expansion of 5/8 in y 3.496 * [taylor]: Taking taylor expansion of (* E (pow y 8)) in y 3.496 * [taylor]: Taking taylor expansion of E in y 3.496 * [taylor]: Taking taylor expansion of (pow y 8) in y 3.496 * [taylor]: Taking taylor expansion of y in y 3.505 * [taylor]: Taking taylor expansion of (* 13/30 (* E (pow y 10))) in y 3.505 * [taylor]: Taking taylor expansion of 13/30 in y 3.505 * [taylor]: Taking taylor expansion of (* E (pow y 10)) in y 3.505 * [taylor]: Taking taylor expansion of E in y 3.505 * [taylor]: Taking taylor expansion of (pow y 10) in y 3.505 * [taylor]: Taking taylor expansion of y in y 3.519 * [taylor]: Taking taylor expansion of (* 203/720 (* E (pow y 12))) in y 3.519 * [taylor]: Taking taylor expansion of 203/720 in y 3.519 * [taylor]: Taking taylor expansion of (* E (pow y 12)) in y 3.519 * [taylor]: Taking taylor expansion of E in y 3.519 * [taylor]: Taking taylor expansion of (pow y 12) in y 3.519 * [taylor]: Taking taylor expansion of y in y 3.521 * [approximate]: Taking taylor expansion of (expm1 (exp (/ 1 (* x (pow y 2))))) in (x y) around 0 3.521 * [taylor]: Taking taylor expansion of (expm1 (exp (/ 1 (* x (pow y 2))))) in y 3.521 * [taylor]: Rewrote expression to (- (exp (exp (/ 1 (* x (pow y 2))))) 1) 3.521 * [taylor]: Taking taylor expansion of (exp (exp (/ 1 (* x (pow y 2))))) in y 3.521 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y 3.521 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 3.521 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 3.521 * [taylor]: Taking taylor expansion of x in y 3.521 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.521 * [taylor]: Taking taylor expansion of y in y 3.522 * [taylor]: Taking taylor expansion of 1 in y 3.522 * [taylor]: Taking taylor expansion of (expm1 (exp (/ 1 (* x (pow y 2))))) in x 3.522 * [taylor]: Rewrote expression to (- (exp (exp (/ 1 (* x (pow y 2))))) 1) 3.522 * [taylor]: Taking taylor expansion of (exp (exp (/ 1 (* x (pow y 2))))) in x 3.522 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x 3.522 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 3.522 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 3.522 * [taylor]: Taking taylor expansion of x in x 3.522 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.522 * [taylor]: Taking taylor expansion of y in x 3.522 * [taylor]: Taking taylor expansion of 1 in x 3.522 * [taylor]: Taking taylor expansion of (expm1 (exp (/ 1 (* x (pow y 2))))) in x 3.523 * [taylor]: Rewrote expression to (- (exp (exp (/ 1 (* x (pow y 2))))) 1) 3.523 * [taylor]: Taking taylor expansion of (exp (exp (/ 1 (* x (pow y 2))))) in x 3.523 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x 3.523 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 3.523 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 3.523 * [taylor]: Taking taylor expansion of x in x 3.523 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.523 * [taylor]: Taking taylor expansion of y in x 3.523 * [taylor]: Taking taylor expansion of 1 in x 3.524 * [taylor]: Taking taylor expansion of (- (exp (exp (/ 1 (* x (pow y 2))))) 1) in y 3.524 * [taylor]: Taking taylor expansion of (exp (exp (/ 1 (* x (pow y 2))))) in y 3.524 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y 3.524 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 3.524 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 3.524 * [taylor]: Taking taylor expansion of x in y 3.524 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.524 * [taylor]: Taking taylor expansion of y in y 3.524 * [taylor]: Taking taylor expansion of 1 in y 3.526 * [taylor]: Taking taylor expansion of 0 in y 3.528 * [taylor]: Taking taylor expansion of 0 in y 3.531 * [taylor]: Taking taylor expansion of 0 in y 3.531 * [approximate]: Taking taylor expansion of (expm1 (exp (/ -1 (* x (pow y 2))))) in (x y) around 0 3.531 * [taylor]: Taking taylor expansion of (expm1 (exp (/ -1 (* x (pow y 2))))) in y 3.531 * [taylor]: Rewrote expression to (- (exp (exp (/ -1 (* x (pow y 2))))) 1) 3.532 * [taylor]: Taking taylor expansion of (exp (exp (/ -1 (* x (pow y 2))))) in y 3.532 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y 3.532 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 3.532 * [taylor]: Taking taylor expansion of -1 in y 3.532 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 3.532 * [taylor]: Taking taylor expansion of x in y 3.532 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.532 * [taylor]: Taking taylor expansion of y in y 3.532 * [taylor]: Taking taylor expansion of 1 in y 3.532 * [taylor]: Taking taylor expansion of (expm1 (exp (/ -1 (* x (pow y 2))))) in x 3.532 * [taylor]: Rewrote expression to (- (exp (exp (/ -1 (* x (pow y 2))))) 1) 3.532 * [taylor]: Taking taylor expansion of (exp (exp (/ -1 (* x (pow y 2))))) in x 3.532 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x 3.532 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 3.532 * [taylor]: Taking taylor expansion of -1 in x 3.532 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 3.532 * [taylor]: Taking taylor expansion of x in x 3.532 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.532 * [taylor]: Taking taylor expansion of y in x 3.533 * [taylor]: Taking taylor expansion of 1 in x 3.533 * [taylor]: Taking taylor expansion of (expm1 (exp (/ -1 (* x (pow y 2))))) in x 3.533 * [taylor]: Rewrote expression to (- (exp (exp (/ -1 (* x (pow y 2))))) 1) 3.533 * [taylor]: Taking taylor expansion of (exp (exp (/ -1 (* x (pow y 2))))) in x 3.533 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x 3.533 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 3.533 * [taylor]: Taking taylor expansion of -1 in x 3.533 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 3.533 * [taylor]: Taking taylor expansion of x in x 3.533 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.533 * [taylor]: Taking taylor expansion of y in x 3.534 * [taylor]: Taking taylor expansion of 1 in x 3.534 * [taylor]: Taking taylor expansion of (- (exp (exp (/ -1 (* x (pow y 2))))) 1) in y 3.534 * [taylor]: Taking taylor expansion of (exp (exp (/ -1 (* x (pow y 2))))) in y 3.535 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y 3.535 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 3.535 * [taylor]: Taking taylor expansion of -1 in y 3.535 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 3.535 * [taylor]: Taking taylor expansion of x in y 3.535 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.535 * [taylor]: Taking taylor expansion of y in y 3.535 * [taylor]: Taking taylor expansion of 1 in y 3.537 * [taylor]: Taking taylor expansion of 0 in y 3.539 * [taylor]: Taking taylor expansion of 0 in y 3.542 * [taylor]: Taking taylor expansion of 0 in y 3.542 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1) 3.542 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (x y) around 0 3.542 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 3.542 * [taylor]: Taking taylor expansion of x in y 3.542 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.542 * [taylor]: Taking taylor expansion of y in y 3.542 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 3.542 * [taylor]: Taking taylor expansion of x in x 3.542 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.542 * [taylor]: Taking taylor expansion of y in x 3.542 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 3.542 * [taylor]: Taking taylor expansion of x in x 3.542 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.542 * [taylor]: Taking taylor expansion of y in x 3.542 * [taylor]: Taking taylor expansion of 0 in y 3.543 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.543 * [taylor]: Taking taylor expansion of y in y 3.544 * [taylor]: Taking taylor expansion of 0 in y 3.546 * [taylor]: Taking taylor expansion of 0 in y 3.546 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (x y) around 0 3.546 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 3.546 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 3.546 * [taylor]: Taking taylor expansion of x in y 3.546 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.546 * [taylor]: Taking taylor expansion of y in y 3.546 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 3.546 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 3.546 * [taylor]: Taking taylor expansion of x in x 3.546 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.546 * [taylor]: Taking taylor expansion of y in x 3.547 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 3.547 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 3.547 * [taylor]: Taking taylor expansion of x in x 3.547 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.547 * [taylor]: Taking taylor expansion of y in x 3.547 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.548 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.548 * [taylor]: Taking taylor expansion of y in y 3.549 * [taylor]: Taking taylor expansion of 0 in y 3.551 * [taylor]: Taking taylor expansion of 0 in y 3.554 * [taylor]: Taking taylor expansion of 0 in y 3.558 * [taylor]: Taking taylor expansion of 0 in y 3.559 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (x y) around 0 3.559 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 3.559 * [taylor]: Taking taylor expansion of -1 in y 3.559 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 3.559 * [taylor]: Taking taylor expansion of x in y 3.559 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.559 * [taylor]: Taking taylor expansion of y in y 3.559 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 3.559 * [taylor]: Taking taylor expansion of -1 in x 3.559 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 3.559 * [taylor]: Taking taylor expansion of x in x 3.559 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.559 * [taylor]: Taking taylor expansion of y in x 3.560 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 3.560 * [taylor]: Taking taylor expansion of -1 in x 3.560 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 3.560 * [taylor]: Taking taylor expansion of x in x 3.560 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.560 * [taylor]: Taking taylor expansion of y in x 3.560 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y 3.560 * [taylor]: Taking taylor expansion of -1 in y 3.561 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.561 * [taylor]: Taking taylor expansion of y in y 3.562 * [taylor]: Taking taylor expansion of 0 in y 3.565 * [taylor]: Taking taylor expansion of 0 in y 3.568 * [taylor]: Taking taylor expansion of 0 in y 3.572 * [taylor]: Taking taylor expansion of 0 in y 3.572 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 3.572 * [approximate]: Taking taylor expansion of (exp (* x (pow y 2))) in (x y) around 0 3.572 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in y 3.572 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 3.572 * [taylor]: Taking taylor expansion of x in y 3.572 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.572 * [taylor]: Taking taylor expansion of y in y 3.573 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x 3.573 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 3.573 * [taylor]: Taking taylor expansion of x in x 3.573 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.573 * [taylor]: Taking taylor expansion of y in x 3.573 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x 3.573 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 3.573 * [taylor]: Taking taylor expansion of x in x 3.573 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.573 * [taylor]: Taking taylor expansion of y in x 3.574 * [taylor]: Taking taylor expansion of 1 in y 3.574 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.574 * [taylor]: Taking taylor expansion of y in y 3.576 * [taylor]: Taking taylor expansion of (* 1/2 (pow y 4)) in y 3.576 * [taylor]: Taking taylor expansion of 1/2 in y 3.576 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.576 * [taylor]: Taking taylor expansion of y in y 3.578 * [taylor]: Taking taylor expansion of (* 1/6 (pow y 6)) in y 3.578 * [taylor]: Taking taylor expansion of 1/6 in y 3.578 * [taylor]: Taking taylor expansion of (pow y 6) in y 3.578 * [taylor]: Taking taylor expansion of y in y 3.582 * [taylor]: Taking taylor expansion of (* 1/24 (pow y 8)) in y 3.582 * [taylor]: Taking taylor expansion of 1/24 in y 3.582 * [taylor]: Taking taylor expansion of (pow y 8) in y 3.582 * [taylor]: Taking taylor expansion of y in y 3.587 * [taylor]: Taking taylor expansion of (* 1/120 (pow y 10)) in y 3.587 * [taylor]: Taking taylor expansion of 1/120 in y 3.587 * [taylor]: Taking taylor expansion of (pow y 10) in y 3.587 * [taylor]: Taking taylor expansion of y in y 3.595 * [taylor]: Taking taylor expansion of (* 1/720 (pow y 12)) in y 3.595 * [taylor]: Taking taylor expansion of 1/720 in y 3.595 * [taylor]: Taking taylor expansion of (pow y 12) in y 3.595 * [taylor]: Taking taylor expansion of y in y 3.596 * [approximate]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in (x y) around 0 3.596 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y 3.596 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 3.597 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 3.597 * [taylor]: Taking taylor expansion of x in y 3.597 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.597 * [taylor]: Taking taylor expansion of y in y 3.597 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x 3.597 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 3.597 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 3.597 * [taylor]: Taking taylor expansion of x in x 3.597 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.597 * [taylor]: Taking taylor expansion of y in x 3.598 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x 3.598 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 3.598 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 3.598 * [taylor]: Taking taylor expansion of x in x 3.598 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.598 * [taylor]: Taking taylor expansion of y in x 3.598 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y 3.598 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 3.598 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 3.598 * [taylor]: Taking taylor expansion of x in y 3.599 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.599 * [taylor]: Taking taylor expansion of y in y 3.599 * [taylor]: Taking taylor expansion of 0 in y 3.599 * [taylor]: Taking taylor expansion of 0 in y 3.599 * [taylor]: Taking taylor expansion of 0 in y 3.599 * [approximate]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in (x y) around 0 3.599 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y 3.599 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 3.599 * [taylor]: Taking taylor expansion of -1 in y 3.600 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 3.600 * [taylor]: Taking taylor expansion of x in y 3.600 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.600 * [taylor]: Taking taylor expansion of y in y 3.600 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x 3.600 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 3.600 * [taylor]: Taking taylor expansion of -1 in x 3.600 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 3.600 * [taylor]: Taking taylor expansion of x in x 3.600 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.600 * [taylor]: Taking taylor expansion of y in x 3.601 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x 3.601 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 3.601 * [taylor]: Taking taylor expansion of -1 in x 3.601 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 3.601 * [taylor]: Taking taylor expansion of x in x 3.601 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.601 * [taylor]: Taking taylor expansion of y in x 3.601 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y 3.601 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 3.601 * [taylor]: Taking taylor expansion of -1 in y 3.602 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 3.602 * [taylor]: Taking taylor expansion of x in y 3.602 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.602 * [taylor]: Taking taylor expansion of y in y 3.602 * [taylor]: Taking taylor expansion of 0 in y 3.602 * [taylor]: Taking taylor expansion of 0 in y 3.602 * [taylor]: Taking taylor expansion of 0 in y 3.602 * * * [progress]: simplifying candidates 3.603 * [simplify]: Simplifying using # : (exp (exp (* (* x y) y))) (expm1 (expm1 (exp (* (* x y) y)))) (log1p (expm1 (exp (* (* x y) y)))) (log (expm1 (exp (* (* x y) y)))) (exp (expm1 (exp (* (* x y) y)))) (* (cbrt (expm1 (exp (* (* x y) y)))) (cbrt (expm1 (exp (* (* x y) y))))) (cbrt (expm1 (exp (* (* x y) y)))) (* (* (expm1 (exp (* (* x y) y))) (expm1 (exp (* (* x y) y)))) (expm1 (exp (* (* x y) y)))) (sqrt (expm1 (exp (* (* x y) y)))) (sqrt (expm1 (exp (* (* x y) y)))) (expm1 (* (* x y) y)) (log1p (* (* x y) y)) (* (* x y) y) (* (* x y) y) (+ (+ (log x) (log y)) (log y)) (+ (log (* x y)) (log y)) (log (* (* x y) y)) (exp (* (* x y) y)) (* (* (* (* x x) x) (* (* y y) y)) (* (* y y) y)) (* (* (* (* x y) (* x y)) (* x y)) (* (* y y) y)) (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y))) (cbrt (* (* x y) y)) (* (* (* (* x y) y) (* (* x y) y)) (* (* x y) y)) (sqrt (* (* x y) y)) (sqrt (* (* x y) y)) (* (* x y) (* (cbrt y) (cbrt y))) (* (* x y) (sqrt y)) (* (* x y) 1) (* y y) (expm1 (exp (* (* x y) y))) (log1p (exp (* (* x y) y))) (exp (* x y)) (log (exp (* (* x y) y))) (exp (exp (* (* x y) y))) (* (cbrt (exp (* (* x y) y))) (cbrt (exp (* (* x y) y)))) (cbrt (exp (* (* x y) y))) (* (* (exp (* (* x y) y)) (exp (* (* x y) y))) (exp (* (* x y) y))) (sqrt (exp (* (* x y) y))) (sqrt (exp (* (* x y) y))) (- (+ (* x (* E (pow y 2))) (+ E (* (pow x 2) (* E (pow y 4))))) 1) (- (exp (exp (* x (pow y 2)))) 1) (- (exp (exp (* x (pow y 2)))) 1) (* x (pow y 2)) (* x (pow y 2)) (* x (pow y 2)) (+ (* x (pow y 2)) (+ (* 1/2 (* (pow x 2) (pow y 4))) 1)) (exp (* x (pow y 2))) (exp (* x (pow y 2))) 3.608 * * [simplify]: iteration 0 : 76 enodes (cost 428 ) 3.621 * * [simplify]: iteration 1 : 176 enodes (cost 411 ) 3.671 * * [simplify]: iteration 2 : 643 enodes (cost 355 ) 4.119 * * [simplify]: iteration 3 : 3071 enodes (cost 354 ) 5.516 * * [simplify]: iteration done : 5001 enodes (cost 354 ) 5.516 * [simplify]: Simplified to: (exp (exp (* (* x y) y))) (expm1 (expm1 (exp (* (* x y) y)))) (pow (exp (* x y)) y) (log (expm1 (exp (* (* x y) y)))) (exp (expm1 (exp (* (* x y) y)))) (* (cbrt (expm1 (exp (* (* x y) y)))) (cbrt (expm1 (exp (* (* x y) y))))) (cbrt (expm1 (exp (* (* x y) y)))) (pow (expm1 (exp (* (* x y) y))) 3) (sqrt (expm1 (exp (* (* x y) y)))) (sqrt (expm1 (exp (* (* x y) y)))) (expm1 (* (* x y) y)) (log1p (* (* x y) y)) (* (pow y 2) x) (* (pow y 2) x) (log (* (* x y) y)) (log (* (* x y) y)) (log (* (* x y) y)) (pow (exp (* x y)) y) (pow (* (* x y) y) 3) (pow (* (* x y) y) 3) (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y))) (cbrt (* (* x y) y)) (pow (* (* x y) y) 3) (sqrt (* (* x y) y)) (sqrt (* (* x y) y)) (* (* x y) (* (cbrt y) (cbrt y))) (* (* x y) (sqrt y)) (* y x) (pow y 2) (expm1 (exp (* (* x y) y))) (log1p (exp (* (* x y) y))) (exp (* x y)) (* (pow y 2) x) (exp (exp (* (* x y) y))) (* (cbrt (exp (* (* x y) y))) (cbrt (exp (* (* x y) y)))) (cbrt (exp (* (* x y) y))) (pow (pow (exp (* x y)) y) 3) (sqrt (exp (* (* x y) y))) (sqrt (exp (* (* x y) y))) (fma E (* (* y x) y) (fma (pow y 4) (* (* x x) E) (expm1 1))) (expm1 (exp (* (* x y) y))) (expm1 (exp (* (* x y) y))) (* (pow y 2) x) (* (pow y 2) x) (* (pow y 2) x) (fma x (* y y) (fma 1/2 (* (pow x 2) (pow y 4)) 1)) (pow (exp (* x y)) y) (pow (exp (* x y)) y) 5.516 * * * [progress]: adding candidates to table 5.637 * * [progress]: iteration 3 / 4 5.637 * * * [progress]: picking best candidate 5.640 * * * * [pick]: Picked # 5.640 * * * [progress]: localizing error 5.652 * * * [progress]: generating rewritten candidates 5.652 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 5.652 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1) 5.659 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1) 5.661 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 5.663 * * * [progress]: generating series expansions 5.663 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 5.663 * [approximate]: Taking taylor expansion of (expm1 (expm1 (log1p (exp (* x (pow y 2)))))) in (x y) around 0 5.663 * [taylor]: Taking taylor expansion of (expm1 (expm1 (log1p (exp (* x (pow y 2)))))) in y 5.663 * [taylor]: Rewrote expression to (- (exp (expm1 (log1p (exp (* x (pow y 2)))))) 1) 5.663 * [taylor]: Taking taylor expansion of (exp (expm1 (log1p (exp (* x (pow y 2)))))) in y 5.663 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* x (pow y 2))))) in y 5.663 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* x (pow y 2))))) 1) 5.663 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* x (pow y 2))))) in y 5.663 * [taylor]: Taking taylor expansion of (log1p (exp (* x (pow y 2)))) in y 5.663 * [taylor]: Rewrote expression to (log (+ 1 (exp (* x (pow y 2))))) 5.663 * [taylor]: Taking taylor expansion of (+ 1 (exp (* x (pow y 2)))) in y 5.663 * [taylor]: Taking taylor expansion of 1 in y 5.663 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in y 5.663 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 5.663 * [taylor]: Taking taylor expansion of x in y 5.663 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.663 * [taylor]: Taking taylor expansion of y in y 5.665 * [taylor]: Taking taylor expansion of 1 in y 5.665 * [taylor]: Taking taylor expansion of 1 in y 5.665 * [taylor]: Taking taylor expansion of (expm1 (expm1 (log1p (exp (* x (pow y 2)))))) in x 5.666 * [taylor]: Rewrote expression to (- (exp (expm1 (log1p (exp (* x (pow y 2)))))) 1) 5.666 * [taylor]: Taking taylor expansion of (exp (expm1 (log1p (exp (* x (pow y 2)))))) in x 5.666 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* x (pow y 2))))) in x 5.666 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* x (pow y 2))))) 1) 5.666 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* x (pow y 2))))) in x 5.666 * [taylor]: Taking taylor expansion of (log1p (exp (* x (pow y 2)))) in x 5.666 * [taylor]: Rewrote expression to (log (+ 1 (exp (* x (pow y 2))))) 5.666 * [taylor]: Taking taylor expansion of (+ 1 (exp (* x (pow y 2)))) in x 5.666 * [taylor]: Taking taylor expansion of 1 in x 5.666 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x 5.666 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.666 * [taylor]: Taking taylor expansion of x in x 5.666 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.666 * [taylor]: Taking taylor expansion of y in x 5.667 * [taylor]: Taking taylor expansion of 1 in x 5.668 * [taylor]: Taking taylor expansion of 1 in x 5.668 * [taylor]: Taking taylor expansion of (expm1 (expm1 (log1p (exp (* x (pow y 2)))))) in x 5.668 * [taylor]: Rewrote expression to (- (exp (expm1 (log1p (exp (* x (pow y 2)))))) 1) 5.668 * [taylor]: Taking taylor expansion of (exp (expm1 (log1p (exp (* x (pow y 2)))))) in x 5.668 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* x (pow y 2))))) in x 5.668 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* x (pow y 2))))) 1) 5.668 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* x (pow y 2))))) in x 5.668 * [taylor]: Taking taylor expansion of (log1p (exp (* x (pow y 2)))) in x 5.668 * [taylor]: Rewrote expression to (log (+ 1 (exp (* x (pow y 2))))) 5.668 * [taylor]: Taking taylor expansion of (+ 1 (exp (* x (pow y 2)))) in x 5.668 * [taylor]: Taking taylor expansion of 1 in x 5.668 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x 5.668 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.668 * [taylor]: Taking taylor expansion of x in x 5.668 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.668 * [taylor]: Taking taylor expansion of y in x 5.670 * [taylor]: Taking taylor expansion of 1 in x 5.670 * [taylor]: Taking taylor expansion of 1 in x 5.671 * [taylor]: Taking taylor expansion of (- E 1) in y 5.671 * [taylor]: Taking taylor expansion of E in y 5.671 * [taylor]: Taking taylor expansion of 1 in y 5.674 * [taylor]: Taking taylor expansion of (* E (pow y 2)) in y 5.674 * [taylor]: Taking taylor expansion of E in y 5.674 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.674 * [taylor]: Taking taylor expansion of y in y 5.679 * [taylor]: Taking taylor expansion of (* E (pow y 4)) in y 5.679 * [taylor]: Taking taylor expansion of E in y 5.679 * [taylor]: Taking taylor expansion of (pow y 4) in y 5.679 * [taylor]: Taking taylor expansion of y in y 5.686 * [taylor]: Taking taylor expansion of (* 5/6 (* E (pow y 6))) in y 5.686 * [taylor]: Taking taylor expansion of 5/6 in y 5.686 * [taylor]: Taking taylor expansion of (* E (pow y 6)) in y 5.686 * [taylor]: Taking taylor expansion of E in y 5.686 * [taylor]: Taking taylor expansion of (pow y 6) in y 5.686 * [taylor]: Taking taylor expansion of y in y 5.697 * [taylor]: Taking taylor expansion of (* 5/8 (* E (pow y 8))) in y 5.697 * [taylor]: Taking taylor expansion of 5/8 in y 5.697 * [taylor]: Taking taylor expansion of (* E (pow y 8)) in y 5.697 * [taylor]: Taking taylor expansion of E in y 5.697 * [taylor]: Taking taylor expansion of (pow y 8) in y 5.697 * [taylor]: Taking taylor expansion of y in y 5.716 * [taylor]: Taking taylor expansion of (* 13/30 (* E (pow y 10))) in y 5.717 * [taylor]: Taking taylor expansion of 13/30 in y 5.717 * [taylor]: Taking taylor expansion of (* E (pow y 10)) in y 5.717 * [taylor]: Taking taylor expansion of E in y 5.717 * [taylor]: Taking taylor expansion of (pow y 10) in y 5.717 * [taylor]: Taking taylor expansion of y in y 5.739 * [taylor]: Taking taylor expansion of (* 203/720 (* E (pow y 12))) in y 5.739 * [taylor]: Taking taylor expansion of 203/720 in y 5.739 * [taylor]: Taking taylor expansion of (* E (pow y 12)) in y 5.739 * [taylor]: Taking taylor expansion of E in y 5.739 * [taylor]: Taking taylor expansion of (pow y 12) in y 5.739 * [taylor]: Taking taylor expansion of y in y 5.741 * [approximate]: Taking taylor expansion of (expm1 (expm1 (log1p (exp (/ 1 (* x (pow y 2))))))) in (x y) around 0 5.741 * [taylor]: Taking taylor expansion of (expm1 (expm1 (log1p (exp (/ 1 (* x (pow y 2))))))) in y 5.741 * [taylor]: Rewrote expression to (- (exp (expm1 (log1p (exp (/ 1 (* x (pow y 2))))))) 1) 5.741 * [taylor]: Taking taylor expansion of (exp (expm1 (log1p (exp (/ 1 (* x (pow y 2))))))) in y 5.741 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* x (pow y 2)))))) in y 5.741 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* x (pow y 2)))))) 1) 5.741 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* x (pow y 2)))))) in y 5.741 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* x (pow y 2))))) in y 5.741 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* x (pow y 2)))))) 5.741 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* x (pow y 2))))) in y 5.741 * [taylor]: Taking taylor expansion of 1 in y 5.741 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y 5.741 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 5.741 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 5.741 * [taylor]: Taking taylor expansion of x in y 5.741 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.741 * [taylor]: Taking taylor expansion of y in y 5.742 * [taylor]: Taking taylor expansion of 1 in y 5.743 * [taylor]: Taking taylor expansion of 1 in y 5.743 * [taylor]: Taking taylor expansion of (expm1 (expm1 (log1p (exp (/ 1 (* x (pow y 2))))))) in x 5.743 * [taylor]: Rewrote expression to (- (exp (expm1 (log1p (exp (/ 1 (* x (pow y 2))))))) 1) 5.743 * [taylor]: Taking taylor expansion of (exp (expm1 (log1p (exp (/ 1 (* x (pow y 2))))))) in x 5.743 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* x (pow y 2)))))) in x 5.743 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* x (pow y 2)))))) 1) 5.743 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* x (pow y 2)))))) in x 5.743 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* x (pow y 2))))) in x 5.743 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* x (pow y 2)))))) 5.743 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* x (pow y 2))))) in x 5.743 * [taylor]: Taking taylor expansion of 1 in x 5.743 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x 5.743 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 5.743 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.743 * [taylor]: Taking taylor expansion of x in x 5.743 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.743 * [taylor]: Taking taylor expansion of y in x 5.744 * [taylor]: Taking taylor expansion of 1 in x 5.745 * [taylor]: Taking taylor expansion of 1 in x 5.745 * [taylor]: Taking taylor expansion of (expm1 (expm1 (log1p (exp (/ 1 (* x (pow y 2))))))) in x 5.745 * [taylor]: Rewrote expression to (- (exp (expm1 (log1p (exp (/ 1 (* x (pow y 2))))))) 1) 5.745 * [taylor]: Taking taylor expansion of (exp (expm1 (log1p (exp (/ 1 (* x (pow y 2))))))) in x 5.745 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* x (pow y 2)))))) in x 5.745 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* x (pow y 2)))))) 1) 5.745 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* x (pow y 2)))))) in x 5.745 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* x (pow y 2))))) in x 5.745 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* x (pow y 2)))))) 5.745 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* x (pow y 2))))) in x 5.745 * [taylor]: Taking taylor expansion of 1 in x 5.745 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x 5.745 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 5.745 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.745 * [taylor]: Taking taylor expansion of x in x 5.745 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.745 * [taylor]: Taking taylor expansion of y in x 5.746 * [taylor]: Taking taylor expansion of 1 in x 5.747 * [taylor]: Taking taylor expansion of 1 in x 5.747 * [taylor]: Taking taylor expansion of (- (exp (exp (/ 1 (* x (pow y 2))))) 1) in y 5.747 * [taylor]: Taking taylor expansion of (exp (exp (/ 1 (* x (pow y 2))))) in y 5.747 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y 5.747 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 5.747 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 5.747 * [taylor]: Taking taylor expansion of x in y 5.747 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.747 * [taylor]: Taking taylor expansion of y in y 5.748 * [taylor]: Taking taylor expansion of 1 in y 5.751 * [taylor]: Taking taylor expansion of 0 in y 5.756 * [taylor]: Taking taylor expansion of 0 in y 5.763 * [taylor]: Taking taylor expansion of 0 in y 5.764 * [approximate]: Taking taylor expansion of (expm1 (expm1 (log1p (exp (/ -1 (* x (pow y 2))))))) in (x y) around 0 5.764 * [taylor]: Taking taylor expansion of (expm1 (expm1 (log1p (exp (/ -1 (* x (pow y 2))))))) in y 5.764 * [taylor]: Rewrote expression to (- (exp (expm1 (log1p (exp (/ -1 (* x (pow y 2))))))) 1) 5.764 * [taylor]: Taking taylor expansion of (exp (expm1 (log1p (exp (/ -1 (* x (pow y 2))))))) in y 5.764 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ -1 (* x (pow y 2)))))) in y 5.764 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ -1 (* x (pow y 2)))))) 1) 5.764 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 (* x (pow y 2)))))) in y 5.764 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 (* x (pow y 2))))) in y 5.764 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 (* x (pow y 2)))))) 5.764 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 (* x (pow y 2))))) in y 5.764 * [taylor]: Taking taylor expansion of 1 in y 5.764 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y 5.764 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 5.764 * [taylor]: Taking taylor expansion of -1 in y 5.764 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 5.764 * [taylor]: Taking taylor expansion of x in y 5.764 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.764 * [taylor]: Taking taylor expansion of y in y 5.765 * [taylor]: Taking taylor expansion of 1 in y 5.765 * [taylor]: Taking taylor expansion of 1 in y 5.765 * [taylor]: Taking taylor expansion of (expm1 (expm1 (log1p (exp (/ -1 (* x (pow y 2))))))) in x 5.765 * [taylor]: Rewrote expression to (- (exp (expm1 (log1p (exp (/ -1 (* x (pow y 2))))))) 1) 5.766 * [taylor]: Taking taylor expansion of (exp (expm1 (log1p (exp (/ -1 (* x (pow y 2))))))) in x 5.766 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ -1 (* x (pow y 2)))))) in x 5.766 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ -1 (* x (pow y 2)))))) 1) 5.766 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 (* x (pow y 2)))))) in x 5.766 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 (* x (pow y 2))))) in x 5.766 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 (* x (pow y 2)))))) 5.766 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 (* x (pow y 2))))) in x 5.766 * [taylor]: Taking taylor expansion of 1 in x 5.766 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x 5.766 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 5.766 * [taylor]: Taking taylor expansion of -1 in x 5.766 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.766 * [taylor]: Taking taylor expansion of x in x 5.766 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.766 * [taylor]: Taking taylor expansion of y in x 5.767 * [taylor]: Taking taylor expansion of 1 in x 5.767 * [taylor]: Taking taylor expansion of 1 in x 5.767 * [taylor]: Taking taylor expansion of (expm1 (expm1 (log1p (exp (/ -1 (* x (pow y 2))))))) in x 5.767 * [taylor]: Rewrote expression to (- (exp (expm1 (log1p (exp (/ -1 (* x (pow y 2))))))) 1) 5.767 * [taylor]: Taking taylor expansion of (exp (expm1 (log1p (exp (/ -1 (* x (pow y 2))))))) in x 5.767 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ -1 (* x (pow y 2)))))) in x 5.768 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ -1 (* x (pow y 2)))))) 1) 5.768 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 (* x (pow y 2)))))) in x 5.768 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 (* x (pow y 2))))) in x 5.768 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 (* x (pow y 2)))))) 5.768 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 (* x (pow y 2))))) in x 5.768 * [taylor]: Taking taylor expansion of 1 in x 5.768 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x 5.768 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 5.768 * [taylor]: Taking taylor expansion of -1 in x 5.768 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.768 * [taylor]: Taking taylor expansion of x in x 5.768 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.768 * [taylor]: Taking taylor expansion of y in x 5.769 * [taylor]: Taking taylor expansion of 1 in x 5.769 * [taylor]: Taking taylor expansion of 1 in x 5.770 * [taylor]: Taking taylor expansion of (- (exp (exp (/ -1 (* x (pow y 2))))) 1) in y 5.770 * [taylor]: Taking taylor expansion of (exp (exp (/ -1 (* x (pow y 2))))) in y 5.770 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y 5.770 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 5.770 * [taylor]: Taking taylor expansion of -1 in y 5.770 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 5.770 * [taylor]: Taking taylor expansion of x in y 5.770 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.770 * [taylor]: Taking taylor expansion of y in y 5.770 * [taylor]: Taking taylor expansion of 1 in y 5.774 * [taylor]: Taking taylor expansion of 0 in y 5.779 * [taylor]: Taking taylor expansion of 0 in y 5.786 * [taylor]: Taking taylor expansion of 0 in y 5.786 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1) 5.786 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (x y) around 0 5.786 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 5.786 * [taylor]: Taking taylor expansion of x in y 5.786 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.786 * [taylor]: Taking taylor expansion of y in y 5.786 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.786 * [taylor]: Taking taylor expansion of x in x 5.786 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.786 * [taylor]: Taking taylor expansion of y in x 5.786 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.786 * [taylor]: Taking taylor expansion of x in x 5.786 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.786 * [taylor]: Taking taylor expansion of y in x 5.786 * [taylor]: Taking taylor expansion of 0 in y 5.787 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.787 * [taylor]: Taking taylor expansion of y in y 5.788 * [taylor]: Taking taylor expansion of 0 in y 5.790 * [taylor]: Taking taylor expansion of 0 in y 5.790 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (x y) around 0 5.790 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 5.790 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 5.790 * [taylor]: Taking taylor expansion of x in y 5.790 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.790 * [taylor]: Taking taylor expansion of y in y 5.791 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 5.791 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.791 * [taylor]: Taking taylor expansion of x in x 5.791 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.791 * [taylor]: Taking taylor expansion of y in x 5.791 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 5.791 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.791 * [taylor]: Taking taylor expansion of x in x 5.791 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.791 * [taylor]: Taking taylor expansion of y in x 5.792 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.792 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.792 * [taylor]: Taking taylor expansion of y in y 5.793 * [taylor]: Taking taylor expansion of 0 in y 5.796 * [taylor]: Taking taylor expansion of 0 in y 5.802 * [taylor]: Taking taylor expansion of 0 in y 5.806 * [taylor]: Taking taylor expansion of 0 in y 5.806 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (x y) around 0 5.806 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 5.806 * [taylor]: Taking taylor expansion of -1 in y 5.806 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 5.806 * [taylor]: Taking taylor expansion of x in y 5.806 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.806 * [taylor]: Taking taylor expansion of y in y 5.807 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 5.807 * [taylor]: Taking taylor expansion of -1 in x 5.807 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.807 * [taylor]: Taking taylor expansion of x in x 5.807 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.807 * [taylor]: Taking taylor expansion of y in x 5.807 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 5.807 * [taylor]: Taking taylor expansion of -1 in x 5.807 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.808 * [taylor]: Taking taylor expansion of x in x 5.808 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.808 * [taylor]: Taking taylor expansion of y in x 5.808 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y 5.808 * [taylor]: Taking taylor expansion of -1 in y 5.808 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.808 * [taylor]: Taking taylor expansion of y in y 5.810 * [taylor]: Taking taylor expansion of 0 in y 5.812 * [taylor]: Taking taylor expansion of 0 in y 5.816 * [taylor]: Taking taylor expansion of 0 in y 5.819 * [taylor]: Taking taylor expansion of 0 in y 5.820 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1) 5.820 * [approximate]: Taking taylor expansion of (exp (* x (pow y 2))) in (x y) around 0 5.820 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in y 5.820 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 5.820 * [taylor]: Taking taylor expansion of x in y 5.820 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.820 * [taylor]: Taking taylor expansion of y in y 5.820 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x 5.820 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.820 * [taylor]: Taking taylor expansion of x in x 5.820 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.820 * [taylor]: Taking taylor expansion of y in x 5.821 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x 5.821 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.821 * [taylor]: Taking taylor expansion of x in x 5.821 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.821 * [taylor]: Taking taylor expansion of y in x 5.821 * [taylor]: Taking taylor expansion of 1 in y 5.822 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.822 * [taylor]: Taking taylor expansion of y in y 5.823 * [taylor]: Taking taylor expansion of (* 1/2 (pow y 4)) in y 5.823 * [taylor]: Taking taylor expansion of 1/2 in y 5.823 * [taylor]: Taking taylor expansion of (pow y 4) in y 5.823 * [taylor]: Taking taylor expansion of y in y 5.826 * [taylor]: Taking taylor expansion of (* 1/6 (pow y 6)) in y 5.826 * [taylor]: Taking taylor expansion of 1/6 in y 5.826 * [taylor]: Taking taylor expansion of (pow y 6) in y 5.826 * [taylor]: Taking taylor expansion of y in y 5.830 * [taylor]: Taking taylor expansion of (* 1/24 (pow y 8)) in y 5.830 * [taylor]: Taking taylor expansion of 1/24 in y 5.830 * [taylor]: Taking taylor expansion of (pow y 8) in y 5.830 * [taylor]: Taking taylor expansion of y in y 5.835 * [taylor]: Taking taylor expansion of (* 1/120 (pow y 10)) in y 5.835 * [taylor]: Taking taylor expansion of 1/120 in y 5.835 * [taylor]: Taking taylor expansion of (pow y 10) in y 5.835 * [taylor]: Taking taylor expansion of y in y 5.843 * [taylor]: Taking taylor expansion of (* 1/720 (pow y 12)) in y 5.843 * [taylor]: Taking taylor expansion of 1/720 in y 5.843 * [taylor]: Taking taylor expansion of (pow y 12) in y 5.843 * [taylor]: Taking taylor expansion of y in y 5.845 * [approximate]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in (x y) around 0 5.845 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y 5.845 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 5.845 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 5.845 * [taylor]: Taking taylor expansion of x in y 5.845 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.845 * [taylor]: Taking taylor expansion of y in y 5.845 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x 5.845 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 5.845 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.845 * [taylor]: Taking taylor expansion of x in x 5.845 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.845 * [taylor]: Taking taylor expansion of y in x 5.846 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x 5.846 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 5.846 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.846 * [taylor]: Taking taylor expansion of x in x 5.846 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.846 * [taylor]: Taking taylor expansion of y in x 5.847 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y 5.847 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 5.847 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 5.847 * [taylor]: Taking taylor expansion of x in y 5.847 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.847 * [taylor]: Taking taylor expansion of y in y 5.847 * [taylor]: Taking taylor expansion of 0 in y 5.847 * [taylor]: Taking taylor expansion of 0 in y 5.847 * [taylor]: Taking taylor expansion of 0 in y 5.848 * [approximate]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in (x y) around 0 5.848 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y 5.848 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 5.848 * [taylor]: Taking taylor expansion of -1 in y 5.848 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 5.848 * [taylor]: Taking taylor expansion of x in y 5.848 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.848 * [taylor]: Taking taylor expansion of y in y 5.848 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x 5.848 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 5.848 * [taylor]: Taking taylor expansion of -1 in x 5.848 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.848 * [taylor]: Taking taylor expansion of x in x 5.848 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.848 * [taylor]: Taking taylor expansion of y in x 5.849 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x 5.849 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 5.849 * [taylor]: Taking taylor expansion of -1 in x 5.849 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.849 * [taylor]: Taking taylor expansion of x in x 5.849 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.849 * [taylor]: Taking taylor expansion of y in x 5.850 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y 5.850 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 5.850 * [taylor]: Taking taylor expansion of -1 in y 5.850 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 5.850 * [taylor]: Taking taylor expansion of x in y 5.850 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.850 * [taylor]: Taking taylor expansion of y in y 5.850 * [taylor]: Taking taylor expansion of 0 in y 5.850 * [taylor]: Taking taylor expansion of 0 in y 5.850 * [taylor]: Taking taylor expansion of 0 in y 5.851 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 5.851 * [approximate]: Taking taylor expansion of (expm1 (log1p (exp (* x (pow y 2))))) in (x y) around 0 5.851 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* x (pow y 2))))) in y 5.851 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* x (pow y 2))))) 1) 5.851 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* x (pow y 2))))) in y 5.851 * [taylor]: Taking taylor expansion of (log1p (exp (* x (pow y 2)))) in y 5.851 * [taylor]: Rewrote expression to (log (+ 1 (exp (* x (pow y 2))))) 5.851 * [taylor]: Taking taylor expansion of (+ 1 (exp (* x (pow y 2)))) in y 5.851 * [taylor]: Taking taylor expansion of 1 in y 5.851 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in y 5.851 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 5.851 * [taylor]: Taking taylor expansion of x in y 5.851 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.851 * [taylor]: Taking taylor expansion of y in y 5.852 * [taylor]: Taking taylor expansion of 1 in y 5.852 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* x (pow y 2))))) in x 5.852 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* x (pow y 2))))) 1) 5.852 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* x (pow y 2))))) in x 5.853 * [taylor]: Taking taylor expansion of (log1p (exp (* x (pow y 2)))) in x 5.853 * [taylor]: Rewrote expression to (log (+ 1 (exp (* x (pow y 2))))) 5.853 * [taylor]: Taking taylor expansion of (+ 1 (exp (* x (pow y 2)))) in x 5.853 * [taylor]: Taking taylor expansion of 1 in x 5.853 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x 5.853 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.853 * [taylor]: Taking taylor expansion of x in x 5.853 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.853 * [taylor]: Taking taylor expansion of y in x 5.854 * [taylor]: Taking taylor expansion of 1 in x 5.854 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (* x (pow y 2))))) in x 5.854 * [taylor]: Rewrote expression to (- (exp (log1p (exp (* x (pow y 2))))) 1) 5.854 * [taylor]: Taking taylor expansion of (exp (log1p (exp (* x (pow y 2))))) in x 5.854 * [taylor]: Taking taylor expansion of (log1p (exp (* x (pow y 2)))) in x 5.855 * [taylor]: Rewrote expression to (log (+ 1 (exp (* x (pow y 2))))) 5.855 * [taylor]: Taking taylor expansion of (+ 1 (exp (* x (pow y 2)))) in x 5.855 * [taylor]: Taking taylor expansion of 1 in x 5.855 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x 5.855 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.855 * [taylor]: Taking taylor expansion of x in x 5.855 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.855 * [taylor]: Taking taylor expansion of y in x 5.856 * [taylor]: Taking taylor expansion of 1 in x 5.857 * [taylor]: Taking taylor expansion of 1 in y 5.859 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.859 * [taylor]: Taking taylor expansion of y in y 5.862 * [taylor]: Taking taylor expansion of (* 1/2 (pow y 4)) in y 5.863 * [taylor]: Taking taylor expansion of 1/2 in y 5.863 * [taylor]: Taking taylor expansion of (pow y 4) in y 5.863 * [taylor]: Taking taylor expansion of y in y 5.868 * [taylor]: Taking taylor expansion of (* 1/6 (pow y 6)) in y 5.868 * [taylor]: Taking taylor expansion of 1/6 in y 5.868 * [taylor]: Taking taylor expansion of (pow y 6) in y 5.868 * [taylor]: Taking taylor expansion of y in y 5.877 * [taylor]: Taking taylor expansion of (* 1/24 (pow y 8)) in y 5.877 * [taylor]: Taking taylor expansion of 1/24 in y 5.877 * [taylor]: Taking taylor expansion of (pow y 8) in y 5.877 * [taylor]: Taking taylor expansion of y in y 5.890 * [taylor]: Taking taylor expansion of (* 1/120 (pow y 10)) in y 5.890 * [taylor]: Taking taylor expansion of 1/120 in y 5.890 * [taylor]: Taking taylor expansion of (pow y 10) in y 5.890 * [taylor]: Taking taylor expansion of y in y 5.912 * [taylor]: Taking taylor expansion of (* 1/720 (pow y 12)) in y 5.912 * [taylor]: Taking taylor expansion of 1/720 in y 5.912 * [taylor]: Taking taylor expansion of (pow y 12) in y 5.912 * [taylor]: Taking taylor expansion of y in y 5.913 * [approximate]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* x (pow y 2)))))) in (x y) around 0 5.913 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* x (pow y 2)))))) in y 5.913 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* x (pow y 2)))))) 1) 5.913 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* x (pow y 2)))))) in y 5.913 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* x (pow y 2))))) in y 5.913 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* x (pow y 2)))))) 5.913 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* x (pow y 2))))) in y 5.913 * [taylor]: Taking taylor expansion of 1 in y 5.913 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y 5.913 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 5.913 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 5.913 * [taylor]: Taking taylor expansion of x in y 5.913 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.913 * [taylor]: Taking taylor expansion of y in y 5.914 * [taylor]: Taking taylor expansion of 1 in y 5.914 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* x (pow y 2)))))) in x 5.914 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* x (pow y 2)))))) 1) 5.914 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* x (pow y 2)))))) in x 5.914 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* x (pow y 2))))) in x 5.914 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* x (pow y 2)))))) 5.914 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* x (pow y 2))))) in x 5.914 * [taylor]: Taking taylor expansion of 1 in x 5.914 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x 5.914 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 5.914 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.914 * [taylor]: Taking taylor expansion of x in x 5.914 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.914 * [taylor]: Taking taylor expansion of y in x 5.915 * [taylor]: Taking taylor expansion of 1 in x 5.915 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ 1 (* x (pow y 2)))))) in x 5.915 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ 1 (* x (pow y 2)))))) 1) 5.915 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 (* x (pow y 2)))))) in x 5.916 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 (* x (pow y 2))))) in x 5.916 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 (* x (pow y 2)))))) 5.916 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 (* x (pow y 2))))) in x 5.916 * [taylor]: Taking taylor expansion of 1 in x 5.916 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x 5.916 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 5.916 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.916 * [taylor]: Taking taylor expansion of x in x 5.916 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.916 * [taylor]: Taking taylor expansion of y in x 5.917 * [taylor]: Taking taylor expansion of 1 in x 5.917 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y 5.917 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 5.917 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 5.917 * [taylor]: Taking taylor expansion of x in y 5.917 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.917 * [taylor]: Taking taylor expansion of y in y 5.920 * [taylor]: Taking taylor expansion of 0 in y 5.923 * [taylor]: Taking taylor expansion of 0 in y 5.927 * [taylor]: Taking taylor expansion of 0 in y 5.927 * [approximate]: Taking taylor expansion of (expm1 (log1p (exp (/ -1 (* x (pow y 2)))))) in (x y) around 0 5.927 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ -1 (* x (pow y 2)))))) in y 5.927 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ -1 (* x (pow y 2)))))) 1) 5.927 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 (* x (pow y 2)))))) in y 5.927 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 (* x (pow y 2))))) in y 5.927 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 (* x (pow y 2)))))) 5.927 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 (* x (pow y 2))))) in y 5.927 * [taylor]: Taking taylor expansion of 1 in y 5.927 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y 5.927 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 5.927 * [taylor]: Taking taylor expansion of -1 in y 5.927 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 5.927 * [taylor]: Taking taylor expansion of x in y 5.927 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.927 * [taylor]: Taking taylor expansion of y in y 5.928 * [taylor]: Taking taylor expansion of 1 in y 5.928 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ -1 (* x (pow y 2)))))) in x 5.928 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ -1 (* x (pow y 2)))))) 1) 5.928 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 (* x (pow y 2)))))) in x 5.928 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 (* x (pow y 2))))) in x 5.928 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 (* x (pow y 2)))))) 5.928 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 (* x (pow y 2))))) in x 5.928 * [taylor]: Taking taylor expansion of 1 in x 5.928 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x 5.928 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 5.928 * [taylor]: Taking taylor expansion of -1 in x 5.928 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.929 * [taylor]: Taking taylor expansion of x in x 5.929 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.929 * [taylor]: Taking taylor expansion of y in x 5.930 * [taylor]: Taking taylor expansion of 1 in x 5.930 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (/ -1 (* x (pow y 2)))))) in x 5.930 * [taylor]: Rewrote expression to (- (exp (log1p (exp (/ -1 (* x (pow y 2)))))) 1) 5.930 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 (* x (pow y 2)))))) in x 5.930 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 (* x (pow y 2))))) in x 5.930 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 (* x (pow y 2)))))) 5.930 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 (* x (pow y 2))))) in x 5.930 * [taylor]: Taking taylor expansion of 1 in x 5.930 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x 5.930 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 5.930 * [taylor]: Taking taylor expansion of -1 in x 5.930 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.930 * [taylor]: Taking taylor expansion of x in x 5.930 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.930 * [taylor]: Taking taylor expansion of y in x 5.931 * [taylor]: Taking taylor expansion of 1 in x 5.931 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y 5.931 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 5.931 * [taylor]: Taking taylor expansion of -1 in y 5.931 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 5.931 * [taylor]: Taking taylor expansion of x in y 5.931 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.931 * [taylor]: Taking taylor expansion of y in y 5.934 * [taylor]: Taking taylor expansion of 0 in y 5.937 * [taylor]: Taking taylor expansion of 0 in y 5.941 * [taylor]: Taking taylor expansion of 0 in y 5.941 * * * [progress]: simplifying candidates 5.942 * [simplify]: Simplifying using # : (exp (expm1 (log1p (exp (* (* x y) y))))) (expm1 (expm1 (expm1 (log1p (exp (* (* x y) y)))))) (log1p (expm1 (expm1 (log1p (exp (* (* x y) y)))))) (log (expm1 (expm1 (log1p (exp (* (* x y) y)))))) (exp (expm1 (expm1 (log1p (exp (* (* x y) y)))))) (* (cbrt (expm1 (expm1 (log1p (exp (* (* x y) y)))))) (cbrt (expm1 (expm1 (log1p (exp (* (* x y) y))))))) (cbrt (expm1 (expm1 (log1p (exp (* (* x y) y)))))) (* (* (expm1 (expm1 (log1p (exp (* (* x y) y))))) (expm1 (expm1 (log1p (exp (* (* x y) y)))))) (expm1 (expm1 (log1p (exp (* (* x y) y)))))) (sqrt (expm1 (expm1 (log1p (exp (* (* x y) y)))))) (sqrt (expm1 (expm1 (log1p (exp (* (* x y) y)))))) (expm1 (* (* x y) y)) (log1p (* (* x y) y)) (* (* x y) y) (* (* x y) y) (+ (+ (log x) (log y)) (log y)) (+ (log (* x y)) (log y)) (log (* (* x y) y)) (exp (* (* x y) y)) (* (* (* (* x x) x) (* (* y y) y)) (* (* y y) y)) (* (* (* (* x y) (* x y)) (* x y)) (* (* y y) y)) (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y))) (cbrt (* (* x y) y)) (* (* (* (* x y) y) (* (* x y) y)) (* (* x y) y)) (sqrt (* (* x y) y)) (sqrt (* (* x y) y)) (* (* x y) (* (cbrt y) (cbrt y))) (* (* x y) (sqrt y)) (* (* x y) 1) (* y y) (expm1 (exp (* (* x y) y))) (log1p (exp (* (* x y) y))) (exp (* x y)) (log (exp (* (* x y) y))) (exp (exp (* (* x y) y))) (* (cbrt (exp (* (* x y) y))) (cbrt (exp (* (* x y) y)))) (cbrt (exp (* (* x y) y))) (* (* (exp (* (* x y) y)) (exp (* (* x y) y))) (exp (* (* x y) y))) (sqrt (exp (* (* x y) y))) (sqrt (exp (* (* x y) y))) (exp (log1p (exp (* (* x y) y)))) (expm1 (expm1 (log1p (exp (* (* x y) y))))) (log1p (expm1 (log1p (exp (* (* x y) y))))) (log (expm1 (log1p (exp (* (* x y) y))))) (exp (expm1 (log1p (exp (* (* x y) y))))) (* (cbrt (expm1 (log1p (exp (* (* x y) y))))) (cbrt (expm1 (log1p (exp (* (* x y) y)))))) (cbrt (expm1 (log1p (exp (* (* x y) y))))) (* (* (expm1 (log1p (exp (* (* x y) y)))) (expm1 (log1p (exp (* (* x y) y))))) (expm1 (log1p (exp (* (* x y) y))))) (sqrt (expm1 (log1p (exp (* (* x y) y))))) (sqrt (expm1 (log1p (exp (* (* x y) y))))) (- (+ (* x (* E (pow y 2))) (+ E (* (pow x 2) (* E (pow y 4))))) 1) (- (exp (exp (* x (pow y 2)))) 1) (- (exp (exp (* x (pow y 2)))) 1) (* x (pow y 2)) (* x (pow y 2)) (* x (pow y 2)) (+ (* x (pow y 2)) (+ (* 1/2 (* (pow x 2) (pow y 4))) 1)) (exp (* x (pow y 2))) (exp (* x (pow y 2))) (+ (* x (pow y 2)) (+ (* 1/2 (* (pow x 2) (pow y 4))) 1)) (exp (* x (pow y 2))) (exp (* x (pow y 2))) 5.945 * * [simplify]: iteration 0 : 87 enodes (cost 599 ) 5.959 * * [simplify]: iteration 1 : 188 enodes (cost 527 ) 6.013 * * [simplify]: iteration 2 : 652 enodes (cost 472 ) 6.486 * * [simplify]: iteration 3 : 3081 enodes (cost 459 ) 7.966 * * [simplify]: iteration done : 5001 enodes (cost 459 ) 7.967 * [simplify]: Simplified to: (exp (exp (* (* x y) y))) (expm1 (expm1 (exp (* (* x y) y)))) (exp (* (* x y) y)) (log (expm1 (exp (* (* x y) y)))) (exp (expm1 (exp (* (* x y) y)))) (* (cbrt (expm1 (exp (* (* x y) y)))) (cbrt (expm1 (exp (* (* x y) y))))) (cbrt (expm1 (exp (* (* x y) y)))) (pow (expm1 (exp (* (* x y) y))) 3) (sqrt (expm1 (exp (* (* x y) y)))) (sqrt (expm1 (exp (* (* x y) y)))) (expm1 (* (* x y) y)) (log1p (* (* x y) y)) (* (* x y) y) (* (* x y) y) (log (* (* x y) y)) (log (* (* x y) y)) (log (* (* x y) y)) (exp (* (* x y) y)) (pow (* (* y x) y) 3) (pow (* (* y x) y) 3) (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y))) (cbrt (* (* x y) y)) (pow (* (* y x) y) 3) (sqrt (* (* x y) y)) (sqrt (* (* x y) y)) (* (* x y) (* (cbrt y) (cbrt y))) (* (* x y) (sqrt y)) (* x y) (pow y 2) (expm1 (exp (* (* x y) y))) (log1p (exp (* (* x y) y))) (exp (* x y)) (* (* x y) y) (exp (exp (* (* x y) y))) (* (cbrt (exp (* (* x y) y))) (cbrt (exp (* (* x y) y)))) (cbrt (exp (* (* x y) y))) (exp (* (* (* y x) y) 3)) (sqrt (exp (* x (pow y 2)))) (sqrt (exp (* x (pow y 2)))) (exp (log1p (exp (* (* x y) y)))) (expm1 (exp (* (* x y) y))) (log1p (exp (* (* x y) y))) (* (* x y) y) (exp (exp (* (* x y) y))) (* (cbrt (exp (* (* x y) y))) (cbrt (exp (* (* x y) y)))) (cbrt (exp (* (* x y) y))) (exp (* (* (* y x) y) 3)) (sqrt (exp (* x (pow y 2)))) (sqrt (exp (* x (pow y 2)))) (fma x (* E (pow y 2)) (fma (* (* (pow y 4) x) x) E (expm1 1))) (expm1 (exp (* (* x y) y))) (expm1 (exp (* (* x y) y))) (* (* x y) y) (* (* x y) y) (* (* x y) y) (fma x (* y y) (fma 1/2 (* (pow x 2) (pow y 4)) 1)) (exp (* (* x y) y)) (exp (* (* x y) y)) (fma x (* y y) (fma 1/2 (* (pow x 2) (pow y 4)) 1)) (exp (* (* x y) y)) (exp (* (* x y) y)) 7.967 * * * [progress]: adding candidates to table 8.120 * [progress]: [Phase 3 of 3] Extracting. 8.120 * * [regime]: Finding splitpoints for: (# #) 8.121 * * * [regime-changes]: Trying 4 branch expressions: ((* (* x y) y) (exp (* (* x y) y)) y x) 8.121 * * * * [regimes]: Trying to branch on (* (* x y) y) from (# #) 8.133 * * * * [regimes]: Trying to branch on (exp (* (* x y) y)) from (# #) 8.147 * * * * [regimes]: Trying to branch on y from (# #) 8.162 * * * * [regimes]: Trying to branch on x from (# #) 8.175 * * * [regime]: Found split indices: #