9.422 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.025 * * * [progress]: [2/2] Setting up program. 0.028 * [progress]: [Phase 2 of 3] Improving. 0.029 * [simplify]: Simplifying using # : (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673) 0.030 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.033 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 0.038 * * [simplify]: iteration 2 : 48 enodes (cost 11 ) 0.051 * * [simplify]: iteration 3 : 88 enodes (cost 10 ) 0.079 * * [simplify]: iteration 4 : 171 enodes (cost 10 ) 0.125 * * [simplify]: iteration 5 : 284 enodes (cost 10 ) 0.209 * * [simplify]: iteration 6 : 429 enodes (cost 10 ) 0.409 * * [simplify]: iteration 7 : 662 enodes (cost 10 ) 0.826 * * [simplify]: iteration 8 : 912 enodes (cost 10 ) 1.129 * * [simplify]: iteration 9 : 974 enodes (cost 10 ) 1.384 * * [simplify]: iteration 10 : 981 enodes (cost 10 ) 1.638 * * [simplify]: iteration done : 981 enodes (cost 10 ) 1.638 * [simplify]: Simplified to: (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 1.641 * * [progress]: iteration 1 / 4 1.641 * * * [progress]: picking best candidate 1.643 * * * * [pick]: Picked # 1.643 * * * [progress]: localizing error 1.653 * * * [progress]: generating rewritten candidates 1.653 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.654 * * * [progress]: generating series expansions 1.654 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.654 * [approximate]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in (x y) around 0 1.654 * [taylor]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in y 1.654 * [taylor]: Rewrote expression to (+ (* x (- y 1.0)) (fma 0.5 (- y) 0.918938533204673)) 1.654 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in y 1.654 * [taylor]: Taking taylor expansion of x in y 1.654 * [taylor]: Taking taylor expansion of (- y 1.0) in y 1.654 * [taylor]: Taking taylor expansion of y in y 1.654 * [taylor]: Taking taylor expansion of 1.0 in y 1.654 * [taylor]: Taking taylor expansion of (fma 0.5 (- y) 0.918938533204673) in y 1.655 * [taylor]: Rewrote expression to (+ (* 0.5 (- y)) 0.918938533204673) 1.655 * [taylor]: Taking taylor expansion of (* 0.5 (- y)) in y 1.655 * [taylor]: Taking taylor expansion of 0.5 in y 1.655 * [taylor]: Taking taylor expansion of (- y) in y 1.655 * [taylor]: Taking taylor expansion of y in y 1.655 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 1.655 * [taylor]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in x 1.655 * [taylor]: Rewrote expression to (+ (* x (- y 1.0)) (fma 0.5 (- y) 0.918938533204673)) 1.655 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in x 1.655 * [taylor]: Taking taylor expansion of x in x 1.655 * [taylor]: Taking taylor expansion of (- y 1.0) in x 1.655 * [taylor]: Taking taylor expansion of y in x 1.655 * [taylor]: Taking taylor expansion of 1.0 in x 1.655 * [taylor]: Taking taylor expansion of (fma 0.5 (- y) 0.918938533204673) in x 1.655 * [taylor]: Rewrote expression to (+ (* 0.5 (- y)) 0.918938533204673) 1.655 * [taylor]: Taking taylor expansion of (* 0.5 (- y)) in x 1.655 * [taylor]: Taking taylor expansion of 0.5 in x 1.655 * [taylor]: Taking taylor expansion of (- y) in x 1.655 * [taylor]: Taking taylor expansion of y in x 1.655 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 1.655 * [taylor]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in x 1.655 * [taylor]: Rewrote expression to (+ (* x (- y 1.0)) (fma 0.5 (- y) 0.918938533204673)) 1.655 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in x 1.655 * [taylor]: Taking taylor expansion of x in x 1.655 * [taylor]: Taking taylor expansion of (- y 1.0) in x 1.655 * [taylor]: Taking taylor expansion of y in x 1.655 * [taylor]: Taking taylor expansion of 1.0 in x 1.655 * [taylor]: Taking taylor expansion of (fma 0.5 (- y) 0.918938533204673) in x 1.655 * [taylor]: Rewrote expression to (+ (* 0.5 (- y)) 0.918938533204673) 1.655 * [taylor]: Taking taylor expansion of (* 0.5 (- y)) in x 1.655 * [taylor]: Taking taylor expansion of 0.5 in x 1.655 * [taylor]: Taking taylor expansion of (- y) in x 1.655 * [taylor]: Taking taylor expansion of y in x 1.655 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 1.656 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 y)) in y 1.656 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 1.656 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 1.656 * [taylor]: Taking taylor expansion of 0.5 in y 1.656 * [taylor]: Taking taylor expansion of y in y 1.659 * [taylor]: Taking taylor expansion of (- y 1.0) in y 1.659 * [taylor]: Taking taylor expansion of y in y 1.659 * [taylor]: Taking taylor expansion of 1.0 in y 1.662 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in (x y) around 0 1.662 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in y 1.662 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y) 1.0)) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 1.662 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y) 1.0)) in y 1.662 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.662 * [taylor]: Taking taylor expansion of x in y 1.662 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 1.662 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.662 * [taylor]: Taking taylor expansion of y in y 1.663 * [taylor]: Taking taylor expansion of 1.0 in y 1.663 * [taylor]: Taking taylor expansion of (fma 0.5 (- (/ 1 y)) 0.918938533204673) in y 1.663 * [taylor]: Rewrote expression to (+ (* 0.5 (- (/ 1 y))) 0.918938533204673) 1.663 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y))) in y 1.663 * [taylor]: Taking taylor expansion of 0.5 in y 1.663 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 1.663 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.663 * [taylor]: Taking taylor expansion of y in y 1.663 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 1.663 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in x 1.663 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y) 1.0)) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 1.663 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y) 1.0)) in x 1.663 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.663 * [taylor]: Taking taylor expansion of x in x 1.664 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 1.664 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.664 * [taylor]: Taking taylor expansion of y in x 1.664 * [taylor]: Taking taylor expansion of 1.0 in x 1.664 * [taylor]: Taking taylor expansion of (fma 0.5 (- (/ 1 y)) 0.918938533204673) in x 1.664 * [taylor]: Rewrote expression to (+ (* 0.5 (- (/ 1 y))) 0.918938533204673) 1.664 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y))) in x 1.664 * [taylor]: Taking taylor expansion of 0.5 in x 1.664 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 1.664 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.664 * [taylor]: Taking taylor expansion of y in x 1.664 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 1.664 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in x 1.664 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y) 1.0)) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 1.664 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y) 1.0)) in x 1.664 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.664 * [taylor]: Taking taylor expansion of x in x 1.664 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 1.664 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.664 * [taylor]: Taking taylor expansion of y in x 1.664 * [taylor]: Taking taylor expansion of 1.0 in x 1.664 * [taylor]: Taking taylor expansion of (fma 0.5 (- (/ 1 y)) 0.918938533204673) in x 1.665 * [taylor]: Rewrote expression to (+ (* 0.5 (- (/ 1 y))) 0.918938533204673) 1.665 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y))) in x 1.665 * [taylor]: Taking taylor expansion of 0.5 in x 1.665 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 1.665 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.665 * [taylor]: Taking taylor expansion of y in x 1.665 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 1.665 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 1.665 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.665 * [taylor]: Taking taylor expansion of y in y 1.666 * [taylor]: Taking taylor expansion of 1.0 in y 1.667 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 (/ 1 y))) in y 1.667 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 1.667 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 1.667 * [taylor]: Taking taylor expansion of 0.5 in y 1.667 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.667 * [taylor]: Taking taylor expansion of y in y 1.671 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in (x y) around 0 1.671 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in y 1.672 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ (/ 1 y) 1.0))) (fma 0.5 (/ 1 y) 0.918938533204673)) 1.672 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ (/ 1 y) 1.0))) in y 1.672 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.672 * [taylor]: Taking taylor expansion of -1 in y 1.672 * [taylor]: Taking taylor expansion of x in y 1.672 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in y 1.672 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 1.672 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.672 * [taylor]: Taking taylor expansion of y in y 1.672 * [taylor]: Taking taylor expansion of 1.0 in y 1.672 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 y) 0.918938533204673) in y 1.672 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 y)) 0.918938533204673) 1.672 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 1.672 * [taylor]: Taking taylor expansion of 0.5 in y 1.672 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.672 * [taylor]: Taking taylor expansion of y in y 1.672 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 1.672 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in x 1.673 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ (/ 1 y) 1.0))) (fma 0.5 (/ 1 y) 0.918938533204673)) 1.673 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ (/ 1 y) 1.0))) in x 1.673 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.673 * [taylor]: Taking taylor expansion of -1 in x 1.673 * [taylor]: Taking taylor expansion of x in x 1.673 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in x 1.673 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 1.673 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.673 * [taylor]: Taking taylor expansion of y in x 1.673 * [taylor]: Taking taylor expansion of 1.0 in x 1.673 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 y) 0.918938533204673) in x 1.673 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 y)) 0.918938533204673) 1.673 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 1.673 * [taylor]: Taking taylor expansion of 0.5 in x 1.673 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.673 * [taylor]: Taking taylor expansion of y in x 1.673 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 1.673 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in x 1.673 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ (/ 1 y) 1.0))) (fma 0.5 (/ 1 y) 0.918938533204673)) 1.673 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ (/ 1 y) 1.0))) in x 1.673 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.673 * [taylor]: Taking taylor expansion of -1 in x 1.673 * [taylor]: Taking taylor expansion of x in x 1.674 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in x 1.674 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 1.674 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.674 * [taylor]: Taking taylor expansion of y in x 1.674 * [taylor]: Taking taylor expansion of 1.0 in x 1.674 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 y) 0.918938533204673) in x 1.674 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 y)) 0.918938533204673) 1.674 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 1.674 * [taylor]: Taking taylor expansion of 0.5 in x 1.674 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.674 * [taylor]: Taking taylor expansion of y in x 1.674 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 1.674 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 1.674 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.674 * [taylor]: Taking taylor expansion of y in y 1.675 * [taylor]: Taking taylor expansion of 1.0 in y 1.676 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) 0.918938533204673) in y 1.676 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 1.676 * [taylor]: Taking taylor expansion of 0.5 in y 1.676 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.676 * [taylor]: Taking taylor expansion of y in y 1.677 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 1.678 * * * [progress]: simplifying candidates 1.679 * [simplify]: Simplifying using # : (expm1 (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (log1p (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (* x (- y 1.0)) (log (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (exp (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (* (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (* (* (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (- 0.918938533204673 (+ (* 1.0 x) (* 0.5 y))) (- (* x y) (+ (* 1.0 x) (* 0.5 y))) (- (* x y) (+ (* 1.0 x) (* 0.5 y))) 1.680 * * [simplify]: iteration 0 : 25 enodes (cost 168 ) 1.683 * * [simplify]: iteration 1 : 45 enodes (cost 165 ) 1.689 * * [simplify]: iteration 2 : 93 enodes (cost 143 ) 1.707 * * [simplify]: iteration 3 : 278 enodes (cost 143 ) 1.820 * * [simplify]: iteration 4 : 1463 enodes (cost 143 ) 2.663 * * [simplify]: iteration done : 5000 enodes (cost 143 ) 2.663 * [simplify]: Simplified to: (expm1 (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (log1p (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (* x (- y 1.0)) (log (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (exp (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (* (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3) (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (- 0.918938533204673 (fma 1.0 x (* 0.5 y))) (- (* x (- y 1.0)) (* 0.5 y)) (- (* x (- y 1.0)) (* 0.5 y)) 2.663 * * * [progress]: adding candidates to table 2.699 * * [progress]: iteration 2 / 4 2.699 * * * [progress]: picking best candidate 2.702 * * * * [pick]: Picked # 2.702 * * * [progress]: localizing error 2.713 * * * [progress]: generating rewritten candidates 2.713 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 2.715 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 2.716 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 2.718 * * * [progress]: generating series expansions 2.718 * * * * [progress]: [ 1 / 3 ] generating series at (2) 2.718 * [approximate]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in (x y) around 0 2.718 * [taylor]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in y 2.718 * [taylor]: Rewrote expression to (+ (* x (- y 1.0)) (fma 0.5 (- y) 0.918938533204673)) 2.718 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in y 2.718 * [taylor]: Taking taylor expansion of x in y 2.718 * [taylor]: Taking taylor expansion of (- y 1.0) in y 2.718 * [taylor]: Taking taylor expansion of y in y 2.718 * [taylor]: Taking taylor expansion of 1.0 in y 2.718 * [taylor]: Taking taylor expansion of (fma 0.5 (- y) 0.918938533204673) in y 2.718 * [taylor]: Rewrote expression to (+ (* 0.5 (- y)) 0.918938533204673) 2.718 * [taylor]: Taking taylor expansion of (* 0.5 (- y)) in y 2.718 * [taylor]: Taking taylor expansion of 0.5 in y 2.718 * [taylor]: Taking taylor expansion of (- y) in y 2.718 * [taylor]: Taking taylor expansion of y in y 2.718 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 2.718 * [taylor]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in x 2.718 * [taylor]: Rewrote expression to (+ (* x (- y 1.0)) (fma 0.5 (- y) 0.918938533204673)) 2.718 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in x 2.718 * [taylor]: Taking taylor expansion of x in x 2.719 * [taylor]: Taking taylor expansion of (- y 1.0) in x 2.719 * [taylor]: Taking taylor expansion of y in x 2.719 * [taylor]: Taking taylor expansion of 1.0 in x 2.719 * [taylor]: Taking taylor expansion of (fma 0.5 (- y) 0.918938533204673) in x 2.719 * [taylor]: Rewrote expression to (+ (* 0.5 (- y)) 0.918938533204673) 2.719 * [taylor]: Taking taylor expansion of (* 0.5 (- y)) in x 2.719 * [taylor]: Taking taylor expansion of 0.5 in x 2.719 * [taylor]: Taking taylor expansion of (- y) in x 2.719 * [taylor]: Taking taylor expansion of y in x 2.719 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 2.719 * [taylor]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in x 2.719 * [taylor]: Rewrote expression to (+ (* x (- y 1.0)) (fma 0.5 (- y) 0.918938533204673)) 2.719 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in x 2.719 * [taylor]: Taking taylor expansion of x in x 2.719 * [taylor]: Taking taylor expansion of (- y 1.0) in x 2.719 * [taylor]: Taking taylor expansion of y in x 2.719 * [taylor]: Taking taylor expansion of 1.0 in x 2.719 * [taylor]: Taking taylor expansion of (fma 0.5 (- y) 0.918938533204673) in x 2.719 * [taylor]: Rewrote expression to (+ (* 0.5 (- y)) 0.918938533204673) 2.719 * [taylor]: Taking taylor expansion of (* 0.5 (- y)) in x 2.719 * [taylor]: Taking taylor expansion of 0.5 in x 2.719 * [taylor]: Taking taylor expansion of (- y) in x 2.719 * [taylor]: Taking taylor expansion of y in x 2.719 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 2.720 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 y)) in y 2.720 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 2.720 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 2.720 * [taylor]: Taking taylor expansion of 0.5 in y 2.720 * [taylor]: Taking taylor expansion of y in y 2.723 * [taylor]: Taking taylor expansion of (- y 1.0) in y 2.723 * [taylor]: Taking taylor expansion of y in y 2.723 * [taylor]: Taking taylor expansion of 1.0 in y 2.727 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in (x y) around 0 2.727 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in y 2.727 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y) 1.0)) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2.727 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y) 1.0)) in y 2.727 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.727 * [taylor]: Taking taylor expansion of x in y 2.727 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 2.727 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.727 * [taylor]: Taking taylor expansion of y in y 2.727 * [taylor]: Taking taylor expansion of 1.0 in y 2.727 * [taylor]: Taking taylor expansion of (fma 0.5 (- (/ 1 y)) 0.918938533204673) in y 2.727 * [taylor]: Rewrote expression to (+ (* 0.5 (- (/ 1 y))) 0.918938533204673) 2.727 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y))) in y 2.727 * [taylor]: Taking taylor expansion of 0.5 in y 2.727 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.727 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.727 * [taylor]: Taking taylor expansion of y in y 2.728 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 2.728 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in x 2.728 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y) 1.0)) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2.728 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y) 1.0)) in x 2.728 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.728 * [taylor]: Taking taylor expansion of x in x 2.728 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 2.728 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.728 * [taylor]: Taking taylor expansion of y in x 2.728 * [taylor]: Taking taylor expansion of 1.0 in x 2.728 * [taylor]: Taking taylor expansion of (fma 0.5 (- (/ 1 y)) 0.918938533204673) in x 2.728 * [taylor]: Rewrote expression to (+ (* 0.5 (- (/ 1 y))) 0.918938533204673) 2.728 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y))) in x 2.728 * [taylor]: Taking taylor expansion of 0.5 in x 2.728 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 2.728 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.728 * [taylor]: Taking taylor expansion of y in x 2.728 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 2.728 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in x 2.729 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y) 1.0)) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2.729 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y) 1.0)) in x 2.729 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.729 * [taylor]: Taking taylor expansion of x in x 2.729 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 2.729 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.729 * [taylor]: Taking taylor expansion of y in x 2.729 * [taylor]: Taking taylor expansion of 1.0 in x 2.729 * [taylor]: Taking taylor expansion of (fma 0.5 (- (/ 1 y)) 0.918938533204673) in x 2.729 * [taylor]: Rewrote expression to (+ (* 0.5 (- (/ 1 y))) 0.918938533204673) 2.729 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y))) in x 2.729 * [taylor]: Taking taylor expansion of 0.5 in x 2.729 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 2.729 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.729 * [taylor]: Taking taylor expansion of y in x 2.729 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 2.730 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 2.730 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.730 * [taylor]: Taking taylor expansion of y in y 2.730 * [taylor]: Taking taylor expansion of 1.0 in y 2.732 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 (/ 1 y))) in y 2.732 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 2.732 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 2.732 * [taylor]: Taking taylor expansion of 0.5 in y 2.732 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.732 * [taylor]: Taking taylor expansion of y in y 2.736 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in (x y) around 0 2.736 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in y 2.736 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ (/ 1 y) 1.0))) (fma 0.5 (/ 1 y) 0.918938533204673)) 2.736 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ (/ 1 y) 1.0))) in y 2.736 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.736 * [taylor]: Taking taylor expansion of -1 in y 2.736 * [taylor]: Taking taylor expansion of x in y 2.736 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in y 2.736 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 2.736 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.736 * [taylor]: Taking taylor expansion of y in y 2.737 * [taylor]: Taking taylor expansion of 1.0 in y 2.737 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 y) 0.918938533204673) in y 2.737 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 y)) 0.918938533204673) 2.737 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 2.737 * [taylor]: Taking taylor expansion of 0.5 in y 2.737 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.737 * [taylor]: Taking taylor expansion of y in y 2.737 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 2.737 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in x 2.737 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ (/ 1 y) 1.0))) (fma 0.5 (/ 1 y) 0.918938533204673)) 2.737 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ (/ 1 y) 1.0))) in x 2.737 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.737 * [taylor]: Taking taylor expansion of -1 in x 2.737 * [taylor]: Taking taylor expansion of x in x 2.738 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in x 2.738 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 2.738 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.738 * [taylor]: Taking taylor expansion of y in x 2.738 * [taylor]: Taking taylor expansion of 1.0 in x 2.738 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 y) 0.918938533204673) in x 2.738 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 y)) 0.918938533204673) 2.738 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 2.738 * [taylor]: Taking taylor expansion of 0.5 in x 2.738 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.738 * [taylor]: Taking taylor expansion of y in x 2.738 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 2.738 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in x 2.738 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ (/ 1 y) 1.0))) (fma 0.5 (/ 1 y) 0.918938533204673)) 2.738 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ (/ 1 y) 1.0))) in x 2.738 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.738 * [taylor]: Taking taylor expansion of -1 in x 2.738 * [taylor]: Taking taylor expansion of x in x 2.738 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in x 2.738 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 2.738 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.739 * [taylor]: Taking taylor expansion of y in x 2.739 * [taylor]: Taking taylor expansion of 1.0 in x 2.739 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 y) 0.918938533204673) in x 2.739 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 y)) 0.918938533204673) 2.739 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 2.739 * [taylor]: Taking taylor expansion of 0.5 in x 2.739 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.739 * [taylor]: Taking taylor expansion of y in x 2.739 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 2.739 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 2.739 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.739 * [taylor]: Taking taylor expansion of y in y 2.739 * [taylor]: Taking taylor expansion of 1.0 in y 2.741 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) 0.918938533204673) in y 2.741 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 2.741 * [taylor]: Taking taylor expansion of 0.5 in y 2.741 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.741 * [taylor]: Taking taylor expansion of y in y 2.741 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 2.743 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 2.743 * [approximate]: Taking taylor expansion of (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3) in (x y) around 0 2.743 * [taylor]: Taking taylor expansion of (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3) in y 2.743 * [taylor]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in y 2.743 * [taylor]: Rewrote expression to (+ (* x (- y 1.0)) (fma 0.5 (- y) 0.918938533204673)) 2.743 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in y 2.743 * [taylor]: Taking taylor expansion of x in y 2.743 * [taylor]: Taking taylor expansion of (- y 1.0) in y 2.743 * [taylor]: Taking taylor expansion of y in y 2.743 * [taylor]: Taking taylor expansion of 1.0 in y 2.744 * [taylor]: Taking taylor expansion of (fma 0.5 (- y) 0.918938533204673) in y 2.744 * [taylor]: Rewrote expression to (+ (* 0.5 (- y)) 0.918938533204673) 2.744 * [taylor]: Taking taylor expansion of (* 0.5 (- y)) in y 2.744 * [taylor]: Taking taylor expansion of 0.5 in y 2.744 * [taylor]: Taking taylor expansion of (- y) in y 2.744 * [taylor]: Taking taylor expansion of y in y 2.744 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 2.746 * [taylor]: Taking taylor expansion of (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3) in x 2.746 * [taylor]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in x 2.746 * [taylor]: Rewrote expression to (+ (* x (- y 1.0)) (fma 0.5 (- y) 0.918938533204673)) 2.746 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in x 2.746 * [taylor]: Taking taylor expansion of x in x 2.746 * [taylor]: Taking taylor expansion of (- y 1.0) in x 2.746 * [taylor]: Taking taylor expansion of y in x 2.746 * [taylor]: Taking taylor expansion of 1.0 in x 2.746 * [taylor]: Taking taylor expansion of (fma 0.5 (- y) 0.918938533204673) in x 2.746 * [taylor]: Rewrote expression to (+ (* 0.5 (- y)) 0.918938533204673) 2.746 * [taylor]: Taking taylor expansion of (* 0.5 (- y)) in x 2.746 * [taylor]: Taking taylor expansion of 0.5 in x 2.746 * [taylor]: Taking taylor expansion of (- y) in x 2.746 * [taylor]: Taking taylor expansion of y in x 2.746 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 2.747 * [taylor]: Taking taylor expansion of (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3) in x 2.747 * [taylor]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in x 2.747 * [taylor]: Rewrote expression to (+ (* x (- y 1.0)) (fma 0.5 (- y) 0.918938533204673)) 2.747 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in x 2.747 * [taylor]: Taking taylor expansion of x in x 2.747 * [taylor]: Taking taylor expansion of (- y 1.0) in x 2.747 * [taylor]: Taking taylor expansion of y in x 2.747 * [taylor]: Taking taylor expansion of 1.0 in x 2.747 * [taylor]: Taking taylor expansion of (fma 0.5 (- y) 0.918938533204673) in x 2.747 * [taylor]: Rewrote expression to (+ (* 0.5 (- y)) 0.918938533204673) 2.747 * [taylor]: Taking taylor expansion of (* 0.5 (- y)) in x 2.747 * [taylor]: Taking taylor expansion of 0.5 in x 2.747 * [taylor]: Taking taylor expansion of (- y) in x 2.747 * [taylor]: Taking taylor expansion of y in x 2.747 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 2.748 * [taylor]: Taking taylor expansion of (pow (- 0.918938533204673 (* 0.5 y)) 3) in y 2.748 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 y)) in y 2.748 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 2.748 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 2.748 * [taylor]: Taking taylor expansion of 0.5 in y 2.748 * [taylor]: Taking taylor expansion of y in y 2.752 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (pow y 3)) (* 5.290159683039086 y)) (+ (* 3.5068155996140193 (pow y 2)) 2.533344083425068)) in y 2.752 * [taylor]: Taking taylor expansion of (+ (* 0.75 (pow y 3)) (* 5.290159683039086 y)) in y 2.752 * [taylor]: Taking taylor expansion of (* 0.75 (pow y 3)) in y 2.752 * [taylor]: Taking taylor expansion of 0.75 in y 2.752 * [taylor]: Taking taylor expansion of (pow y 3) in y 2.752 * [taylor]: Taking taylor expansion of y in y 2.752 * [taylor]: Taking taylor expansion of (* 5.290159683039086 y) in y 2.752 * [taylor]: Taking taylor expansion of 5.290159683039086 in y 2.752 * [taylor]: Taking taylor expansion of y in y 2.752 * [taylor]: Taking taylor expansion of (+ (* 3.5068155996140193 (pow y 2)) 2.533344083425068) in y 2.752 * [taylor]: Taking taylor expansion of (* 3.5068155996140193 (pow y 2)) in y 2.752 * [taylor]: Taking taylor expansion of 3.5068155996140193 in y 2.752 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.752 * [taylor]: Taking taylor expansion of y in y 2.752 * [taylor]: Taking taylor expansion of 2.533344083425068 in y 2.759 * [approximate]: Taking taylor expansion of (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 3) in (x y) around 0 2.759 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 3) in y 2.759 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in y 2.759 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y) 1.0)) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2.759 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y) 1.0)) in y 2.759 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.759 * [taylor]: Taking taylor expansion of x in y 2.759 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 2.759 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.760 * [taylor]: Taking taylor expansion of y in y 2.760 * [taylor]: Taking taylor expansion of 1.0 in y 2.760 * [taylor]: Taking taylor expansion of (fma 0.5 (- (/ 1 y)) 0.918938533204673) in y 2.760 * [taylor]: Rewrote expression to (+ (* 0.5 (- (/ 1 y))) 0.918938533204673) 2.760 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y))) in y 2.760 * [taylor]: Taking taylor expansion of 0.5 in y 2.760 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.760 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.760 * [taylor]: Taking taylor expansion of y in y 2.760 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 2.762 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 3) in x 2.762 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in x 2.762 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y) 1.0)) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2.762 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y) 1.0)) in x 2.762 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.762 * [taylor]: Taking taylor expansion of x in x 2.762 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 2.762 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.762 * [taylor]: Taking taylor expansion of y in x 2.762 * [taylor]: Taking taylor expansion of 1.0 in x 2.762 * [taylor]: Taking taylor expansion of (fma 0.5 (- (/ 1 y)) 0.918938533204673) in x 2.762 * [taylor]: Rewrote expression to (+ (* 0.5 (- (/ 1 y))) 0.918938533204673) 2.762 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y))) in x 2.762 * [taylor]: Taking taylor expansion of 0.5 in x 2.762 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 2.762 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.762 * [taylor]: Taking taylor expansion of y in x 2.762 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 2.763 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 3) in x 2.763 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in x 2.763 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y) 1.0)) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2.763 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y) 1.0)) in x 2.763 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.763 * [taylor]: Taking taylor expansion of x in x 2.763 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 2.763 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.763 * [taylor]: Taking taylor expansion of y in x 2.764 * [taylor]: Taking taylor expansion of 1.0 in x 2.764 * [taylor]: Taking taylor expansion of (fma 0.5 (- (/ 1 y)) 0.918938533204673) in x 2.764 * [taylor]: Rewrote expression to (+ (* 0.5 (- (/ 1 y))) 0.918938533204673) 2.764 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y))) in x 2.764 * [taylor]: Taking taylor expansion of 0.5 in x 2.764 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 2.764 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.764 * [taylor]: Taking taylor expansion of y in x 2.764 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 2.765 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) 1.0) 3) in y 2.765 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 2.765 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.765 * [taylor]: Taking taylor expansion of y in y 2.765 * [taylor]: Taking taylor expansion of 1.0 in y 2.768 * [taylor]: Taking taylor expansion of (- (+ (* 5.756815599614019 (/ 1 (pow y 2))) 2.756815599614019) (+ (* 1.5 (/ 1 (pow y 3))) (* 7.013631199228039 (/ 1 y)))) in y 2.768 * [taylor]: Taking taylor expansion of (+ (* 5.756815599614019 (/ 1 (pow y 2))) 2.756815599614019) in y 2.768 * [taylor]: Taking taylor expansion of (* 5.756815599614019 (/ 1 (pow y 2))) in y 2.768 * [taylor]: Taking taylor expansion of 5.756815599614019 in y 2.768 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.768 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.768 * [taylor]: Taking taylor expansion of y in y 2.769 * [taylor]: Taking taylor expansion of 2.756815599614019 in y 2.769 * [taylor]: Taking taylor expansion of (+ (* 1.5 (/ 1 (pow y 3))) (* 7.013631199228039 (/ 1 y))) in y 2.769 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 (pow y 3))) in y 2.769 * [taylor]: Taking taylor expansion of 1.5 in y 2.769 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 2.769 * [taylor]: Taking taylor expansion of (pow y 3) in y 2.769 * [taylor]: Taking taylor expansion of y in y 2.770 * [taylor]: Taking taylor expansion of (* 7.013631199228039 (/ 1 y)) in y 2.770 * [taylor]: Taking taylor expansion of 7.013631199228039 in y 2.770 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.770 * [taylor]: Taking taylor expansion of y in y 2.777 * [approximate]: Taking taylor expansion of (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 3) in (x y) around 0 2.777 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 3) in y 2.777 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in y 2.777 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ (/ 1 y) 1.0))) (fma 0.5 (/ 1 y) 0.918938533204673)) 2.777 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ (/ 1 y) 1.0))) in y 2.777 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.777 * [taylor]: Taking taylor expansion of -1 in y 2.777 * [taylor]: Taking taylor expansion of x in y 2.777 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in y 2.777 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 2.777 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.777 * [taylor]: Taking taylor expansion of y in y 2.778 * [taylor]: Taking taylor expansion of 1.0 in y 2.778 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 y) 0.918938533204673) in y 2.778 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 y)) 0.918938533204673) 2.778 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 2.778 * [taylor]: Taking taylor expansion of 0.5 in y 2.778 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.778 * [taylor]: Taking taylor expansion of y in y 2.778 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 2.779 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 3) in x 2.779 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in x 2.779 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ (/ 1 y) 1.0))) (fma 0.5 (/ 1 y) 0.918938533204673)) 2.779 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ (/ 1 y) 1.0))) in x 2.779 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.779 * [taylor]: Taking taylor expansion of -1 in x 2.780 * [taylor]: Taking taylor expansion of x in x 2.780 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in x 2.780 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 2.780 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.780 * [taylor]: Taking taylor expansion of y in x 2.780 * [taylor]: Taking taylor expansion of 1.0 in x 2.780 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 y) 0.918938533204673) in x 2.780 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 y)) 0.918938533204673) 2.780 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 2.780 * [taylor]: Taking taylor expansion of 0.5 in x 2.780 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.780 * [taylor]: Taking taylor expansion of y in x 2.780 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 2.780 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 3) in x 2.780 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in x 2.780 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ (/ 1 y) 1.0))) (fma 0.5 (/ 1 y) 0.918938533204673)) 2.780 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ (/ 1 y) 1.0))) in x 2.780 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.781 * [taylor]: Taking taylor expansion of -1 in x 2.781 * [taylor]: Taking taylor expansion of x in x 2.781 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in x 2.781 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 2.781 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.781 * [taylor]: Taking taylor expansion of y in x 2.781 * [taylor]: Taking taylor expansion of 1.0 in x 2.781 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 y) 0.918938533204673) in x 2.781 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 y)) 0.918938533204673) 2.781 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 2.781 * [taylor]: Taking taylor expansion of 0.5 in x 2.781 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.781 * [taylor]: Taking taylor expansion of y in x 2.781 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 2.782 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 1.0) 3) in y 2.782 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 2.782 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.782 * [taylor]: Taking taylor expansion of y in y 2.782 * [taylor]: Taking taylor expansion of 1.0 in y 2.785 * [taylor]: Taking taylor expansion of (+ (* 1.5 (/ 1 (pow y 3))) (+ (* 7.013631199228039 (/ 1 y)) (+ (* 5.756815599614019 (/ 1 (pow y 2))) 2.756815599614019))) in y 2.785 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 (pow y 3))) in y 2.785 * [taylor]: Taking taylor expansion of 1.5 in y 2.785 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 2.785 * [taylor]: Taking taylor expansion of (pow y 3) in y 2.785 * [taylor]: Taking taylor expansion of y in y 2.789 * [taylor]: Taking taylor expansion of (+ (* 7.013631199228039 (/ 1 y)) (+ (* 5.756815599614019 (/ 1 (pow y 2))) 2.756815599614019)) in y 2.790 * [taylor]: Taking taylor expansion of (* 7.013631199228039 (/ 1 y)) in y 2.790 * [taylor]: Taking taylor expansion of 7.013631199228039 in y 2.790 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.790 * [taylor]: Taking taylor expansion of y in y 2.790 * [taylor]: Taking taylor expansion of (+ (* 5.756815599614019 (/ 1 (pow y 2))) 2.756815599614019) in y 2.790 * [taylor]: Taking taylor expansion of (* 5.756815599614019 (/ 1 (pow y 2))) in y 2.790 * [taylor]: Taking taylor expansion of 5.756815599614019 in y 2.790 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.790 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.790 * [taylor]: Taking taylor expansion of y in y 2.791 * [taylor]: Taking taylor expansion of 2.756815599614019 in y 2.794 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 2.795 * [approximate]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in (x y) around 0 2.795 * [taylor]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in y 2.795 * [taylor]: Rewrote expression to (+ (* x (- y 1.0)) (fma 0.5 (- y) 0.918938533204673)) 2.795 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in y 2.795 * [taylor]: Taking taylor expansion of x in y 2.795 * [taylor]: Taking taylor expansion of (- y 1.0) in y 2.795 * [taylor]: Taking taylor expansion of y in y 2.795 * [taylor]: Taking taylor expansion of 1.0 in y 2.795 * [taylor]: Taking taylor expansion of (fma 0.5 (- y) 0.918938533204673) in y 2.795 * [taylor]: Rewrote expression to (+ (* 0.5 (- y)) 0.918938533204673) 2.795 * [taylor]: Taking taylor expansion of (* 0.5 (- y)) in y 2.795 * [taylor]: Taking taylor expansion of 0.5 in y 2.795 * [taylor]: Taking taylor expansion of (- y) in y 2.795 * [taylor]: Taking taylor expansion of y in y 2.795 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 2.795 * [taylor]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in x 2.795 * [taylor]: Rewrote expression to (+ (* x (- y 1.0)) (fma 0.5 (- y) 0.918938533204673)) 2.795 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in x 2.795 * [taylor]: Taking taylor expansion of x in x 2.795 * [taylor]: Taking taylor expansion of (- y 1.0) in x 2.795 * [taylor]: Taking taylor expansion of y in x 2.795 * [taylor]: Taking taylor expansion of 1.0 in x 2.795 * [taylor]: Taking taylor expansion of (fma 0.5 (- y) 0.918938533204673) in x 2.796 * [taylor]: Rewrote expression to (+ (* 0.5 (- y)) 0.918938533204673) 2.796 * [taylor]: Taking taylor expansion of (* 0.5 (- y)) in x 2.796 * [taylor]: Taking taylor expansion of 0.5 in x 2.796 * [taylor]: Taking taylor expansion of (- y) in x 2.796 * [taylor]: Taking taylor expansion of y in x 2.796 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 2.796 * [taylor]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in x 2.796 * [taylor]: Rewrote expression to (+ (* x (- y 1.0)) (fma 0.5 (- y) 0.918938533204673)) 2.796 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in x 2.796 * [taylor]: Taking taylor expansion of x in x 2.796 * [taylor]: Taking taylor expansion of (- y 1.0) in x 2.796 * [taylor]: Taking taylor expansion of y in x 2.796 * [taylor]: Taking taylor expansion of 1.0 in x 2.796 * [taylor]: Taking taylor expansion of (fma 0.5 (- y) 0.918938533204673) in x 2.796 * [taylor]: Rewrote expression to (+ (* 0.5 (- y)) 0.918938533204673) 2.796 * [taylor]: Taking taylor expansion of (* 0.5 (- y)) in x 2.796 * [taylor]: Taking taylor expansion of 0.5 in x 2.796 * [taylor]: Taking taylor expansion of (- y) in x 2.796 * [taylor]: Taking taylor expansion of y in x 2.796 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 2.797 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 y)) in y 2.797 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 2.797 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 2.797 * [taylor]: Taking taylor expansion of 0.5 in y 2.797 * [taylor]: Taking taylor expansion of y in y 2.799 * [taylor]: Taking taylor expansion of (- y 1.0) in y 2.799 * [taylor]: Taking taylor expansion of y in y 2.799 * [taylor]: Taking taylor expansion of 1.0 in y 2.803 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in (x y) around 0 2.803 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in y 2.803 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y) 1.0)) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2.803 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y) 1.0)) in y 2.803 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.803 * [taylor]: Taking taylor expansion of x in y 2.803 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 2.803 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.803 * [taylor]: Taking taylor expansion of y in y 2.804 * [taylor]: Taking taylor expansion of 1.0 in y 2.804 * [taylor]: Taking taylor expansion of (fma 0.5 (- (/ 1 y)) 0.918938533204673) in y 2.804 * [taylor]: Rewrote expression to (+ (* 0.5 (- (/ 1 y))) 0.918938533204673) 2.804 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y))) in y 2.804 * [taylor]: Taking taylor expansion of 0.5 in y 2.804 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.804 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.804 * [taylor]: Taking taylor expansion of y in y 2.804 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 2.804 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in x 2.804 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y) 1.0)) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2.804 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y) 1.0)) in x 2.804 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.804 * [taylor]: Taking taylor expansion of x in x 2.805 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 2.805 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.805 * [taylor]: Taking taylor expansion of y in x 2.805 * [taylor]: Taking taylor expansion of 1.0 in x 2.805 * [taylor]: Taking taylor expansion of (fma 0.5 (- (/ 1 y)) 0.918938533204673) in x 2.805 * [taylor]: Rewrote expression to (+ (* 0.5 (- (/ 1 y))) 0.918938533204673) 2.805 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y))) in x 2.805 * [taylor]: Taking taylor expansion of 0.5 in x 2.805 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 2.805 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.805 * [taylor]: Taking taylor expansion of y in x 2.805 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 2.805 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in x 2.805 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y) 1.0)) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2.805 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y) 1.0)) in x 2.805 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.805 * [taylor]: Taking taylor expansion of x in x 2.805 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 2.805 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.805 * [taylor]: Taking taylor expansion of y in x 2.805 * [taylor]: Taking taylor expansion of 1.0 in x 2.805 * [taylor]: Taking taylor expansion of (fma 0.5 (- (/ 1 y)) 0.918938533204673) in x 2.806 * [taylor]: Rewrote expression to (+ (* 0.5 (- (/ 1 y))) 0.918938533204673) 2.806 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y))) in x 2.806 * [taylor]: Taking taylor expansion of 0.5 in x 2.806 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 2.806 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.806 * [taylor]: Taking taylor expansion of y in x 2.806 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 2.806 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 2.806 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.806 * [taylor]: Taking taylor expansion of y in y 2.807 * [taylor]: Taking taylor expansion of 1.0 in y 2.808 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 (/ 1 y))) in y 2.808 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 2.808 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 2.808 * [taylor]: Taking taylor expansion of 0.5 in y 2.808 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.809 * [taylor]: Taking taylor expansion of y in y 2.812 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in (x y) around 0 2.812 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in y 2.812 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ (/ 1 y) 1.0))) (fma 0.5 (/ 1 y) 0.918938533204673)) 2.812 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ (/ 1 y) 1.0))) in y 2.813 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.813 * [taylor]: Taking taylor expansion of -1 in y 2.813 * [taylor]: Taking taylor expansion of x in y 2.813 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in y 2.813 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 2.813 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.813 * [taylor]: Taking taylor expansion of y in y 2.813 * [taylor]: Taking taylor expansion of 1.0 in y 2.813 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 y) 0.918938533204673) in y 2.813 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 y)) 0.918938533204673) 2.813 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 2.813 * [taylor]: Taking taylor expansion of 0.5 in y 2.813 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.813 * [taylor]: Taking taylor expansion of y in y 2.813 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 2.813 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in x 2.814 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ (/ 1 y) 1.0))) (fma 0.5 (/ 1 y) 0.918938533204673)) 2.814 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ (/ 1 y) 1.0))) in x 2.814 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.814 * [taylor]: Taking taylor expansion of -1 in x 2.814 * [taylor]: Taking taylor expansion of x in x 2.814 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in x 2.814 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 2.814 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.814 * [taylor]: Taking taylor expansion of y in x 2.814 * [taylor]: Taking taylor expansion of 1.0 in x 2.814 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 y) 0.918938533204673) in x 2.814 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 y)) 0.918938533204673) 2.814 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 2.814 * [taylor]: Taking taylor expansion of 0.5 in x 2.814 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.814 * [taylor]: Taking taylor expansion of y in x 2.814 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 2.814 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in x 2.814 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ (/ 1 y) 1.0))) (fma 0.5 (/ 1 y) 0.918938533204673)) 2.814 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ (/ 1 y) 1.0))) in x 2.814 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.814 * [taylor]: Taking taylor expansion of -1 in x 2.814 * [taylor]: Taking taylor expansion of x in x 2.815 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in x 2.815 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 2.815 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.815 * [taylor]: Taking taylor expansion of y in x 2.815 * [taylor]: Taking taylor expansion of 1.0 in x 2.815 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 y) 0.918938533204673) in x 2.815 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 y)) 0.918938533204673) 2.815 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 2.815 * [taylor]: Taking taylor expansion of 0.5 in x 2.815 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.815 * [taylor]: Taking taylor expansion of y in x 2.815 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 2.815 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 2.815 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.815 * [taylor]: Taking taylor expansion of y in y 2.816 * [taylor]: Taking taylor expansion of 1.0 in y 2.817 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) 0.918938533204673) in y 2.817 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 2.817 * [taylor]: Taking taylor expansion of 0.5 in y 2.817 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.817 * [taylor]: Taking taylor expansion of y in y 2.818 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 2.819 * * * [progress]: simplifying candidates 2.820 * [simplify]: Simplifying using # : (expm1 (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3))) (log1p (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3))) (log (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3))) (exp (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3))) (cbrt (pow (* (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) 3)) (cbrt (pow (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 3)) (cbrt (pow (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 3)) (cbrt (pow (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 3)) (cbrt (pow 1 3)) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3)) (cbrt (* (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3)) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3)))) (cbrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3))) (cbrt (pow (* (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) 3)) (cbrt (pow (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 3)) (cbrt (pow (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 3)) (cbrt (pow (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 3)) (cbrt (pow 1 3)) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (* (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (sqrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3))) (cbrt (sqrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3))) (cbrt 1) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3)) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (/ 3 2))) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (/ 3 2))) (* (cbrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3))) (cbrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3)))) (cbrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3))) (* (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3)) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3))) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3))) (sqrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3))) (sqrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3))) (expm1 (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3)) (log1p (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3)) (* (log (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 3) (* (log (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 3) (* 1 3) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (* (cbrt 3) (cbrt 3))) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (sqrt 3)) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 1) (pow (* (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) 3) (pow (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 3) (pow (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 3) (pow (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 3) (pow 1 3) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3) (* (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (log (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3)) (exp (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3)) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3)) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3))) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3)) (* (* (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3)) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3)) (pow (* (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) 3) (pow (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 3) (pow (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 3) (pow (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 3) (pow 1 3) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3) (* (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (sqrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3)) (sqrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3)) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (/ 3 2)) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (/ 3 2)) (expm1 (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (log1p (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (* x (- y 1.0)) (log (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (exp (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (* (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (* (* (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (- 0.918938533204673 (+ (* 1.0 x) (* 0.5 y))) (- (* x y) (+ (* 1.0 x) (* 0.5 y))) (- (* x y) (+ (* 1.0 x) (* 0.5 y))) (- 0.7759958320417896 (+ (* 2.533344083425068 x) (* 1.266672041712534 y))) (- (* (pow x 3) (pow y 3)) (+ (* 3.0 (* (pow x 3) (pow y 2))) (* 1.5 (* (pow x 2) (pow y 3))))) (- (* (pow x 3) (pow y 3)) (+ (* 3.0 (* (pow x 3) (pow y 2))) (* 1.5 (* (pow x 2) (pow y 3))))) (- 0.918938533204673 (+ (* 1.0 x) (* 0.5 y))) (- (* x y) (+ (* 1.0 x) (* 0.5 y))) (- (* x y) (+ (* 1.0 x) (* 0.5 y))) 2.824 * * [simplify]: iteration 0 : 89 enodes (cost 1235 ) 2.842 * * [simplify]: iteration 1 : 192 enodes (cost 1045 ) 2.885 * * [simplify]: iteration 2 : 570 enodes (cost 922 ) 3.264 * * [simplify]: iteration 3 : 3192 enodes (cost 912 ) 4.797 * * [simplify]: iteration done : 5000 enodes (cost 912 ) 4.798 * [simplify]: Simplified to: (expm1 (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (log1p (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (log (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (exp (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 1 (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 1 (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (sqrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3))) (cbrt (sqrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3))) 1 (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3/2)) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3/2)) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3) (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (expm1 (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3)) (log1p (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3)) (log (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3)) (log (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3)) 3 (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (* (cbrt 3) (cbrt 3))) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (sqrt 3)) (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2) (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (pow (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 3) (pow (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 3) 1 (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2) (log (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3)) (exp (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3)) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2) (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (pow (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3) 3) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2) (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (pow (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 3) (pow (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 3) 1 (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2) (sqrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3)) (sqrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3)) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3/2) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3/2) (expm1 (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (log1p (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (* x (- y 1.0)) (log (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (exp (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 3) (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (- 0.918938533204673 (fma 1.0 x (* 0.5 y))) (- (* x (- y 1.0)) (* 0.5 y)) (- (* x (- y 1.0)) (* 0.5 y)) (- 0.7759958320417896 (fma 2.533344083425068 x (* 1.266672041712534 y))) (- (* (* (pow x 2) (pow y 3)) (- x 1.5)) (* 3.0 (* (pow x 3) (pow y 2)))) (- (* (* (pow x 2) (pow y 3)) (- x 1.5)) (* 3.0 (* (pow x 3) (pow y 2)))) (- 0.918938533204673 (fma 1.0 x (* 0.5 y))) (- (* x (- y 1.0)) (* 0.5 y)) (- (* x (- y 1.0)) (* 0.5 y)) 4.798 * * * [progress]: adding candidates to table 4.953 * * [progress]: iteration 3 / 4 4.954 * * * [progress]: picking best candidate 4.957 * * * * [pick]: Picked # 4.957 * * * [progress]: localizing error 4.970 * * * [progress]: generating rewritten candidates 4.970 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 4.972 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 4.972 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 4.981 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 4.985 * * * [progress]: generating series expansions 4.985 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 4.985 * [approximate]: Taking taylor expansion of (pow (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2) 1/3) in (x y) around 0 4.986 * [taylor]: Taking taylor expansion of (pow (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2) 1/3) in y 4.986 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)))) in y 4.986 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) in y 4.986 * [taylor]: Taking taylor expansion of 1/3 in y 4.986 * [taylor]: Taking taylor expansion of (log (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) in y 4.986 * [taylor]: Taking taylor expansion of (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2) in y 4.986 * [taylor]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in y 4.986 * [taylor]: Rewrote expression to (+ (* x (- y 1.0)) (fma 0.5 (- y) 0.918938533204673)) 4.986 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in y 4.986 * [taylor]: Taking taylor expansion of x in y 4.986 * [taylor]: Taking taylor expansion of (- y 1.0) in y 4.986 * [taylor]: Taking taylor expansion of y in y 4.986 * [taylor]: Taking taylor expansion of 1.0 in y 4.986 * [taylor]: Taking taylor expansion of (fma 0.5 (- y) 0.918938533204673) in y 4.986 * [taylor]: Rewrote expression to (+ (* 0.5 (- y)) 0.918938533204673) 4.986 * [taylor]: Taking taylor expansion of (* 0.5 (- y)) in y 4.986 * [taylor]: Taking taylor expansion of 0.5 in y 4.986 * [taylor]: Taking taylor expansion of (- y) in y 4.986 * [taylor]: Taking taylor expansion of y in y 4.986 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 4.989 * [taylor]: Taking taylor expansion of (pow (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2) 1/3) in x 4.989 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)))) in x 4.989 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) in x 4.989 * [taylor]: Taking taylor expansion of 1/3 in x 4.989 * [taylor]: Taking taylor expansion of (log (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) in x 4.989 * [taylor]: Taking taylor expansion of (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2) in x 4.989 * [taylor]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in x 4.989 * [taylor]: Rewrote expression to (+ (* x (- y 1.0)) (fma 0.5 (- y) 0.918938533204673)) 4.989 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in x 4.989 * [taylor]: Taking taylor expansion of x in x 4.989 * [taylor]: Taking taylor expansion of (- y 1.0) in x 4.989 * [taylor]: Taking taylor expansion of y in x 4.989 * [taylor]: Taking taylor expansion of 1.0 in x 4.989 * [taylor]: Taking taylor expansion of (fma 0.5 (- y) 0.918938533204673) in x 4.989 * [taylor]: Rewrote expression to (+ (* 0.5 (- y)) 0.918938533204673) 4.989 * [taylor]: Taking taylor expansion of (* 0.5 (- y)) in x 4.989 * [taylor]: Taking taylor expansion of 0.5 in x 4.989 * [taylor]: Taking taylor expansion of (- y) in x 4.989 * [taylor]: Taking taylor expansion of y in x 4.989 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 4.990 * [taylor]: Taking taylor expansion of (pow (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2) 1/3) in x 4.990 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)))) in x 4.991 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) in x 4.991 * [taylor]: Taking taylor expansion of 1/3 in x 4.991 * [taylor]: Taking taylor expansion of (log (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) in x 4.991 * [taylor]: Taking taylor expansion of (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2) in x 4.991 * [taylor]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in x 4.991 * [taylor]: Rewrote expression to (+ (* x (- y 1.0)) (fma 0.5 (- y) 0.918938533204673)) 4.991 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in x 4.991 * [taylor]: Taking taylor expansion of x in x 4.991 * [taylor]: Taking taylor expansion of (- y 1.0) in x 4.991 * [taylor]: Taking taylor expansion of y in x 4.991 * [taylor]: Taking taylor expansion of 1.0 in x 4.991 * [taylor]: Taking taylor expansion of (fma 0.5 (- y) 0.918938533204673) in x 4.991 * [taylor]: Rewrote expression to (+ (* 0.5 (- y)) 0.918938533204673) 4.991 * [taylor]: Taking taylor expansion of (* 0.5 (- y)) in x 4.991 * [taylor]: Taking taylor expansion of 0.5 in x 4.991 * [taylor]: Taking taylor expansion of (- y) in x 4.991 * [taylor]: Taking taylor expansion of y in x 4.991 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 4.992 * [taylor]: Taking taylor expansion of (pow (pow (- 0.918938533204673 (* 0.5 y)) 2) 1/3) in y 4.992 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 0.918938533204673 (* 0.5 y)) 2)))) in y 4.992 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 0.918938533204673 (* 0.5 y)) 2))) in y 4.992 * [taylor]: Taking taylor expansion of 1/3 in y 4.992 * [taylor]: Taking taylor expansion of (log (pow (- 0.918938533204673 (* 0.5 y)) 2)) in y 4.992 * [taylor]: Taking taylor expansion of (pow (- 0.918938533204673 (* 0.5 y)) 2) in y 4.992 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 y)) in y 4.992 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 4.992 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 4.992 * [taylor]: Taking taylor expansion of 0.5 in y 4.992 * [taylor]: Taking taylor expansion of y in y 4.999 * [taylor]: Taking taylor expansion of (* (- (* 0.9459590221364487 (/ y (pow (- 0.918938533204673 (* 0.5 y)) 2))) (+ (* 0.3333333333333333 (/ (pow y 2) (pow (- 0.918938533204673 (* 0.5 y)) 2))) (* 0.6126256888031153 (/ 1 (pow (- 0.918938533204673 (* 0.5 y)) 2))))) (pow (pow (- 0.918938533204673 (* 0.5 y)) 2) 1/3)) in y 4.999 * [taylor]: Taking taylor expansion of (- (* 0.9459590221364487 (/ y (pow (- 0.918938533204673 (* 0.5 y)) 2))) (+ (* 0.3333333333333333 (/ (pow y 2) (pow (- 0.918938533204673 (* 0.5 y)) 2))) (* 0.6126256888031153 (/ 1 (pow (- 0.918938533204673 (* 0.5 y)) 2))))) in y 4.999 * [taylor]: Taking taylor expansion of (* 0.9459590221364487 (/ y (pow (- 0.918938533204673 (* 0.5 y)) 2))) in y 4.999 * [taylor]: Taking taylor expansion of 0.9459590221364487 in y 4.999 * [taylor]: Taking taylor expansion of (/ y (pow (- 0.918938533204673 (* 0.5 y)) 2)) in y 4.999 * [taylor]: Taking taylor expansion of y in y 4.999 * [taylor]: Taking taylor expansion of (pow (- 0.918938533204673 (* 0.5 y)) 2) in y 4.999 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 y)) in y 4.999 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 4.999 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 4.999 * [taylor]: Taking taylor expansion of 0.5 in y 4.999 * [taylor]: Taking taylor expansion of y in y 5.000 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (pow y 2) (pow (- 0.918938533204673 (* 0.5 y)) 2))) (* 0.6126256888031153 (/ 1 (pow (- 0.918938533204673 (* 0.5 y)) 2)))) in y 5.000 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (pow y 2) (pow (- 0.918938533204673 (* 0.5 y)) 2))) in y 5.000 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 5.000 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow (- 0.918938533204673 (* 0.5 y)) 2)) in y 5.000 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.000 * [taylor]: Taking taylor expansion of y in y 5.000 * [taylor]: Taking taylor expansion of (pow (- 0.918938533204673 (* 0.5 y)) 2) in y 5.001 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 y)) in y 5.001 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 5.001 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 5.001 * [taylor]: Taking taylor expansion of 0.5 in y 5.001 * [taylor]: Taking taylor expansion of y in y 5.002 * [taylor]: Taking taylor expansion of (* 0.6126256888031153 (/ 1 (pow (- 0.918938533204673 (* 0.5 y)) 2))) in y 5.002 * [taylor]: Taking taylor expansion of 0.6126256888031153 in y 5.002 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 0.918938533204673 (* 0.5 y)) 2)) in y 5.002 * [taylor]: Taking taylor expansion of (pow (- 0.918938533204673 (* 0.5 y)) 2) in y 5.002 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 y)) in y 5.002 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 5.002 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 5.002 * [taylor]: Taking taylor expansion of 0.5 in y 5.002 * [taylor]: Taking taylor expansion of y in y 5.003 * [taylor]: Taking taylor expansion of (pow (pow (- 0.918938533204673 (* 0.5 y)) 2) 1/3) in y 5.003 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 0.918938533204673 (* 0.5 y)) 2)))) in y 5.004 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 0.918938533204673 (* 0.5 y)) 2))) in y 5.004 * [taylor]: Taking taylor expansion of 1/3 in y 5.004 * [taylor]: Taking taylor expansion of (log (pow (- 0.918938533204673 (* 0.5 y)) 2)) in y 5.004 * [taylor]: Taking taylor expansion of (pow (- 0.918938533204673 (* 0.5 y)) 2) in y 5.004 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 y)) in y 5.004 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 5.004 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 5.004 * [taylor]: Taking taylor expansion of 0.5 in y 5.004 * [taylor]: Taking taylor expansion of y in y 5.028 * [approximate]: Taking taylor expansion of (pow (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2) 1/3) in (x y) around 0 5.028 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2) 1/3) in y 5.028 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2)))) in y 5.028 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2))) in y 5.028 * [taylor]: Taking taylor expansion of 1/3 in y 5.028 * [taylor]: Taking taylor expansion of (log (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2)) in y 5.028 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2) in y 5.028 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in y 5.028 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y) 1.0)) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 5.028 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y) 1.0)) in y 5.028 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.028 * [taylor]: Taking taylor expansion of x in y 5.028 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 5.028 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.028 * [taylor]: Taking taylor expansion of y in y 5.028 * [taylor]: Taking taylor expansion of 1.0 in y 5.028 * [taylor]: Taking taylor expansion of (fma 0.5 (- (/ 1 y)) 0.918938533204673) in y 5.029 * [taylor]: Rewrote expression to (+ (* 0.5 (- (/ 1 y))) 0.918938533204673) 5.029 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y))) in y 5.029 * [taylor]: Taking taylor expansion of 0.5 in y 5.029 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 5.029 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.029 * [taylor]: Taking taylor expansion of y in y 5.029 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 5.031 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2) 1/3) in x 5.031 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2)))) in x 5.031 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2))) in x 5.031 * [taylor]: Taking taylor expansion of 1/3 in x 5.031 * [taylor]: Taking taylor expansion of (log (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2)) in x 5.031 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2) in x 5.031 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in x 5.031 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y) 1.0)) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 5.031 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y) 1.0)) in x 5.031 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.031 * [taylor]: Taking taylor expansion of x in x 5.032 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 5.032 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.032 * [taylor]: Taking taylor expansion of y in x 5.032 * [taylor]: Taking taylor expansion of 1.0 in x 5.032 * [taylor]: Taking taylor expansion of (fma 0.5 (- (/ 1 y)) 0.918938533204673) in x 5.032 * [taylor]: Rewrote expression to (+ (* 0.5 (- (/ 1 y))) 0.918938533204673) 5.032 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y))) in x 5.032 * [taylor]: Taking taylor expansion of 0.5 in x 5.032 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 5.032 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.032 * [taylor]: Taking taylor expansion of y in x 5.032 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.033 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2) 1/3) in x 5.033 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2)))) in x 5.033 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2))) in x 5.033 * [taylor]: Taking taylor expansion of 1/3 in x 5.033 * [taylor]: Taking taylor expansion of (log (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2)) in x 5.033 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2) in x 5.033 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in x 5.034 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y) 1.0)) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 5.034 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y) 1.0)) in x 5.034 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.034 * [taylor]: Taking taylor expansion of x in x 5.034 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 5.034 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.034 * [taylor]: Taking taylor expansion of y in x 5.034 * [taylor]: Taking taylor expansion of 1.0 in x 5.034 * [taylor]: Taking taylor expansion of (fma 0.5 (- (/ 1 y)) 0.918938533204673) in x 5.034 * [taylor]: Rewrote expression to (+ (* 0.5 (- (/ 1 y))) 0.918938533204673) 5.034 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y))) in x 5.034 * [taylor]: Taking taylor expansion of 0.5 in x 5.034 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 5.034 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.034 * [taylor]: Taking taylor expansion of y in x 5.034 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.036 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (- (/ 1 y) 1.0) 2)) (* 2 (log x))))) in y 5.036 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (- (/ 1 y) 1.0) 2)) (* 2 (log x)))) in y 5.036 * [taylor]: Taking taylor expansion of 1/3 in y 5.036 * [taylor]: Taking taylor expansion of (- (log (pow (- (/ 1 y) 1.0) 2)) (* 2 (log x))) in y 5.036 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 y) 1.0) 2)) in y 5.036 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) 1.0) 2) in y 5.036 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 5.036 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.036 * [taylor]: Taking taylor expansion of y in y 5.036 * [taylor]: Taking taylor expansion of 1.0 in y 5.037 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 5.037 * [taylor]: Taking taylor expansion of 2 in y 5.037 * [taylor]: Taking taylor expansion of (log x) in y 5.037 * [taylor]: Taking taylor expansion of x in y 5.042 * [taylor]: Taking taylor expansion of (* (- (* 0.9459590221364487 (/ 1 (* y (pow (- (/ 1 y) 1.0) 2)))) (+ (* 0.3333333333333333 (/ 1 (* (pow y 2) (pow (- (/ 1 y) 1.0) 2)))) (* 0.6126256888031153 (/ 1 (pow (- (/ 1 y) 1.0) 2))))) (exp (* 1/3 (- (log (pow (- (/ 1 y) 1.0) 2)) (* 2 (log x)))))) in y 5.042 * [taylor]: Taking taylor expansion of (- (* 0.9459590221364487 (/ 1 (* y (pow (- (/ 1 y) 1.0) 2)))) (+ (* 0.3333333333333333 (/ 1 (* (pow y 2) (pow (- (/ 1 y) 1.0) 2)))) (* 0.6126256888031153 (/ 1 (pow (- (/ 1 y) 1.0) 2))))) in y 5.042 * [taylor]: Taking taylor expansion of (* 0.9459590221364487 (/ 1 (* y (pow (- (/ 1 y) 1.0) 2)))) in y 5.042 * [taylor]: Taking taylor expansion of 0.9459590221364487 in y 5.042 * [taylor]: Taking taylor expansion of (/ 1 (* y (pow (- (/ 1 y) 1.0) 2))) in y 5.042 * [taylor]: Taking taylor expansion of (* y (pow (- (/ 1 y) 1.0) 2)) in y 5.042 * [taylor]: Taking taylor expansion of y in y 5.042 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) 1.0) 2) in y 5.042 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 5.042 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.042 * [taylor]: Taking taylor expansion of y in y 5.043 * [taylor]: Taking taylor expansion of 1.0 in y 5.047 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 (* (pow y 2) (pow (- (/ 1 y) 1.0) 2)))) (* 0.6126256888031153 (/ 1 (pow (- (/ 1 y) 1.0) 2)))) in y 5.047 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 (* (pow y 2) (pow (- (/ 1 y) 1.0) 2)))) in y 5.047 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 5.047 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (pow (- (/ 1 y) 1.0) 2))) in y 5.047 * [taylor]: Taking taylor expansion of (* (pow y 2) (pow (- (/ 1 y) 1.0) 2)) in y 5.047 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.047 * [taylor]: Taking taylor expansion of y in y 5.047 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) 1.0) 2) in y 5.047 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 5.047 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.047 * [taylor]: Taking taylor expansion of y in y 5.047 * [taylor]: Taking taylor expansion of 1.0 in y 5.048 * [taylor]: Taking taylor expansion of (* 0.6126256888031153 (/ 1 (pow (- (/ 1 y) 1.0) 2))) in y 5.048 * [taylor]: Taking taylor expansion of 0.6126256888031153 in y 5.048 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (/ 1 y) 1.0) 2)) in y 5.048 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) 1.0) 2) in y 5.048 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 5.048 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.049 * [taylor]: Taking taylor expansion of y in y 5.049 * [taylor]: Taking taylor expansion of 1.0 in y 5.049 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (- (/ 1 y) 1.0) 2)) (* 2 (log x))))) in y 5.050 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (- (/ 1 y) 1.0) 2)) (* 2 (log x)))) in y 5.050 * [taylor]: Taking taylor expansion of 1/3 in y 5.050 * [taylor]: Taking taylor expansion of (- (log (pow (- (/ 1 y) 1.0) 2)) (* 2 (log x))) in y 5.050 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 y) 1.0) 2)) in y 5.050 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) 1.0) 2) in y 5.050 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 5.050 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.050 * [taylor]: Taking taylor expansion of y in y 5.050 * [taylor]: Taking taylor expansion of 1.0 in y 5.051 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 5.051 * [taylor]: Taking taylor expansion of 2 in y 5.051 * [taylor]: Taking taylor expansion of (log x) in y 5.051 * [taylor]: Taking taylor expansion of x in y 5.065 * [approximate]: Taking taylor expansion of (pow (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 2) 1/3) in (x y) around 0 5.065 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 2) 1/3) in y 5.065 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 2)))) in y 5.065 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 2))) in y 5.065 * [taylor]: Taking taylor expansion of 1/3 in y 5.065 * [taylor]: Taking taylor expansion of (log (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 2)) in y 5.065 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 2) in y 5.065 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in y 5.065 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ (/ 1 y) 1.0))) (fma 0.5 (/ 1 y) 0.918938533204673)) 5.065 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ (/ 1 y) 1.0))) in y 5.065 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.065 * [taylor]: Taking taylor expansion of -1 in y 5.065 * [taylor]: Taking taylor expansion of x in y 5.065 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in y 5.065 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 5.065 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.065 * [taylor]: Taking taylor expansion of y in y 5.066 * [taylor]: Taking taylor expansion of 1.0 in y 5.066 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 y) 0.918938533204673) in y 5.066 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 y)) 0.918938533204673) 5.066 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 5.066 * [taylor]: Taking taylor expansion of 0.5 in y 5.066 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.066 * [taylor]: Taking taylor expansion of y in y 5.066 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 5.068 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 2) 1/3) in x 5.068 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 2)))) in x 5.068 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 2))) in x 5.068 * [taylor]: Taking taylor expansion of 1/3 in x 5.068 * [taylor]: Taking taylor expansion of (log (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 2)) in x 5.068 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 2) in x 5.068 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in x 5.068 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ (/ 1 y) 1.0))) (fma 0.5 (/ 1 y) 0.918938533204673)) 5.068 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ (/ 1 y) 1.0))) in x 5.068 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.068 * [taylor]: Taking taylor expansion of -1 in x 5.068 * [taylor]: Taking taylor expansion of x in x 5.069 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in x 5.069 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 5.069 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.069 * [taylor]: Taking taylor expansion of y in x 5.069 * [taylor]: Taking taylor expansion of 1.0 in x 5.069 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 y) 0.918938533204673) in x 5.069 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 y)) 0.918938533204673) 5.069 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 5.069 * [taylor]: Taking taylor expansion of 0.5 in x 5.069 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.069 * [taylor]: Taking taylor expansion of y in x 5.069 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.070 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 2) 1/3) in x 5.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 2)))) in x 5.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 2))) in x 5.070 * [taylor]: Taking taylor expansion of 1/3 in x 5.070 * [taylor]: Taking taylor expansion of (log (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 2)) in x 5.070 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 2) in x 5.070 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in x 5.070 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ (/ 1 y) 1.0))) (fma 0.5 (/ 1 y) 0.918938533204673)) 5.070 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ (/ 1 y) 1.0))) in x 5.070 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.070 * [taylor]: Taking taylor expansion of -1 in x 5.070 * [taylor]: Taking taylor expansion of x in x 5.071 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in x 5.071 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 5.071 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.071 * [taylor]: Taking taylor expansion of y in x 5.071 * [taylor]: Taking taylor expansion of 1.0 in x 5.071 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 y) 0.918938533204673) in x 5.071 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 y)) 0.918938533204673) 5.071 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 5.071 * [taylor]: Taking taylor expansion of 0.5 in x 5.071 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.071 * [taylor]: Taking taylor expansion of y in x 5.071 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.072 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (+ (/ 1 y) 1.0) 2)) (* 2 (log x))))) in y 5.072 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (+ (/ 1 y) 1.0) 2)) (* 2 (log x)))) in y 5.072 * [taylor]: Taking taylor expansion of 1/3 in y 5.072 * [taylor]: Taking taylor expansion of (- (log (pow (+ (/ 1 y) 1.0) 2)) (* 2 (log x))) in y 5.072 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 y) 1.0) 2)) in y 5.072 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 1.0) 2) in y 5.072 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 5.072 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.072 * [taylor]: Taking taylor expansion of y in y 5.072 * [taylor]: Taking taylor expansion of 1.0 in y 5.073 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 5.073 * [taylor]: Taking taylor expansion of 2 in y 5.073 * [taylor]: Taking taylor expansion of (log x) in y 5.073 * [taylor]: Taking taylor expansion of x in y 5.078 * [taylor]: Taking taylor expansion of (* (+ (* 0.3333333333333333 (/ 1 (* (pow (+ (/ 1 y) 1.0) 2) (pow y 2)))) (+ (* 0.6126256888031153 (/ 1 (pow (+ (/ 1 y) 1.0) 2))) (* 0.9459590221364487 (/ 1 (* (pow (+ (/ 1 y) 1.0) 2) y))))) (exp (* 1/3 (- (log (pow (+ (/ 1 y) 1.0) 2)) (* 2 (log x)))))) in y 5.078 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 (* (pow (+ (/ 1 y) 1.0) 2) (pow y 2)))) (+ (* 0.6126256888031153 (/ 1 (pow (+ (/ 1 y) 1.0) 2))) (* 0.9459590221364487 (/ 1 (* (pow (+ (/ 1 y) 1.0) 2) y))))) in y 5.078 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 (* (pow (+ (/ 1 y) 1.0) 2) (pow y 2)))) in y 5.078 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 5.078 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 y) 1.0) 2) (pow y 2))) in y 5.078 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 y) 1.0) 2) (pow y 2)) in y 5.078 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 1.0) 2) in y 5.078 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 5.078 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.078 * [taylor]: Taking taylor expansion of y in y 5.078 * [taylor]: Taking taylor expansion of 1.0 in y 5.079 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.079 * [taylor]: Taking taylor expansion of y in y 5.080 * [taylor]: Taking taylor expansion of (+ (* 0.6126256888031153 (/ 1 (pow (+ (/ 1 y) 1.0) 2))) (* 0.9459590221364487 (/ 1 (* (pow (+ (/ 1 y) 1.0) 2) y)))) in y 5.080 * [taylor]: Taking taylor expansion of (* 0.6126256888031153 (/ 1 (pow (+ (/ 1 y) 1.0) 2))) in y 5.080 * [taylor]: Taking taylor expansion of 0.6126256888031153 in y 5.080 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (/ 1 y) 1.0) 2)) in y 5.080 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 1.0) 2) in y 5.080 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 5.080 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.080 * [taylor]: Taking taylor expansion of y in y 5.080 * [taylor]: Taking taylor expansion of 1.0 in y 5.081 * [taylor]: Taking taylor expansion of (* 0.9459590221364487 (/ 1 (* (pow (+ (/ 1 y) 1.0) 2) y))) in y 5.081 * [taylor]: Taking taylor expansion of 0.9459590221364487 in y 5.081 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 y) 1.0) 2) y)) in y 5.081 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 y) 1.0) 2) y) in y 5.081 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 1.0) 2) in y 5.081 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 5.081 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.081 * [taylor]: Taking taylor expansion of y in y 5.081 * [taylor]: Taking taylor expansion of 1.0 in y 5.081 * [taylor]: Taking taylor expansion of y in y 5.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (+ (/ 1 y) 1.0) 2)) (* 2 (log x))))) in y 5.084 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (+ (/ 1 y) 1.0) 2)) (* 2 (log x)))) in y 5.084 * [taylor]: Taking taylor expansion of 1/3 in y 5.084 * [taylor]: Taking taylor expansion of (- (log (pow (+ (/ 1 y) 1.0) 2)) (* 2 (log x))) in y 5.084 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 y) 1.0) 2)) in y 5.084 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 1.0) 2) in y 5.084 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 5.084 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.084 * [taylor]: Taking taylor expansion of y in y 5.085 * [taylor]: Taking taylor expansion of 1.0 in y 5.085 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 5.085 * [taylor]: Taking taylor expansion of 2 in y 5.085 * [taylor]: Taking taylor expansion of (log x) in y 5.085 * [taylor]: Taking taylor expansion of x in y 5.096 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 5.096 * [approximate]: Taking taylor expansion of (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 1/3) in (x y) around 0 5.096 * [taylor]: Taking taylor expansion of (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 1/3) in y 5.096 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) in y 5.096 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) in y 5.096 * [taylor]: Taking taylor expansion of 1/3 in y 5.096 * [taylor]: Taking taylor expansion of (log (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) in y 5.099 * [taylor]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in y 5.099 * [taylor]: Rewrote expression to (+ (* x (- y 1.0)) (fma 0.5 (- y) 0.918938533204673)) 5.099 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in y 5.099 * [taylor]: Taking taylor expansion of x in y 5.099 * [taylor]: Taking taylor expansion of (- y 1.0) in y 5.099 * [taylor]: Taking taylor expansion of y in y 5.099 * [taylor]: Taking taylor expansion of 1.0 in y 5.099 * [taylor]: Taking taylor expansion of (fma 0.5 (- y) 0.918938533204673) in y 5.099 * [taylor]: Rewrote expression to (+ (* 0.5 (- y)) 0.918938533204673) 5.099 * [taylor]: Taking taylor expansion of (* 0.5 (- y)) in y 5.099 * [taylor]: Taking taylor expansion of 0.5 in y 5.099 * [taylor]: Taking taylor expansion of (- y) in y 5.099 * [taylor]: Taking taylor expansion of y in y 5.099 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 5.102 * [taylor]: Taking taylor expansion of (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 1/3) in x 5.102 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) in x 5.102 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) in x 5.102 * [taylor]: Taking taylor expansion of 1/3 in x 5.102 * [taylor]: Taking taylor expansion of (log (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) in x 5.102 * [taylor]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in x 5.102 * [taylor]: Rewrote expression to (+ (* x (- y 1.0)) (fma 0.5 (- y) 0.918938533204673)) 5.102 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in x 5.102 * [taylor]: Taking taylor expansion of x in x 5.102 * [taylor]: Taking taylor expansion of (- y 1.0) in x 5.102 * [taylor]: Taking taylor expansion of y in x 5.102 * [taylor]: Taking taylor expansion of 1.0 in x 5.102 * [taylor]: Taking taylor expansion of (fma 0.5 (- y) 0.918938533204673) in x 5.102 * [taylor]: Rewrote expression to (+ (* 0.5 (- y)) 0.918938533204673) 5.102 * [taylor]: Taking taylor expansion of (* 0.5 (- y)) in x 5.102 * [taylor]: Taking taylor expansion of 0.5 in x 5.102 * [taylor]: Taking taylor expansion of (- y) in x 5.102 * [taylor]: Taking taylor expansion of y in x 5.102 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.103 * [taylor]: Taking taylor expansion of (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 1/3) in x 5.103 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) in x 5.103 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) in x 5.103 * [taylor]: Taking taylor expansion of 1/3 in x 5.103 * [taylor]: Taking taylor expansion of (log (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) in x 5.103 * [taylor]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in x 5.103 * [taylor]: Rewrote expression to (+ (* x (- y 1.0)) (fma 0.5 (- y) 0.918938533204673)) 5.103 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in x 5.103 * [taylor]: Taking taylor expansion of x in x 5.103 * [taylor]: Taking taylor expansion of (- y 1.0) in x 5.103 * [taylor]: Taking taylor expansion of y in x 5.103 * [taylor]: Taking taylor expansion of 1.0 in x 5.103 * [taylor]: Taking taylor expansion of (fma 0.5 (- y) 0.918938533204673) in x 5.103 * [taylor]: Rewrote expression to (+ (* 0.5 (- y)) 0.918938533204673) 5.103 * [taylor]: Taking taylor expansion of (* 0.5 (- y)) in x 5.104 * [taylor]: Taking taylor expansion of 0.5 in x 5.104 * [taylor]: Taking taylor expansion of (- y) in x 5.104 * [taylor]: Taking taylor expansion of y in x 5.104 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.104 * [taylor]: Taking taylor expansion of (pow (- 0.918938533204673 (* 0.5 y)) 1/3) in y 5.104 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 0.918938533204673 (* 0.5 y))))) in y 5.104 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 0.918938533204673 (* 0.5 y)))) in y 5.104 * [taylor]: Taking taylor expansion of 1/3 in y 5.104 * [taylor]: Taking taylor expansion of (log (- 0.918938533204673 (* 0.5 y))) in y 5.104 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 y)) in y 5.104 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 5.104 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 5.105 * [taylor]: Taking taylor expansion of 0.5 in y 5.105 * [taylor]: Taking taylor expansion of y in y 5.109 * [taylor]: Taking taylor expansion of (* (- (* 1/3 (/ y (- 0.918938533204673 (* 0.5 y)))) (* 0.3333333333333333 (/ 1 (- 0.918938533204673 (* 0.5 y))))) (pow (- 0.918938533204673 (* 0.5 y)) 1/3)) in y 5.110 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ y (- 0.918938533204673 (* 0.5 y)))) (* 0.3333333333333333 (/ 1 (- 0.918938533204673 (* 0.5 y))))) in y 5.110 * [taylor]: Taking taylor expansion of (* 1/3 (/ y (- 0.918938533204673 (* 0.5 y)))) in y 5.110 * [taylor]: Taking taylor expansion of 1/3 in y 5.110 * [taylor]: Taking taylor expansion of (/ y (- 0.918938533204673 (* 0.5 y))) in y 5.110 * [taylor]: Taking taylor expansion of y in y 5.110 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 y)) in y 5.110 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 5.110 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 5.110 * [taylor]: Taking taylor expansion of 0.5 in y 5.110 * [taylor]: Taking taylor expansion of y in y 5.111 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 (- 0.918938533204673 (* 0.5 y)))) in y 5.111 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 5.111 * [taylor]: Taking taylor expansion of (/ 1 (- 0.918938533204673 (* 0.5 y))) in y 5.111 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 y)) in y 5.111 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 5.111 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 5.111 * [taylor]: Taking taylor expansion of 0.5 in y 5.111 * [taylor]: Taking taylor expansion of y in y 5.112 * [taylor]: Taking taylor expansion of (pow (- 0.918938533204673 (* 0.5 y)) 1/3) in y 5.112 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 0.918938533204673 (* 0.5 y))))) in y 5.112 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 0.918938533204673 (* 0.5 y)))) in y 5.112 * [taylor]: Taking taylor expansion of 1/3 in y 5.112 * [taylor]: Taking taylor expansion of (log (- 0.918938533204673 (* 0.5 y))) in y 5.112 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 y)) in y 5.112 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 5.112 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 5.112 * [taylor]: Taking taylor expansion of 0.5 in y 5.112 * [taylor]: Taking taylor expansion of y in y 5.130 * [approximate]: Taking taylor expansion of (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 1/3) in (x y) around 0 5.130 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 1/3) in y 5.130 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673))))) in y 5.131 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)))) in y 5.131 * [taylor]: Taking taylor expansion of 1/3 in y 5.131 * [taylor]: Taking taylor expansion of (log (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673))) in y 5.131 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in y 5.131 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y) 1.0)) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 5.131 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y) 1.0)) in y 5.131 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.131 * [taylor]: Taking taylor expansion of x in y 5.131 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 5.131 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.131 * [taylor]: Taking taylor expansion of y in y 5.131 * [taylor]: Taking taylor expansion of 1.0 in y 5.131 * [taylor]: Taking taylor expansion of (fma 0.5 (- (/ 1 y)) 0.918938533204673) in y 5.131 * [taylor]: Rewrote expression to (+ (* 0.5 (- (/ 1 y))) 0.918938533204673) 5.131 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y))) in y 5.131 * [taylor]: Taking taylor expansion of 0.5 in y 5.131 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 5.131 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.131 * [taylor]: Taking taylor expansion of y in y 5.132 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 5.133 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 1/3) in x 5.133 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673))))) in x 5.133 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)))) in x 5.133 * [taylor]: Taking taylor expansion of 1/3 in x 5.133 * [taylor]: Taking taylor expansion of (log (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673))) in x 5.133 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in x 5.134 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y) 1.0)) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 5.134 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y) 1.0)) in x 5.134 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.134 * [taylor]: Taking taylor expansion of x in x 5.134 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 5.134 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.134 * [taylor]: Taking taylor expansion of y in x 5.134 * [taylor]: Taking taylor expansion of 1.0 in x 5.134 * [taylor]: Taking taylor expansion of (fma 0.5 (- (/ 1 y)) 0.918938533204673) in x 5.134 * [taylor]: Rewrote expression to (+ (* 0.5 (- (/ 1 y))) 0.918938533204673) 5.134 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y))) in x 5.134 * [taylor]: Taking taylor expansion of 0.5 in x 5.134 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 5.134 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.134 * [taylor]: Taking taylor expansion of y in x 5.134 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.135 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 1/3) in x 5.135 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673))))) in x 5.135 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)))) in x 5.135 * [taylor]: Taking taylor expansion of 1/3 in x 5.135 * [taylor]: Taking taylor expansion of (log (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673))) in x 5.136 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in x 5.136 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y) 1.0)) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 5.136 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y) 1.0)) in x 5.136 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.136 * [taylor]: Taking taylor expansion of x in x 5.136 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 5.136 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.136 * [taylor]: Taking taylor expansion of y in x 5.136 * [taylor]: Taking taylor expansion of 1.0 in x 5.136 * [taylor]: Taking taylor expansion of (fma 0.5 (- (/ 1 y)) 0.918938533204673) in x 5.136 * [taylor]: Rewrote expression to (+ (* 0.5 (- (/ 1 y))) 0.918938533204673) 5.136 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y))) in x 5.136 * [taylor]: Taking taylor expansion of 0.5 in x 5.136 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 5.136 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.136 * [taylor]: Taking taylor expansion of y in x 5.136 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.137 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ 1 y) 1.0)) (log x)))) in y 5.137 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ 1 y) 1.0)) (log x))) in y 5.137 * [taylor]: Taking taylor expansion of 1/3 in y 5.137 * [taylor]: Taking taylor expansion of (- (log (- (/ 1 y) 1.0)) (log x)) in y 5.137 * [taylor]: Taking taylor expansion of (log (- (/ 1 y) 1.0)) in y 5.138 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 5.138 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.138 * [taylor]: Taking taylor expansion of y in y 5.138 * [taylor]: Taking taylor expansion of 1.0 in y 5.138 * [taylor]: Taking taylor expansion of (log x) in y 5.138 * [taylor]: Taking taylor expansion of x in y 5.142 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (- (/ 1 y) 1.0)) (log x)))) (- (* 0.30631284440155765 (/ 1 (- (/ 1 y) 1.0))) (* 0.16666666666666666 (/ 1 (* y (- (/ 1 y) 1.0)))))) in y 5.142 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ 1 y) 1.0)) (log x)))) in y 5.142 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ 1 y) 1.0)) (log x))) in y 5.142 * [taylor]: Taking taylor expansion of 1/3 in y 5.142 * [taylor]: Taking taylor expansion of (- (log (- (/ 1 y) 1.0)) (log x)) in y 5.142 * [taylor]: Taking taylor expansion of (log (- (/ 1 y) 1.0)) in y 5.142 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 5.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.142 * [taylor]: Taking taylor expansion of y in y 5.142 * [taylor]: Taking taylor expansion of 1.0 in y 5.143 * [taylor]: Taking taylor expansion of (log x) in y 5.143 * [taylor]: Taking taylor expansion of x in y 5.143 * [taylor]: Taking taylor expansion of (- (* 0.30631284440155765 (/ 1 (- (/ 1 y) 1.0))) (* 0.16666666666666666 (/ 1 (* y (- (/ 1 y) 1.0))))) in y 5.143 * [taylor]: Taking taylor expansion of (* 0.30631284440155765 (/ 1 (- (/ 1 y) 1.0))) in y 5.143 * [taylor]: Taking taylor expansion of 0.30631284440155765 in y 5.143 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 y) 1.0)) in y 5.143 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 5.143 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.143 * [taylor]: Taking taylor expansion of y in y 5.144 * [taylor]: Taking taylor expansion of 1.0 in y 5.144 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ 1 (* y (- (/ 1 y) 1.0)))) in y 5.144 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 5.144 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 y) 1.0))) in y 5.144 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) 1.0)) in y 5.144 * [taylor]: Taking taylor expansion of y in y 5.144 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 5.144 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.144 * [taylor]: Taking taylor expansion of y in y 5.145 * [taylor]: Taking taylor expansion of 1.0 in y 5.158 * [approximate]: Taking taylor expansion of (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 1/3) in (x y) around 0 5.158 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 1/3) in y 5.158 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673))))) in y 5.158 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)))) in y 5.158 * [taylor]: Taking taylor expansion of 1/3 in y 5.158 * [taylor]: Taking taylor expansion of (log (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673))) in y 5.158 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in y 5.159 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ (/ 1 y) 1.0))) (fma 0.5 (/ 1 y) 0.918938533204673)) 5.159 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ (/ 1 y) 1.0))) in y 5.159 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.159 * [taylor]: Taking taylor expansion of -1 in y 5.159 * [taylor]: Taking taylor expansion of x in y 5.159 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in y 5.159 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 5.159 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.159 * [taylor]: Taking taylor expansion of y in y 5.159 * [taylor]: Taking taylor expansion of 1.0 in y 5.159 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 y) 0.918938533204673) in y 5.159 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 y)) 0.918938533204673) 5.159 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 5.159 * [taylor]: Taking taylor expansion of 0.5 in y 5.159 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.159 * [taylor]: Taking taylor expansion of y in y 5.160 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 5.161 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 1/3) in x 5.161 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673))))) in x 5.162 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)))) in x 5.162 * [taylor]: Taking taylor expansion of 1/3 in x 5.162 * [taylor]: Taking taylor expansion of (log (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673))) in x 5.162 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in x 5.162 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ (/ 1 y) 1.0))) (fma 0.5 (/ 1 y) 0.918938533204673)) 5.162 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ (/ 1 y) 1.0))) in x 5.162 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.162 * [taylor]: Taking taylor expansion of -1 in x 5.162 * [taylor]: Taking taylor expansion of x in x 5.162 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in x 5.162 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 5.162 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.162 * [taylor]: Taking taylor expansion of y in x 5.162 * [taylor]: Taking taylor expansion of 1.0 in x 5.162 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 y) 0.918938533204673) in x 5.162 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 y)) 0.918938533204673) 5.162 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 5.162 * [taylor]: Taking taylor expansion of 0.5 in x 5.162 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.162 * [taylor]: Taking taylor expansion of y in x 5.162 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.163 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 1/3) in x 5.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673))))) in x 5.163 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)))) in x 5.163 * [taylor]: Taking taylor expansion of 1/3 in x 5.163 * [taylor]: Taking taylor expansion of (log (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673))) in x 5.163 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in x 5.163 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ (/ 1 y) 1.0))) (fma 0.5 (/ 1 y) 0.918938533204673)) 5.163 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ (/ 1 y) 1.0))) in x 5.163 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.163 * [taylor]: Taking taylor expansion of -1 in x 5.163 * [taylor]: Taking taylor expansion of x in x 5.164 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in x 5.164 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 5.164 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.164 * [taylor]: Taking taylor expansion of y in x 5.164 * [taylor]: Taking taylor expansion of 1.0 in x 5.164 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 y) 0.918938533204673) in x 5.164 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 y)) 0.918938533204673) 5.164 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 5.164 * [taylor]: Taking taylor expansion of 0.5 in x 5.164 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.164 * [taylor]: Taking taylor expansion of y in x 5.164 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.165 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (+ (/ 1 y) 1.0)) (log x)))) in y 5.165 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (+ (/ 1 y) 1.0)) (log x))) in y 5.165 * [taylor]: Taking taylor expansion of 1/3 in y 5.165 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 y) 1.0)) (log x)) in y 5.165 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y 5.165 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 5.165 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.165 * [taylor]: Taking taylor expansion of y in y 5.165 * [taylor]: Taking taylor expansion of 1.0 in y 5.166 * [taylor]: Taking taylor expansion of (log x) in y 5.166 * [taylor]: Taking taylor expansion of x in y 5.169 * [taylor]: Taking taylor expansion of (* (+ (* 0.16666666666666666 (/ 1 (* (+ (/ 1 y) 1.0) y))) (* 0.30631284440155765 (/ 1 (+ (/ 1 y) 1.0)))) (exp (* 1/3 (- (log (+ (/ 1 y) 1.0)) (log x))))) in y 5.169 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (/ 1 (* (+ (/ 1 y) 1.0) y))) (* 0.30631284440155765 (/ 1 (+ (/ 1 y) 1.0)))) in y 5.169 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ 1 (* (+ (/ 1 y) 1.0) y))) in y 5.169 * [taylor]: Taking taylor expansion of 0.16666666666666666 in y 5.169 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) 1.0) y)) in y 5.169 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) y) in y 5.169 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 5.169 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.169 * [taylor]: Taking taylor expansion of y in y 5.170 * [taylor]: Taking taylor expansion of 1.0 in y 5.170 * [taylor]: Taking taylor expansion of y in y 5.172 * [taylor]: Taking taylor expansion of (* 0.30631284440155765 (/ 1 (+ (/ 1 y) 1.0))) in y 5.172 * [taylor]: Taking taylor expansion of 0.30631284440155765 in y 5.172 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 y) 1.0)) in y 5.172 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 5.172 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.172 * [taylor]: Taking taylor expansion of y in y 5.172 * [taylor]: Taking taylor expansion of 1.0 in y 5.172 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (+ (/ 1 y) 1.0)) (log x)))) in y 5.172 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (+ (/ 1 y) 1.0)) (log x))) in y 5.172 * [taylor]: Taking taylor expansion of 1/3 in y 5.172 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 y) 1.0)) (log x)) in y 5.173 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y 5.173 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 5.173 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.173 * [taylor]: Taking taylor expansion of y in y 5.173 * [taylor]: Taking taylor expansion of 1.0 in y 5.173 * [taylor]: Taking taylor expansion of (log x) in y 5.173 * [taylor]: Taking taylor expansion of x in y 5.183 * * * * [progress]: [ 3 / 4 ] generating series at (2) 5.183 * [approximate]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in (x y) around 0 5.183 * [taylor]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in y 5.183 * [taylor]: Rewrote expression to (+ (* x (- y 1.0)) (fma 0.5 (- y) 0.918938533204673)) 5.183 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in y 5.183 * [taylor]: Taking taylor expansion of x in y 5.183 * [taylor]: Taking taylor expansion of (- y 1.0) in y 5.183 * [taylor]: Taking taylor expansion of y in y 5.183 * [taylor]: Taking taylor expansion of 1.0 in y 5.183 * [taylor]: Taking taylor expansion of (fma 0.5 (- y) 0.918938533204673) in y 5.183 * [taylor]: Rewrote expression to (+ (* 0.5 (- y)) 0.918938533204673) 5.183 * [taylor]: Taking taylor expansion of (* 0.5 (- y)) in y 5.183 * [taylor]: Taking taylor expansion of 0.5 in y 5.183 * [taylor]: Taking taylor expansion of (- y) in y 5.184 * [taylor]: Taking taylor expansion of y in y 5.184 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 5.184 * [taylor]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in x 5.184 * [taylor]: Rewrote expression to (+ (* x (- y 1.0)) (fma 0.5 (- y) 0.918938533204673)) 5.184 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in x 5.184 * [taylor]: Taking taylor expansion of x in x 5.184 * [taylor]: Taking taylor expansion of (- y 1.0) in x 5.184 * [taylor]: Taking taylor expansion of y in x 5.184 * [taylor]: Taking taylor expansion of 1.0 in x 5.184 * [taylor]: Taking taylor expansion of (fma 0.5 (- y) 0.918938533204673) in x 5.184 * [taylor]: Rewrote expression to (+ (* 0.5 (- y)) 0.918938533204673) 5.184 * [taylor]: Taking taylor expansion of (* 0.5 (- y)) in x 5.184 * [taylor]: Taking taylor expansion of 0.5 in x 5.184 * [taylor]: Taking taylor expansion of (- y) in x 5.184 * [taylor]: Taking taylor expansion of y in x 5.184 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.184 * [taylor]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in x 5.184 * [taylor]: Rewrote expression to (+ (* x (- y 1.0)) (fma 0.5 (- y) 0.918938533204673)) 5.184 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in x 5.184 * [taylor]: Taking taylor expansion of x in x 5.184 * [taylor]: Taking taylor expansion of (- y 1.0) in x 5.184 * [taylor]: Taking taylor expansion of y in x 5.184 * [taylor]: Taking taylor expansion of 1.0 in x 5.184 * [taylor]: Taking taylor expansion of (fma 0.5 (- y) 0.918938533204673) in x 5.184 * [taylor]: Rewrote expression to (+ (* 0.5 (- y)) 0.918938533204673) 5.184 * [taylor]: Taking taylor expansion of (* 0.5 (- y)) in x 5.184 * [taylor]: Taking taylor expansion of 0.5 in x 5.184 * [taylor]: Taking taylor expansion of (- y) in x 5.184 * [taylor]: Taking taylor expansion of y in x 5.184 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.185 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 y)) in y 5.185 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 5.185 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 5.185 * [taylor]: Taking taylor expansion of 0.5 in y 5.185 * [taylor]: Taking taylor expansion of y in y 5.191 * [taylor]: Taking taylor expansion of (- y 1.0) in y 5.191 * [taylor]: Taking taylor expansion of y in y 5.191 * [taylor]: Taking taylor expansion of 1.0 in y 5.195 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in (x y) around 0 5.195 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in y 5.195 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y) 1.0)) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 5.195 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y) 1.0)) in y 5.195 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.195 * [taylor]: Taking taylor expansion of x in y 5.195 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 5.195 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.195 * [taylor]: Taking taylor expansion of y in y 5.195 * [taylor]: Taking taylor expansion of 1.0 in y 5.195 * [taylor]: Taking taylor expansion of (fma 0.5 (- (/ 1 y)) 0.918938533204673) in y 5.195 * [taylor]: Rewrote expression to (+ (* 0.5 (- (/ 1 y))) 0.918938533204673) 5.195 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y))) in y 5.195 * [taylor]: Taking taylor expansion of 0.5 in y 5.195 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 5.195 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.196 * [taylor]: Taking taylor expansion of y in y 5.196 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 5.196 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in x 5.196 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y) 1.0)) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 5.196 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y) 1.0)) in x 5.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.196 * [taylor]: Taking taylor expansion of x in x 5.196 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 5.196 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.196 * [taylor]: Taking taylor expansion of y in x 5.196 * [taylor]: Taking taylor expansion of 1.0 in x 5.196 * [taylor]: Taking taylor expansion of (fma 0.5 (- (/ 1 y)) 0.918938533204673) in x 5.196 * [taylor]: Rewrote expression to (+ (* 0.5 (- (/ 1 y))) 0.918938533204673) 5.196 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y))) in x 5.196 * [taylor]: Taking taylor expansion of 0.5 in x 5.196 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 5.197 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.197 * [taylor]: Taking taylor expansion of y in x 5.197 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.197 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in x 5.197 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y) 1.0)) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 5.197 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y) 1.0)) in x 5.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.197 * [taylor]: Taking taylor expansion of x in x 5.197 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 5.197 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.197 * [taylor]: Taking taylor expansion of y in x 5.197 * [taylor]: Taking taylor expansion of 1.0 in x 5.197 * [taylor]: Taking taylor expansion of (fma 0.5 (- (/ 1 y)) 0.918938533204673) in x 5.197 * [taylor]: Rewrote expression to (+ (* 0.5 (- (/ 1 y))) 0.918938533204673) 5.197 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y))) in x 5.197 * [taylor]: Taking taylor expansion of 0.5 in x 5.197 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 5.197 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.197 * [taylor]: Taking taylor expansion of y in x 5.197 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.198 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 5.198 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.198 * [taylor]: Taking taylor expansion of y in y 5.198 * [taylor]: Taking taylor expansion of 1.0 in y 5.200 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 (/ 1 y))) in y 5.200 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 5.200 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 5.200 * [taylor]: Taking taylor expansion of 0.5 in y 5.200 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.200 * [taylor]: Taking taylor expansion of y in y 5.204 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in (x y) around 0 5.204 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in y 5.204 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ (/ 1 y) 1.0))) (fma 0.5 (/ 1 y) 0.918938533204673)) 5.204 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ (/ 1 y) 1.0))) in y 5.204 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.204 * [taylor]: Taking taylor expansion of -1 in y 5.204 * [taylor]: Taking taylor expansion of x in y 5.204 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in y 5.204 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 5.205 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.205 * [taylor]: Taking taylor expansion of y in y 5.205 * [taylor]: Taking taylor expansion of 1.0 in y 5.205 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 y) 0.918938533204673) in y 5.205 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 y)) 0.918938533204673) 5.205 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 5.205 * [taylor]: Taking taylor expansion of 0.5 in y 5.205 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.205 * [taylor]: Taking taylor expansion of y in y 5.205 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 5.205 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in x 5.205 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ (/ 1 y) 1.0))) (fma 0.5 (/ 1 y) 0.918938533204673)) 5.206 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ (/ 1 y) 1.0))) in x 5.206 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.206 * [taylor]: Taking taylor expansion of -1 in x 5.206 * [taylor]: Taking taylor expansion of x in x 5.206 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in x 5.206 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 5.206 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.206 * [taylor]: Taking taylor expansion of y in x 5.206 * [taylor]: Taking taylor expansion of 1.0 in x 5.206 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 y) 0.918938533204673) in x 5.206 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 y)) 0.918938533204673) 5.206 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 5.206 * [taylor]: Taking taylor expansion of 0.5 in x 5.206 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.206 * [taylor]: Taking taylor expansion of y in x 5.206 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.206 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in x 5.206 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ (/ 1 y) 1.0))) (fma 0.5 (/ 1 y) 0.918938533204673)) 5.206 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ (/ 1 y) 1.0))) in x 5.206 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.206 * [taylor]: Taking taylor expansion of -1 in x 5.206 * [taylor]: Taking taylor expansion of x in x 5.207 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in x 5.207 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 5.207 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.207 * [taylor]: Taking taylor expansion of y in x 5.207 * [taylor]: Taking taylor expansion of 1.0 in x 5.207 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 y) 0.918938533204673) in x 5.207 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 y)) 0.918938533204673) 5.207 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 5.207 * [taylor]: Taking taylor expansion of 0.5 in x 5.207 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.207 * [taylor]: Taking taylor expansion of y in x 5.207 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.207 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 5.207 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.207 * [taylor]: Taking taylor expansion of y in y 5.208 * [taylor]: Taking taylor expansion of 1.0 in y 5.209 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) 0.918938533204673) in y 5.209 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 5.209 * [taylor]: Taking taylor expansion of 0.5 in y 5.209 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.209 * [taylor]: Taking taylor expansion of y in y 5.210 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 5.211 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 5.211 * [approximate]: Taking taylor expansion of (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2) in (x y) around 0 5.211 * [taylor]: Taking taylor expansion of (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2) in y 5.211 * [taylor]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in y 5.212 * [taylor]: Rewrote expression to (+ (* x (- y 1.0)) (fma 0.5 (- y) 0.918938533204673)) 5.212 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in y 5.212 * [taylor]: Taking taylor expansion of x in y 5.212 * [taylor]: Taking taylor expansion of (- y 1.0) in y 5.212 * [taylor]: Taking taylor expansion of y in y 5.212 * [taylor]: Taking taylor expansion of 1.0 in y 5.212 * [taylor]: Taking taylor expansion of (fma 0.5 (- y) 0.918938533204673) in y 5.212 * [taylor]: Rewrote expression to (+ (* 0.5 (- y)) 0.918938533204673) 5.212 * [taylor]: Taking taylor expansion of (* 0.5 (- y)) in y 5.212 * [taylor]: Taking taylor expansion of 0.5 in y 5.212 * [taylor]: Taking taylor expansion of (- y) in y 5.212 * [taylor]: Taking taylor expansion of y in y 5.212 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 5.214 * [taylor]: Taking taylor expansion of (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2) in x 5.214 * [taylor]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in x 5.214 * [taylor]: Rewrote expression to (+ (* x (- y 1.0)) (fma 0.5 (- y) 0.918938533204673)) 5.214 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in x 5.214 * [taylor]: Taking taylor expansion of x in x 5.214 * [taylor]: Taking taylor expansion of (- y 1.0) in x 5.214 * [taylor]: Taking taylor expansion of y in x 5.214 * [taylor]: Taking taylor expansion of 1.0 in x 5.214 * [taylor]: Taking taylor expansion of (fma 0.5 (- y) 0.918938533204673) in x 5.214 * [taylor]: Rewrote expression to (+ (* 0.5 (- y)) 0.918938533204673) 5.214 * [taylor]: Taking taylor expansion of (* 0.5 (- y)) in x 5.214 * [taylor]: Taking taylor expansion of 0.5 in x 5.214 * [taylor]: Taking taylor expansion of (- y) in x 5.214 * [taylor]: Taking taylor expansion of y in x 5.214 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.215 * [taylor]: Taking taylor expansion of (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2) in x 5.215 * [taylor]: Taking taylor expansion of (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) in x 5.215 * [taylor]: Rewrote expression to (+ (* x (- y 1.0)) (fma 0.5 (- y) 0.918938533204673)) 5.215 * [taylor]: Taking taylor expansion of (* x (- y 1.0)) in x 5.215 * [taylor]: Taking taylor expansion of x in x 5.215 * [taylor]: Taking taylor expansion of (- y 1.0) in x 5.215 * [taylor]: Taking taylor expansion of y in x 5.215 * [taylor]: Taking taylor expansion of 1.0 in x 5.215 * [taylor]: Taking taylor expansion of (fma 0.5 (- y) 0.918938533204673) in x 5.215 * [taylor]: Rewrote expression to (+ (* 0.5 (- y)) 0.918938533204673) 5.215 * [taylor]: Taking taylor expansion of (* 0.5 (- y)) in x 5.215 * [taylor]: Taking taylor expansion of 0.5 in x 5.215 * [taylor]: Taking taylor expansion of (- y) in x 5.215 * [taylor]: Taking taylor expansion of y in x 5.215 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.216 * [taylor]: Taking taylor expansion of (pow (- 0.918938533204673 (* 0.5 y)) 2) in y 5.216 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 y)) in y 5.216 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 5.216 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 5.216 * [taylor]: Taking taylor expansion of 0.5 in y 5.216 * [taylor]: Taking taylor expansion of y in y 5.219 * [taylor]: Taking taylor expansion of (- (* 2.8378770664093462 y) (+ (* 1.0 (pow y 2)) 1.837877066409346)) in y 5.219 * [taylor]: Taking taylor expansion of (* 2.8378770664093462 y) in y 5.219 * [taylor]: Taking taylor expansion of 2.8378770664093462 in y 5.219 * [taylor]: Taking taylor expansion of y in y 5.219 * [taylor]: Taking taylor expansion of (+ (* 1.0 (pow y 2)) 1.837877066409346) in y 5.219 * [taylor]: Taking taylor expansion of (* 1.0 (pow y 2)) in y 5.219 * [taylor]: Taking taylor expansion of 1.0 in y 5.219 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.219 * [taylor]: Taking taylor expansion of y in y 5.219 * [taylor]: Taking taylor expansion of 1.837877066409346 in y 5.225 * [approximate]: Taking taylor expansion of (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2) in (x y) around 0 5.225 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2) in y 5.225 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in y 5.225 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y) 1.0)) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 5.225 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y) 1.0)) in y 5.225 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.225 * [taylor]: Taking taylor expansion of x in y 5.225 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 5.225 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.225 * [taylor]: Taking taylor expansion of y in y 5.226 * [taylor]: Taking taylor expansion of 1.0 in y 5.226 * [taylor]: Taking taylor expansion of (fma 0.5 (- (/ 1 y)) 0.918938533204673) in y 5.226 * [taylor]: Rewrote expression to (+ (* 0.5 (- (/ 1 y))) 0.918938533204673) 5.226 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y))) in y 5.226 * [taylor]: Taking taylor expansion of 0.5 in y 5.226 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 5.226 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.226 * [taylor]: Taking taylor expansion of y in y 5.226 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 5.227 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2) in x 5.227 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in x 5.228 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y) 1.0)) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 5.228 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y) 1.0)) in x 5.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.228 * [taylor]: Taking taylor expansion of x in x 5.228 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 5.228 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.228 * [taylor]: Taking taylor expansion of y in x 5.228 * [taylor]: Taking taylor expansion of 1.0 in x 5.228 * [taylor]: Taking taylor expansion of (fma 0.5 (- (/ 1 y)) 0.918938533204673) in x 5.228 * [taylor]: Rewrote expression to (+ (* 0.5 (- (/ 1 y))) 0.918938533204673) 5.228 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y))) in x 5.228 * [taylor]: Taking taylor expansion of 0.5 in x 5.228 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 5.228 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.228 * [taylor]: Taking taylor expansion of y in x 5.228 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.229 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 2) in x 5.229 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y) 1.0) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) in x 5.229 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y) 1.0)) (fma 0.5 (- (/ 1 y)) 0.918938533204673)) 5.229 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y) 1.0)) in x 5.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.229 * [taylor]: Taking taylor expansion of x in x 5.229 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 5.229 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.229 * [taylor]: Taking taylor expansion of y in x 5.229 * [taylor]: Taking taylor expansion of 1.0 in x 5.229 * [taylor]: Taking taylor expansion of (fma 0.5 (- (/ 1 y)) 0.918938533204673) in x 5.229 * [taylor]: Rewrote expression to (+ (* 0.5 (- (/ 1 y))) 0.918938533204673) 5.230 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 y))) in x 5.230 * [taylor]: Taking taylor expansion of 0.5 in x 5.230 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 5.230 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.230 * [taylor]: Taking taylor expansion of y in x 5.230 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.230 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) 1.0) 2) in y 5.230 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 5.230 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.230 * [taylor]: Taking taylor expansion of y in y 5.231 * [taylor]: Taking taylor expansion of 1.0 in y 5.233 * [taylor]: Taking taylor expansion of (- (* 2.8378770664093462 (/ 1 y)) (+ (* 1.0 (/ 1 (pow y 2))) 1.837877066409346)) in y 5.233 * [taylor]: Taking taylor expansion of (* 2.8378770664093462 (/ 1 y)) in y 5.233 * [taylor]: Taking taylor expansion of 2.8378770664093462 in y 5.233 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.233 * [taylor]: Taking taylor expansion of y in y 5.233 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow y 2))) 1.837877066409346) in y 5.233 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow y 2))) in y 5.233 * [taylor]: Taking taylor expansion of 1.0 in y 5.233 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.233 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.233 * [taylor]: Taking taylor expansion of y in y 5.234 * [taylor]: Taking taylor expansion of 1.837877066409346 in y 5.239 * [approximate]: Taking taylor expansion of (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 2) in (x y) around 0 5.239 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 2) in y 5.239 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in y 5.239 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ (/ 1 y) 1.0))) (fma 0.5 (/ 1 y) 0.918938533204673)) 5.239 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ (/ 1 y) 1.0))) in y 5.239 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.239 * [taylor]: Taking taylor expansion of -1 in y 5.239 * [taylor]: Taking taylor expansion of x in y 5.240 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in y 5.240 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 5.240 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.240 * [taylor]: Taking taylor expansion of y in y 5.240 * [taylor]: Taking taylor expansion of 1.0 in y 5.240 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 y) 0.918938533204673) in y 5.240 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 y)) 0.918938533204673) 5.240 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 5.240 * [taylor]: Taking taylor expansion of 0.5 in y 5.240 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.240 * [taylor]: Taking taylor expansion of y in y 5.241 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 5.242 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 2) in x 5.242 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in x 5.242 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ (/ 1 y) 1.0))) (fma 0.5 (/ 1 y) 0.918938533204673)) 5.242 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ (/ 1 y) 1.0))) in x 5.242 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.242 * [taylor]: Taking taylor expansion of -1 in x 5.242 * [taylor]: Taking taylor expansion of x in x 5.242 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in x 5.242 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 5.242 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.242 * [taylor]: Taking taylor expansion of y in x 5.242 * [taylor]: Taking taylor expansion of 1.0 in x 5.242 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 y) 0.918938533204673) in x 5.242 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 y)) 0.918938533204673) 5.242 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 5.242 * [taylor]: Taking taylor expansion of 0.5 in x 5.242 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.243 * [taylor]: Taking taylor expansion of y in x 5.243 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.243 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) 2) in x 5.243 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ (/ 1 y) 1.0)) (fma 0.5 (/ 1 y) 0.918938533204673)) in x 5.243 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ (/ 1 y) 1.0))) (fma 0.5 (/ 1 y) 0.918938533204673)) 5.243 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ (/ 1 y) 1.0))) in x 5.243 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.243 * [taylor]: Taking taylor expansion of -1 in x 5.243 * [taylor]: Taking taylor expansion of x in x 5.243 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in x 5.243 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 5.243 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.243 * [taylor]: Taking taylor expansion of y in x 5.243 * [taylor]: Taking taylor expansion of 1.0 in x 5.243 * [taylor]: Taking taylor expansion of (fma 0.5 (/ 1 y) 0.918938533204673) in x 5.243 * [taylor]: Rewrote expression to (+ (* 0.5 (/ 1 y)) 0.918938533204673) 5.243 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 5.243 * [taylor]: Taking taylor expansion of 0.5 in x 5.244 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.244 * [taylor]: Taking taylor expansion of y in x 5.244 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 5.244 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 1.0) 2) in y 5.244 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 5.244 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.244 * [taylor]: Taking taylor expansion of y in y 5.244 * [taylor]: Taking taylor expansion of 1.0 in y 5.246 * [taylor]: Taking taylor expansion of (+ (* 2.8378770664093462 (/ 1 y)) (+ (* 1.0 (/ 1 (pow y 2))) 1.837877066409346)) in y 5.246 * [taylor]: Taking taylor expansion of (* 2.8378770664093462 (/ 1 y)) in y 5.246 * [taylor]: Taking taylor expansion of 2.8378770664093462 in y 5.246 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.246 * [taylor]: Taking taylor expansion of y in y 5.247 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow y 2))) 1.837877066409346) in y 5.247 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow y 2))) in y 5.247 * [taylor]: Taking taylor expansion of 1.0 in y 5.247 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.247 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.247 * [taylor]: Taking taylor expansion of y in y 5.247 * [taylor]: Taking taylor expansion of 1.837877066409346 in y 5.250 * * * [progress]: simplifying candidates 5.252 * [simplify]: Simplifying using # : (expm1 (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (log1p (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (log (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (exp (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (cbrt (pow (* (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) 2)) (cbrt (pow (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 2)) (cbrt (pow (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 2)) (cbrt (pow (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 2)) (cbrt (pow 1 2)) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)))) (cbrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (cbrt (sqrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (cbrt (sqrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (cbrt 1) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (/ 2 2))) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (/ 2 2))) (* (cbrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (cbrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)))) (cbrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (* (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (sqrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (sqrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (expm1 (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (log1p (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (log (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (exp (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (* (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (cbrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt 1) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (* (cbrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (cbrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (* (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (expm1 (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (log1p (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2) (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (+ (log (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (log (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (log (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (exp (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2) (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (* (cbrt (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (cbrt (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))))) (cbrt (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (* (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (sqrt (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (sqrt (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (pow (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 2)) (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (pow (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 2)) (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (pow (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 2)) (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (pow (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 2)) (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (sqrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (sqrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (sqrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (sqrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (/ 2 2))) (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (/ 2 2))) (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (/ 2 2))) (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (/ 2 2))) (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (sqrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (sqrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (sqrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (sqrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (* (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))))) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt 1)) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (* (cbrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))))) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) 1) (* (cbrt (pow (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (cbrt (pow (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (cbrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (cbrt (sqrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (/ 2 2))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (cbrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (sqrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (expm1 (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (log1p (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (* (log (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 2) (* (log (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 2) (* 1 2) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (* (cbrt 2) (cbrt 2))) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (sqrt 2)) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 1) (pow (* (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) 2) (pow (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 2) (pow (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 2) (pow (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 2) (pow 1 2) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2) (log (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (exp (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (* (* (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (sqrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (sqrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (/ 2 2)) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (/ 2 2)) (- (pow 0.8444480278083559 1/3) (+ (* 0.7254747108511789 (* (pow 0.8444480278083559 1/3) x)) (* 0.3627373554255895 (* (pow 0.8444480278083559 1/3) y)))) (- (exp (* -1/3 (+ (* 2 (log (/ 1 x))) (* 2 (log (/ 1 y)))))) (+ (* 0.3333333333333333 (/ (exp (* -1/3 (+ (* 2 (log (/ 1 x))) (* 2 (log (/ 1 y)))))) x)) (* 0.6666666666666666 (/ (exp (* -1/3 (+ (* 2 (log (/ 1 x))) (* 2 (log (/ 1 y)))))) y)))) (- (exp (* -1/3 (+ (* 2 (log (/ -1 y))) (* 2 (log (/ -1 x)))))) (+ (* 0.6666666666666666 (/ (exp (* -1/3 (+ (* 2 (log (/ -1 y))) (* 2 (log (/ -1 x)))))) y)) (* 0.3333333333333333 (/ (exp (* -1/3 (+ (* 2 (log (/ -1 y))) (* 2 (log (/ -1 x)))))) x)))) (- (pow 0.918938533204673 1/3) (+ (* 0.3627373554255895 (* (pow 0.918938533204673 1/3) x)) (* 0.18136867771279475 (* (pow 0.918938533204673 1/3) y)))) (- (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) (+ (* 0.3333333333333333 (/ (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) y)) (* 0.16666666666666666 (/ (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) x)))) (- (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x))))) (+ (* 0.3333333333333333 (/ (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x))))) y)) (* 0.16666666666666666 (/ (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x))))) x)))) (- 0.918938533204673 (+ (* 1.0 x) (* 0.5 y))) (- (* x y) (+ (* 1.0 x) (* 0.5 y))) (- (* x y) (+ (* 1.0 x) (* 0.5 y))) (- 0.8444480278083559 (+ (* 1.837877066409346 x) (* 0.918938533204673 y))) (- (* (pow x 2) (pow y 2)) (+ (* 1.0 (* x (pow y 2))) (* 2.0 (* (pow x 2) y)))) (- (* (pow x 2) (pow y 2)) (+ (* 1.0 (* x (pow y 2))) (* 2.0 (* (pow x 2) y)))) 5.259 * * [simplify]: iteration 0 : 192 enodes (cost 2655 ) 5.305 * * [simplify]: iteration 1 : 454 enodes (cost 2447 ) 5.436 * * [simplify]: iteration 2 : 1027 enodes (cost 2271 ) 5.794 * * [simplify]: iteration 3 : 2813 enodes (cost 2234 ) 6.524 * * [simplify]: iteration done : 5000 enodes (cost 2234 ) 6.525 * [simplify]: Simplified to: (expm1 (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (log1p (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (log (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (exp (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (cbrt (pow (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 4)) (cbrt (pow (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 1 (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)))) (cbrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (cbrt (fabs (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (fabs (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) 1 (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (* (cbrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (cbrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)))) (cbrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (pow (fma x (- y 1.0) (- 0.918938533204673 (* 0.5 y))) 2) (sqrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (sqrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (expm1 (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (log1p (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (log (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (exp (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (pow (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 2)) (cbrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) 1 (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (* (cbrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (cbrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (fma x (- y 1.0) (- 0.918938533204673 (* 0.5 y))) (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (expm1 (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (log1p (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (pow (fma x (- y 1.0) (- 0.918938533204673 (* 0.5 y))) 3) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (log (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (log (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (exp (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (pow (fma x (- y 1.0) (- 0.918938533204673 (* 0.5 y))) 3) (* (cbrt (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (cbrt (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))))) (cbrt (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (pow (fma x (- y 1.0) (- 0.918938533204673 (* 0.5 y))) 3) (sqrt (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (sqrt (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (fabs (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (fabs (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (fabs (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (fabs (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (sqrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (sqrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (sqrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (sqrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (pow (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 2)) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (sqrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (* (cbrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (cbrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))))) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (sqrt (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (* (cbrt (pow (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (pow (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 2) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (pow (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 2) (* (cbrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (cbrt (fabs (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))))) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (pow (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 2) (* (cbrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (sqrt (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)))) (expm1 (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (log1p (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (log (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (log (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) 2 (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (* (cbrt 2) (cbrt 2))) (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) (sqrt 2)) (fma x (- y 1.0) (- 0.918938533204673 (* 0.5 y))) (pow (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 4) (pow (cbrt (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) 2) (fma x (- y 1.0) (- 0.918938533204673 (* 0.5 y))) (fma x (- y 1.0) (- 0.918938533204673 (* 0.5 y))) 1 (pow (fma x (- y 1.0) (- 0.918938533204673 (* 0.5 y))) 2) (log (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (exp (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (* (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2))) (cbrt (pow (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673)) 2)) (pow (fma x (- y 1.0) (- 0.918938533204673 (* 0.5 y))) 6) (fabs (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (fabs (fma x (- y 1.0) (fma 0.5 (- y) 0.918938533204673))) (fma x (- y 1.0) (- 0.918938533204673 (* 0.5 y))) (fma x (- y 1.0) (- 0.918938533204673 (* 0.5 y))) (- (cbrt 0.8444480278083559) (* (cbrt 0.8444480278083559) (+ (* y 0.3627373554255895) (* 0.7254747108511789 x)))) (- (exp (* -2/3 (- (- (log y)) (log x)))) (fma (/ (exp (* -2/3 (- (- (log y)) (log x)))) y) 0.6666666666666666 (/ 0.3333333333333333 (/ x (exp (* -2/3 (- (- (log y)) (log x)))))))) (- (* (pow (/ -1 x) -2/3) (pow (/ -1 y) -2/3)) (fma 0.3333333333333333 (/ (pow (/ -1 y) -2/3) (/ x (pow (/ -1 x) -2/3))) (* (/ 0.6666666666666666 y) (* (pow (/ -1 x) -2/3) (pow (/ -1 y) -2/3))))) (- (cbrt 0.918938533204673) (* (cbrt 0.918938533204673) (+ (* 0.18136867771279475 y) (* x 0.3627373554255895)))) (- (pow (exp -1/3) (- (- (log y)) (log x))) (fma 0.16666666666666666 (/ (pow (exp -1/3) (- (- (log y)) (log x))) x) (/ 0.3333333333333333 (/ y (pow (exp -1/3) (- (- (log y)) (log x))))))) (fma (pow (/ -1 y) -1/3) (pow (/ -1 x) -1/3) (- (fma (/ (* (pow (/ -1 x) -1/3) (pow (/ -1 y) -1/3)) y) 0.3333333333333333 (/ (* 0.16666666666666666 (* (pow (/ -1 x) -1/3) (pow (/ -1 y) -1/3))) x)))) (- 0.918938533204673 (fma 1.0 x (* 0.5 y))) (- (* x (- y 1.0)) (* 0.5 y)) (- (* x (- y 1.0)) (* 0.5 y)) (- 0.8444480278083559 (fma 1.837877066409346 x (* 0.918938533204673 y))) (- (* (* x (pow y 2)) (- x 1.0)) (* 2.0 (* (pow x 2) y))) (- (* (* x (pow y 2)) (- x 1.0)) (* 2.0 (* (pow x 2) y))) 6.526 * * * [progress]: adding candidates to table 6.997 * [progress]: [Phase 3 of 3] Extracting. 6.997 * * [regime]: Finding splitpoints for: (# # #) 6.997 * * * [regime-changes]: Trying 2 branch expressions: (y x) 6.997 * * * * [regimes]: Trying to branch on y from (# # #) 7.014 * * * * [regimes]: Trying to branch on x from (# # #) 7.030 * * * [regime]: Found split indices: #