1553863397.102 * [progress]: [Phase 1 of 3] Setting up. 1553863397.102 * * * [progress]: [1/2] Preparing points 1553863397.128 * * * [progress]: [2/2] Setting up program. 1553863397.130 * [progress]: [Phase 2 of 3] Improving. 1553863397.130 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553863397.130 * [simplify]: Simplifying (exp (- (- 1 (* x x)))) 1553863397.130 * * [simplify]: iters left: 6 (6 enodes) 1553863397.142 * * [simplify]: iters left: 5 (24 enodes) 1553863397.152 * * [simplify]: iters left: 4 (43 enodes) 1553863397.167 * * [simplify]: iters left: 3 (73 enodes) 1553863397.189 * * [simplify]: iters left: 2 (113 enodes) 1553863397.227 * * [simplify]: iters left: 1 (211 enodes) 1553863397.286 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863397.286 * * [simplify]: Extracting #1: cost 55 inf + 0 1553863397.286 * * [simplify]: Extracting #2: cost 141 inf + 2 1553863397.287 * * [simplify]: Extracting #3: cost 148 inf + 1320 1553863397.288 * * [simplify]: Extracting #4: cost 103 inf + 6736 1553863397.292 * * [simplify]: Extracting #5: cost 33 inf + 34588 1553863397.296 * * [simplify]: Extracting #6: cost 2 inf + 48875 1553863397.302 * * [simplify]: Extracting #7: cost 0 inf + 49832 1553863397.306 * [simplify]: Simplified to (exp (fma x x -1)) 1553863397.306 * [simplify]: Simplified (2) to (λ (x) (exp (fma x x -1))) 1553863397.311 * * [progress]: iteration 1 / 4 1553863397.311 * * * [progress]: picking best candidate 1553863397.313 * * * * [pick]: Picked # 1553863397.313 * * * [progress]: localizing error 1553863397.324 * * * [progress]: generating rewritten candidates 1553863397.324 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1553863397.326 * * * [progress]: generating series expansions 1553863397.326 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1553863397.326 * [backup-simplify]: Simplify (exp (fma x x -1)) into (exp (fma x x -1)) 1553863397.326 * [approximate]: Taking taylor expansion of (exp (fma x x -1)) in (x) around 0 1553863397.326 * [taylor]: Taking taylor expansion of (exp (fma x x -1)) in x 1553863397.326 * [taylor]: Taking taylor expansion of (fma x x -1) in x 1553863397.326 * [taylor]: Rewrote expression to (+ (* x x) -1) 1553863397.326 * [taylor]: Taking taylor expansion of (* x x) in x 1553863397.326 * [taylor]: Taking taylor expansion of x in x 1553863397.326 * [backup-simplify]: Simplify 0 into 0 1553863397.326 * [backup-simplify]: Simplify 1 into 1 1553863397.327 * [taylor]: Taking taylor expansion of x in x 1553863397.327 * [backup-simplify]: Simplify 0 into 0 1553863397.327 * [backup-simplify]: Simplify 1 into 1 1553863397.327 * [taylor]: Taking taylor expansion of -1 in x 1553863397.327 * [backup-simplify]: Simplify -1 into -1 1553863397.327 * [backup-simplify]: Simplify (* 0 0) into 0 1553863397.327 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553863397.327 * [backup-simplify]: Simplify (exp -1) into (exp -1) 1553863397.328 * [taylor]: Taking taylor expansion of (exp (fma x x -1)) in x 1553863397.328 * [taylor]: Taking taylor expansion of (fma x x -1) in x 1553863397.328 * [taylor]: Rewrote expression to (+ (* x x) -1) 1553863397.328 * [taylor]: Taking taylor expansion of (* x x) in x 1553863397.328 * [taylor]: Taking taylor expansion of x in x 1553863397.328 * [backup-simplify]: Simplify 0 into 0 1553863397.328 * [backup-simplify]: Simplify 1 into 1 1553863397.328 * [taylor]: Taking taylor expansion of x in x 1553863397.328 * [backup-simplify]: Simplify 0 into 0 1553863397.328 * [backup-simplify]: Simplify 1 into 1 1553863397.328 * [taylor]: Taking taylor expansion of -1 in x 1553863397.328 * [backup-simplify]: Simplify -1 into -1 1553863397.328 * [backup-simplify]: Simplify (* 0 0) into 0 1553863397.328 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553863397.328 * [backup-simplify]: Simplify (exp -1) into (exp -1) 1553863397.329 * [backup-simplify]: Simplify (exp -1) into (exp -1) 1553863397.329 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 1553863397.329 * [backup-simplify]: Simplify (+ 0 0) into 0 1553863397.330 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 1553863397.330 * [backup-simplify]: Simplify 0 into 0 1553863397.331 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 1553863397.331 * [backup-simplify]: Simplify (+ 1 0) into 1 1553863397.333 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1) 1553863397.333 * [backup-simplify]: Simplify (exp -1) into (exp -1) 1553863397.334 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 1553863397.334 * [backup-simplify]: Simplify (+ 0 0) into 0 1553863397.336 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1553863397.336 * [backup-simplify]: Simplify 0 into 0 1553863397.337 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1553863397.337 * [backup-simplify]: Simplify (+ 0 0) into 0 1553863397.341 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp -1)) 1553863397.342 * [backup-simplify]: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 1553863397.343 * [backup-simplify]: Simplify (+ (* (* 1/2 (exp -1)) (pow x 4)) (+ (* (exp -1) (pow x 2)) (exp -1))) into (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 1553863397.343 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1553863397.343 * [approximate]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in (x) around 0 1553863397.343 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x 1553863397.343 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1553863397.343 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1553863397.343 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1553863397.343 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553863397.343 * [taylor]: Taking taylor expansion of x in x 1553863397.343 * [backup-simplify]: Simplify 0 into 0 1553863397.343 * [backup-simplify]: Simplify 1 into 1 1553863397.344 * [backup-simplify]: Simplify (/ 1 1) into 1 1553863397.344 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553863397.344 * [taylor]: Taking taylor expansion of x in x 1553863397.344 * [backup-simplify]: Simplify 0 into 0 1553863397.344 * [backup-simplify]: Simplify 1 into 1 1553863397.348 * [backup-simplify]: Simplify (/ 1 1) into 1 1553863397.348 * [taylor]: Taking taylor expansion of -1 in x 1553863397.348 * [backup-simplify]: Simplify -1 into -1 1553863397.348 * [backup-simplify]: Simplify (* 1 1) into 1 1553863397.348 * [backup-simplify]: Simplify (+ 1 0) into 1 1553863397.349 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1553863397.349 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x 1553863397.349 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1553863397.349 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1553863397.349 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1553863397.349 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553863397.349 * [taylor]: Taking taylor expansion of x in x 1553863397.349 * [backup-simplify]: Simplify 0 into 0 1553863397.349 * [backup-simplify]: Simplify 1 into 1 1553863397.349 * [backup-simplify]: Simplify (/ 1 1) into 1 1553863397.349 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553863397.349 * [taylor]: Taking taylor expansion of x in x 1553863397.349 * [backup-simplify]: Simplify 0 into 0 1553863397.349 * [backup-simplify]: Simplify 1 into 1 1553863397.350 * [backup-simplify]: Simplify (/ 1 1) into 1 1553863397.350 * [taylor]: Taking taylor expansion of -1 in x 1553863397.350 * [backup-simplify]: Simplify -1 into -1 1553863397.350 * [backup-simplify]: Simplify (* 1 1) into 1 1553863397.351 * [backup-simplify]: Simplify (+ 1 0) into 1 1553863397.351 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1553863397.351 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1553863397.351 * [backup-simplify]: Simplify 0 into 0 1553863397.351 * [backup-simplify]: Simplify 0 into 0 1553863397.351 * [backup-simplify]: Simplify 0 into 0 1553863397.351 * [backup-simplify]: Simplify 0 into 0 1553863397.351 * [backup-simplify]: Simplify 0 into 0 1553863397.351 * [backup-simplify]: Simplify 0 into 0 1553863397.351 * [backup-simplify]: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1)) into (exp (fma x x -1)) 1553863397.352 * [backup-simplify]: Simplify (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1553863397.352 * [approximate]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in (x) around 0 1553863397.352 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x 1553863397.352 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1553863397.352 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1553863397.352 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1553863397.352 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1553863397.352 * [taylor]: Taking taylor expansion of -1 in x 1553863397.352 * [backup-simplify]: Simplify -1 into -1 1553863397.352 * [taylor]: Taking taylor expansion of x in x 1553863397.352 * [backup-simplify]: Simplify 0 into 0 1553863397.352 * [backup-simplify]: Simplify 1 into 1 1553863397.352 * [backup-simplify]: Simplify (/ -1 1) into -1 1553863397.352 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1553863397.352 * [taylor]: Taking taylor expansion of -1 in x 1553863397.352 * [backup-simplify]: Simplify -1 into -1 1553863397.352 * [taylor]: Taking taylor expansion of x in x 1553863397.352 * [backup-simplify]: Simplify 0 into 0 1553863397.353 * [backup-simplify]: Simplify 1 into 1 1553863397.353 * [backup-simplify]: Simplify (/ -1 1) into -1 1553863397.353 * [taylor]: Taking taylor expansion of -1 in x 1553863397.353 * [backup-simplify]: Simplify -1 into -1 1553863397.353 * [backup-simplify]: Simplify (* -1 -1) into 1 1553863397.354 * [backup-simplify]: Simplify (+ 1 0) into 1 1553863397.354 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1553863397.354 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x 1553863397.354 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1553863397.354 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1553863397.354 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1553863397.354 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1553863397.354 * [taylor]: Taking taylor expansion of -1 in x 1553863397.354 * [backup-simplify]: Simplify -1 into -1 1553863397.354 * [taylor]: Taking taylor expansion of x in x 1553863397.354 * [backup-simplify]: Simplify 0 into 0 1553863397.354 * [backup-simplify]: Simplify 1 into 1 1553863397.355 * [backup-simplify]: Simplify (/ -1 1) into -1 1553863397.355 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1553863397.355 * [taylor]: Taking taylor expansion of -1 in x 1553863397.355 * [backup-simplify]: Simplify -1 into -1 1553863397.355 * [taylor]: Taking taylor expansion of x in x 1553863397.355 * [backup-simplify]: Simplify 0 into 0 1553863397.355 * [backup-simplify]: Simplify 1 into 1 1553863397.355 * [backup-simplify]: Simplify (/ -1 1) into -1 1553863397.355 * [taylor]: Taking taylor expansion of -1 in x 1553863397.356 * [backup-simplify]: Simplify -1 into -1 1553863397.356 * [backup-simplify]: Simplify (* -1 -1) into 1 1553863397.356 * [backup-simplify]: Simplify (+ 1 0) into 1 1553863397.356 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1553863397.357 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1553863397.357 * [backup-simplify]: Simplify 0 into 0 1553863397.357 * [backup-simplify]: Simplify 0 into 0 1553863397.357 * [backup-simplify]: Simplify 0 into 0 1553863397.357 * [backup-simplify]: Simplify 0 into 0 1553863397.357 * [backup-simplify]: Simplify 0 into 0 1553863397.357 * [backup-simplify]: Simplify 0 into 0 1553863397.357 * [backup-simplify]: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1)) into (exp (fma x x -1)) 1553863397.357 * * * [progress]: simplifying candidates 1553863397.357 * * * * [progress]: [ 1 / 18 ] simplifiying candidate # 1553863397.357 * * * * [progress]: [ 2 / 18 ] simplifiying candidate # 1553863397.357 * * * * [progress]: [ 3 / 18 ] simplifiying candidate # 1553863397.357 * * * * [progress]: [ 4 / 18 ] simplifiying candidate # 1553863397.358 * [simplify]: Simplifying (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) 1553863397.358 * * [simplify]: iters left: 5 (6 enodes) 1553863397.361 * * [simplify]: iters left: 4 (22 enodes) 1553863397.368 * * [simplify]: iters left: 3 (35 enodes) 1553863397.382 * * [simplify]: iters left: 2 (58 enodes) 1553863397.396 * * [simplify]: iters left: 1 (98 enodes) 1553863397.416 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863397.416 * * [simplify]: Extracting #1: cost 12 inf + 0 1553863397.416 * * [simplify]: Extracting #2: cost 36 inf + 0 1553863397.416 * * [simplify]: Extracting #3: cost 53 inf + 2 1553863397.416 * * [simplify]: Extracting #4: cost 58 inf + 48 1553863397.417 * * [simplify]: Extracting #5: cost 36 inf + 2485 1553863397.419 * * [simplify]: Extracting #6: cost 9 inf + 10269 1553863397.423 * * [simplify]: Extracting #7: cost 0 inf + 15660 1553863397.427 * [simplify]: Simplified to (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) 1553863397.427 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (cbrt (fma x x -1)))) 1553863397.428 * * * * [progress]: [ 5 / 18 ] simplifiying candidate # 1553863397.428 * [simplify]: Simplifying (exp (sqrt (fma x x -1))) 1553863397.428 * * [simplify]: iters left: 3 (5 enodes) 1553863397.431 * * [simplify]: iters left: 2 (17 enodes) 1553863397.436 * * [simplify]: iters left: 1 (24 enodes) 1553863397.445 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863397.445 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863397.445 * * [simplify]: Extracting #2: cost 5 inf + 0 1553863397.445 * * [simplify]: Extracting #3: cost 11 inf + 0 1553863397.445 * * [simplify]: Extracting #4: cost 13 inf + 2 1553863397.445 * * [simplify]: Extracting #5: cost 3 inf + 519 1553863397.446 * * [simplify]: Extracting #6: cost 0 inf + 895 1553863397.446 * [simplify]: Simplified to (exp (sqrt (fma x x -1))) 1553863397.446 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (sqrt (fma x x -1))) (sqrt (fma x x -1)))) 1553863397.446 * * * * [progress]: [ 6 / 18 ] simplifiying candidate # 1553863397.446 * [simplify]: Simplifying (exp 1) 1553863397.447 * * [simplify]: iters left: 1 (2 enodes) 1553863397.448 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863397.448 * * [simplify]: Extracting #1: cost 0 inf + 1 1553863397.448 * [simplify]: Simplified to E 1553863397.448 * [simplify]: Simplified (2 1) to (λ (x) (pow E (fma x x -1))) 1553863397.448 * * * * [progress]: [ 7 / 18 ] simplifiying candidate # 1553863397.448 * [simplify]: Simplifying (exp (* x x)) 1553863397.449 * * [simplify]: iters left: 3 (3 enodes) 1553863397.450 * * [simplify]: iters left: 2 (11 enodes) 1553863397.453 * * [simplify]: iters left: 1 (17 enodes) 1553863397.459 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863397.459 * * [simplify]: Extracting #1: cost 7 inf + 0 1553863397.460 * * [simplify]: Extracting #2: cost 12 inf + 1 1553863397.460 * * [simplify]: Extracting #3: cost 9 inf + 226 1553863397.460 * * [simplify]: Extracting #4: cost 3 inf + 936 1553863397.460 * * [simplify]: Extracting #5: cost 0 inf + 1702 1553863397.461 * [simplify]: Simplified to (exp (* x x)) 1553863397.461 * [simplify]: Simplified (2 1) to (λ (x) (* (exp (* x x)) (exp -1))) 1553863397.461 * * * * [progress]: [ 8 / 18 ] simplifiying candidate # 1553863397.461 * [simplify]: Simplifying (fma x x -1) 1553863397.461 * * [simplify]: iters left: 1 (3 enodes) 1553863397.463 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863397.464 * * [simplify]: Extracting #1: cost 5 inf + 0 1553863397.464 * * [simplify]: Extracting #2: cost 3 inf + 2 1553863397.464 * * [simplify]: Extracting #3: cost 0 inf + 157 1553863397.464 * [simplify]: Simplified to (fma x x -1) 1553863397.464 * [simplify]: Simplified (2 1) to (λ (x) (exp (fma x x -1))) 1553863397.464 * * * * [progress]: [ 9 / 18 ] simplifiying candidate # 1553863397.464 * * * * [progress]: [ 10 / 18 ] simplifiying candidate # 1553863397.464 * * * * [progress]: [ 11 / 18 ] simplifiying candidate # 1553863397.464 * * * * [progress]: [ 12 / 18 ] simplifiying candidate # 1553863397.464 * * * * [progress]: [ 13 / 18 ] simplifiying candidate # 1553863397.464 * * * * [progress]: [ 14 / 18 ] simplifiying candidate # 1553863397.464 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #real (real->posit16 (exp (fma x x -1)))))> 1553863397.464 * * * * [progress]: [ 16 / 18 ] simplifiying candidate # 1553863397.465 * [simplify]: Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 1553863397.465 * * [simplify]: iters left: 6 (13 enodes) 1553863397.474 * * [simplify]: iters left: 5 (57 enodes) 1553863397.498 * * [simplify]: iters left: 4 (93 enodes) 1553863397.516 * * [simplify]: iters left: 3 (165 enodes) 1553863397.548 * * [simplify]: iters left: 2 (235 enodes) 1553863397.628 * * [simplify]: iters left: 1 (363 enodes) 1553863397.743 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863397.743 * * [simplify]: Extracting #1: cost 27 inf + 0 1553863397.744 * * [simplify]: Extracting #2: cost 71 inf + 457 1553863397.745 * * [simplify]: Extracting #3: cost 44 inf + 4513 1553863397.748 * * [simplify]: Extracting #4: cost 8 inf + 10521 1553863397.753 * * [simplify]: Extracting #5: cost 0 inf + 12066 1553863397.757 * [simplify]: Simplified to (fma (fma 1/2 (* (* x x) (* x x)) (* x x)) (exp -1) (exp -1)) 1553863397.757 * [simplify]: Simplified (2) to (λ (x) (fma (fma 1/2 (* (* x x) (* x x)) (* x x)) (exp -1) (exp -1))) 1553863397.757 * * * * [progress]: [ 17 / 18 ] simplifiying candidate # 1553863397.757 * [simplify]: Simplifying (exp (fma x x -1)) 1553863397.757 * * [simplify]: iters left: 2 (4 enodes) 1553863397.759 * * [simplify]: iters left: 1 (14 enodes) 1553863397.762 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863397.762 * * [simplify]: Extracting #1: cost 5 inf + 0 1553863397.762 * * [simplify]: Extracting #2: cost 11 inf + 0 1553863397.762 * * [simplify]: Extracting #3: cost 10 inf + 73 1553863397.762 * * [simplify]: Extracting #4: cost 1 inf + 592 1553863397.762 * * [simplify]: Extracting #5: cost 0 inf + 719 1553863397.762 * [simplify]: Simplified to (exp (fma x x -1)) 1553863397.762 * [simplify]: Simplified (2) to (λ (x) (exp (fma x x -1))) 1553863397.762 * * * * [progress]: [ 18 / 18 ] simplifiying candidate # 1553863397.762 * [simplify]: Simplifying (exp (fma x x -1)) 1553863397.762 * * [simplify]: iters left: 2 (4 enodes) 1553863397.764 * * [simplify]: iters left: 1 (14 enodes) 1553863397.766 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863397.766 * * [simplify]: Extracting #1: cost 5 inf + 0 1553863397.766 * * [simplify]: Extracting #2: cost 11 inf + 0 1553863397.766 * * [simplify]: Extracting #3: cost 10 inf + 73 1553863397.769 * * [simplify]: Extracting #4: cost 1 inf + 592 1553863397.769 * * [simplify]: Extracting #5: cost 0 inf + 719 1553863397.769 * [simplify]: Simplified to (exp (fma x x -1)) 1553863397.769 * [simplify]: Simplified (2) to (λ (x) (exp (fma x x -1))) 1553863397.769 * * * [progress]: adding candidates to table 1553863397.884 * [progress]: [Phase 3 of 3] Extracting. 1553863397.888 * [simplify]: Simplifying (exp (fma x x -1)) 1553863397.888 * * [simplify]: iters left: 2 (4 enodes) 1553863397.889 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863397.889 * * [simplify]: Extracting #1: cost 2 inf + 0 1553863397.889 * * [simplify]: Extracting #2: cost 4 inf + 0 1553863397.889 * * [simplify]: Extracting #3: cost 2 inf + 2 1553863397.889 * * [simplify]: Extracting #4: cost 0 inf + 186 1553863397.889 * [simplify]: Simplified to (exp (fma x x -1)) 1553863399.781 * [regime-testing]: Baseline error score: 0.02079693085534494 1553863399.783 * [regime-testing]: Oracle error score: 0.02079693085534494 1553863399.783 * [regime-testing]: End program error score: 0.02079693085534494