26.108 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.038 * * * [progress]: [2/2] Setting up program. 0.040 * [progress]: [Phase 2 of 3] Improving. 0.040 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.040 * [simplify]: Simplifying: (exp (- (- 1 (* x x)))) 0.040 * * [simplify]: iteration 1: (6 enodes) 0.041 * * [simplify]: iteration 2: (10 enodes) 0.044 * * [simplify]: iteration 3: (23 enodes) 0.049 * * [simplify]: iteration 4: (49 enodes) 0.058 * * [simplify]: iteration 5: (89 enodes) 0.091 * * [simplify]: iteration 6: (159 enodes) 0.137 * * [simplify]: iteration 7: (330 enodes) 0.419 * * [simplify]: iteration 8: (1261 enodes) 5.253 * * [simplify]: Extracting #0: cost 1 inf + 0 5.254 * * [simplify]: Extracting #1: cost 468 inf + 0 5.259 * * [simplify]: Extracting #2: cost 953 inf + 44 5.264 * * [simplify]: Extracting #3: cost 980 inf + 3540 5.273 * * [simplify]: Extracting #4: cost 758 inf + 57039 5.311 * * [simplify]: Extracting #5: cost 313 inf + 304171 5.411 * * [simplify]: Extracting #6: cost 21 inf + 489839 5.500 * * [simplify]: Extracting #7: cost 0 inf + 495525 5.579 * * [simplify]: Extracting #8: cost 0 inf + 494943 5.678 * [simplify]: Simplified to: (exp (fma x x -1)) 5.683 * * [progress]: iteration 1 / 4 5.683 * * * [progress]: picking best candidate 5.684 * * * * [pick]: Picked # 5.685 * * * [progress]: localizing error 5.692 * * * [progress]: generating rewritten candidates 5.692 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.694 * * * [progress]: generating series expansions 5.694 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.694 * [backup-simplify]: Simplify (exp (fma x x -1)) into (exp (fma x x -1)) 5.694 * [approximate]: Taking taylor expansion of (exp (fma x x -1)) in (x) around 0 5.694 * [taylor]: Taking taylor expansion of (exp (fma x x -1)) in x 5.694 * [taylor]: Taking taylor expansion of (fma x x -1) in x 5.695 * [taylor]: Rewrote expression to (+ (* x x) -1) 5.695 * [taylor]: Taking taylor expansion of (* x x) in x 5.695 * [taylor]: Taking taylor expansion of x in x 5.695 * [backup-simplify]: Simplify 0 into 0 5.695 * [backup-simplify]: Simplify 1 into 1 5.695 * [taylor]: Taking taylor expansion of x in x 5.695 * [backup-simplify]: Simplify 0 into 0 5.695 * [backup-simplify]: Simplify 1 into 1 5.695 * [taylor]: Taking taylor expansion of -1 in x 5.695 * [backup-simplify]: Simplify -1 into -1 5.696 * [backup-simplify]: Simplify (* 0 0) into 0 5.696 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.696 * [backup-simplify]: Simplify (exp -1) into (exp -1) 5.696 * [taylor]: Taking taylor expansion of (exp (fma x x -1)) in x 5.696 * [taylor]: Taking taylor expansion of (fma x x -1) in x 5.696 * [taylor]: Rewrote expression to (+ (* x x) -1) 5.696 * [taylor]: Taking taylor expansion of (* x x) in x 5.696 * [taylor]: Taking taylor expansion of x in x 5.696 * [backup-simplify]: Simplify 0 into 0 5.696 * [backup-simplify]: Simplify 1 into 1 5.696 * [taylor]: Taking taylor expansion of x in x 5.696 * [backup-simplify]: Simplify 0 into 0 5.696 * [backup-simplify]: Simplify 1 into 1 5.697 * [taylor]: Taking taylor expansion of -1 in x 5.697 * [backup-simplify]: Simplify -1 into -1 5.697 * [backup-simplify]: Simplify (* 0 0) into 0 5.697 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.697 * [backup-simplify]: Simplify (exp -1) into (exp -1) 5.698 * [backup-simplify]: Simplify (exp -1) into (exp -1) 5.698 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 5.698 * [backup-simplify]: Simplify (+ 0 0) into 0 5.699 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 5.699 * [backup-simplify]: Simplify 0 into 0 5.699 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 5.700 * [backup-simplify]: Simplify (+ 1 0) into 1 5.702 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1) 5.702 * [backup-simplify]: Simplify (exp -1) into (exp -1) 5.703 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 5.703 * [backup-simplify]: Simplify (+ 0 0) into 0 5.704 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.704 * [backup-simplify]: Simplify 0 into 0 5.705 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 5.705 * [backup-simplify]: Simplify (+ 0 0) into 0 5.710 * [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)) 5.710 * [backup-simplify]: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 5.712 * [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))))) 5.712 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 5.712 * [approximate]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in (x) around 0 5.712 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x 5.712 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 5.712 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 5.712 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 5.712 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.712 * [taylor]: Taking taylor expansion of x in x 5.712 * [backup-simplify]: Simplify 0 into 0 5.712 * [backup-simplify]: Simplify 1 into 1 5.712 * [backup-simplify]: Simplify (/ 1 1) into 1 5.712 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.712 * [taylor]: Taking taylor expansion of x in x 5.712 * [backup-simplify]: Simplify 0 into 0 5.712 * [backup-simplify]: Simplify 1 into 1 5.713 * [backup-simplify]: Simplify (/ 1 1) into 1 5.713 * [taylor]: Taking taylor expansion of -1 in x 5.713 * [backup-simplify]: Simplify -1 into -1 5.713 * [backup-simplify]: Simplify (* 1 1) into 1 5.713 * [backup-simplify]: Simplify (+ 1 0) into 1 5.713 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 5.713 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x 5.713 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 5.713 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 5.713 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 5.713 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.713 * [taylor]: Taking taylor expansion of x in x 5.713 * [backup-simplify]: Simplify 0 into 0 5.713 * [backup-simplify]: Simplify 1 into 1 5.714 * [backup-simplify]: Simplify (/ 1 1) into 1 5.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.714 * [taylor]: Taking taylor expansion of x in x 5.714 * [backup-simplify]: Simplify 0 into 0 5.714 * [backup-simplify]: Simplify 1 into 1 5.714 * [backup-simplify]: Simplify (/ 1 1) into 1 5.714 * [taylor]: Taking taylor expansion of -1 in x 5.714 * [backup-simplify]: Simplify -1 into -1 5.714 * [backup-simplify]: Simplify (* 1 1) into 1 5.714 * [backup-simplify]: Simplify (+ 1 0) into 1 5.715 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 5.715 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 5.715 * [backup-simplify]: Simplify 0 into 0 5.715 * [backup-simplify]: Simplify 0 into 0 5.715 * [backup-simplify]: Simplify 0 into 0 5.715 * [backup-simplify]: Simplify 0 into 0 5.715 * [backup-simplify]: Simplify 0 into 0 5.715 * [backup-simplify]: Simplify 0 into 0 5.715 * [backup-simplify]: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1)) into (exp (fma x x -1)) 5.715 * [backup-simplify]: Simplify (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 5.715 * [approximate]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in (x) around 0 5.715 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x 5.715 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 5.715 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 5.715 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 5.715 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.715 * [taylor]: Taking taylor expansion of -1 in x 5.715 * [backup-simplify]: Simplify -1 into -1 5.715 * [taylor]: Taking taylor expansion of x in x 5.715 * [backup-simplify]: Simplify 0 into 0 5.715 * [backup-simplify]: Simplify 1 into 1 5.715 * [backup-simplify]: Simplify (/ -1 1) into -1 5.716 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.716 * [taylor]: Taking taylor expansion of -1 in x 5.716 * [backup-simplify]: Simplify -1 into -1 5.716 * [taylor]: Taking taylor expansion of x in x 5.716 * [backup-simplify]: Simplify 0 into 0 5.716 * [backup-simplify]: Simplify 1 into 1 5.716 * [backup-simplify]: Simplify (/ -1 1) into -1 5.716 * [taylor]: Taking taylor expansion of -1 in x 5.716 * [backup-simplify]: Simplify -1 into -1 5.716 * [backup-simplify]: Simplify (* -1 -1) into 1 5.716 * [backup-simplify]: Simplify (+ 1 0) into 1 5.716 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 5.716 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x 5.717 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 5.717 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 5.717 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 5.717 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.717 * [taylor]: Taking taylor expansion of -1 in x 5.717 * [backup-simplify]: Simplify -1 into -1 5.717 * [taylor]: Taking taylor expansion of x in x 5.717 * [backup-simplify]: Simplify 0 into 0 5.717 * [backup-simplify]: Simplify 1 into 1 5.717 * [backup-simplify]: Simplify (/ -1 1) into -1 5.717 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.717 * [taylor]: Taking taylor expansion of -1 in x 5.717 * [backup-simplify]: Simplify -1 into -1 5.717 * [taylor]: Taking taylor expansion of x in x 5.717 * [backup-simplify]: Simplify 0 into 0 5.717 * [backup-simplify]: Simplify 1 into 1 5.717 * [backup-simplify]: Simplify (/ -1 1) into -1 5.717 * [taylor]: Taking taylor expansion of -1 in x 5.717 * [backup-simplify]: Simplify -1 into -1 5.718 * [backup-simplify]: Simplify (* -1 -1) into 1 5.718 * [backup-simplify]: Simplify (+ 1 0) into 1 5.718 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 5.718 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 5.718 * [backup-simplify]: Simplify 0 into 0 5.718 * [backup-simplify]: Simplify 0 into 0 5.718 * [backup-simplify]: Simplify 0 into 0 5.718 * [backup-simplify]: Simplify 0 into 0 5.718 * [backup-simplify]: Simplify 0 into 0 5.718 * [backup-simplify]: Simplify 0 into 0 5.718 * [backup-simplify]: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1)) into (exp (fma x x -1)) 5.718 * * * [progress]: simplifying candidates 5.718 * * * * [progress]: [ 1 / 18 ] simplifiying candidate # 5.718 * * * * [progress]: [ 2 / 18 ] simplifiying candidate # 5.718 * * * * [progress]: [ 3 / 18 ] simplifiying candidate # 5.718 * * * * [progress]: [ 4 / 18 ] simplifiying candidate # 5.718 * * * * [progress]: [ 5 / 18 ] simplifiying candidate # 5.718 * * * * [progress]: [ 6 / 18 ] simplifiying candidate # 5.719 * * * * [progress]: [ 7 / 18 ] simplifiying candidate # 5.719 * * * * [progress]: [ 8 / 18 ] simplifiying candidate # 5.719 * * * * [progress]: [ 9 / 18 ] simplifiying candidate # 5.719 * * * * [progress]: [ 10 / 18 ] simplifiying candidate # 5.719 * * * * [progress]: [ 11 / 18 ] simplifiying candidate # 5.719 * * * * [progress]: [ 12 / 18 ] simplifiying candidate # 5.719 * * * * [progress]: [ 13 / 18 ] simplifiying candidate # 5.719 * * * * [progress]: [ 14 / 18 ] simplifiying candidate # 5.719 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #real (real->posit16 (exp (fma x x -1)))))> 5.719 * * * * [progress]: [ 16 / 18 ] simplifiying candidate # 5.719 * * * * [progress]: [ 17 / 18 ] simplifiying candidate # 5.719 * * * * [progress]: [ 18 / 18 ] simplifiying candidate # 5.719 * [simplify]: Simplifying: (expm1 (exp (fma x x -1))) (log1p (exp (fma x x -1))) (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (exp (sqrt (fma x x -1))) (exp 1) (exp (* x x)) (exp -1) (log (exp (fma x x -1))) (exp (exp (fma x x -1))) (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1))) (* (* (exp (fma x x -1)) (exp (fma x x -1))) (exp (fma x x -1))) (sqrt (exp (fma x x -1))) (sqrt (exp (fma x x -1))) (real->posit16 (exp (fma x x -1))) (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) (exp (fma x x -1)) (exp (fma x x -1)) 5.719 * * [simplify]: iteration 1: (34 enodes) 5.728 * * [simplify]: iteration 2: (59 enodes) 5.752 * * [simplify]: iteration 3: (121 enodes) 5.817 * * [simplify]: iteration 4: (344 enodes) 6.085 * * [simplify]: iteration 5: (1101 enodes) 9.083 * * [simplify]: Extracting #0: cost 16 inf + 0 9.084 * * [simplify]: Extracting #1: cost 163 inf + 1 9.088 * * [simplify]: Extracting #2: cost 550 inf + 4569 9.095 * * [simplify]: Extracting #3: cost 473 inf + 32880 9.116 * * [simplify]: Extracting #4: cost 98 inf + 97514 9.154 * * [simplify]: Extracting #5: cost 6 inf + 134647 9.204 * * [simplify]: Extracting #6: cost 0 inf + 138414 9.230 * [simplify]: Simplified to: (expm1 (exp (fma x x -1))) (log1p (exp (fma x x -1))) (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (exp (sqrt (fma x x -1))) E (exp (* x x)) (exp -1) (fma x x -1) (exp (exp (fma x x -1))) (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1))) (exp (* 3 (fma x x -1))) (sqrt (exp (fma x x -1))) (sqrt (exp (fma x x -1))) (real->posit16 (exp (fma x x -1))) (fma (fma 1/2 (* (* x x) (* x x)) (* x x)) (exp -1) (exp -1)) (exp (fma x x -1)) (exp (fma x x -1)) 9.230 * * * [progress]: adding candidates to table 9.337 * * [progress]: iteration 2 / 4 9.338 * * * [progress]: picking best candidate 9.342 * * * * [pick]: Picked # 9.342 * * * [progress]: localizing error 9.368 * * * [progress]: generating rewritten candidates 9.368 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 9.373 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 9.381 * * * [progress]: generating series expansions 9.381 * * * * [progress]: [ 1 / 2 ] generating series at (2) 9.382 * [backup-simplify]: Simplify (cbrt (exp (* 3 (fma x x -1)))) into (pow (exp (* 3 (fma x x -1))) 1/3) 9.382 * [approximate]: Taking taylor expansion of (pow (exp (* 3 (fma x x -1))) 1/3) in (x) around 0 9.382 * [taylor]: Taking taylor expansion of (pow (exp (* 3 (fma x x -1))) 1/3) in x 9.382 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* 3 (fma x x -1)))))) in x 9.382 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* 3 (fma x x -1))))) in x 9.382 * [taylor]: Taking taylor expansion of 1/3 in x 9.382 * [backup-simplify]: Simplify 1/3 into 1/3 9.382 * [taylor]: Taking taylor expansion of (log (exp (* 3 (fma x x -1)))) in x 9.382 * [taylor]: Taking taylor expansion of (exp (* 3 (fma x x -1))) in x 9.382 * [taylor]: Taking taylor expansion of (* 3 (fma x x -1)) in x 9.382 * [taylor]: Taking taylor expansion of 3 in x 9.382 * [backup-simplify]: Simplify 3 into 3 9.382 * [taylor]: Taking taylor expansion of (fma x x -1) in x 9.382 * [taylor]: Rewrote expression to (+ (* x x) -1) 9.382 * [taylor]: Taking taylor expansion of (* x x) in x 9.382 * [taylor]: Taking taylor expansion of x in x 9.382 * [backup-simplify]: Simplify 0 into 0 9.382 * [backup-simplify]: Simplify 1 into 1 9.382 * [taylor]: Taking taylor expansion of x in x 9.382 * [backup-simplify]: Simplify 0 into 0 9.382 * [backup-simplify]: Simplify 1 into 1 9.382 * [taylor]: Taking taylor expansion of -1 in x 9.382 * [backup-simplify]: Simplify -1 into -1 9.383 * [backup-simplify]: Simplify (* 0 0) into 0 9.383 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.383 * [backup-simplify]: Simplify (* 3 -1) into -3 9.383 * [backup-simplify]: Simplify (exp -3) into (exp -3) 9.384 * [backup-simplify]: Simplify (log (exp -3)) into -3 9.384 * [backup-simplify]: Simplify (* 1/3 -3) into -1 9.385 * [backup-simplify]: Simplify (exp -1) into (exp -1) 9.385 * [taylor]: Taking taylor expansion of (pow (exp (* 3 (fma x x -1))) 1/3) in x 9.385 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* 3 (fma x x -1)))))) in x 9.385 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* 3 (fma x x -1))))) in x 9.385 * [taylor]: Taking taylor expansion of 1/3 in x 9.385 * [backup-simplify]: Simplify 1/3 into 1/3 9.385 * [taylor]: Taking taylor expansion of (log (exp (* 3 (fma x x -1)))) in x 9.385 * [taylor]: Taking taylor expansion of (exp (* 3 (fma x x -1))) in x 9.385 * [taylor]: Taking taylor expansion of (* 3 (fma x x -1)) in x 9.385 * [taylor]: Taking taylor expansion of 3 in x 9.385 * [backup-simplify]: Simplify 3 into 3 9.385 * [taylor]: Taking taylor expansion of (fma x x -1) in x 9.385 * [taylor]: Rewrote expression to (+ (* x x) -1) 9.385 * [taylor]: Taking taylor expansion of (* x x) in x 9.385 * [taylor]: Taking taylor expansion of x in x 9.385 * [backup-simplify]: Simplify 0 into 0 9.385 * [backup-simplify]: Simplify 1 into 1 9.385 * [taylor]: Taking taylor expansion of x in x 9.385 * [backup-simplify]: Simplify 0 into 0 9.385 * [backup-simplify]: Simplify 1 into 1 9.385 * [taylor]: Taking taylor expansion of -1 in x 9.385 * [backup-simplify]: Simplify -1 into -1 9.385 * [backup-simplify]: Simplify (* 0 0) into 0 9.385 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.386 * [backup-simplify]: Simplify (* 3 -1) into -3 9.386 * [backup-simplify]: Simplify (exp -3) into (exp -3) 9.386 * [backup-simplify]: Simplify (log (exp -3)) into -3 9.387 * [backup-simplify]: Simplify (* 1/3 -3) into -1 9.387 * [backup-simplify]: Simplify (exp -1) into (exp -1) 9.387 * [backup-simplify]: Simplify (exp -1) into (exp -1) 9.388 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 9.388 * [backup-simplify]: Simplify (+ 0 0) into 0 9.388 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 -1)) into 0 9.389 * [backup-simplify]: Simplify (* (exp -3) (+ (* (/ (pow 0 1) 1)))) into 0 9.390 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp -3) 1)))) 1) into 0 9.390 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 -3)) into 0 9.391 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 9.391 * [backup-simplify]: Simplify 0 into 0 9.392 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 9.392 * [backup-simplify]: Simplify (+ 1 0) into 1 9.392 * [backup-simplify]: Simplify (+ (* 3 1) (+ (* 0 0) (* 0 -1))) into 3 9.395 * [backup-simplify]: Simplify (* (exp -3) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 3 1) 1)))) into (* 3 (exp -3)) 9.403 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp -3) 2))) (* 1 (/ (* 1 (pow (* 2 (* 3 (exp -3))) 1)) (pow (exp -3) 1)))) 2) into 3 9.404 * [backup-simplify]: Simplify (+ (* 1/3 3) (+ (* 0 0) (* 0 -3))) into 1 9.406 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1) 9.406 * [backup-simplify]: Simplify (exp -1) into (exp -1) 9.407 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 9.407 * [backup-simplify]: Simplify (+ 0 0) into 0 9.408 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (+ (* 0 0) (* 0 -1)))) into 0 9.409 * [backup-simplify]: Simplify (* (exp -3) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 3 1) 1)) (* (/ (pow 0 1) 1)))) into 0 9.415 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp -3) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 (* 3 (exp -3))) 1)) (pow (exp -3) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp -3) 1)))) 6) into 0 9.417 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 3) (+ (* 0 0) (* 0 -3)))) into 0 9.420 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 9.420 * [backup-simplify]: Simplify 0 into 0 9.421 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 9.422 * [backup-simplify]: Simplify (+ 0 0) into 0 9.423 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 0 -1))))) into 0 9.432 * [backup-simplify]: Simplify (* (exp -3) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 3 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 3 2) 2)) (* (/ (pow 0 1) 1)))) into (* 9/2 (exp -3)) 9.469 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp -3) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 (* 3 (exp -3))) 1)) (pow (exp -3) 3))) (* -3 (/ (* 1 (pow (* 2 (* 3 (exp -3))) 2)) (pow (exp -3) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp -3) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 (* 9/2 (exp -3))) 1)) (pow (exp -3) 1)))) 24) into 0 9.470 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 3) (+ (* 0 0) (* 0 -3))))) into 0 9.475 * [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)) 9.475 * [backup-simplify]: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 9.477 * [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))))) 9.477 * [backup-simplify]: Simplify (cbrt (exp (* 3 (fma (/ 1 x) (/ 1 x) -1)))) into (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 1/3) 9.477 * [approximate]: Taking taylor expansion of (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 1/3) in (x) around 0 9.477 * [taylor]: Taking taylor expansion of (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 1/3) in x 9.477 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* 3 (fma (/ 1 x) (/ 1 x) -1)))))) in x 9.477 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))))) in x 9.477 * [taylor]: Taking taylor expansion of 1/3 in x 9.477 * [backup-simplify]: Simplify 1/3 into 1/3 9.477 * [taylor]: Taking taylor expansion of (log (exp (* 3 (fma (/ 1 x) (/ 1 x) -1)))) in x 9.477 * [taylor]: Taking taylor expansion of (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) in x 9.477 * [taylor]: Taking taylor expansion of (* 3 (fma (/ 1 x) (/ 1 x) -1)) in x 9.477 * [taylor]: Taking taylor expansion of 3 in x 9.477 * [backup-simplify]: Simplify 3 into 3 9.477 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 9.477 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 9.477 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 9.477 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.477 * [taylor]: Taking taylor expansion of x in x 9.477 * [backup-simplify]: Simplify 0 into 0 9.477 * [backup-simplify]: Simplify 1 into 1 9.477 * [backup-simplify]: Simplify (/ 1 1) into 1 9.477 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.477 * [taylor]: Taking taylor expansion of x in x 9.477 * [backup-simplify]: Simplify 0 into 0 9.477 * [backup-simplify]: Simplify 1 into 1 9.478 * [backup-simplify]: Simplify (/ 1 1) into 1 9.478 * [taylor]: Taking taylor expansion of -1 in x 9.478 * [backup-simplify]: Simplify -1 into -1 9.478 * [backup-simplify]: Simplify (* 1 1) into 1 9.478 * [backup-simplify]: Simplify (+ 1 0) into 1 9.479 * [backup-simplify]: Simplify (* 3 1) into 3 9.479 * [backup-simplify]: Simplify (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) into (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 9.479 * [backup-simplify]: Simplify (log (exp (* 3 (fma (/ 1 x) (/ 1 x) -1)))) into (* 3 (fma (/ 1 x) (/ 1 x) -1)) 9.479 * [backup-simplify]: Simplify (* 1/3 (* 3 (fma (/ 1 x) (/ 1 x) -1))) into (fma (/ 1 x) (/ 1 x) -1) 9.479 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 9.479 * [taylor]: Taking taylor expansion of (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 1/3) in x 9.479 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* 3 (fma (/ 1 x) (/ 1 x) -1)))))) in x 9.479 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))))) in x 9.479 * [taylor]: Taking taylor expansion of 1/3 in x 9.479 * [backup-simplify]: Simplify 1/3 into 1/3 9.479 * [taylor]: Taking taylor expansion of (log (exp (* 3 (fma (/ 1 x) (/ 1 x) -1)))) in x 9.479 * [taylor]: Taking taylor expansion of (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) in x 9.479 * [taylor]: Taking taylor expansion of (* 3 (fma (/ 1 x) (/ 1 x) -1)) in x 9.479 * [taylor]: Taking taylor expansion of 3 in x 9.479 * [backup-simplify]: Simplify 3 into 3 9.479 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 9.479 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 9.479 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 9.479 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.479 * [taylor]: Taking taylor expansion of x in x 9.479 * [backup-simplify]: Simplify 0 into 0 9.479 * [backup-simplify]: Simplify 1 into 1 9.479 * [backup-simplify]: Simplify (/ 1 1) into 1 9.479 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.479 * [taylor]: Taking taylor expansion of x in x 9.479 * [backup-simplify]: Simplify 0 into 0 9.479 * [backup-simplify]: Simplify 1 into 1 9.480 * [backup-simplify]: Simplify (/ 1 1) into 1 9.480 * [taylor]: Taking taylor expansion of -1 in x 9.480 * [backup-simplify]: Simplify -1 into -1 9.480 * [backup-simplify]: Simplify (* 1 1) into 1 9.480 * [backup-simplify]: Simplify (+ 1 0) into 1 9.480 * [backup-simplify]: Simplify (* 3 1) into 3 9.481 * [backup-simplify]: Simplify (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) into (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 9.481 * [backup-simplify]: Simplify (log (exp (* 3 (fma (/ 1 x) (/ 1 x) -1)))) into (* 3 (fma (/ 1 x) (/ 1 x) -1)) 9.481 * [backup-simplify]: Simplify (* 1/3 (* 3 (fma (/ 1 x) (/ 1 x) -1))) into (fma (/ 1 x) (/ 1 x) -1) 9.481 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 9.481 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 9.481 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 1)))) 1) into 0 9.482 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (* 3 (fma (/ 1 x) (/ 1 x) -1)))) into 0 9.482 * [backup-simplify]: Simplify (* (exp (fma (/ 1 x) (/ 1 x) -1)) (+ (* (/ (pow 0 1) 1)))) into 0 9.482 * [backup-simplify]: Simplify 0 into 0 9.483 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 1)))) 2) into 0 9.484 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (* 3 (fma (/ 1 x) (/ 1 x) -1))))) into 0 9.485 * [backup-simplify]: Simplify (* (exp (fma (/ 1 x) (/ 1 x) -1)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.485 * [backup-simplify]: Simplify 0 into 0 9.487 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 1)))) 6) into 0 9.488 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 3 (fma (/ 1 x) (/ 1 x) -1)))))) into 0 9.489 * [backup-simplify]: Simplify (* (exp (fma (/ 1 x) (/ 1 x) -1)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 9.489 * [backup-simplify]: Simplify 0 into 0 9.494 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 1)))) 24) into 0 9.496 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 3 (fma (/ 1 x) (/ 1 x) -1))))))) into 0 9.499 * [backup-simplify]: Simplify (* (exp (fma (/ 1 x) (/ 1 x) -1)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.499 * [backup-simplify]: Simplify 0 into 0 9.508 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 1)))) 120) into 0 9.510 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 3 (fma (/ 1 x) (/ 1 x) -1)))))))) into 0 9.514 * [backup-simplify]: Simplify (* (exp (fma (/ 1 x) (/ 1 x) -1)) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 9.514 * [backup-simplify]: Simplify 0 into 0 9.523 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 1)))) 720) into 0 9.525 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 3 (fma (/ 1 x) (/ 1 x) -1))))))))) into 0 9.528 * [backup-simplify]: Simplify (* (exp (fma (/ 1 x) (/ 1 x) -1)) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.528 * [backup-simplify]: Simplify 0 into 0 9.528 * [backup-simplify]: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1)) into (exp (fma x x -1)) 9.528 * [backup-simplify]: Simplify (cbrt (exp (* 3 (fma (/ 1 (- x)) (/ 1 (- x)) -1)))) into (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 1/3) 9.529 * [approximate]: Taking taylor expansion of (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 1/3) in (x) around 0 9.529 * [taylor]: Taking taylor expansion of (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 1/3) in x 9.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* 3 (fma (/ -1 x) (/ -1 x) -1)))))) in x 9.529 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))))) in x 9.529 * [taylor]: Taking taylor expansion of 1/3 in x 9.529 * [backup-simplify]: Simplify 1/3 into 1/3 9.529 * [taylor]: Taking taylor expansion of (log (exp (* 3 (fma (/ -1 x) (/ -1 x) -1)))) in x 9.529 * [taylor]: Taking taylor expansion of (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) in x 9.529 * [taylor]: Taking taylor expansion of (* 3 (fma (/ -1 x) (/ -1 x) -1)) in x 9.529 * [taylor]: Taking taylor expansion of 3 in x 9.529 * [backup-simplify]: Simplify 3 into 3 9.529 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 9.529 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 9.529 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 9.529 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.529 * [taylor]: Taking taylor expansion of -1 in x 9.529 * [backup-simplify]: Simplify -1 into -1 9.529 * [taylor]: Taking taylor expansion of x in x 9.529 * [backup-simplify]: Simplify 0 into 0 9.529 * [backup-simplify]: Simplify 1 into 1 9.529 * [backup-simplify]: Simplify (/ -1 1) into -1 9.529 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.529 * [taylor]: Taking taylor expansion of -1 in x 9.529 * [backup-simplify]: Simplify -1 into -1 9.529 * [taylor]: Taking taylor expansion of x in x 9.529 * [backup-simplify]: Simplify 0 into 0 9.529 * [backup-simplify]: Simplify 1 into 1 9.530 * [backup-simplify]: Simplify (/ -1 1) into -1 9.530 * [taylor]: Taking taylor expansion of -1 in x 9.530 * [backup-simplify]: Simplify -1 into -1 9.530 * [backup-simplify]: Simplify (* -1 -1) into 1 9.530 * [backup-simplify]: Simplify (+ 1 0) into 1 9.531 * [backup-simplify]: Simplify (* 3 1) into 3 9.531 * [backup-simplify]: Simplify (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) into (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 9.531 * [backup-simplify]: Simplify (log (exp (* 3 (fma (/ -1 x) (/ -1 x) -1)))) into (* 3 (fma (/ -1 x) (/ -1 x) -1)) 9.531 * [backup-simplify]: Simplify (* 1/3 (* 3 (fma (/ -1 x) (/ -1 x) -1))) into (fma (/ -1 x) (/ -1 x) -1) 9.531 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 9.531 * [taylor]: Taking taylor expansion of (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 1/3) in x 9.531 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* 3 (fma (/ -1 x) (/ -1 x) -1)))))) in x 9.531 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))))) in x 9.531 * [taylor]: Taking taylor expansion of 1/3 in x 9.531 * [backup-simplify]: Simplify 1/3 into 1/3 9.531 * [taylor]: Taking taylor expansion of (log (exp (* 3 (fma (/ -1 x) (/ -1 x) -1)))) in x 9.531 * [taylor]: Taking taylor expansion of (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) in x 9.531 * [taylor]: Taking taylor expansion of (* 3 (fma (/ -1 x) (/ -1 x) -1)) in x 9.531 * [taylor]: Taking taylor expansion of 3 in x 9.531 * [backup-simplify]: Simplify 3 into 3 9.531 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 9.531 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 9.531 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 9.531 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.531 * [taylor]: Taking taylor expansion of -1 in x 9.531 * [backup-simplify]: Simplify -1 into -1 9.531 * [taylor]: Taking taylor expansion of x in x 9.531 * [backup-simplify]: Simplify 0 into 0 9.531 * [backup-simplify]: Simplify 1 into 1 9.532 * [backup-simplify]: Simplify (/ -1 1) into -1 9.532 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.532 * [taylor]: Taking taylor expansion of -1 in x 9.532 * [backup-simplify]: Simplify -1 into -1 9.532 * [taylor]: Taking taylor expansion of x in x 9.532 * [backup-simplify]: Simplify 0 into 0 9.532 * [backup-simplify]: Simplify 1 into 1 9.532 * [backup-simplify]: Simplify (/ -1 1) into -1 9.532 * [taylor]: Taking taylor expansion of -1 in x 9.532 * [backup-simplify]: Simplify -1 into -1 9.532 * [backup-simplify]: Simplify (* -1 -1) into 1 9.533 * [backup-simplify]: Simplify (+ 1 0) into 1 9.533 * [backup-simplify]: Simplify (* 3 1) into 3 9.533 * [backup-simplify]: Simplify (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) into (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 9.533 * [backup-simplify]: Simplify (log (exp (* 3 (fma (/ -1 x) (/ -1 x) -1)))) into (* 3 (fma (/ -1 x) (/ -1 x) -1)) 9.533 * [backup-simplify]: Simplify (* 1/3 (* 3 (fma (/ -1 x) (/ -1 x) -1))) into (fma (/ -1 x) (/ -1 x) -1) 9.533 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 9.533 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 9.534 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 1)))) 1) into 0 9.534 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (* 3 (fma (/ -1 x) (/ -1 x) -1)))) into 0 9.535 * [backup-simplify]: Simplify (* (exp (fma (/ -1 x) (/ -1 x) -1)) (+ (* (/ (pow 0 1) 1)))) into 0 9.535 * [backup-simplify]: Simplify 0 into 0 9.536 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 1)))) 2) into 0 9.537 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (* 3 (fma (/ -1 x) (/ -1 x) -1))))) into 0 9.538 * [backup-simplify]: Simplify (* (exp (fma (/ -1 x) (/ -1 x) -1)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.538 * [backup-simplify]: Simplify 0 into 0 9.539 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 1)))) 6) into 0 9.540 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 3 (fma (/ -1 x) (/ -1 x) -1)))))) into 0 9.541 * [backup-simplify]: Simplify (* (exp (fma (/ -1 x) (/ -1 x) -1)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 9.541 * [backup-simplify]: Simplify 0 into 0 9.545 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 1)))) 24) into 0 9.546 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 3 (fma (/ -1 x) (/ -1 x) -1))))))) into 0 9.550 * [backup-simplify]: Simplify (* (exp (fma (/ -1 x) (/ -1 x) -1)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.550 * [backup-simplify]: Simplify 0 into 0 9.559 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 1)))) 120) into 0 9.561 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 3 (fma (/ -1 x) (/ -1 x) -1)))))))) into 0 9.566 * [backup-simplify]: Simplify (* (exp (fma (/ -1 x) (/ -1 x) -1)) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 9.566 * [backup-simplify]: Simplify 0 into 0 9.579 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 1)))) 720) into 0 9.582 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 3 (fma (/ -1 x) (/ -1 x) -1))))))))) into 0 9.588 * [backup-simplify]: Simplify (* (exp (fma (/ -1 x) (/ -1 x) -1)) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.588 * [backup-simplify]: Simplify 0 into 0 9.588 * [backup-simplify]: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1)) into (exp (fma x x -1)) 9.588 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 9.588 * [backup-simplify]: Simplify (exp (* 3 (fma x x -1))) into (exp (* 3 (fma x x -1))) 9.588 * [approximate]: Taking taylor expansion of (exp (* 3 (fma x x -1))) in (x) around 0 9.588 * [taylor]: Taking taylor expansion of (exp (* 3 (fma x x -1))) in x 9.588 * [taylor]: Taking taylor expansion of (* 3 (fma x x -1)) in x 9.588 * [taylor]: Taking taylor expansion of 3 in x 9.588 * [backup-simplify]: Simplify 3 into 3 9.588 * [taylor]: Taking taylor expansion of (fma x x -1) in x 9.589 * [taylor]: Rewrote expression to (+ (* x x) -1) 9.589 * [taylor]: Taking taylor expansion of (* x x) in x 9.589 * [taylor]: Taking taylor expansion of x in x 9.589 * [backup-simplify]: Simplify 0 into 0 9.589 * [backup-simplify]: Simplify 1 into 1 9.589 * [taylor]: Taking taylor expansion of x in x 9.589 * [backup-simplify]: Simplify 0 into 0 9.589 * [backup-simplify]: Simplify 1 into 1 9.589 * [taylor]: Taking taylor expansion of -1 in x 9.589 * [backup-simplify]: Simplify -1 into -1 9.589 * [backup-simplify]: Simplify (* 0 0) into 0 9.590 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.590 * [backup-simplify]: Simplify (* 3 -1) into -3 9.591 * [backup-simplify]: Simplify (exp -3) into (exp -3) 9.591 * [taylor]: Taking taylor expansion of (exp (* 3 (fma x x -1))) in x 9.591 * [taylor]: Taking taylor expansion of (* 3 (fma x x -1)) in x 9.591 * [taylor]: Taking taylor expansion of 3 in x 9.591 * [backup-simplify]: Simplify 3 into 3 9.591 * [taylor]: Taking taylor expansion of (fma x x -1) in x 9.591 * [taylor]: Rewrote expression to (+ (* x x) -1) 9.591 * [taylor]: Taking taylor expansion of (* x x) in x 9.591 * [taylor]: Taking taylor expansion of x in x 9.591 * [backup-simplify]: Simplify 0 into 0 9.591 * [backup-simplify]: Simplify 1 into 1 9.591 * [taylor]: Taking taylor expansion of x in x 9.591 * [backup-simplify]: Simplify 0 into 0 9.591 * [backup-simplify]: Simplify 1 into 1 9.591 * [taylor]: Taking taylor expansion of -1 in x 9.591 * [backup-simplify]: Simplify -1 into -1 9.592 * [backup-simplify]: Simplify (* 0 0) into 0 9.592 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.593 * [backup-simplify]: Simplify (* 3 -1) into -3 9.593 * [backup-simplify]: Simplify (exp -3) into (exp -3) 9.593 * [backup-simplify]: Simplify (exp -3) into (exp -3) 9.594 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 9.595 * [backup-simplify]: Simplify (+ 0 0) into 0 9.595 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 -1)) into 0 9.596 * [backup-simplify]: Simplify (* (exp -3) (+ (* (/ (pow 0 1) 1)))) into 0 9.596 * [backup-simplify]: Simplify 0 into 0 9.597 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 9.598 * [backup-simplify]: Simplify (+ 1 0) into 1 9.599 * [backup-simplify]: Simplify (+ (* 3 1) (+ (* 0 0) (* 0 -1))) into 3 9.603 * [backup-simplify]: Simplify (* (exp -3) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 3 1) 1)))) into (* 3 (exp -3)) 9.604 * [backup-simplify]: Simplify (* 3 (exp -3)) into (* 3 (exp -3)) 9.605 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 9.606 * [backup-simplify]: Simplify (+ 0 0) into 0 9.607 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (+ (* 0 0) (* 0 -1)))) into 0 9.610 * [backup-simplify]: Simplify (* (exp -3) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 3 1) 1)) (* (/ (pow 0 1) 1)))) into 0 9.610 * [backup-simplify]: Simplify 0 into 0 9.611 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 9.612 * [backup-simplify]: Simplify (+ 0 0) into 0 9.614 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 0 -1))))) into 0 9.623 * [backup-simplify]: Simplify (* (exp -3) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 3 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 3 2) 2)) (* (/ (pow 0 1) 1)))) into (* 9/2 (exp -3)) 9.624 * [backup-simplify]: Simplify (* 9/2 (exp -3)) into (* 9/2 (exp -3)) 9.626 * [backup-simplify]: Simplify (+ (* (* 9/2 (exp -3)) (pow x 4)) (+ (* (* 3 (exp -3)) (pow x 2)) (exp -3))) into (+ (* 9/2 (* (exp -3) (pow x 4))) (+ (exp -3) (* 3 (* (exp -3) (pow x 2))))) 9.626 * [backup-simplify]: Simplify (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) into (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 9.626 * [approximate]: Taking taylor expansion of (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) in (x) around 0 9.626 * [taylor]: Taking taylor expansion of (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) in x 9.626 * [taylor]: Taking taylor expansion of (* 3 (fma (/ 1 x) (/ 1 x) -1)) in x 9.626 * [taylor]: Taking taylor expansion of 3 in x 9.626 * [backup-simplify]: Simplify 3 into 3 9.626 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 9.626 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 9.626 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 9.626 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.626 * [taylor]: Taking taylor expansion of x in x 9.627 * [backup-simplify]: Simplify 0 into 0 9.627 * [backup-simplify]: Simplify 1 into 1 9.627 * [backup-simplify]: Simplify (/ 1 1) into 1 9.627 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.627 * [taylor]: Taking taylor expansion of x in x 9.627 * [backup-simplify]: Simplify 0 into 0 9.627 * [backup-simplify]: Simplify 1 into 1 9.627 * [backup-simplify]: Simplify (/ 1 1) into 1 9.627 * [taylor]: Taking taylor expansion of -1 in x 9.627 * [backup-simplify]: Simplify -1 into -1 9.627 * [backup-simplify]: Simplify (* 1 1) into 1 9.628 * [backup-simplify]: Simplify (+ 1 0) into 1 9.628 * [backup-simplify]: Simplify (* 3 1) into 3 9.628 * [backup-simplify]: Simplify (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) into (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 9.628 * [taylor]: Taking taylor expansion of (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) in x 9.628 * [taylor]: Taking taylor expansion of (* 3 (fma (/ 1 x) (/ 1 x) -1)) in x 9.628 * [taylor]: Taking taylor expansion of 3 in x 9.628 * [backup-simplify]: Simplify 3 into 3 9.628 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 9.628 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 9.628 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 9.628 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.628 * [taylor]: Taking taylor expansion of x in x 9.628 * [backup-simplify]: Simplify 0 into 0 9.628 * [backup-simplify]: Simplify 1 into 1 9.628 * [backup-simplify]: Simplify (/ 1 1) into 1 9.628 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.629 * [taylor]: Taking taylor expansion of x in x 9.629 * [backup-simplify]: Simplify 0 into 0 9.629 * [backup-simplify]: Simplify 1 into 1 9.629 * [backup-simplify]: Simplify (/ 1 1) into 1 9.629 * [taylor]: Taking taylor expansion of -1 in x 9.629 * [backup-simplify]: Simplify -1 into -1 9.629 * [backup-simplify]: Simplify (* 1 1) into 1 9.629 * [backup-simplify]: Simplify (+ 1 0) into 1 9.630 * [backup-simplify]: Simplify (* 3 1) into 3 9.630 * [backup-simplify]: Simplify (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) into (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 9.630 * [backup-simplify]: Simplify (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) into (exp (* 3 (fma (/ 1 x) (/ 1 x) -1))) 9.630 * [backup-simplify]: Simplify 0 into 0 9.630 * [backup-simplify]: Simplify 0 into 0 9.630 * [backup-simplify]: Simplify 0 into 0 9.630 * [backup-simplify]: Simplify 0 into 0 9.630 * [backup-simplify]: Simplify 0 into 0 9.630 * [backup-simplify]: Simplify 0 into 0 9.630 * [backup-simplify]: Simplify (exp (* 3 (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1))) into (exp (* 3 (fma x x -1))) 9.630 * [backup-simplify]: Simplify (exp (* 3 (fma (/ 1 (- x)) (/ 1 (- x)) -1))) into (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 9.630 * [approximate]: Taking taylor expansion of (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) in (x) around 0 9.630 * [taylor]: Taking taylor expansion of (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) in x 9.630 * [taylor]: Taking taylor expansion of (* 3 (fma (/ -1 x) (/ -1 x) -1)) in x 9.630 * [taylor]: Taking taylor expansion of 3 in x 9.630 * [backup-simplify]: Simplify 3 into 3 9.630 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 9.630 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 9.630 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 9.630 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.630 * [taylor]: Taking taylor expansion of -1 in x 9.630 * [backup-simplify]: Simplify -1 into -1 9.630 * [taylor]: Taking taylor expansion of x in x 9.630 * [backup-simplify]: Simplify 0 into 0 9.630 * [backup-simplify]: Simplify 1 into 1 9.631 * [backup-simplify]: Simplify (/ -1 1) into -1 9.631 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.631 * [taylor]: Taking taylor expansion of -1 in x 9.631 * [backup-simplify]: Simplify -1 into -1 9.631 * [taylor]: Taking taylor expansion of x in x 9.631 * [backup-simplify]: Simplify 0 into 0 9.631 * [backup-simplify]: Simplify 1 into 1 9.631 * [backup-simplify]: Simplify (/ -1 1) into -1 9.631 * [taylor]: Taking taylor expansion of -1 in x 9.631 * [backup-simplify]: Simplify -1 into -1 9.631 * [backup-simplify]: Simplify (* -1 -1) into 1 9.632 * [backup-simplify]: Simplify (+ 1 0) into 1 9.632 * [backup-simplify]: Simplify (* 3 1) into 3 9.632 * [backup-simplify]: Simplify (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) into (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 9.632 * [taylor]: Taking taylor expansion of (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) in x 9.632 * [taylor]: Taking taylor expansion of (* 3 (fma (/ -1 x) (/ -1 x) -1)) in x 9.632 * [taylor]: Taking taylor expansion of 3 in x 9.632 * [backup-simplify]: Simplify 3 into 3 9.632 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 9.632 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 9.632 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 9.632 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.632 * [taylor]: Taking taylor expansion of -1 in x 9.632 * [backup-simplify]: Simplify -1 into -1 9.632 * [taylor]: Taking taylor expansion of x in x 9.632 * [backup-simplify]: Simplify 0 into 0 9.632 * [backup-simplify]: Simplify 1 into 1 9.632 * [backup-simplify]: Simplify (/ -1 1) into -1 9.632 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.632 * [taylor]: Taking taylor expansion of -1 in x 9.632 * [backup-simplify]: Simplify -1 into -1 9.632 * [taylor]: Taking taylor expansion of x in x 9.632 * [backup-simplify]: Simplify 0 into 0 9.632 * [backup-simplify]: Simplify 1 into 1 9.633 * [backup-simplify]: Simplify (/ -1 1) into -1 9.633 * [taylor]: Taking taylor expansion of -1 in x 9.633 * [backup-simplify]: Simplify -1 into -1 9.633 * [backup-simplify]: Simplify (* -1 -1) into 1 9.633 * [backup-simplify]: Simplify (+ 1 0) into 1 9.634 * [backup-simplify]: Simplify (* 3 1) into 3 9.634 * [backup-simplify]: Simplify (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) into (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 9.634 * [backup-simplify]: Simplify (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) into (exp (* 3 (fma (/ -1 x) (/ -1 x) -1))) 9.634 * [backup-simplify]: Simplify 0 into 0 9.634 * [backup-simplify]: Simplify 0 into 0 9.634 * [backup-simplify]: Simplify 0 into 0 9.634 * [backup-simplify]: Simplify 0 into 0 9.634 * [backup-simplify]: Simplify 0 into 0 9.634 * [backup-simplify]: Simplify 0 into 0 9.634 * [backup-simplify]: Simplify (exp (* 3 (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1))) into (exp (* 3 (fma x x -1))) 9.634 * * * [progress]: simplifying candidates 9.634 * * * * [progress]: [ 1 / 37 ] simplifiying candidate # 9.634 * * * * [progress]: [ 2 / 37 ] simplifiying candidate # 9.634 * * * * [progress]: [ 3 / 37 ] simplifiying candidate # 9.634 * * * * [progress]: [ 4 / 37 ] simplifiying candidate # 9.634 * * * * [progress]: [ 5 / 37 ] simplifiying candidate # 9.634 * * * * [progress]: [ 6 / 37 ] simplifiying candidate # 9.634 * * * * [progress]: [ 7 / 37 ] simplifiying candidate # 9.634 * * * * [progress]: [ 8 / 37 ] simplifiying candidate # 9.634 * * * * [progress]: [ 9 / 37 ] simplifiying candidate # 9.634 * * * * [progress]: [ 10 / 37 ] simplifiying candidate # 9.634 * * * * [progress]: [ 11 / 37 ] simplifiying candidate # 9.635 * * * * [progress]: [ 12 / 37 ] simplifiying candidate # 9.635 * * * * [progress]: [ 13 / 37 ] simplifiying candidate # 9.635 * * * * [progress]: [ 14 / 37 ] simplifiying candidate # 9.635 * * * * [progress]: [ 15 / 37 ] simplifiying candidate # 9.635 * * * * [progress]: [ 16 / 37 ] simplifiying candidate #real (real->posit16 (cbrt (exp (* 3 (fma x x -1)))))))> 9.635 * * * * [progress]: [ 17 / 37 ] simplifiying candidate # 9.635 * * * * [progress]: [ 18 / 37 ] simplifiying candidate # 9.635 * * * * [progress]: [ 19 / 37 ] simplifiying candidate # 9.635 * * * * [progress]: [ 20 / 37 ] simplifiying candidate # 9.635 * * * * [progress]: [ 21 / 37 ] simplifiying candidate # 9.635 * * * * [progress]: [ 22 / 37 ] simplifiying candidate # 9.635 * * * * [progress]: [ 23 / 37 ] simplifiying candidate # 9.635 * * * * [progress]: [ 24 / 37 ] simplifiying candidate # 9.635 * * * * [progress]: [ 25 / 37 ] simplifiying candidate # 9.635 * * * * [progress]: [ 26 / 37 ] simplifiying candidate # 9.635 * * * * [progress]: [ 27 / 37 ] simplifiying candidate # 9.635 * * * * [progress]: [ 28 / 37 ] simplifiying candidate # 9.635 * * * * [progress]: [ 29 / 37 ] simplifiying candidate # 9.635 * * * * [progress]: [ 30 / 37 ] simplifiying candidate # 9.635 * * * * [progress]: [ 31 / 37 ] simplifiying candidate #real (real->posit16 (exp (* 3 (fma x x -1)))))))> 9.635 * * * * [progress]: [ 32 / 37 ] simplifiying candidate # 9.635 * * * * [progress]: [ 33 / 37 ] simplifiying candidate # 9.635 * * * * [progress]: [ 34 / 37 ] simplifiying candidate # 9.635 * * * * [progress]: [ 35 / 37 ] simplifiying candidate # 9.635 * * * * [progress]: [ 36 / 37 ] simplifiying candidate # 9.635 * * * * [progress]: [ 37 / 37 ] simplifiying candidate # 9.636 * [simplify]: Simplifying: (expm1 (cbrt (exp (* 3 (fma x x -1))))) (log1p (cbrt (exp (* 3 (fma x x -1))))) (log (cbrt (exp (* 3 (fma x x -1))))) (exp (cbrt (exp (* 3 (fma x x -1))))) (cbrt (exp (* 3 (* x x)))) (cbrt (exp (* 3 -1))) (cbrt (exp (* (* x x) 3))) (cbrt (exp (* -1 3))) (cbrt (* (cbrt (exp (* 3 (fma x x -1)))) (cbrt (exp (* 3 (fma x x -1)))))) (cbrt (cbrt (exp (* 3 (fma x x -1))))) (cbrt (sqrt (exp (* 3 (fma x x -1))))) (cbrt (sqrt (exp (* 3 (fma x x -1))))) (cbrt 1) (cbrt (exp (* 3 (fma x x -1)))) (* (cbrt (cbrt (exp (* 3 (fma x x -1))))) (cbrt (cbrt (exp (* 3 (fma x x -1)))))) (cbrt (cbrt (exp (* 3 (fma x x -1))))) (* (* (cbrt (exp (* 3 (fma x x -1)))) (cbrt (exp (* 3 (fma x x -1))))) (cbrt (exp (* 3 (fma x x -1))))) (sqrt (cbrt (exp (* 3 (fma x x -1))))) (sqrt (cbrt (exp (* 3 (fma x x -1))))) (real->posit16 (cbrt (exp (* 3 (fma x x -1))))) (expm1 (exp (* 3 (fma x x -1)))) (log1p (exp (* 3 (fma x x -1)))) (exp 3) (exp (* 3 (* x x))) (exp (* 3 -1)) (exp (* (* x x) 3)) (exp (* -1 3)) (log (exp (* 3 (fma x x -1)))) (exp (exp (* 3 (fma x x -1)))) (* (cbrt (exp (* 3 (fma x x -1)))) (cbrt (exp (* 3 (fma x x -1))))) (cbrt (exp (* 3 (fma x x -1)))) (* (* (exp (* 3 (fma x x -1))) (exp (* 3 (fma x x -1)))) (exp (* 3 (fma x x -1)))) (sqrt (exp (* 3 (fma x x -1)))) (sqrt (exp (* 3 (fma x x -1)))) (real->posit16 (exp (* 3 (fma x x -1)))) (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) (exp (fma x x -1)) (exp (fma x x -1)) (+ (* 9/2 (* (exp -3) (pow x 4))) (+ (exp -3) (* 3 (* (exp -3) (pow x 2))))) (exp (* 3 (fma x x -1))) (exp (* 3 (fma x x -1))) 9.636 * * [simplify]: iteration 1: (64 enodes) 9.650 * * [simplify]: iteration 2: (114 enodes) 9.691 * * [simplify]: iteration 3: (284 enodes) 9.884 * * [simplify]: iteration 4: (924 enodes) 11.854 * * [simplify]: Extracting #0: cost 28 inf + 0 11.854 * * [simplify]: Extracting #1: cost 190 inf + 1 11.857 * * [simplify]: Extracting #2: cost 511 inf + 2877 11.866 * * [simplify]: Extracting #3: cost 371 inf + 41007 11.890 * * [simplify]: Extracting #4: cost 45 inf + 147831 11.936 * * [simplify]: Extracting #5: cost 6 inf + 164507 11.965 * * [simplify]: Extracting #6: cost 0 inf + 167975 11.990 * [simplify]: Simplified to: (expm1 (exp (fma x x -1))) (log1p (exp (fma x x -1))) (fma x x -1) (exp (exp (fma x x -1))) (exp (* x x)) (exp -1) (exp (* x x)) (exp -1) (cbrt (exp (+ (fma x x -1) (fma x x -1)))) (cbrt (exp (fma x x -1))) (cbrt (sqrt (exp (* (fma x x -1) 3)))) (cbrt (sqrt (exp (* (fma x x -1) 3)))) 1 (exp (fma x x -1)) (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1))) (exp (* (fma x x -1) 3)) (sqrt (exp (fma x x -1))) (sqrt (exp (fma x x -1))) (real->posit16 (exp (fma x x -1))) (expm1 (exp (* (fma x x -1) 3))) (log1p (exp (* (fma x x -1) 3))) (exp 3) (exp (* 3 (* x x))) (exp -3) (exp (* 3 (* x x))) (exp -3) (* (fma x x -1) 3) (exp (exp (* (fma x x -1) 3))) (exp (+ (fma x x -1) (fma x x -1))) (exp (fma x x -1)) (exp (* 3 (* (fma x x -1) 3))) (sqrt (exp (* (fma x x -1) 3))) (sqrt (exp (* (fma x x -1) 3))) (real->posit16 (exp (* (fma x x -1) 3))) (fma (fma (* (* x x) (* x x)) 1/2 (* x x)) (exp -1) (exp -1)) (exp (fma x x -1)) (exp (fma x x -1)) (fma (* x x) (* (exp -3) (+ (* (* x x) 9/2) 3)) (exp -3)) (exp (* (fma x x -1) 3)) (exp (* (fma x x -1) 3)) 11.991 * * * [progress]: adding candidates to table 12.164 * [progress]: [Phase 3 of 3] Extracting. 12.164 * * [regime]: Finding splitpoints for: (# #) 12.165 * * * [regime-changes]: Trying 1 branch expressions: (x) 12.165 * * * * [regimes]: Trying to branch on x from (# #) 12.198 * * * [regime]: Found split indices: #