0.002 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.051 * * * [progress]: [2/2] Setting up program. 0.055 * [progress]: [Phase 2 of 3] Improving. 0.055 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.055 * [simplify]: Simplifying (exp (- (- 1 (* x x)))) 0.056 * * [simplify]: iters left: 6 (6 enodes) 0.059 * * [simplify]: iters left: 5 (24 enodes) 0.068 * * [simplify]: iters left: 4 (43 enodes) 0.077 * * [simplify]: iters left: 3 (73 enodes) 0.088 * * [simplify]: iters left: 2 (113 enodes) 0.119 * * [simplify]: iters left: 1 (211 enodes) 0.191 * * [simplify]: Extracting #0: cost 1 inf + 0 0.191 * * [simplify]: Extracting #1: cost 55 inf + 0 0.191 * * [simplify]: Extracting #2: cost 141 inf + 2 0.192 * * [simplify]: Extracting #3: cost 148 inf + 1320 0.193 * * [simplify]: Extracting #4: cost 103 inf + 6736 0.197 * * [simplify]: Extracting #5: cost 33 inf + 34588 0.202 * * [simplify]: Extracting #6: cost 2 inf + 48875 0.209 * * [simplify]: Extracting #7: cost 0 inf + 49832 0.215 * [simplify]: Simplified to (exp (fma x x -1)) 0.215 * [simplify]: Simplified (2) to (λ (x) (exp (fma x x -1))) 0.226 * * [progress]: iteration 1 / 4 0.226 * * * [progress]: picking best candidate 0.229 * * * * [pick]: Picked # 0.230 * * * [progress]: localizing error 0.245 * * * [progress]: generating rewritten candidates 0.245 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.249 * * * [progress]: generating series expansions 0.249 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.249 * [backup-simplify]: Simplify (exp (fma x x -1)) into (exp (fma x x -1)) 0.249 * [approximate]: Taking taylor expansion of (exp (fma x x -1)) in (x) around 0 0.249 * [taylor]: Taking taylor expansion of (exp (fma x x -1)) in x 0.249 * [taylor]: Taking taylor expansion of (fma x x -1) in x 0.251 * [taylor]: Rewrote expression to (+ (* x x) -1) 0.251 * [taylor]: Taking taylor expansion of (* x x) in x 0.251 * [taylor]: Taking taylor expansion of x in x 0.251 * [backup-simplify]: Simplify 0 into 0 0.251 * [backup-simplify]: Simplify 1 into 1 0.251 * [taylor]: Taking taylor expansion of x in x 0.251 * [backup-simplify]: Simplify 0 into 0 0.251 * [backup-simplify]: Simplify 1 into 1 0.251 * [taylor]: Taking taylor expansion of -1 in x 0.251 * [backup-simplify]: Simplify -1 into -1 0.252 * [backup-simplify]: Simplify (* 0 0) into 0 0.252 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.253 * [backup-simplify]: Simplify (exp -1) into (exp -1) 0.253 * [taylor]: Taking taylor expansion of (exp (fma x x -1)) in x 0.253 * [taylor]: Taking taylor expansion of (fma x x -1) in x 0.253 * [taylor]: Rewrote expression to (+ (* x x) -1) 0.253 * [taylor]: Taking taylor expansion of (* x x) in x 0.253 * [taylor]: Taking taylor expansion of x in x 0.253 * [backup-simplify]: Simplify 0 into 0 0.253 * [backup-simplify]: Simplify 1 into 1 0.253 * [taylor]: Taking taylor expansion of x in x 0.253 * [backup-simplify]: Simplify 0 into 0 0.253 * [backup-simplify]: Simplify 1 into 1 0.253 * [taylor]: Taking taylor expansion of -1 in x 0.254 * [backup-simplify]: Simplify -1 into -1 0.254 * [backup-simplify]: Simplify (* 0 0) into 0 0.254 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.255 * [backup-simplify]: Simplify (exp -1) into (exp -1) 0.255 * [backup-simplify]: Simplify (exp -1) into (exp -1) 0.256 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 0.257 * [backup-simplify]: Simplify (+ 0 0) into 0 0.258 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 0.258 * [backup-simplify]: Simplify 0 into 0 0.259 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 0.259 * [backup-simplify]: Simplify (+ 1 0) into 1 0.263 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1) 0.263 * [backup-simplify]: Simplify (exp -1) into (exp -1) 0.265 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 0.265 * [backup-simplify]: Simplify (+ 0 0) into 0 0.268 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.268 * [backup-simplify]: Simplify 0 into 0 0.270 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.270 * [backup-simplify]: Simplify (+ 0 0) into 0 0.275 * [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.275 * [backup-simplify]: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 0.277 * [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.277 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 0.277 * [approximate]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in (x) around 0 0.277 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x 0.277 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 0.277 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 0.277 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.277 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.277 * [taylor]: Taking taylor expansion of x in x 0.277 * [backup-simplify]: Simplify 0 into 0 0.277 * [backup-simplify]: Simplify 1 into 1 0.277 * [backup-simplify]: Simplify (/ 1 1) into 1 0.277 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.277 * [taylor]: Taking taylor expansion of x in x 0.277 * [backup-simplify]: Simplify 0 into 0 0.277 * [backup-simplify]: Simplify 1 into 1 0.278 * [backup-simplify]: Simplify (/ 1 1) into 1 0.278 * [taylor]: Taking taylor expansion of -1 in x 0.278 * [backup-simplify]: Simplify -1 into -1 0.278 * [backup-simplify]: Simplify (* 1 1) into 1 0.278 * [backup-simplify]: Simplify (+ 1 0) into 1 0.278 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 0.278 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x 0.278 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 0.278 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 0.278 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.278 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.278 * [taylor]: Taking taylor expansion of x in x 0.278 * [backup-simplify]: Simplify 0 into 0 0.278 * [backup-simplify]: Simplify 1 into 1 0.279 * [backup-simplify]: Simplify (/ 1 1) into 1 0.279 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.279 * [taylor]: Taking taylor expansion of x in x 0.279 * [backup-simplify]: Simplify 0 into 0 0.279 * [backup-simplify]: Simplify 1 into 1 0.279 * [backup-simplify]: Simplify (/ 1 1) into 1 0.279 * [taylor]: Taking taylor expansion of -1 in x 0.279 * [backup-simplify]: Simplify -1 into -1 0.279 * [backup-simplify]: Simplify (* 1 1) into 1 0.279 * [backup-simplify]: Simplify (+ 1 0) into 1 0.280 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 0.280 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 0.280 * [backup-simplify]: Simplify 0 into 0 0.280 * [backup-simplify]: Simplify 0 into 0 0.280 * [backup-simplify]: Simplify 0 into 0 0.280 * [backup-simplify]: Simplify 0 into 0 0.280 * [backup-simplify]: Simplify 0 into 0 0.280 * [backup-simplify]: Simplify 0 into 0 0.280 * [backup-simplify]: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1)) into (exp (fma x x -1)) 0.280 * [backup-simplify]: Simplify (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 0.280 * [approximate]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in (x) around 0 0.280 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x 0.280 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 0.280 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 0.280 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.280 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.280 * [taylor]: Taking taylor expansion of -1 in x 0.280 * [backup-simplify]: Simplify -1 into -1 0.280 * [taylor]: Taking taylor expansion of x in x 0.280 * [backup-simplify]: Simplify 0 into 0 0.280 * [backup-simplify]: Simplify 1 into 1 0.281 * [backup-simplify]: Simplify (/ -1 1) into -1 0.281 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.281 * [taylor]: Taking taylor expansion of -1 in x 0.281 * [backup-simplify]: Simplify -1 into -1 0.281 * [taylor]: Taking taylor expansion of x in x 0.281 * [backup-simplify]: Simplify 0 into 0 0.281 * [backup-simplify]: Simplify 1 into 1 0.281 * [backup-simplify]: Simplify (/ -1 1) into -1 0.281 * [taylor]: Taking taylor expansion of -1 in x 0.281 * [backup-simplify]: Simplify -1 into -1 0.281 * [backup-simplify]: Simplify (* -1 -1) into 1 0.281 * [backup-simplify]: Simplify (+ 1 0) into 1 0.281 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 0.282 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x 0.282 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 0.282 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 0.282 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.282 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.282 * [taylor]: Taking taylor expansion of -1 in x 0.282 * [backup-simplify]: Simplify -1 into -1 0.282 * [taylor]: Taking taylor expansion of x in x 0.282 * [backup-simplify]: Simplify 0 into 0 0.282 * [backup-simplify]: Simplify 1 into 1 0.282 * [backup-simplify]: Simplify (/ -1 1) into -1 0.282 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.282 * [taylor]: Taking taylor expansion of -1 in x 0.282 * [backup-simplify]: Simplify -1 into -1 0.282 * [taylor]: Taking taylor expansion of x in x 0.282 * [backup-simplify]: Simplify 0 into 0 0.282 * [backup-simplify]: Simplify 1 into 1 0.282 * [backup-simplify]: Simplify (/ -1 1) into -1 0.282 * [taylor]: Taking taylor expansion of -1 in x 0.282 * [backup-simplify]: Simplify -1 into -1 0.283 * [backup-simplify]: Simplify (* -1 -1) into 1 0.283 * [backup-simplify]: Simplify (+ 1 0) into 1 0.283 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 0.283 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 0.283 * [backup-simplify]: Simplify 0 into 0 0.283 * [backup-simplify]: Simplify 0 into 0 0.283 * [backup-simplify]: Simplify 0 into 0 0.283 * [backup-simplify]: Simplify 0 into 0 0.283 * [backup-simplify]: Simplify 0 into 0 0.283 * [backup-simplify]: Simplify 0 into 0 0.283 * [backup-simplify]: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1)) into (exp (fma x x -1)) 0.283 * * * [progress]: simplifying candidates 0.283 * * * * [progress]: [ 1 / 18 ] simplifiying candidate # 0.283 * * * * [progress]: [ 2 / 18 ] simplifiying candidate # 0.283 * * * * [progress]: [ 3 / 18 ] simplifiying candidate # 0.283 * * * * [progress]: [ 4 / 18 ] simplifiying candidate # 0.284 * [simplify]: Simplifying (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) 0.284 * * [simplify]: iters left: 5 (6 enodes) 0.285 * * [simplify]: iters left: 4 (22 enodes) 0.289 * * [simplify]: iters left: 3 (35 enodes) 0.296 * * [simplify]: iters left: 2 (58 enodes) 0.308 * * [simplify]: iters left: 1 (98 enodes) 0.349 * * [simplify]: Extracting #0: cost 1 inf + 0 0.349 * * [simplify]: Extracting #1: cost 12 inf + 0 0.350 * * [simplify]: Extracting #2: cost 36 inf + 0 0.350 * * [simplify]: Extracting #3: cost 53 inf + 2 0.350 * * [simplify]: Extracting #4: cost 58 inf + 48 0.351 * * [simplify]: Extracting #5: cost 36 inf + 2485 0.353 * * [simplify]: Extracting #6: cost 9 inf + 10269 0.357 * * [simplify]: Extracting #7: cost 0 inf + 15660 0.360 * [simplify]: Simplified to (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) 0.360 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (cbrt (fma x x -1)))) 0.360 * * * * [progress]: [ 5 / 18 ] simplifiying candidate # 0.361 * [simplify]: Simplifying (exp (sqrt (fma x x -1))) 0.361 * * [simplify]: iters left: 3 (5 enodes) 0.363 * * [simplify]: iters left: 2 (17 enodes) 0.368 * * [simplify]: iters left: 1 (24 enodes) 0.376 * * [simplify]: Extracting #0: cost 1 inf + 0 0.376 * * [simplify]: Extracting #1: cost 3 inf + 0 0.376 * * [simplify]: Extracting #2: cost 5 inf + 0 0.376 * * [simplify]: Extracting #3: cost 11 inf + 0 0.376 * * [simplify]: Extracting #4: cost 13 inf + 2 0.377 * * [simplify]: Extracting #5: cost 3 inf + 519 0.377 * * [simplify]: Extracting #6: cost 0 inf + 895 0.377 * [simplify]: Simplified to (exp (sqrt (fma x x -1))) 0.377 * [simplify]: Simplified (2 1) to (λ (x) (pow (exp (sqrt (fma x x -1))) (sqrt (fma x x -1)))) 0.377 * * * * [progress]: [ 6 / 18 ] simplifiying candidate # 0.378 * [simplify]: Simplifying (exp 1) 0.378 * * [simplify]: iters left: 1 (2 enodes) 0.379 * * [simplify]: Extracting #0: cost 1 inf + 0 0.379 * * [simplify]: Extracting #1: cost 0 inf + 1 0.379 * [simplify]: Simplified to E 0.379 * [simplify]: Simplified (2 1) to (λ (x) (pow E (fma x x -1))) 0.379 * * * * [progress]: [ 7 / 18 ] simplifiying candidate # 0.379 * [simplify]: Simplifying (exp (* x x)) 0.380 * * [simplify]: iters left: 3 (3 enodes) 0.381 * * [simplify]: iters left: 2 (11 enodes) 0.384 * * [simplify]: iters left: 1 (17 enodes) 0.388 * * [simplify]: Extracting #0: cost 1 inf + 0 0.388 * * [simplify]: Extracting #1: cost 7 inf + 0 0.388 * * [simplify]: Extracting #2: cost 12 inf + 1 0.388 * * [simplify]: Extracting #3: cost 9 inf + 226 0.388 * * [simplify]: Extracting #4: cost 3 inf + 936 0.388 * * [simplify]: Extracting #5: cost 0 inf + 1702 0.389 * [simplify]: Simplified to (exp (* x x)) 0.389 * [simplify]: Simplified (2 1) to (λ (x) (* (exp (* x x)) (exp -1))) 0.389 * * * * [progress]: [ 8 / 18 ] simplifiying candidate # 0.389 * [simplify]: Simplifying (fma x x -1) 0.389 * * [simplify]: iters left: 1 (3 enodes) 0.390 * * [simplify]: Extracting #0: cost 1 inf + 0 0.390 * * [simplify]: Extracting #1: cost 5 inf + 0 0.390 * * [simplify]: Extracting #2: cost 3 inf + 2 0.390 * * [simplify]: Extracting #3: cost 0 inf + 157 0.390 * [simplify]: Simplified to (fma x x -1) 0.390 * [simplify]: Simplified (2 1) to (λ (x) (exp (fma x x -1))) 0.390 * * * * [progress]: [ 9 / 18 ] simplifiying candidate # 0.390 * * * * [progress]: [ 10 / 18 ] simplifiying candidate # 0.390 * * * * [progress]: [ 11 / 18 ] simplifiying candidate # 0.390 * * * * [progress]: [ 12 / 18 ] simplifiying candidate # 0.390 * * * * [progress]: [ 13 / 18 ] simplifiying candidate # 0.390 * * * * [progress]: [ 14 / 18 ] simplifiying candidate # 0.390 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #real (real->posit16 (exp (fma x x -1)))))> 0.390 * * * * [progress]: [ 16 / 18 ] simplifiying candidate # 0.390 * [simplify]: Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 0.391 * * [simplify]: iters left: 6 (13 enodes) 0.396 * * [simplify]: iters left: 5 (57 enodes) 0.412 * * [simplify]: iters left: 4 (93 enodes) 0.446 * * [simplify]: iters left: 3 (165 enodes) 0.503 * * [simplify]: iters left: 2 (235 enodes) 0.565 * * [simplify]: iters left: 1 (363 enodes) 0.686 * * [simplify]: Extracting #0: cost 1 inf + 0 0.686 * * [simplify]: Extracting #1: cost 27 inf + 0 0.686 * * [simplify]: Extracting #2: cost 71 inf + 457 0.688 * * [simplify]: Extracting #3: cost 44 inf + 4513 0.690 * * [simplify]: Extracting #4: cost 8 inf + 10521 0.695 * * [simplify]: Extracting #5: cost 0 inf + 12066 0.704 * [simplify]: Simplified to (fma (fma 1/2 (* (* x x) (* x x)) (* x x)) (exp -1) (exp -1)) 0.704 * [simplify]: Simplified (2) to (λ (x) (fma (fma 1/2 (* (* x x) (* x x)) (* x x)) (exp -1) (exp -1))) 0.704 * * * * [progress]: [ 17 / 18 ] simplifiying candidate # 0.705 * [simplify]: Simplifying (exp (fma x x -1)) 0.705 * * [simplify]: iters left: 2 (4 enodes) 0.707 * * [simplify]: iters left: 1 (14 enodes) 0.712 * * [simplify]: Extracting #0: cost 1 inf + 0 0.712 * * [simplify]: Extracting #1: cost 5 inf + 0 0.712 * * [simplify]: Extracting #2: cost 11 inf + 0 0.712 * * [simplify]: Extracting #3: cost 10 inf + 73 0.713 * * [simplify]: Extracting #4: cost 1 inf + 592 0.713 * * [simplify]: Extracting #5: cost 0 inf + 719 0.713 * [simplify]: Simplified to (exp (fma x x -1)) 0.713 * [simplify]: Simplified (2) to (λ (x) (exp (fma x x -1))) 0.713 * * * * [progress]: [ 18 / 18 ] simplifiying candidate # 0.714 * [simplify]: Simplifying (exp (fma x x -1)) 0.714 * * [simplify]: iters left: 2 (4 enodes) 0.716 * * [simplify]: iters left: 1 (14 enodes) 0.721 * * [simplify]: Extracting #0: cost 1 inf + 0 0.721 * * [simplify]: Extracting #1: cost 5 inf + 0 0.721 * * [simplify]: Extracting #2: cost 11 inf + 0 0.721 * * [simplify]: Extracting #3: cost 10 inf + 73 0.721 * * [simplify]: Extracting #4: cost 1 inf + 592 0.722 * * [simplify]: Extracting #5: cost 0 inf + 719 0.722 * [simplify]: Simplified to (exp (fma x x -1)) 0.722 * [simplify]: Simplified (2) to (λ (x) (exp (fma x x -1))) 0.722 * * * [progress]: adding candidates to table 0.870 * * [progress]: iteration 2 / 4 0.870 * * * [progress]: picking best candidate 0.874 * * * * [pick]: Picked # 0.874 * * * [progress]: localizing error 0.881 * * * [progress]: generating rewritten candidates 0.881 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.884 * * * [progress]: generating series expansions 0.884 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.884 * [backup-simplify]: Simplify (pow E (fma x x -1)) into (pow E (fma x x -1)) 0.884 * [approximate]: Taking taylor expansion of (pow E (fma x x -1)) in (x) around 0 0.884 * [taylor]: Taking taylor expansion of (pow E (fma x x -1)) in x 0.884 * [taylor]: Taking taylor expansion of (exp (* (fma x x -1) (log E))) in x 0.884 * [taylor]: Taking taylor expansion of (* (fma x x -1) (log E)) in x 0.884 * [taylor]: Taking taylor expansion of (fma x x -1) in x 0.884 * [taylor]: Rewrote expression to (+ (* x x) -1) 0.884 * [taylor]: Taking taylor expansion of (* x x) in x 0.884 * [taylor]: Taking taylor expansion of x in x 0.884 * [backup-simplify]: Simplify 0 into 0 0.884 * [backup-simplify]: Simplify 1 into 1 0.884 * [taylor]: Taking taylor expansion of x in x 0.884 * [backup-simplify]: Simplify 0 into 0 0.884 * [backup-simplify]: Simplify 1 into 1 0.884 * [taylor]: Taking taylor expansion of -1 in x 0.884 * [backup-simplify]: Simplify -1 into -1 0.884 * [taylor]: Taking taylor expansion of (log E) in x 0.884 * [taylor]: Taking taylor expansion of E in x 0.884 * [backup-simplify]: Simplify E into E 0.884 * [backup-simplify]: Simplify (log E) into 1 0.885 * [backup-simplify]: Simplify (* 0 0) into 0 0.885 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.885 * [backup-simplify]: Simplify (* -1 1) into -1 0.885 * [backup-simplify]: Simplify (exp -1) into (exp -1) 0.885 * [taylor]: Taking taylor expansion of (pow E (fma x x -1)) in x 0.886 * [taylor]: Taking taylor expansion of (exp (* (fma x x -1) (log E))) in x 0.886 * [taylor]: Taking taylor expansion of (* (fma x x -1) (log E)) in x 0.886 * [taylor]: Taking taylor expansion of (fma x x -1) in x 0.886 * [taylor]: Rewrote expression to (+ (* x x) -1) 0.886 * [taylor]: Taking taylor expansion of (* x x) in x 0.886 * [taylor]: Taking taylor expansion of x in x 0.886 * [backup-simplify]: Simplify 0 into 0 0.886 * [backup-simplify]: Simplify 1 into 1 0.886 * [taylor]: Taking taylor expansion of x in x 0.886 * [backup-simplify]: Simplify 0 into 0 0.886 * [backup-simplify]: Simplify 1 into 1 0.886 * [taylor]: Taking taylor expansion of -1 in x 0.886 * [backup-simplify]: Simplify -1 into -1 0.886 * [taylor]: Taking taylor expansion of (log E) in x 0.886 * [taylor]: Taking taylor expansion of E in x 0.886 * [backup-simplify]: Simplify E into E 0.886 * [backup-simplify]: Simplify (log E) into 1 0.886 * [backup-simplify]: Simplify (* 0 0) into 0 0.886 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.887 * [backup-simplify]: Simplify (* -1 1) into -1 0.887 * [backup-simplify]: Simplify (exp -1) into (exp -1) 0.887 * [backup-simplify]: Simplify (exp -1) into (exp -1) 0.888 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 0.889 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 0.889 * [backup-simplify]: Simplify (+ 0 0) into 0 0.889 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 0.890 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 0.890 * [backup-simplify]: Simplify 0 into 0 0.892 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 0.893 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 0.893 * [backup-simplify]: Simplify (+ 1 0) into 1 0.893 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 1 1))) into 1 0.895 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1) 0.896 * [backup-simplify]: Simplify (exp -1) into (exp -1) 0.898 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 0.899 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 0.899 * [backup-simplify]: Simplify (+ 0 0) into 0 0.900 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (* 0 1)))) into 0 0.901 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.901 * [backup-simplify]: Simplify 0 into 0 0.908 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow E 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow E 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow E 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow E 1)))) 24) into 0 0.908 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.909 * [backup-simplify]: Simplify (+ 0 0) into 0 0.910 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 1))))) into 0 0.914 * [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.915 * [backup-simplify]: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 0.916 * [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.917 * [backup-simplify]: Simplify (pow E (fma (/ 1 x) (/ 1 x) -1)) into (pow E (fma (/ 1 x) (/ 1 x) -1)) 0.917 * [approximate]: Taking taylor expansion of (pow E (fma (/ 1 x) (/ 1 x) -1)) in (x) around 0 0.917 * [taylor]: Taking taylor expansion of (pow E (fma (/ 1 x) (/ 1 x) -1)) in x 0.917 * [taylor]: Taking taylor expansion of (exp (* (fma (/ 1 x) (/ 1 x) -1) (log E))) in x 0.917 * [taylor]: Taking taylor expansion of (* (fma (/ 1 x) (/ 1 x) -1) (log E)) in x 0.917 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 0.917 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 0.917 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.917 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.917 * [taylor]: Taking taylor expansion of x in x 0.917 * [backup-simplify]: Simplify 0 into 0 0.917 * [backup-simplify]: Simplify 1 into 1 0.917 * [backup-simplify]: Simplify (/ 1 1) into 1 0.917 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.917 * [taylor]: Taking taylor expansion of x in x 0.917 * [backup-simplify]: Simplify 0 into 0 0.917 * [backup-simplify]: Simplify 1 into 1 0.917 * [backup-simplify]: Simplify (/ 1 1) into 1 0.917 * [taylor]: Taking taylor expansion of -1 in x 0.917 * [backup-simplify]: Simplify -1 into -1 0.917 * [taylor]: Taking taylor expansion of (log E) in x 0.917 * [taylor]: Taking taylor expansion of E in x 0.917 * [backup-simplify]: Simplify E into E 0.918 * [backup-simplify]: Simplify (log E) into 1 0.918 * [backup-simplify]: Simplify (* 1 1) into 1 0.918 * [backup-simplify]: Simplify (+ 1 0) into 1 0.918 * [backup-simplify]: Simplify (* 1 1) into 1 0.918 * [backup-simplify]: Simplify (exp (* (fma (/ 1 x) (/ 1 x) -1) (log E))) into (exp (fma (/ 1 x) (/ 1 x) -1)) 0.918 * [taylor]: Taking taylor expansion of (pow E (fma (/ 1 x) (/ 1 x) -1)) in x 0.918 * [taylor]: Taking taylor expansion of (exp (* (fma (/ 1 x) (/ 1 x) -1) (log E))) in x 0.918 * [taylor]: Taking taylor expansion of (* (fma (/ 1 x) (/ 1 x) -1) (log E)) in x 0.918 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 0.919 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 0.919 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.919 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.919 * [taylor]: Taking taylor expansion of x in x 0.919 * [backup-simplify]: Simplify 0 into 0 0.919 * [backup-simplify]: Simplify 1 into 1 0.919 * [backup-simplify]: Simplify (/ 1 1) into 1 0.919 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.919 * [taylor]: Taking taylor expansion of x in x 0.919 * [backup-simplify]: Simplify 0 into 0 0.919 * [backup-simplify]: Simplify 1 into 1 0.919 * [backup-simplify]: Simplify (/ 1 1) into 1 0.919 * [taylor]: Taking taylor expansion of -1 in x 0.919 * [backup-simplify]: Simplify -1 into -1 0.919 * [taylor]: Taking taylor expansion of (log E) in x 0.919 * [taylor]: Taking taylor expansion of E in x 0.919 * [backup-simplify]: Simplify E into E 0.919 * [backup-simplify]: Simplify (log E) into 1 0.920 * [backup-simplify]: Simplify (* 1 1) into 1 0.920 * [backup-simplify]: Simplify (+ 1 0) into 1 0.920 * [backup-simplify]: Simplify (* 1 1) into 1 0.920 * [backup-simplify]: Simplify (exp (* (fma (/ 1 x) (/ 1 x) -1) (log E))) into (exp (fma (/ 1 x) (/ 1 x) -1)) 0.920 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 0.920 * [backup-simplify]: Simplify 0 into 0 0.920 * [backup-simplify]: Simplify 0 into 0 0.921 * [backup-simplify]: Simplify 0 into 0 0.921 * [backup-simplify]: Simplify 0 into 0 0.921 * [backup-simplify]: Simplify 0 into 0 0.921 * [backup-simplify]: Simplify 0 into 0 0.921 * [backup-simplify]: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1)) into (exp (fma x x -1)) 0.921 * [backup-simplify]: Simplify (pow E (fma (/ 1 (- x)) (/ 1 (- x)) -1)) into (pow E (fma (/ -1 x) (/ -1 x) -1)) 0.921 * [approximate]: Taking taylor expansion of (pow E (fma (/ -1 x) (/ -1 x) -1)) in (x) around 0 0.921 * [taylor]: Taking taylor expansion of (pow E (fma (/ -1 x) (/ -1 x) -1)) in x 0.921 * [taylor]: Taking taylor expansion of (exp (* (fma (/ -1 x) (/ -1 x) -1) (log E))) in x 0.921 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) -1) (log E)) in x 0.921 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 0.921 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 0.921 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.921 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.921 * [taylor]: Taking taylor expansion of -1 in x 0.921 * [backup-simplify]: Simplify -1 into -1 0.921 * [taylor]: Taking taylor expansion of x in x 0.921 * [backup-simplify]: Simplify 0 into 0 0.921 * [backup-simplify]: Simplify 1 into 1 0.921 * [backup-simplify]: Simplify (/ -1 1) into -1 0.921 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.921 * [taylor]: Taking taylor expansion of -1 in x 0.921 * [backup-simplify]: Simplify -1 into -1 0.921 * [taylor]: Taking taylor expansion of x in x 0.921 * [backup-simplify]: Simplify 0 into 0 0.921 * [backup-simplify]: Simplify 1 into 1 0.922 * [backup-simplify]: Simplify (/ -1 1) into -1 0.922 * [taylor]: Taking taylor expansion of -1 in x 0.922 * [backup-simplify]: Simplify -1 into -1 0.922 * [taylor]: Taking taylor expansion of (log E) in x 0.922 * [taylor]: Taking taylor expansion of E in x 0.922 * [backup-simplify]: Simplify E into E 0.922 * [backup-simplify]: Simplify (log E) into 1 0.922 * [backup-simplify]: Simplify (* -1 -1) into 1 0.922 * [backup-simplify]: Simplify (+ 1 0) into 1 0.923 * [backup-simplify]: Simplify (* 1 1) into 1 0.923 * [backup-simplify]: Simplify (exp (* (fma (/ -1 x) (/ -1 x) -1) (log E))) into (exp (fma (/ -1 x) (/ -1 x) -1)) 0.923 * [taylor]: Taking taylor expansion of (pow E (fma (/ -1 x) (/ -1 x) -1)) in x 0.923 * [taylor]: Taking taylor expansion of (exp (* (fma (/ -1 x) (/ -1 x) -1) (log E))) in x 0.923 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) -1) (log E)) in x 0.923 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 0.923 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 0.923 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.923 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.923 * [taylor]: Taking taylor expansion of -1 in x 0.923 * [backup-simplify]: Simplify -1 into -1 0.923 * [taylor]: Taking taylor expansion of x in x 0.923 * [backup-simplify]: Simplify 0 into 0 0.923 * [backup-simplify]: Simplify 1 into 1 0.923 * [backup-simplify]: Simplify (/ -1 1) into -1 0.923 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.923 * [taylor]: Taking taylor expansion of -1 in x 0.923 * [backup-simplify]: Simplify -1 into -1 0.923 * [taylor]: Taking taylor expansion of x in x 0.923 * [backup-simplify]: Simplify 0 into 0 0.923 * [backup-simplify]: Simplify 1 into 1 0.923 * [backup-simplify]: Simplify (/ -1 1) into -1 0.923 * [taylor]: Taking taylor expansion of -1 in x 0.924 * [backup-simplify]: Simplify -1 into -1 0.924 * [taylor]: Taking taylor expansion of (log E) in x 0.924 * [taylor]: Taking taylor expansion of E in x 0.924 * [backup-simplify]: Simplify E into E 0.924 * [backup-simplify]: Simplify (log E) into 1 0.924 * [backup-simplify]: Simplify (* -1 -1) into 1 0.924 * [backup-simplify]: Simplify (+ 1 0) into 1 0.924 * [backup-simplify]: Simplify (* 1 1) into 1 0.924 * [backup-simplify]: Simplify (exp (* (fma (/ -1 x) (/ -1 x) -1) (log E))) into (exp (fma (/ -1 x) (/ -1 x) -1)) 0.925 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 0.925 * [backup-simplify]: Simplify 0 into 0 0.925 * [backup-simplify]: Simplify 0 into 0 0.925 * [backup-simplify]: Simplify 0 into 0 0.925 * [backup-simplify]: Simplify 0 into 0 0.925 * [backup-simplify]: Simplify 0 into 0 0.925 * [backup-simplify]: Simplify 0 into 0 0.925 * [backup-simplify]: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1)) into (exp (fma x x -1)) 0.925 * * * [progress]: simplifying candidates 0.925 * * * * [progress]: [ 1 / 25 ] simplifiying candidate # 0.925 * * * * [progress]: [ 2 / 25 ] simplifiying candidate # 0.925 * * * * [progress]: [ 3 / 25 ] simplifiying candidate # 0.925 * [simplify]: Simplifying (* 1 (fma x x -1)) 0.925 * * [simplify]: iters left: 3 (5 enodes) 0.927 * * [simplify]: iters left: 2 (18 enodes) 0.936 * * [simplify]: iters left: 1 (35 enodes) 0.947 * * [simplify]: Extracting #0: cost 1 inf + 0 0.947 * * [simplify]: Extracting #1: cost 10 inf + 0 0.947 * * [simplify]: Extracting #2: cost 8 inf + 200 0.947 * * [simplify]: Extracting #3: cost 1 inf + 574 0.948 * * [simplify]: Extracting #4: cost 0 inf + 616 0.948 * [simplify]: Simplified to (fma x x -1) 0.948 * [simplify]: Simplified (2 1) to (λ (x) (exp (fma x x -1))) 0.948 * * * * [progress]: [ 4 / 25 ] simplifiying candidate # 0.949 * [simplify]: Simplifying (* (log E) (fma x x -1)) 0.949 * * [simplify]: iters left: 3 (6 enodes) 0.956 * * [simplify]: iters left: 2 (21 enodes) 0.963 * * [simplify]: iters left: 1 (29 enodes) 0.974 * * [simplify]: Extracting #0: cost 1 inf + 0 0.974 * * [simplify]: Extracting #1: cost 12 inf + 0 0.974 * * [simplify]: Extracting #2: cost 7 inf + 308 0.975 * * [simplify]: Extracting #3: cost 0 inf + 696 0.975 * [simplify]: Simplified to (fma x x -1) 0.975 * [simplify]: Simplified (2 1) to (λ (x) (exp (fma x x -1))) 0.975 * * * * [progress]: [ 5 / 25 ] simplifiying candidate # 0.975 * * * * [progress]: [ 6 / 25 ] simplifiying candidate # 0.976 * * * * [progress]: [ 7 / 25 ] simplifiying candidate # 0.976 * [simplify]: Simplifying (cbrt (fma x x -1)) 0.976 * * [simplify]: iters left: 2 (4 enodes) 0.978 * * [simplify]: iters left: 1 (14 enodes) 0.983 * * [simplify]: Extracting #0: cost 1 inf + 0 0.983 * * [simplify]: Extracting #1: cost 3 inf + 0 0.983 * * [simplify]: Extracting #2: cost 9 inf + 0 0.983 * * [simplify]: Extracting #3: cost 8 inf + 43 0.984 * * [simplify]: Extracting #4: cost 0 inf + 557 0.984 * [simplify]: Simplified to (cbrt (fma x x -1)) 0.984 * [simplify]: Simplified (2 2) to (λ (x) (pow (pow E (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (cbrt (fma x x -1)))) 0.984 * * * * [progress]: [ 8 / 25 ] simplifiying candidate # 0.984 * [simplify]: Simplifying (sqrt (fma x x -1)) 0.984 * * [simplify]: iters left: 2 (4 enodes) 0.987 * * [simplify]: iters left: 1 (14 enodes) 0.992 * * [simplify]: Extracting #0: cost 1 inf + 0 0.992 * * [simplify]: Extracting #1: cost 3 inf + 0 0.992 * * [simplify]: Extracting #2: cost 9 inf + 0 0.992 * * [simplify]: Extracting #3: cost 8 inf + 43 0.992 * * [simplify]: Extracting #4: cost 0 inf + 477 0.992 * [simplify]: Simplified to (sqrt (fma x x -1)) 0.992 * [simplify]: Simplified (2 2) to (λ (x) (pow (pow E (sqrt (fma x x -1))) (sqrt (fma x x -1)))) 0.993 * * * * [progress]: [ 9 / 25 ] simplifiying candidate # 0.993 * [simplify]: Simplifying (fma x x -1) 0.993 * * [simplify]: iters left: 1 (3 enodes) 0.995 * * [simplify]: Extracting #0: cost 1 inf + 0 0.995 * * [simplify]: Extracting #1: cost 5 inf + 0 0.995 * * [simplify]: Extracting #2: cost 3 inf + 2 0.995 * * [simplify]: Extracting #3: cost 0 inf + 157 0.995 * [simplify]: Simplified to (fma x x -1) 0.995 * [simplify]: Simplified (2 2) to (λ (x) (pow (pow E 1) (fma x x -1))) 0.995 * * * * [progress]: [ 10 / 25 ] simplifiying candidate # 0.995 * [simplify]: Simplifying (pow E -1) 0.996 * * [simplify]: iters left: 1 (3 enodes) 0.998 * * [simplify]: Extracting #0: cost 1 inf + 0 0.998 * * [simplify]: Extracting #1: cost 6 inf + 0 0.998 * * [simplify]: Extracting #2: cost 4 inf + 3 0.998 * * [simplify]: Extracting #3: cost 0 inf + 300 0.998 * [simplify]: Simplified to (/ 1 E) 0.998 * [simplify]: Simplified (2 2) to (λ (x) (* (pow E (* x x)) (/ 1 E))) 0.998 * * * * [progress]: [ 11 / 25 ] simplifiying candidate # 0.999 * [simplify]: Simplifying (pow (* (cbrt E) (cbrt E)) (fma x x -1)) 0.999 * * [simplify]: iters left: 4 (7 enodes) 1.002 * * [simplify]: iters left: 3 (29 enodes) 1.012 * * [simplify]: iters left: 2 (50 enodes) 1.031 * * [simplify]: iters left: 1 (86 enodes) 1.047 * * [simplify]: Extracting #0: cost 1 inf + 0 1.047 * * [simplify]: Extracting #1: cost 11 inf + 0 1.047 * * [simplify]: Extracting #2: cost 50 inf + 0 1.047 * * [simplify]: Extracting #3: cost 63 inf + 673 1.048 * * [simplify]: Extracting #4: cost 34 inf + 3616 1.049 * * [simplify]: Extracting #5: cost 14 inf + 8650 1.051 * * [simplify]: Extracting #6: cost 2 inf + 12647 1.052 * * [simplify]: Extracting #7: cost 0 inf + 14019 1.054 * [simplify]: Simplified to (pow (* (cbrt E) (cbrt E)) (fma x x -1)) 1.054 * [simplify]: Simplified (2 1) to (λ (x) (* (pow (* (cbrt E) (cbrt E)) (fma x x -1)) (pow (cbrt E) (fma x x -1)))) 1.054 * * * * [progress]: [ 12 / 25 ] simplifiying candidate # 1.055 * [simplify]: Simplifying (pow (sqrt E) (fma x x -1)) 1.055 * * [simplify]: iters left: 2 (6 enodes) 1.056 * * [simplify]: iters left: 1 (26 enodes) 1.063 * * [simplify]: Extracting #0: cost 1 inf + 0 1.063 * * [simplify]: Extracting #1: cost 6 inf + 0 1.063 * * [simplify]: Extracting #2: cost 18 inf + 0 1.063 * * [simplify]: Extracting #3: cost 17 inf + 45 1.064 * * [simplify]: Extracting #4: cost 7 inf + 1040 1.064 * * [simplify]: Extracting #5: cost 1 inf + 2153 1.065 * * [simplify]: Extracting #6: cost 0 inf + 2542 1.065 * [simplify]: Simplified to (pow (sqrt E) (fma x x -1)) 1.065 * [simplify]: Simplified (2 1) to (λ (x) (* (pow (sqrt E) (fma x x -1)) (pow (sqrt E) (fma x x -1)))) 1.065 * * * * [progress]: [ 13 / 25 ] simplifiying candidate # 1.066 * [simplify]: Simplifying (pow 1 (fma x x -1)) 1.066 * * [simplify]: iters left: 2 (5 enodes) 1.069 * * [simplify]: iters left: 1 (17 enodes) 1.075 * * [simplify]: Extracting #0: cost 1 inf + 0 1.075 * * [simplify]: Extracting #1: cost 0 inf + 1 1.075 * [simplify]: Simplified to 1 1.075 * [simplify]: Simplified (2 1) to (λ (x) (* 1 (pow E (fma x x -1)))) 1.075 * * * * [progress]: [ 14 / 25 ] simplifiying candidate # 1.075 * * * * [progress]: [ 15 / 25 ] simplifiying candidate # 1.075 * * * * [progress]: [ 16 / 25 ] simplifiying candidate # 1.075 * * * * [progress]: [ 17 / 25 ] simplifiying candidate # 1.075 * * * * [progress]: [ 18 / 25 ] simplifiying candidate # 1.075 * * * * [progress]: [ 19 / 25 ] simplifiying candidate # 1.075 * * * * [progress]: [ 20 / 25 ] simplifiying candidate # 1.075 * * * * [progress]: [ 21 / 25 ] simplifiying candidate # 1.075 * * * * [progress]: [ 22 / 25 ] simplifiying candidate #real (real->posit16 (pow E (fma x x -1)))))> 1.075 * * * * [progress]: [ 23 / 25 ] simplifiying candidate # 1.076 * [simplify]: Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 1.076 * * [simplify]: iters left: 6 (13 enodes) 1.085 * * [simplify]: iters left: 5 (57 enodes) 1.095 * * [simplify]: iters left: 4 (93 enodes) 1.113 * * [simplify]: iters left: 3 (165 enodes) 1.154 * * [simplify]: iters left: 2 (235 enodes) 1.230 * * [simplify]: iters left: 1 (363 enodes) 1.359 * * [simplify]: Extracting #0: cost 1 inf + 0 1.359 * * [simplify]: Extracting #1: cost 27 inf + 0 1.359 * * [simplify]: Extracting #2: cost 71 inf + 457 1.361 * * [simplify]: Extracting #3: cost 44 inf + 4513 1.364 * * [simplify]: Extracting #4: cost 8 inf + 10521 1.368 * * [simplify]: Extracting #5: cost 0 inf + 12066 1.373 * [simplify]: Simplified to (fma (fma 1/2 (* (* x x) (* x x)) (* x x)) (exp -1) (exp -1)) 1.373 * [simplify]: Simplified (2) to (λ (x) (fma (fma 1/2 (* (* x x) (* x x)) (* x x)) (exp -1) (exp -1))) 1.373 * * * * [progress]: [ 24 / 25 ] simplifiying candidate # 1.373 * [simplify]: Simplifying (exp (fma x x -1)) 1.373 * * [simplify]: iters left: 2 (4 enodes) 1.374 * * [simplify]: iters left: 1 (14 enodes) 1.377 * * [simplify]: Extracting #0: cost 1 inf + 0 1.377 * * [simplify]: Extracting #1: cost 5 inf + 0 1.377 * * [simplify]: Extracting #2: cost 11 inf + 0 1.377 * * [simplify]: Extracting #3: cost 10 inf + 73 1.380 * * [simplify]: Extracting #4: cost 1 inf + 592 1.380 * * [simplify]: Extracting #5: cost 0 inf + 719 1.380 * [simplify]: Simplified to (exp (fma x x -1)) 1.380 * [simplify]: Simplified (2) to (λ (x) (exp (fma x x -1))) 1.380 * * * * [progress]: [ 25 / 25 ] simplifiying candidate # 1.380 * [simplify]: Simplifying (exp (fma x x -1)) 1.380 * * [simplify]: iters left: 2 (4 enodes) 1.382 * * [simplify]: iters left: 1 (14 enodes) 1.384 * * [simplify]: Extracting #0: cost 1 inf + 0 1.384 * * [simplify]: Extracting #1: cost 5 inf + 0 1.384 * * [simplify]: Extracting #2: cost 11 inf + 0 1.385 * * [simplify]: Extracting #3: cost 10 inf + 73 1.385 * * [simplify]: Extracting #4: cost 1 inf + 592 1.385 * * [simplify]: Extracting #5: cost 0 inf + 719 1.385 * [simplify]: Simplified to (exp (fma x x -1)) 1.385 * [simplify]: Simplified (2) to (λ (x) (exp (fma x x -1))) 1.385 * * * [progress]: adding candidates to table 1.573 * [progress]: [Phase 3 of 3] Extracting. 1.573 * * [regime]: Finding splitpoints for: (# #) 1.574 * * * [regime-changes]: Trying 1 branch expressions: (x) 1.574 * * * * [regimes]: Trying to branch on x from (# #) 1.599 * * * [regime]: Found split indices: #