0.652 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.060 * * * [progress]: [2/2] Setting up program. 0.066 * [progress]: [Phase 2 of 3] Improving. 0.070 * [simplify]: Simplifying: (* 0.5 (- (* x x) y)) 0.071 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.072 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.072 * * [simplify]: Extracting # 2 : cost 4 inf + 1 0.072 * * [simplify]: Extracting # 3 : cost 4 inf + 2 0.073 * * [simplify]: Extracting # 4 : cost 0 inf + 249 0.073 * * [simplify]: iteration 0 : 6 enodes (cost 123 ) 0.079 * * [simplify]: Extracting # 0 : cost 0 inf + 249 0.079 * * [simplify]: Extracting # 1 : cost 1 inf + 249 0.079 * * [simplify]: Extracting # 2 : cost 0 inf + 290 0.080 * * [simplify]: iteration 1 : 10 enodes (cost 123 ) 0.082 * * [simplify]: Extracting # 0 : cost 0 inf + 290 0.082 * * [simplify]: Extracting # 1 : cost 4 inf + 290 0.082 * * [simplify]: Extracting # 2 : cost 0 inf + 618 0.083 * * [simplify]: iteration 2 : 17 enodes (cost 123 ) 0.088 * * [simplify]: Extracting # 0 : cost 0 inf + 618 0.088 * * [simplify]: Extracting # 1 : cost 4 inf + 454 0.088 * * [simplify]: Extracting # 2 : cost 0 inf + 622 0.089 * * [simplify]: iteration 3 : 29 enodes (cost 123 ) 0.097 * * [simplify]: Extracting # 0 : cost 0 inf + 622 0.098 * * [simplify]: Extracting # 1 : cost 1 inf + 538 0.098 * * [simplify]: Extracting # 2 : cost 0 inf + 579 0.099 * * [simplify]: iteration 4 : 40 enodes (cost 123 ) 0.108 * * [simplify]: Extracting # 0 : cost 0 inf + 579 0.109 * * [simplify]: iteration 5 : 42 enodes (cost 123 ) 0.150 * * [simplify]: Extracting # 0 : cost 0 inf + 579 0.150 * * [simplify]: iteration done: 42 enodes (cost 123 ) 0.150 * [simplify]: Simplified to: (* 0.5 (- (* x x) y)) 0.152 * * [progress]: iteration 1 / 4 0.152 * * * [progress]: picking best candidate 0.157 * * * * [pick]: Picked # 0.157 * * * [progress]: localizing error 0.176 * * * [progress]: generating rewritten candidates 0.177 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.198 * * * [progress]: generating series expansions 0.198 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.206 * [backup-simplify]: Simplify (- (* x x) y) into (- (pow x 2) y) 0.206 * [approximate]: Taking taylor expansion of (- (pow x 2) y) in (x y) around 0 0.207 * [taylor]: Taking taylor expansion of (- (pow x 2) y) in y 0.208 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.208 * [taylor]: Taking taylor expansion of x in y 0.208 * [backup-simplify]: Simplify x into x 0.208 * [taylor]: Taking taylor expansion of y in y 0.208 * [backup-simplify]: Simplify 0 into 0 0.208 * [backup-simplify]: Simplify 1 into 1 0.208 * [taylor]: Taking taylor expansion of (- (pow x 2) y) in x 0.208 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.208 * [taylor]: Taking taylor expansion of x in x 0.208 * [backup-simplify]: Simplify 0 into 0 0.208 * [backup-simplify]: Simplify 1 into 1 0.208 * [taylor]: Taking taylor expansion of y in x 0.208 * [backup-simplify]: Simplify y into y 0.209 * [taylor]: Taking taylor expansion of (- (pow x 2) y) in x 0.209 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.209 * [taylor]: Taking taylor expansion of x in x 0.209 * [backup-simplify]: Simplify 0 into 0 0.209 * [backup-simplify]: Simplify 1 into 1 0.209 * [taylor]: Taking taylor expansion of y in x 0.209 * [backup-simplify]: Simplify y into y 0.210 * [backup-simplify]: Simplify (- y) into (- y) 0.210 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 0.210 * [taylor]: Taking taylor expansion of (- y) in y 0.210 * [taylor]: Taking taylor expansion of y in y 0.210 * [backup-simplify]: Simplify 0 into 0 0.210 * [backup-simplify]: Simplify 1 into 1 0.211 * [backup-simplify]: Simplify (- 0) into 0 0.211 * [backup-simplify]: Simplify 0 into 0 0.211 * [backup-simplify]: Simplify (- 0) into 0 0.212 * [backup-simplify]: Simplify (+ 0 0) into 0 0.212 * [taylor]: Taking taylor expansion of 0 in y 0.212 * [backup-simplify]: Simplify 0 into 0 0.212 * [backup-simplify]: Simplify 0 into 0 0.213 * [backup-simplify]: Simplify (- 1) into -1 0.213 * [backup-simplify]: Simplify -1 into -1 0.214 * [backup-simplify]: Simplify (* 1 1) into 1 0.214 * [backup-simplify]: Simplify (- 0) into 0 0.215 * [backup-simplify]: Simplify (+ 1 0) into 1 0.215 * [taylor]: Taking taylor expansion of 1 in y 0.215 * [backup-simplify]: Simplify 1 into 1 0.215 * [backup-simplify]: Simplify 1 into 1 0.215 * [backup-simplify]: Simplify 0 into 0 0.215 * [backup-simplify]: Simplify (- 0) into 0 0.215 * [backup-simplify]: Simplify 0 into 0 0.216 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.216 * [backup-simplify]: Simplify (- 0) into 0 0.217 * [backup-simplify]: Simplify (+ 0 0) into 0 0.217 * [taylor]: Taking taylor expansion of 0 in y 0.217 * [backup-simplify]: Simplify 0 into 0 0.217 * [backup-simplify]: Simplify 0 into 0 0.217 * [backup-simplify]: Simplify 0 into 0 0.217 * [backup-simplify]: Simplify 0 into 0 0.217 * [backup-simplify]: Simplify (- 0) into 0 0.217 * [backup-simplify]: Simplify 0 into 0 0.218 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 x) 2)) (* -1 (* y 1))) into (- (pow x 2) y) 0.218 * [backup-simplify]: Simplify (- (* (/ 1 x) (/ 1 x)) (/ 1 y)) into (- (/ 1 (pow x 2)) (/ 1 y)) 0.218 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in (x y) around 0 0.218 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in y 0.218 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.218 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.219 * [taylor]: Taking taylor expansion of x in y 0.219 * [backup-simplify]: Simplify x into x 0.219 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.219 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 0.219 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.219 * [taylor]: Taking taylor expansion of y in y 0.219 * [backup-simplify]: Simplify 0 into 0 0.219 * [backup-simplify]: Simplify 1 into 1 0.219 * [backup-simplify]: Simplify (/ 1 1) into 1 0.219 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in x 0.219 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.219 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.219 * [taylor]: Taking taylor expansion of x in x 0.219 * [backup-simplify]: Simplify 0 into 0 0.219 * [backup-simplify]: Simplify 1 into 1 0.220 * [backup-simplify]: Simplify (* 1 1) into 1 0.220 * [backup-simplify]: Simplify (/ 1 1) into 1 0.220 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.220 * [taylor]: Taking taylor expansion of y in x 0.220 * [backup-simplify]: Simplify y into y 0.220 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.220 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in x 0.220 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.220 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.220 * [taylor]: Taking taylor expansion of x in x 0.220 * [backup-simplify]: Simplify 0 into 0 0.220 * [backup-simplify]: Simplify 1 into 1 0.220 * [backup-simplify]: Simplify (* 1 1) into 1 0.221 * [backup-simplify]: Simplify (/ 1 1) into 1 0.221 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.221 * [taylor]: Taking taylor expansion of y in x 0.221 * [backup-simplify]: Simplify y into y 0.221 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.221 * [backup-simplify]: Simplify (+ 1 0) into 1 0.221 * [taylor]: Taking taylor expansion of 1 in y 0.221 * [backup-simplify]: Simplify 1 into 1 0.222 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.222 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.222 * [backup-simplify]: Simplify (+ 0 0) into 0 0.222 * [taylor]: Taking taylor expansion of 0 in y 0.222 * [backup-simplify]: Simplify 0 into 0 0.222 * [backup-simplify]: Simplify 1 into 1 0.223 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.223 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.224 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 0.224 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 0.224 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.224 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.224 * [taylor]: Taking taylor expansion of y in y 0.224 * [backup-simplify]: Simplify 0 into 0 0.224 * [backup-simplify]: Simplify 1 into 1 0.224 * [backup-simplify]: Simplify (/ 1 1) into 1 0.224 * [backup-simplify]: Simplify (- 1) into -1 0.224 * [backup-simplify]: Simplify -1 into -1 0.224 * [backup-simplify]: Simplify 0 into 0 0.224 * [backup-simplify]: Simplify 0 into 0 0.225 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.226 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.226 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.226 * [backup-simplify]: Simplify (- 0) into 0 0.226 * [backup-simplify]: Simplify (+ 0 0) into 0 0.226 * [taylor]: Taking taylor expansion of 0 in y 0.226 * [backup-simplify]: Simplify 0 into 0 0.227 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.227 * [backup-simplify]: Simplify (- 0) into 0 0.227 * [backup-simplify]: Simplify 0 into 0 0.227 * [backup-simplify]: Simplify 0 into 0 0.227 * [backup-simplify]: Simplify 0 into 0 0.228 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.228 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.228 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.229 * [backup-simplify]: Simplify (- 0) into 0 0.229 * [backup-simplify]: Simplify (+ 0 0) into 0 0.229 * [taylor]: Taking taylor expansion of 0 in y 0.229 * [backup-simplify]: Simplify 0 into 0 0.229 * [backup-simplify]: Simplify 0 into 0 0.229 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (/ 1 y)) 1)) (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2))) into (- (pow x 2) y) 0.230 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) (/ 1 (- x))) (/ 1 (- y))) into (+ (/ 1 (pow x 2)) (/ 1 y)) 0.230 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in (x y) around 0 0.230 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in y 0.230 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.230 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.230 * [taylor]: Taking taylor expansion of x in y 0.230 * [backup-simplify]: Simplify x into x 0.230 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.230 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 0.230 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.230 * [taylor]: Taking taylor expansion of y in y 0.230 * [backup-simplify]: Simplify 0 into 0 0.230 * [backup-simplify]: Simplify 1 into 1 0.230 * [backup-simplify]: Simplify (/ 1 1) into 1 0.230 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in x 0.230 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.230 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.230 * [taylor]: Taking taylor expansion of x in x 0.230 * [backup-simplify]: Simplify 0 into 0 0.230 * [backup-simplify]: Simplify 1 into 1 0.230 * [backup-simplify]: Simplify (* 1 1) into 1 0.231 * [backup-simplify]: Simplify (/ 1 1) into 1 0.231 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.231 * [taylor]: Taking taylor expansion of y in x 0.231 * [backup-simplify]: Simplify y into y 0.231 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.231 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in x 0.231 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.231 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.231 * [taylor]: Taking taylor expansion of x in x 0.231 * [backup-simplify]: Simplify 0 into 0 0.231 * [backup-simplify]: Simplify 1 into 1 0.231 * [backup-simplify]: Simplify (* 1 1) into 1 0.231 * [backup-simplify]: Simplify (/ 1 1) into 1 0.231 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.231 * [taylor]: Taking taylor expansion of y in x 0.231 * [backup-simplify]: Simplify y into y 0.231 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.232 * [backup-simplify]: Simplify (+ 1 0) into 1 0.232 * [taylor]: Taking taylor expansion of 1 in y 0.232 * [backup-simplify]: Simplify 1 into 1 0.232 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.233 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.233 * [backup-simplify]: Simplify (+ 0 0) into 0 0.233 * [taylor]: Taking taylor expansion of 0 in y 0.233 * [backup-simplify]: Simplify 0 into 0 0.233 * [backup-simplify]: Simplify 1 into 1 0.234 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.234 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.234 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 0.234 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.234 * [taylor]: Taking taylor expansion of y in y 0.234 * [backup-simplify]: Simplify 0 into 0 0.234 * [backup-simplify]: Simplify 1 into 1 0.234 * [backup-simplify]: Simplify (/ 1 1) into 1 0.234 * [backup-simplify]: Simplify 1 into 1 0.234 * [backup-simplify]: Simplify 0 into 0 0.235 * [backup-simplify]: Simplify 0 into 0 0.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.236 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.236 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.236 * [backup-simplify]: Simplify (+ 0 0) into 0 0.236 * [taylor]: Taking taylor expansion of 0 in y 0.236 * [backup-simplify]: Simplify 0 into 0 0.236 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.236 * [backup-simplify]: Simplify 0 into 0 0.236 * [backup-simplify]: Simplify 0 into 0 0.237 * [backup-simplify]: Simplify 0 into 0 0.237 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.238 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.238 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.238 * [backup-simplify]: Simplify (+ 0 0) into 0 0.238 * [taylor]: Taking taylor expansion of 0 in y 0.238 * [backup-simplify]: Simplify 0 into 0 0.238 * [backup-simplify]: Simplify 0 into 0 0.238 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2))) into (- (pow x 2) y) 0.239 * * * [progress]: simplifying candidates 0.239 * [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.240 * * [simplify]: Extracting # 0 : cost 23 inf + 0 0.240 * * [simplify]: Extracting # 1 : cost 47 inf + 0 0.240 * * [simplify]: Extracting # 2 : cost 47 inf + 44 0.240 * * [simplify]: Extracting # 3 : cost 17 inf + 3376 0.241 * * [simplify]: Extracting # 4 : cost 2 inf + 6052 0.241 * * [simplify]: Extracting # 5 : cost 0 inf + 6693 0.242 * * [simplify]: iteration 0 : 51 enodes (cost 4796 ) 0.256 * * [simplify]: Extracting # 0 : cost 0 inf + 6693 0.258 * * [simplify]: Extracting # 1 : cost 26 inf + 5075 0.259 * * [simplify]: Extracting # 2 : cost 5 inf + 6886 0.262 * * [simplify]: Extracting # 3 : cost 2 inf + 7251 0.263 * * [simplify]: Extracting # 4 : cost 0 inf + 7715 0.265 * * [simplify]: iteration 1 : 136 enodes (cost 3561 ) 0.847 * * [simplify]: Extracting # 0 : cost 0 inf + 7715 0.882 * * [simplify]: Extracting # 1 : cost 155 inf + 5108 0.893 * * [simplify]: Extracting # 2 : cost 7 inf + 20742 0.904 * * [simplify]: Extracting # 3 : cost 3 inf + 21039 0.914 * * [simplify]: Extracting # 4 : cost 0 inf + 21935 0.921 * * [simplify]: iteration 2 : 567 enodes (cost 3138 ) 2.311 * * [simplify]: Extracting # 0 : cost 0 inf + 21935 2.332 * * [simplify]: Extracting # 1 : cost 1378 inf + 13633 2.372 * * [simplify]: Extracting # 2 : cost 19 inf + 186041 2.438 * * [simplify]: Extracting # 3 : cost 6 inf + 187676 2.474 * * [simplify]: Extracting # 4 : cost 0 inf + 189578 2.510 * * [simplify]: iteration 3 : 4365 enodes (cost 3090 ) 4.164 * * [simplify]: Extracting # 0 : cost 0 inf + 189578 4.223 * * [simplify]: Extracting # 1 : cost 0 inf + 189153 4.283 * * [simplify]: iteration done: 5000 enodes (cost 3090 ) 4.283 * [simplify]: Simplified to: (- (* x x) y) (- y y) (- (* x x) y) (- y y) (- (* x x) y) (- y y) (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)) (* (* (- (* x x) y) (- (* x x) y)) (- (* x x) y)) (sqrt (- (* x x) y)) (sqrt (- (* x x) y)) (- (* (* x x) (* (* x x) (* x x))) (* (* y y) y)) (fma (* x x) (* x x) (* y (+ y (* x x)))) (- y) (- (* (* x x) (* x x)) (* y y)) (fma x x y) (+ x (sqrt y)) (- x (sqrt y)) (- y) (- (* x x) y) (- (* x x) y) (- (* x x) y) 4.285 * * * [progress]: adding candidates to table 4.380 * * [progress]: iteration 2 / 4 4.380 * * * [progress]: picking best candidate 4.386 * * * * [pick]: Picked # 4.386 * * * [progress]: localizing error 4.406 * * * [progress]: generating rewritten candidates 4.406 * * * [progress]: generating series expansions 4.406 * * * [progress]: simplifying candidates 4.406 * [simplify]: Simplifying: 4.406 * * [simplify]: Extracting # 0 : cost 0 inf + 0 4.406 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 4.407 * * [simplify]: Extracting # 0 : cost 0 inf + 0 4.407 * * [simplify]: iteration done: 0 enodes (cost 0 ) 4.407 * [simplify]: Simplified to: 4.407 * * * [progress]: adding candidates to table 4.408 * [progress]: [Phase 3 of 3] Extracting. 4.415 * [simplify]: Simplifying: (* 0.5 (fma x x (- y))) 4.415 * * [simplify]: Extracting # 0 : cost 1 inf + 0 4.415 * * [simplify]: Extracting # 1 : cost 3 inf + 0 4.415 * * [simplify]: Extracting # 2 : cost 4 inf + 1 4.416 * * [simplify]: Extracting # 3 : cost 4 inf + 2 4.416 * * [simplify]: Extracting # 4 : cost 0 inf + 279 4.416 * * [simplify]: iteration 0 : 6 enodes (cost 138 ) 4.416 * * [simplify]: Extracting # 0 : cost 0 inf + 279 4.416 * * [simplify]: iteration 1 : 7 enodes (cost 138 ) 4.417 * * [simplify]: Extracting # 0 : cost 0 inf + 279 4.417 * * [simplify]: iteration done: 7 enodes (cost 138 ) 4.417 * [simplify]: Simplified to: (* 0.5 (fma x x (- y))) 5.449 * [regime-testing]: Baseline error score: 0.008126015751968996 5.458 * [regime-testing]: Oracle error score: 0.008126015751968996 5.458 * [regime-testing]: End program error score: 0.008126015751968996