0.001 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.065 * * * [progress]: [2/2] Setting up program. 0.068 * [progress]: [Phase 2 of 3] Improving. 0.068 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.068 * [simplify]: Simplifying (/ (exp x) (- (exp x) 1)) 0.068 * * [simplify]: iters left: 5 (5 enodes) 0.070 * * [simplify]: iters left: 4 (21 enodes) 0.073 * * [simplify]: iters left: 3 (25 enodes) 0.077 * * [simplify]: Extracting #0: cost 1 inf + 0 0.077 * * [simplify]: Extracting #1: cost 4 inf + 0 0.077 * * [simplify]: Extracting #2: cost 9 inf + 0 0.077 * * [simplify]: Extracting #3: cost 6 inf + 3 0.077 * * [simplify]: Extracting #4: cost 1 inf + 468 0.077 * * [simplify]: Extracting #5: cost 0 inf + 649 0.077 * [simplify]: Simplified to (/ (exp x) (expm1 x)) 0.077 * [simplify]: Simplified (2) to (λ (x) (/ (exp x) (expm1 x))) 0.080 * * [progress]: iteration 1 / 4 0.080 * * * [progress]: picking best candidate 0.081 * * * * [pick]: Picked # 0.081 * * * [progress]: localizing error 0.096 * * * [progress]: generating rewritten candidates 0.096 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.115 * * * [progress]: generating series expansions 0.115 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.115 * [backup-simplify]: Simplify (- (exp x) 1) into (- (exp x) 1) 0.116 * [approximate]: Taking taylor expansion of (- (exp x) 1) in (x) around 0 0.116 * [taylor]: Taking taylor expansion of (- (exp x) 1) in x 0.116 * [taylor]: Taking taylor expansion of (exp x) in x 0.116 * [taylor]: Taking taylor expansion of x in x 0.116 * [backup-simplify]: Simplify 0 into 0 0.116 * [backup-simplify]: Simplify 1 into 1 0.116 * [backup-simplify]: Simplify (exp 0) into 1 0.116 * [taylor]: Taking taylor expansion of 1 in x 0.116 * [backup-simplify]: Simplify 1 into 1 0.116 * [taylor]: Taking taylor expansion of (- (exp x) 1) in x 0.116 * [taylor]: Taking taylor expansion of (exp x) in x 0.116 * [taylor]: Taking taylor expansion of x in x 0.116 * [backup-simplify]: Simplify 0 into 0 0.116 * [backup-simplify]: Simplify 1 into 1 0.116 * [backup-simplify]: Simplify (exp 0) into 1 0.116 * [taylor]: Taking taylor expansion of 1 in x 0.116 * [backup-simplify]: Simplify 1 into 1 0.117 * [backup-simplify]: Simplify (- 1) into -1 0.117 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.118 * [backup-simplify]: Simplify 0 into 0 0.119 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.119 * [backup-simplify]: Simplify (- 0) into 0 0.120 * [backup-simplify]: Simplify (+ 1 0) into 1 0.120 * [backup-simplify]: Simplify 1 into 1 0.121 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.122 * [backup-simplify]: Simplify (- 0) into 0 0.122 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 0.122 * [backup-simplify]: Simplify 1/2 into 1/2 0.125 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 0.125 * [backup-simplify]: Simplify (- 0) into 0 0.126 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 0.126 * [backup-simplify]: Simplify 1/6 into 1/6 0.126 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 0.126 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 0.126 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in (x) around 0 0.126 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 0.126 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.127 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.127 * [taylor]: Taking taylor expansion of x in x 0.127 * [backup-simplify]: Simplify 0 into 0 0.127 * [backup-simplify]: Simplify 1 into 1 0.127 * [backup-simplify]: Simplify (/ 1 1) into 1 0.127 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.127 * [taylor]: Taking taylor expansion of 1 in x 0.128 * [backup-simplify]: Simplify 1 into 1 0.128 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 0.128 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.128 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.128 * [taylor]: Taking taylor expansion of x in x 0.128 * [backup-simplify]: Simplify 0 into 0 0.128 * [backup-simplify]: Simplify 1 into 1 0.146 * [backup-simplify]: Simplify (/ 1 1) into 1 0.146 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.146 * [taylor]: Taking taylor expansion of 1 in x 0.146 * [backup-simplify]: Simplify 1 into 1 0.147 * [backup-simplify]: Simplify (- 1) into -1 0.147 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 0.149 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 0.149 * [backup-simplify]: Simplify (- 0) into 0 0.150 * [backup-simplify]: Simplify (+ 0 0) into 0 0.150 * [backup-simplify]: Simplify 0 into 0 0.150 * [backup-simplify]: Simplify (- 0) into 0 0.150 * [backup-simplify]: Simplify (+ 0 0) into 0 0.150 * [backup-simplify]: Simplify 0 into 0 0.151 * [backup-simplify]: Simplify (- 0) into 0 0.151 * [backup-simplify]: Simplify (+ 0 0) into 0 0.151 * [backup-simplify]: Simplify 0 into 0 0.152 * [backup-simplify]: Simplify (- 0) into 0 0.152 * [backup-simplify]: Simplify (+ 0 0) into 0 0.152 * [backup-simplify]: Simplify 0 into 0 0.153 * [backup-simplify]: Simplify (- 0) into 0 0.153 * [backup-simplify]: Simplify (+ 0 0) into 0 0.153 * [backup-simplify]: Simplify 0 into 0 0.153 * [backup-simplify]: Simplify (- 0) into 0 0.154 * [backup-simplify]: Simplify (+ 0 0) into 0 0.154 * [backup-simplify]: Simplify 0 into 0 0.154 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1) 0.154 * [backup-simplify]: Simplify (- (exp (/ 1 (- x))) 1) into (- (exp (/ -1 x)) 1) 0.154 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in (x) around 0 0.154 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 0.154 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.154 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.154 * [taylor]: Taking taylor expansion of -1 in x 0.154 * [backup-simplify]: Simplify -1 into -1 0.154 * [taylor]: Taking taylor expansion of x in x 0.154 * [backup-simplify]: Simplify 0 into 0 0.154 * [backup-simplify]: Simplify 1 into 1 0.155 * [backup-simplify]: Simplify (/ -1 1) into -1 0.155 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.155 * [taylor]: Taking taylor expansion of 1 in x 0.155 * [backup-simplify]: Simplify 1 into 1 0.155 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 0.155 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.155 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.155 * [taylor]: Taking taylor expansion of -1 in x 0.155 * [backup-simplify]: Simplify -1 into -1 0.155 * [taylor]: Taking taylor expansion of x in x 0.155 * [backup-simplify]: Simplify 0 into 0 0.155 * [backup-simplify]: Simplify 1 into 1 0.156 * [backup-simplify]: Simplify (/ -1 1) into -1 0.156 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.156 * [taylor]: Taking taylor expansion of 1 in x 0.156 * [backup-simplify]: Simplify 1 into 1 0.156 * [backup-simplify]: Simplify (- 1) into -1 0.156 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 0.156 * [backup-simplify]: Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1) 0.157 * [backup-simplify]: Simplify (- 0) into 0 0.157 * [backup-simplify]: Simplify (+ 0 0) into 0 0.157 * [backup-simplify]: Simplify 0 into 0 0.157 * [backup-simplify]: Simplify (- 0) into 0 0.158 * [backup-simplify]: Simplify (+ 0 0) into 0 0.158 * [backup-simplify]: Simplify 0 into 0 0.158 * [backup-simplify]: Simplify (- 0) into 0 0.159 * [backup-simplify]: Simplify (+ 0 0) into 0 0.159 * [backup-simplify]: Simplify 0 into 0 0.159 * [backup-simplify]: Simplify (- 0) into 0 0.159 * [backup-simplify]: Simplify (+ 0 0) into 0 0.159 * [backup-simplify]: Simplify 0 into 0 0.160 * [backup-simplify]: Simplify (- 0) into 0 0.160 * [backup-simplify]: Simplify (+ 0 0) into 0 0.160 * [backup-simplify]: Simplify 0 into 0 0.161 * [backup-simplify]: Simplify (- 0) into 0 0.161 * [backup-simplify]: Simplify (+ 0 0) into 0 0.161 * [backup-simplify]: Simplify 0 into 0 0.161 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1) 0.161 * * * [progress]: simplifying candidates 0.161 * * * * [progress]: [ 1 / 35 ] simplifiying candidate # 0.162 * [simplify]: Simplifying (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) 0.162 * * [simplify]: iters left: 6 (10 enodes) 0.167 * * [simplify]: iters left: 5 (41 enodes) 0.184 * * [simplify]: iters left: 4 (52 enodes) 0.196 * * [simplify]: iters left: 3 (56 enodes) 0.209 * * [simplify]: iters left: 2 (61 enodes) 0.219 * * [simplify]: iters left: 1 (78 enodes) 0.232 * * [simplify]: Extracting #0: cost 1 inf + 0 0.232 * * [simplify]: Extracting #1: cost 9 inf + 0 0.232 * * [simplify]: Extracting #2: cost 20 inf + 1 0.232 * * [simplify]: Extracting #3: cost 16 inf + 259 0.232 * * [simplify]: Extracting #4: cost 9 inf + 1821 0.232 * * [simplify]: Extracting #5: cost 2 inf + 4157 0.233 * * [simplify]: Extracting #6: cost 0 inf + 4881 0.233 * [simplify]: Simplified to (+ (exp x) -1) 0.233 * [simplify]: Simplified (2 2 1) to (λ (x) (/ (exp x) (+ (+ (exp x) -1) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) 0.234 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) 0.234 * * [simplify]: iters left: 6 (6 enodes) 0.237 * * [simplify]: iters left: 5 (25 enodes) 0.244 * * [simplify]: iters left: 4 (37 enodes) 0.247 * * [simplify]: Extracting #0: cost 1 inf + 0 0.247 * * [simplify]: Extracting #1: cost 0 inf + 1 0.247 * [simplify]: Simplified to 0 0.248 * [simplify]: Simplified (2 2 2) to (λ (x) (/ (exp x) (+ (+ (exp x) -1) 0))) 0.248 * * * * [progress]: [ 2 / 35 ] simplifiying candidate # 0.248 * [simplify]: Simplifying (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt 1) (sqrt 1)))) 0.248 * * [simplify]: iters left: 6 (9 enodes) 0.250 * * [simplify]: iters left: 5 (30 enodes) 0.255 * * [simplify]: iters left: 4 (37 enodes) 0.263 * * [simplify]: iters left: 3 (40 enodes) 0.269 * * [simplify]: iters left: 2 (48 enodes) 0.278 * * [simplify]: iters left: 1 (66 enodes) 0.294 * * [simplify]: Extracting #0: cost 1 inf + 0 0.294 * * [simplify]: Extracting #1: cost 9 inf + 0 0.294 * * [simplify]: Extracting #2: cost 20 inf + 1 0.294 * * [simplify]: Extracting #3: cost 19 inf + 5 0.294 * * [simplify]: Extracting #4: cost 18 inf + 77 0.295 * * [simplify]: Extracting #5: cost 4 inf + 3310 0.296 * * [simplify]: Extracting #6: cost 0 inf + 4881 0.297 * [simplify]: Simplified to (+ (exp x) -1) 0.297 * [simplify]: Simplified (2 2 1) to (λ (x) (/ (exp x) (+ (+ (exp x) -1) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) 0.297 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) 0.297 * * [simplify]: iters left: 4 (5 enodes) 0.302 * * [simplify]: iters left: 3 (17 enodes) 0.312 * * [simplify]: iters left: 2 (25 enodes) 0.316 * * [simplify]: Extracting #0: cost 1 inf + 0 0.316 * * [simplify]: Extracting #1: cost 0 inf + 1 0.316 * [simplify]: Simplified to 0 0.316 * [simplify]: Simplified (2 2 2) to (λ (x) (/ (exp x) (+ (+ (exp x) -1) 0))) 0.316 * * * * [progress]: [ 3 / 35 ] simplifiying candidate # 0.317 * [simplify]: Simplifying (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* 1 1))) 0.317 * * [simplify]: iters left: 5 (8 enodes) 0.322 * * [simplify]: iters left: 4 (27 enodes) 0.330 * * [simplify]: iters left: 3 (34 enodes) 0.340 * * [simplify]: iters left: 2 (37 enodes) 0.352 * * [simplify]: iters left: 1 (45 enodes) 0.367 * * [simplify]: Extracting #0: cost 1 inf + 0 0.367 * * [simplify]: Extracting #1: cost 9 inf + 0 0.367 * * [simplify]: Extracting #2: cost 17 inf + 1 0.367 * * [simplify]: Extracting #3: cost 11 inf + 259 0.367 * * [simplify]: Extracting #4: cost 2 inf + 2395 0.368 * * [simplify]: Extracting #5: cost 0 inf + 2948 0.368 * [simplify]: Simplified to (+ (exp x) -1) 0.369 * [simplify]: Simplified (2 2 1) to (λ (x) (/ (exp x) (+ (+ (exp x) -1) (fma (- 1) 1 (* 1 1))))) 0.369 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1)) 0.369 * * [simplify]: iters left: 3 (4 enodes) 0.372 * * [simplify]: iters left: 2 (15 enodes) 0.379 * * [simplify]: iters left: 1 (20 enodes) 0.382 * * [simplify]: Extracting #0: cost 1 inf + 0 0.382 * * [simplify]: Extracting #1: cost 0 inf + 1 0.382 * [simplify]: Simplified to 0 0.382 * [simplify]: Simplified (2 2 2) to (λ (x) (/ (exp x) (+ (+ (exp x) -1) 0))) 0.382 * * * * [progress]: [ 4 / 35 ] simplifiying candidate # 0.382 * [simplify]: Simplifying (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) 0.382 * * [simplify]: iters left: 6 (9 enodes) 0.386 * * [simplify]: iters left: 5 (38 enodes) 0.396 * * [simplify]: iters left: 4 (45 enodes) 0.401 * * [simplify]: iters left: 3 (49 enodes) 0.407 * * [simplify]: iters left: 2 (58 enodes) 0.420 * * [simplify]: iters left: 1 (74 enodes) 0.443 * * [simplify]: Extracting #0: cost 1 inf + 0 0.443 * * [simplify]: Extracting #1: cost 11 inf + 0 0.443 * * [simplify]: Extracting #2: cost 21 inf + 2 0.443 * * [simplify]: Extracting #3: cost 20 inf + 3 0.443 * * [simplify]: Extracting #4: cost 19 inf + 74 0.444 * * [simplify]: Extracting #5: cost 4 inf + 2311 0.445 * * [simplify]: Extracting #6: cost 0 inf + 2959 0.447 * [simplify]: Simplified to (+ (exp x) -1) 0.447 * [simplify]: Simplified (2 2 1) to (λ (x) (/ (exp x) (+ (+ (exp x) -1) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) 0.447 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) 0.447 * * [simplify]: iters left: 6 (6 enodes) 0.453 * * [simplify]: iters left: 5 (25 enodes) 0.466 * * [simplify]: iters left: 4 (37 enodes) 0.472 * * [simplify]: Extracting #0: cost 1 inf + 0 0.472 * * [simplify]: Extracting #1: cost 0 inf + 1 0.473 * [simplify]: Simplified to 0 0.473 * [simplify]: Simplified (2 2 2) to (λ (x) (/ (exp x) (+ (+ (exp x) -1) 0))) 0.473 * * * * [progress]: [ 5 / 35 ] simplifiying candidate # 0.473 * [simplify]: Simplifying (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt 1) (sqrt 1)))) 0.473 * * [simplify]: iters left: 6 (8 enodes) 0.480 * * [simplify]: iters left: 5 (27 enodes) 0.486 * * [simplify]: iters left: 4 (34 enodes) 0.490 * * [simplify]: iters left: 3 (42 enodes) 0.496 * * [simplify]: iters left: 2 (58 enodes) 0.511 * * [simplify]: iters left: 1 (101 enodes) 0.543 * * [simplify]: Extracting #0: cost 1 inf + 0 0.543 * * [simplify]: Extracting #1: cost 23 inf + 0 0.544 * * [simplify]: Extracting #2: cost 30 inf + 2 0.544 * * [simplify]: Extracting #3: cost 28 inf + 74 0.545 * * [simplify]: Extracting #4: cost 12 inf + 2560 0.547 * * [simplify]: Extracting #5: cost 0 inf + 4739 0.549 * [simplify]: Simplified to (+ (exp x) -1) 0.549 * [simplify]: Simplified (2 2 1) to (λ (x) (/ (exp x) (+ (+ (exp x) -1) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) 0.549 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) 0.549 * * [simplify]: iters left: 4 (5 enodes) 0.554 * * [simplify]: iters left: 3 (17 enodes) 0.564 * * [simplify]: iters left: 2 (25 enodes) 0.566 * * [simplify]: Extracting #0: cost 1 inf + 0 0.566 * * [simplify]: Extracting #1: cost 0 inf + 1 0.566 * [simplify]: Simplified to 0 0.566 * [simplify]: Simplified (2 2 2) to (λ (x) (/ (exp x) (+ (+ (exp x) -1) 0))) 0.566 * * * * [progress]: [ 6 / 35 ] simplifiying candidate # 0.566 * [simplify]: Simplifying (fma (sqrt (exp x)) (sqrt (exp x)) (- (* 1 1))) 0.567 * * [simplify]: iters left: 5 (7 enodes) 0.569 * * [simplify]: iters left: 4 (24 enodes) 0.572 * * [simplify]: iters left: 3 (31 enodes) 0.577 * * [simplify]: iters left: 2 (39 enodes) 0.583 * * [simplify]: iters left: 1 (55 enodes) 0.595 * * [simplify]: Extracting #0: cost 1 inf + 0 0.595 * * [simplify]: Extracting #1: cost 11 inf + 0 0.595 * * [simplify]: Extracting #2: cost 21 inf + 2 0.596 * * [simplify]: Extracting #3: cost 20 inf + 3 0.596 * * [simplify]: Extracting #4: cost 18 inf + 145 0.596 * * [simplify]: Extracting #5: cost 7 inf + 1775 0.597 * * [simplify]: Extracting #6: cost 1 inf + 2767 0.597 * * [simplify]: Extracting #7: cost 0 inf + 2959 0.598 * [simplify]: Simplified to (+ (exp x) -1) 0.598 * [simplify]: Simplified (2 2 1) to (λ (x) (/ (exp x) (+ (+ (exp x) -1) (fma (- 1) 1 (* 1 1))))) 0.598 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1)) 0.598 * * [simplify]: iters left: 3 (4 enodes) 0.601 * * [simplify]: iters left: 2 (15 enodes) 0.607 * * [simplify]: iters left: 1 (20 enodes) 0.609 * * [simplify]: Extracting #0: cost 1 inf + 0 0.609 * * [simplify]: Extracting #1: cost 0 inf + 1 0.609 * [simplify]: Simplified to 0 0.610 * [simplify]: Simplified (2 2 2) to (λ (x) (/ (exp x) (+ (+ (exp x) -1) 0))) 0.610 * * * * [progress]: [ 7 / 35 ] simplifiying candidate # 0.610 * [simplify]: Simplifying (fma 1 (exp x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) 0.610 * * [simplify]: iters left: 6 (8 enodes) 0.618 * * [simplify]: iters left: 5 (36 enodes) 0.623 * * [simplify]: iters left: 4 (41 enodes) 0.628 * * [simplify]: Extracting #0: cost 1 inf + 0 0.628 * * [simplify]: Extracting #1: cost 5 inf + 0 0.628 * * [simplify]: Extracting #2: cost 5 inf + 2 0.629 * * [simplify]: Extracting #3: cost 0 inf + 369 0.629 * [simplify]: Simplified to (+ (exp x) -1) 0.629 * [simplify]: Simplified (2 2 1) to (λ (x) (/ (exp x) (+ (+ (exp x) -1) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) 0.629 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) 0.629 * * [simplify]: iters left: 6 (6 enodes) 0.632 * * [simplify]: iters left: 5 (25 enodes) 0.639 * * [simplify]: iters left: 4 (37 enodes) 0.645 * * [simplify]: Extracting #0: cost 1 inf + 0 0.645 * * [simplify]: Extracting #1: cost 0 inf + 1 0.645 * [simplify]: Simplified to 0 0.645 * [simplify]: Simplified (2 2 2) to (λ (x) (/ (exp x) (+ (+ (exp x) -1) 0))) 0.645 * * * * [progress]: [ 8 / 35 ] simplifiying candidate # 0.645 * [simplify]: Simplifying (fma 1 (exp x) (- (* (sqrt 1) (sqrt 1)))) 0.646 * * [simplify]: iters left: 6 (7 enodes) 0.651 * * [simplify]: iters left: 5 (24 enodes) 0.658 * * [simplify]: iters left: 4 (29 enodes) 0.662 * * [simplify]: iters left: 3 (30 enodes) 0.666 * * [simplify]: iters left: 2 (31 enodes) 0.670 * * [simplify]: Extracting #0: cost 1 inf + 0 0.670 * * [simplify]: Extracting #1: cost 5 inf + 0 0.670 * * [simplify]: Extracting #2: cost 5 inf + 2 0.670 * * [simplify]: Extracting #3: cost 1 inf + 257 0.670 * * [simplify]: Extracting #4: cost 0 inf + 369 0.671 * [simplify]: Simplified to (+ -1 (exp x)) 0.671 * [simplify]: Simplified (2 2 1) to (λ (x) (/ (exp x) (+ (+ -1 (exp x)) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) 0.671 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) 0.671 * * [simplify]: iters left: 4 (5 enodes) 0.673 * * [simplify]: iters left: 3 (17 enodes) 0.679 * * [simplify]: iters left: 2 (25 enodes) 0.681 * * [simplify]: Extracting #0: cost 1 inf + 0 0.681 * * [simplify]: Extracting #1: cost 0 inf + 1 0.681 * [simplify]: Simplified to 0 0.681 * [simplify]: Simplified (2 2 2) to (λ (x) (/ (exp x) (+ (+ -1 (exp x)) 0))) 0.681 * * * * [progress]: [ 9 / 35 ] simplifiying candidate # 0.682 * [simplify]: Simplifying (fma 1 (exp x) (- (* 1 1))) 0.682 * * [simplify]: iters left: 5 (6 enodes) 0.684 * * [simplify]: iters left: 4 (21 enodes) 0.687 * * [simplify]: iters left: 3 (26 enodes) 0.691 * * [simplify]: iters left: 2 (27 enodes) 0.696 * * [simplify]: iters left: 1 (28 enodes) 0.700 * * [simplify]: Extracting #0: cost 1 inf + 0 0.700 * * [simplify]: Extracting #1: cost 5 inf + 0 0.700 * * [simplify]: Extracting #2: cost 5 inf + 2 0.700 * * [simplify]: Extracting #3: cost 0 inf + 369 0.700 * [simplify]: Simplified to (+ -1 (exp x)) 0.700 * [simplify]: Simplified (2 2 1) to (λ (x) (/ (exp x) (+ (+ -1 (exp x)) (fma (- 1) 1 (* 1 1))))) 0.701 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1)) 0.701 * * [simplify]: iters left: 3 (4 enodes) 0.703 * * [simplify]: iters left: 2 (15 enodes) 0.706 * * [simplify]: iters left: 1 (20 enodes) 0.708 * * [simplify]: Extracting #0: cost 1 inf + 0 0.708 * * [simplify]: Extracting #1: cost 0 inf + 1 0.708 * [simplify]: Simplified to 0 0.709 * [simplify]: Simplified (2 2 2) to (λ (x) (/ (exp x) (+ (+ -1 (exp x)) 0))) 0.709 * * * * [progress]: [ 10 / 35 ] simplifiying candidate # 0.709 * * * * [progress]: [ 11 / 35 ] simplifiying candidate # 0.709 * * * * [progress]: [ 12 / 35 ] simplifiying candidate # 0.709 * * * * [progress]: [ 13 / 35 ] simplifiying candidate # 0.709 * [simplify]: Simplifying (* (cbrt (exp x)) (cbrt (exp x))) 0.709 * * [simplify]: iters left: 4 (4 enodes) 0.710 * * [simplify]: iters left: 3 (12 enodes) 0.711 * * [simplify]: Extracting #0: cost 1 inf + 0 0.711 * * [simplify]: Extracting #1: cost 3 inf + 0 0.712 * * [simplify]: Extracting #2: cost 5 inf + 0 0.712 * * [simplify]: Extracting #3: cost 7 inf + 0 0.712 * * [simplify]: Extracting #4: cost 6 inf + 1 0.712 * * [simplify]: Extracting #5: cost 0 inf + 827 0.712 * [simplify]: Simplified to (* (cbrt (exp x)) (cbrt (exp x))) 0.712 * [simplify]: Simplified (2 2 1) to (λ (x) (/ (exp x) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- 1)))) 0.712 * * * * [progress]: [ 14 / 35 ] simplifiying candidate # 0.712 * [simplify]: Simplifying (sqrt (exp x)) 0.712 * * [simplify]: iters left: 2 (3 enodes) 0.713 * * [simplify]: iters left: 1 (9 enodes) 0.716 * * [simplify]: Extracting #0: cost 1 inf + 0 0.716 * * [simplify]: Extracting #1: cost 3 inf + 0 0.716 * * [simplify]: Extracting #2: cost 5 inf + 0 0.716 * * [simplify]: Extracting #3: cost 4 inf + 1 0.717 * * [simplify]: Extracting #4: cost 0 inf + 365 0.717 * [simplify]: Simplified to (sqrt (exp x)) 0.717 * [simplify]: Simplified (2 2 1) to (λ (x) (/ (exp x) (fma (sqrt (exp x)) (sqrt (exp x)) (- 1)))) 0.717 * * * * [progress]: [ 15 / 35 ] simplifiying candidate # 0.717 * * * * [progress]: [ 16 / 35 ] simplifiying candidate # 0.717 * [simplify]: Simplifying (/ (exp (exp x)) (exp 1)) 0.717 * * [simplify]: iters left: 4 (6 enodes) 0.719 * * [simplify]: iters left: 3 (21 enodes) 0.722 * * [simplify]: iters left: 2 (29 enodes) 0.727 * * [simplify]: iters left: 1 (31 enodes) 0.731 * * [simplify]: Extracting #0: cost 1 inf + 0 0.731 * * [simplify]: Extracting #1: cost 5 inf + 0 0.731 * * [simplify]: Extracting #2: cost 10 inf + 1 0.731 * * [simplify]: Extracting #3: cost 8 inf + 4 0.732 * * [simplify]: Extracting #4: cost 4 inf + 288 0.732 * * [simplify]: Extracting #5: cost 1 inf + 711 0.732 * * [simplify]: Extracting #6: cost 0 inf + 852 0.732 * [simplify]: Simplified to (exp (expm1 x)) 0.732 * [simplify]: Simplified (2 2 1) to (λ (x) (/ (exp x) (log (exp (expm1 x))))) 0.732 * * * * [progress]: [ 17 / 35 ] simplifiying candidate # 0.732 * * * * [progress]: [ 18 / 35 ] simplifiying candidate # 0.732 * * * * [progress]: [ 19 / 35 ] simplifiying candidate # 0.732 * * * * [progress]: [ 20 / 35 ] simplifiying candidate # 0.732 * * * * [progress]: [ 21 / 35 ] simplifiying candidate # 0.732 * * * * [progress]: [ 22 / 35 ] simplifiying candidate # 0.732 * * * * [progress]: [ 23 / 35 ] simplifiying candidate # 0.732 * * * * [progress]: [ 24 / 35 ] simplifiying candidate # 0.732 * * * * [progress]: [ 25 / 35 ] simplifiying candidate # 0.732 * * * * [progress]: [ 26 / 35 ] simplifiying candidate # 0.732 * * * * [progress]: [ 27 / 35 ] simplifiying candidate # 0.733 * [simplify]: Simplifying (+ (sqrt (exp x)) (sqrt 1)) 0.733 * * [simplify]: iters left: 4 (6 enodes) 0.736 * * [simplify]: iters left: 3 (21 enodes) 0.739 * * [simplify]: iters left: 2 (23 enodes) 0.742 * * [simplify]: Extracting #0: cost 1 inf + 0 0.742 * * [simplify]: Extracting #1: cost 4 inf + 0 0.742 * * [simplify]: Extracting #2: cost 5 inf + 1 0.742 * * [simplify]: Extracting #3: cost 7 inf + 1 0.742 * * [simplify]: Extracting #4: cost 6 inf + 2 0.742 * * [simplify]: Extracting #5: cost 0 inf + 670 0.742 * [simplify]: Simplified to (+ 1 (sqrt (exp x))) 0.742 * [simplify]: Simplified (2 2 1) to (λ (x) (/ (exp x) (* (+ 1 (sqrt (exp x))) (- (sqrt (exp x)) (sqrt 1))))) 0.743 * [simplify]: Simplifying (- (sqrt (exp x)) (sqrt 1)) 0.743 * * [simplify]: iters left: 4 (6 enodes) 0.745 * * [simplify]: iters left: 3 (23 enodes) 0.751 * * [simplify]: iters left: 2 (29 enodes) 0.758 * * [simplify]: Extracting #0: cost 1 inf + 0 0.758 * * [simplify]: Extracting #1: cost 5 inf + 0 0.759 * * [simplify]: Extracting #2: cost 5 inf + 2 0.759 * * [simplify]: Extracting #3: cost 7 inf + 2 0.759 * * [simplify]: Extracting #4: cost 6 inf + 3 0.759 * * [simplify]: Extracting #5: cost 2 inf + 367 0.759 * * [simplify]: Extracting #6: cost 1 inf + 519 0.759 * * [simplify]: Extracting #7: cost 0 inf + 671 0.759 * [simplify]: Simplified to (+ (sqrt (exp x)) -1) 0.759 * [simplify]: Simplified (2 2 2) to (λ (x) (/ (exp x) (* (+ (sqrt (exp x)) (sqrt 1)) (+ (sqrt (exp x)) -1)))) 0.760 * * * * [progress]: [ 28 / 35 ] simplifiying candidate # 0.760 * [simplify]: Simplifying (+ (sqrt (exp x)) 1) 0.760 * * [simplify]: iters left: 4 (5 enodes) 0.762 * * [simplify]: iters left: 3 (18 enodes) 0.768 * * [simplify]: iters left: 2 (20 enodes) 0.774 * * [simplify]: Extracting #0: cost 1 inf + 0 0.774 * * [simplify]: Extracting #1: cost 4 inf + 0 0.774 * * [simplify]: Extracting #2: cost 5 inf + 1 0.774 * * [simplify]: Extracting #3: cost 7 inf + 1 0.774 * * [simplify]: Extracting #4: cost 6 inf + 2 0.774 * * [simplify]: Extracting #5: cost 0 inf + 670 0.774 * [simplify]: Simplified to (+ 1 (sqrt (exp x))) 0.774 * [simplify]: Simplified (2 2 1) to (λ (x) (/ (exp x) (* (+ 1 (sqrt (exp x))) (- (sqrt (exp x)) 1)))) 0.775 * [simplify]: Simplifying (- (sqrt (exp x)) 1) 0.775 * * [simplify]: iters left: 4 (5 enodes) 0.778 * * [simplify]: iters left: 3 (20 enodes) 0.784 * * [simplify]: iters left: 2 (24 enodes) 0.788 * * [simplify]: Extracting #0: cost 1 inf + 0 0.788 * * [simplify]: Extracting #1: cost 5 inf + 0 0.788 * * [simplify]: Extracting #2: cost 5 inf + 2 0.788 * * [simplify]: Extracting #3: cost 7 inf + 2 0.788 * * [simplify]: Extracting #4: cost 6 inf + 3 0.788 * * [simplify]: Extracting #5: cost 0 inf + 671 0.788 * [simplify]: Simplified to (+ (sqrt (exp x)) -1) 0.788 * [simplify]: Simplified (2 2 2) to (λ (x) (/ (exp x) (* (+ (sqrt (exp x)) 1) (+ (sqrt (exp x)) -1)))) 0.788 * * * * [progress]: [ 29 / 35 ] simplifiying candidate # 0.788 * [simplify]: Simplifying (+ (sqrt (exp x)) 1) 0.788 * * [simplify]: iters left: 4 (5 enodes) 0.790 * * [simplify]: iters left: 3 (18 enodes) 0.792 * * [simplify]: iters left: 2 (20 enodes) 0.795 * * [simplify]: Extracting #0: cost 1 inf + 0 0.795 * * [simplify]: Extracting #1: cost 4 inf + 0 0.795 * * [simplify]: Extracting #2: cost 5 inf + 1 0.796 * * [simplify]: Extracting #3: cost 7 inf + 1 0.796 * * [simplify]: Extracting #4: cost 6 inf + 2 0.796 * * [simplify]: Extracting #5: cost 0 inf + 670 0.796 * [simplify]: Simplified to (+ 1 (sqrt (exp x))) 0.796 * [simplify]: Simplified (2 2 1) to (λ (x) (/ (exp x) (* (+ 1 (sqrt (exp x))) (- (sqrt (exp x)) 1)))) 0.796 * * * * [progress]: [ 30 / 35 ] simplifiying candidate # 0.796 * [simplify]: Simplifying (- (exp x) 1) 0.796 * * [simplify]: iters left: 3 (4 enodes) 0.798 * * [simplify]: iters left: 2 (18 enodes) 0.801 * * [simplify]: iters left: 1 (22 enodes) 0.804 * * [simplify]: Extracting #0: cost 1 inf + 0 0.804 * * [simplify]: Extracting #1: cost 6 inf + 0 0.804 * * [simplify]: Extracting #2: cost 4 inf + 3 0.804 * * [simplify]: Extracting #3: cost 0 inf + 287 0.804 * [simplify]: Simplified to (expm1 x) 0.804 * [simplify]: Simplified (2 2 2) to (λ (x) (/ (exp x) (* 1 (expm1 x)))) 0.804 * * * * [progress]: [ 31 / 35 ] simplifiying candidate # 0.804 * * * * [progress]: [ 32 / 35 ] simplifiying candidate #real (real->posit16 (- (exp x) 1)))))> 0.804 * * * * [progress]: [ 33 / 35 ] simplifiying candidate # 0.804 * [simplify]: Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 0.804 * * [simplify]: iters left: 6 (11 enodes) 0.809 * * [simplify]: iters left: 5 (51 enodes) 0.829 * * [simplify]: iters left: 4 (96 enodes) 0.871 * * [simplify]: iters left: 3 (199 enodes) 0.932 * * [simplify]: iters left: 2 (350 enodes) 1.036 * * [simplify]: Extracting #0: cost 1 inf + 0 1.036 * * [simplify]: Extracting #1: cost 28 inf + 0 1.037 * * [simplify]: Extracting #2: cost 90 inf + 45 1.037 * * [simplify]: Extracting #3: cost 77 inf + 2626 1.040 * * [simplify]: Extracting #4: cost 35 inf + 16589 1.043 * * [simplify]: Extracting #5: cost 2 inf + 31377 1.047 * * [simplify]: Extracting #6: cost 0 inf + 32304 1.051 * [simplify]: Simplified to (fma (fma x 1/6 1/2) (* x x) x) 1.051 * [simplify]: Simplified (2 2) to (λ (x) (/ (exp x) (fma (fma x 1/6 1/2) (* x x) x))) 1.051 * * * * [progress]: [ 34 / 35 ] simplifiying candidate # 1.051 * [simplify]: Simplifying (- (exp x) 1) 1.051 * * [simplify]: iters left: 3 (4 enodes) 1.053 * * [simplify]: iters left: 2 (18 enodes) 1.056 * * [simplify]: iters left: 1 (22 enodes) 1.059 * * [simplify]: Extracting #0: cost 1 inf + 0 1.059 * * [simplify]: Extracting #1: cost 6 inf + 0 1.059 * * [simplify]: Extracting #2: cost 4 inf + 3 1.059 * * [simplify]: Extracting #3: cost 0 inf + 287 1.059 * [simplify]: Simplified to (expm1 x) 1.060 * [simplify]: Simplified (2 2) to (λ (x) (/ (exp x) (expm1 x))) 1.060 * * * * [progress]: [ 35 / 35 ] simplifiying candidate # 1.060 * [simplify]: Simplifying (- (exp x) 1) 1.060 * * [simplify]: iters left: 3 (4 enodes) 1.063 * * [simplify]: iters left: 2 (18 enodes) 1.068 * * [simplify]: iters left: 1 (22 enodes) 1.074 * * [simplify]: Extracting #0: cost 1 inf + 0 1.074 * * [simplify]: Extracting #1: cost 6 inf + 0 1.075 * * [simplify]: Extracting #2: cost 4 inf + 3 1.075 * * [simplify]: Extracting #3: cost 0 inf + 287 1.075 * [simplify]: Simplified to (expm1 x) 1.075 * [simplify]: Simplified (2 2) to (λ (x) (/ (exp x) (expm1 x))) 1.075 * * * [progress]: adding candidates to table 1.321 * * [progress]: iteration 2 / 4 1.321 * * * [progress]: picking best candidate 1.323 * * * * [pick]: Picked # 1.323 * * * [progress]: localizing error 1.335 * * * [progress]: generating rewritten candidates 1.335 * * * [progress]: generating series expansions 1.335 * * * [progress]: simplifying candidates 1.335 * * * [progress]: adding candidates to table 1.336 * [progress]: [Phase 3 of 3] Extracting. 1.340 * [simplify]: Simplifying (/ (exp x) (expm1 x)) 1.340 * * [simplify]: iters left: 3 (4 enodes) 1.341 * * [simplify]: Extracting #0: cost 1 inf + 0 1.341 * * [simplify]: Extracting #1: cost 3 inf + 0 1.341 * * [simplify]: Extracting #2: cost 4 inf + 0 1.341 * * [simplify]: Extracting #3: cost 3 inf + 1 1.341 * * [simplify]: Extracting #4: cost 0 inf + 324 1.341 * [simplify]: Simplified to (/ (exp x) (expm1 x)) 5.220 * [regime-testing]: Baseline error score: 0.37037346654272285 5.225 * [regime-testing]: Oracle error score: 0.37037346654272285 5.225 * [regime-testing]: End program error score: 0.37037346654272285 5.282 * [regime-testing]: Target error score: 39.51819392776564