0.514 * [progress]: [Phase 1 of 3] Setting up. 0.004 * * * [progress]: [1/2] Preparing points 0.121 * * * [progress]: [2/2] Setting up program. 0.127 * [progress]: [Phase 2 of 3] Improving. 0.127 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.130 * [simplify]: Simplifying: (* 0.5 (- (* x x) y)) 0.131 * * [simplify]: iteration 0: 6 enodes 0.138 * * [simplify]: iteration 1: 10 enodes 0.141 * * [simplify]: iteration 2: 17 enodes 0.147 * * [simplify]: iteration 3: 29 enodes 0.156 * * [simplify]: iteration 4: 40 enodes 0.167 * * [simplify]: iteration 5: 42 enodes 0.178 * * [simplify]: iteration complete: 42 enodes 0.178 * * [simplify]: Extracting #0: cost 1 inf + 0 0.178 * * [simplify]: Extracting #1: cost 12 inf + 0 0.179 * * [simplify]: Extracting #2: cost 8 inf + 44 0.179 * * [simplify]: Extracting #3: cost 0 inf + 579 0.180 * [simplify]: Simplified to: (* (- (* x x) y) 0.5) 0.183 * * [progress]: iteration 1 / 4 0.183 * * * [progress]: picking best candidate 0.186 * * * * [pick]: Picked # 0.186 * * * [progress]: localizing error 0.196 * * * [progress]: generating rewritten candidates 0.196 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.219 * * * [progress]: generating series expansions 0.220 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.229 * [backup-simplify]: Simplify (- (* x x) y) into (- (pow x 2) y) 0.229 * [approximate]: Taking taylor expansion of (- (pow x 2) y) in (x y) around 0 0.230 * [taylor]: Taking taylor expansion of (- (pow x 2) y) 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.231 * [taylor]: Taking taylor expansion of y in y 0.231 * [backup-simplify]: Simplify 0 into 0 0.231 * [backup-simplify]: Simplify 1 into 1 0.231 * [taylor]: Taking taylor expansion of (- (pow x 2) y) 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 * [taylor]: Taking taylor expansion of y in x 0.231 * [backup-simplify]: Simplify y into y 0.232 * [taylor]: Taking taylor expansion of (- (pow x 2) y) in x 0.232 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.232 * [taylor]: Taking taylor expansion of x in x 0.232 * [backup-simplify]: Simplify 0 into 0 0.232 * [backup-simplify]: Simplify 1 into 1 0.232 * [taylor]: Taking taylor expansion of y in x 0.232 * [backup-simplify]: Simplify y into y 0.233 * [backup-simplify]: Simplify (- y) into (- y) 0.233 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 0.233 * [taylor]: Taking taylor expansion of (- y) in y 0.233 * [taylor]: Taking taylor expansion of y in y 0.233 * [backup-simplify]: Simplify 0 into 0 0.233 * [backup-simplify]: Simplify 1 into 1 0.234 * [backup-simplify]: Simplify (- 0) into 0 0.234 * [backup-simplify]: Simplify 0 into 0 0.235 * [backup-simplify]: Simplify (- 0) into 0 0.235 * [backup-simplify]: Simplify (+ 0 0) into 0 0.235 * [taylor]: Taking taylor expansion of 0 in y 0.235 * [backup-simplify]: Simplify 0 into 0 0.235 * [backup-simplify]: Simplify 0 into 0 0.236 * [backup-simplify]: Simplify (- 1) into -1 0.236 * [backup-simplify]: Simplify -1 into -1 0.237 * [backup-simplify]: Simplify (* 1 1) into 1 0.237 * [backup-simplify]: Simplify (- 0) into 0 0.237 * [backup-simplify]: Simplify (+ 1 0) into 1 0.237 * [taylor]: Taking taylor expansion of 1 in y 0.237 * [backup-simplify]: Simplify 1 into 1 0.237 * [backup-simplify]: Simplify 1 into 1 0.237 * [backup-simplify]: Simplify 0 into 0 0.237 * [backup-simplify]: Simplify (- 0) into 0 0.237 * [backup-simplify]: Simplify 0 into 0 0.238 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.238 * [backup-simplify]: Simplify (- 0) 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.239 * [backup-simplify]: Simplify 0 into 0 0.239 * [backup-simplify]: Simplify 0 into 0 0.239 * [backup-simplify]: Simplify (- 0) into 0 0.239 * [backup-simplify]: Simplify 0 into 0 0.239 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 x) 2)) (* -1 (* y 1))) into (- (pow x 2) y) 0.239 * [backup-simplify]: Simplify (- (* (/ 1 x) (/ 1 x)) (/ 1 y)) into (- (/ 1 (pow x 2)) (/ 1 y)) 0.239 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in (x y) around 0 0.239 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in y 0.239 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.239 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.239 * [taylor]: Taking taylor expansion of x in y 0.240 * [backup-simplify]: Simplify x into x 0.240 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.240 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 0.240 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.240 * [taylor]: Taking taylor expansion of y in y 0.240 * [backup-simplify]: Simplify 0 into 0 0.240 * [backup-simplify]: Simplify 1 into 1 0.240 * [backup-simplify]: Simplify (/ 1 1) into 1 0.240 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in x 0.240 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.240 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.240 * [taylor]: Taking taylor expansion of x in x 0.240 * [backup-simplify]: Simplify 0 into 0 0.240 * [backup-simplify]: Simplify 1 into 1 0.240 * [backup-simplify]: Simplify (* 1 1) into 1 0.241 * [backup-simplify]: Simplify (/ 1 1) into 1 0.241 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.241 * [taylor]: Taking taylor expansion of y in x 0.241 * [backup-simplify]: Simplify y into y 0.241 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.241 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 y)) in x 0.241 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.241 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.241 * [taylor]: Taking taylor expansion of x in x 0.241 * [backup-simplify]: Simplify 0 into 0 0.241 * [backup-simplify]: Simplify 1 into 1 0.241 * [backup-simplify]: Simplify (* 1 1) into 1 0.241 * [backup-simplify]: Simplify (/ 1 1) into 1 0.241 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.241 * [taylor]: Taking taylor expansion of y in x 0.241 * [backup-simplify]: Simplify y into y 0.241 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.242 * [backup-simplify]: Simplify (+ 1 0) into 1 0.242 * [taylor]: Taking taylor expansion of 1 in y 0.242 * [backup-simplify]: Simplify 1 into 1 0.242 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.243 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.243 * [backup-simplify]: Simplify (+ 0 0) into 0 0.243 * [taylor]: Taking taylor expansion of 0 in y 0.243 * [backup-simplify]: Simplify 0 into 0 0.243 * [backup-simplify]: Simplify 1 into 1 0.244 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.244 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.244 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 0.244 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 0.245 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.245 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.245 * [taylor]: Taking taylor expansion of y in y 0.245 * [backup-simplify]: Simplify 0 into 0 0.245 * [backup-simplify]: Simplify 1 into 1 0.245 * [backup-simplify]: Simplify (/ 1 1) into 1 0.245 * [backup-simplify]: Simplify (- 1) into -1 0.245 * [backup-simplify]: Simplify -1 into -1 0.245 * [backup-simplify]: Simplify 0 into 0 0.246 * [backup-simplify]: Simplify 0 into 0 0.248 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.248 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.248 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.249 * [backup-simplify]: Simplify (- 0) into 0 0.249 * [backup-simplify]: Simplify (+ 0 0) into 0 0.249 * [taylor]: Taking taylor expansion of 0 in y 0.249 * [backup-simplify]: Simplify 0 into 0 0.249 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.250 * [backup-simplify]: Simplify (- 0) into 0 0.250 * [backup-simplify]: Simplify 0 into 0 0.250 * [backup-simplify]: Simplify 0 into 0 0.250 * [backup-simplify]: Simplify 0 into 0 0.250 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.251 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.251 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.251 * [backup-simplify]: Simplify (- 0) into 0 0.252 * [backup-simplify]: Simplify (+ 0 0) into 0 0.252 * [taylor]: Taking taylor expansion of 0 in y 0.252 * [backup-simplify]: Simplify 0 into 0 0.252 * [backup-simplify]: Simplify 0 into 0 0.252 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (/ 1 y)) 1)) (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2))) into (- (pow x 2) y) 0.252 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) (/ 1 (- x))) (/ 1 (- y))) into (+ (/ 1 (pow x 2)) (/ 1 y)) 0.252 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in (x y) around 0 0.252 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in y 0.252 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.252 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.252 * [taylor]: Taking taylor expansion of x in y 0.252 * [backup-simplify]: Simplify x into x 0.252 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.253 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 0.253 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.253 * [taylor]: Taking taylor expansion of y in y 0.253 * [backup-simplify]: Simplify 0 into 0 0.253 * [backup-simplify]: Simplify 1 into 1 0.254 * [backup-simplify]: Simplify (/ 1 1) into 1 0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in x 0.254 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.254 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.254 * [taylor]: Taking taylor expansion of x in x 0.254 * [backup-simplify]: Simplify 0 into 0 0.254 * [backup-simplify]: Simplify 1 into 1 0.254 * [backup-simplify]: Simplify (* 1 1) into 1 0.254 * [backup-simplify]: Simplify (/ 1 1) into 1 0.254 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.254 * [taylor]: Taking taylor expansion of y in x 0.254 * [backup-simplify]: Simplify y into y 0.254 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 y)) in x 0.254 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.254 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.254 * [taylor]: Taking taylor expansion of x in x 0.254 * [backup-simplify]: Simplify 0 into 0 0.254 * [backup-simplify]: Simplify 1 into 1 0.255 * [backup-simplify]: Simplify (* 1 1) into 1 0.255 * [backup-simplify]: Simplify (/ 1 1) into 1 0.255 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.255 * [taylor]: Taking taylor expansion of y in x 0.255 * [backup-simplify]: Simplify y into y 0.255 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.255 * [backup-simplify]: Simplify (+ 1 0) into 1 0.255 * [taylor]: Taking taylor expansion of 1 in y 0.255 * [backup-simplify]: Simplify 1 into 1 0.256 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.256 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.257 * [backup-simplify]: Simplify (+ 0 0) into 0 0.257 * [taylor]: Taking taylor expansion of 0 in y 0.257 * [backup-simplify]: Simplify 0 into 0 0.257 * [backup-simplify]: Simplify 1 into 1 0.257 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.258 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.258 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 0.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.258 * [taylor]: Taking taylor expansion of y in y 0.258 * [backup-simplify]: Simplify 0 into 0 0.258 * [backup-simplify]: Simplify 1 into 1 0.258 * [backup-simplify]: Simplify (/ 1 1) into 1 0.258 * [backup-simplify]: Simplify 1 into 1 0.258 * [backup-simplify]: Simplify 0 into 0 0.258 * [backup-simplify]: Simplify 0 into 0 0.259 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.259 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.259 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.260 * [backup-simplify]: Simplify (+ 0 0) into 0 0.260 * [taylor]: Taking taylor expansion of 0 in y 0.260 * [backup-simplify]: Simplify 0 into 0 0.260 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.260 * [backup-simplify]: Simplify 0 into 0 0.260 * [backup-simplify]: Simplify 0 into 0 0.260 * [backup-simplify]: Simplify 0 into 0 0.261 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.262 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.262 * [backup-simplify]: Simplify (+ 0 0) into 0 0.262 * [taylor]: Taking taylor expansion of 0 in y 0.262 * [backup-simplify]: Simplify 0 into 0 0.262 * [backup-simplify]: Simplify 0 into 0 0.262 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2))) into (- (pow x 2) y) 0.262 * * * [progress]: simplifying candidates 0.262 * * * * [progress]: [ 1 / 23 ] simplifiying candidate # 0.262 * * * * [progress]: [ 2 / 23 ] simplifiying candidate # 0.262 * * * * [progress]: [ 3 / 23 ] simplifiying candidate # 0.262 * * * * [progress]: [ 4 / 23 ] simplifiying candidate # 0.262 * * * * [progress]: [ 5 / 23 ] simplifiying candidate # 0.262 * * * * [progress]: [ 6 / 23 ] simplifiying candidate # 0.262 * * * * [progress]: [ 7 / 23 ] simplifiying candidate # 0.263 * * * * [progress]: [ 8 / 23 ] simplifiying candidate # 0.263 * * * * [progress]: [ 9 / 23 ] simplifiying candidate # 0.263 * * * * [progress]: [ 10 / 23 ] simplifiying candidate # 0.263 * * * * [progress]: [ 11 / 23 ] simplifiying candidate # 0.263 * * * * [progress]: [ 12 / 23 ] simplifiying candidate # 0.263 * * * * [progress]: [ 13 / 23 ] simplifiying candidate # 0.263 * * * * [progress]: [ 14 / 23 ] simplifiying candidate # 0.263 * * * * [progress]: [ 15 / 23 ] simplifiying candidate # 0.263 * * * * [progress]: [ 16 / 23 ] simplifiying candidate # 0.263 * * * * [progress]: [ 17 / 23 ] simplifiying candidate # 0.263 * * * * [progress]: [ 18 / 23 ] simplifiying candidate # 0.263 * * * * [progress]: [ 19 / 23 ] simplifiying candidate # 0.263 * * * * [progress]: [ 20 / 23 ] simplifiying candidate #real (real->posit16 (- (* x x) y)))))> 0.263 * * * * [progress]: [ 21 / 23 ] simplifiying candidate # 0.263 * * * * [progress]: [ 22 / 23 ] simplifiying candidate # 0.263 * * * * [progress]: [ 23 / 23 ] simplifiying candidate # 0.264 * [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) (real->posit16 (- (* x x) y)) (- (pow x 2) y) (- (pow x 2) y) (- (pow x 2) y) 0.264 * * [simplify]: iteration 0: 52 enodes 0.274 * * [simplify]: iteration 1: 124 enodes 0.327 * * [simplify]: iteration 2: 295 enodes 0.473 * * [simplify]: iteration 3: 917 enodes 1.830 * * [simplify]: iteration 4: 3449 enodes 2.545 * * [simplify]: iteration complete: 5000 enodes 2.545 * * [simplify]: Extracting #0: cost 18 inf + 0 2.546 * * [simplify]: Extracting #1: cost 319 inf + 0 2.552 * * [simplify]: Extracting #2: cost 493 inf + 10695 2.571 * * [simplify]: Extracting #3: cost 100 inf + 64994 2.623 * * [simplify]: Extracting #4: cost 9 inf + 88501 2.683 * * [simplify]: Extracting #5: cost 0 inf + 91673 2.722 * [simplify]: Simplified to: (- (* x x) y) (fma -1 y y) (- (* x x) y) (fma -1 y y) (- (* x x) y) (fma -1 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 y y (* (* x x) (+ y (* x x)))) (- y) (- (* (* x x) (* x x)) (* y y)) (fma x x y) (+ x (sqrt y)) (- x (sqrt y)) (- y) (real->posit16 (- (* x x) y)) (- (* x x) y) (- (* x x) y) (- (* x x) y) 2.723 * * * [progress]: adding candidates to table 2.811 * * [progress]: iteration 2 / 4 2.811 * * * [progress]: picking best candidate 2.813 * * * * [pick]: Picked # 2.813 * * * [progress]: localizing error 2.823 * * * [progress]: generating rewritten candidates 2.823 * * * [progress]: generating series expansions 2.823 * * * [progress]: simplifying candidates 2.823 * [simplify]: Simplifying: 2.823 * * [simplify]: iteration 0: 0 enodes 2.824 * * [simplify]: iteration complete: 0 enodes 2.824 * * [simplify]: Extracting #0: cost 0 inf + 0 2.824 * [simplify]: Simplified to: 2.824 * * * [progress]: adding candidates to table 2.824 * [progress]: [Phase 3 of 3] Extracting. 2.827 * [simplify]: Simplifying: (* 0.5 (fma x x (- y))) 2.827 * * [simplify]: iteration 0: 6 enodes 2.827 * * [simplify]: iteration 1: 7 enodes 2.827 * * [simplify]: iteration complete: 7 enodes 2.827 * * [simplify]: Extracting #0: cost 1 inf + 0 2.827 * * [simplify]: Extracting #1: cost 3 inf + 0 2.827 * * [simplify]: Extracting #2: cost 4 inf + 1 2.827 * * [simplify]: Extracting #3: cost 4 inf + 2 2.827 * * [simplify]: Extracting #4: cost 0 inf + 279 2.827 * [simplify]: Simplified to: (* (fma x x (- y)) 0.5) 3.915 * [regime-testing]: Baseline error score: 0.032127067954241986 3.917 * [regime-testing]: Oracle error score: 0.032127067954241986 3.918 * [regime-testing]: End program error score: 0.032127067954241986