0.001 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.030 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.030 * [simplify]: Simplifying (exp (- (- 1 (* x x)))) 0.030 * * [simplify]: iters left: 6 (6 enodes) 0.032 * * [simplify]: iters left: 5 (24 enodes) 0.036 * * [simplify]: iters left: 4 (43 enodes) 0.043 * * [simplify]: iters left: 3 (71 enodes) 0.054 * * [simplify]: iters left: 2 (111 enodes) 0.073 * * [simplify]: iters left: 1 (207 enodes) 0.121 * * [simplify]: Extracting #0: cost 1 inf + 0 0.122 * * [simplify]: Extracting #1: cost 55 inf + 0 0.122 * * [simplify]: Extracting #2: cost 138 inf + 44 0.122 * * [simplify]: Extracting #3: cost 148 inf + 957 0.123 * * [simplify]: Extracting #4: cost 115 inf + 4575 0.126 * * [simplify]: Extracting #5: cost 41 inf + 29799 0.131 * * [simplify]: Extracting #6: cost 7 inf + 43765 0.137 * * [simplify]: Extracting #7: cost 0 inf + 45667 0.144 * * [simplify]: Extracting #8: cost 0 inf + 45507 0.149 * [simplify]: Simplified to (/ (exp (* x x)) E) 0.149 * [simplify]: Simplified (2) to (λ (x) (/ (exp (* x x)) E)) 0.154 * * [progress]: iteration 1 / 4 0.154 * * * [progress]: picking best candidate 0.160 * * * * [pick]: Picked # 0.160 * * * [progress]: localizing error 0.170 * * * [progress]: generating rewritten candidates 0.170 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.191 * * * [progress]: generating series expansions 0.191 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.192 * [backup-simplify]: Simplify (exp (- (- 1 (* x x)))) into (exp (- (pow x 2) 1)) 0.192 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1)) in (x) around 0 0.192 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1)) in x 0.192 * [taylor]: Taking taylor expansion of (- (pow x 2) 1) in x 0.192 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.192 * [taylor]: Taking taylor expansion of x in x 0.192 * [backup-simplify]: Simplify 0 into 0 0.192 * [backup-simplify]: Simplify 1 into 1 0.192 * [taylor]: Taking taylor expansion of 1 in x 0.192 * [backup-simplify]: Simplify 1 into 1 0.192 * [backup-simplify]: Simplify (- 1) into -1 0.193 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.193 * [backup-simplify]: Simplify (exp -1) into (exp -1) 0.193 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1)) in x 0.193 * [taylor]: Taking taylor expansion of (- (pow x 2) 1) in x 0.193 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.193 * [taylor]: Taking taylor expansion of x in x 0.193 * [backup-simplify]: Simplify 0 into 0 0.193 * [backup-simplify]: Simplify 1 into 1 0.193 * [taylor]: Taking taylor expansion of 1 in x 0.193 * [backup-simplify]: Simplify 1 into 1 0.193 * [backup-simplify]: Simplify (- 1) into -1 0.194 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.194 * [backup-simplify]: Simplify (exp -1) into (exp -1) 0.194 * [backup-simplify]: Simplify (exp -1) into (exp -1) 0.195 * [backup-simplify]: Simplify (- 0) into 0 0.195 * [backup-simplify]: Simplify (+ 0 0) into 0 0.196 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 0.196 * [backup-simplify]: Simplify 0 into 0 0.196 * [backup-simplify]: Simplify (* 1 1) into 1 0.196 * [backup-simplify]: Simplify (- 0) into 0 0.197 * [backup-simplify]: Simplify (+ 1 0) into 1 0.200 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1) 0.200 * [backup-simplify]: Simplify (exp -1) into (exp -1) 0.201 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.201 * [backup-simplify]: Simplify (- 0) into 0 0.201 * [backup-simplify]: Simplify (+ 0 0) into 0 0.204 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.204 * [backup-simplify]: Simplify 0 into 0 0.204 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.205 * [backup-simplify]: Simplify (- 0) into 0 0.205 * [backup-simplify]: Simplify (+ 0 0) into 0 0.212 * [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)) 0.212 * [backup-simplify]: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 0.214 * [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))))) 0.214 * [backup-simplify]: Simplify (exp (- (- 1 (* (/ 1 x) (/ 1 x))))) into (exp (- (/ 1 (pow x 2)) 1)) 0.214 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in (x) around 0 0.214 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x 0.214 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 0.214 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.214 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.214 * [taylor]: Taking taylor expansion of x in x 0.214 * [backup-simplify]: Simplify 0 into 0 0.214 * [backup-simplify]: Simplify 1 into 1 0.214 * [backup-simplify]: Simplify (* 1 1) into 1 0.215 * [backup-simplify]: Simplify (/ 1 1) into 1 0.215 * [taylor]: Taking taylor expansion of 1 in x 0.215 * [backup-simplify]: Simplify 1 into 1 0.215 * [backup-simplify]: Simplify (+ 1 0) into 1 0.215 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 0.215 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x 0.215 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 0.215 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.215 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.215 * [backup-simplify]: Simplify 0 into 0 0.215 * [backup-simplify]: Simplify 1 into 1 0.215 * [backup-simplify]: Simplify (* 1 1) into 1 0.216 * [backup-simplify]: Simplify (/ 1 1) into 1 0.216 * [taylor]: Taking taylor expansion of 1 in x 0.216 * [backup-simplify]: Simplify 1 into 1 0.216 * [backup-simplify]: Simplify (+ 1 0) into 1 0.216 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 0.216 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 0.216 * [backup-simplify]: Simplify 0 into 0 0.216 * [backup-simplify]: Simplify 0 into 0 0.216 * [backup-simplify]: Simplify 0 into 0 0.216 * [backup-simplify]: Simplify 0 into 0 0.216 * [backup-simplify]: Simplify 0 into 0 0.216 * [backup-simplify]: Simplify 0 into 0 0.216 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1)) into (exp (- (pow x 2) 1)) 0.217 * [backup-simplify]: Simplify (exp (- (- 1 (* (/ 1 (- x)) (/ 1 (- x)))))) into (exp (- (/ 1 (pow x 2)) 1)) 0.217 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in (x) around 0 0.217 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x 0.217 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 0.217 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.217 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.217 * [taylor]: Taking taylor expansion of x in x 0.217 * [backup-simplify]: Simplify 0 into 0 0.217 * [backup-simplify]: Simplify 1 into 1 0.217 * [backup-simplify]: Simplify (* 1 1) into 1 0.217 * [backup-simplify]: Simplify (/ 1 1) into 1 0.217 * [taylor]: Taking taylor expansion of 1 in x 0.217 * [backup-simplify]: Simplify 1 into 1 0.217 * [backup-simplify]: Simplify (+ 1 0) into 1 0.218 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 0.218 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x 0.218 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 0.218 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.218 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.218 * [taylor]: Taking taylor expansion of x in x 0.218 * [backup-simplify]: Simplify 0 into 0 0.218 * [backup-simplify]: Simplify 1 into 1 0.218 * [backup-simplify]: Simplify (* 1 1) into 1 0.218 * [backup-simplify]: Simplify (/ 1 1) into 1 0.218 * [taylor]: Taking taylor expansion of 1 in x 0.218 * [backup-simplify]: Simplify 1 into 1 0.218 * [backup-simplify]: Simplify (+ 1 0) into 1 0.219 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 0.219 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 0.219 * [backup-simplify]: Simplify 0 into 0 0.219 * [backup-simplify]: Simplify 0 into 0 0.219 * [backup-simplify]: Simplify 0 into 0 0.219 * [backup-simplify]: Simplify 0 into 0 0.219 * [backup-simplify]: Simplify 0 into 0 0.219 * [backup-simplify]: Simplify 0 into 0 0.219 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1)) into (exp (- (pow x 2) 1)) 0.219 * * * [progress]: simplifying candidates 0.219 * * * * [progress]: [ 1 / 32 ] simplifiying candidate # 0.219 * * * * [progress]: [ 2 / 32 ] simplifiying candidate # 0.219 * [simplify]: Simplifying (exp (* (cbrt (- (- 1 (* x x)))) (cbrt (- (- 1 (* x x)))))) 0.219 * * [simplify]: iters left: 6 (8 enodes) 0.221 * * [simplify]: iters left: 5 (30 enodes) 0.228 * * [simplify]: iters left: 4 (48 enodes) 0.241 * * [simplify]: iters left: 3 (68 enodes) 0.264 * * [simplify]: iters left: 2 (93 enodes) 0.288 * * [simplify]: iters left: 1 (151 enodes) 0.333 * * [simplify]: Extracting #0: cost 1 inf + 0 0.334 * * [simplify]: Extracting #1: cost 14 inf + 0 0.334 * * [simplify]: Extracting #2: cost 55 inf + 1 0.334 * * [simplify]: Extracting #3: cost 80 inf + 4 0.335 * * [simplify]: Extracting #4: cost 89 inf + 6 0.335 * * [simplify]: Extracting #5: cost 75 inf + 2045 0.338 * * [simplify]: Extracting #6: cost 33 inf + 14764 0.345 * * [simplify]: Extracting #7: cost 1 inf + 33973 0.353 * * [simplify]: Extracting #8: cost 0 inf + 33601 0.360 * [simplify]: Simplified to (exp (* (cbrt (+ -1 (* x x))) (cbrt (+ -1 (* x x))))) 0.360 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (* (cbrt (+ -1 (* x x))) (cbrt (+ -1 (* x x))))) (cbrt (- (- 1 (* x x)))))) 0.361 * * * * [progress]: [ 3 / 32 ] simplifiying candidate # 0.361 * [simplify]: Simplifying (exp (sqrt (- (- 1 (* x x))))) 0.361 * * [simplify]: iters left: 6 (7 enodes) 0.364 * * [simplify]: iters left: 5 (25 enodes) 0.372 * * [simplify]: iters left: 4 (37 enodes) 0.382 * * [simplify]: iters left: 3 (46 enodes) 0.396 * * [simplify]: iters left: 2 (47 enodes) 0.407 * * [simplify]: iters left: 1 (53 enodes) 0.419 * * [simplify]: Extracting #0: cost 1 inf + 0 0.419 * * [simplify]: Extracting #1: cost 3 inf + 0 0.419 * * [simplify]: Extracting #2: cost 5 inf + 0 0.419 * * [simplify]: Extracting #3: cost 14 inf + 0 0.419 * * [simplify]: Extracting #4: cost 23 inf + 1 0.419 * * [simplify]: Extracting #5: cost 21 inf + 45 0.419 * * [simplify]: Extracting #6: cost 9 inf + 825 0.420 * * [simplify]: Extracting #7: cost 1 inf + 1699 0.421 * * [simplify]: Extracting #8: cost 0 inf + 1781 0.421 * [simplify]: Simplified to (exp (sqrt (+ (* x x) -1))) 0.421 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (sqrt (+ (* x x) -1))) (sqrt (- (- 1 (* x x)))))) 0.422 * * * * [progress]: [ 4 / 32 ] simplifiying candidate # 0.422 * [simplify]: Simplifying (exp 1) 0.422 * * [simplify]: iters left: 1 (2 enodes) 0.423 * * [simplify]: Extracting #0: cost 1 inf + 0 0.423 * * [simplify]: Extracting #1: cost 0 inf + 1 0.423 * [simplify]: Simplified to E 0.423 * [simplify]: Simplified (2 1) to (λ (x) (pow E (- (- 1 (* x x))))) 0.424 * * * * [progress]: [ 5 / 32 ] simplifiying candidate # 0.424 * [simplify]: Simplifying (exp -1) 0.424 * * [simplify]: iters left: 1 (2 enodes) 0.425 * * [simplify]: Extracting #0: cost 1 inf + 0 0.425 * * [simplify]: Extracting #1: cost 3 inf + 0 0.425 * * [simplify]: Extracting #2: cost 2 inf + 1 0.425 * * [simplify]: Extracting #3: cost 0 inf + 143 0.425 * [simplify]: Simplified to (exp -1) 0.426 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp -1) (- 1 (* x x)))) 0.426 * * * * [progress]: [ 6 / 32 ] simplifiying candidate # 0.426 * [simplify]: Simplifying (exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))) 0.426 * * [simplify]: iters left: 6 (8 enodes) 0.429 * * [simplify]: iters left: 5 (33 enodes) 0.437 * * [simplify]: iters left: 4 (50 enodes) 0.447 * * [simplify]: iters left: 3 (66 enodes) 0.457 * * [simplify]: iters left: 2 (94 enodes) 0.471 * * [simplify]: iters left: 1 (157 enodes) 0.501 * * [simplify]: Extracting #0: cost 1 inf + 0 0.501 * * [simplify]: Extracting #1: cost 29 inf + 0 0.502 * * [simplify]: Extracting #2: cost 89 inf + 1 0.502 * * [simplify]: Extracting #3: cost 110 inf + 4 0.502 * * [simplify]: Extracting #4: cost 112 inf + 6 0.503 * * [simplify]: Extracting #5: cost 90 inf + 4161 0.505 * * [simplify]: Extracting #6: cost 49 inf + 16594 0.510 * * [simplify]: Extracting #7: cost 7 inf + 41629 0.515 * * [simplify]: Extracting #8: cost 0 inf + 47128 0.521 * [simplify]: Simplified to (exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))) 0.521 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))) (cbrt (- 1 (* x x))))) 0.521 * * * * [progress]: [ 7 / 32 ] simplifiying candidate # 0.521 * [simplify]: Simplifying (exp (- (sqrt (- 1 (* x x))))) 0.521 * * [simplify]: iters left: 6 (7 enodes) 0.523 * * [simplify]: iters left: 5 (27 enodes) 0.528 * * [simplify]: iters left: 4 (37 enodes) 0.533 * * [simplify]: iters left: 3 (39 enodes) 0.538 * * [simplify]: Extracting #0: cost 1 inf + 0 0.539 * * [simplify]: Extracting #1: cost 5 inf + 0 0.539 * * [simplify]: Extracting #2: cost 7 inf + 1 0.539 * * [simplify]: Extracting #3: cost 9 inf + 1 0.539 * * [simplify]: Extracting #4: cost 12 inf + 1 0.539 * * [simplify]: Extracting #5: cost 16 inf + 1 0.539 * * [simplify]: Extracting #6: cost 16 inf + 2 0.539 * * [simplify]: Extracting #7: cost 10 inf + 329 0.539 * * [simplify]: Extracting #8: cost 4 inf + 1160 0.539 * * [simplify]: Extracting #9: cost 0 inf + 1908 0.540 * [simplify]: Simplified to (exp (- (sqrt (- 1 (* x x))))) 0.540 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (- (sqrt (- 1 (* x x))))) (sqrt (- 1 (* x x))))) 0.540 * * * * [progress]: [ 8 / 32 ] simplifiying candidate # 0.540 * [simplify]: Simplifying (exp (- 1)) 0.540 * * [simplify]: iters left: 3 (3 enodes) 0.543 * * [simplify]: iters left: 2 (14 enodes) 0.547 * * [simplify]: iters left: 1 (17 enodes) 0.551 * * [simplify]: Extracting #0: cost 1 inf + 0 0.551 * * [simplify]: Extracting #1: cost 5 inf + 0 0.551 * * [simplify]: Extracting #2: cost 2 inf + 3 0.551 * * [simplify]: Extracting #3: cost 1 inf + 45 0.552 * * [simplify]: Extracting #4: cost 0 inf + 87 0.552 * [simplify]: Simplified to (/ 1 E) 0.552 * [simplify]: Simplified (2 1) to (λ (x) (pow (/ 1 E) (- 1 (* x x)))) 0.552 * * * * [progress]: [ 9 / 32 ] simplifiying candidate # 0.552 * [simplify]: Simplifying (exp (- (+ (sqrt 1) x))) 0.552 * * [simplify]: iters left: 6 (6 enodes) 0.556 * * [simplify]: iters left: 5 (26 enodes) 0.564 * * [simplify]: iters left: 4 (51 enodes) 0.577 * * [simplify]: iters left: 3 (70 enodes) 0.593 * * [simplify]: iters left: 2 (84 enodes) 0.609 * * [simplify]: iters left: 1 (92 enodes) 0.628 * * [simplify]: Extracting #0: cost 1 inf + 0 0.628 * * [simplify]: Extracting #1: cost 16 inf + 0 0.628 * * [simplify]: Extracting #2: cost 27 inf + 2 0.628 * * [simplify]: Extracting #3: cost 19 inf + 577 0.629 * * [simplify]: Extracting #4: cost 2 inf + 2086 0.630 * * [simplify]: Extracting #5: cost 0 inf + 2228 0.630 * [simplify]: Simplified to (exp (- -1 x)) 0.630 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (- -1 x)) (- (sqrt 1) x))) 0.630 * * * * [progress]: [ 10 / 32 ] simplifiying candidate # 0.631 * [simplify]: Simplifying (exp (- (+ 1 x))) 0.631 * * [simplify]: iters left: 5 (5 enodes) 0.633 * * [simplify]: iters left: 4 (24 enodes) 0.640 * * [simplify]: iters left: 3 (40 enodes) 0.650 * * [simplify]: iters left: 2 (52 enodes) 0.662 * * [simplify]: iters left: 1 (58 enodes) 0.671 * * [simplify]: Extracting #0: cost 1 inf + 0 0.672 * * [simplify]: Extracting #1: cost 12 inf + 0 0.672 * * [simplify]: Extracting #2: cost 20 inf + 2 0.672 * * [simplify]: Extracting #3: cost 18 inf + 117 0.672 * * [simplify]: Extracting #4: cost 2 inf + 1482 0.672 * * [simplify]: Extracting #5: cost 0 inf + 1746 0.673 * [simplify]: Simplified to (exp (+ -1 (- x))) 0.673 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (+ -1 (- x))) (- 1 x))) 0.673 * * * * [progress]: [ 11 / 32 ] simplifiying candidate # 0.673 * [simplify]: Simplifying (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) 0.673 * * [simplify]: iters left: 6 (7 enodes) 0.675 * * [simplify]: iters left: 5 (27 enodes) 0.680 * * [simplify]: iters left: 4 (41 enodes) 0.691 * * [simplify]: iters left: 3 (54 enodes) 0.705 * * [simplify]: iters left: 2 (78 enodes) 0.731 * * [simplify]: iters left: 1 (133 enodes) 0.772 * * [simplify]: Extracting #0: cost 1 inf + 0 0.772 * * [simplify]: Extracting #1: cost 14 inf + 0 0.772 * * [simplify]: Extracting #2: cost 52 inf + 1 0.773 * * [simplify]: Extracting #3: cost 69 inf + 4 0.773 * * [simplify]: Extracting #4: cost 74 inf + 5 0.773 * * [simplify]: Extracting #5: cost 74 inf + 6 0.774 * * [simplify]: Extracting #6: cost 50 inf + 4663 0.776 * * [simplify]: Extracting #7: cost 10 inf + 22920 0.780 * * [simplify]: Extracting #8: cost 0 inf + 30390 0.784 * [simplify]: Simplified to (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) 0.784 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) (- (cbrt (- 1 (* x x)))))) 0.784 * * * * [progress]: [ 12 / 32 ] simplifiying candidate # 0.785 * [simplify]: Simplifying (exp (sqrt (- 1 (* x x)))) 0.785 * * [simplify]: iters left: 6 (6 enodes) 0.787 * * [simplify]: iters left: 5 (22 enodes) 0.790 * * [simplify]: iters left: 4 (30 enodes) 0.794 * * [simplify]: iters left: 3 (32 enodes) 0.799 * * [simplify]: Extracting #0: cost 1 inf + 0 0.799 * * [simplify]: Extracting #1: cost 3 inf + 0 0.799 * * [simplify]: Extracting #2: cost 5 inf + 0 0.799 * * [simplify]: Extracting #3: cost 9 inf + 0 0.799 * * [simplify]: Extracting #4: cost 12 inf + 1 0.799 * * [simplify]: Extracting #5: cost 11 inf + 43 0.799 * * [simplify]: Extracting #6: cost 5 inf + 410 0.799 * * [simplify]: Extracting #7: cost 1 inf + 928 0.800 * * [simplify]: Extracting #8: cost 0 inf + 1120 0.800 * [simplify]: Simplified to (exp (sqrt (- 1 (* x x)))) 0.800 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (sqrt (- 1 (* x x)))) (- (sqrt (- 1 (* x x)))))) 0.800 * * * * [progress]: [ 13 / 32 ] simplifiying candidate # 0.800 * [simplify]: Simplifying (exp 1) 0.800 * * [simplify]: iters left: 1 (2 enodes) 0.801 * * [simplify]: Extracting #0: cost 1 inf + 0 0.801 * * [simplify]: Extracting #1: cost 0 inf + 1 0.801 * [simplify]: Simplified to E 0.801 * [simplify]: Simplified (2 1) to (λ (x) (pow E (- (- 1 (* x x))))) 0.801 * * * * [progress]: [ 14 / 32 ] simplifiying candidate # 0.801 * [simplify]: Simplifying (exp (+ (sqrt 1) x)) 0.801 * * [simplify]: iters left: 4 (5 enodes) 0.803 * * [simplify]: iters left: 3 (21 enodes) 0.807 * * [simplify]: iters left: 2 (32 enodes) 0.813 * * [simplify]: iters left: 1 (34 enodes) 0.817 * * [simplify]: Extracting #0: cost 1 inf + 0 0.817 * * [simplify]: Extracting #1: cost 5 inf + 0 0.817 * * [simplify]: Extracting #2: cost 8 inf + 1 0.817 * * [simplify]: Extracting #3: cost 4 inf + 145 0.817 * * [simplify]: Extracting #4: cost 2 inf + 299 0.817 * * [simplify]: Extracting #5: cost 0 inf + 453 0.817 * [simplify]: Simplified to (* E (exp x)) 0.817 * [simplify]: Simplified (2 1) to (λ (x) (pow (* E (exp x)) (- (- (sqrt 1) x)))) 0.817 * * * * [progress]: [ 15 / 32 ] simplifiying candidate # 0.818 * [simplify]: Simplifying (exp (+ 1 x)) 0.818 * * [simplify]: iters left: 3 (4 enodes) 0.819 * * [simplify]: iters left: 2 (18 enodes) 0.822 * * [simplify]: iters left: 1 (24 enodes) 0.826 * * [simplify]: Extracting #0: cost 1 inf + 0 0.827 * * [simplify]: Extracting #1: cost 5 inf + 0 0.827 * * [simplify]: Extracting #2: cost 8 inf + 1 0.827 * * [simplify]: Extracting #3: cost 5 inf + 74 0.827 * * [simplify]: Extracting #4: cost 0 inf + 453 0.827 * [simplify]: Simplified to (* (exp x) E) 0.827 * [simplify]: Simplified (2 1) to (λ (x) (pow (* (exp x) E) (- (- 1 x)))) 0.827 * * * * [progress]: [ 16 / 32 ] simplifiying candidate # 0.827 * [simplify]: Simplifying (exp (- 1)) 0.828 * * [simplify]: iters left: 3 (3 enodes) 0.830 * * [simplify]: iters left: 2 (14 enodes) 0.835 * * [simplify]: iters left: 1 (17 enodes) 0.840 * * [simplify]: Extracting #0: cost 1 inf + 0 0.840 * * [simplify]: Extracting #1: cost 5 inf + 0 0.840 * * [simplify]: Extracting #2: cost 2 inf + 3 0.840 * * [simplify]: Extracting #3: cost 1 inf + 45 0.840 * * [simplify]: Extracting #4: cost 0 inf + 87 0.840 * [simplify]: Simplified to (/ 1 E) 0.840 * [simplify]: Simplified (2 1) to (λ (x) (* (/ 1 E) (exp (- (- (* x x)))))) 0.840 * * * * [progress]: [ 17 / 32 ] simplifiying candidate # 0.840 * [simplify]: Simplifying (exp (- 1)) 0.840 * * [simplify]: iters left: 3 (3 enodes) 0.843 * * [simplify]: iters left: 2 (14 enodes) 0.847 * * [simplify]: iters left: 1 (17 enodes) 0.852 * * [simplify]: Extracting #0: cost 1 inf + 0 0.852 * * [simplify]: Extracting #1: cost 5 inf + 0 0.852 * * [simplify]: Extracting #2: cost 2 inf + 3 0.852 * * [simplify]: Extracting #3: cost 1 inf + 45 0.852 * * [simplify]: Extracting #4: cost 0 inf + 87 0.852 * [simplify]: Simplified to (/ 1 E) 0.852 * [simplify]: Simplified (2 1) to (λ (x) (* (/ 1 E) (exp (- (- (* x x)))))) 0.852 * * * * [progress]: [ 18 / 32 ] simplifiying candidate # 0.852 * * * * [progress]: [ 19 / 32 ] simplifiying candidate # 0.853 * [simplify]: Simplifying (exp 0) 0.853 * * [simplify]: iters left: 1 (2 enodes) 0.854 * * [simplify]: Extracting #0: cost 1 inf + 0 0.854 * * [simplify]: Extracting #1: cost 0 inf + 1 0.854 * [simplify]: Simplified to 1 0.854 * [simplify]: Simplified (2 1) to (λ (x) (/ 1 (exp (- 1 (* x x))))) 0.854 * * * * [progress]: [ 20 / 32 ] simplifiying candidate # 0.854 * * * * [progress]: [ 21 / 32 ] simplifiying candidate # 0.854 * * * * [progress]: [ 22 / 32 ] simplifiying candidate # 0.854 * [simplify]: Simplifying (- (- 1 (* x x))) 0.854 * * [simplify]: iters left: 6 (5 enodes) 0.857 * * [simplify]: iters left: 5 (19 enodes) 0.863 * * [simplify]: iters left: 4 (31 enodes) 0.871 * * [simplify]: iters left: 3 (40 enodes) 0.881 * * [simplify]: iters left: 2 (41 enodes) 0.890 * * [simplify]: iters left: 1 (47 enodes) 0.901 * * [simplify]: Extracting #0: cost 1 inf + 0 0.901 * * [simplify]: Extracting #1: cost 10 inf + 0 0.901 * * [simplify]: Extracting #2: cost 19 inf + 1 0.901 * * [simplify]: Extracting #3: cost 18 inf + 3 0.902 * * [simplify]: Extracting #4: cost 6 inf + 742 0.902 * * [simplify]: Extracting #5: cost 0 inf + 1153 0.903 * [simplify]: Simplified to (+ -1 (* x x)) 0.903 * [simplify]: Simplified (2 1) to (λ (x) (exp (+ -1 (* x x)))) 0.903 * * * * [progress]: [ 23 / 32 ] simplifiying candidate # 0.903 * * * * [progress]: [ 24 / 32 ] simplifiying candidate # 0.903 * * * * [progress]: [ 25 / 32 ] simplifiying candidate # 0.903 * * * * [progress]: [ 26 / 32 ] simplifiying candidate # 0.903 * * * * [progress]: [ 27 / 32 ] simplifiying candidate # 0.903 * * * * [progress]: [ 28 / 32 ] simplifiying candidate # 0.903 * * * * [progress]: [ 29 / 32 ] simplifiying candidate #real (real->posit16 (exp (- (- 1 (* x x)))))))> 0.903 * * * * [progress]: [ 30 / 32 ] simplifiying candidate # 0.904 * [simplify]: Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 0.904 * * [simplify]: iters left: 6 (13 enodes) 0.910 * * [simplify]: iters left: 5 (56 enodes) 0.920 * * [simplify]: iters left: 4 (88 enodes) 0.946 * * [simplify]: iters left: 3 (128 enodes) 0.979 * * [simplify]: iters left: 2 (179 enodes) 1.009 * * [simplify]: iters left: 1 (277 enodes) 1.082 * * [simplify]: Extracting #0: cost 1 inf + 0 1.083 * * [simplify]: Extracting #1: cost 12 inf + 0 1.083 * * [simplify]: Extracting #2: cost 65 inf + 1 1.083 * * [simplify]: Extracting #3: cost 94 inf + 552 1.085 * * [simplify]: Extracting #4: cost 32 inf + 9585 1.091 * * [simplify]: Extracting #5: cost 2 inf + 15556 1.095 * * [simplify]: Extracting #6: cost 0 inf + 15957 1.099 * [simplify]: Simplified to (+ (* (+ (exp -1) (* (exp -1) (* 1/2 (* x x)))) (* x x)) (exp -1)) 1.099 * [simplify]: Simplified (2) to (λ (x) (+ (* (+ (exp -1) (* (exp -1) (* 1/2 (* x x)))) (* x x)) (exp -1))) 1.099 * * * * [progress]: [ 31 / 32 ] simplifiying candidate # 1.100 * [simplify]: Simplifying (exp (- (pow x 2) 1)) 1.100 * * [simplify]: iters left: 4 (6 enodes) 1.105 * * [simplify]: iters left: 3 (30 enodes) 1.115 * * [simplify]: iters left: 2 (44 enodes) 1.129 * * [simplify]: iters left: 1 (61 enodes) 1.147 * * [simplify]: Extracting #0: cost 1 inf + 0 1.147 * * [simplify]: Extracting #1: cost 15 inf + 0 1.147 * * [simplify]: Extracting #2: cost 38 inf + 1 1.148 * * [simplify]: Extracting #3: cost 35 inf + 324 1.148 * * [simplify]: Extracting #4: cost 18 inf + 1686 1.149 * * [simplify]: Extracting #5: cost 6 inf + 3200 1.150 * * [simplify]: Extracting #6: cost 0 inf + 5195 1.152 * [simplify]: Simplified to (/ (exp (* x x)) E) 1.152 * [simplify]: Simplified (2) to (λ (x) (/ (exp (* x x)) E)) 1.152 * * * * [progress]: [ 32 / 32 ] simplifiying candidate # 1.152 * [simplify]: Simplifying (exp (- (pow x 2) 1)) 1.152 * * [simplify]: iters left: 4 (6 enodes) 1.157 * * [simplify]: iters left: 3 (30 enodes) 1.168 * * [simplify]: iters left: 2 (44 enodes) 1.180 * * [simplify]: iters left: 1 (61 enodes) 1.199 * * [simplify]: Extracting #0: cost 1 inf + 0 1.199 * * [simplify]: Extracting #1: cost 15 inf + 0 1.199 * * [simplify]: Extracting #2: cost 38 inf + 1 1.199 * * [simplify]: Extracting #3: cost 35 inf + 324 1.200 * * [simplify]: Extracting #4: cost 18 inf + 1686 1.201 * * [simplify]: Extracting #5: cost 6 inf + 3200 1.202 * * [simplify]: Extracting #6: cost 0 inf + 5195 1.204 * [simplify]: Simplified to (/ (exp (* x x)) E) 1.204 * [simplify]: Simplified (2) to (λ (x) (/ (exp (* x x)) E)) 1.204 * * * [progress]: adding candidates to table 1.415 * * [progress]: iteration 2 / 4 1.415 * * * [progress]: picking best candidate 1.416 * * * * [pick]: Picked # 1.416 * * * [progress]: localizing error 1.427 * * * [progress]: generating rewritten candidates 1.427 * * * [progress]: generating series expansions 1.427 * * * [progress]: simplifying candidates 1.427 * * * [progress]: adding candidates to table 1.427 * [progress]: [Phase 3 of 3] Extracting. 1.429 * [simplify]: Simplifying (/ 1 (exp (- 1 (* x x)))) 1.429 * * [simplify]: iters left: 6 (6 enodes) 1.430 * * [simplify]: iters left: 5 (8 enodes) 1.430 * * [simplify]: Extracting #0: cost 1 inf + 0 1.430 * * [simplify]: Extracting #1: cost 3 inf + 0 1.430 * * [simplify]: Extracting #2: cost 3 inf + 1 1.430 * * [simplify]: Extracting #3: cost 4 inf + 1 1.430 * * [simplify]: Extracting #4: cost 5 inf + 1 1.430 * * [simplify]: Extracting #5: cost 0 inf + 469 1.430 * [simplify]: Simplified to (/ 1 (exp (- 1 (* x x)))) 3.098 * [regime-testing]: Baseline error score: 0.022865829641031784 3.099 * [regime-testing]: Oracle error score: 0.022865829641031784 3.099 * [regime-testing]: End program error score: 0.022865829641031784