27.305 * [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.022 * [simplify]: Simplifying using # : (* x (exp (* y y))) 0.023 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.024 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 0.024 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 0.026 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 0.030 * * [simplify]: iteration 4 : 48 enodes (cost 6 ) 0.043 * * [simplify]: iteration 5 : 121 enodes (cost 6 ) 0.075 * * [simplify]: iteration 6 : 340 enodes (cost 6 ) 0.236 * * [simplify]: iteration 7 : 1328 enodes (cost 6 ) 1.659 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 1.659 * [simplify]: Simplified to: (* x (exp (* y y))) 1.659 * * [progress]: iteration 1 / 4 1.659 * * * [progress]: picking best candidate 1.661 * * * * [pick]: Picked # 1.661 * * * [progress]: localizing error 1.666 * * * [progress]: generating rewritten candidates 1.666 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 1.668 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 1.673 * * * [progress]: generating series expansions 1.673 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 1.673 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0 1.673 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 1.673 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.674 * [taylor]: Taking taylor expansion of y in y 1.674 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 1.674 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.674 * [taylor]: Taking taylor expansion of y in y 1.682 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 1.682 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 1.682 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.682 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.682 * [taylor]: Taking taylor expansion of y in y 1.683 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 1.683 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.683 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.683 * [taylor]: Taking taylor expansion of y in y 1.684 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 1.684 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 1.684 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.684 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.684 * [taylor]: Taking taylor expansion of y in y 1.685 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 1.685 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.685 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.685 * [taylor]: Taking taylor expansion of y in y 1.686 * * * * [progress]: [ 2 / 2 ] generating series at (2) 1.687 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0 1.687 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 1.687 * [taylor]: Taking taylor expansion of x in y 1.687 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 1.687 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.687 * [taylor]: Taking taylor expansion of y in y 1.687 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 1.687 * [taylor]: Taking taylor expansion of x in x 1.687 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 1.687 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.687 * [taylor]: Taking taylor expansion of y in x 1.687 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 1.687 * [taylor]: Taking taylor expansion of x in x 1.687 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 1.687 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.688 * [taylor]: Taking taylor expansion of y in x 1.688 * [taylor]: Taking taylor expansion of 0 in y 1.693 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 1.693 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.693 * [taylor]: Taking taylor expansion of y in y 1.696 * [taylor]: Taking taylor expansion of 0 in y 1.700 * [taylor]: Taking taylor expansion of 0 in y 1.700 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0 1.700 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 1.700 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 1.700 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.700 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.700 * [taylor]: Taking taylor expansion of y in y 1.701 * [taylor]: Taking taylor expansion of x in y 1.701 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 1.701 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 1.701 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 1.701 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.701 * [taylor]: Taking taylor expansion of y in x 1.702 * [taylor]: Taking taylor expansion of x in x 1.702 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 1.702 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 1.702 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 1.702 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.702 * [taylor]: Taking taylor expansion of y in x 1.702 * [taylor]: Taking taylor expansion of x in x 1.702 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 1.702 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.702 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.702 * [taylor]: Taking taylor expansion of y in y 1.705 * [taylor]: Taking taylor expansion of 0 in y 1.708 * [taylor]: Taking taylor expansion of 0 in y 1.712 * [taylor]: Taking taylor expansion of 0 in y 1.712 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0 1.712 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y 1.712 * [taylor]: Taking taylor expansion of -1 in y 1.712 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 1.712 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 1.712 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.712 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.712 * [taylor]: Taking taylor expansion of y in y 1.713 * [taylor]: Taking taylor expansion of x in y 1.713 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 1.714 * [taylor]: Taking taylor expansion of -1 in x 1.714 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 1.714 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 1.714 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 1.714 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.714 * [taylor]: Taking taylor expansion of y in x 1.714 * [taylor]: Taking taylor expansion of x in x 1.714 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 1.714 * [taylor]: Taking taylor expansion of -1 in x 1.714 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 1.714 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 1.714 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 1.714 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.714 * [taylor]: Taking taylor expansion of y in x 1.714 * [taylor]: Taking taylor expansion of x in x 1.715 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 1.715 * [taylor]: Taking taylor expansion of -1 in y 1.715 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 1.715 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.715 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.715 * [taylor]: Taking taylor expansion of y in y 1.718 * [taylor]: Taking taylor expansion of 0 in y 1.722 * [taylor]: Taking taylor expansion of 0 in y 1.728 * [taylor]: Taking taylor expansion of 0 in y 1.728 * * * [progress]: simplifying candidates 1.729 * [simplify]: Simplifying using # : (expm1 (exp (* y y))) (log1p (exp (* y y))) (exp y) (log (exp (* y y))) (exp (exp (* y y))) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (cbrt (exp (* y y))) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y))) (sqrt (exp (* y y))) (sqrt (exp (* y y))) (expm1 (* x (exp (* y y)))) (log1p (* x (exp (* y y)))) (* x (exp (* y y))) (+ (log x) (* y y)) (log (* x (exp (* y y)))) (exp (* x (exp (* y y)))) (* (* (* x x) x) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y)))) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y)))) (* (* (* x (exp (* y y))) (* x (exp (* y y)))) (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))) (* x (sqrt (exp (* y y)))) (* x 1) (* (cbrt x) (exp (* y y))) (* (sqrt x) (exp (* y y))) (* x (exp (* y y))) (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1)) (exp (pow y 2)) (exp (pow y 2)) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 1.731 * * [simplify]: iteration 0 : 48 enodes (cost 269 ) 1.739 * * [simplify]: iteration 1 : 95 enodes (cost 260 ) 1.761 * * [simplify]: iteration 2 : 287 enodes (cost 228 ) 1.866 * * [simplify]: iteration 3 : 1011 enodes (cost 228 ) 2.421 * * [simplify]: iteration done : 5000 enodes (cost 228 ) 2.422 * [simplify]: Simplified to: (expm1 (exp (* y y))) (log1p (exp (* y y))) (exp y) (pow y 2) (exp (exp (* y y))) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (cbrt (exp (* y y))) (pow (exp (pow y 2)) 3) (sqrt (exp (pow y 2))) (sqrt (exp (pow y 2))) (expm1 (* x (exp (* y y)))) (log1p (* x (exp (* y y)))) (* x (exp (* y y))) (fma y y (log x)) (fma y y (log x)) (exp (* x (exp (* y y)))) (pow (* x (exp (* y y))) 3) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y)))) (pow (* x (exp (* y y))) 3) (sqrt (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))) (* x (sqrt (exp (* y y)))) x (* (cbrt x) (exp (* y y))) (* (sqrt x) (exp (* y y))) (* x (exp (* y y))) (fma y y (fma 1/2 (pow y 4) 1)) (exp (pow y 2)) (exp (pow y 2)) x (* x (exp (* y y))) (* x (exp (* y y))) 2.422 * * * [progress]: adding candidates to table 2.510 * * [progress]: iteration 2 / 4 2.510 * * * [progress]: picking best candidate 2.518 * * * * [pick]: Picked # 2.518 * * * [progress]: localizing error 2.525 * * * [progress]: generating rewritten candidates 2.525 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 2.528 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 2.536 * * * [progress]: generating series expansions 2.536 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 2.537 * [approximate]: Taking taylor expansion of (pow (exp y) y) in (y) around 0 2.537 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 2.537 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 2.537 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 2.537 * [taylor]: Taking taylor expansion of y in y 2.537 * [taylor]: Taking taylor expansion of (log (exp y)) in y 2.537 * [taylor]: Taking taylor expansion of (exp y) in y 2.537 * [taylor]: Taking taylor expansion of y in y 2.543 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 2.543 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 2.543 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 2.543 * [taylor]: Taking taylor expansion of y in y 2.543 * [taylor]: Taking taylor expansion of (log (exp y)) in y 2.543 * [taylor]: Taking taylor expansion of (exp y) in y 2.543 * [taylor]: Taking taylor expansion of y in y 2.574 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in (y) around 0 2.574 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 2.574 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 2.574 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 2.574 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.574 * [taylor]: Taking taylor expansion of y in y 2.575 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 2.575 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.575 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.575 * [taylor]: Taking taylor expansion of y in y 2.576 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 2.576 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 2.576 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 2.576 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.576 * [taylor]: Taking taylor expansion of y in y 2.576 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 2.576 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.576 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.576 * [taylor]: Taking taylor expansion of y in y 2.577 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in (y) around 0 2.577 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 2.577 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 2.577 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 2.577 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.577 * [taylor]: Taking taylor expansion of -1 in y 2.577 * [taylor]: Taking taylor expansion of y in y 2.578 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 2.578 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 2.578 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.578 * [taylor]: Taking taylor expansion of -1 in y 2.578 * [taylor]: Taking taylor expansion of y in y 2.579 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 2.579 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 2.579 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 2.579 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.579 * [taylor]: Taking taylor expansion of -1 in y 2.579 * [taylor]: Taking taylor expansion of y in y 2.579 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 2.579 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 2.579 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.579 * [taylor]: Taking taylor expansion of -1 in y 2.579 * [taylor]: Taking taylor expansion of y in y 2.580 * * * * [progress]: [ 2 / 2 ] generating series at (2) 2.581 * [approximate]: Taking taylor expansion of (* x (pow (exp y) y)) in (x y) around 0 2.581 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in y 2.581 * [taylor]: Taking taylor expansion of x in y 2.581 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 2.581 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 2.581 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 2.581 * [taylor]: Taking taylor expansion of y in y 2.581 * [taylor]: Taking taylor expansion of (log (exp y)) in y 2.581 * [taylor]: Taking taylor expansion of (exp y) in y 2.581 * [taylor]: Taking taylor expansion of y in y 2.587 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x 2.587 * [taylor]: Taking taylor expansion of x in x 2.587 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 2.587 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 2.587 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 2.587 * [taylor]: Taking taylor expansion of y in x 2.587 * [taylor]: Taking taylor expansion of (log (exp y)) in x 2.587 * [taylor]: Taking taylor expansion of (exp y) in x 2.587 * [taylor]: Taking taylor expansion of y in x 2.587 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x 2.587 * [taylor]: Taking taylor expansion of x in x 2.587 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 2.587 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 2.587 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 2.587 * [taylor]: Taking taylor expansion of y in x 2.587 * [taylor]: Taking taylor expansion of (log (exp y)) in x 2.587 * [taylor]: Taking taylor expansion of (exp y) in x 2.587 * [taylor]: Taking taylor expansion of y in x 2.588 * [taylor]: Taking taylor expansion of 0 in y 2.590 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 2.590 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.591 * [taylor]: Taking taylor expansion of y in y 2.595 * [taylor]: Taking taylor expansion of 0 in y 2.602 * [taylor]: Taking taylor expansion of 0 in y 2.603 * [approximate]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in (x y) around 0 2.603 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in y 2.603 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 2.603 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 2.603 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 2.603 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.603 * [taylor]: Taking taylor expansion of y in y 2.603 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 2.603 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.603 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.603 * [taylor]: Taking taylor expansion of y in y 2.604 * [taylor]: Taking taylor expansion of x in y 2.604 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x 2.604 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 2.604 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 2.604 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 2.604 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.604 * [taylor]: Taking taylor expansion of y in x 2.604 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 2.604 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 2.604 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.604 * [taylor]: Taking taylor expansion of y in x 2.605 * [taylor]: Taking taylor expansion of x in x 2.605 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x 2.605 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 2.605 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 2.605 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 2.605 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.605 * [taylor]: Taking taylor expansion of y in x 2.605 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 2.605 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 2.605 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.605 * [taylor]: Taking taylor expansion of y in x 2.605 * [taylor]: Taking taylor expansion of x in x 2.605 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.605 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.605 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.605 * [taylor]: Taking taylor expansion of y in y 2.610 * [taylor]: Taking taylor expansion of 0 in y 2.615 * [taylor]: Taking taylor expansion of 0 in y 2.622 * [taylor]: Taking taylor expansion of 0 in y 2.623 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in (x y) around 0 2.623 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in y 2.623 * [taylor]: Taking taylor expansion of -1 in y 2.623 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in y 2.623 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 2.623 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 2.623 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 2.623 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.623 * [taylor]: Taking taylor expansion of -1 in y 2.623 * [taylor]: Taking taylor expansion of y in y 2.624 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 2.624 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 2.624 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.624 * [taylor]: Taking taylor expansion of -1 in y 2.624 * [taylor]: Taking taylor expansion of y in y 2.624 * [taylor]: Taking taylor expansion of x in y 2.625 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x 2.625 * [taylor]: Taking taylor expansion of -1 in x 2.625 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x 2.625 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 2.625 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 2.625 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 2.625 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.625 * [taylor]: Taking taylor expansion of -1 in x 2.625 * [taylor]: Taking taylor expansion of y in x 2.625 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 2.625 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 2.625 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.625 * [taylor]: Taking taylor expansion of -1 in x 2.625 * [taylor]: Taking taylor expansion of y in x 2.625 * [taylor]: Taking taylor expansion of x in x 2.625 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x 2.625 * [taylor]: Taking taylor expansion of -1 in x 2.625 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x 2.625 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 2.625 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 2.625 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 2.625 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.625 * [taylor]: Taking taylor expansion of -1 in x 2.626 * [taylor]: Taking taylor expansion of y in x 2.626 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 2.626 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 2.626 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.626 * [taylor]: Taking taylor expansion of -1 in x 2.626 * [taylor]: Taking taylor expansion of y in x 2.626 * [taylor]: Taking taylor expansion of x in x 2.626 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 2.626 * [taylor]: Taking taylor expansion of -1 in y 2.626 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 2.626 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.626 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.626 * [taylor]: Taking taylor expansion of y in y 2.631 * [taylor]: Taking taylor expansion of 0 in y 2.637 * [taylor]: Taking taylor expansion of 0 in y 2.646 * [taylor]: Taking taylor expansion of 0 in y 2.647 * * * [progress]: simplifying candidates 2.648 * [simplify]: Simplifying using # : (expm1 (pow (exp y) y)) (log1p (pow (exp y) y)) (* y y) (* (log (exp y)) y) (* 1 y) (* (cbrt y) y) (* (sqrt y) y) (* y y) (pow (exp y) (* (cbrt y) (cbrt y))) (pow (exp y) (sqrt y)) (pow (exp y) 1) (pow (* (cbrt (exp y)) (cbrt (exp y))) y) (pow (cbrt (exp y)) y) (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y) (pow 1 y) (pow (exp y) y) (log (pow (exp y) y)) (exp (pow (exp y) y)) (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y))) (cbrt (pow (exp y) y)) (* (* (pow (exp y) y) (pow (exp y) y)) (pow (exp y) y)) (sqrt (pow (exp y) y)) (sqrt (pow (exp y) y)) (pow (exp y) (/ y 2)) (pow (exp y) (/ y 2)) (expm1 (* x (pow (exp y) y))) (log1p (* x (pow (exp y) y))) (+ (log x) (* y y)) (+ (log x) (* (log (exp y)) y)) (+ (log x) (log (pow (exp y) y))) (log (* x (pow (exp y) y))) (exp (* x (pow (exp y) y))) (* (* (* x x) x) (* (* (pow (exp y) y) (pow (exp y) y)) (pow (exp y) y))) (* (cbrt (* x (pow (exp y) y))) (cbrt (* x (pow (exp y) y)))) (cbrt (* x (pow (exp y) y))) (* (* (* x (pow (exp y) y)) (* x (pow (exp y) y))) (* x (pow (exp y) y))) (sqrt (* x (pow (exp y) y))) (sqrt (* x (pow (exp y) y))) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (pow (exp y) (/ y 2))) (* (sqrt x) (pow (exp y) (/ y 2))) (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (* x (pow (sqrt (exp y)) y)) (* x (pow 1 y)) (* x (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y)))) (* x (sqrt (pow (exp y) y))) (* x 1) (* x (pow (exp y) (/ y 2))) (* (cbrt x) (pow (exp y) y)) (* (sqrt x) (pow (exp y) y)) (* x (pow (exp y) y)) (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1)) (exp (pow y 2)) (exp (pow y 2)) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 2.650 * * [simplify]: iteration 0 : 76 enodes (cost 424 ) 2.663 * * [simplify]: iteration 1 : 158 enodes (cost 393 ) 2.706 * * [simplify]: iteration 2 : 551 enodes (cost 365 ) 2.972 * * [simplify]: iteration 3 : 2654 enodes (cost 365 ) 5.032 * * [simplify]: iteration done : 5000 enodes (cost 365 ) 5.033 * [simplify]: Simplified to: (expm1 (pow (exp y) y)) (log1p (pow (exp y) y)) (pow y 2) (pow y 2) y (* (cbrt y) y) (* (sqrt y) y) (pow y 2) (pow (exp y) (* (cbrt y) (cbrt y))) (pow (exp y) (sqrt y)) (exp y) (pow (* (cbrt (exp y)) (cbrt (exp y))) y) (pow (cbrt (exp y)) y) (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y) 1 (pow (exp y) y) (pow y 2) (exp (pow (exp y) y)) (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y))) (cbrt (pow (exp y) y)) (pow (exp (pow y 2)) 3) (sqrt (exp (pow y 2))) (sqrt (exp (pow y 2))) (pow (exp y) (* y 1/2)) (pow (exp y) (* y 1/2)) (expm1 (* x (pow (exp y) y))) (log1p (* x (pow (exp y) y))) (fma y y (log x)) (fma y y (log x)) (fma y y (log x)) (fma y y (log x)) (exp (* x (pow (exp y) y))) (pow (* x (exp (pow y 2))) 3) (* (cbrt (* x (pow (exp y) y))) (cbrt (* x (pow (exp y) y)))) (cbrt (* x (pow (exp y) y))) (pow (* x (exp (pow y 2))) 3) (sqrt (* x (pow (exp y) y))) (sqrt (* x (pow (exp y) y))) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (pow (exp y) (/ y 2))) (* (sqrt x) (pow (exp y) (/ y 2))) (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (* x (pow (sqrt (exp y)) y)) x (* x (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y)))) (* x (sqrt (pow (exp y) y))) x (* x (pow (exp y) (/ y 2))) (* (cbrt x) (pow (exp y) y)) (* (sqrt x) (pow (exp y) y)) (* x (exp (pow y 2))) (fma y y (fma 1/2 (pow y 4) 1)) (pow (exp y) y) (pow (exp y) y) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 5.033 * * * [progress]: adding candidates to table 5.158 * * [progress]: iteration 3 / 4 5.158 * * * [progress]: picking best candidate 5.164 * * * * [pick]: Picked # 5.165 * * * [progress]: localizing error 5.173 * * * [progress]: generating rewritten candidates 5.173 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 5.194 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 5.196 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 5.197 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 5.219 * * * [progress]: generating series expansions 5.219 * * * * [progress]: [ 1 / 4 ] generating series at (2) 5.219 * [approximate]: Taking taylor expansion of (* (pow (pow (sqrt (exp y)) y) 2) x) in (x y) around 0 5.219 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt (exp y)) y) 2) x) in y 5.219 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp y)) y) 2) in y 5.219 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in y 5.219 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in y 5.219 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in y 5.219 * [taylor]: Taking taylor expansion of y in y 5.220 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 5.220 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 5.220 * [taylor]: Taking taylor expansion of (exp y) in y 5.220 * [taylor]: Taking taylor expansion of y in y 5.227 * [taylor]: Taking taylor expansion of x in y 5.227 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt (exp y)) y) 2) x) in x 5.227 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp y)) y) 2) in x 5.227 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in x 5.227 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in x 5.227 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in x 5.227 * [taylor]: Taking taylor expansion of y in x 5.227 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in x 5.227 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in x 5.227 * [taylor]: Taking taylor expansion of (exp y) in x 5.227 * [taylor]: Taking taylor expansion of y in x 5.228 * [taylor]: Taking taylor expansion of x in x 5.228 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt (exp y)) y) 2) x) in x 5.228 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp y)) y) 2) in x 5.228 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in x 5.228 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in x 5.228 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in x 5.228 * [taylor]: Taking taylor expansion of y in x 5.228 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in x 5.228 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in x 5.228 * [taylor]: Taking taylor expansion of (exp y) in x 5.228 * [taylor]: Taking taylor expansion of y in x 5.229 * [taylor]: Taking taylor expansion of x in x 5.229 * [taylor]: Taking taylor expansion of 0 in y 5.231 * [taylor]: Taking taylor expansion of (pow (exp (* (log (sqrt (exp y))) y)) 2) in y 5.231 * [taylor]: Taking taylor expansion of (exp (* (log (sqrt (exp y))) y)) in y 5.231 * [taylor]: Taking taylor expansion of (* (log (sqrt (exp y))) y) in y 5.231 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 5.231 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 5.231 * [taylor]: Taking taylor expansion of (exp y) in y 5.231 * [taylor]: Taking taylor expansion of y in y 5.233 * [taylor]: Taking taylor expansion of y in y 5.243 * [taylor]: Taking taylor expansion of 0 in y 5.251 * [taylor]: Taking taylor expansion of 0 in y 5.251 * [approximate]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) x) in (x y) around 0 5.251 * [taylor]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) x) in y 5.251 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) in y 5.251 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in y 5.251 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in y 5.251 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in y 5.251 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.251 * [taylor]: Taking taylor expansion of y in y 5.252 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 5.252 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 5.252 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 5.252 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.252 * [taylor]: Taking taylor expansion of y in y 5.253 * [taylor]: Taking taylor expansion of x in y 5.253 * [taylor]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) x) in x 5.253 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) in x 5.253 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in x 5.253 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in x 5.253 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in x 5.253 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.253 * [taylor]: Taking taylor expansion of y in x 5.253 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in x 5.253 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in x 5.253 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 5.253 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.253 * [taylor]: Taking taylor expansion of y in x 5.254 * [taylor]: Taking taylor expansion of x in x 5.255 * [taylor]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) x) in x 5.255 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) in x 5.255 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in x 5.255 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in x 5.255 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in x 5.255 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.255 * [taylor]: Taking taylor expansion of y in x 5.255 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in x 5.255 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in x 5.255 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 5.255 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.255 * [taylor]: Taking taylor expansion of y in x 5.256 * [taylor]: Taking taylor expansion of x in x 5.256 * [taylor]: Taking taylor expansion of (pow (exp (/ (log (sqrt (exp (/ 1 y)))) y)) 2) in y 5.256 * [taylor]: Taking taylor expansion of (exp (/ (log (sqrt (exp (/ 1 y)))) y)) in y 5.256 * [taylor]: Taking taylor expansion of (/ (log (sqrt (exp (/ 1 y)))) y) in y 5.256 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 5.256 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 5.256 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 5.256 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.256 * [taylor]: Taking taylor expansion of y in y 5.257 * [taylor]: Taking taylor expansion of y in y 5.260 * [taylor]: Taking taylor expansion of 0 in y 5.266 * [taylor]: Taking taylor expansion of 0 in y 5.278 * [taylor]: Taking taylor expansion of 0 in y 5.279 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) x)) in (x y) around 0 5.279 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) x)) in y 5.279 * [taylor]: Taking taylor expansion of -1 in y 5.279 * [taylor]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) x) in y 5.279 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) in y 5.279 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in y 5.279 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in y 5.279 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in y 5.279 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.279 * [taylor]: Taking taylor expansion of -1 in y 5.279 * [taylor]: Taking taylor expansion of y in y 5.280 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 5.280 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 5.280 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 5.280 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.280 * [taylor]: Taking taylor expansion of -1 in y 5.280 * [taylor]: Taking taylor expansion of y in y 5.280 * [taylor]: Taking taylor expansion of x in y 5.281 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) x)) in x 5.281 * [taylor]: Taking taylor expansion of -1 in x 5.281 * [taylor]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) x) in x 5.281 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) in x 5.281 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in x 5.281 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in x 5.281 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in x 5.281 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.281 * [taylor]: Taking taylor expansion of -1 in x 5.281 * [taylor]: Taking taylor expansion of y in x 5.281 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in x 5.281 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in x 5.281 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 5.281 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.281 * [taylor]: Taking taylor expansion of -1 in x 5.281 * [taylor]: Taking taylor expansion of y in x 5.282 * [taylor]: Taking taylor expansion of x in x 5.283 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) x)) in x 5.283 * [taylor]: Taking taylor expansion of -1 in x 5.283 * [taylor]: Taking taylor expansion of (/ (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) x) in x 5.283 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) in x 5.283 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in x 5.283 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in x 5.283 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in x 5.283 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.283 * [taylor]: Taking taylor expansion of -1 in x 5.283 * [taylor]: Taking taylor expansion of y in x 5.283 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in x 5.283 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in x 5.283 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 5.283 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.283 * [taylor]: Taking taylor expansion of -1 in x 5.283 * [taylor]: Taking taylor expansion of y in x 5.284 * [taylor]: Taking taylor expansion of x in x 5.285 * [taylor]: Taking taylor expansion of (* -1 (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2)) in y 5.285 * [taylor]: Taking taylor expansion of -1 in y 5.285 * [taylor]: Taking taylor expansion of (pow (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) 2) in y 5.285 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) in y 5.285 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)) in y 5.285 * [taylor]: Taking taylor expansion of -1 in y 5.285 * [taylor]: Taking taylor expansion of (/ (log (sqrt (exp (/ -1 y)))) y) in y 5.285 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 5.285 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 5.285 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 5.285 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.285 * [taylor]: Taking taylor expansion of -1 in y 5.285 * [taylor]: Taking taylor expansion of y in y 5.286 * [taylor]: Taking taylor expansion of y in y 5.290 * [taylor]: Taking taylor expansion of 0 in y 5.297 * [taylor]: Taking taylor expansion of 0 in y 5.307 * [taylor]: Taking taylor expansion of 0 in y 5.308 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 5.308 * [approximate]: Taking taylor expansion of (sqrt (exp y)) in (y) around 0 5.308 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 5.308 * [taylor]: Taking taylor expansion of (exp y) in y 5.308 * [taylor]: Taking taylor expansion of y in y 5.309 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 5.309 * [taylor]: Taking taylor expansion of (exp y) in y 5.309 * [taylor]: Taking taylor expansion of y in y 5.312 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in (y) around 0 5.312 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 5.312 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 5.312 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.312 * [taylor]: Taking taylor expansion of y in y 5.313 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 5.313 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 5.313 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.313 * [taylor]: Taking taylor expansion of y in y 5.316 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in (y) around 0 5.316 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 5.316 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 5.316 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.316 * [taylor]: Taking taylor expansion of -1 in y 5.316 * [taylor]: Taking taylor expansion of y in y 5.317 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 5.317 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 5.317 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.317 * [taylor]: Taking taylor expansion of -1 in y 5.317 * [taylor]: Taking taylor expansion of y in y 5.321 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 5.321 * [approximate]: Taking taylor expansion of (sqrt (exp y)) in (y) around 0 5.321 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 5.321 * [taylor]: Taking taylor expansion of (exp y) in y 5.321 * [taylor]: Taking taylor expansion of y in y 5.322 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 5.322 * [taylor]: Taking taylor expansion of (exp y) in y 5.322 * [taylor]: Taking taylor expansion of y in y 5.325 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in (y) around 0 5.326 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 5.326 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 5.326 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.326 * [taylor]: Taking taylor expansion of y in y 5.326 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 5.326 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 5.326 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.326 * [taylor]: Taking taylor expansion of y in y 5.330 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in (y) around 0 5.330 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 5.330 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 5.330 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.330 * [taylor]: Taking taylor expansion of -1 in y 5.330 * [taylor]: Taking taylor expansion of y in y 5.330 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 5.330 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 5.330 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.330 * [taylor]: Taking taylor expansion of -1 in y 5.330 * [taylor]: Taking taylor expansion of y in y 5.334 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 5.334 * [approximate]: Taking taylor expansion of (pow (pow (sqrt (exp y)) y) 2) in (y) around 0 5.334 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp y)) y) 2) in y 5.334 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in y 5.334 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in y 5.334 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in y 5.334 * [taylor]: Taking taylor expansion of y in y 5.334 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 5.334 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 5.334 * [taylor]: Taking taylor expansion of (exp y) in y 5.334 * [taylor]: Taking taylor expansion of y in y 5.341 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp y)) y) 2) in y 5.341 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in y 5.341 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in y 5.341 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in y 5.341 * [taylor]: Taking taylor expansion of y in y 5.341 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 5.341 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 5.341 * [taylor]: Taking taylor expansion of (exp y) in y 5.341 * [taylor]: Taking taylor expansion of y in y 5.376 * [approximate]: Taking taylor expansion of (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) in (y) around 0 5.376 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) in y 5.376 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in y 5.376 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in y 5.376 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in y 5.376 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.376 * [taylor]: Taking taylor expansion of y in y 5.376 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 5.376 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 5.376 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 5.376 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.376 * [taylor]: Taking taylor expansion of y in y 5.377 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ 1 y))) (/ 1 y)) 2) in y 5.377 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in y 5.377 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in y 5.377 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in y 5.377 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.377 * [taylor]: Taking taylor expansion of y in y 5.377 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 5.378 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 5.378 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 5.378 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.378 * [taylor]: Taking taylor expansion of y in y 5.384 * [approximate]: Taking taylor expansion of (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) in (y) around 0 5.384 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) in y 5.384 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in y 5.384 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in y 5.385 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in y 5.385 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.385 * [taylor]: Taking taylor expansion of -1 in y 5.385 * [taylor]: Taking taylor expansion of y in y 5.385 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 5.385 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 5.385 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 5.385 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.385 * [taylor]: Taking taylor expansion of -1 in y 5.385 * [taylor]: Taking taylor expansion of y in y 5.386 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (exp (/ -1 y))) (/ -1 y)) 2) in y 5.386 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in y 5.386 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in y 5.386 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in y 5.386 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.386 * [taylor]: Taking taylor expansion of -1 in y 5.386 * [taylor]: Taking taylor expansion of y in y 5.386 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 5.386 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 5.386 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 5.386 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.386 * [taylor]: Taking taylor expansion of -1 in y 5.386 * [taylor]: Taking taylor expansion of y in y 5.394 * * * [progress]: simplifying candidates 5.396 * [simplify]: Simplifying using # : (expm1 (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (log1p (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (+ (log x) (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y))) (+ (log x) (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y))) (+ (log x) (+ (* (log (sqrt (exp y))) y) (log (pow (sqrt (exp y)) y)))) (+ (log x) (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y))) (+ (log x) (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y))) (+ (log x) (+ (* (log (sqrt (exp y))) y) (log (pow (sqrt (exp y)) y)))) (+ (log x) (+ (log (pow (sqrt (exp y)) y)) (* (log (sqrt (exp y))) y))) (+ (log x) (+ (log (pow (sqrt (exp y)) y)) (* (log (sqrt (exp y))) y))) (+ (log x) (+ (log (pow (sqrt (exp y)) y)) (log (pow (sqrt (exp y)) y)))) (+ (log x) (log (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (exp (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (* (* (* x x) x) (* (* (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y)) (* (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y)))) (* (* (* x x) x) (* (* (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (* (cbrt (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (cbrt (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))))) (cbrt (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (* (* (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (sqrt (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (sqrt (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)) (* x (pow (sqrt (exp y)) y)) (* (cbrt x) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (* (sqrt x) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (* x (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (expm1 (sqrt (exp y))) (log1p (sqrt (exp y))) (log (sqrt (exp y))) (exp (sqrt (exp y))) (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) (cbrt (sqrt (exp y))) (* (* (sqrt (exp y)) (sqrt (exp y))) (sqrt (exp y))) (sqrt (* (cbrt (exp y)) (cbrt (exp y)))) (sqrt (cbrt (exp y))) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) (sqrt 1) (sqrt (exp y)) (/ 1 2) (/ (cbrt y) 2) (/ (sqrt y) 2) (/ y 2) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) (expm1 (sqrt (exp y))) (log1p (sqrt (exp y))) (log (sqrt (exp y))) (exp (sqrt (exp y))) (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) (cbrt (sqrt (exp y))) (* (* (sqrt (exp y)) (sqrt (exp y))) (sqrt (exp y))) (sqrt (* (cbrt (exp y)) (cbrt (exp y)))) (sqrt (cbrt (exp y))) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) (sqrt 1) (sqrt (exp y)) (/ 1 2) (/ (cbrt y) 2) (/ (sqrt y) 2) (/ y 2) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) (expm1 (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (log1p (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (+ y y) (* (sqrt (exp y)) (sqrt (exp y))) (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y)) (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y)) (+ (* (log (sqrt (exp y))) y) (log (pow (sqrt (exp y)) y))) (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y)) (+ (* (log (sqrt (exp y))) y) (* (log (sqrt (exp y))) y)) (+ (* (log (sqrt (exp y))) y) (log (pow (sqrt (exp y)) y))) (+ (log (pow (sqrt (exp y)) y)) (* (log (sqrt (exp y))) y)) (+ (log (pow (sqrt (exp y)) y)) (* (log (sqrt (exp y))) y)) (+ (log (pow (sqrt (exp y)) y)) (log (pow (sqrt (exp y)) y))) (log (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (exp (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (* (* (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y)) (* (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y))) (* (cbrt (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (cbrt (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)))) (cbrt (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (* (* (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (sqrt (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (sqrt (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y))) (* (pow (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) y) (pow (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) y)) (* (pow (cbrt (sqrt (exp y))) y) (pow (cbrt (sqrt (exp y))) y)) (* (pow (sqrt (* (cbrt (exp y)) (cbrt (exp y)))) y) (pow (sqrt (* (cbrt (exp y)) (cbrt (exp y)))) y)) (* (pow (sqrt (cbrt (exp y))) y) (pow (sqrt (cbrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt 1) y) (pow (sqrt 1) y)) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow 1 y) (pow 1 y)) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (* (* (cbrt (pow (sqrt (exp y)) y)) (cbrt (pow (sqrt (exp y)) y))) (* (cbrt (pow (sqrt (exp y)) y)) (cbrt (pow (sqrt (exp y)) y)))) (* (cbrt (pow (sqrt (exp y)) y)) (cbrt (pow (sqrt (exp y)) y))) (* (sqrt (pow (sqrt (exp y)) y)) (sqrt (pow (sqrt (exp y)) y))) (* (sqrt (pow (sqrt (exp y)) y)) (sqrt (pow (sqrt (exp y)) y))) (* 1 1) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (exp y)) (/ y 2)) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (exp y)) (/ y 2)) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) (/ y 2))) (* (sqrt (pow (sqrt (exp y)) y)) (pow (sqrt (sqrt (exp y))) y)) (* (sqrt (pow (sqrt (exp y)) y)) (pow (sqrt (sqrt (exp y))) y)) (* (sqrt (pow (sqrt (exp y)) y)) (pow (sqrt (sqrt (exp y))) y)) (* (sqrt (pow (sqrt (exp y)) y)) (pow (sqrt (sqrt (exp y))) y)) (* (sqrt (pow (sqrt (exp y)) y)) (sqrt (pow (sqrt (exp y)) y))) (* (sqrt (pow (sqrt (exp y)) y)) (sqrt (pow (sqrt (exp y)) y))) (* (sqrt (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) (/ y 2))) (* (sqrt (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (exp y)) (/ y 2)) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (exp y)) (/ y 2)) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (exp y)) (/ y 2)) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (exp y)) (/ y 2)) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (exp y)) (/ y 2)) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (exp y)) (/ y 2)) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (exp y)) (/ y 2)) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (exp y)) (/ y 2)) (pow (sqrt (exp y)) (/ y 2))) (* 2 y) (* (pow (sqrt (exp y)) y) (pow (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) y)) (* (pow (sqrt (exp y)) y) (pow (sqrt (* (cbrt (exp y)) (cbrt (exp y)))) y)) (* (pow (sqrt (exp y)) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (exp y)) y) (pow (sqrt 1) y)) (* (pow (sqrt (exp y)) y) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (exp y)) y) (pow 1 y)) (* (pow (sqrt (exp y)) y) (* (cbrt (pow (sqrt (exp y)) y)) (cbrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (exp y)) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (exp y)) y) 1) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) (/ y 2))) (* (pow (cbrt (sqrt (exp y))) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (cbrt (exp y))) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (* (cbrt (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y)) (* (sqrt (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y)) (* (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (exp y)) (/ y 2)) (pow (sqrt (exp y)) y)) x (* (pow (exp (* (log (sqrt (exp y))) y)) 2) x) (* (pow (exp (* (log (sqrt (exp y))) y)) 2) x) (+ (* 1/8 (pow y 2)) (+ (* 1/2 y) 1)) (sqrt (exp y)) (sqrt (exp y)) (+ (* 1/8 (pow y 2)) (+ (* 1/2 y) 1)) (sqrt (exp y)) (sqrt (exp y)) (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1)) (pow (exp (* (log (sqrt (exp y))) y)) 2) (pow (exp (* (log (sqrt (exp y))) y)) 2) 5.401 * * [simplify]: iteration 0 : 131 enodes (cost 2054 ) 5.424 * * [simplify]: iteration 1 : 268 enodes (cost 1524 ) 5.505 * * [simplify]: iteration 2 : 1069 enodes (cost 1403 ) 6.133 * * [simplify]: iteration done : 5000 enodes (cost 1403 ) 6.134 * [simplify]: Simplified to: (expm1 (* (pow (sqrt (exp y)) (* 2 y)) x)) (log1p (* (pow (sqrt (exp y)) (* 2 y)) x)) (* (pow (sqrt (exp y)) (* 2 y)) x) (log (* (pow (sqrt (exp y)) (* 2 y)) x)) (log (* (pow (sqrt (exp y)) (* 2 y)) x)) (log (* (pow (sqrt (exp y)) (* 2 y)) x)) (log (* (pow (sqrt (exp y)) (* 2 y)) x)) (log (* (pow (sqrt (exp y)) (* 2 y)) x)) (log (* (pow (sqrt (exp y)) (* 2 y)) x)) (log (* (pow (sqrt (exp y)) (* 2 y)) x)) (log (* (pow (sqrt (exp y)) (* 2 y)) x)) (log (* (pow (sqrt (exp y)) (* 2 y)) x)) (log (* (pow (sqrt (exp y)) (* 2 y)) x)) (log (* (pow (sqrt (exp y)) (* 2 y)) x)) (exp (* (pow (sqrt (exp y)) (* 2 y)) x)) (pow (* (pow (sqrt (exp y)) (* 2 y)) x) 3) (pow (* (pow (sqrt (exp y)) (* 2 y)) x) 3) (* (cbrt (* (pow (sqrt (exp y)) (* 2 y)) x)) (cbrt (* (pow (sqrt (exp y)) (* 2 y)) x))) (cbrt (* (pow (sqrt (exp y)) (* 2 y)) x)) (pow (* (pow (sqrt (exp y)) (* 2 y)) x) 3) (sqrt (* (pow (sqrt (exp y)) (* 2 y)) x)) (sqrt (* (pow (sqrt (exp y)) (* 2 y)) x)) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)) (* x (pow (sqrt (exp y)) y)) (* (cbrt x) (pow (sqrt (exp y)) (* 2 y))) (* (pow (sqrt (exp y)) (* 2 y)) (sqrt x)) (* (pow (sqrt (exp y)) (* 2 y)) x) (expm1 (sqrt (exp y))) (log1p (sqrt (exp y))) (log (sqrt (exp y))) (exp (sqrt (exp y))) (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) (cbrt (sqrt (exp y))) (pow (sqrt (exp y)) 3) (fabs (cbrt (exp y))) (sqrt (cbrt (exp y))) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) 1 (sqrt (exp y)) 1/2 (/ (cbrt y) 2) (/ (sqrt y) 2) (/ y 2) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) (expm1 (sqrt (exp y))) (log1p (sqrt (exp y))) (log (sqrt (exp y))) (exp (sqrt (exp y))) (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) (cbrt (sqrt (exp y))) (pow (sqrt (exp y)) 3) (fabs (cbrt (exp y))) (sqrt (cbrt (exp y))) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) 1 (sqrt (exp y)) 1/2 (/ (cbrt y) 2) (/ (sqrt y) 2) (/ y 2) (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y))) (expm1 (pow (sqrt (exp y)) (* 2 y))) (log1p (pow (sqrt (exp y)) (* 2 y))) (* 2 y) (exp y) (* (log (sqrt (exp y))) (* 2 y)) (* (log (sqrt (exp y))) (* 2 y)) (* (log (sqrt (exp y))) (* 2 y)) (* (log (sqrt (exp y))) (* 2 y)) (* (log (sqrt (exp y))) (* 2 y)) (* (log (sqrt (exp y))) (* 2 y)) (* (log (sqrt (exp y))) (* 2 y)) (* (log (sqrt (exp y))) (* 2 y)) (* (log (sqrt (exp y))) (* 2 y)) (* (log (sqrt (exp y))) (* 2 y)) (exp (pow (sqrt (exp y)) (* 2 y))) (pow (pow (sqrt (exp y)) (* 2 y)) 3) (* (cbrt (pow (sqrt (exp y)) (* 2 y))) (cbrt (pow (sqrt (exp y)) (* 2 y)))) (cbrt (pow (sqrt (exp y)) (* 2 y))) (pow (pow (sqrt (exp y)) (* 2 y)) 3) (fabs (pow (sqrt (exp y)) y)) (fabs (pow (sqrt (exp y)) y)) (pow (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) (* 2 y)) (pow (cbrt (sqrt (exp y))) (* 2 y)) (pow (fabs (cbrt (exp y))) (+ y y)) (pow (sqrt (cbrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) 1 (pow (sqrt (exp y)) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) 1 (pow (sqrt (exp y)) (* 2 y)) (* (cbrt (pow (sqrt (exp y)) y)) (pow (cbrt (pow (sqrt (exp y)) y)) 3)) (* (cbrt (pow (sqrt (exp y)) y)) (cbrt (pow (sqrt (exp y)) y))) (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y) 1 (pow (sqrt (exp y)) (* 2 y)) (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y) (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) (/ y 2))) (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (sqrt (exp y))) (* 2 y)) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y) (* (pow (sqrt (exp y)) (/ y 2)) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (exp y)) (/ y 2)) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (exp y)) (/ y 2))) (* (pow (sqrt (exp y)) (/ y 2)) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (exp y)) (/ y 2)) (sqrt (pow (sqrt (exp y)) y))) (pow (sqrt (exp y)) y) (pow (sqrt (exp y)) y) (* 2 y) (* (pow (sqrt (exp y)) y) (pow (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) y)) (* (pow (fabs (cbrt (exp y))) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (exp y)) y) (pow (sqrt (sqrt (exp y))) y)) (pow (sqrt (exp y)) y) (* (pow (sqrt (exp y)) y) (pow (sqrt (sqrt (exp y))) y)) (pow (sqrt (exp y)) y) (* (pow (sqrt (exp y)) y) (* (cbrt (pow (sqrt (exp y)) y)) (cbrt (pow (sqrt (exp y)) y)))) (pow (sqrt (pow (sqrt (exp y)) y)) 3) (pow (sqrt (exp y)) y) (pow (pow (sqrt (exp y)) (/ y 2)) 3) (* (pow (cbrt (sqrt (exp y))) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (cbrt (exp y))) y) (pow (sqrt (exp y)) y)) (* (pow (sqrt (exp y)) y) (pow (sqrt (sqrt (exp y))) y)) (pow (sqrt (exp y)) (* 2 y)) (* (pow (sqrt (exp y)) y) (pow (sqrt (sqrt (exp y))) y)) (pow (sqrt (exp y)) (* 2 y)) (* (cbrt (pow (sqrt (exp y)) y)) (pow (sqrt (exp y)) y)) (pow (sqrt (pow (sqrt (exp y)) y)) 3) (pow (sqrt (exp y)) (* 2 y)) (pow (pow (sqrt (exp y)) (/ y 2)) 3) x (* (pow (sqrt (exp y)) (* 2 y)) x) (* (pow (sqrt (exp y)) (* 2 y)) x) (fma 1/8 (pow y 2) (fma 1/2 y 1)) (sqrt (exp y)) (sqrt (exp y)) (fma 1/8 (pow y 2) (fma 1/2 y 1)) (sqrt (exp y)) (sqrt (exp y)) (fma y y (fma 1/2 (pow y 4) 1)) (pow (sqrt (exp y)) (* 2 y)) (pow (sqrt (exp y)) (* 2 y)) 6.135 * * * [progress]: adding candidates to table 6.448 * * [progress]: iteration 4 / 4 6.448 * * * [progress]: picking best candidate 6.456 * * * * [pick]: Picked # 6.456 * * * [progress]: localizing error 6.470 * * * [progress]: generating rewritten candidates 6.470 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1) 6.473 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1) 6.475 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 6.608 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 6.639 * * * [progress]: generating series expansions 6.639 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1) 6.639 * [approximate]: Taking taylor expansion of (pow (exp y) 1/4) in (y) around 0 6.639 * [taylor]: Taking taylor expansion of (pow (exp y) 1/4) in y 6.639 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp y)))) in y 6.639 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp y))) in y 6.639 * [taylor]: Taking taylor expansion of 1/4 in y 6.639 * [taylor]: Taking taylor expansion of (log (exp y)) in y 6.639 * [taylor]: Taking taylor expansion of (exp y) in y 6.639 * [taylor]: Taking taylor expansion of y in y 6.642 * [taylor]: Taking taylor expansion of (pow (exp y) 1/4) in y 6.642 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp y)))) in y 6.642 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp y))) in y 6.642 * [taylor]: Taking taylor expansion of 1/4 in y 6.642 * [taylor]: Taking taylor expansion of (log (exp y)) in y 6.642 * [taylor]: Taking taylor expansion of (exp y) in y 6.642 * [taylor]: Taking taylor expansion of y in y 6.650 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/4) in (y) around 0 6.650 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/4) in y 6.650 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 y))))) in y 6.650 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 y)))) in y 6.650 * [taylor]: Taking taylor expansion of 1/4 in y 6.650 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 6.650 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 6.650 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.650 * [taylor]: Taking taylor expansion of y in y 6.651 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/4) in y 6.651 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 y))))) in y 6.651 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 y)))) in y 6.651 * [taylor]: Taking taylor expansion of 1/4 in y 6.651 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 6.651 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 6.651 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.651 * [taylor]: Taking taylor expansion of y in y 6.693 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/4) in (y) around 0 6.694 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/4) in y 6.694 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ -1 y))))) in y 6.694 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ -1 y)))) in y 6.694 * [taylor]: Taking taylor expansion of 1/4 in y 6.694 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 6.694 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 6.694 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.694 * [taylor]: Taking taylor expansion of -1 in y 6.694 * [taylor]: Taking taylor expansion of y in y 6.694 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/4) in y 6.695 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ -1 y))))) in y 6.695 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ -1 y)))) in y 6.695 * [taylor]: Taking taylor expansion of 1/4 in y 6.695 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 6.695 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 6.695 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.695 * [taylor]: Taking taylor expansion of -1 in y 6.695 * [taylor]: Taking taylor expansion of y in y 6.732 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1) 6.732 * [approximate]: Taking taylor expansion of (pow (exp y) 1/4) in (y) around 0 6.732 * [taylor]: Taking taylor expansion of (pow (exp y) 1/4) in y 6.732 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp y)))) in y 6.732 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp y))) in y 6.732 * [taylor]: Taking taylor expansion of 1/4 in y 6.732 * [taylor]: Taking taylor expansion of (log (exp y)) in y 6.732 * [taylor]: Taking taylor expansion of (exp y) in y 6.733 * [taylor]: Taking taylor expansion of y in y 6.735 * [taylor]: Taking taylor expansion of (pow (exp y) 1/4) in y 6.735 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp y)))) in y 6.735 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp y))) in y 6.735 * [taylor]: Taking taylor expansion of 1/4 in y 6.735 * [taylor]: Taking taylor expansion of (log (exp y)) in y 6.735 * [taylor]: Taking taylor expansion of (exp y) in y 6.735 * [taylor]: Taking taylor expansion of y in y 6.743 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/4) in (y) around 0 6.743 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/4) in y 6.743 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 y))))) in y 6.743 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 y)))) in y 6.743 * [taylor]: Taking taylor expansion of 1/4 in y 6.743 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 6.743 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 6.743 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.743 * [taylor]: Taking taylor expansion of y in y 6.744 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/4) in y 6.744 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 y))))) in y 6.744 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 y)))) in y 6.744 * [taylor]: Taking taylor expansion of 1/4 in y 6.744 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 6.744 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 6.744 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.744 * [taylor]: Taking taylor expansion of y in y 6.789 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/4) in (y) around 0 6.789 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/4) in y 6.789 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ -1 y))))) in y 6.789 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ -1 y)))) in y 6.789 * [taylor]: Taking taylor expansion of 1/4 in y 6.789 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 6.789 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 6.789 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.789 * [taylor]: Taking taylor expansion of -1 in y 6.789 * [taylor]: Taking taylor expansion of y in y 6.790 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/4) in y 6.790 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ -1 y))))) in y 6.790 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ -1 y)))) in y 6.790 * [taylor]: Taking taylor expansion of 1/4 in y 6.790 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 6.790 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 6.790 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.790 * [taylor]: Taking taylor expansion of -1 in y 6.790 * [taylor]: Taking taylor expansion of y in y 6.827 * * * * [progress]: [ 3 / 4 ] generating series at (2) 6.828 * [approximate]: Taking taylor expansion of (* (pow (sqrt (exp y)) y) (* x (pow (pow (pow (exp y) 1/4) y) 2))) in (x y) around 0 6.828 * [taylor]: Taking taylor expansion of (* (pow (sqrt (exp y)) y) (* x (pow (pow (pow (exp y) 1/4) y) 2))) in y 6.828 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in y 6.828 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in y 6.828 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in y 6.828 * [taylor]: Taking taylor expansion of y in y 6.828 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 6.828 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 6.828 * [taylor]: Taking taylor expansion of (exp y) in y 6.828 * [taylor]: Taking taylor expansion of y in y 6.835 * [taylor]: Taking taylor expansion of (* x (pow (pow (pow (exp y) 1/4) y) 2)) in y 6.835 * [taylor]: Taking taylor expansion of x in y 6.835 * [taylor]: Taking taylor expansion of (pow (pow (pow (exp y) 1/4) y) 2) in y 6.835 * [taylor]: Taking taylor expansion of (pow (pow (exp y) 1/4) y) in y 6.835 * [taylor]: Taking taylor expansion of (exp (* y (log (pow (exp y) 1/4)))) in y 6.835 * [taylor]: Taking taylor expansion of (* y (log (pow (exp y) 1/4))) in y 6.835 * [taylor]: Taking taylor expansion of y in y 6.835 * [taylor]: Taking taylor expansion of (log (pow (exp y) 1/4)) in y 6.835 * [taylor]: Taking taylor expansion of (pow (exp y) 1/4) in y 6.835 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp y)))) in y 6.835 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp y))) in y 6.835 * [taylor]: Taking taylor expansion of 1/4 in y 6.835 * [taylor]: Taking taylor expansion of (log (exp y)) in y 6.836 * [taylor]: Taking taylor expansion of (exp y) in y 6.836 * [taylor]: Taking taylor expansion of y in y 6.846 * [taylor]: Taking taylor expansion of (* (pow (sqrt (exp y)) y) (* x (pow (pow (pow (exp y) 1/4) y) 2))) in x 6.846 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in x 6.847 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in x 6.847 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in x 6.847 * [taylor]: Taking taylor expansion of y in x 6.847 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in x 6.847 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in x 6.847 * [taylor]: Taking taylor expansion of (exp y) in x 6.847 * [taylor]: Taking taylor expansion of y in x 6.848 * [taylor]: Taking taylor expansion of (* x (pow (pow (pow (exp y) 1/4) y) 2)) in x 6.848 * [taylor]: Taking taylor expansion of x in x 6.848 * [taylor]: Taking taylor expansion of (pow (pow (pow (exp y) 1/4) y) 2) in x 6.848 * [taylor]: Taking taylor expansion of (pow (pow (exp y) 1/4) y) in x 6.848 * [taylor]: Taking taylor expansion of (exp (* y (log (pow (exp y) 1/4)))) in x 6.848 * [taylor]: Taking taylor expansion of (* y (log (pow (exp y) 1/4))) in x 6.848 * [taylor]: Taking taylor expansion of y in x 6.848 * [taylor]: Taking taylor expansion of (log (pow (exp y) 1/4)) in x 6.848 * [taylor]: Taking taylor expansion of (pow (exp y) 1/4) in x 6.848 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp y)))) in x 6.848 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp y))) in x 6.848 * [taylor]: Taking taylor expansion of 1/4 in x 6.848 * [taylor]: Taking taylor expansion of (log (exp y)) in x 6.848 * [taylor]: Taking taylor expansion of (exp y) in x 6.848 * [taylor]: Taking taylor expansion of y in x 6.848 * [taylor]: Taking taylor expansion of (* (pow (sqrt (exp y)) y) (* x (pow (pow (pow (exp y) 1/4) y) 2))) in x 6.848 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in x 6.848 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in x 6.848 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in x 6.848 * [taylor]: Taking taylor expansion of y in x 6.848 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in x 6.848 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in x 6.848 * [taylor]: Taking taylor expansion of (exp y) in x 6.848 * [taylor]: Taking taylor expansion of y in x 6.849 * [taylor]: Taking taylor expansion of (* x (pow (pow (pow (exp y) 1/4) y) 2)) in x 6.849 * [taylor]: Taking taylor expansion of x in x 6.849 * [taylor]: Taking taylor expansion of (pow (pow (pow (exp y) 1/4) y) 2) in x 6.849 * [taylor]: Taking taylor expansion of (pow (pow (exp y) 1/4) y) in x 6.849 * [taylor]: Taking taylor expansion of (exp (* y (log (pow (exp y) 1/4)))) in x 6.849 * [taylor]: Taking taylor expansion of (* y (log (pow (exp y) 1/4))) in x 6.849 * [taylor]: Taking taylor expansion of y in x 6.850 * [taylor]: Taking taylor expansion of (log (pow (exp y) 1/4)) in x 6.850 * [taylor]: Taking taylor expansion of (pow (exp y) 1/4) in x 6.850 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp y)))) in x 6.850 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp y))) in x 6.850 * [taylor]: Taking taylor expansion of 1/4 in x 6.850 * [taylor]: Taking taylor expansion of (log (exp y)) in x 6.850 * [taylor]: Taking taylor expansion of (exp y) in x 6.850 * [taylor]: Taking taylor expansion of y in x 6.850 * [taylor]: Taking taylor expansion of 0 in y 6.856 * [taylor]: Taking taylor expansion of (* (exp (* (log (sqrt (exp y))) y)) (pow (exp (* 1/4 (pow y 2))) 2)) in y 6.856 * [taylor]: Taking taylor expansion of (exp (* (log (sqrt (exp y))) y)) in y 6.856 * [taylor]: Taking taylor expansion of (* (log (sqrt (exp y))) y) in y 6.856 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 6.856 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 6.856 * [taylor]: Taking taylor expansion of (exp y) in y 6.856 * [taylor]: Taking taylor expansion of y in y 6.858 * [taylor]: Taking taylor expansion of y in y 6.863 * [taylor]: Taking taylor expansion of (pow (exp (* 1/4 (pow y 2))) 2) in y 6.863 * [taylor]: Taking taylor expansion of (exp (* 1/4 (pow y 2))) in y 6.863 * [taylor]: Taking taylor expansion of (* 1/4 (pow y 2)) in y 6.863 * [taylor]: Taking taylor expansion of 1/4 in y 6.863 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.863 * [taylor]: Taking taylor expansion of y in y 6.884 * [taylor]: Taking taylor expansion of 0 in y 6.902 * [taylor]: Taking taylor expansion of 0 in y 6.903 * [approximate]: Taking taylor expansion of (/ (* (pow (sqrt (exp (/ 1 y))) (/ 1 y)) (pow (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) 2)) x) in (x y) around 0 6.903 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt (exp (/ 1 y))) (/ 1 y)) (pow (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) 2)) x) in y 6.903 * [taylor]: Taking taylor expansion of (* (pow (sqrt (exp (/ 1 y))) (/ 1 y)) (pow (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) 2)) in y 6.903 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in y 6.903 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in y 6.903 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in y 6.903 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.903 * [taylor]: Taking taylor expansion of y in y 6.903 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 6.903 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 6.903 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 6.903 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.903 * [taylor]: Taking taylor expansion of y in y 6.904 * [taylor]: Taking taylor expansion of (pow (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) 2) in y 6.904 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) in y 6.904 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (pow (exp (/ 1 y)) 1/4)))) in y 6.904 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (pow (exp (/ 1 y)) 1/4))) in y 6.904 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.904 * [taylor]: Taking taylor expansion of y in y 6.904 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 y)) 1/4)) in y 6.904 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/4) in y 6.904 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 y))))) in y 6.904 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 y)))) in y 6.904 * [taylor]: Taking taylor expansion of 1/4 in y 6.904 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 6.905 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 6.905 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.905 * [taylor]: Taking taylor expansion of y in y 6.905 * [taylor]: Taking taylor expansion of x in y 6.906 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt (exp (/ 1 y))) (/ 1 y)) (pow (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) 2)) x) in x 6.906 * [taylor]: Taking taylor expansion of (* (pow (sqrt (exp (/ 1 y))) (/ 1 y)) (pow (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) 2)) in x 6.906 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in x 6.906 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in x 6.906 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in x 6.906 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.906 * [taylor]: Taking taylor expansion of y in x 6.906 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in x 6.906 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in x 6.906 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 6.906 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.906 * [taylor]: Taking taylor expansion of y in x 6.907 * [taylor]: Taking taylor expansion of (pow (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) 2) in x 6.907 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) in x 6.908 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (pow (exp (/ 1 y)) 1/4)))) in x 6.908 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (pow (exp (/ 1 y)) 1/4))) in x 6.908 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.908 * [taylor]: Taking taylor expansion of y in x 6.908 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 y)) 1/4)) in x 6.908 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/4) in x 6.908 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 y))))) in x 6.908 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 y)))) in x 6.908 * [taylor]: Taking taylor expansion of 1/4 in x 6.908 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 6.908 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 6.908 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.908 * [taylor]: Taking taylor expansion of y in x 6.908 * [taylor]: Taking taylor expansion of x in x 6.909 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt (exp (/ 1 y))) (/ 1 y)) (pow (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) 2)) x) in x 6.909 * [taylor]: Taking taylor expansion of (* (pow (sqrt (exp (/ 1 y))) (/ 1 y)) (pow (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) 2)) in x 6.909 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in x 6.909 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in x 6.909 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in x 6.909 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.909 * [taylor]: Taking taylor expansion of y in x 6.909 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in x 6.909 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in x 6.909 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 6.909 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.909 * [taylor]: Taking taylor expansion of y in x 6.910 * [taylor]: Taking taylor expansion of (pow (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) 2) in x 6.910 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) in x 6.910 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (pow (exp (/ 1 y)) 1/4)))) in x 6.910 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (pow (exp (/ 1 y)) 1/4))) in x 6.910 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.910 * [taylor]: Taking taylor expansion of y in x 6.910 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 y)) 1/4)) in x 6.910 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/4) in x 6.910 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 y))))) in x 6.910 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 y)))) in x 6.910 * [taylor]: Taking taylor expansion of 1/4 in x 6.910 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 6.910 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 6.910 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.910 * [taylor]: Taking taylor expansion of y in x 6.911 * [taylor]: Taking taylor expansion of x in x 6.911 * [taylor]: Taking taylor expansion of (* (pow (exp (/ 1/4 (pow y 2))) 2) (exp (/ (log (sqrt (exp (/ 1 y)))) y))) in y 6.912 * [taylor]: Taking taylor expansion of (pow (exp (/ 1/4 (pow y 2))) 2) in y 6.912 * [taylor]: Taking taylor expansion of (exp (/ 1/4 (pow y 2))) in y 6.912 * [taylor]: Taking taylor expansion of (/ 1/4 (pow y 2)) in y 6.912 * [taylor]: Taking taylor expansion of 1/4 in y 6.912 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.912 * [taylor]: Taking taylor expansion of y in y 6.912 * [taylor]: Taking taylor expansion of (exp (/ (log (sqrt (exp (/ 1 y)))) y)) in y 6.912 * [taylor]: Taking taylor expansion of (/ (log (sqrt (exp (/ 1 y)))) y) in y 6.913 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 6.913 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 6.913 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 6.913 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.913 * [taylor]: Taking taylor expansion of y in y 6.913 * [taylor]: Taking taylor expansion of y in y 6.920 * [taylor]: Taking taylor expansion of 0 in y 6.934 * [taylor]: Taking taylor expansion of 0 in y 6.952 * [taylor]: Taking taylor expansion of 0 in y 6.953 * [approximate]: Taking taylor expansion of (* -1 (/ (* (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) x)) in (x y) around 0 6.953 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) x)) in y 6.953 * [taylor]: Taking taylor expansion of -1 in y 6.953 * [taylor]: Taking taylor expansion of (/ (* (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) x) in y 6.953 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) in y 6.953 * [taylor]: Taking taylor expansion of (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) in y 6.953 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) in y 6.953 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (pow (exp (/ -1 y)) 1/4)))) in y 6.953 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (pow (exp (/ -1 y)) 1/4))) in y 6.953 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.953 * [taylor]: Taking taylor expansion of -1 in y 6.953 * [taylor]: Taking taylor expansion of y in y 6.954 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 y)) 1/4)) in y 6.954 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/4) in y 6.954 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ -1 y))))) in y 6.954 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ -1 y)))) in y 6.954 * [taylor]: Taking taylor expansion of 1/4 in y 6.954 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 6.954 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 6.954 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.954 * [taylor]: Taking taylor expansion of -1 in y 6.954 * [taylor]: Taking taylor expansion of y in y 6.955 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in y 6.955 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in y 6.955 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in y 6.955 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.955 * [taylor]: Taking taylor expansion of -1 in y 6.955 * [taylor]: Taking taylor expansion of y in y 6.955 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 6.955 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 6.955 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 6.955 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.955 * [taylor]: Taking taylor expansion of -1 in y 6.955 * [taylor]: Taking taylor expansion of y in y 6.956 * [taylor]: Taking taylor expansion of x in y 6.957 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) x)) in x 6.957 * [taylor]: Taking taylor expansion of -1 in x 6.957 * [taylor]: Taking taylor expansion of (/ (* (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) x) in x 6.957 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) in x 6.957 * [taylor]: Taking taylor expansion of (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) in x 6.957 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) in x 6.957 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (pow (exp (/ -1 y)) 1/4)))) in x 6.957 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (pow (exp (/ -1 y)) 1/4))) in x 6.957 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.957 * [taylor]: Taking taylor expansion of -1 in x 6.957 * [taylor]: Taking taylor expansion of y in x 6.957 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 y)) 1/4)) in x 6.957 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/4) in x 6.957 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ -1 y))))) in x 6.957 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ -1 y)))) in x 6.957 * [taylor]: Taking taylor expansion of 1/4 in x 6.957 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 6.957 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 6.957 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.957 * [taylor]: Taking taylor expansion of -1 in x 6.957 * [taylor]: Taking taylor expansion of y in x 6.958 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in x 6.958 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in x 6.958 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in x 6.958 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.958 * [taylor]: Taking taylor expansion of -1 in x 6.958 * [taylor]: Taking taylor expansion of y in x 6.958 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in x 6.958 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in x 6.958 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 6.958 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.958 * [taylor]: Taking taylor expansion of -1 in x 6.958 * [taylor]: Taking taylor expansion of y in x 6.959 * [taylor]: Taking taylor expansion of x in x 6.960 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) x)) in x 6.960 * [taylor]: Taking taylor expansion of -1 in x 6.960 * [taylor]: Taking taylor expansion of (/ (* (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) x) in x 6.960 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) (pow (sqrt (exp (/ -1 y))) (/ -1 y))) in x 6.960 * [taylor]: Taking taylor expansion of (pow (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) 2) in x 6.960 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) in x 6.960 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (pow (exp (/ -1 y)) 1/4)))) in x 6.960 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (pow (exp (/ -1 y)) 1/4))) in x 6.960 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.960 * [taylor]: Taking taylor expansion of -1 in x 6.960 * [taylor]: Taking taylor expansion of y in x 6.960 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 y)) 1/4)) in x 6.960 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/4) in x 6.960 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ -1 y))))) in x 6.960 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ -1 y)))) in x 6.960 * [taylor]: Taking taylor expansion of 1/4 in x 6.960 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 6.960 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 6.960 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.960 * [taylor]: Taking taylor expansion of -1 in x 6.960 * [taylor]: Taking taylor expansion of y in x 6.961 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in x 6.961 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in x 6.961 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in x 6.961 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.961 * [taylor]: Taking taylor expansion of -1 in x 6.961 * [taylor]: Taking taylor expansion of y in x 6.961 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in x 6.961 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in x 6.961 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 6.961 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.961 * [taylor]: Taking taylor expansion of -1 in x 6.961 * [taylor]: Taking taylor expansion of y in x 6.962 * [taylor]: Taking taylor expansion of x in x 6.963 * [taylor]: Taking taylor expansion of (* -1 (* (pow (exp (/ 1/4 (pow y 2))) 2) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))))) in y 6.963 * [taylor]: Taking taylor expansion of -1 in y 6.963 * [taylor]: Taking taylor expansion of (* (pow (exp (/ 1/4 (pow y 2))) 2) (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)))) in y 6.963 * [taylor]: Taking taylor expansion of (pow (exp (/ 1/4 (pow y 2))) 2) in y 6.963 * [taylor]: Taking taylor expansion of (exp (/ 1/4 (pow y 2))) in y 6.963 * [taylor]: Taking taylor expansion of (/ 1/4 (pow y 2)) in y 6.963 * [taylor]: Taking taylor expansion of 1/4 in y 6.963 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.963 * [taylor]: Taking taylor expansion of y in y 6.964 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (sqrt (exp (/ -1 y)))) y))) in y 6.964 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (exp (/ -1 y)))) y)) in y 6.964 * [taylor]: Taking taylor expansion of -1 in y 6.964 * [taylor]: Taking taylor expansion of (/ (log (sqrt (exp (/ -1 y)))) y) in y 6.964 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 6.964 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 6.964 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 6.964 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.964 * [taylor]: Taking taylor expansion of -1 in y 6.964 * [taylor]: Taking taylor expansion of y in y 6.965 * [taylor]: Taking taylor expansion of y in y 6.972 * [taylor]: Taking taylor expansion of 0 in y 6.991 * [taylor]: Taking taylor expansion of 0 in y 7.009 * [taylor]: Taking taylor expansion of 0 in y 7.010 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 7.010 * [approximate]: Taking taylor expansion of (* (sqrt (pow (sqrt (exp y)) y)) (pow (pow (exp y) 1/4) y)) in (y) around 0 7.010 * [taylor]: Taking taylor expansion of (* (sqrt (pow (sqrt (exp y)) y)) (pow (pow (exp y) 1/4) y)) in y 7.010 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt (exp y)) y)) in y 7.010 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in y 7.010 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in y 7.010 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in y 7.010 * [taylor]: Taking taylor expansion of y in y 7.010 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 7.010 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 7.010 * [taylor]: Taking taylor expansion of (exp y) in y 7.010 * [taylor]: Taking taylor expansion of y in y 7.018 * [taylor]: Taking taylor expansion of (pow (pow (exp y) 1/4) y) in y 7.018 * [taylor]: Taking taylor expansion of (exp (* y (log (pow (exp y) 1/4)))) in y 7.018 * [taylor]: Taking taylor expansion of (* y (log (pow (exp y) 1/4))) in y 7.018 * [taylor]: Taking taylor expansion of y in y 7.018 * [taylor]: Taking taylor expansion of (log (pow (exp y) 1/4)) in y 7.018 * [taylor]: Taking taylor expansion of (pow (exp y) 1/4) in y 7.018 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp y)))) in y 7.018 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp y))) in y 7.018 * [taylor]: Taking taylor expansion of 1/4 in y 7.019 * [taylor]: Taking taylor expansion of (log (exp y)) in y 7.019 * [taylor]: Taking taylor expansion of (exp y) in y 7.019 * [taylor]: Taking taylor expansion of y in y 7.029 * [taylor]: Taking taylor expansion of (* (sqrt (pow (sqrt (exp y)) y)) (pow (pow (exp y) 1/4) y)) in y 7.029 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt (exp y)) y)) in y 7.029 * [taylor]: Taking taylor expansion of (pow (sqrt (exp y)) y) in y 7.029 * [taylor]: Taking taylor expansion of (exp (* y (log (sqrt (exp y))))) in y 7.029 * [taylor]: Taking taylor expansion of (* y (log (sqrt (exp y)))) in y 7.029 * [taylor]: Taking taylor expansion of y in y 7.029 * [taylor]: Taking taylor expansion of (log (sqrt (exp y))) in y 7.029 * [taylor]: Taking taylor expansion of (sqrt (exp y)) in y 7.029 * [taylor]: Taking taylor expansion of (exp y) in y 7.029 * [taylor]: Taking taylor expansion of y in y 7.036 * [taylor]: Taking taylor expansion of (pow (pow (exp y) 1/4) y) in y 7.036 * [taylor]: Taking taylor expansion of (exp (* y (log (pow (exp y) 1/4)))) in y 7.036 * [taylor]: Taking taylor expansion of (* y (log (pow (exp y) 1/4))) in y 7.036 * [taylor]: Taking taylor expansion of y in y 7.036 * [taylor]: Taking taylor expansion of (log (pow (exp y) 1/4)) in y 7.036 * [taylor]: Taking taylor expansion of (pow (exp y) 1/4) in y 7.036 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp y)))) in y 7.036 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp y))) in y 7.036 * [taylor]: Taking taylor expansion of 1/4 in y 7.036 * [taylor]: Taking taylor expansion of (log (exp y)) in y 7.036 * [taylor]: Taking taylor expansion of (exp y) in y 7.036 * [taylor]: Taking taylor expansion of y in y 7.111 * [approximate]: Taking taylor expansion of (* (sqrt (pow (sqrt (exp (/ 1 y))) (/ 1 y))) (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y))) in (y) around 0 7.111 * [taylor]: Taking taylor expansion of (* (sqrt (pow (sqrt (exp (/ 1 y))) (/ 1 y))) (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y))) in y 7.111 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt (exp (/ 1 y))) (/ 1 y))) in y 7.111 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in y 7.111 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in y 7.111 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in y 7.111 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.111 * [taylor]: Taking taylor expansion of y in y 7.112 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 7.112 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 7.112 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 7.112 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.112 * [taylor]: Taking taylor expansion of y in y 7.112 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) in y 7.112 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (pow (exp (/ 1 y)) 1/4)))) in y 7.112 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (pow (exp (/ 1 y)) 1/4))) in y 7.112 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.113 * [taylor]: Taking taylor expansion of y in y 7.113 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 y)) 1/4)) in y 7.113 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/4) in y 7.113 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 y))))) in y 7.113 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 y)))) in y 7.113 * [taylor]: Taking taylor expansion of 1/4 in y 7.113 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 7.113 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 7.113 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.113 * [taylor]: Taking taylor expansion of y in y 7.114 * [taylor]: Taking taylor expansion of (* (sqrt (pow (sqrt (exp (/ 1 y))) (/ 1 y))) (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y))) in y 7.114 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt (exp (/ 1 y))) (/ 1 y))) in y 7.114 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ 1 y))) (/ 1 y)) in y 7.114 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (sqrt (exp (/ 1 y)))))) in y 7.114 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (sqrt (exp (/ 1 y))))) in y 7.114 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.114 * [taylor]: Taking taylor expansion of y in y 7.114 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ 1 y)))) in y 7.114 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 y))) in y 7.114 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 7.114 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.114 * [taylor]: Taking taylor expansion of y in y 7.115 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ 1 y)) 1/4) (/ 1 y)) in y 7.115 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (pow (exp (/ 1 y)) 1/4)))) in y 7.115 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (pow (exp (/ 1 y)) 1/4))) in y 7.115 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.115 * [taylor]: Taking taylor expansion of y in y 7.115 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 y)) 1/4)) in y 7.115 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) 1/4) in y 7.115 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ 1 y))))) in y 7.115 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ 1 y)))) in y 7.115 * [taylor]: Taking taylor expansion of 1/4 in y 7.115 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 7.115 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 7.115 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.115 * [taylor]: Taking taylor expansion of y in y 7.126 * [approximate]: Taking taylor expansion of (* (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) (sqrt (pow (sqrt (exp (/ -1 y))) (/ -1 y)))) in (y) around 0 7.126 * [taylor]: Taking taylor expansion of (* (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) (sqrt (pow (sqrt (exp (/ -1 y))) (/ -1 y)))) in y 7.126 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) in y 7.126 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (pow (exp (/ -1 y)) 1/4)))) in y 7.126 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (pow (exp (/ -1 y)) 1/4))) in y 7.126 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.126 * [taylor]: Taking taylor expansion of -1 in y 7.126 * [taylor]: Taking taylor expansion of y in y 7.126 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 y)) 1/4)) in y 7.126 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/4) in y 7.126 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ -1 y))))) in y 7.126 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ -1 y)))) in y 7.126 * [taylor]: Taking taylor expansion of 1/4 in y 7.126 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 7.126 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 7.126 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.126 * [taylor]: Taking taylor expansion of -1 in y 7.126 * [taylor]: Taking taylor expansion of y in y 7.127 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt (exp (/ -1 y))) (/ -1 y))) in y 7.127 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in y 7.127 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in y 7.127 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in y 7.127 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.127 * [taylor]: Taking taylor expansion of -1 in y 7.127 * [taylor]: Taking taylor expansion of y in y 7.128 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 7.128 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 7.128 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 7.128 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.128 * [taylor]: Taking taylor expansion of -1 in y 7.128 * [taylor]: Taking taylor expansion of y in y 7.128 * [taylor]: Taking taylor expansion of (* (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) (sqrt (pow (sqrt (exp (/ -1 y))) (/ -1 y)))) in y 7.129 * [taylor]: Taking taylor expansion of (pow (pow (exp (/ -1 y)) 1/4) (/ -1 y)) in y 7.129 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (pow (exp (/ -1 y)) 1/4)))) in y 7.129 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (pow (exp (/ -1 y)) 1/4))) in y 7.129 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.129 * [taylor]: Taking taylor expansion of -1 in y 7.129 * [taylor]: Taking taylor expansion of y in y 7.129 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 y)) 1/4)) in y 7.129 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) 1/4) in y 7.129 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (/ -1 y))))) in y 7.129 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (/ -1 y)))) in y 7.129 * [taylor]: Taking taylor expansion of 1/4 in y 7.129 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 7.129 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 7.129 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.129 * [taylor]: Taking taylor expansion of -1 in y 7.129 * [taylor]: Taking taylor expansion of y in y 7.130 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt (exp (/ -1 y))) (/ -1 y))) in y 7.130 * [taylor]: Taking taylor expansion of (pow (sqrt (exp (/ -1 y))) (/ -1 y)) in y 7.130 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (sqrt (exp (/ -1 y)))))) in y 7.130 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (sqrt (exp (/ -1 y))))) in y 7.130 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.130 * [taylor]: Taking taylor expansion of -1 in y 7.130 * [taylor]: Taking taylor expansion of y in y 7.130 * [taylor]: Taking taylor expansion of (log (sqrt (exp (/ -1 y)))) in y 7.130 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 y))) in y 7.130 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 7.130 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.130 * [taylor]: Taking taylor expansion of -1 in y 7.130 * [taylor]: Taking taylor expansion of y in y 7.141 * * * [progress]: simplifying candidates 7.143 * [simplify]: Simplifying using # : (expm1 (sqrt (sqrt (exp y)))) (log1p (sqrt (sqrt (exp y)))) (log (sqrt (sqrt (exp y)))) (exp (sqrt (sqrt (exp y)))) (* (cbrt (sqrt (sqrt (exp y)))) (cbrt (sqrt (sqrt (exp y))))) (cbrt (sqrt (sqrt (exp y)))) (* (* (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y)))) (sqrt (sqrt (exp y)))) (sqrt (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))))) (sqrt (cbrt (sqrt (exp y)))) (sqrt (sqrt (* (cbrt (exp y)) (cbrt (exp y))))) (sqrt (sqrt (cbrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt 1)) (sqrt (sqrt (exp y))) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) (sqrt 1) (sqrt (sqrt (exp y))) (/ 1/2 2) (/ 1 2) (/ (/ 1 2) 2) (/ (/ (cbrt y) 2) 2) (/ (/ (sqrt y) 2) 2) (/ (/ y 2) 2) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) (expm1 (sqrt (sqrt (exp y)))) (log1p (sqrt (sqrt (exp y)))) (log (sqrt (sqrt (exp y)))) (exp (sqrt (sqrt (exp y)))) (* (cbrt (sqrt (sqrt (exp y)))) (cbrt (sqrt (sqrt (exp y))))) (cbrt (sqrt (sqrt (exp y)))) (* (* (sqrt (sqrt (exp y))) (sqrt (sqrt (exp y)))) (sqrt (sqrt (exp y)))) (sqrt (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y))))) (sqrt (cbrt (sqrt (exp y)))) (sqrt (sqrt (* (cbrt (exp y)) (cbrt (exp y))))) (sqrt (sqrt (cbrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt 1)) (sqrt (sqrt (exp y))) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) (sqrt 1) (sqrt (sqrt (exp y))) (/ 1/2 2) (/ 1 2) (/ (/ 1 2) 2) (/ (/ (cbrt y) 2) 2) (/ (/ (sqrt y) 2) 2) (/ (/ y 2) 2) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) (expm1 (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (log1p (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))))) (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))))) (+ (log x) (+ (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))) (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))) (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))) (+ (log (pow (sqrt (sqrt (exp y))) y)) (log (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))) (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))) (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))) (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))) (+ (log (pow (sqrt (sqrt (exp y))) y)) (log (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))) (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (+ (log (pow (sqrt (sqrt (exp y))) y)) (log (sqrt (pow (sqrt (exp y)) y)))) (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (+ (log (pow (sqrt (sqrt (exp y))) y)) (log (sqrt (pow (sqrt (exp y)) y)))) (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (+ (log (pow (sqrt (sqrt (exp y))) y)) (log (sqrt (pow (sqrt (exp y)) y)))) (+ (log (pow (sqrt (sqrt (exp y))) y)) (log (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (+ (log (pow (sqrt (sqrt (exp y))) y)) (log (sqrt (pow (sqrt (exp y)) y)))) (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (+ (log (pow (sqrt (sqrt (exp y))) y)) (log (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (+ (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (+ (log x) (log (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (log (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (exp (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (* (* (* x x) x) (* (* (* (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (pow (sqrt (sqrt (exp y))) y)) (* (* (sqrt (pow (sqrt (exp y)) y)) (sqrt (pow (sqrt (exp y)) y))) (sqrt (pow (sqrt (exp y)) y)))) (* (* (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (pow (sqrt (sqrt (exp y))) y)) (* (* (sqrt (pow (sqrt (exp y)) y)) (sqrt (pow (sqrt (exp y)) y))) (sqrt (pow (sqrt (exp y)) y)))))) (* (* (* x x) x) (* (* (* (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (pow (sqrt (sqrt (exp y))) y)) (* (* (sqrt (pow (sqrt (exp y)) y)) (sqrt (pow (sqrt (exp y)) y))) (sqrt (pow (sqrt (exp y)) y)))) (* (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (* (* (* x x) x) (* (* (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (* (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (pow (sqrt (sqrt (exp y))) y)) (* (* (sqrt (pow (sqrt (exp y)) y)) (sqrt (pow (sqrt (exp y)) y))) (sqrt (pow (sqrt (exp y)) y)))))) (* (* (* x x) x) (* (* (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (* (* (* x x) x) (* (* (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))))) (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (* (cbrt (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (cbrt (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))))))) (cbrt (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (* (* (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))))) (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (sqrt (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (sqrt (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))))) (* (sqrt x) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (sqrt x) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* x (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (cbrt x) (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))))) (* (sqrt x) (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))))) (* x (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))))) (expm1 (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (log1p (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))) (+ (* (log (sqrt (sqrt (exp y)))) y) (log (sqrt (pow (sqrt (exp y)) y)))) (+ (log (pow (sqrt (sqrt (exp y))) y)) (log (sqrt (pow (sqrt (exp y)) y)))) (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (exp (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (* (* (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y)) (pow (sqrt (sqrt (exp y))) y)) (* (* (sqrt (pow (sqrt (exp y)) y)) (sqrt (pow (sqrt (exp y)) y))) (sqrt (pow (sqrt (exp y)) y)))) (* (cbrt (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (cbrt (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))))) (cbrt (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (* (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (sqrt (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (sqrt (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) y) (* (cbrt (sqrt (pow (sqrt (exp y)) y))) (cbrt (sqrt (pow (sqrt (exp y)) y))))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (* (cbrt (exp y)) (cbrt (exp y)))) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt 1) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow 1 y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (* (cbrt (pow (sqrt (exp y)) y)) (cbrt (pow (sqrt (exp y)) y))))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt 1)) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) y) 1) (* (pow (cbrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (cbrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (cbrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (cbrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (exp y)) y))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (exp y)) y))) (+ (* 1/32 (pow y 2)) (+ (* 1/4 y) 1)) (exp (* 1/4 y)) (exp (* 1/4 y)) (+ (* 1/32 (pow y 2)) (+ (* 1/4 y) 1)) (exp (* 1/4 y)) (exp (* 1/4 y)) x (* (exp (* (log (sqrt (exp y))) y)) (* (pow (exp (* 1/4 (pow y 2))) 2) x)) (* (exp (* (log (sqrt (exp y))) y)) (* (pow (exp (* 1/4 (pow y 2))) 2) x)) (+ (* 1/2 (pow y 2)) (+ (* 1/8 (pow y 4)) 1)) (* (exp (* (log (pow (exp y) 1/4)) y)) (sqrt (exp (* (log (sqrt (exp y))) y)))) (* (sqrt (exp (* (log (sqrt (exp y))) y))) (exp (* (log (pow (exp y) 1/4)) y))) 7.157 * * [simplify]: iteration 0 : 193 enodes (cost 3442 ) 7.190 * * [simplify]: iteration 1 : 436 enodes (cost 2588 ) 7.307 * * [simplify]: iteration 2 : 1711 enodes (cost 2306 ) 8.065 * * [simplify]: iteration done : 5001 enodes (cost 2306 ) 8.066 * [simplify]: Simplified to: (expm1 (sqrt (sqrt (exp y)))) (log1p (sqrt (sqrt (exp y)))) (log (sqrt (sqrt (exp y)))) (exp (sqrt (sqrt (exp y)))) (* (cbrt (sqrt (sqrt (exp y)))) (cbrt (sqrt (sqrt (exp y))))) (cbrt (sqrt (sqrt (exp y)))) (pow (sqrt (sqrt (exp y))) 3) (fabs (cbrt (sqrt (exp y)))) (sqrt (cbrt (sqrt (exp y)))) (sqrt (fabs (cbrt (exp y)))) (sqrt (sqrt (cbrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) 1 (sqrt (sqrt (exp y))) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) 1 (sqrt (sqrt (exp y))) 1/4 1/2 1/4 (/ (cbrt y) 4) (/ (sqrt y) 4) (/ y 4) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) (expm1 (sqrt (sqrt (exp y)))) (log1p (sqrt (sqrt (exp y)))) (log (sqrt (sqrt (exp y)))) (exp (sqrt (sqrt (exp y)))) (* (cbrt (sqrt (sqrt (exp y)))) (cbrt (sqrt (sqrt (exp y))))) (cbrt (sqrt (sqrt (exp y)))) (pow (sqrt (sqrt (exp y))) 3) (fabs (cbrt (sqrt (exp y)))) (sqrt (cbrt (sqrt (exp y)))) (sqrt (fabs (cbrt (exp y)))) (sqrt (sqrt (cbrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) 1 (sqrt (sqrt (exp y))) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) 1 (sqrt (sqrt (exp y))) 1/4 1/2 1/4 (/ (cbrt y) 4) (/ (sqrt y) 4) (/ y 4) (sqrt (sqrt (sqrt (exp y)))) (sqrt (sqrt (sqrt (exp y)))) (expm1 (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log1p (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y))) (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (log (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (exp (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (pow (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y))) 3) (pow (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y))) 3) (pow (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y))) 3) (pow (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y))) 3) (pow (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y))) 3) (* (cbrt (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (cbrt (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y))))) (cbrt (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (pow (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y))) 3) (sqrt (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (sqrt (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y)))) (* (sqrt x) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (sqrt x) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* x (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (* (cbrt x) (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y))) (* (sqrt x) (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y))) (* x (* (pow (sqrt (sqrt (exp y))) (* 2 y)) (pow (sqrt (exp y)) y))) (expm1 (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (log1p (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (log (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (exp (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (pow (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) 3) (* (cbrt (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (cbrt (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))))) (cbrt (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (pow (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) 3) (sqrt (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (sqrt (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y)))) (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (sqrt (exp y))) y) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (sqrt (exp y))) y))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (* (pow (sqrt (sqrt (exp y))) y) (* (cbrt (sqrt (pow (sqrt (exp y)) y))) (cbrt (sqrt (pow (sqrt (exp y)) y))))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (* (cbrt (sqrt (exp y))) (cbrt (sqrt (exp y)))) y))) (* (sqrt (pow (fabs (cbrt (exp y))) y)) (pow (sqrt (sqrt (exp y))) y)) (pow (sqrt (pow (sqrt (sqrt (exp y))) y)) 3) (pow (sqrt (sqrt (exp y))) y) (pow (sqrt (pow (sqrt (sqrt (exp y))) y)) 3) (pow (sqrt (sqrt (exp y))) y) (* (fabs (cbrt (pow (sqrt (exp y)) y))) (pow (sqrt (sqrt (exp y))) y)) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (pow (sqrt (sqrt (exp y))) y) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) (/ y 2)))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (sqrt (pow (sqrt (exp y)) y)))) (pow (sqrt (sqrt (exp y))) y) (* (pow (cbrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (cbrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (cbrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (sqrt (exp y)))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (cbrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (exp y)) y))) (* (sqrt (pow (sqrt (sqrt (exp y))) y)) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (sqrt (sqrt (exp y))) (/ y 2)) (sqrt (pow (sqrt (exp y)) y))) (fma 1/32 (pow y 2) (fma 1/4 y 1)) (exp (* 1/4 y)) (exp (* 1/4 y)) (fma 1/32 (pow y 2) (fma 1/4 y 1)) (exp (* 1/4 y)) (exp (* 1/4 y)) x (* (pow (sqrt (exp y)) y) (* (pow (exp (* 1/4 (pow y 2))) 2) x)) (* (pow (sqrt (exp y)) y) (* (pow (exp (* 1/4 (pow y 2))) 2) x)) (fma 1/2 (pow y 2) (fma 1/8 (pow y 4) 1)) (* (pow (pow (exp y) 1/4) y) (sqrt (pow (sqrt (exp y)) y))) (* (pow (pow (exp y) 1/4) y) (sqrt (pow (sqrt (exp y)) y))) 8.067 * * * [progress]: adding candidates to table 8.537 * [progress]: [Phase 3 of 3] Extracting. 8.537 * * [regime]: Finding splitpoints for: (# # #) 8.538 * * * [regime-changes]: Trying 2 branch expressions: (y x) 8.538 * * * * [regimes]: Trying to branch on y from (# # #) 8.556 * * * * [regimes]: Trying to branch on x from (# # #) 8.579 * * * [regime]: Found split indices: #