0.001 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.073 * * * [progress]: [2/2] Setting up program. 0.076 * [progress]: [Phase 2 of 3] Improving. 0.076 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.076 * [simplify]: Simplifying (- (exp x) 1) 0.076 * * [simplify]: iters left: 3 (4 enodes) 0.079 * * [simplify]: iters left: 2 (18 enodes) 0.085 * * [simplify]: iters left: 1 (22 enodes) 0.089 * * [simplify]: Extracting #0: cost 1 inf + 0 0.089 * * [simplify]: Extracting #1: cost 6 inf + 0 0.089 * * [simplify]: Extracting #2: cost 4 inf + 3 0.089 * * [simplify]: Extracting #3: cost 0 inf + 287 0.089 * [simplify]: Simplified to (expm1 x) 0.089 * [simplify]: Simplified (2) to (λ (x) (expm1 x)) 0.094 * * [progress]: iteration 1 / 4 0.094 * * * [progress]: picking best candidate 0.097 * * * * [pick]: Picked # 0.097 * * * [progress]: localizing error 0.100 * * * [progress]: generating rewritten candidates 0.100 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.101 * * * [progress]: generating series expansions 0.101 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.101 * [backup-simplify]: Simplify (expm1 x) into (expm1 x) 0.101 * [approximate]: Taking taylor expansion of (expm1 x) in (x) around 0 0.101 * [taylor]: Taking taylor expansion of (expm1 x) in x 0.101 * [taylor]: Rewrote expression to (- (exp x) 1) 0.101 * [taylor]: Taking taylor expansion of (exp x) in x 0.101 * [taylor]: Taking taylor expansion of x in x 0.101 * [backup-simplify]: Simplify 0 into 0 0.101 * [backup-simplify]: Simplify 1 into 1 0.101 * [backup-simplify]: Simplify (exp 0) into 1 0.101 * [taylor]: Taking taylor expansion of 1 in x 0.101 * [backup-simplify]: Simplify 1 into 1 0.101 * [taylor]: Taking taylor expansion of (expm1 x) in x 0.101 * [taylor]: Rewrote expression to (- (exp x) 1) 0.101 * [taylor]: Taking taylor expansion of (exp x) in x 0.101 * [taylor]: Taking taylor expansion of x in x 0.101 * [backup-simplify]: Simplify 0 into 0 0.101 * [backup-simplify]: Simplify 1 into 1 0.101 * [backup-simplify]: Simplify (exp 0) into 1 0.101 * [taylor]: Taking taylor expansion of 1 in x 0.101 * [backup-simplify]: Simplify 1 into 1 0.102 * [backup-simplify]: Simplify (- 1) into -1 0.102 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.102 * [backup-simplify]: Simplify 0 into 0 0.103 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.103 * [backup-simplify]: Simplify (- 0) into 0 0.103 * [backup-simplify]: Simplify (+ 1 0) into 1 0.103 * [backup-simplify]: Simplify 1 into 1 0.104 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.104 * [backup-simplify]: Simplify (- 0) into 0 0.105 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 0.105 * [backup-simplify]: Simplify 1/2 into 1/2 0.106 * [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.106 * [backup-simplify]: Simplify (- 0) into 0 0.106 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 0.107 * [backup-simplify]: Simplify 1/6 into 1/6 0.107 * [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.107 * [backup-simplify]: Simplify (expm1 (/ 1 x)) into (expm1 (/ 1 x)) 0.107 * [approximate]: Taking taylor expansion of (expm1 (/ 1 x)) in (x) around 0 0.107 * [taylor]: Taking taylor expansion of (expm1 (/ 1 x)) in x 0.107 * [taylor]: Rewrote expression to (- (exp (/ 1 x)) 1) 0.107 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.107 * [taylor]: Taking taylor expansion of x in x 0.107 * [backup-simplify]: Simplify 0 into 0 0.107 * [backup-simplify]: Simplify 1 into 1 0.107 * [backup-simplify]: Simplify (/ 1 1) into 1 0.107 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.107 * [taylor]: Taking taylor expansion of 1 in x 0.107 * [backup-simplify]: Simplify 1 into 1 0.107 * [taylor]: Taking taylor expansion of (expm1 (/ 1 x)) in x 0.107 * [taylor]: Rewrote expression to (- (exp (/ 1 x)) 1) 0.107 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.107 * [taylor]: Taking taylor expansion of x in x 0.107 * [backup-simplify]: Simplify 0 into 0 0.107 * [backup-simplify]: Simplify 1 into 1 0.108 * [backup-simplify]: Simplify (/ 1 1) into 1 0.108 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.108 * [taylor]: Taking taylor expansion of 1 in x 0.108 * [backup-simplify]: Simplify 1 into 1 0.108 * [backup-simplify]: Simplify (- 1) into -1 0.108 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 0.108 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 0.108 * [backup-simplify]: Simplify (- 0) into 0 0.109 * [backup-simplify]: Simplify (+ 0 0) into 0 0.109 * [backup-simplify]: Simplify 0 into 0 0.109 * [backup-simplify]: Simplify (- 0) into 0 0.109 * [backup-simplify]: Simplify (+ 0 0) into 0 0.109 * [backup-simplify]: Simplify 0 into 0 0.109 * [backup-simplify]: Simplify (- 0) into 0 0.110 * [backup-simplify]: Simplify (+ 0 0) into 0 0.110 * [backup-simplify]: Simplify 0 into 0 0.110 * [backup-simplify]: Simplify (- 0) into 0 0.110 * [backup-simplify]: Simplify (+ 0 0) into 0 0.110 * [backup-simplify]: Simplify 0 into 0 0.110 * [backup-simplify]: Simplify (- 0) into 0 0.111 * [backup-simplify]: Simplify (+ 0 0) into 0 0.111 * [backup-simplify]: Simplify 0 into 0 0.111 * [backup-simplify]: Simplify (- 0) into 0 0.111 * [backup-simplify]: Simplify (+ 0 0) into 0 0.111 * [backup-simplify]: Simplify 0 into 0 0.111 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1) 0.111 * [backup-simplify]: Simplify (expm1 (/ 1 (- x))) into (expm1 (/ -1 x)) 0.111 * [approximate]: Taking taylor expansion of (expm1 (/ -1 x)) in (x) around 0 0.111 * [taylor]: Taking taylor expansion of (expm1 (/ -1 x)) in x 0.111 * [taylor]: Rewrote expression to (- (exp (/ -1 x)) 1) 0.111 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.111 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.111 * [taylor]: Taking taylor expansion of -1 in x 0.111 * [backup-simplify]: Simplify -1 into -1 0.111 * [taylor]: Taking taylor expansion of x in x 0.111 * [backup-simplify]: Simplify 0 into 0 0.111 * [backup-simplify]: Simplify 1 into 1 0.112 * [backup-simplify]: Simplify (/ -1 1) into -1 0.112 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.112 * [taylor]: Taking taylor expansion of 1 in x 0.112 * [backup-simplify]: Simplify 1 into 1 0.112 * [taylor]: Taking taylor expansion of (expm1 (/ -1 x)) in x 0.112 * [taylor]: Rewrote expression to (- (exp (/ -1 x)) 1) 0.112 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.112 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.112 * [taylor]: Taking taylor expansion of -1 in x 0.112 * [backup-simplify]: Simplify -1 into -1 0.112 * [taylor]: Taking taylor expansion of x in x 0.112 * [backup-simplify]: Simplify 0 into 0 0.112 * [backup-simplify]: Simplify 1 into 1 0.112 * [backup-simplify]: Simplify (/ -1 1) into -1 0.112 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.112 * [taylor]: Taking taylor expansion of 1 in x 0.112 * [backup-simplify]: Simplify 1 into 1 0.113 * [backup-simplify]: Simplify (- 1) into -1 0.113 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 0.113 * [backup-simplify]: Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1) 0.113 * [backup-simplify]: Simplify (- 0) into 0 0.113 * [backup-simplify]: Simplify (+ 0 0) into 0 0.113 * [backup-simplify]: Simplify 0 into 0 0.113 * [backup-simplify]: Simplify (- 0) into 0 0.114 * [backup-simplify]: Simplify (+ 0 0) into 0 0.114 * [backup-simplify]: Simplify 0 into 0 0.114 * [backup-simplify]: Simplify (- 0) into 0 0.114 * [backup-simplify]: Simplify (+ 0 0) into 0 0.114 * [backup-simplify]: Simplify 0 into 0 0.114 * [backup-simplify]: Simplify (- 0) into 0 0.115 * [backup-simplify]: Simplify (+ 0 0) into 0 0.115 * [backup-simplify]: Simplify 0 into 0 0.115 * [backup-simplify]: Simplify (- 0) into 0 0.115 * [backup-simplify]: Simplify (+ 0 0) into 0 0.115 * [backup-simplify]: Simplify 0 into 0 0.115 * [backup-simplify]: Simplify (- 0) into 0 0.116 * [backup-simplify]: Simplify (+ 0 0) into 0 0.116 * [backup-simplify]: Simplify 0 into 0 0.116 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1) 0.116 * * * [progress]: simplifying candidates 0.116 * * * * [progress]: [ 1 / 15 ] simplifiying candidate # 0.116 * * * * [progress]: [ 2 / 15 ] simplifiying candidate # 0.116 * * * * [progress]: [ 3 / 15 ] simplifiying candidate # 0.116 * * * * [progress]: [ 4 / 15 ] simplifiying candidate # 0.116 * * * * [progress]: [ 5 / 15 ] simplifiying candidate # 0.116 * * * * [progress]: [ 6 / 15 ] simplifiying candidate # 0.116 * * * * [progress]: [ 7 / 15 ] simplifiying candidate # 0.116 * * * * [progress]: [ 8 / 15 ] simplifiying candidate # 0.116 * * * * [progress]: [ 9 / 15 ] simplifiying candidate # 0.116 * * * * [progress]: [ 10 / 15 ] simplifiying candidate # 0.116 * * * * [progress]: [ 11 / 15 ] simplifiying candidate # 0.116 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #real (real->posit16 (expm1 x))))> 0.116 * * * * [progress]: [ 13 / 15 ] simplifiying candidate # 0.116 * [simplify]: Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 0.116 * * [simplify]: iters left: 6 (11 enodes) 0.134 * * [simplify]: iters left: 5 (51 enodes) 0.155 * * [simplify]: iters left: 4 (96 enodes) 0.175 * * [simplify]: iters left: 3 (199 enodes) 0.213 * * [simplify]: iters left: 2 (350 enodes) 0.347 * * [simplify]: Extracting #0: cost 1 inf + 0 0.347 * * [simplify]: Extracting #1: cost 28 inf + 0 0.348 * * [simplify]: Extracting #2: cost 90 inf + 45 0.349 * * [simplify]: Extracting #3: cost 77 inf + 2626 0.354 * * [simplify]: Extracting #4: cost 35 inf + 16589 0.362 * * [simplify]: Extracting #5: cost 2 inf + 31377 0.369 * * [simplify]: Extracting #6: cost 0 inf + 32304 0.377 * [simplify]: Simplified to (fma (fma x 1/6 1/2) (* x x) x) 0.377 * [simplify]: Simplified (2) to (λ (x) (fma (fma x 1/6 1/2) (* x x) x)) 0.377 * * * * [progress]: [ 14 / 15 ] simplifiying candidate # 0.378 * [simplify]: Simplifying (- (exp x) 1) 0.378 * * [simplify]: iters left: 3 (4 enodes) 0.381 * * [simplify]: iters left: 2 (18 enodes) 0.386 * * [simplify]: iters left: 1 (22 enodes) 0.389 * * [simplify]: Extracting #0: cost 1 inf + 0 0.390 * * [simplify]: Extracting #1: cost 6 inf + 0 0.390 * * [simplify]: Extracting #2: cost 4 inf + 3 0.390 * * [simplify]: Extracting #3: cost 0 inf + 287 0.390 * [simplify]: Simplified to (expm1 x) 0.390 * [simplify]: Simplified (2) to (λ (x) (expm1 x)) 0.390 * * * * [progress]: [ 15 / 15 ] simplifiying candidate # 0.390 * [simplify]: Simplifying (- (exp x) 1) 0.390 * * [simplify]: iters left: 3 (4 enodes) 0.391 * * [simplify]: iters left: 2 (18 enodes) 0.394 * * [simplify]: iters left: 1 (22 enodes) 0.397 * * [simplify]: Extracting #0: cost 1 inf + 0 0.397 * * [simplify]: Extracting #1: cost 6 inf + 0 0.397 * * [simplify]: Extracting #2: cost 4 inf + 3 0.397 * * [simplify]: Extracting #3: cost 0 inf + 287 0.398 * [simplify]: Simplified to (expm1 x) 0.398 * [simplify]: Simplified (2) to (λ (x) (expm1 x)) 0.398 * * * [progress]: adding candidates to table 0.484 * * [progress]: iteration 2 / 4 0.484 * * * [progress]: picking best candidate 0.487 * * * * [pick]: Picked # 0.487 * * * [progress]: localizing error 0.501 * * * [progress]: generating rewritten candidates 0.501 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.510 * * * [progress]: generating series expansions 0.511 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.511 * [backup-simplify]: Simplify (- (exp x) 1) into (- (exp x) 1) 0.511 * [approximate]: Taking taylor expansion of (- (exp x) 1) in (x) around 0 0.511 * [taylor]: Taking taylor expansion of (- (exp x) 1) in x 0.511 * [taylor]: Taking taylor expansion of (exp x) in x 0.511 * [taylor]: Taking taylor expansion of x in x 0.511 * [backup-simplify]: Simplify 0 into 0 0.511 * [backup-simplify]: Simplify 1 into 1 0.511 * [backup-simplify]: Simplify (exp 0) into 1 0.511 * [taylor]: Taking taylor expansion of 1 in x 0.511 * [backup-simplify]: Simplify 1 into 1 0.511 * [taylor]: Taking taylor expansion of (- (exp x) 1) in x 0.511 * [taylor]: Taking taylor expansion of (exp x) in x 0.511 * [taylor]: Taking taylor expansion of x in x 0.511 * [backup-simplify]: Simplify 0 into 0 0.511 * [backup-simplify]: Simplify 1 into 1 0.511 * [backup-simplify]: Simplify (exp 0) into 1 0.511 * [taylor]: Taking taylor expansion of 1 in x 0.511 * [backup-simplify]: Simplify 1 into 1 0.511 * [backup-simplify]: Simplify (- 1) into -1 0.512 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.512 * [backup-simplify]: Simplify 0 into 0 0.512 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.513 * [backup-simplify]: Simplify (- 0) into 0 0.513 * [backup-simplify]: Simplify (+ 1 0) into 1 0.513 * [backup-simplify]: Simplify 1 into 1 0.514 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.514 * [backup-simplify]: Simplify (- 0) into 0 0.514 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 0.514 * [backup-simplify]: Simplify 1/2 into 1/2 0.516 * [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.516 * [backup-simplify]: Simplify (- 0) into 0 0.516 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 0.516 * [backup-simplify]: Simplify 1/6 into 1/6 0.516 * [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.516 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 0.516 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in (x) around 0 0.516 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 0.516 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.516 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.516 * [taylor]: Taking taylor expansion of x in x 0.516 * [backup-simplify]: Simplify 0 into 0 0.516 * [backup-simplify]: Simplify 1 into 1 0.517 * [backup-simplify]: Simplify (/ 1 1) into 1 0.517 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.517 * [taylor]: Taking taylor expansion of 1 in x 0.517 * [backup-simplify]: Simplify 1 into 1 0.517 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 0.517 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.517 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.517 * [taylor]: Taking taylor expansion of x in x 0.517 * [backup-simplify]: Simplify 0 into 0 0.517 * [backup-simplify]: Simplify 1 into 1 0.517 * [backup-simplify]: Simplify (/ 1 1) into 1 0.517 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.517 * [taylor]: Taking taylor expansion of 1 in x 0.517 * [backup-simplify]: Simplify 1 into 1 0.518 * [backup-simplify]: Simplify (- 1) into -1 0.518 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 0.518 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 0.518 * [backup-simplify]: Simplify (- 0) into 0 0.518 * [backup-simplify]: Simplify (+ 0 0) into 0 0.518 * [backup-simplify]: Simplify 0 into 0 0.518 * [backup-simplify]: Simplify (- 0) into 0 0.519 * [backup-simplify]: Simplify (+ 0 0) into 0 0.519 * [backup-simplify]: Simplify 0 into 0 0.519 * [backup-simplify]: Simplify (- 0) into 0 0.519 * [backup-simplify]: Simplify (+ 0 0) into 0 0.519 * [backup-simplify]: Simplify 0 into 0 0.519 * [backup-simplify]: Simplify (- 0) into 0 0.520 * [backup-simplify]: Simplify (+ 0 0) into 0 0.520 * [backup-simplify]: Simplify 0 into 0 0.520 * [backup-simplify]: Simplify (- 0) into 0 0.520 * [backup-simplify]: Simplify (+ 0 0) into 0 0.520 * [backup-simplify]: Simplify 0 into 0 0.520 * [backup-simplify]: Simplify (- 0) into 0 0.521 * [backup-simplify]: Simplify (+ 0 0) into 0 0.521 * [backup-simplify]: Simplify 0 into 0 0.521 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1) 0.521 * [backup-simplify]: Simplify (- (exp (/ 1 (- x))) 1) into (- (exp (/ -1 x)) 1) 0.521 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in (x) around 0 0.521 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 0.521 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.521 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.521 * [taylor]: Taking taylor expansion of -1 in x 0.521 * [backup-simplify]: Simplify -1 into -1 0.521 * [taylor]: Taking taylor expansion of x in x 0.521 * [backup-simplify]: Simplify 0 into 0 0.521 * [backup-simplify]: Simplify 1 into 1 0.521 * [backup-simplify]: Simplify (/ -1 1) into -1 0.521 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.521 * [taylor]: Taking taylor expansion of 1 in x 0.521 * [backup-simplify]: Simplify 1 into 1 0.521 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 0.521 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.521 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.521 * [taylor]: Taking taylor expansion of -1 in x 0.521 * [backup-simplify]: Simplify -1 into -1 0.521 * [taylor]: Taking taylor expansion of x in x 0.521 * [backup-simplify]: Simplify 0 into 0 0.521 * [backup-simplify]: Simplify 1 into 1 0.522 * [backup-simplify]: Simplify (/ -1 1) into -1 0.522 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.522 * [taylor]: Taking taylor expansion of 1 in x 0.522 * [backup-simplify]: Simplify 1 into 1 0.522 * [backup-simplify]: Simplify (- 1) into -1 0.522 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 0.522 * [backup-simplify]: Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1) 0.522 * [backup-simplify]: Simplify (- 0) into 0 0.523 * [backup-simplify]: Simplify (+ 0 0) into 0 0.523 * [backup-simplify]: Simplify 0 into 0 0.523 * [backup-simplify]: Simplify (- 0) into 0 0.523 * [backup-simplify]: Simplify (+ 0 0) into 0 0.523 * [backup-simplify]: Simplify 0 into 0 0.523 * [backup-simplify]: Simplify (- 0) into 0 0.524 * [backup-simplify]: Simplify (+ 0 0) into 0 0.524 * [backup-simplify]: Simplify 0 into 0 0.524 * [backup-simplify]: Simplify (- 0) into 0 0.524 * [backup-simplify]: Simplify (+ 0 0) into 0 0.524 * [backup-simplify]: Simplify 0 into 0 0.524 * [backup-simplify]: Simplify (- 0) into 0 0.525 * [backup-simplify]: Simplify (+ 0 0) into 0 0.525 * [backup-simplify]: Simplify 0 into 0 0.525 * [backup-simplify]: Simplify (- 0) into 0 0.525 * [backup-simplify]: Simplify (+ 0 0) into 0 0.525 * [backup-simplify]: Simplify 0 into 0 0.525 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1) 0.525 * * * [progress]: simplifying candidates 0.525 * * * * [progress]: [ 1 / 35 ] simplifiying candidate # 0.525 * [simplify]: Simplifying (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) 0.526 * * [simplify]: iters left: 6 (10 enodes) 0.531 * * [simplify]: iters left: 5 (41 enodes) 0.547 * * [simplify]: iters left: 4 (52 enodes) 0.561 * * [simplify]: iters left: 3 (56 enodes) 0.574 * * [simplify]: iters left: 2 (61 enodes) 0.582 * * [simplify]: iters left: 1 (78 enodes) 0.594 * * [simplify]: Extracting #0: cost 1 inf + 0 0.594 * * [simplify]: Extracting #1: cost 9 inf + 0 0.594 * * [simplify]: Extracting #2: cost 20 inf + 1 0.594 * * [simplify]: Extracting #3: cost 16 inf + 259 0.595 * * [simplify]: Extracting #4: cost 9 inf + 1821 0.595 * * [simplify]: Extracting #5: cost 2 inf + 4157 0.595 * * [simplify]: Extracting #6: cost 0 inf + 4881 0.596 * [simplify]: Simplified to (+ (exp x) -1) 0.596 * [simplify]: Simplified (2 1) to (λ (x) (+ (+ (exp x) -1) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))) 0.596 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) 0.596 * * [simplify]: iters left: 6 (6 enodes) 0.599 * * [simplify]: iters left: 5 (25 enodes) 0.611 * * [simplify]: iters left: 4 (37 enodes) 0.618 * * [simplify]: Extracting #0: cost 1 inf + 0 0.618 * * [simplify]: Extracting #1: cost 0 inf + 1 0.618 * [simplify]: Simplified to 0 0.618 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ (exp x) -1) 0)) 0.618 * * * * [progress]: [ 2 / 35 ] simplifiying candidate # 0.618 * [simplify]: Simplifying (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt 1) (sqrt 1)))) 0.618 * * [simplify]: iters left: 6 (9 enodes) 0.623 * * [simplify]: iters left: 5 (30 enodes) 0.632 * * [simplify]: iters left: 4 (37 enodes) 0.642 * * [simplify]: iters left: 3 (40 enodes) 0.652 * * [simplify]: iters left: 2 (48 enodes) 0.660 * * [simplify]: iters left: 1 (66 enodes) 0.672 * * [simplify]: Extracting #0: cost 1 inf + 0 0.672 * * [simplify]: Extracting #1: cost 9 inf + 0 0.672 * * [simplify]: Extracting #2: cost 20 inf + 1 0.672 * * [simplify]: Extracting #3: cost 19 inf + 5 0.672 * * [simplify]: Extracting #4: cost 18 inf + 77 0.672 * * [simplify]: Extracting #5: cost 4 inf + 3310 0.673 * * [simplify]: Extracting #6: cost 0 inf + 4881 0.673 * [simplify]: Simplified to (+ (exp x) -1) 0.673 * [simplify]: Simplified (2 1) to (λ (x) (+ (+ (exp x) -1) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))))) 0.673 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) 0.673 * * [simplify]: iters left: 4 (5 enodes) 0.676 * * [simplify]: iters left: 3 (17 enodes) 0.683 * * [simplify]: iters left: 2 (25 enodes) 0.687 * * [simplify]: Extracting #0: cost 1 inf + 0 0.687 * * [simplify]: Extracting #1: cost 0 inf + 1 0.687 * [simplify]: Simplified to 0 0.687 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ (exp x) -1) 0)) 0.688 * * * * [progress]: [ 3 / 35 ] simplifiying candidate # 0.688 * [simplify]: Simplifying (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* 1 1))) 0.688 * * [simplify]: iters left: 5 (8 enodes) 0.693 * * [simplify]: iters left: 4 (27 enodes) 0.701 * * [simplify]: iters left: 3 (34 enodes) 0.711 * * [simplify]: iters left: 2 (37 enodes) 0.722 * * [simplify]: iters left: 1 (45 enodes) 0.739 * * [simplify]: Extracting #0: cost 1 inf + 0 0.739 * * [simplify]: Extracting #1: cost 9 inf + 0 0.739 * * [simplify]: Extracting #2: cost 17 inf + 1 0.739 * * [simplify]: Extracting #3: cost 11 inf + 259 0.740 * * [simplify]: Extracting #4: cost 2 inf + 2395 0.740 * * [simplify]: Extracting #5: cost 0 inf + 2948 0.741 * [simplify]: Simplified to (+ (exp x) -1) 0.741 * [simplify]: Simplified (2 1) to (λ (x) (+ (+ (exp x) -1) (fma (- 1) 1 (* 1 1)))) 0.741 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1)) 0.741 * * [simplify]: iters left: 3 (4 enodes) 0.745 * * [simplify]: iters left: 2 (15 enodes) 0.752 * * [simplify]: iters left: 1 (20 enodes) 0.756 * * [simplify]: Extracting #0: cost 1 inf + 0 0.756 * * [simplify]: Extracting #1: cost 0 inf + 1 0.756 * [simplify]: Simplified to 0 0.756 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ (exp x) -1) 0)) 0.756 * * * * [progress]: [ 4 / 35 ] simplifiying candidate # 0.756 * [simplify]: Simplifying (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) 0.757 * * [simplify]: iters left: 6 (9 enodes) 0.765 * * [simplify]: iters left: 5 (38 enodes) 0.775 * * [simplify]: iters left: 4 (45 enodes) 0.781 * * [simplify]: iters left: 3 (49 enodes) 0.787 * * [simplify]: iters left: 2 (58 enodes) 0.794 * * [simplify]: iters left: 1 (74 enodes) 0.805 * * [simplify]: Extracting #0: cost 1 inf + 0 0.805 * * [simplify]: Extracting #1: cost 11 inf + 0 0.805 * * [simplify]: Extracting #2: cost 21 inf + 2 0.805 * * [simplify]: Extracting #3: cost 20 inf + 3 0.805 * * [simplify]: Extracting #4: cost 19 inf + 74 0.805 * * [simplify]: Extracting #5: cost 4 inf + 2311 0.806 * * [simplify]: Extracting #6: cost 0 inf + 2959 0.807 * [simplify]: Simplified to (+ (exp x) -1) 0.807 * [simplify]: Simplified (2 1) to (λ (x) (+ (+ (exp x) -1) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))) 0.807 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) 0.807 * * [simplify]: iters left: 6 (6 enodes) 0.810 * * [simplify]: iters left: 5 (25 enodes) 0.823 * * [simplify]: iters left: 4 (37 enodes) 0.829 * * [simplify]: Extracting #0: cost 1 inf + 0 0.829 * * [simplify]: Extracting #1: cost 0 inf + 1 0.829 * [simplify]: Simplified to 0 0.829 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ (exp x) -1) 0)) 0.829 * * * * [progress]: [ 5 / 35 ] simplifiying candidate # 0.830 * [simplify]: Simplifying (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt 1) (sqrt 1)))) 0.830 * * [simplify]: iters left: 6 (8 enodes) 0.835 * * [simplify]: iters left: 5 (27 enodes) 0.844 * * [simplify]: iters left: 4 (34 enodes) 0.857 * * [simplify]: iters left: 3 (42 enodes) 0.869 * * [simplify]: iters left: 2 (58 enodes) 0.893 * * [simplify]: iters left: 1 (101 enodes) 0.919 * * [simplify]: Extracting #0: cost 1 inf + 0 0.919 * * [simplify]: Extracting #1: cost 23 inf + 0 0.919 * * [simplify]: Extracting #2: cost 30 inf + 2 0.919 * * [simplify]: Extracting #3: cost 28 inf + 74 0.919 * * [simplify]: Extracting #4: cost 12 inf + 2560 0.920 * * [simplify]: Extracting #5: cost 0 inf + 4739 0.921 * [simplify]: Simplified to (+ (exp x) -1) 0.921 * [simplify]: Simplified (2 1) to (λ (x) (+ (+ (exp x) -1) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))))) 0.922 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) 0.922 * * [simplify]: iters left: 4 (5 enodes) 0.925 * * [simplify]: iters left: 3 (17 enodes) 0.930 * * [simplify]: iters left: 2 (25 enodes) 0.933 * * [simplify]: Extracting #0: cost 1 inf + 0 0.933 * * [simplify]: Extracting #1: cost 0 inf + 1 0.933 * [simplify]: Simplified to 0 0.933 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ (exp x) -1) 0)) 0.933 * * * * [progress]: [ 6 / 35 ] simplifiying candidate # 0.933 * [simplify]: Simplifying (fma (sqrt (exp x)) (sqrt (exp x)) (- (* 1 1))) 0.933 * * [simplify]: iters left: 5 (7 enodes) 0.935 * * [simplify]: iters left: 4 (24 enodes) 0.940 * * [simplify]: iters left: 3 (31 enodes) 0.949 * * [simplify]: iters left: 2 (39 enodes) 0.960 * * [simplify]: iters left: 1 (55 enodes) 0.988 * * [simplify]: Extracting #0: cost 1 inf + 0 0.988 * * [simplify]: Extracting #1: cost 11 inf + 0 0.988 * * [simplify]: Extracting #2: cost 21 inf + 2 0.988 * * [simplify]: Extracting #3: cost 20 inf + 3 0.988 * * [simplify]: Extracting #4: cost 18 inf + 145 0.989 * * [simplify]: Extracting #5: cost 7 inf + 1775 0.990 * * [simplify]: Extracting #6: cost 1 inf + 2767 0.992 * * [simplify]: Extracting #7: cost 0 inf + 2959 0.993 * [simplify]: Simplified to (+ (exp x) -1) 0.993 * [simplify]: Simplified (2 1) to (λ (x) (+ (+ (exp x) -1) (fma (- 1) 1 (* 1 1)))) 0.993 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1)) 0.993 * * [simplify]: iters left: 3 (4 enodes) 0.997 * * [simplify]: iters left: 2 (15 enodes) 1.004 * * [simplify]: iters left: 1 (20 enodes) 1.008 * * [simplify]: Extracting #0: cost 1 inf + 0 1.008 * * [simplify]: Extracting #1: cost 0 inf + 1 1.008 * [simplify]: Simplified to 0 1.008 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ (exp x) -1) 0)) 1.008 * * * * [progress]: [ 7 / 35 ] simplifiying candidate # 1.009 * [simplify]: Simplifying (fma 1 (exp x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) 1.009 * * [simplify]: iters left: 6 (8 enodes) 1.018 * * [simplify]: iters left: 5 (36 enodes) 1.029 * * [simplify]: iters left: 4 (41 enodes) 1.038 * * [simplify]: Extracting #0: cost 1 inf + 0 1.038 * * [simplify]: Extracting #1: cost 5 inf + 0 1.038 * * [simplify]: Extracting #2: cost 5 inf + 2 1.039 * * [simplify]: Extracting #3: cost 0 inf + 369 1.039 * [simplify]: Simplified to (+ (exp x) -1) 1.039 * [simplify]: Simplified (2 1) to (λ (x) (+ (+ (exp x) -1) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))) 1.039 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) 1.039 * * [simplify]: iters left: 6 (6 enodes) 1.045 * * [simplify]: iters left: 5 (25 enodes) 1.057 * * [simplify]: iters left: 4 (37 enodes) 1.064 * * [simplify]: Extracting #0: cost 1 inf + 0 1.064 * * [simplify]: Extracting #1: cost 0 inf + 1 1.064 * [simplify]: Simplified to 0 1.064 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ (exp x) -1) 0)) 1.064 * * * * [progress]: [ 8 / 35 ] simplifiying candidate # 1.065 * [simplify]: Simplifying (fma 1 (exp x) (- (* (sqrt 1) (sqrt 1)))) 1.065 * * [simplify]: iters left: 6 (7 enodes) 1.070 * * [simplify]: iters left: 5 (24 enodes) 1.078 * * [simplify]: iters left: 4 (29 enodes) 1.086 * * [simplify]: iters left: 3 (30 enodes) 1.094 * * [simplify]: iters left: 2 (31 enodes) 1.102 * * [simplify]: Extracting #0: cost 1 inf + 0 1.102 * * [simplify]: Extracting #1: cost 5 inf + 0 1.102 * * [simplify]: Extracting #2: cost 5 inf + 2 1.102 * * [simplify]: Extracting #3: cost 1 inf + 257 1.103 * * [simplify]: Extracting #4: cost 0 inf + 369 1.103 * [simplify]: Simplified to (+ -1 (exp x)) 1.103 * [simplify]: Simplified (2 1) to (λ (x) (+ (+ -1 (exp x)) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))))) 1.103 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) 1.103 * * [simplify]: iters left: 4 (5 enodes) 1.108 * * [simplify]: iters left: 3 (17 enodes) 1.118 * * [simplify]: iters left: 2 (25 enodes) 1.123 * * [simplify]: Extracting #0: cost 1 inf + 0 1.123 * * [simplify]: Extracting #1: cost 0 inf + 1 1.123 * [simplify]: Simplified to 0 1.123 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ -1 (exp x)) 0)) 1.123 * * * * [progress]: [ 9 / 35 ] simplifiying candidate # 1.123 * [simplify]: Simplifying (fma 1 (exp x) (- (* 1 1))) 1.123 * * [simplify]: iters left: 5 (6 enodes) 1.127 * * [simplify]: iters left: 4 (21 enodes) 1.134 * * [simplify]: iters left: 3 (26 enodes) 1.145 * * [simplify]: iters left: 2 (27 enodes) 1.152 * * [simplify]: iters left: 1 (28 enodes) 1.160 * * [simplify]: Extracting #0: cost 1 inf + 0 1.160 * * [simplify]: Extracting #1: cost 5 inf + 0 1.160 * * [simplify]: Extracting #2: cost 5 inf + 2 1.160 * * [simplify]: Extracting #3: cost 0 inf + 369 1.160 * [simplify]: Simplified to (+ -1 (exp x)) 1.160 * [simplify]: Simplified (2 1) to (λ (x) (+ (+ -1 (exp x)) (fma (- 1) 1 (* 1 1)))) 1.161 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1)) 1.161 * * [simplify]: iters left: 3 (4 enodes) 1.164 * * [simplify]: iters left: 2 (15 enodes) 1.171 * * [simplify]: iters left: 1 (20 enodes) 1.175 * * [simplify]: Extracting #0: cost 1 inf + 0 1.175 * * [simplify]: Extracting #1: cost 0 inf + 1 1.175 * [simplify]: Simplified to 0 1.175 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ -1 (exp x)) 0)) 1.175 * * * * [progress]: [ 10 / 35 ] simplifiying candidate # 1.176 * * * * [progress]: [ 11 / 35 ] simplifiying candidate # 1.176 * * * * [progress]: [ 12 / 35 ] simplifiying candidate # 1.176 * * * * [progress]: [ 13 / 35 ] simplifiying candidate # 1.176 * [simplify]: Simplifying (* (cbrt (exp x)) (cbrt (exp x))) 1.176 * * [simplify]: iters left: 4 (4 enodes) 1.178 * * [simplify]: iters left: 3 (12 enodes) 1.182 * * [simplify]: Extracting #0: cost 1 inf + 0 1.182 * * [simplify]: Extracting #1: cost 3 inf + 0 1.182 * * [simplify]: Extracting #2: cost 5 inf + 0 1.182 * * [simplify]: Extracting #3: cost 7 inf + 0 1.182 * * [simplify]: Extracting #4: cost 6 inf + 1 1.183 * * [simplify]: Extracting #5: cost 0 inf + 827 1.183 * [simplify]: Simplified to (* (cbrt (exp x)) (cbrt (exp x))) 1.183 * [simplify]: Simplified (2 1) to (λ (x) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- 1))) 1.183 * * * * [progress]: [ 14 / 35 ] simplifiying candidate # 1.183 * [simplify]: Simplifying (sqrt (exp x)) 1.183 * * [simplify]: iters left: 2 (3 enodes) 1.184 * * [simplify]: iters left: 1 (9 enodes) 1.187 * * [simplify]: Extracting #0: cost 1 inf + 0 1.187 * * [simplify]: Extracting #1: cost 3 inf + 0 1.187 * * [simplify]: Extracting #2: cost 5 inf + 0 1.187 * * [simplify]: Extracting #3: cost 4 inf + 1 1.187 * * [simplify]: Extracting #4: cost 0 inf + 365 1.187 * [simplify]: Simplified to (sqrt (exp x)) 1.187 * [simplify]: Simplified (2 1) to (λ (x) (fma (sqrt (exp x)) (sqrt (exp x)) (- 1))) 1.187 * * * * [progress]: [ 15 / 35 ] simplifiying candidate # 1.187 * * * * [progress]: [ 16 / 35 ] simplifiying candidate # 1.188 * [simplify]: Simplifying (/ (exp (exp x)) (exp 1)) 1.188 * * [simplify]: iters left: 4 (6 enodes) 1.191 * * [simplify]: iters left: 3 (21 enodes) 1.197 * * [simplify]: iters left: 2 (29 enodes) 1.201 * * [simplify]: iters left: 1 (31 enodes) 1.206 * * [simplify]: Extracting #0: cost 1 inf + 0 1.206 * * [simplify]: Extracting #1: cost 5 inf + 0 1.206 * * [simplify]: Extracting #2: cost 10 inf + 1 1.206 * * [simplify]: Extracting #3: cost 8 inf + 4 1.206 * * [simplify]: Extracting #4: cost 4 inf + 288 1.207 * * [simplify]: Extracting #5: cost 1 inf + 711 1.207 * * [simplify]: Extracting #6: cost 0 inf + 852 1.207 * [simplify]: Simplified to (exp (expm1 x)) 1.207 * [simplify]: Simplified (2 1) to (λ (x) (log (exp (expm1 x)))) 1.207 * * * * [progress]: [ 17 / 35 ] simplifiying candidate # 1.207 * * * * [progress]: [ 18 / 35 ] simplifiying candidate # 1.207 * * * * [progress]: [ 19 / 35 ] simplifiying candidate # 1.207 * * * * [progress]: [ 20 / 35 ] simplifiying candidate # 1.207 * * * * [progress]: [ 21 / 35 ] simplifiying candidate # 1.207 * * * * [progress]: [ 22 / 35 ] simplifiying candidate # 1.207 * * * * [progress]: [ 23 / 35 ] simplifiying candidate # 1.207 * * * * [progress]: [ 24 / 35 ] simplifiying candidate # 1.207 * * * * [progress]: [ 25 / 35 ] simplifiying candidate # 1.207 * * * * [progress]: [ 26 / 35 ] simplifiying candidate # 1.207 * * * * [progress]: [ 27 / 35 ] simplifiying candidate # 1.208 * [simplify]: Simplifying (+ (sqrt (exp x)) (sqrt 1)) 1.208 * * [simplify]: iters left: 4 (6 enodes) 1.210 * * [simplify]: iters left: 3 (21 enodes) 1.214 * * [simplify]: iters left: 2 (23 enodes) 1.217 * * [simplify]: Extracting #0: cost 1 inf + 0 1.217 * * [simplify]: Extracting #1: cost 4 inf + 0 1.217 * * [simplify]: Extracting #2: cost 5 inf + 1 1.217 * * [simplify]: Extracting #3: cost 7 inf + 1 1.217 * * [simplify]: Extracting #4: cost 6 inf + 2 1.217 * * [simplify]: Extracting #5: cost 0 inf + 670 1.217 * [simplify]: Simplified to (+ 1 (sqrt (exp x))) 1.217 * [simplify]: Simplified (2 1) to (λ (x) (* (+ 1 (sqrt (exp x))) (- (sqrt (exp x)) (sqrt 1)))) 1.218 * [simplify]: Simplifying (- (sqrt (exp x)) (sqrt 1)) 1.218 * * [simplify]: iters left: 4 (6 enodes) 1.221 * * [simplify]: iters left: 3 (23 enodes) 1.224 * * [simplify]: iters left: 2 (29 enodes) 1.228 * * [simplify]: Extracting #0: cost 1 inf + 0 1.228 * * [simplify]: Extracting #1: cost 5 inf + 0 1.228 * * [simplify]: Extracting #2: cost 5 inf + 2 1.229 * * [simplify]: Extracting #3: cost 7 inf + 2 1.229 * * [simplify]: Extracting #4: cost 6 inf + 3 1.229 * * [simplify]: Extracting #5: cost 2 inf + 367 1.229 * * [simplify]: Extracting #6: cost 1 inf + 519 1.229 * * [simplify]: Extracting #7: cost 0 inf + 671 1.229 * [simplify]: Simplified to (+ (sqrt (exp x)) -1) 1.229 * [simplify]: Simplified (2 2) to (λ (x) (* (+ (sqrt (exp x)) (sqrt 1)) (+ (sqrt (exp x)) -1))) 1.229 * * * * [progress]: [ 28 / 35 ] simplifiying candidate # 1.229 * [simplify]: Simplifying (+ (sqrt (exp x)) 1) 1.229 * * [simplify]: iters left: 4 (5 enodes) 1.231 * * [simplify]: iters left: 3 (18 enodes) 1.237 * * [simplify]: iters left: 2 (20 enodes) 1.243 * * [simplify]: Extracting #0: cost 1 inf + 0 1.243 * * [simplify]: Extracting #1: cost 4 inf + 0 1.243 * * [simplify]: Extracting #2: cost 5 inf + 1 1.243 * * [simplify]: Extracting #3: cost 7 inf + 1 1.243 * * [simplify]: Extracting #4: cost 6 inf + 2 1.243 * * [simplify]: Extracting #5: cost 0 inf + 670 1.244 * [simplify]: Simplified to (+ 1 (sqrt (exp x))) 1.244 * [simplify]: Simplified (2 1) to (λ (x) (* (+ 1 (sqrt (exp x))) (- (sqrt (exp x)) 1))) 1.244 * [simplify]: Simplifying (- (sqrt (exp x)) 1) 1.244 * * [simplify]: iters left: 4 (5 enodes) 1.247 * * [simplify]: iters left: 3 (20 enodes) 1.254 * * [simplify]: iters left: 2 (24 enodes) 1.262 * * [simplify]: Extracting #0: cost 1 inf + 0 1.262 * * [simplify]: Extracting #1: cost 5 inf + 0 1.262 * * [simplify]: Extracting #2: cost 5 inf + 2 1.262 * * [simplify]: Extracting #3: cost 7 inf + 2 1.262 * * [simplify]: Extracting #4: cost 6 inf + 3 1.262 * * [simplify]: Extracting #5: cost 0 inf + 671 1.262 * [simplify]: Simplified to (+ (sqrt (exp x)) -1) 1.262 * [simplify]: Simplified (2 2) to (λ (x) (* (+ (sqrt (exp x)) 1) (+ (sqrt (exp x)) -1))) 1.262 * * * * [progress]: [ 29 / 35 ] simplifiying candidate # 1.262 * [simplify]: Simplifying (+ (sqrt (exp x)) 1) 1.263 * * [simplify]: iters left: 4 (5 enodes) 1.264 * * [simplify]: iters left: 3 (18 enodes) 1.267 * * [simplify]: iters left: 2 (20 enodes) 1.273 * * [simplify]: Extracting #0: cost 1 inf + 0 1.273 * * [simplify]: Extracting #1: cost 4 inf + 0 1.273 * * [simplify]: Extracting #2: cost 5 inf + 1 1.273 * * [simplify]: Extracting #3: cost 7 inf + 1 1.273 * * [simplify]: Extracting #4: cost 6 inf + 2 1.273 * * [simplify]: Extracting #5: cost 0 inf + 670 1.273 * [simplify]: Simplified to (+ 1 (sqrt (exp x))) 1.273 * [simplify]: Simplified (2 1) to (λ (x) (* (+ 1 (sqrt (exp x))) (- (sqrt (exp x)) 1))) 1.273 * * * * [progress]: [ 30 / 35 ] simplifiying candidate # 1.273 * [simplify]: Simplifying (- (exp x) 1) 1.274 * * [simplify]: iters left: 3 (4 enodes) 1.275 * * [simplify]: iters left: 2 (18 enodes) 1.279 * * [simplify]: iters left: 1 (22 enodes) 1.282 * * [simplify]: Extracting #0: cost 1 inf + 0 1.282 * * [simplify]: Extracting #1: cost 6 inf + 0 1.282 * * [simplify]: Extracting #2: cost 4 inf + 3 1.283 * * [simplify]: Extracting #3: cost 0 inf + 287 1.283 * [simplify]: Simplified to (expm1 x) 1.283 * [simplify]: Simplified (2 2) to (λ (x) (* 1 (expm1 x))) 1.283 * * * * [progress]: [ 31 / 35 ] simplifiying candidate # 1.283 * * * * [progress]: [ 32 / 35 ] simplifiying candidate #real (real->posit16 (- (exp x) 1))))> 1.283 * * * * [progress]: [ 33 / 35 ] simplifiying candidate # 1.283 * [simplify]: Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1.283 * * [simplify]: iters left: 6 (11 enodes) 1.288 * * [simplify]: iters left: 5 (51 enodes) 1.301 * * [simplify]: iters left: 4 (96 enodes) 1.322 * * [simplify]: iters left: 3 (199 enodes) 1.375 * * [simplify]: iters left: 2 (350 enodes) 1.526 * * [simplify]: Extracting #0: cost 1 inf + 0 1.527 * * [simplify]: Extracting #1: cost 28 inf + 0 1.527 * * [simplify]: Extracting #2: cost 90 inf + 45 1.528 * * [simplify]: Extracting #3: cost 77 inf + 2626 1.530 * * [simplify]: Extracting #4: cost 35 inf + 16589 1.534 * * [simplify]: Extracting #5: cost 2 inf + 31377 1.538 * * [simplify]: Extracting #6: cost 0 inf + 32304 1.542 * [simplify]: Simplified to (fma (fma x 1/6 1/2) (* x x) x) 1.542 * [simplify]: Simplified (2) to (λ (x) (fma (fma x 1/6 1/2) (* x x) x)) 1.542 * * * * [progress]: [ 34 / 35 ] simplifiying candidate # 1.542 * [simplify]: Simplifying (- (exp x) 1) 1.542 * * [simplify]: iters left: 3 (4 enodes) 1.544 * * [simplify]: iters left: 2 (18 enodes) 1.547 * * [simplify]: iters left: 1 (22 enodes) 1.552 * * [simplify]: Extracting #0: cost 1 inf + 0 1.552 * * [simplify]: Extracting #1: cost 6 inf + 0 1.552 * * [simplify]: Extracting #2: cost 4 inf + 3 1.552 * * [simplify]: Extracting #3: cost 0 inf + 287 1.552 * [simplify]: Simplified to (expm1 x) 1.552 * [simplify]: Simplified (2) to (λ (x) (expm1 x)) 1.552 * * * * [progress]: [ 35 / 35 ] simplifiying candidate # 1.553 * [simplify]: Simplifying (- (exp x) 1) 1.553 * * [simplify]: iters left: 3 (4 enodes) 1.554 * * [simplify]: iters left: 2 (18 enodes) 1.557 * * [simplify]: iters left: 1 (22 enodes) 1.561 * * [simplify]: Extracting #0: cost 1 inf + 0 1.561 * * [simplify]: Extracting #1: cost 6 inf + 0 1.561 * * [simplify]: Extracting #2: cost 4 inf + 3 1.562 * * [simplify]: Extracting #3: cost 0 inf + 287 1.562 * [simplify]: Simplified to (expm1 x) 1.562 * [simplify]: Simplified (2) to (λ (x) (expm1 x)) 1.562 * * * [progress]: adding candidates to table 1.763 * [progress]: [Phase 3 of 3] Extracting. 1.763 * * [regime]: Finding splitpoints for: (# #) 1.763 * * * [regime-changes]: Trying 3 branch expressions: (x (exp x) (- (exp x) 1)) 1.763 * * * * [regimes]: Trying to branch on x from (# #) 1.779 * * * * [regimes]: Trying to branch on (exp x) from (# #) 1.798 * * * * [regimes]: Trying to branch on (- (exp x) 1) from (# #) 1.828 * * * [regime]: Found split indices: #