0.002 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.045 * * * [progress]: [2/2] Setting up program. 0.049 * [progress]: [Phase 2 of 3] Improving. 0.049 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.050 * [simplify]: Simplifying (exp (- (- 1 (* x x)))) 0.050 * * [simplify]: iters left: 6 (6 enodes) 0.053 * * [simplify]: iters left: 5 (24 enodes) 0.060 * * [simplify]: iters left: 4 (43 enodes) 0.067 * * [simplify]: iters left: 3 (71 enodes) 0.079 * * [simplify]: iters left: 2 (111 enodes) 0.121 * * [simplify]: iters left: 1 (207 enodes) 0.166 * * [simplify]: Extracting #0: cost 1 inf + 0 0.167 * * [simplify]: Extracting #1: cost 55 inf + 0 0.167 * * [simplify]: Extracting #2: cost 138 inf + 44 0.168 * * [simplify]: Extracting #3: cost 148 inf + 957 0.171 * * [simplify]: Extracting #4: cost 115 inf + 4575 0.177 * * [simplify]: Extracting #5: cost 41 inf + 29799 0.187 * * [simplify]: Extracting #6: cost 7 inf + 43765 0.196 * * [simplify]: Extracting #7: cost 0 inf + 45667 0.210 * * [simplify]: Extracting #8: cost 0 inf + 45507 0.221 * [simplify]: Simplified to (/ (exp (* x x)) E) 0.221 * [simplify]: Simplified (2) to (λ (x) (/ (exp (* x x)) E)) 0.230 * * [progress]: iteration 1 / 4 0.230 * * * [progress]: picking best candidate 0.234 * * * * [pick]: Picked # 0.234 * * * [progress]: localizing error 0.254 * * * [progress]: generating rewritten candidates 0.254 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.287 * * * [progress]: generating series expansions 0.287 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.287 * [backup-simplify]: Simplify (exp (- (- 1 (* x x)))) into (exp (- (pow x 2) 1)) 0.287 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1)) in (x) around 0 0.287 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1)) in x 0.287 * [taylor]: Taking taylor expansion of (- (pow x 2) 1) in x 0.287 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.287 * [taylor]: Taking taylor expansion of x in x 0.287 * [backup-simplify]: Simplify 0 into 0 0.287 * [backup-simplify]: Simplify 1 into 1 0.287 * [taylor]: Taking taylor expansion of 1 in x 0.288 * [backup-simplify]: Simplify 1 into 1 0.288 * [backup-simplify]: Simplify (- 1) into -1 0.289 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.289 * [backup-simplify]: Simplify (exp -1) into (exp -1) 0.289 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1)) in x 0.289 * [taylor]: Taking taylor expansion of (- (pow x 2) 1) in x 0.289 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.289 * [taylor]: Taking taylor expansion of x in x 0.289 * [backup-simplify]: Simplify 0 into 0 0.289 * [backup-simplify]: Simplify 1 into 1 0.289 * [taylor]: Taking taylor expansion of 1 in x 0.289 * [backup-simplify]: Simplify 1 into 1 0.290 * [backup-simplify]: Simplify (- 1) into -1 0.290 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.291 * [backup-simplify]: Simplify (exp -1) into (exp -1) 0.291 * [backup-simplify]: Simplify (exp -1) into (exp -1) 0.292 * [backup-simplify]: Simplify (- 0) into 0 0.292 * [backup-simplify]: Simplify (+ 0 0) into 0 0.294 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 0.294 * [backup-simplify]: Simplify 0 into 0 0.294 * [backup-simplify]: Simplify (* 1 1) into 1 0.294 * [backup-simplify]: Simplify (- 0) into 0 0.295 * [backup-simplify]: Simplify (+ 1 0) into 1 0.298 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1) 0.299 * [backup-simplify]: Simplify (exp -1) into (exp -1) 0.300 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.300 * [backup-simplify]: Simplify (- 0) into 0 0.301 * [backup-simplify]: Simplify (+ 0 0) into 0 0.303 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.303 * [backup-simplify]: Simplify 0 into 0 0.304 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.305 * [backup-simplify]: Simplify (- 0) into 0 0.305 * [backup-simplify]: Simplify (+ 0 0) into 0 0.314 * [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.315 * [backup-simplify]: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 0.317 * [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.317 * [backup-simplify]: Simplify (exp (- (- 1 (* (/ 1 x) (/ 1 x))))) into (exp (- (/ 1 (pow x 2)) 1)) 0.317 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in (x) around 0 0.317 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x 0.317 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 0.317 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.317 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.317 * [taylor]: Taking taylor expansion of x in x 0.317 * [backup-simplify]: Simplify 0 into 0 0.317 * [backup-simplify]: Simplify 1 into 1 0.317 * [backup-simplify]: Simplify (* 1 1) into 1 0.318 * [backup-simplify]: Simplify (/ 1 1) into 1 0.318 * [taylor]: Taking taylor expansion of 1 in x 0.318 * [backup-simplify]: Simplify 1 into 1 0.318 * [backup-simplify]: Simplify (+ 1 0) into 1 0.319 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 0.319 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x 0.319 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 0.319 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.319 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.319 * [taylor]: Taking taylor expansion of x in x 0.319 * [backup-simplify]: Simplify 0 into 0 0.319 * [backup-simplify]: Simplify 1 into 1 0.319 * [backup-simplify]: Simplify (* 1 1) into 1 0.320 * [backup-simplify]: Simplify (/ 1 1) into 1 0.320 * [taylor]: Taking taylor expansion of 1 in x 0.320 * [backup-simplify]: Simplify 1 into 1 0.320 * [backup-simplify]: Simplify (+ 1 0) into 1 0.320 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 0.320 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 0.321 * [backup-simplify]: Simplify 0 into 0 0.321 * [backup-simplify]: Simplify 0 into 0 0.321 * [backup-simplify]: Simplify 0 into 0 0.321 * [backup-simplify]: Simplify 0 into 0 0.321 * [backup-simplify]: Simplify 0 into 0 0.321 * [backup-simplify]: Simplify 0 into 0 0.321 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1)) into (exp (- (pow x 2) 1)) 0.321 * [backup-simplify]: Simplify (exp (- (- 1 (* (/ 1 (- x)) (/ 1 (- x)))))) into (exp (- (/ 1 (pow x 2)) 1)) 0.321 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in (x) around 0 0.321 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x 0.321 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 0.321 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.321 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.321 * [taylor]: Taking taylor expansion of x in x 0.321 * [backup-simplify]: Simplify 0 into 0 0.321 * [backup-simplify]: Simplify 1 into 1 0.322 * [backup-simplify]: Simplify (* 1 1) into 1 0.322 * [backup-simplify]: Simplify (/ 1 1) into 1 0.322 * [taylor]: Taking taylor expansion of 1 in x 0.322 * [backup-simplify]: Simplify 1 into 1 0.323 * [backup-simplify]: Simplify (+ 1 0) into 1 0.323 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 0.323 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x 0.323 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 0.323 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.323 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.323 * [taylor]: Taking taylor expansion of x in x 0.323 * [backup-simplify]: Simplify 0 into 0 0.323 * [backup-simplify]: Simplify 1 into 1 0.323 * [backup-simplify]: Simplify (* 1 1) into 1 0.324 * [backup-simplify]: Simplify (/ 1 1) into 1 0.324 * [taylor]: Taking taylor expansion of 1 in x 0.324 * [backup-simplify]: Simplify 1 into 1 0.324 * [backup-simplify]: Simplify (+ 1 0) into 1 0.324 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 0.325 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 0.325 * [backup-simplify]: Simplify 0 into 0 0.325 * [backup-simplify]: Simplify 0 into 0 0.325 * [backup-simplify]: Simplify 0 into 0 0.325 * [backup-simplify]: Simplify 0 into 0 0.325 * [backup-simplify]: Simplify 0 into 0 0.325 * [backup-simplify]: Simplify 0 into 0 0.325 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1)) into (exp (- (pow x 2) 1)) 0.325 * * * [progress]: simplifying candidates 0.325 * * * * [progress]: [ 1 / 32 ] simplifiying candidate # 0.325 * * * * [progress]: [ 2 / 32 ] simplifiying candidate # 0.325 * [simplify]: Simplifying (exp (* (cbrt (- (- 1 (* x x)))) (cbrt (- (- 1 (* x x)))))) 0.325 * * [simplify]: iters left: 6 (8 enodes) 0.328 * * [simplify]: iters left: 5 (30 enodes) 0.333 * * [simplify]: iters left: 4 (48 enodes) 0.345 * * [simplify]: iters left: 3 (68 enodes) 0.364 * * [simplify]: iters left: 2 (93 enodes) 0.382 * * [simplify]: iters left: 1 (151 enodes) 0.420 * * [simplify]: Extracting #0: cost 1 inf + 0 0.420 * * [simplify]: Extracting #1: cost 14 inf + 0 0.420 * * [simplify]: Extracting #2: cost 55 inf + 1 0.421 * * [simplify]: Extracting #3: cost 80 inf + 4 0.421 * * [simplify]: Extracting #4: cost 89 inf + 6 0.422 * * [simplify]: Extracting #5: cost 75 inf + 2045 0.425 * * [simplify]: Extracting #6: cost 33 inf + 14764 0.434 * * [simplify]: Extracting #7: cost 1 inf + 33973 0.443 * * [simplify]: Extracting #8: cost 0 inf + 33601 0.453 * [simplify]: Simplified to (exp (* (cbrt (+ -1 (* x x))) (cbrt (+ -1 (* x x))))) 0.453 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (* (cbrt (+ -1 (* x x))) (cbrt (+ -1 (* x x))))) (cbrt (- (- 1 (* x x)))))) 0.453 * * * * [progress]: [ 3 / 32 ] simplifiying candidate # 0.453 * [simplify]: Simplifying (exp (sqrt (- (- 1 (* x x))))) 0.453 * * [simplify]: iters left: 6 (7 enodes) 0.457 * * [simplify]: iters left: 5 (25 enodes) 0.469 * * [simplify]: iters left: 4 (37 enodes) 0.477 * * [simplify]: iters left: 3 (46 enodes) 0.484 * * [simplify]: iters left: 2 (47 enodes) 0.490 * * [simplify]: iters left: 1 (53 enodes) 0.497 * * [simplify]: Extracting #0: cost 1 inf + 0 0.497 * * [simplify]: Extracting #1: cost 3 inf + 0 0.497 * * [simplify]: Extracting #2: cost 5 inf + 0 0.497 * * [simplify]: Extracting #3: cost 14 inf + 0 0.498 * * [simplify]: Extracting #4: cost 23 inf + 1 0.498 * * [simplify]: Extracting #5: cost 21 inf + 45 0.498 * * [simplify]: Extracting #6: cost 9 inf + 825 0.498 * * [simplify]: Extracting #7: cost 1 inf + 1699 0.499 * * [simplify]: Extracting #8: cost 0 inf + 1781 0.499 * [simplify]: Simplified to (exp (sqrt (+ (* x x) -1))) 0.499 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (sqrt (+ (* x x) -1))) (sqrt (- (- 1 (* x x)))))) 0.499 * * * * [progress]: [ 4 / 32 ] simplifiying candidate # 0.499 * [simplify]: Simplifying (exp 1) 0.499 * * [simplify]: iters left: 1 (2 enodes) 0.500 * * [simplify]: Extracting #0: cost 1 inf + 0 0.500 * * [simplify]: Extracting #1: cost 0 inf + 1 0.500 * [simplify]: Simplified to E 0.500 * [simplify]: Simplified (2 1) to (λ (x) (pow E (- (- 1 (* x x))))) 0.500 * * * * [progress]: [ 5 / 32 ] simplifiying candidate # 0.501 * [simplify]: Simplifying (exp -1) 0.501 * * [simplify]: iters left: 1 (2 enodes) 0.502 * * [simplify]: Extracting #0: cost 1 inf + 0 0.502 * * [simplify]: Extracting #1: cost 3 inf + 0 0.502 * * [simplify]: Extracting #2: cost 2 inf + 1 0.502 * * [simplify]: Extracting #3: cost 0 inf + 143 0.502 * [simplify]: Simplified to (exp -1) 0.503 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp -1) (- 1 (* x x)))) 0.503 * * * * [progress]: [ 6 / 32 ] simplifiying candidate # 0.503 * [simplify]: Simplifying (exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))) 0.503 * * [simplify]: iters left: 6 (8 enodes) 0.507 * * [simplify]: iters left: 5 (33 enodes) 0.518 * * [simplify]: iters left: 4 (50 enodes) 0.533 * * [simplify]: iters left: 3 (66 enodes) 0.553 * * [simplify]: iters left: 2 (94 enodes) 0.583 * * [simplify]: iters left: 1 (157 enodes) 0.629 * * [simplify]: Extracting #0: cost 1 inf + 0 0.629 * * [simplify]: Extracting #1: cost 29 inf + 0 0.629 * * [simplify]: Extracting #2: cost 89 inf + 1 0.630 * * [simplify]: Extracting #3: cost 110 inf + 4 0.630 * * [simplify]: Extracting #4: cost 112 inf + 6 0.631 * * [simplify]: Extracting #5: cost 90 inf + 4161 0.633 * * [simplify]: Extracting #6: cost 49 inf + 16594 0.638 * * [simplify]: Extracting #7: cost 7 inf + 41629 0.644 * * [simplify]: Extracting #8: cost 0 inf + 47128 0.655 * [simplify]: Simplified to (exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))) 0.656 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))) (cbrt (- 1 (* x x))))) 0.656 * * * * [progress]: [ 7 / 32 ] simplifiying candidate # 0.656 * [simplify]: Simplifying (exp (- (sqrt (- 1 (* x x))))) 0.656 * * [simplify]: iters left: 6 (7 enodes) 0.658 * * [simplify]: iters left: 5 (27 enodes) 0.663 * * [simplify]: iters left: 4 (37 enodes) 0.669 * * [simplify]: iters left: 3 (39 enodes) 0.675 * * [simplify]: Extracting #0: cost 1 inf + 0 0.675 * * [simplify]: Extracting #1: cost 5 inf + 0 0.676 * * [simplify]: Extracting #2: cost 7 inf + 1 0.676 * * [simplify]: Extracting #3: cost 9 inf + 1 0.676 * * [simplify]: Extracting #4: cost 12 inf + 1 0.676 * * [simplify]: Extracting #5: cost 16 inf + 1 0.676 * * [simplify]: Extracting #6: cost 16 inf + 2 0.676 * * [simplify]: Extracting #7: cost 10 inf + 329 0.676 * * [simplify]: Extracting #8: cost 4 inf + 1160 0.676 * * [simplify]: Extracting #9: cost 0 inf + 1908 0.677 * [simplify]: Simplified to (exp (- (sqrt (- 1 (* x x))))) 0.677 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (- (sqrt (- 1 (* x x))))) (sqrt (- 1 (* x x))))) 0.677 * * * * [progress]: [ 8 / 32 ] simplifiying candidate # 0.677 * [simplify]: Simplifying (exp (- 1)) 0.677 * * [simplify]: iters left: 3 (3 enodes) 0.680 * * [simplify]: iters left: 2 (14 enodes) 0.683 * * [simplify]: iters left: 1 (17 enodes) 0.687 * * [simplify]: Extracting #0: cost 1 inf + 0 0.687 * * [simplify]: Extracting #1: cost 5 inf + 0 0.687 * * [simplify]: Extracting #2: cost 2 inf + 3 0.687 * * [simplify]: Extracting #3: cost 1 inf + 45 0.687 * * [simplify]: Extracting #4: cost 0 inf + 87 0.687 * [simplify]: Simplified to (/ 1 E) 0.687 * [simplify]: Simplified (2 1) to (λ (x) (pow (/ 1 E) (- 1 (* x x)))) 0.687 * * * * [progress]: [ 9 / 32 ] simplifiying candidate # 0.688 * [simplify]: Simplifying (exp (- (+ (sqrt 1) x))) 0.688 * * [simplify]: iters left: 6 (6 enodes) 0.692 * * [simplify]: iters left: 5 (26 enodes) 0.703 * * [simplify]: iters left: 4 (51 enodes) 0.720 * * [simplify]: iters left: 3 (70 enodes) 0.738 * * [simplify]: iters left: 2 (84 enodes) 0.758 * * [simplify]: iters left: 1 (92 enodes) 0.780 * * [simplify]: Extracting #0: cost 1 inf + 0 0.780 * * [simplify]: Extracting #1: cost 16 inf + 0 0.781 * * [simplify]: Extracting #2: cost 27 inf + 2 0.781 * * [simplify]: Extracting #3: cost 19 inf + 577 0.782 * * [simplify]: Extracting #4: cost 2 inf + 2086 0.783 * * [simplify]: Extracting #5: cost 0 inf + 2228 0.784 * [simplify]: Simplified to (exp (- -1 x)) 0.784 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (- -1 x)) (- (sqrt 1) x))) 0.784 * * * * [progress]: [ 10 / 32 ] simplifiying candidate # 0.784 * [simplify]: Simplifying (exp (- (+ 1 x))) 0.784 * * [simplify]: iters left: 5 (5 enodes) 0.787 * * [simplify]: iters left: 4 (24 enodes) 0.796 * * [simplify]: iters left: 3 (40 enodes) 0.809 * * [simplify]: iters left: 2 (52 enodes) 0.824 * * [simplify]: iters left: 1 (58 enodes) 0.841 * * [simplify]: Extracting #0: cost 1 inf + 0 0.841 * * [simplify]: Extracting #1: cost 12 inf + 0 0.841 * * [simplify]: Extracting #2: cost 20 inf + 2 0.842 * * [simplify]: Extracting #3: cost 18 inf + 117 0.842 * * [simplify]: Extracting #4: cost 2 inf + 1482 0.843 * * [simplify]: Extracting #5: cost 0 inf + 1746 0.843 * [simplify]: Simplified to (exp (+ -1 (- x))) 0.843 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (+ -1 (- x))) (- 1 x))) 0.843 * * * * [progress]: [ 11 / 32 ] simplifiying candidate # 0.844 * [simplify]: Simplifying (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) 0.844 * * [simplify]: iters left: 6 (7 enodes) 0.848 * * [simplify]: iters left: 5 (27 enodes) 0.857 * * [simplify]: iters left: 4 (41 enodes) 0.873 * * [simplify]: iters left: 3 (54 enodes) 0.891 * * [simplify]: iters left: 2 (78 enodes) 0.918 * * [simplify]: iters left: 1 (133 enodes) 0.950 * * [simplify]: Extracting #0: cost 1 inf + 0 0.950 * * [simplify]: Extracting #1: cost 14 inf + 0 0.951 * * [simplify]: Extracting #2: cost 52 inf + 1 0.951 * * [simplify]: Extracting #3: cost 69 inf + 4 0.951 * * [simplify]: Extracting #4: cost 74 inf + 5 0.951 * * [simplify]: Extracting #5: cost 74 inf + 6 0.952 * * [simplify]: Extracting #6: cost 50 inf + 4663 0.954 * * [simplify]: Extracting #7: cost 10 inf + 22920 0.958 * * [simplify]: Extracting #8: cost 0 inf + 30390 0.965 * [simplify]: Simplified to (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) 0.965 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) (- (cbrt (- 1 (* x x)))))) 0.965 * * * * [progress]: [ 12 / 32 ] simplifiying candidate # 0.965 * [simplify]: Simplifying (exp (sqrt (- 1 (* x x)))) 0.965 * * [simplify]: iters left: 6 (6 enodes) 0.968 * * [simplify]: iters left: 5 (22 enodes) 0.976 * * [simplify]: iters left: 4 (30 enodes) 0.985 * * [simplify]: iters left: 3 (32 enodes) 0.994 * * [simplify]: Extracting #0: cost 1 inf + 0 0.994 * * [simplify]: Extracting #1: cost 3 inf + 0 0.994 * * [simplify]: Extracting #2: cost 5 inf + 0 0.995 * * [simplify]: Extracting #3: cost 9 inf + 0 0.995 * * [simplify]: Extracting #4: cost 12 inf + 1 0.995 * * [simplify]: Extracting #5: cost 11 inf + 43 0.995 * * [simplify]: Extracting #6: cost 5 inf + 410 0.995 * * [simplify]: Extracting #7: cost 1 inf + 928 0.995 * * [simplify]: Extracting #8: cost 0 inf + 1120 0.995 * [simplify]: Simplified to (exp (sqrt (- 1 (* x x)))) 0.995 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (sqrt (- 1 (* x x)))) (- (sqrt (- 1 (* x x)))))) 0.995 * * * * [progress]: [ 13 / 32 ] simplifiying candidate # 0.996 * [simplify]: Simplifying (exp 1) 0.996 * * [simplify]: iters left: 1 (2 enodes) 0.997 * * [simplify]: Extracting #0: cost 1 inf + 0 0.997 * * [simplify]: Extracting #1: cost 0 inf + 1 0.997 * [simplify]: Simplified to E 0.997 * [simplify]: Simplified (2 1) to (λ (x) (pow E (- (- 1 (* x x))))) 0.997 * * * * [progress]: [ 14 / 32 ] simplifiying candidate # 0.997 * [simplify]: Simplifying (exp (+ (sqrt 1) x)) 0.997 * * [simplify]: iters left: 4 (5 enodes) 0.999 * * [simplify]: iters left: 3 (21 enodes) 1.003 * * [simplify]: iters left: 2 (32 enodes) 1.008 * * [simplify]: iters left: 1 (34 enodes) 1.012 * * [simplify]: Extracting #0: cost 1 inf + 0 1.012 * * [simplify]: Extracting #1: cost 5 inf + 0 1.012 * * [simplify]: Extracting #2: cost 8 inf + 1 1.012 * * [simplify]: Extracting #3: cost 4 inf + 145 1.012 * * [simplify]: Extracting #4: cost 2 inf + 299 1.012 * * [simplify]: Extracting #5: cost 0 inf + 453 1.012 * [simplify]: Simplified to (* E (exp x)) 1.012 * [simplify]: Simplified (2 1) to (λ (x) (pow (* E (exp x)) (- (- (sqrt 1) x)))) 1.012 * * * * [progress]: [ 15 / 32 ] simplifiying candidate # 1.013 * [simplify]: Simplifying (exp (+ 1 x)) 1.013 * * [simplify]: iters left: 3 (4 enodes) 1.014 * * [simplify]: iters left: 2 (18 enodes) 1.017 * * [simplify]: iters left: 1 (24 enodes) 1.021 * * [simplify]: Extracting #0: cost 1 inf + 0 1.021 * * [simplify]: Extracting #1: cost 5 inf + 0 1.021 * * [simplify]: Extracting #2: cost 8 inf + 1 1.021 * * [simplify]: Extracting #3: cost 5 inf + 74 1.021 * * [simplify]: Extracting #4: cost 0 inf + 453 1.021 * [simplify]: Simplified to (* (exp x) E) 1.022 * [simplify]: Simplified (2 1) to (λ (x) (pow (* (exp x) E) (- (- 1 x)))) 1.022 * * * * [progress]: [ 16 / 32 ] simplifiying candidate # 1.022 * [simplify]: Simplifying (exp (- 1)) 1.022 * * [simplify]: iters left: 3 (3 enodes) 1.024 * * [simplify]: iters left: 2 (14 enodes) 1.027 * * [simplify]: iters left: 1 (17 enodes) 1.030 * * [simplify]: Extracting #0: cost 1 inf + 0 1.030 * * [simplify]: Extracting #1: cost 5 inf + 0 1.030 * * [simplify]: Extracting #2: cost 2 inf + 3 1.030 * * [simplify]: Extracting #3: cost 1 inf + 45 1.030 * * [simplify]: Extracting #4: cost 0 inf + 87 1.030 * [simplify]: Simplified to (/ 1 E) 1.030 * [simplify]: Simplified (2 1) to (λ (x) (* (/ 1 E) (exp (- (- (* x x)))))) 1.030 * * * * [progress]: [ 17 / 32 ] simplifiying candidate # 1.030 * [simplify]: Simplifying (exp (- 1)) 1.030 * * [simplify]: iters left: 3 (3 enodes) 1.032 * * [simplify]: iters left: 2 (14 enodes) 1.035 * * [simplify]: iters left: 1 (17 enodes) 1.039 * * [simplify]: Extracting #0: cost 1 inf + 0 1.039 * * [simplify]: Extracting #1: cost 5 inf + 0 1.039 * * [simplify]: Extracting #2: cost 2 inf + 3 1.039 * * [simplify]: Extracting #3: cost 1 inf + 45 1.039 * * [simplify]: Extracting #4: cost 0 inf + 87 1.039 * [simplify]: Simplified to (/ 1 E) 1.039 * [simplify]: Simplified (2 1) to (λ (x) (* (/ 1 E) (exp (- (- (* x x)))))) 1.039 * * * * [progress]: [ 18 / 32 ] simplifiying candidate # 1.039 * * * * [progress]: [ 19 / 32 ] simplifiying candidate # 1.039 * [simplify]: Simplifying (exp 0) 1.039 * * [simplify]: iters left: 1 (2 enodes) 1.040 * * [simplify]: Extracting #0: cost 1 inf + 0 1.040 * * [simplify]: Extracting #1: cost 0 inf + 1 1.040 * [simplify]: Simplified to 1 1.040 * [simplify]: Simplified (2 1) to (λ (x) (/ 1 (exp (- 1 (* x x))))) 1.040 * * * * [progress]: [ 20 / 32 ] simplifiying candidate # 1.040 * * * * [progress]: [ 21 / 32 ] simplifiying candidate # 1.040 * * * * [progress]: [ 22 / 32 ] simplifiying candidate # 1.040 * [simplify]: Simplifying (- (- 1 (* x x))) 1.040 * * [simplify]: iters left: 6 (5 enodes) 1.042 * * [simplify]: iters left: 5 (19 enodes) 1.045 * * [simplify]: iters left: 4 (31 enodes) 1.051 * * [simplify]: iters left: 3 (40 enodes) 1.056 * * [simplify]: iters left: 2 (41 enodes) 1.062 * * [simplify]: iters left: 1 (47 enodes) 1.069 * * [simplify]: Extracting #0: cost 1 inf + 0 1.069 * * [simplify]: Extracting #1: cost 10 inf + 0 1.069 * * [simplify]: Extracting #2: cost 19 inf + 1 1.069 * * [simplify]: Extracting #3: cost 18 inf + 3 1.070 * * [simplify]: Extracting #4: cost 6 inf + 742 1.070 * * [simplify]: Extracting #5: cost 0 inf + 1153 1.070 * [simplify]: Simplified to (+ -1 (* x x)) 1.070 * [simplify]: Simplified (2 1) to (λ (x) (exp (+ -1 (* x x)))) 1.070 * * * * [progress]: [ 23 / 32 ] simplifiying candidate # 1.070 * * * * [progress]: [ 24 / 32 ] simplifiying candidate # 1.070 * * * * [progress]: [ 25 / 32 ] simplifiying candidate # 1.070 * * * * [progress]: [ 26 / 32 ] simplifiying candidate # 1.071 * * * * [progress]: [ 27 / 32 ] simplifiying candidate # 1.071 * * * * [progress]: [ 28 / 32 ] simplifiying candidate # 1.071 * * * * [progress]: [ 29 / 32 ] simplifiying candidate #real (real->posit16 (exp (- (- 1 (* x x)))))))> 1.071 * * * * [progress]: [ 30 / 32 ] simplifiying candidate # 1.071 * [simplify]: Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 1.071 * * [simplify]: iters left: 6 (13 enodes) 1.076 * * [simplify]: iters left: 5 (56 enodes) 1.089 * * [simplify]: iters left: 4 (88 enodes) 1.104 * * [simplify]: iters left: 3 (128 enodes) 1.125 * * [simplify]: iters left: 2 (179 enodes) 1.174 * * [simplify]: iters left: 1 (277 enodes) 1.280 * * [simplify]: Extracting #0: cost 1 inf + 0 1.280 * * [simplify]: Extracting #1: cost 12 inf + 0 1.281 * * [simplify]: Extracting #2: cost 65 inf + 1 1.281 * * [simplify]: Extracting #3: cost 94 inf + 552 1.283 * * [simplify]: Extracting #4: cost 32 inf + 9585 1.287 * * [simplify]: Extracting #5: cost 2 inf + 15556 1.291 * * [simplify]: Extracting #6: cost 0 inf + 15957 1.295 * [simplify]: Simplified to (+ (* (+ (exp -1) (* (exp -1) (* 1/2 (* x x)))) (* x x)) (exp -1)) 1.296 * [simplify]: Simplified (2) to (λ (x) (+ (* (+ (exp -1) (* (exp -1) (* 1/2 (* x x)))) (* x x)) (exp -1))) 1.296 * * * * [progress]: [ 31 / 32 ] simplifiying candidate # 1.296 * [simplify]: Simplifying (exp (- (pow x 2) 1)) 1.296 * * [simplify]: iters left: 4 (6 enodes) 1.299 * * [simplify]: iters left: 3 (30 enodes) 1.304 * * [simplify]: iters left: 2 (44 enodes) 1.313 * * [simplify]: iters left: 1 (61 enodes) 1.332 * * [simplify]: Extracting #0: cost 1 inf + 0 1.332 * * [simplify]: Extracting #1: cost 15 inf + 0 1.332 * * [simplify]: Extracting #2: cost 38 inf + 1 1.332 * * [simplify]: Extracting #3: cost 35 inf + 324 1.333 * * [simplify]: Extracting #4: cost 18 inf + 1686 1.334 * * [simplify]: Extracting #5: cost 6 inf + 3200 1.335 * * [simplify]: Extracting #6: cost 0 inf + 5195 1.337 * [simplify]: Simplified to (/ (exp (* x x)) E) 1.337 * [simplify]: Simplified (2) to (λ (x) (/ (exp (* x x)) E)) 1.337 * * * * [progress]: [ 32 / 32 ] simplifiying candidate # 1.337 * [simplify]: Simplifying (exp (- (pow x 2) 1)) 1.337 * * [simplify]: iters left: 4 (6 enodes) 1.342 * * [simplify]: iters left: 3 (30 enodes) 1.353 * * [simplify]: iters left: 2 (44 enodes) 1.360 * * [simplify]: iters left: 1 (61 enodes) 1.370 * * [simplify]: Extracting #0: cost 1 inf + 0 1.370 * * [simplify]: Extracting #1: cost 15 inf + 0 1.370 * * [simplify]: Extracting #2: cost 38 inf + 1 1.370 * * [simplify]: Extracting #3: cost 35 inf + 324 1.371 * * [simplify]: Extracting #4: cost 18 inf + 1686 1.371 * * [simplify]: Extracting #5: cost 6 inf + 3200 1.372 * * [simplify]: Extracting #6: cost 0 inf + 5195 1.375 * [simplify]: Simplified to (/ (exp (* x x)) E) 1.375 * [simplify]: Simplified (2) to (λ (x) (/ (exp (* x x)) E)) 1.376 * * * [progress]: adding candidates to table 1.589 * * [progress]: iteration 2 / 4 1.589 * * * [progress]: picking best candidate 1.591 * * * * [pick]: Picked # 1.591 * * * [progress]: localizing error 1.616 * * * [progress]: generating rewritten candidates 1.616 * * * [progress]: generating series expansions 1.616 * * * [progress]: simplifying candidates 1.616 * * * [progress]: adding candidates to table 1.617 * [progress]: [Phase 3 of 3] Extracting. 1.621 * [simplify]: Simplifying (pow (exp (- (+ 1 x))) (- 1 x)) 1.621 * * [simplify]: iters left: 6 (7 enodes) 1.622 * * [simplify]: iters left: 5 (14 enodes) 1.623 * * [simplify]: iters left: 4 (15 enodes) 1.624 * * [simplify]: Extracting #0: cost 1 inf + 0 1.625 * * [simplify]: Extracting #1: cost 3 inf + 0 1.625 * * [simplify]: Extracting #2: cost 6 inf + 0 1.625 * * [simplify]: Extracting #3: cost 7 inf + 2 1.625 * * [simplify]: Extracting #4: cost 0 inf + 764 1.625 * [simplify]: Simplified to (pow (exp (- (+ x 1))) (- 1 x)) 3.555 * [regime-testing]: Baseline error score: 0.03093177049928217 3.559 * [regime-testing]: Oracle error score: 0.03093177049928217 3.560 * [regime-testing]: End program error score: 0.03093177049928217