0.748 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.535 * * * [progress]: [2/2] Setting up program. 0.539 * [progress]: [Phase 2 of 3] Improving. 0.543 * [simplify]: Simplifying: (* 0.5 (- (* x x) y)) 0.544 * * [simplify]: Extracting # 0 : cost 0 0.545 * * [simplify]: Extracting # 1 : cost 0 0.545 * * [simplify]: Extracting # 2 : cost 0 0.545 * * [simplify]: Extracting # 3 : cost 0 0.545 * * [simplify]: Extracting # 4 : cost 0 0.545 * * [simplify]: Extracting # 5 : cost 0 0.545 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.553 * * [simplify]: Extracting # 0 : cost 0 0.553 * * [simplify]: Extracting # 1 : cost 0 0.553 * * [simplify]: Extracting # 2 : cost 0 0.553 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.557 * * [simplify]: Extracting # 0 : cost 0 0.557 * * [simplify]: Extracting # 1 : cost 0 0.557 * * [simplify]: Extracting # 2 : cost 0 0.557 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 0.565 * * [simplify]: Extracting # 0 : cost 0 0.565 * * [simplify]: Extracting # 1 : cost 0 0.565 * * [simplify]: Extracting # 2 : cost 0 0.565 * * [simplify]: iteration 3 : 29 enodes (cost 7 ) 0.577 * * [simplify]: Extracting # 0 : cost 0 0.577 * * [simplify]: Extracting # 1 : cost 0 0.577 * * [simplify]: Extracting # 2 : cost 0 0.577 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 0.590 * * [simplify]: Extracting # 0 : cost 0 0.590 * * [simplify]: iteration 5 : 42 enodes (cost 7 ) 0.604 * * [simplify]: Extracting # 0 : cost 0 0.604 * * [simplify]: iteration done: 42 enodes (cost 7 ) 0.604 * [simplify]: Simplified to: (* 0.5 (- (* x x) y)) 0.628 * * [progress]: iteration 1 / 4 0.628 * * * [progress]: picking best candidate 0.630 * * * * [pick]: Picked # 0.630 * * * [progress]: localizing error 0.638 * * * [progress]: generating rewritten candidates 0.638 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.661 * * * [progress]: generating series expansions 0.662 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.669 * [backup-simplify]: Simplify (- (* x x) y) into (- (pow x 2) y) 0.669 * [approximate]: Taking taylor expansion of (- (pow x 2) y) in (x y) around 0 0.670 * [taylor]: Taking taylor expansion of (- (pow x 2) y) in y 0.671 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.671 * [taylor]: Taking taylor expansion of x in y 0.671 * [backup-simplify]: Simplify x into x 0.671 * [taylor]: Taking taylor expansion of y in y 0.671 * [backup-simplify]: Simplify 0 into 0 0.671 * [backup-simplify]: Simplify 1 into 1 0.671 * [taylor]: Taking taylor expansion of (- (pow x 2) y) in x 0.671 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.671 * [taylor]: Taking taylor expansion of x in x 0.671 * [backup-simplify]: Simplify 0 into 0 0.671 * [backup-simplify]: Simplify 1 into 1 0.671 * [taylor]: Taking taylor expansion of y in x 0.671 * [backup-simplify]: Simplify y into y 0.672 * [taylor]: Taking taylor expansion of (- (pow x 2) y) in x 0.672 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.672 * [taylor]: Taking taylor expansion of x in x 0.672 * [backup-simplify]: Simplify 0 into 0 0.672 * [backup-simplify]: Simplify 1 into 1 0.672 * [taylor]: Taking taylor expansion of y in x 0.672 * [backup-simplify]: Simplify y into y 0.673 * [backup-simplify]: Simplify (- y) into (- y) 0.673 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 0.673 * [taylor]: Taking taylor expansion of (- y) in y 0.673 * [taylor]: Taking taylor expansion of y in y 0.673 * [backup-simplify]: Simplify 0 into 0 0.673 * [backup-simplify]: Simplify 1 into 1 0.674 * [backup-simplify]: Simplify (- 0) into 0 0.674 * [backup-simplify]: Simplify 0 into 0 0.674 * [backup-simplify]: Simplify (- 0) into 0 0.675 * [backup-simplify]: Simplify (+ 0 0) into 0 0.675 * [taylor]: Taking taylor expansion of 0 in y 0.675 * [backup-simplify]: Simplify 0 into 0 0.675 * [backup-simplify]: Simplify 0 into 0 0.675 * [backup-simplify]: Simplify (- 1) into -1 0.675 * [backup-simplify]: Simplify -1 into -1 0.676 * [backup-simplify]: Simplify (* 1 1) into 1 0.676 * [backup-simplify]: Simplify (- 0) into 0 0.677 * [backup-simplify]: Simplify (+ 1 0) into 1 0.677 * [taylor]: Taking taylor expansion of 1 in y 0.677 * [backup-simplify]: Simplify 1 into 1 0.677 * [backup-simplify]: Simplify 1 into 1 0.677 * [backup-simplify]: Simplify 0 into 0 0.678 * [backup-simplify]: Simplify (- 0) into 0 0.678 * [backup-simplify]: Simplify 0 into 0 0.678 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.679 * [backup-simplify]: Simplify (- 0) into 0 0.679 * [backup-simplify]: Simplify (+ 0 0) into 0 0.679 * [taylor]: Taking taylor expansion of 0 in y 0.679 * [backup-simplify]: Simplify 0 into 0 0.679 * [backup-simplify]: Simplify 0 into 0 0.679 * [backup-simplify]: Simplify 0 into 0 0.679 * [backup-simplify]: Simplify 0 into 0 0.680 * [backup-simplify]: Simplify (- 0) into 0 0.680 * [backup-simplify]: Simplify 0 into 0 0.680 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 x) 2)) (* -1 (* y 1))) into (- (pow x 2) y) 0.681 * [backup-simplify]: Simplify (- (* (/ 1 x) (/ 1 x)) (/ 1 y)) into (- (/ 1 (pow x 2)) (/ 1 y)) 0.681 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in (x y) around 0 0.681 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in y 0.681 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.681 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.681 * [taylor]: Taking taylor expansion of x in y 0.681 * [backup-simplify]: Simplify x into x 0.681 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.681 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 0.681 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.682 * [taylor]: Taking taylor expansion of y in y 0.682 * [backup-simplify]: Simplify 0 into 0 0.682 * [backup-simplify]: Simplify 1 into 1 0.682 * [backup-simplify]: Simplify (/ 1 1) into 1 0.682 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in x 0.682 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.682 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.682 * [taylor]: Taking taylor expansion of x in x 0.682 * [backup-simplify]: Simplify 0 into 0 0.682 * [backup-simplify]: Simplify 1 into 1 0.683 * [backup-simplify]: Simplify (* 1 1) into 1 0.683 * [backup-simplify]: Simplify (/ 1 1) into 1 0.683 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.683 * [taylor]: Taking taylor expansion of y in x 0.683 * [backup-simplify]: Simplify y into y 0.683 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.683 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in x 0.683 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.683 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.683 * [taylor]: Taking taylor expansion of x in x 0.683 * [backup-simplify]: Simplify 0 into 0 0.683 * [backup-simplify]: Simplify 1 into 1 0.684 * [backup-simplify]: Simplify (* 1 1) into 1 0.684 * [backup-simplify]: Simplify (/ 1 1) into 1 0.684 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.684 * [taylor]: Taking taylor expansion of y in x 0.684 * [backup-simplify]: Simplify y into y 0.684 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.685 * [backup-simplify]: Simplify (+ 1 0) into 1 0.685 * [taylor]: Taking taylor expansion of 1 in y 0.685 * [backup-simplify]: Simplify 1 into 1 0.686 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.686 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.687 * [backup-simplify]: Simplify (+ 0 0) into 0 0.687 * [taylor]: Taking taylor expansion of 0 in y 0.687 * [backup-simplify]: Simplify 0 into 0 0.687 * [backup-simplify]: Simplify 1 into 1 0.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.688 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.689 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 0.689 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 0.689 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.689 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.689 * [taylor]: Taking taylor expansion of y in y 0.689 * [backup-simplify]: Simplify 0 into 0 0.689 * [backup-simplify]: Simplify 1 into 1 0.689 * [backup-simplify]: Simplify (/ 1 1) into 1 0.690 * [backup-simplify]: Simplify (- 1) into -1 0.690 * [backup-simplify]: Simplify -1 into -1 0.690 * [backup-simplify]: Simplify 0 into 0 0.690 * [backup-simplify]: Simplify 0 into 0 0.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.692 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.692 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.692 * [backup-simplify]: Simplify (- 0) into 0 0.693 * [backup-simplify]: Simplify (+ 0 0) into 0 0.693 * [taylor]: Taking taylor expansion of 0 in y 0.693 * [backup-simplify]: Simplify 0 into 0 0.694 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.694 * [backup-simplify]: Simplify (- 0) into 0 0.694 * [backup-simplify]: Simplify 0 into 0 0.694 * [backup-simplify]: Simplify 0 into 0 0.694 * [backup-simplify]: Simplify 0 into 0 0.695 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.696 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.697 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.697 * [backup-simplify]: Simplify (- 0) into 0 0.697 * [backup-simplify]: Simplify (+ 0 0) into 0 0.697 * [taylor]: Taking taylor expansion of 0 in y 0.697 * [backup-simplify]: Simplify 0 into 0 0.698 * [backup-simplify]: Simplify 0 into 0 0.698 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (/ 1 y)) 1)) (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2))) into (- (pow x 2) y) 0.699 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) (/ 1 (- x))) (/ 1 (- y))) into (+ (/ 1 (pow x 2)) (/ 1 y)) 0.699 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in (x y) around 0 0.699 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in y 0.699 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.699 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.699 * [taylor]: Taking taylor expansion of x in y 0.699 * [backup-simplify]: Simplify x into x 0.699 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.699 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 0.699 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.699 * [taylor]: Taking taylor expansion of y in y 0.699 * [backup-simplify]: Simplify 0 into 0 0.699 * [backup-simplify]: Simplify 1 into 1 0.700 * [backup-simplify]: Simplify (/ 1 1) into 1 0.700 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in x 0.700 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.700 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.700 * [taylor]: Taking taylor expansion of x in x 0.700 * [backup-simplify]: Simplify 0 into 0 0.700 * [backup-simplify]: Simplify 1 into 1 0.700 * [backup-simplify]: Simplify (* 1 1) into 1 0.701 * [backup-simplify]: Simplify (/ 1 1) into 1 0.701 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.701 * [taylor]: Taking taylor expansion of y in x 0.701 * [backup-simplify]: Simplify y into y 0.701 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.701 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in x 0.701 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.701 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.701 * [taylor]: Taking taylor expansion of x in x 0.701 * [backup-simplify]: Simplify 0 into 0 0.701 * [backup-simplify]: Simplify 1 into 1 0.702 * [backup-simplify]: Simplify (* 1 1) into 1 0.702 * [backup-simplify]: Simplify (/ 1 1) into 1 0.702 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.702 * [taylor]: Taking taylor expansion of y in x 0.702 * [backup-simplify]: Simplify y into y 0.702 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.703 * [backup-simplify]: Simplify (+ 1 0) into 1 0.703 * [taylor]: Taking taylor expansion of 1 in y 0.703 * [backup-simplify]: Simplify 1 into 1 0.703 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.704 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.704 * [backup-simplify]: Simplify (+ 0 0) into 0 0.704 * [taylor]: Taking taylor expansion of 0 in y 0.704 * [backup-simplify]: Simplify 0 into 0 0.705 * [backup-simplify]: Simplify 1 into 1 0.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.706 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.707 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 0.707 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.707 * [taylor]: Taking taylor expansion of y in y 0.707 * [backup-simplify]: Simplify 0 into 0 0.707 * [backup-simplify]: Simplify 1 into 1 0.707 * [backup-simplify]: Simplify (/ 1 1) into 1 0.707 * [backup-simplify]: Simplify 1 into 1 0.707 * [backup-simplify]: Simplify 0 into 0 0.707 * [backup-simplify]: Simplify 0 into 0 0.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.709 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.709 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.710 * [backup-simplify]: Simplify (+ 0 0) into 0 0.710 * [taylor]: Taking taylor expansion of 0 in y 0.710 * [backup-simplify]: Simplify 0 into 0 0.710 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.711 * [backup-simplify]: Simplify 0 into 0 0.711 * [backup-simplify]: Simplify 0 into 0 0.711 * [backup-simplify]: Simplify 0 into 0 0.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.713 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.713 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.713 * [backup-simplify]: Simplify (+ 0 0) into 0 0.713 * [taylor]: Taking taylor expansion of 0 in y 0.713 * [backup-simplify]: Simplify 0 into 0 0.713 * [backup-simplify]: Simplify 0 into 0 0.714 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2))) into (- (pow x 2) y) 0.714 * * * [progress]: simplifying candidates 0.715 * [simplify]: Simplifying: (fma x x (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (fma x x (- (* (sqrt y) (sqrt y)))) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (fma x x (- (* y 1))) (fma (- y) 1 (* y 1)) (expm1 (- (* x x) y)) (log1p (- (* x x) y)) (- y) (/ (exp (* x x)) (exp y)) (log (- (* x x) y)) (exp (- (* x x) y)) (* (cbrt (- (* x x) y)) (cbrt (- (* x x) y))) (cbrt (- (* x x) y)) (* (* (- (* x x) y) (- (* x x) y)) (- (* x x) y)) (sqrt (- (* x x) y)) (sqrt (- (* x x) y)) (- (pow (* x x) 3) (pow y 3)) (+ (* (* x x) (* x x)) (+ (* y y) (* (* x x) y))) (- y) (- (* (* x x) (* x x)) (* y y)) (+ (* x x) y) (+ x (sqrt y)) (- x (sqrt y)) (- y) (- (pow x 2) y) (- (pow x 2) y) (- (pow x 2) y) 0.716 * * [simplify]: Extracting # 0 : cost 0 0.716 * * [simplify]: Extracting # 1 : cost 0 0.716 * * [simplify]: Extracting # 2 : cost 0 0.716 * * [simplify]: Extracting # 3 : cost 0 0.717 * * [simplify]: Extracting # 4 : cost 0 0.717 * * [simplify]: Extracting # 5 : cost 0 0.717 * * [simplify]: iteration 0 : 51 enodes (cost 213 ) 0.741 * * [simplify]: Extracting # 0 : cost 0 0.741 * * [simplify]: Extracting # 1 : cost 0 0.742 * * [simplify]: Extracting # 2 : cost 0 0.742 * * [simplify]: Extracting # 3 : cost 0 0.742 * * [simplify]: Extracting # 4 : cost 0 0.742 * * [simplify]: iteration 1 : 114 enodes (cost 179 ) 0.824 * * [simplify]: Extracting # 0 : cost 0 0.824 * * [simplify]: Extracting # 1 : cost 0 0.825 * * [simplify]: Extracting # 2 : cost 0 0.825 * * [simplify]: Extracting # 3 : cost 0 0.826 * * [simplify]: Extracting # 4 : cost 0 0.826 * * [simplify]: iteration 2 : 243 enodes (cost 151 ) 0.985 * * [simplify]: Extracting # 0 : cost 0 0.987 * * [simplify]: Extracting # 1 : cost 0 0.988 * * [simplify]: Extracting # 2 : cost 0 0.990 * * [simplify]: Extracting # 3 : cost 0 0.991 * * [simplify]: Extracting # 4 : cost 0 0.992 * * [simplify]: iteration 3 : 695 enodes (cost 148 ) 1.879 * * [simplify]: Extracting # 0 : cost 0 1.882 * * [simplify]: Extracting # 1 : cost 0 1.884 * * [simplify]: Extracting # 2 : cost 0 1.887 * * [simplify]: Extracting # 3 : cost 0 1.889 * * [simplify]: Extracting # 4 : cost 0 1.891 * * [simplify]: iteration 4 : 2198 enodes (cost 142 ) 4.272 * * [simplify]: Extracting # 0 : cost 0 4.285 * * [simplify]: Extracting # 1 : cost 0 4.295 * * [simplify]: Extracting # 2 : cost 0 4.304 * * [simplify]: Extracting # 3 : cost 0 4.314 * * [simplify]: Extracting # 4 : cost 0 4.324 * * [simplify]: iteration done: 5000 enodes (cost 142 ) 4.324 * [simplify]: Simplified to: (- (* x x) y) 0 (- (* x x) y) 0 (- (* x x) y) 0 (expm1 (- (* x x) y)) (log1p (- (* x x) y)) (- y) (exp (- (* x x) y)) (log (- (* x x) y)) (exp (- (* x x) y)) (* (cbrt (- (* x x) y)) (cbrt (- (* x x) y))) (cbrt (- (* x x) y)) (pow (- (pow x 2) y) 3) (sqrt (- (* x x) y)) (sqrt (- (* x x) y)) (- (pow x 6) (pow y 3)) (fma y (fma x x y) (pow x 4)) (- y) (- (pow x 4) (* y y)) (fma x x y) (+ x (sqrt y)) (- x (sqrt y)) (- y) (- (* x x) y) (- (* x x) y) (- (* x x) y) 4.325 * * * [progress]: adding candidates to table 4.378 * * [progress]: iteration 2 / 4 4.378 * * * [progress]: picking best candidate 4.381 * * * * [pick]: Picked # 4.381 * * * [progress]: localizing error 4.389 * * * [progress]: generating rewritten candidates 4.389 * * * [progress]: generating series expansions 4.389 * * * [progress]: simplifying candidates 4.389 * [simplify]: Simplifying: 4.389 * * [simplify]: Extracting # 0 : cost 0 4.389 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 4.389 * * [simplify]: Extracting # 0 : cost 0 4.389 * * [simplify]: iteration done: 0 enodes (cost 0 ) 4.389 * [simplify]: Simplified to: 4.389 * * * [progress]: adding candidates to table 4.390 * [progress]: [Phase 3 of 3] Extracting. 4.392 * [simplify]: Simplifying: (* 0.5 (fma x x (- y))) 4.392 * * [simplify]: Extracting # 0 : cost 0 4.392 * * [simplify]: Extracting # 1 : cost 0 4.392 * * [simplify]: Extracting # 2 : cost 0 4.392 * * [simplify]: Extracting # 3 : cost 0 4.392 * * [simplify]: Extracting # 4 : cost 0 4.392 * * [simplify]: Extracting # 5 : cost 0 4.392 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 4.392 * * [simplify]: Extracting # 0 : cost 0 4.392 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 4.392 * * [simplify]: Extracting # 0 : cost 0 4.392 * * [simplify]: iteration done: 7 enodes (cost 7 ) 4.392 * [simplify]: Simplified to: (* 0.5 (fma x x (- y))) 5.399 * [regime-testing]: Baseline error score: 0.016127015876984622 5.401 * [regime-testing]: Oracle error score: 0.016127015876984622 5.401 * [regime-testing]: End program error score: 0.016127015876984622