0.002 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.026 * * * [progress]: [2/2] Setting up program. 0.028 * [progress]: [Phase 2 of 3] Improving. 0.028 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.029 * [simplify]: Simplifying (+ (* x (* x x)) (* x x)) 0.029 * * [simplify]: iteration 1: (4 enodes) 0.031 * * [simplify]: iteration 2: (22 enodes) 0.037 * * [simplify]: iteration 3: (46 enodes) 0.055 * * [simplify]: iteration 4: (72 enodes) 0.074 * * [simplify]: iteration 5: (118 enodes) 0.097 * * [simplify]: iteration 6: (195 enodes) 0.144 * * [simplify]: iteration 7: (347 enodes) 0.259 * * [simplify]: iteration 8: (795 enodes) 1.126 * * [simplify]: Extracting #0: cost 1 inf + 0 1.126 * * [simplify]: Extracting #1: cost 17 inf + 0 1.127 * * [simplify]: Extracting #2: cost 195 inf + 2 1.128 * * [simplify]: Extracting #3: cost 275 inf + 2700 1.132 * * [simplify]: Extracting #4: cost 210 inf + 35169 1.142 * * [simplify]: Extracting #5: cost 54 inf + 151122 1.162 * * [simplify]: Extracting #6: cost 0 inf + 197928 1.187 * * [simplify]: Extracting #7: cost 0 inf + 197807 1.210 * [simplify]: Simplified to (fma (* x x) x (* x x)) 1.216 * * [progress]: iteration 1 / 4 1.216 * * * [progress]: picking best candidate 1.218 * * * * [pick]: Picked # 1.218 * * * [progress]: localizing error 1.227 * * * [progress]: generating rewritten candidates 1.227 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.227 * * * [progress]: generating series expansions 1.227 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.228 * [backup-simplify]: Simplify (fma (* x x) x (* x x)) into (fma (pow x 2) x (pow x 2)) 1.228 * [approximate]: Taking taylor expansion of (fma (pow x 2) x (pow x 2)) in (x) around 0 1.228 * [taylor]: Taking taylor expansion of (fma (pow x 2) x (pow x 2)) in x 1.228 * [taylor]: Rewrote expression to (+ (* (pow x 2) x) (pow x 2)) 1.228 * [taylor]: Taking taylor expansion of (* (pow x 2) x) in x 1.228 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.228 * [taylor]: Taking taylor expansion of x in x 1.228 * [backup-simplify]: Simplify 0 into 0 1.228 * [backup-simplify]: Simplify 1 into 1 1.228 * [taylor]: Taking taylor expansion of x in x 1.228 * [backup-simplify]: Simplify 0 into 0 1.228 * [backup-simplify]: Simplify 1 into 1 1.228 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.228 * [taylor]: Taking taylor expansion of x in x 1.228 * [backup-simplify]: Simplify 0 into 0 1.228 * [backup-simplify]: Simplify 1 into 1 1.228 * [taylor]: Taking taylor expansion of (fma (pow x 2) x (pow x 2)) in x 1.228 * [taylor]: Rewrote expression to (+ (* (pow x 2) x) (pow x 2)) 1.228 * [taylor]: Taking taylor expansion of (* (pow x 2) x) in x 1.228 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.228 * [taylor]: Taking taylor expansion of x in x 1.228 * [backup-simplify]: Simplify 0 into 0 1.228 * [backup-simplify]: Simplify 1 into 1 1.228 * [taylor]: Taking taylor expansion of x in x 1.228 * [backup-simplify]: Simplify 0 into 0 1.228 * [backup-simplify]: Simplify 1 into 1 1.228 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.228 * [taylor]: Taking taylor expansion of x in x 1.228 * [backup-simplify]: Simplify 0 into 0 1.228 * [backup-simplify]: Simplify 1 into 1 1.229 * [backup-simplify]: Simplify (* 1 1) into 1 1.229 * [backup-simplify]: Simplify (* 1 0) into 0 1.229 * [backup-simplify]: Simplify (* 1 1) into 1 1.230 * [backup-simplify]: Simplify (+ 0 1) into 1 1.230 * [backup-simplify]: Simplify 1 into 1 1.230 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.231 * [backup-simplify]: Simplify (+ (* 1 1) (* 0 0)) into 1 1.231 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.232 * [backup-simplify]: Simplify (+ 1 0) into 1 1.232 * [backup-simplify]: Simplify 1 into 1 1.233 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.233 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1) (* 0 0))) into 0 1.234 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.234 * [backup-simplify]: Simplify (+ 0 0) into 0 1.234 * [backup-simplify]: Simplify 0 into 0 1.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.236 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.237 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.237 * [backup-simplify]: Simplify (+ 0 0) into 0 1.237 * [backup-simplify]: Simplify 0 into 0 1.238 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.239 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.240 * [backup-simplify]: Simplify (+ 0 0) into 0 1.240 * [backup-simplify]: Simplify 0 into 0 1.241 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1.243 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.244 * [backup-simplify]: Simplify (+ 0 0) into 0 1.244 * [backup-simplify]: Simplify 0 into 0 1.245 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.246 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1.247 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.247 * [backup-simplify]: Simplify (+ 0 0) into 0 1.247 * [backup-simplify]: Simplify 0 into 0 1.249 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1.250 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1.251 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1.251 * [backup-simplify]: Simplify (+ 0 0) into 0 1.251 * [backup-simplify]: Simplify 0 into 0 1.252 * [backup-simplify]: Simplify (+ (* 1 (pow x 3)) (* 1 (pow x 2))) into (+ (pow x 3) (pow x 2)) 1.252 * [backup-simplify]: Simplify (fma (* (/ 1 x) (/ 1 x)) (/ 1 x) (* (/ 1 x) (/ 1 x))) into (fma (/ 1 (pow x 2)) (/ 1 x) (/ 1 (pow x 2))) 1.252 * [approximate]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (/ 1 x) (/ 1 (pow x 2))) in (x) around 0 1.252 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (/ 1 x) (/ 1 (pow x 2))) in x 1.252 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (/ 1 x)) (/ 1 (pow x 2))) 1.252 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (/ 1 x)) in x 1.252 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.252 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.252 * [taylor]: Taking taylor expansion of x in x 1.252 * [backup-simplify]: Simplify 0 into 0 1.252 * [backup-simplify]: Simplify 1 into 1 1.252 * [backup-simplify]: Simplify (* 1 1) into 1 1.253 * [backup-simplify]: Simplify (/ 1 1) into 1 1.253 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.253 * [taylor]: Taking taylor expansion of x in x 1.253 * [backup-simplify]: Simplify 0 into 0 1.253 * [backup-simplify]: Simplify 1 into 1 1.253 * [backup-simplify]: Simplify (/ 1 1) into 1 1.253 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.253 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.253 * [taylor]: Taking taylor expansion of x in x 1.253 * [backup-simplify]: Simplify 0 into 0 1.253 * [backup-simplify]: Simplify 1 into 1 1.253 * [backup-simplify]: Simplify (* 1 1) into 1 1.254 * [backup-simplify]: Simplify (/ 1 1) into 1 1.254 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (/ 1 x) (/ 1 (pow x 2))) in x 1.254 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (/ 1 x)) (/ 1 (pow x 2))) 1.254 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (/ 1 x)) in x 1.254 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.254 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.254 * [taylor]: Taking taylor expansion of x in x 1.254 * [backup-simplify]: Simplify 0 into 0 1.254 * [backup-simplify]: Simplify 1 into 1 1.254 * [backup-simplify]: Simplify (* 1 1) into 1 1.255 * [backup-simplify]: Simplify (/ 1 1) into 1 1.255 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.255 * [taylor]: Taking taylor expansion of x in x 1.255 * [backup-simplify]: Simplify 0 into 0 1.255 * [backup-simplify]: Simplify 1 into 1 1.255 * [backup-simplify]: Simplify (/ 1 1) into 1 1.255 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.255 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.255 * [taylor]: Taking taylor expansion of x in x 1.255 * [backup-simplify]: Simplify 0 into 0 1.255 * [backup-simplify]: Simplify 1 into 1 1.255 * [backup-simplify]: Simplify (* 1 1) into 1 1.256 * [backup-simplify]: Simplify (/ 1 1) into 1 1.256 * [backup-simplify]: Simplify (* 1 1) into 1 1.256 * [backup-simplify]: Simplify (+ 1 0) into 1 1.256 * [backup-simplify]: Simplify 1 into 1 1.257 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.257 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.258 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.259 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.259 * [backup-simplify]: Simplify (+ 0 1) into 1 1.259 * [backup-simplify]: Simplify 1 into 1 1.260 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.262 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.262 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.263 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.263 * [backup-simplify]: Simplify (+ 0 0) into 0 1.263 * [backup-simplify]: Simplify 0 into 0 1.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.265 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.265 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.266 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.267 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.268 * [backup-simplify]: Simplify (+ 0 0) into 0 1.268 * [backup-simplify]: Simplify 0 into 0 1.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.273 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.274 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.275 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.276 * [backup-simplify]: Simplify (+ 0 0) into 0 1.276 * [backup-simplify]: Simplify 0 into 0 1.277 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.278 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.278 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.280 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.281 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.281 * [backup-simplify]: Simplify (+ 0 0) into 0 1.281 * [backup-simplify]: Simplify 0 into 0 1.282 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.286 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.287 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.287 * [backup-simplify]: Simplify (+ 0 0) into 0 1.287 * [backup-simplify]: Simplify 0 into 0 1.288 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.289 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1.290 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1.293 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.293 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.294 * [backup-simplify]: Simplify (+ 0 0) into 0 1.294 * [backup-simplify]: Simplify 0 into 0 1.294 * [backup-simplify]: Simplify (+ (* 1 (pow (/ 1 (/ 1 x)) 2)) (* 1 (pow (/ 1 (/ 1 x)) 3))) into (+ (pow x 3) (pow x 2)) 1.294 * [backup-simplify]: Simplify (fma (* (/ 1 (- x)) (/ 1 (- x))) (/ 1 (- x)) (* (/ 1 (- x)) (/ 1 (- x)))) into (fma (/ 1 (pow x 2)) (/ -1 x) (/ 1 (pow x 2))) 1.294 * [approximate]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (/ -1 x) (/ 1 (pow x 2))) in (x) around 0 1.294 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (/ -1 x) (/ 1 (pow x 2))) in x 1.294 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (/ -1 x)) (/ 1 (pow x 2))) 1.294 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (/ -1 x)) in x 1.294 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.294 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.294 * [taylor]: Taking taylor expansion of x in x 1.294 * [backup-simplify]: Simplify 0 into 0 1.294 * [backup-simplify]: Simplify 1 into 1 1.295 * [backup-simplify]: Simplify (* 1 1) into 1 1.295 * [backup-simplify]: Simplify (/ 1 1) into 1 1.295 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.295 * [taylor]: Taking taylor expansion of -1 in x 1.295 * [backup-simplify]: Simplify -1 into -1 1.295 * [taylor]: Taking taylor expansion of x in x 1.295 * [backup-simplify]: Simplify 0 into 0 1.295 * [backup-simplify]: Simplify 1 into 1 1.295 * [backup-simplify]: Simplify (/ -1 1) into -1 1.295 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.295 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.295 * [taylor]: Taking taylor expansion of x in x 1.296 * [backup-simplify]: Simplify 0 into 0 1.296 * [backup-simplify]: Simplify 1 into 1 1.296 * [backup-simplify]: Simplify (* 1 1) into 1 1.296 * [backup-simplify]: Simplify (/ 1 1) into 1 1.296 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (/ -1 x) (/ 1 (pow x 2))) in x 1.296 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (/ -1 x)) (/ 1 (pow x 2))) 1.296 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (/ -1 x)) in x 1.296 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.296 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.296 * [taylor]: Taking taylor expansion of x in x 1.296 * [backup-simplify]: Simplify 0 into 0 1.296 * [backup-simplify]: Simplify 1 into 1 1.297 * [backup-simplify]: Simplify (* 1 1) into 1 1.297 * [backup-simplify]: Simplify (/ 1 1) into 1 1.297 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.297 * [taylor]: Taking taylor expansion of -1 in x 1.297 * [backup-simplify]: Simplify -1 into -1 1.297 * [taylor]: Taking taylor expansion of x in x 1.297 * [backup-simplify]: Simplify 0 into 0 1.297 * [backup-simplify]: Simplify 1 into 1 1.297 * [backup-simplify]: Simplify (/ -1 1) into -1 1.297 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.297 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.298 * [taylor]: Taking taylor expansion of x in x 1.298 * [backup-simplify]: Simplify 0 into 0 1.298 * [backup-simplify]: Simplify 1 into 1 1.298 * [backup-simplify]: Simplify (* 1 1) into 1 1.298 * [backup-simplify]: Simplify (/ 1 1) into 1 1.299 * [backup-simplify]: Simplify (* 1 -1) into -1 1.299 * [backup-simplify]: Simplify (+ -1 0) into -1 1.299 * [backup-simplify]: Simplify -1 into -1 1.300 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1.300 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.301 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.301 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 -1)) into 0 1.302 * [backup-simplify]: Simplify (+ 0 1) into 1 1.302 * [backup-simplify]: Simplify 1 into 1 1.302 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.303 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.304 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.305 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 -1))) into 0 1.305 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.306 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.306 * [backup-simplify]: Simplify (+ 0 0) into 0 1.306 * [backup-simplify]: Simplify 0 into 0 1.307 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.308 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 1.310 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.310 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.311 * [backup-simplify]: Simplify (+ 0 0) into 0 1.311 * [backup-simplify]: Simplify 0 into 0 1.311 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.312 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.313 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 1.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.315 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.316 * [backup-simplify]: Simplify (+ 0 0) into 0 1.316 * [backup-simplify]: Simplify 0 into 0 1.317 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0 1.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.321 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.321 * [backup-simplify]: Simplify (+ 0 0) into 0 1.321 * [backup-simplify]: Simplify 0 into 0 1.322 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.325 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0 1.326 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1.327 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.327 * [backup-simplify]: Simplify (+ 0 0) into 0 1.327 * [backup-simplify]: Simplify 0 into 0 1.328 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.329 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1.330 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.331 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))) into 0 1.332 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1.333 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.333 * [backup-simplify]: Simplify (+ 0 0) into 0 1.333 * [backup-simplify]: Simplify 0 into 0 1.334 * [backup-simplify]: Simplify (+ (* 1 (pow (/ 1 (/ 1 (- x))) 2)) (* -1 (pow (/ 1 (/ 1 (- x))) 3))) into (+ (pow x 3) (pow x 2)) 1.334 * * * [progress]: simplifying candidates 1.334 * * * * [progress]: [ 1 / 14 ] simplifiying candidate # 1.334 * * * * [progress]: [ 2 / 14 ] simplifiying candidate # 1.334 * * * * [progress]: [ 3 / 14 ] simplifiying candidate # 1.334 * * * * [progress]: [ 4 / 14 ] simplifiying candidate # 1.334 * * * * [progress]: [ 5 / 14 ] simplifiying candidate # 1.334 * * * * [progress]: [ 6 / 14 ] simplifiying candidate # 1.334 * * * * [progress]: [ 7 / 14 ] simplifiying candidate # 1.334 * * * * [progress]: [ 8 / 14 ] simplifiying candidate # 1.334 * * * * [progress]: [ 9 / 14 ] simplifiying candidate # 1.334 * * * * [progress]: [ 10 / 14 ] simplifiying candidate # 1.334 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #real (real->posit16 (fma (* x x) x (* x x)))))> 1.334 * * * * [progress]: [ 12 / 14 ] simplifiying candidate # 1.334 * * * * [progress]: [ 13 / 14 ] simplifiying candidate # 1.334 * * * * [progress]: [ 14 / 14 ] simplifiying candidate # 1.335 * [simplify]: Simplifying (expm1 (fma (* x x) x (* x x))), (log1p (fma (* x x) x (* x x))), (* (* x x) x), (log (fma (* x x) x (* x x))), (exp (fma (* x x) x (* x x))), (* (cbrt (fma (* x x) x (* x x))) (cbrt (fma (* x x) x (* x x)))), (cbrt (fma (* x x) x (* x x))), (* (* (fma (* x x) x (* x x)) (fma (* x x) x (* x x))) (fma (* x x) x (* x x))), (sqrt (fma (* x x) x (* x x))), (sqrt (fma (* x x) x (* x x))), (real->posit16 (fma (* x x) x (* x x))), (+ (pow x 3) (pow x 2)), (+ (pow x 3) (pow x 2)), (+ (pow x 3) (pow x 2)) 1.335 * * [simplify]: iteration 1: (19 enodes) 1.342 * * [simplify]: iteration 2: (60 enodes) 1.358 * * [simplify]: iteration 3: (114 enodes) 1.399 * * [simplify]: iteration 4: (322 enodes) 1.592 * * [simplify]: iteration 5: (1150 enodes) 4.296 * * [simplify]: Extracting #0: cost 11 inf + 0 4.296 * * [simplify]: Extracting #1: cost 197 inf + 0 4.302 * * [simplify]: Extracting #2: cost 785 inf + 4692 4.328 * * [simplify]: Extracting #3: cost 652 inf + 45563 4.378 * * [simplify]: Extracting #4: cost 314 inf + 170546 4.454 * * [simplify]: Extracting #5: cost 20 inf + 332234 4.525 * * [simplify]: Extracting #6: cost 0 inf + 343363 4.610 * * [simplify]: Extracting #7: cost 0 inf + 342099 4.693 * [simplify]: Simplified to (expm1 (* (fma x x x) x)), (log1p (* (fma x x x) x)), (* x (* x x)), (log (* (fma x x x) x)), (exp (* (fma x x x) x)), (* (cbrt (* (fma x x x) x)) (cbrt (* (fma x x x) x))), (cbrt (* (fma x x x) x)), (* (* (fma x x x) x) (* (* (fma x x x) x) (* (fma x x x) x))), (sqrt (* (fma x x x) x)), (sqrt (* (fma x x x) x)), (real->posit16 (* (fma x x x) x)), (* (fma x x x) x), (* (fma x x x) x), (* (fma x x x) x) 4.694 * * * [progress]: adding candidates to table 4.786 * * [progress]: iteration 2 / 4 4.786 * * * [progress]: picking best candidate 4.788 * * * * [pick]: Picked # 4.788 * * * [progress]: localizing error 4.797 * * * [progress]: generating rewritten candidates 4.797 * * * [progress]: generating series expansions 4.797 * * * [progress]: simplifying candidates 4.797 * [simplify]: Simplifying 4.797 * * [simplify]: iteration 1: (0 enodes) 4.797 * * [simplify]: Extracting #0: cost 0 inf + 0 4.797 * [simplify]: Simplified to 4.797 * * * [progress]: adding candidates to table 4.798 * [progress]: [Phase 3 of 3] Extracting. 4.800 * [simplify]: Simplifying (* (fma x x x) x) 4.800 * * [simplify]: iteration 1: (3 enodes) 4.800 * * [simplify]: iteration 2: (4 enodes) 4.801 * * [simplify]: Extracting #0: cost 1 inf + 0 4.801 * * [simplify]: Extracting #1: cost 3 inf + 0 4.801 * * [simplify]: Extracting #2: cost 2 inf + 1 4.801 * * [simplify]: Extracting #3: cost 0 inf + 153 4.801 * [simplify]: Simplified to (* x (fma x x x)) 5.662 * [regime-testing]: Baseline error score: 0.014376797099637455 5.664 * [regime-testing]: Oracle error score: 0.014376797099637455 5.665 * [regime-testing]: End program error score: 0.014376797099637455 5.705 * [regime-testing]: Target error score: 0.0239417145898646