1.361 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.141 * * * [progress]: [2/2] Setting up program. 0.146 * [progress]: [Phase 2 of 3] Improving. 0.150 * [simplify]: Simplifying: (* 0.5 (- (* x x) y)) 0.151 * * [simplify]: Extracting # 0 : cost 0 0.152 * * [simplify]: Extracting # 1 : cost 0 0.152 * * [simplify]: Extracting # 2 : cost 0 0.152 * * [simplify]: Extracting # 3 : cost 0 0.152 * * [simplify]: Extracting # 4 : cost 0 0.152 * * [simplify]: Extracting # 5 : cost 0 0.152 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.159 * * [simplify]: Extracting # 0 : cost 0 0.159 * * [simplify]: Extracting # 1 : cost 0 0.160 * * [simplify]: Extracting # 2 : cost 0 0.160 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.163 * * [simplify]: Extracting # 0 : cost 0 0.163 * * [simplify]: Extracting # 1 : cost 0 0.163 * * [simplify]: Extracting # 2 : cost 0 0.163 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 0.171 * * [simplify]: Extracting # 0 : cost 0 0.171 * * [simplify]: Extracting # 1 : cost 0 0.171 * * [simplify]: Extracting # 2 : cost 0 0.171 * * [simplify]: iteration 3 : 29 enodes (cost 7 ) 0.182 * * [simplify]: Extracting # 0 : cost 0 0.182 * * [simplify]: Extracting # 1 : cost 0 0.183 * * [simplify]: Extracting # 2 : cost 0 0.183 * * [simplify]: iteration 4 : 40 enodes (cost 7 ) 0.196 * * [simplify]: Extracting # 0 : cost 0 0.196 * * [simplify]: iteration 5 : 42 enodes (cost 7 ) 0.210 * * [simplify]: Extracting # 0 : cost 0 0.210 * * [simplify]: iteration done: 42 enodes (cost 7 ) 0.210 * [simplify]: Simplified to: (* 0.5 (- (* x x) y)) 0.249 * * [progress]: iteration 1 / 4 0.250 * * * [progress]: picking best candidate 0.253 * * * * [pick]: Picked # 0.253 * * * [progress]: localizing error 0.267 * * * [progress]: generating rewritten candidates 0.268 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.293 * * * [progress]: generating series expansions 0.293 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.301 * [backup-simplify]: Simplify (- (* x x) y) into (- (pow x 2) y) 0.301 * [approximate]: Taking taylor expansion of (- (pow x 2) y) in (x y) around 0 0.302 * [taylor]: Taking taylor expansion of (- (pow x 2) y) in y 0.302 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.302 * [taylor]: Taking taylor expansion of x in y 0.302 * [backup-simplify]: Simplify x into x 0.302 * [taylor]: Taking taylor expansion of y in y 0.302 * [backup-simplify]: Simplify 0 into 0 0.302 * [backup-simplify]: Simplify 1 into 1 0.303 * [taylor]: Taking taylor expansion of (- (pow x 2) y) in x 0.303 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.303 * [taylor]: Taking taylor expansion of x in x 0.303 * [backup-simplify]: Simplify 0 into 0 0.303 * [backup-simplify]: Simplify 1 into 1 0.303 * [taylor]: Taking taylor expansion of y in x 0.303 * [backup-simplify]: Simplify y into y 0.303 * [taylor]: Taking taylor expansion of (- (pow x 2) y) in x 0.303 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.303 * [taylor]: Taking taylor expansion of x in x 0.303 * [backup-simplify]: Simplify 0 into 0 0.303 * [backup-simplify]: Simplify 1 into 1 0.303 * [taylor]: Taking taylor expansion of y in x 0.303 * [backup-simplify]: Simplify y into y 0.304 * [backup-simplify]: Simplify (- y) into (- y) 0.304 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 0.304 * [taylor]: Taking taylor expansion of (- y) in y 0.304 * [taylor]: Taking taylor expansion of y in y 0.304 * [backup-simplify]: Simplify 0 into 0 0.304 * [backup-simplify]: Simplify 1 into 1 0.305 * [backup-simplify]: Simplify (- 0) into 0 0.305 * [backup-simplify]: Simplify 0 into 0 0.306 * [backup-simplify]: Simplify (- 0) into 0 0.306 * [backup-simplify]: Simplify (+ 0 0) into 0 0.306 * [taylor]: Taking taylor expansion of 0 in y 0.306 * [backup-simplify]: Simplify 0 into 0 0.306 * [backup-simplify]: Simplify 0 into 0 0.307 * [backup-simplify]: Simplify (- 1) into -1 0.307 * [backup-simplify]: Simplify -1 into -1 0.307 * [backup-simplify]: Simplify (* 1 1) into 1 0.308 * [backup-simplify]: Simplify (- 0) into 0 0.308 * [backup-simplify]: Simplify (+ 1 0) into 1 0.308 * [taylor]: Taking taylor expansion of 1 in y 0.308 * [backup-simplify]: Simplify 1 into 1 0.308 * [backup-simplify]: Simplify 1 into 1 0.308 * [backup-simplify]: Simplify 0 into 0 0.309 * [backup-simplify]: Simplify (- 0) into 0 0.309 * [backup-simplify]: Simplify 0 into 0 0.309 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.310 * [backup-simplify]: Simplify (- 0) into 0 0.310 * [backup-simplify]: Simplify (+ 0 0) into 0 0.310 * [taylor]: Taking taylor expansion of 0 in y 0.310 * [backup-simplify]: Simplify 0 into 0 0.310 * [backup-simplify]: Simplify 0 into 0 0.310 * [backup-simplify]: Simplify 0 into 0 0.310 * [backup-simplify]: Simplify 0 into 0 0.311 * [backup-simplify]: Simplify (- 0) into 0 0.311 * [backup-simplify]: Simplify 0 into 0 0.311 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 x) 2)) (* -1 (* y 1))) into (- (pow x 2) y) 0.312 * [backup-simplify]: Simplify (- (* (/ 1 x) (/ 1 x)) (/ 1 y)) into (- (/ 1 (pow x 2)) (/ 1 y)) 0.312 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in (x y) around 0 0.312 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in y 0.312 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.312 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.312 * [taylor]: Taking taylor expansion of x in y 0.312 * [backup-simplify]: Simplify x into x 0.312 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.312 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 0.312 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.312 * [taylor]: Taking taylor expansion of y in y 0.313 * [backup-simplify]: Simplify 0 into 0 0.313 * [backup-simplify]: Simplify 1 into 1 0.313 * [backup-simplify]: Simplify (/ 1 1) into 1 0.313 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in x 0.313 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.313 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.313 * [taylor]: Taking taylor expansion of x in x 0.313 * [backup-simplify]: Simplify 0 into 0 0.313 * [backup-simplify]: Simplify 1 into 1 0.314 * [backup-simplify]: Simplify (* 1 1) into 1 0.314 * [backup-simplify]: Simplify (/ 1 1) into 1 0.314 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.314 * [taylor]: Taking taylor expansion of y in x 0.314 * [backup-simplify]: Simplify y into y 0.314 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.314 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in x 0.314 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.314 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.314 * [taylor]: Taking taylor expansion of x in x 0.314 * [backup-simplify]: Simplify 0 into 0 0.314 * [backup-simplify]: Simplify 1 into 1 0.315 * [backup-simplify]: Simplify (* 1 1) into 1 0.315 * [backup-simplify]: Simplify (/ 1 1) into 1 0.315 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.315 * [taylor]: Taking taylor expansion of y in x 0.315 * [backup-simplify]: Simplify y into y 0.315 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.316 * [backup-simplify]: Simplify (+ 1 0) into 1 0.316 * [taylor]: Taking taylor expansion of 1 in y 0.316 * [backup-simplify]: Simplify 1 into 1 0.316 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.317 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.318 * [backup-simplify]: Simplify (+ 0 0) into 0 0.318 * [taylor]: Taking taylor expansion of 0 in y 0.318 * [backup-simplify]: Simplify 0 into 0 0.318 * [backup-simplify]: Simplify 1 into 1 0.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.319 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.319 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 0.319 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 0.319 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.320 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.320 * [taylor]: Taking taylor expansion of y in y 0.320 * [backup-simplify]: Simplify 0 into 0 0.320 * [backup-simplify]: Simplify 1 into 1 0.320 * [backup-simplify]: Simplify (/ 1 1) into 1 0.320 * [backup-simplify]: Simplify (- 1) into -1 0.320 * [backup-simplify]: Simplify -1 into -1 0.320 * [backup-simplify]: Simplify 0 into 0 0.320 * [backup-simplify]: Simplify 0 into 0 0.322 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.322 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.322 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.323 * [backup-simplify]: Simplify (- 0) into 0 0.323 * [backup-simplify]: Simplify (+ 0 0) into 0 0.323 * [taylor]: Taking taylor expansion of 0 in y 0.323 * [backup-simplify]: Simplify 0 into 0 0.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.324 * [backup-simplify]: Simplify (- 0) into 0 0.324 * [backup-simplify]: Simplify 0 into 0 0.324 * [backup-simplify]: Simplify 0 into 0 0.324 * [backup-simplify]: Simplify 0 into 0 0.326 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.328 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.328 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.328 * [backup-simplify]: Simplify (- 0) into 0 0.329 * [backup-simplify]: Simplify (+ 0 0) into 0 0.329 * [taylor]: Taking taylor expansion of 0 in y 0.329 * [backup-simplify]: Simplify 0 into 0 0.329 * [backup-simplify]: Simplify 0 into 0 0.329 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (/ 1 y)) 1)) (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2))) into (- (pow x 2) y) 0.330 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) (/ 1 (- x))) (/ 1 (- y))) into (+ (/ 1 (pow x 2)) (/ 1 y)) 0.330 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in (x y) around 0 0.330 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in y 0.330 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.330 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.330 * [taylor]: Taking taylor expansion of x in y 0.330 * [backup-simplify]: Simplify x into x 0.330 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.330 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 0.330 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.330 * [taylor]: Taking taylor expansion of y in y 0.330 * [backup-simplify]: Simplify 0 into 0 0.330 * [backup-simplify]: Simplify 1 into 1 0.331 * [backup-simplify]: Simplify (/ 1 1) into 1 0.331 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in x 0.331 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.331 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.331 * [taylor]: Taking taylor expansion of x in x 0.331 * [backup-simplify]: Simplify 0 into 0 0.331 * [backup-simplify]: Simplify 1 into 1 0.331 * [backup-simplify]: Simplify (* 1 1) into 1 0.332 * [backup-simplify]: Simplify (/ 1 1) into 1 0.332 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.332 * [taylor]: Taking taylor expansion of y in x 0.332 * [backup-simplify]: Simplify y into y 0.332 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.332 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in x 0.332 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.332 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.332 * [taylor]: Taking taylor expansion of x in x 0.332 * [backup-simplify]: Simplify 0 into 0 0.332 * [backup-simplify]: Simplify 1 into 1 0.332 * [backup-simplify]: Simplify (* 1 1) into 1 0.333 * [backup-simplify]: Simplify (/ 1 1) into 1 0.333 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.333 * [taylor]: Taking taylor expansion of y in x 0.333 * [backup-simplify]: Simplify y into y 0.333 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.333 * [backup-simplify]: Simplify (+ 1 0) into 1 0.334 * [taylor]: Taking taylor expansion of 1 in y 0.334 * [backup-simplify]: Simplify 1 into 1 0.334 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.335 * [backup-simplify]: Simplify (+ 0 0) into 0 0.335 * [taylor]: Taking taylor expansion of 0 in y 0.335 * [backup-simplify]: Simplify 0 into 0 0.335 * [backup-simplify]: Simplify 1 into 1 0.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.338 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.338 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 0.338 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.338 * [taylor]: Taking taylor expansion of y in y 0.338 * [backup-simplify]: Simplify 0 into 0 0.338 * [backup-simplify]: Simplify 1 into 1 0.338 * [backup-simplify]: Simplify (/ 1 1) into 1 0.338 * [backup-simplify]: Simplify 1 into 1 0.338 * [backup-simplify]: Simplify 0 into 0 0.338 * [backup-simplify]: Simplify 0 into 0 0.339 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.340 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.341 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.341 * [backup-simplify]: Simplify (+ 0 0) into 0 0.341 * [taylor]: Taking taylor expansion of 0 in y 0.341 * [backup-simplify]: Simplify 0 into 0 0.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.342 * [backup-simplify]: Simplify 0 into 0 0.342 * [backup-simplify]: Simplify 0 into 0 0.342 * [backup-simplify]: Simplify 0 into 0 0.343 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.344 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.344 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.345 * [backup-simplify]: Simplify (+ 0 0) into 0 0.345 * [taylor]: Taking taylor expansion of 0 in y 0.345 * [backup-simplify]: Simplify 0 into 0 0.345 * [backup-simplify]: Simplify 0 into 0 0.345 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2))) into (- (pow x 2) y) 0.345 * * * [progress]: simplifying candidates 0.347 * [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.348 * * [simplify]: Extracting # 0 : cost 0 0.348 * * [simplify]: Extracting # 1 : cost 0 0.348 * * [simplify]: Extracting # 2 : cost 0 0.348 * * [simplify]: Extracting # 3 : cost 0 0.348 * * [simplify]: Extracting # 4 : cost 0 0.348 * * [simplify]: Extracting # 5 : cost 0 0.348 * * [simplify]: iteration 0 : 51 enodes (cost 213 ) 0.374 * * [simplify]: Extracting # 0 : cost 0 0.374 * * [simplify]: Extracting # 1 : cost 0 0.374 * * [simplify]: Extracting # 2 : cost 0 0.375 * * [simplify]: Extracting # 3 : cost 0 0.375 * * [simplify]: Extracting # 4 : cost 0 0.375 * * [simplify]: iteration 1 : 114 enodes (cost 179 ) 0.458 * * [simplify]: Extracting # 0 : cost 0 0.458 * * [simplify]: Extracting # 1 : cost 0 0.459 * * [simplify]: Extracting # 2 : cost 0 0.459 * * [simplify]: Extracting # 3 : cost 0 0.459 * * [simplify]: Extracting # 4 : cost 0 0.460 * * [simplify]: iteration 2 : 243 enodes (cost 151 ) 0.620 * * [simplify]: Extracting # 0 : cost 0 0.621 * * [simplify]: Extracting # 1 : cost 0 0.623 * * [simplify]: Extracting # 2 : cost 0 0.624 * * [simplify]: Extracting # 3 : cost 0 0.626 * * [simplify]: Extracting # 4 : cost 0 0.627 * * [simplify]: iteration 3 : 695 enodes (cost 148 ) 1.511 * * [simplify]: Extracting # 0 : cost 0 1.514 * * [simplify]: Extracting # 1 : cost 0 1.516 * * [simplify]: Extracting # 2 : cost 0 1.518 * * [simplify]: Extracting # 3 : cost 0 1.520 * * [simplify]: Extracting # 4 : cost 0 1.522 * * [simplify]: iteration 4 : 2198 enodes (cost 142 ) 4.056 * * [simplify]: Extracting # 0 : cost 0 4.069 * * [simplify]: Extracting # 1 : cost 0 4.077 * * [simplify]: Extracting # 2 : cost 0 4.082 * * [simplify]: Extracting # 3 : cost 0 4.088 * * [simplify]: Extracting # 4 : cost 0 4.093 * * [simplify]: iteration done: 5000 enodes (cost 142 ) 4.093 * [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.094 * * * [progress]: adding candidates to table 4.135 * * [progress]: iteration 2 / 4 4.136 * * * [progress]: picking best candidate 4.137 * * * * [pick]: Picked # 4.137 * * * [progress]: localizing error 4.143 * * * [progress]: generating rewritten candidates 4.143 * * * [progress]: generating series expansions 4.143 * * * [progress]: simplifying candidates 4.144 * [simplify]: Simplifying: 4.144 * * [simplify]: Extracting # 0 : cost 0 4.144 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 4.144 * * [simplify]: Extracting # 0 : cost 0 4.144 * * [simplify]: iteration done: 0 enodes (cost 0 ) 4.144 * [simplify]: Simplified to: 4.144 * * * [progress]: adding candidates to table 4.144 * [progress]: [Phase 3 of 3] Extracting. 4.146 * [simplify]: Simplifying: (* 0.5 (fma x x (- y))) 4.146 * * [simplify]: Extracting # 0 : cost 0 4.146 * * [simplify]: Extracting # 1 : cost 0 4.146 * * [simplify]: Extracting # 2 : cost 0 4.146 * * [simplify]: Extracting # 3 : cost 0 4.146 * * [simplify]: Extracting # 4 : cost 0 4.146 * * [simplify]: Extracting # 5 : cost 0 4.146 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 4.147 * * [simplify]: Extracting # 0 : cost 0 4.147 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 4.147 * * [simplify]: Extracting # 0 : cost 0 4.147 * * [simplify]: iteration done: 7 enodes (cost 7 ) 4.147 * [simplify]: Simplified to: (* 0.5 (fma x x (- y))) 5.018 * [regime-testing]: Baseline error score: 0.016002000250031255 5.023 * [regime-testing]: Oracle error score: 0.016002000250031255 5.023 * [regime-testing]: End program error score: 0.016002000250031255