4.491 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.020 * * * [progress]: [2/2] Setting up program. 0.022 * [progress]: [Phase 2 of 3] Improving. 0.022 * [simplify]: Simplifying using # : (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0))) 0.023 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 0.025 * * [simplify]: iteration 1 : 25 enodes (cost 15 ) 0.028 * * [simplify]: iteration 2 : 60 enodes (cost 15 ) 0.041 * * [simplify]: iteration 3 : 152 enodes (cost 15 ) 0.067 * * [simplify]: iteration 4 : 330 enodes (cost 14 ) 0.167 * * [simplify]: iteration 5 : 730 enodes (cost 14 ) 0.476 * * [simplify]: iteration 6 : 1991 enodes (cost 14 ) 1.689 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 1.689 * [simplify]: Simplified to: (fma (pow x 4.0) 9.0 (* (* y y) (fma y (- y) 2.0))) 1.696 * * [progress]: iteration 1 / 4 1.696 * * * [progress]: picking best candidate 1.698 * * * * [pick]: Picked # 1.699 * * * [progress]: localizing error 1.709 * * * [progress]: generating rewritten candidates 1.709 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.709 * * * [progress]: generating series expansions 1.709 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.709 * [approximate]: Taking taylor expansion of (fma (pow x 4.0) 9.0 (* (fma y (- y) 2.0) (pow y 2))) in (x y) around 0 1.710 * [taylor]: Taking taylor expansion of (fma (pow x 4.0) 9.0 (* (fma y (- y) 2.0) (pow y 2))) in y 1.710 * [taylor]: Rewrote expression to (+ (* (pow x 4.0) 9.0) (* (fma y (- y) 2.0) (pow y 2))) 1.710 * [taylor]: Taking taylor expansion of (* (pow x 4.0) 9.0) in y 1.710 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 1.710 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 1.710 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 1.710 * [taylor]: Taking taylor expansion of 4.0 in y 1.710 * [taylor]: Taking taylor expansion of (log x) in y 1.710 * [taylor]: Taking taylor expansion of x in y 1.710 * [taylor]: Taking taylor expansion of 9.0 in y 1.710 * [taylor]: Taking taylor expansion of (* (fma y (- y) 2.0) (pow y 2)) in y 1.710 * [taylor]: Taking taylor expansion of (fma y (- y) 2.0) in y 1.710 * [taylor]: Rewrote expression to (+ (* y (- y)) 2.0) 1.710 * [taylor]: Taking taylor expansion of (* y (- y)) in y 1.710 * [taylor]: Taking taylor expansion of y in y 1.710 * [taylor]: Taking taylor expansion of (- y) in y 1.710 * [taylor]: Taking taylor expansion of y in y 1.710 * [taylor]: Taking taylor expansion of 2.0 in y 1.710 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.710 * [taylor]: Taking taylor expansion of y in y 1.710 * [taylor]: Taking taylor expansion of (fma (pow x 4.0) 9.0 (* (fma y (- y) 2.0) (pow y 2))) in x 1.710 * [taylor]: Rewrote expression to (+ (* (pow x 4.0) 9.0) (* (fma y (- y) 2.0) (pow y 2))) 1.710 * [taylor]: Taking taylor expansion of (* (pow x 4.0) 9.0) in x 1.710 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 1.710 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 1.710 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 1.710 * [taylor]: Taking taylor expansion of 4.0 in x 1.710 * [taylor]: Taking taylor expansion of (log x) in x 1.710 * [taylor]: Taking taylor expansion of x in x 1.711 * [taylor]: Taking taylor expansion of 9.0 in x 1.711 * [taylor]: Taking taylor expansion of (* (fma y (- y) 2.0) (pow y 2)) in x 1.711 * [taylor]: Taking taylor expansion of (fma y (- y) 2.0) in x 1.711 * [taylor]: Rewrote expression to (+ (* y (- y)) 2.0) 1.711 * [taylor]: Taking taylor expansion of (* y (- y)) in x 1.711 * [taylor]: Taking taylor expansion of y in x 1.712 * [taylor]: Taking taylor expansion of (- y) in x 1.712 * [taylor]: Taking taylor expansion of y in x 1.712 * [taylor]: Taking taylor expansion of 2.0 in x 1.712 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.712 * [taylor]: Taking taylor expansion of y in x 1.712 * [taylor]: Taking taylor expansion of (fma (pow x 4.0) 9.0 (* (fma y (- y) 2.0) (pow y 2))) in x 1.712 * [taylor]: Rewrote expression to (+ (* (pow x 4.0) 9.0) (* (fma y (- y) 2.0) (pow y 2))) 1.712 * [taylor]: Taking taylor expansion of (* (pow x 4.0) 9.0) in x 1.712 * [taylor]: Taking taylor expansion of (pow x 4.0) in x 1.712 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in x 1.712 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in x 1.712 * [taylor]: Taking taylor expansion of 4.0 in x 1.712 * [taylor]: Taking taylor expansion of (log x) in x 1.712 * [taylor]: Taking taylor expansion of x in x 1.712 * [taylor]: Taking taylor expansion of 9.0 in x 1.713 * [taylor]: Taking taylor expansion of (* (fma y (- y) 2.0) (pow y 2)) in x 1.713 * [taylor]: Taking taylor expansion of (fma y (- y) 2.0) in x 1.713 * [taylor]: Rewrote expression to (+ (* y (- y)) 2.0) 1.713 * [taylor]: Taking taylor expansion of (* y (- y)) in x 1.713 * [taylor]: Taking taylor expansion of y in x 1.713 * [taylor]: Taking taylor expansion of (- y) in x 1.713 * [taylor]: Taking taylor expansion of y in x 1.713 * [taylor]: Taking taylor expansion of 2.0 in x 1.713 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.713 * [taylor]: Taking taylor expansion of y in x 1.713 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (pow y 2)) (* 9.0 (pow x 4))) (pow y 4)) in y 1.713 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow y 2)) (* 9.0 (pow x 4))) in y 1.713 * [taylor]: Taking taylor expansion of (* 2.0 (pow y 2)) in y 1.713 * [taylor]: Taking taylor expansion of 2.0 in y 1.714 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.714 * [taylor]: Taking taylor expansion of y in y 1.714 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 4)) in y 1.714 * [taylor]: Taking taylor expansion of 9.0 in y 1.714 * [taylor]: Taking taylor expansion of (pow x 4) in y 1.714 * [taylor]: Taking taylor expansion of x in y 1.714 * [taylor]: Taking taylor expansion of (pow y 4) in y 1.714 * [taylor]: Taking taylor expansion of y in y 1.717 * [taylor]: Taking taylor expansion of 0 in y 1.724 * [taylor]: Taking taylor expansion of 0 in y 1.733 * [taylor]: Taking taylor expansion of 0 in y 1.748 * [taylor]: Taking taylor expansion of 0 in y 1.749 * [approximate]: Taking taylor expansion of (fma (pow (/ 1 x) 4.0) 9.0 (/ (fma (/ 1 y) (- (/ 1 y)) 2.0) (pow y 2))) in (x y) around 0 1.749 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 4.0) 9.0 (/ (fma (/ 1 y) (- (/ 1 y)) 2.0) (pow y 2))) in y 1.749 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 4.0) 9.0) (/ (fma (/ 1 y) (- (/ 1 y)) 2.0) (pow y 2))) 1.749 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 4.0) 9.0) in y 1.749 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4.0) in y 1.749 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ 1 x)))) in y 1.749 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ 1 x))) in y 1.749 * [taylor]: Taking taylor expansion of 4.0 in y 1.749 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 1.749 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.749 * [taylor]: Taking taylor expansion of x in y 1.749 * [taylor]: Taking taylor expansion of 9.0 in y 1.749 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) (- (/ 1 y)) 2.0) (pow y 2)) in y 1.749 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 y)) 2.0) in y 1.749 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 y))) 2.0) 1.749 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 y))) in y 1.750 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.750 * [taylor]: Taking taylor expansion of y in y 1.750 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 1.750 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.750 * [taylor]: Taking taylor expansion of y in y 1.750 * [taylor]: Taking taylor expansion of 2.0 in y 1.750 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.750 * [taylor]: Taking taylor expansion of y in y 1.751 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 4.0) 9.0 (/ (fma (/ 1 y) (- (/ 1 y)) 2.0) (pow y 2))) in x 1.751 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 4.0) 9.0) (/ (fma (/ 1 y) (- (/ 1 y)) 2.0) (pow y 2))) 1.752 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 4.0) 9.0) in x 1.752 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4.0) in x 1.752 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ 1 x)))) in x 1.752 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ 1 x))) in x 1.752 * [taylor]: Taking taylor expansion of 4.0 in x 1.752 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.752 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.752 * [taylor]: Taking taylor expansion of x in x 1.753 * [taylor]: Taking taylor expansion of 9.0 in x 1.753 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) (- (/ 1 y)) 2.0) (pow y 2)) in x 1.753 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 y)) 2.0) in x 1.753 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 y))) 2.0) 1.753 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 y))) in x 1.753 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.753 * [taylor]: Taking taylor expansion of y in x 1.753 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 1.753 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.753 * [taylor]: Taking taylor expansion of y in x 1.753 * [taylor]: Taking taylor expansion of 2.0 in x 1.753 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.753 * [taylor]: Taking taylor expansion of y in x 1.753 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 4.0) 9.0 (/ (fma (/ 1 y) (- (/ 1 y)) 2.0) (pow y 2))) in x 1.753 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 4.0) 9.0) (/ (fma (/ 1 y) (- (/ 1 y)) 2.0) (pow y 2))) 1.753 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 4.0) 9.0) in x 1.753 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4.0) in x 1.753 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ 1 x)))) in x 1.753 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ 1 x))) in x 1.753 * [taylor]: Taking taylor expansion of 4.0 in x 1.753 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.753 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.753 * [taylor]: Taking taylor expansion of x in x 1.754 * [taylor]: Taking taylor expansion of 9.0 in x 1.754 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) (- (/ 1 y)) 2.0) (pow y 2)) in x 1.754 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 y)) 2.0) in x 1.754 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 y))) 2.0) 1.754 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 y))) in x 1.754 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.754 * [taylor]: Taking taylor expansion of y in x 1.755 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 1.755 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.755 * [taylor]: Taking taylor expansion of y in x 1.755 * [taylor]: Taking taylor expansion of 2.0 in x 1.755 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.755 * [taylor]: Taking taylor expansion of y in x 1.755 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in y 1.755 * [taylor]: Taking taylor expansion of (+ (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) (* 2.0 (/ 1 (pow y 2)))) in y 1.755 * [taylor]: Taking taylor expansion of (* 9.0 (pow (/ 1 (pow x 4.0)) 1.0)) in y 1.755 * [taylor]: Taking taylor expansion of 9.0 in y 1.755 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4.0)) 1.0) in y 1.756 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 4.0))))) in y 1.756 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 4.0)))) in y 1.756 * [taylor]: Taking taylor expansion of 1.0 in y 1.756 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4.0))) in y 1.756 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4.0)) in y 1.756 * [taylor]: Taking taylor expansion of (pow x 4.0) in y 1.756 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log x))) in y 1.756 * [taylor]: Taking taylor expansion of (* 4.0 (log x)) in y 1.756 * [taylor]: Taking taylor expansion of 4.0 in y 1.756 * [taylor]: Taking taylor expansion of (log x) in y 1.756 * [taylor]: Taking taylor expansion of x in y 1.756 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in y 1.756 * [taylor]: Taking taylor expansion of 2.0 in y 1.756 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.756 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.756 * [taylor]: Taking taylor expansion of y in y 1.757 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 1.757 * [taylor]: Taking taylor expansion of (pow y 4) in y 1.757 * [taylor]: Taking taylor expansion of y in y 1.762 * [taylor]: Taking taylor expansion of 0 in y 1.769 * [taylor]: Taking taylor expansion of 0 in y 1.783 * [taylor]: Taking taylor expansion of 0 in y 1.799 * [taylor]: Taking taylor expansion of 0 in y 1.804 * [approximate]: Taking taylor expansion of (fma (pow (/ -1 x) 4.0) 9.0 (/ (fma (/ -1 y) (/ 1 y) 2.0) (pow y 2))) in (x y) around 0 1.804 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 4.0) 9.0 (/ (fma (/ -1 y) (/ 1 y) 2.0) (pow y 2))) in y 1.804 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 4.0) 9.0) (/ (fma (/ -1 y) (/ 1 y) 2.0) (pow y 2))) 1.804 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 4.0) 9.0) in y 1.804 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4.0) in y 1.804 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ -1 x)))) in y 1.804 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ -1 x))) in y 1.804 * [taylor]: Taking taylor expansion of 4.0 in y 1.804 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in y 1.804 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.804 * [taylor]: Taking taylor expansion of -1 in y 1.804 * [taylor]: Taking taylor expansion of x in y 1.804 * [taylor]: Taking taylor expansion of 9.0 in y 1.804 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) (/ 1 y) 2.0) (pow y 2)) in y 1.804 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ 1 y) 2.0) in y 1.805 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ 1 y)) 2.0) 1.805 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ 1 y)) in y 1.805 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.805 * [taylor]: Taking taylor expansion of -1 in y 1.805 * [taylor]: Taking taylor expansion of y in y 1.805 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.805 * [taylor]: Taking taylor expansion of y in y 1.805 * [taylor]: Taking taylor expansion of 2.0 in y 1.805 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.805 * [taylor]: Taking taylor expansion of y in y 1.806 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 4.0) 9.0 (/ (fma (/ -1 y) (/ 1 y) 2.0) (pow y 2))) in x 1.806 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 4.0) 9.0) (/ (fma (/ -1 y) (/ 1 y) 2.0) (pow y 2))) 1.806 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 4.0) 9.0) in x 1.806 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4.0) in x 1.806 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ -1 x)))) in x 1.806 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ -1 x))) in x 1.807 * [taylor]: Taking taylor expansion of 4.0 in x 1.807 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 1.807 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.807 * [taylor]: Taking taylor expansion of -1 in x 1.807 * [taylor]: Taking taylor expansion of x in x 1.808 * [taylor]: Taking taylor expansion of 9.0 in x 1.808 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) (/ 1 y) 2.0) (pow y 2)) in x 1.808 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ 1 y) 2.0) in x 1.808 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ 1 y)) 2.0) 1.808 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ 1 y)) in x 1.808 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.808 * [taylor]: Taking taylor expansion of -1 in x 1.808 * [taylor]: Taking taylor expansion of y in x 1.809 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.809 * [taylor]: Taking taylor expansion of y in x 1.809 * [taylor]: Taking taylor expansion of 2.0 in x 1.809 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.809 * [taylor]: Taking taylor expansion of y in x 1.809 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 4.0) 9.0 (/ (fma (/ -1 y) (/ 1 y) 2.0) (pow y 2))) in x 1.809 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 4.0) 9.0) (/ (fma (/ -1 y) (/ 1 y) 2.0) (pow y 2))) 1.809 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 4.0) 9.0) in x 1.809 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4.0) in x 1.809 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (/ -1 x)))) in x 1.809 * [taylor]: Taking taylor expansion of (* 4.0 (log (/ -1 x))) in x 1.809 * [taylor]: Taking taylor expansion of 4.0 in x 1.809 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 1.809 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.809 * [taylor]: Taking taylor expansion of -1 in x 1.809 * [taylor]: Taking taylor expansion of x in x 1.811 * [taylor]: Taking taylor expansion of 9.0 in x 1.811 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) (/ 1 y) 2.0) (pow y 2)) in x 1.811 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ 1 y) 2.0) in x 1.811 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ 1 y)) 2.0) 1.811 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ 1 y)) in x 1.811 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.811 * [taylor]: Taking taylor expansion of -1 in x 1.811 * [taylor]: Taking taylor expansion of y in x 1.811 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.811 * [taylor]: Taking taylor expansion of y in x 1.811 * [taylor]: Taking taylor expansion of 2.0 in x 1.811 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.811 * [taylor]: Taking taylor expansion of y in x 1.812 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (exp (* 4.0 (- (log -1) (log x))))) (* 2.0 (/ 1 (pow y 2)))) (/ 1 (pow y 4))) in y 1.812 * [taylor]: Taking taylor expansion of (+ (* 9.0 (exp (* 4.0 (- (log -1) (log x))))) (* 2.0 (/ 1 (pow y 2)))) in y 1.812 * [taylor]: Taking taylor expansion of (* 9.0 (exp (* 4.0 (- (log -1) (log x))))) in y 1.812 * [taylor]: Taking taylor expansion of 9.0 in y 1.812 * [taylor]: Taking taylor expansion of (exp (* 4.0 (- (log -1) (log x)))) in y 1.812 * [taylor]: Taking taylor expansion of (* 4.0 (- (log -1) (log x))) in y 1.812 * [taylor]: Taking taylor expansion of 4.0 in y 1.813 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in y 1.813 * [taylor]: Taking taylor expansion of (log -1) in y 1.813 * [taylor]: Taking taylor expansion of -1 in y 1.813 * [taylor]: Taking taylor expansion of (log x) in y 1.813 * [taylor]: Taking taylor expansion of x in y 1.814 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in y 1.814 * [taylor]: Taking taylor expansion of 2.0 in y 1.814 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.814 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.814 * [taylor]: Taking taylor expansion of y in y 1.814 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 1.814 * [taylor]: Taking taylor expansion of (pow y 4) in y 1.814 * [taylor]: Taking taylor expansion of y in y 1.820 * [taylor]: Taking taylor expansion of 0 in y 1.829 * [taylor]: Taking taylor expansion of 0 in y 1.841 * [taylor]: Taking taylor expansion of 0 in y 1.857 * [taylor]: Taking taylor expansion of 0 in y 1.866 * * * [progress]: simplifying candidates 1.866 * [simplify]: Simplifying using # : (expm1 (fma (pow x 4.0) 9.0 (* (* y y) (fma y (- y) 2.0)))) (log1p (fma (pow x 4.0) 9.0 (* (* y y) (fma y (- y) 2.0)))) (* (pow x 4.0) 9.0) (log (fma (pow x 4.0) 9.0 (* (* y y) (fma y (- y) 2.0)))) (exp (fma (pow x 4.0) 9.0 (* (* y y) (fma y (- y) 2.0)))) (* (cbrt (fma (pow x 4.0) 9.0 (* (* y y) (fma y (- y) 2.0)))) (cbrt (fma (pow x 4.0) 9.0 (* (* y y) (fma y (- y) 2.0))))) (cbrt (fma (pow x 4.0) 9.0 (* (* y y) (fma y (- y) 2.0)))) (* (* (fma (pow x 4.0) 9.0 (* (* y y) (fma y (- y) 2.0))) (fma (pow x 4.0) 9.0 (* (* y y) (fma y (- y) 2.0)))) (fma (pow x 4.0) 9.0 (* (* y y) (fma y (- y) 2.0)))) (sqrt (fma (pow x 4.0) 9.0 (* (* y y) (fma y (- y) 2.0)))) (sqrt (fma (pow x 4.0) 9.0 (* (* y y) (fma y (- y) 2.0)))) (+ (* 2.0 (pow y 2)) (* 9.0 (pow x 4))) (- (+ (* 2.0 (pow y 2)) (* 9.0 (pow x 4))) (pow y 4)) (- (+ (* 9.0 (exp (* 4.0 (- (log -1) (log (/ -1 x)))))) (* 2.0 (pow y 2))) (pow y 4)) 1.868 * * [simplify]: iteration 0 : 40 enodes (cost 233 ) 1.873 * * [simplify]: iteration 1 : 81 enodes (cost 230 ) 1.888 * * [simplify]: iteration 2 : 219 enodes (cost 202 ) 1.943 * * [simplify]: iteration 3 : 659 enodes (cost 199 ) 2.205 * * [simplify]: iteration 4 : 2780 enodes (cost 195 ) 3.403 * * [simplify]: iteration done : 5001 enodes (cost 195 ) 3.403 * [simplify]: Simplified to: (expm1 (fma (pow x 4.0) 9.0 (* (* y y) (fma y (- y) 2.0)))) (log1p (fma (pow x 4.0) 9.0 (* (* y y) (fma y (- y) 2.0)))) (* (pow x 4.0) 9.0) (log (fma (pow x 4.0) 9.0 (* (* y y) (fma y (- y) 2.0)))) (exp (fma (pow x 4.0) 9.0 (* (* y y) (fma y (- y) 2.0)))) (* (cbrt (fma (pow x 4.0) 9.0 (* (* y y) (fma y (- y) 2.0)))) (cbrt (fma (pow x 4.0) 9.0 (* (* y y) (fma y (- y) 2.0))))) (cbrt (fma (pow x 4.0) 9.0 (* (* y y) (fma y (- y) 2.0)))) (pow (fma (pow x 4.0) 9.0 (* (* y y) (fma y (- y) 2.0))) 3) (sqrt (fma (pow x 4.0) 9.0 (* (* y y) (fma y (- y) 2.0)))) (sqrt (fma (pow x 4.0) 9.0 (* (* y y) (fma y (- y) 2.0)))) (fma 2.0 (pow y 2) (* 9.0 (pow x 4))) (- (fma 2.0 (pow y 2) (* 9.0 (pow x 4))) (pow y 4)) (fma (fma y (- y) 2.0) (pow y 2) (* (pow x 4.0) 9.0)) 3.403 * * * [progress]: adding candidates to table 3.443 * * [progress]: iteration 2 / 4 3.443 * * * [progress]: picking best candidate 3.448 * * * * [pick]: Picked # 3.448 * * * [progress]: localizing error 3.459 * * * [progress]: generating rewritten candidates 3.460 * * * [progress]: generating series expansions 3.460 * * * [progress]: simplifying candidates 3.460 * [simplify]: Simplifying using # : 3.461 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 3.461 * * [simplify]: iteration done : 0 enodes (cost 0 ) 3.461 * [simplify]: Simplified to: 3.461 * * * [progress]: adding candidates to table 3.461 * [progress]: [Phase 3 of 3] Extracting. 3.464 * [simplify]: Simplifying using # : (fma (fma y (- y) 2.0) (pow y 2) (* (pow x 4.0) 9.0)) 3.464 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 3.465 * * [simplify]: iteration 1 : 13 enodes (cost 14 ) 3.465 * * [simplify]: iteration done : 13 enodes (cost 14 ) 3.465 * [simplify]: Simplified to: (fma (fma y (- y) 2.0) (pow y 2) (* (pow x 4.0) 9.0)) 4.130 * [regime-testing]: End program error score: 0