21.620 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.039 * * * [progress]: [2/2] Setting up program. 0.042 * [progress]: [Phase 2 of 3] Improving. 0.043 * [simplify]: Simplifying: (exp (- (- 1.0 (* x x)))) 0.043 * * [simplify]: Extracting # 0 : cost 0 0.043 * * [simplify]: Extracting # 1 : cost 0 0.043 * * [simplify]: Extracting # 2 : cost 0 0.043 * * [simplify]: Extracting # 3 : cost 0 0.043 * * [simplify]: Extracting # 4 : cost 0 0.043 * * [simplify]: Extracting # 5 : cost 0 0.043 * * [simplify]: Extracting # 6 : cost 0 0.043 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.045 * * [simplify]: Extracting # 0 : cost 0 0.045 * * [simplify]: Extracting # 1 : cost 0 0.045 * * [simplify]: Extracting # 2 : cost 0 0.045 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.050 * * [simplify]: Extracting # 0 : cost 0 0.051 * * [simplify]: Extracting # 1 : cost 0 0.051 * * [simplify]: Extracting # 2 : cost 0 0.051 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 0.074 * * [simplify]: Extracting # 0 : cost 0 0.074 * * [simplify]: Extracting # 1 : cost 0 0.074 * * [simplify]: Extracting # 2 : cost 0 0.074 * * [simplify]: iteration 3 : 46 enodes (cost 7 ) 0.092 * * [simplify]: Extracting # 0 : cost 0 0.092 * * [simplify]: Extracting # 1 : cost 0 0.093 * * [simplify]: Extracting # 2 : cost 0 0.093 * * [simplify]: Extracting # 3 : cost 0 0.093 * * [simplify]: Extracting # 4 : cost 0 0.093 * * [simplify]: Extracting # 5 : cost 0 0.093 * * [simplify]: iteration 4 : 76 enodes (cost 6 ) 0.107 * * [simplify]: Extracting # 0 : cost 0 0.107 * * [simplify]: Extracting # 1 : cost 0 0.108 * * [simplify]: Extracting # 2 : cost 0 0.108 * * [simplify]: Extracting # 3 : cost 0 0.108 * * [simplify]: Extracting # 4 : cost 0 0.108 * * [simplify]: iteration 5 : 138 enodes (cost 6 ) 0.163 * * [simplify]: Extracting # 0 : cost 0 0.164 * * [simplify]: Extracting # 1 : cost 0 0.164 * * [simplify]: Extracting # 2 : cost 0 0.165 * * [simplify]: Extracting # 3 : cost 0 0.166 * * [simplify]: Extracting # 4 : cost 0 0.167 * * [simplify]: Extracting # 5 : cost 0 0.167 * * [simplify]: iteration 6 : 383 enodes (cost 6 ) 0.774 * * [simplify]: Extracting # 0 : cost 0 0.777 * * [simplify]: Extracting # 1 : cost 0 0.779 * * [simplify]: Extracting # 2 : cost 0 0.781 * * [simplify]: Extracting # 3 : cost 0 0.782 * * [simplify]: Extracting # 4 : cost 0 0.783 * * [simplify]: iteration 7 : 1359 enodes (cost 6 ) 5.962 * * [simplify]: Extracting # 0 : cost 0 5.969 * * [simplify]: Extracting # 1 : cost 0 5.973 * * [simplify]: Extracting # 2 : cost 0 5.977 * * [simplify]: Extracting # 3 : cost 0 5.981 * * [simplify]: Extracting # 4 : cost 0 5.984 * * [simplify]: iteration done: 5000 enodes (cost 6 ) 5.985 * [simplify]: Simplified to: (exp (fma x x (- 1.0))) 5.990 * * [progress]: iteration 1 / 4 5.990 * * * [progress]: picking best candidate 5.993 * * * * [pick]: Picked # 5.993 * * * [progress]: localizing error 6.006 * * * [progress]: generating rewritten candidates 6.006 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 6.011 * * * [progress]: generating series expansions 6.011 * * * * [progress]: [ 1 / 1 ] generating series at (2) 6.012 * [backup-simplify]: Simplify (exp (fma x x (- 1.0))) into (exp (fma x x (- 1.0))) 6.012 * [approximate]: Taking taylor expansion of (exp (fma x x (- 1.0))) in (x) around 0 6.012 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x 6.012 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x 6.014 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0)) 6.014 * [taylor]: Taking taylor expansion of (* x x) in x 6.014 * [taylor]: Taking taylor expansion of x in x 6.014 * [backup-simplify]: Simplify 0 into 0 6.014 * [backup-simplify]: Simplify 1 into 1 6.014 * [taylor]: Taking taylor expansion of x in x 6.014 * [backup-simplify]: Simplify 0 into 0 6.014 * [backup-simplify]: Simplify 1 into 1 6.014 * [taylor]: Taking taylor expansion of (- 1.0) in x 6.014 * [taylor]: Taking taylor expansion of 1.0 in x 6.014 * [backup-simplify]: Simplify 1.0 into 1.0 6.015 * [backup-simplify]: Simplify (* 0 0) into 0 6.015 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.016 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 6.017 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 6.017 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x 6.017 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x 6.017 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0)) 6.017 * [taylor]: Taking taylor expansion of (* x x) in x 6.017 * [taylor]: Taking taylor expansion of x in x 6.017 * [backup-simplify]: Simplify 0 into 0 6.017 * [backup-simplify]: Simplify 1 into 1 6.017 * [taylor]: Taking taylor expansion of x in x 6.017 * [backup-simplify]: Simplify 0 into 0 6.017 * [backup-simplify]: Simplify 1 into 1 6.017 * [taylor]: Taking taylor expansion of (- 1.0) in x 6.017 * [taylor]: Taking taylor expansion of 1.0 in x 6.017 * [backup-simplify]: Simplify 1.0 into 1.0 6.017 * [backup-simplify]: Simplify (* 0 0) into 0 6.018 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.018 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 6.019 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 6.020 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 6.020 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 6.021 * [backup-simplify]: Simplify (- 0) into 0 6.021 * [backup-simplify]: Simplify (+ 0 0) into 0 6.026 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0 6.027 * [backup-simplify]: Simplify 0 into 0 6.027 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 6.027 * [backup-simplify]: Simplify (- 0) into 0 6.028 * [backup-simplify]: Simplify (+ 1 0) into 1 6.030 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0)) 6.030 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 6.031 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 6.031 * [backup-simplify]: Simplify (- 0) into 0 6.031 * [backup-simplify]: Simplify (+ 0 0) into 0 6.033 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.033 * [backup-simplify]: Simplify 0 into 0 6.034 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 6.034 * [backup-simplify]: Simplify (- 0) into 0 6.034 * [backup-simplify]: Simplify (+ 0 0) into 0 6.039 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (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))) 6.040 * [backup-simplify]: Simplify (* 1/2 (exp (- 1.0))) into (* 1/2 (exp (- 1.0))) 6.042 * [backup-simplify]: Simplify (+ (* (* 1/2 (exp (- 1.0))) (pow x 4)) (+ (* (exp (- 1.0)) (pow x 2)) (exp (- 1.0)))) into (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0)))))) 6.043 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 6.043 * [approximate]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in (x) around 0 6.043 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x 6.043 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x 6.043 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0)) 6.043 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 6.043 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.043 * [taylor]: Taking taylor expansion of x in x 6.043 * [backup-simplify]: Simplify 0 into 0 6.043 * [backup-simplify]: Simplify 1 into 1 6.043 * [backup-simplify]: Simplify (/ 1 1) into 1 6.043 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.043 * [taylor]: Taking taylor expansion of x in x 6.043 * [backup-simplify]: Simplify 0 into 0 6.043 * [backup-simplify]: Simplify 1 into 1 6.043 * [backup-simplify]: Simplify (/ 1 1) into 1 6.043 * [taylor]: Taking taylor expansion of (- 1.0) in x 6.043 * [taylor]: Taking taylor expansion of 1.0 in x 6.044 * [backup-simplify]: Simplify 1.0 into 1.0 6.044 * [backup-simplify]: Simplify (* 1 1) into 1 6.044 * [backup-simplify]: Simplify (+ 1 0) into 1 6.044 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 6.044 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x 6.044 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x 6.044 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0)) 6.045 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 6.045 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.045 * [taylor]: Taking taylor expansion of x in x 6.045 * [backup-simplify]: Simplify 0 into 0 6.045 * [backup-simplify]: Simplify 1 into 1 6.045 * [backup-simplify]: Simplify (/ 1 1) into 1 6.045 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.045 * [taylor]: Taking taylor expansion of x in x 6.045 * [backup-simplify]: Simplify 0 into 0 6.045 * [backup-simplify]: Simplify 1 into 1 6.045 * [backup-simplify]: Simplify (/ 1 1) into 1 6.045 * [taylor]: Taking taylor expansion of (- 1.0) in x 6.045 * [taylor]: Taking taylor expansion of 1.0 in x 6.045 * [backup-simplify]: Simplify 1.0 into 1.0 6.045 * [backup-simplify]: Simplify (* 1 1) into 1 6.046 * [backup-simplify]: Simplify (+ 1 0) into 1 6.046 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 6.046 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 6.046 * [backup-simplify]: Simplify 0 into 0 6.047 * [backup-simplify]: Simplify 0 into 0 6.047 * [backup-simplify]: Simplify 0 into 0 6.047 * [backup-simplify]: Simplify 0 into 0 6.047 * [backup-simplify]: Simplify 0 into 0 6.047 * [backup-simplify]: Simplify 0 into 0 6.047 * [backup-simplify]: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) (- 1.0))) into (exp (fma x x (- 1.0))) 6.047 * [backup-simplify]: Simplify (exp (fma (/ 1 (- x)) (/ 1 (- x)) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 6.047 * [approximate]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in (x) around 0 6.047 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x 6.047 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x 6.047 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0)) 6.047 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 6.047 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.048 * [taylor]: Taking taylor expansion of -1 in x 6.048 * [backup-simplify]: Simplify -1 into -1 6.048 * [taylor]: Taking taylor expansion of x in x 6.048 * [backup-simplify]: Simplify 0 into 0 6.048 * [backup-simplify]: Simplify 1 into 1 6.048 * [backup-simplify]: Simplify (/ -1 1) into -1 6.048 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.048 * [taylor]: Taking taylor expansion of -1 in x 6.048 * [backup-simplify]: Simplify -1 into -1 6.048 * [taylor]: Taking taylor expansion of x in x 6.048 * [backup-simplify]: Simplify 0 into 0 6.048 * [backup-simplify]: Simplify 1 into 1 6.048 * [backup-simplify]: Simplify (/ -1 1) into -1 6.048 * [taylor]: Taking taylor expansion of (- 1.0) in x 6.048 * [taylor]: Taking taylor expansion of 1.0 in x 6.048 * [backup-simplify]: Simplify 1.0 into 1.0 6.049 * [backup-simplify]: Simplify (* -1 -1) into 1 6.049 * [backup-simplify]: Simplify (+ 1 0) into 1 6.049 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 6.049 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x 6.049 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x 6.049 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0)) 6.049 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 6.049 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.049 * [taylor]: Taking taylor expansion of -1 in x 6.049 * [backup-simplify]: Simplify -1 into -1 6.050 * [taylor]: Taking taylor expansion of x in x 6.050 * [backup-simplify]: Simplify 0 into 0 6.050 * [backup-simplify]: Simplify 1 into 1 6.050 * [backup-simplify]: Simplify (/ -1 1) into -1 6.050 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.050 * [taylor]: Taking taylor expansion of -1 in x 6.050 * [backup-simplify]: Simplify -1 into -1 6.050 * [taylor]: Taking taylor expansion of x in x 6.050 * [backup-simplify]: Simplify 0 into 0 6.050 * [backup-simplify]: Simplify 1 into 1 6.050 * [backup-simplify]: Simplify (/ -1 1) into -1 6.050 * [taylor]: Taking taylor expansion of (- 1.0) in x 6.050 * [taylor]: Taking taylor expansion of 1.0 in x 6.050 * [backup-simplify]: Simplify 1.0 into 1.0 6.050 * [backup-simplify]: Simplify (* -1 -1) into 1 6.051 * [backup-simplify]: Simplify (+ 1 0) into 1 6.051 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 6.051 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 6.051 * [backup-simplify]: Simplify 0 into 0 6.051 * [backup-simplify]: Simplify 0 into 0 6.051 * [backup-simplify]: Simplify 0 into 0 6.051 * [backup-simplify]: Simplify 0 into 0 6.051 * [backup-simplify]: Simplify 0 into 0 6.051 * [backup-simplify]: Simplify 0 into 0 6.052 * [backup-simplify]: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) (- 1.0))) into (exp (fma x x (- 1.0))) 6.052 * * * [progress]: simplifying candidates 6.053 * [simplify]: Simplifying: (expm1 (exp (fma x x (- 1.0)))) (log1p (exp (fma x x (- 1.0)))) (exp (* (cbrt (fma x x (- 1.0))) (cbrt (fma x x (- 1.0))))) (exp (sqrt (fma x x (- 1.0)))) (exp 1) (exp (* x x)) (exp (- 1.0)) (log (exp (fma x x (- 1.0)))) (exp (exp (fma x x (- 1.0)))) (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) (cbrt (exp (fma x x (- 1.0)))) (* (* (exp (fma x x (- 1.0))) (exp (fma x x (- 1.0)))) (exp (fma x x (- 1.0)))) (sqrt (exp (fma x x (- 1.0)))) (sqrt (exp (fma x x (- 1.0)))) (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0)))))) (exp (fma x x (- 1.0))) (exp (fma x x (- 1.0))) 6.053 * * [simplify]: Extracting # 0 : cost 0 6.053 * * [simplify]: Extracting # 1 : cost 0 6.053 * * [simplify]: Extracting # 2 : cost 0 6.053 * * [simplify]: Extracting # 3 : cost 0 6.053 * * [simplify]: Extracting # 4 : cost 0 6.053 * * [simplify]: Extracting # 5 : cost 0 6.054 * * [simplify]: Extracting # 6 : cost 0 6.054 * * [simplify]: Extracting # 7 : cost 0 6.054 * * [simplify]: Extracting # 8 : cost 0 6.054 * * [simplify]: Extracting # 9 : cost 0 6.054 * * [simplify]: Extracting # 10 : cost 0 6.054 * * [simplify]: iteration 0 : 34 enodes (cost 147 ) 6.067 * * [simplify]: Extracting # 0 : cost 0 6.067 * * [simplify]: Extracting # 1 : cost 0 6.067 * * [simplify]: Extracting # 2 : cost 0 6.067 * * [simplify]: Extracting # 3 : cost 0 6.067 * * [simplify]: iteration 1 : 63 enodes (cost 142 ) 6.094 * * [simplify]: Extracting # 0 : cost 0 6.094 * * [simplify]: Extracting # 1 : cost 0 6.095 * * [simplify]: Extracting # 2 : cost 0 6.095 * * [simplify]: Extracting # 3 : cost 0 6.095 * * [simplify]: Extracting # 4 : cost 0 6.095 * * [simplify]: iteration 2 : 136 enodes (cost 129 ) 6.176 * * [simplify]: Extracting # 0 : cost 0 6.177 * * [simplify]: Extracting # 1 : cost 0 6.177 * * [simplify]: Extracting # 2 : cost 0 6.178 * * [simplify]: Extracting # 3 : cost 0 6.179 * * [simplify]: iteration 3 : 360 enodes (cost 125 ) 6.617 * * [simplify]: Extracting # 0 : cost 0 6.622 * * [simplify]: Extracting # 1 : cost 0 6.623 * * [simplify]: Extracting # 2 : cost 0 6.624 * * [simplify]: Extracting # 3 : cost 0 6.625 * * [simplify]: Extracting # 4 : cost 0 6.626 * * [simplify]: iteration 4 : 1068 enodes (cost 124 ) 7.903 * * [simplify]: Extracting # 0 : cost 0 7.913 * * [simplify]: Extracting # 1 : cost 0 7.917 * * [simplify]: Extracting # 2 : cost 0 7.921 * * [simplify]: Extracting # 3 : cost 0 7.926 * * [simplify]: Extracting # 4 : cost 0 7.929 * * [simplify]: Extracting # 5 : cost 0 7.932 * * [simplify]: iteration 5 : 2997 enodes (cost 123 ) 9.262 * * [simplify]: Extracting # 0 : cost 0 9.272 * * [simplify]: Extracting # 1 : cost 0 9.281 * * [simplify]: Extracting # 2 : cost 0 9.295 * * [simplify]: Extracting # 3 : cost 0 9.300 * * [simplify]: Extracting # 4 : cost 0 9.305 * * [simplify]: iteration done: 5000 enodes (cost 123 ) 9.305 * [simplify]: Simplified to: (expm1 (exp (fma x x (- 1.0)))) (log1p (exp (fma x x (- 1.0)))) (exp (* (cbrt (fma x x (- 1.0))) (cbrt (fma x x (- 1.0))))) (exp (sqrt (fma x x (- 1.0)))) E (exp (* x x)) (exp (- 1.0)) (- (pow x 2) 1.0) (exp (exp (fma x x (- 1.0)))) (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) (cbrt (exp (fma x x (- 1.0)))) (pow (exp (fma x x (- 1.0))) 3) (sqrt (exp (fma x x (- 1.0)))) (sqrt (exp (fma x x (- 1.0)))) (/ (fma x x (fma 1/2 (pow x 4) 1)) (exp 1.0)) (exp (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0)) 9.305 * * * [progress]: adding candidates to table 9.367 * * [progress]: iteration 2 / 4 9.367 * * * [progress]: picking best candidate 9.373 * * * * [pick]: Picked # 9.373 * * * [progress]: localizing error 9.381 * * * [progress]: generating rewritten candidates 9.381 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 9.384 * * * [progress]: generating series expansions 9.384 * * * * [progress]: [ 1 / 1 ] generating series at (2) 9.385 * [backup-simplify]: Simplify (pow E (fma x x (- 1.0))) into (pow E (fma x x (- 1.0))) 9.385 * [approximate]: Taking taylor expansion of (pow E (fma x x (- 1.0))) in (x) around 0 9.385 * [taylor]: Taking taylor expansion of (pow E (fma x x (- 1.0))) in x 9.385 * [taylor]: Taking taylor expansion of (exp (* (fma x x (- 1.0)) (log E))) in x 9.385 * [taylor]: Taking taylor expansion of (* (fma x x (- 1.0)) (log E)) in x 9.385 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x 9.385 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0)) 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.0) in x 9.385 * [taylor]: Taking taylor expansion of 1.0 in x 9.385 * [backup-simplify]: Simplify 1.0 into 1.0 9.385 * [taylor]: Taking taylor expansion of (log E) in x 9.385 * [taylor]: Taking taylor expansion of E in x 9.385 * [backup-simplify]: Simplify E into E 9.385 * [backup-simplify]: Simplify (log E) into 1 9.386 * [backup-simplify]: Simplify (* 0 0) into 0 9.386 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 9.386 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 9.387 * [backup-simplify]: Simplify (* (- 1.0) 1) into -1.0 9.387 * [backup-simplify]: Simplify (exp -1.0) into (exp -1.0) 9.387 * [taylor]: Taking taylor expansion of (pow E (fma x x (- 1.0))) in x 9.387 * [taylor]: Taking taylor expansion of (exp (* (fma x x (- 1.0)) (log E))) in x 9.387 * [taylor]: Taking taylor expansion of (* (fma x x (- 1.0)) (log E)) in x 9.387 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x 9.387 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0)) 9.387 * [taylor]: Taking taylor expansion of (* x x) in x 9.387 * [taylor]: Taking taylor expansion of x in x 9.387 * [backup-simplify]: Simplify 0 into 0 9.387 * [backup-simplify]: Simplify 1 into 1 9.387 * [taylor]: Taking taylor expansion of x in x 9.387 * [backup-simplify]: Simplify 0 into 0 9.387 * [backup-simplify]: Simplify 1 into 1 9.387 * [taylor]: Taking taylor expansion of (- 1.0) in x 9.387 * [taylor]: Taking taylor expansion of 1.0 in x 9.387 * [backup-simplify]: Simplify 1.0 into 1.0 9.387 * [taylor]: Taking taylor expansion of (log E) in x 9.387 * [taylor]: Taking taylor expansion of E in x 9.387 * [backup-simplify]: Simplify E into E 9.387 * [backup-simplify]: Simplify (log E) into 1 9.388 * [backup-simplify]: Simplify (* 0 0) into 0 9.388 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 9.388 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 9.389 * [backup-simplify]: Simplify (* (- 1.0) 1) into -1.0 9.389 * [backup-simplify]: Simplify (exp -1.0) into (exp -1.0) 9.390 * [backup-simplify]: Simplify (exp -1.0) into (exp -1.0) 9.391 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 9.391 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 9.391 * [backup-simplify]: Simplify (- 0) into 0 9.391 * [backup-simplify]: Simplify (+ 0 0) into 0 9.392 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (* 0 1)) into 0 9.393 * [backup-simplify]: Simplify (* (exp -1.0) (+ (* (/ (pow 0 1) 1)))) into 0 9.393 * [backup-simplify]: Simplify 0 into 0 9.395 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 9.395 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 9.395 * [backup-simplify]: Simplify (- 0) into 0 9.396 * [backup-simplify]: Simplify (+ 1 0) into 1 9.396 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (* 1 1))) into 1 9.398 * [backup-simplify]: Simplify (* (exp -1.0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1.0) 9.398 * [backup-simplify]: Simplify (exp -1.0) into (exp -1.0) 9.401 * [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 9.402 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 9.402 * [backup-simplify]: Simplify (- 0) into 0 9.403 * [backup-simplify]: Simplify (+ 0 0) into 0 9.403 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (+ (* 1 0) (* 0 1)))) into 0 9.405 * [backup-simplify]: Simplify (* (exp -1.0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 9.405 * [backup-simplify]: Simplify 0 into 0 9.411 * [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 9.411 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 9.412 * [backup-simplify]: Simplify (- 0) into 0 9.412 * [backup-simplify]: Simplify (+ 0 0) into 0 9.413 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 1))))) into 0 9.418 * [backup-simplify]: Simplify (* (exp -1.0) (+ (* (/ (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)) 9.418 * [backup-simplify]: Simplify (* 1/2 (exp -1.0)) into (* 1/2 (exp -1.0)) 9.419 * [backup-simplify]: Simplify (+ (* (* 1/2 (exp -1.0)) (pow x 4)) (+ (* (exp -1.0) (pow x 2)) (exp -1.0))) into (+ (* 1/2 (* (exp -1.0) (pow x 4))) (+ (exp -1.0) (* (exp -1.0) (pow x 2)))) 9.420 * [backup-simplify]: Simplify (pow E (fma (/ 1 x) (/ 1 x) (- 1.0))) into (pow E (fma (/ 1 x) (/ 1 x) (- 1.0))) 9.420 * [approximate]: Taking taylor expansion of (pow E (fma (/ 1 x) (/ 1 x) (- 1.0))) in (x) around 0 9.420 * [taylor]: Taking taylor expansion of (pow E (fma (/ 1 x) (/ 1 x) (- 1.0))) in x 9.420 * [taylor]: Taking taylor expansion of (exp (* (fma (/ 1 x) (/ 1 x) (- 1.0)) (log E))) in x 9.420 * [taylor]: Taking taylor expansion of (* (fma (/ 1 x) (/ 1 x) (- 1.0)) (log E)) in x 9.420 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x 9.420 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0)) 9.420 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 9.420 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.420 * [taylor]: Taking taylor expansion of x in x 9.420 * [backup-simplify]: Simplify 0 into 0 9.420 * [backup-simplify]: Simplify 1 into 1 9.420 * [backup-simplify]: Simplify (/ 1 1) into 1 9.420 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.420 * [taylor]: Taking taylor expansion of x in x 9.420 * [backup-simplify]: Simplify 0 into 0 9.420 * [backup-simplify]: Simplify 1 into 1 9.421 * [backup-simplify]: Simplify (/ 1 1) into 1 9.421 * [taylor]: Taking taylor expansion of (- 1.0) in x 9.421 * [taylor]: Taking taylor expansion of 1.0 in x 9.421 * [backup-simplify]: Simplify 1.0 into 1.0 9.421 * [taylor]: Taking taylor expansion of (log E) in x 9.421 * [taylor]: Taking taylor expansion of E in x 9.421 * [backup-simplify]: Simplify E into E 9.421 * [backup-simplify]: Simplify (log E) into 1 9.421 * [backup-simplify]: Simplify (* 1 1) into 1 9.421 * [backup-simplify]: Simplify (+ 1 0) into 1 9.422 * [backup-simplify]: Simplify (* 1 1) into 1 9.422 * [backup-simplify]: Simplify (exp (* (fma (/ 1 x) (/ 1 x) (- 1.0)) (log E))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 9.422 * [taylor]: Taking taylor expansion of (pow E (fma (/ 1 x) (/ 1 x) (- 1.0))) in x 9.422 * [taylor]: Taking taylor expansion of (exp (* (fma (/ 1 x) (/ 1 x) (- 1.0)) (log E))) in x 9.422 * [taylor]: Taking taylor expansion of (* (fma (/ 1 x) (/ 1 x) (- 1.0)) (log E)) in x 9.422 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x 9.422 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0)) 9.422 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 9.422 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.422 * [taylor]: Taking taylor expansion of x in x 9.422 * [backup-simplify]: Simplify 0 into 0 9.422 * [backup-simplify]: Simplify 1 into 1 9.422 * [backup-simplify]: Simplify (/ 1 1) into 1 9.422 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.422 * [taylor]: Taking taylor expansion of x in x 9.422 * [backup-simplify]: Simplify 0 into 0 9.422 * [backup-simplify]: Simplify 1 into 1 9.423 * [backup-simplify]: Simplify (/ 1 1) into 1 9.423 * [taylor]: Taking taylor expansion of (- 1.0) in x 9.423 * [taylor]: Taking taylor expansion of 1.0 in x 9.423 * [backup-simplify]: Simplify 1.0 into 1.0 9.423 * [taylor]: Taking taylor expansion of (log E) in x 9.423 * [taylor]: Taking taylor expansion of E in x 9.423 * [backup-simplify]: Simplify E into E 9.423 * [backup-simplify]: Simplify (log E) into 1 9.423 * [backup-simplify]: Simplify (* 1 1) into 1 9.423 * [backup-simplify]: Simplify (+ 1 0) into 1 9.424 * [backup-simplify]: Simplify (* 1 1) into 1 9.424 * [backup-simplify]: Simplify (exp (* (fma (/ 1 x) (/ 1 x) (- 1.0)) (log E))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 9.424 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 9.424 * [backup-simplify]: Simplify 0 into 0 9.424 * [backup-simplify]: Simplify 0 into 0 9.424 * [backup-simplify]: Simplify 0 into 0 9.424 * [backup-simplify]: Simplify 0 into 0 9.424 * [backup-simplify]: Simplify 0 into 0 9.424 * [backup-simplify]: Simplify 0 into 0 9.425 * [backup-simplify]: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) (- 1.0))) into (exp (fma x x (- 1.0))) 9.425 * [backup-simplify]: Simplify (pow E (fma (/ 1 (- x)) (/ 1 (- x)) (- 1.0))) into (pow E (fma (/ -1 x) (/ -1 x) (- 1.0))) 9.425 * [approximate]: Taking taylor expansion of (pow E (fma (/ -1 x) (/ -1 x) (- 1.0))) in (x) around 0 9.425 * [taylor]: Taking taylor expansion of (pow E (fma (/ -1 x) (/ -1 x) (- 1.0))) in x 9.425 * [taylor]: Taking taylor expansion of (exp (* (fma (/ -1 x) (/ -1 x) (- 1.0)) (log E))) in x 9.425 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (- 1.0)) (log E)) in x 9.425 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x 9.425 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0)) 9.425 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 9.425 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.425 * [taylor]: Taking taylor expansion of -1 in x 9.425 * [backup-simplify]: Simplify -1 into -1 9.425 * [taylor]: Taking taylor expansion of x in x 9.425 * [backup-simplify]: Simplify 0 into 0 9.425 * [backup-simplify]: Simplify 1 into 1 9.426 * [backup-simplify]: Simplify (/ -1 1) into -1 9.426 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.426 * [taylor]: Taking taylor expansion of -1 in x 9.426 * [backup-simplify]: Simplify -1 into -1 9.426 * [taylor]: Taking taylor expansion of x in x 9.426 * [backup-simplify]: Simplify 0 into 0 9.426 * [backup-simplify]: Simplify 1 into 1 9.426 * [backup-simplify]: Simplify (/ -1 1) into -1 9.426 * [taylor]: Taking taylor expansion of (- 1.0) in x 9.426 * [taylor]: Taking taylor expansion of 1.0 in x 9.426 * [backup-simplify]: Simplify 1.0 into 1.0 9.426 * [taylor]: Taking taylor expansion of (log E) in x 9.426 * [taylor]: Taking taylor expansion of E in x 9.426 * [backup-simplify]: Simplify E into E 9.426 * [backup-simplify]: Simplify (log E) into 1 9.426 * [backup-simplify]: Simplify (* -1 -1) into 1 9.427 * [backup-simplify]: Simplify (+ 1 0) into 1 9.427 * [backup-simplify]: Simplify (* 1 1) into 1 9.427 * [backup-simplify]: Simplify (exp (* (fma (/ -1 x) (/ -1 x) (- 1.0)) (log E))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 9.427 * [taylor]: Taking taylor expansion of (pow E (fma (/ -1 x) (/ -1 x) (- 1.0))) in x 9.427 * [taylor]: Taking taylor expansion of (exp (* (fma (/ -1 x) (/ -1 x) (- 1.0)) (log E))) in x 9.427 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (- 1.0)) (log E)) in x 9.427 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x 9.427 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0)) 9.428 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 9.428 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.428 * [taylor]: Taking taylor expansion of -1 in x 9.428 * [backup-simplify]: Simplify -1 into -1 9.428 * [taylor]: Taking taylor expansion of x in x 9.428 * [backup-simplify]: Simplify 0 into 0 9.428 * [backup-simplify]: Simplify 1 into 1 9.428 * [backup-simplify]: Simplify (/ -1 1) into -1 9.428 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.428 * [taylor]: Taking taylor expansion of -1 in x 9.428 * [backup-simplify]: Simplify -1 into -1 9.428 * [taylor]: Taking taylor expansion of x in x 9.428 * [backup-simplify]: Simplify 0 into 0 9.428 * [backup-simplify]: Simplify 1 into 1 9.428 * [backup-simplify]: Simplify (/ -1 1) into -1 9.428 * [taylor]: Taking taylor expansion of (- 1.0) in x 9.428 * [taylor]: Taking taylor expansion of 1.0 in x 9.429 * [backup-simplify]: Simplify 1.0 into 1.0 9.429 * [taylor]: Taking taylor expansion of (log E) in x 9.429 * [taylor]: Taking taylor expansion of E in x 9.429 * [backup-simplify]: Simplify E into E 9.429 * [backup-simplify]: Simplify (log E) into 1 9.429 * [backup-simplify]: Simplify (* -1 -1) into 1 9.429 * [backup-simplify]: Simplify (+ 1 0) into 1 9.429 * [backup-simplify]: Simplify (* 1 1) into 1 9.430 * [backup-simplify]: Simplify (exp (* (fma (/ -1 x) (/ -1 x) (- 1.0)) (log E))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 9.430 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 9.430 * [backup-simplify]: Simplify 0 into 0 9.430 * [backup-simplify]: Simplify 0 into 0 9.430 * [backup-simplify]: Simplify 0 into 0 9.430 * [backup-simplify]: Simplify 0 into 0 9.430 * [backup-simplify]: Simplify 0 into 0 9.430 * [backup-simplify]: Simplify 0 into 0 9.431 * [backup-simplify]: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) (- 1.0))) into (exp (fma x x (- 1.0))) 9.431 * * * [progress]: simplifying candidates 9.431 * [simplify]: Simplifying: (expm1 (pow E (fma x x (- 1.0)))) (log1p (pow E (fma x x (- 1.0)))) (* 1 (fma x x (- 1.0))) (* (log E) (fma x x (- 1.0))) (* (log E) (fma x x (- 1.0))) (* 1 (fma x x (- 1.0))) (pow E (* (cbrt (fma x x (- 1.0))) (cbrt (fma x x (- 1.0))))) (pow E (sqrt (fma x x (- 1.0)))) (pow E 1) (pow E (* x x)) (pow E (- 1.0)) (pow (* (cbrt E) (cbrt E)) (fma x x (- 1.0))) (pow (cbrt E) (fma x x (- 1.0))) (pow (sqrt E) (fma x x (- 1.0))) (pow (sqrt E) (fma x x (- 1.0))) (pow 1 (fma x x (- 1.0))) (pow E (fma x x (- 1.0))) (log (pow E (fma x x (- 1.0)))) (exp (pow E (fma x x (- 1.0)))) (* (cbrt (pow E (fma x x (- 1.0)))) (cbrt (pow E (fma x x (- 1.0))))) (cbrt (pow E (fma x x (- 1.0)))) (* (* (pow E (fma x x (- 1.0))) (pow E (fma x x (- 1.0)))) (pow E (fma x x (- 1.0)))) (sqrt (pow E (fma x x (- 1.0)))) (sqrt (pow E (fma x x (- 1.0)))) (pow E (/ (fma x x (- 1.0)) 2)) (pow E (/ (fma x x (- 1.0)) 2)) (+ (* 1/2 (* (exp -1.0) (pow x 4))) (+ (exp -1.0) (* (exp -1.0) (pow x 2)))) (exp (fma x x (- 1.0))) (exp (fma x x (- 1.0))) 9.431 * * [simplify]: Extracting # 0 : cost 0 9.432 * * [simplify]: Extracting # 1 : cost 0 9.432 * * [simplify]: Extracting # 2 : cost 0 9.432 * * [simplify]: Extracting # 3 : cost 0 9.432 * * [simplify]: Extracting # 4 : cost 0 9.432 * * [simplify]: Extracting # 5 : cost 0 9.432 * * [simplify]: Extracting # 6 : cost 0 9.432 * * [simplify]: Extracting # 7 : cost 0 9.432 * * [simplify]: iteration 0 : 50 enodes (cost 258 ) 9.445 * * [simplify]: Extracting # 0 : cost 0 9.445 * * [simplify]: Extracting # 1 : cost 0 9.445 * * [simplify]: Extracting # 2 : cost 0 9.445 * * [simplify]: Extracting # 3 : cost 0 9.446 * * [simplify]: Extracting # 4 : cost 0 9.446 * * [simplify]: iteration 1 : 101 enodes (cost 230 ) 9.485 * * [simplify]: Extracting # 0 : cost 0 9.485 * * [simplify]: Extracting # 1 : cost 0 9.486 * * [simplify]: Extracting # 2 : cost 0 9.486 * * [simplify]: Extracting # 3 : cost 0 9.486 * * [simplify]: Extracting # 4 : cost 0 9.487 * * [simplify]: iteration 2 : 241 enodes (cost 211 ) 9.620 * * [simplify]: Extracting # 0 : cost 0 9.621 * * [simplify]: Extracting # 1 : cost 0 9.623 * * [simplify]: Extracting # 2 : cost 0 9.624 * * [simplify]: Extracting # 3 : cost 0 9.625 * * [simplify]: Extracting # 4 : cost 0 9.626 * * [simplify]: iteration 3 : 671 enodes (cost 208 ) 10.234 * * [simplify]: Extracting # 0 : cost 0 10.237 * * [simplify]: Extracting # 1 : cost 0 10.239 * * [simplify]: Extracting # 2 : cost 0 10.241 * * [simplify]: Extracting # 3 : cost 0 10.243 * * [simplify]: Extracting # 4 : cost 0 10.245 * * [simplify]: iteration 4 : 2050 enodes (cost 203 ) 11.687 * * [simplify]: Extracting # 0 : cost 0 11.695 * * [simplify]: Extracting # 1 : cost 0 11.701 * * [simplify]: Extracting # 2 : cost 0 11.707 * * [simplify]: Extracting # 3 : cost 0 11.712 * * [simplify]: Extracting # 4 : cost 0 11.721 * * [simplify]: iteration done: 5001 enodes (cost 201 ) 11.721 * [simplify]: Simplified to: (expm1 (exp (fma x x (- 1.0)))) (log1p (exp (fma x x (- 1.0)))) (fma x x (- 1.0)) (fma x x (- 1.0)) (fma x x (- 1.0)) (fma x x (- 1.0)) (pow E (* (cbrt (fma x x (- 1.0))) (cbrt (fma x x (- 1.0))))) (pow E (sqrt (fma x x (- 1.0)))) E (exp (* x x)) (exp (- 1.0)) (pow (* (cbrt E) (cbrt E)) (fma x x (- 1.0))) (pow (cbrt E) (fma x x (- 1.0))) (pow (sqrt E) (fma x x (- 1.0))) (pow (sqrt E) (fma x x (- 1.0))) 1 (exp (fma x x (- 1.0))) (fma x x (- 1.0)) (exp (exp (fma x x (- 1.0)))) (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) (cbrt (exp (fma x x (- 1.0)))) (pow (exp (fma x x (- 1.0))) 3) (sqrt (exp (fma x x (- 1.0)))) (sqrt (exp (fma x x (- 1.0)))) (sqrt (exp (fma x x (- 1.0)))) (sqrt (exp (fma x x (- 1.0)))) (* (exp -1.0) (fma (pow x 4) 1/2 (fma x x 1))) (exp (fma x x (- 1.0))) (exp (fma x x (- 1.0))) 11.721 * * * [progress]: adding candidates to table 11.758 * * [progress]: iteration 3 / 4 11.758 * * * [progress]: picking best candidate 11.760 * * * * [pick]: Picked # 11.761 * * * [progress]: localizing error 11.773 * * * [progress]: generating rewritten candidates 11.773 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 11.779 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 11.791 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 11.797 * * * [progress]: generating series expansions 11.797 * * * * [progress]: [ 1 / 3 ] generating series at (2) 11.798 * [backup-simplify]: Simplify (cbrt (pow (exp (fma x x (- 1.0))) 3)) into (exp (fma x x (- 1.0))) 11.798 * [approximate]: Taking taylor expansion of (exp (fma x x (- 1.0))) in (x) around 0 11.798 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x 11.798 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x 11.798 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0)) 11.798 * [taylor]: Taking taylor expansion of (* x x) in x 11.798 * [taylor]: Taking taylor expansion of x in x 11.798 * [backup-simplify]: Simplify 0 into 0 11.798 * [backup-simplify]: Simplify 1 into 1 11.798 * [taylor]: Taking taylor expansion of x in x 11.798 * [backup-simplify]: Simplify 0 into 0 11.798 * [backup-simplify]: Simplify 1 into 1 11.798 * [taylor]: Taking taylor expansion of (- 1.0) in x 11.798 * [taylor]: Taking taylor expansion of 1.0 in x 11.798 * [backup-simplify]: Simplify 1.0 into 1.0 11.798 * [backup-simplify]: Simplify (* 0 0) into 0 11.799 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 11.799 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 11.800 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 11.800 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x 11.800 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x 11.800 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0)) 11.800 * [taylor]: Taking taylor expansion of (* x x) in x 11.800 * [taylor]: Taking taylor expansion of x in x 11.800 * [backup-simplify]: Simplify 0 into 0 11.800 * [backup-simplify]: Simplify 1 into 1 11.800 * [taylor]: Taking taylor expansion of x in x 11.800 * [backup-simplify]: Simplify 0 into 0 11.800 * [backup-simplify]: Simplify 1 into 1 11.800 * [taylor]: Taking taylor expansion of (- 1.0) in x 11.800 * [taylor]: Taking taylor expansion of 1.0 in x 11.800 * [backup-simplify]: Simplify 1.0 into 1.0 11.801 * [backup-simplify]: Simplify (* 0 0) into 0 11.801 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 11.802 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 11.802 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 11.803 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 11.804 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 11.804 * [backup-simplify]: Simplify (- 0) into 0 11.804 * [backup-simplify]: Simplify (+ 0 0) into 0 11.805 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0 11.805 * [backup-simplify]: Simplify 0 into 0 11.806 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 11.806 * [backup-simplify]: Simplify (- 0) into 0 11.806 * [backup-simplify]: Simplify (+ 1 0) into 1 11.809 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0)) 11.810 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 11.811 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 11.811 * [backup-simplify]: Simplify (- 0) into 0 11.812 * [backup-simplify]: Simplify (+ 0 0) into 0 11.814 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 11.814 * [backup-simplify]: Simplify 0 into 0 11.815 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 11.815 * [backup-simplify]: Simplify (- 0) into 0 11.815 * [backup-simplify]: Simplify (+ 0 0) into 0 11.821 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (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))) 11.822 * [backup-simplify]: Simplify (* 1/2 (exp (- 1.0))) into (* 1/2 (exp (- 1.0))) 11.825 * [backup-simplify]: Simplify (+ (* (* 1/2 (exp (- 1.0))) (pow x 4)) (+ (* (exp (- 1.0)) (pow x 2)) (exp (- 1.0)))) into (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0)))))) 11.825 * [backup-simplify]: Simplify (cbrt (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3)) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 11.825 * [approximate]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in (x) around 0 11.825 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x 11.825 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x 11.825 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0)) 11.825 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 11.825 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.825 * [taylor]: Taking taylor expansion of x in x 11.825 * [backup-simplify]: Simplify 0 into 0 11.825 * [backup-simplify]: Simplify 1 into 1 11.826 * [backup-simplify]: Simplify (/ 1 1) into 1 11.826 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.826 * [taylor]: Taking taylor expansion of x in x 11.826 * [backup-simplify]: Simplify 0 into 0 11.826 * [backup-simplify]: Simplify 1 into 1 11.826 * [backup-simplify]: Simplify (/ 1 1) into 1 11.826 * [taylor]: Taking taylor expansion of (- 1.0) in x 11.826 * [taylor]: Taking taylor expansion of 1.0 in x 11.826 * [backup-simplify]: Simplify 1.0 into 1.0 11.827 * [backup-simplify]: Simplify (* 1 1) into 1 11.827 * [backup-simplify]: Simplify (+ 1 0) into 1 11.827 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 11.827 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x 11.827 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x 11.828 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0)) 11.828 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 11.828 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.828 * [taylor]: Taking taylor expansion of x in x 11.828 * [backup-simplify]: Simplify 0 into 0 11.828 * [backup-simplify]: Simplify 1 into 1 11.828 * [backup-simplify]: Simplify (/ 1 1) into 1 11.828 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.828 * [taylor]: Taking taylor expansion of x in x 11.828 * [backup-simplify]: Simplify 0 into 0 11.828 * [backup-simplify]: Simplify 1 into 1 11.828 * [backup-simplify]: Simplify (/ 1 1) into 1 11.828 * [taylor]: Taking taylor expansion of (- 1.0) in x 11.828 * [taylor]: Taking taylor expansion of 1.0 in x 11.828 * [backup-simplify]: Simplify 1.0 into 1.0 11.829 * [backup-simplify]: Simplify (* 1 1) into 1 11.829 * [backup-simplify]: Simplify (+ 1 0) into 1 11.830 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 11.830 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 11.830 * [backup-simplify]: Simplify 0 into 0 11.830 * [backup-simplify]: Simplify 0 into 0 11.830 * [backup-simplify]: Simplify 0 into 0 11.830 * [backup-simplify]: Simplify 0 into 0 11.830 * [backup-simplify]: Simplify 0 into 0 11.830 * [backup-simplify]: Simplify 0 into 0 11.831 * [backup-simplify]: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) (- 1.0))) into (exp (fma x x (- 1.0))) 11.831 * [backup-simplify]: Simplify (cbrt (pow (exp (fma (/ 1 (- x)) (/ 1 (- x)) (- 1.0))) 3)) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 11.831 * [approximate]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in (x) around 0 11.831 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x 11.831 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x 11.831 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0)) 11.831 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 11.831 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.831 * [taylor]: Taking taylor expansion of -1 in x 11.831 * [backup-simplify]: Simplify -1 into -1 11.831 * [taylor]: Taking taylor expansion of x in x 11.831 * [backup-simplify]: Simplify 0 into 0 11.831 * [backup-simplify]: Simplify 1 into 1 11.832 * [backup-simplify]: Simplify (/ -1 1) into -1 11.832 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.832 * [taylor]: Taking taylor expansion of -1 in x 11.832 * [backup-simplify]: Simplify -1 into -1 11.832 * [taylor]: Taking taylor expansion of x in x 11.832 * [backup-simplify]: Simplify 0 into 0 11.832 * [backup-simplify]: Simplify 1 into 1 11.832 * [backup-simplify]: Simplify (/ -1 1) into -1 11.832 * [taylor]: Taking taylor expansion of (- 1.0) in x 11.832 * [taylor]: Taking taylor expansion of 1.0 in x 11.832 * [backup-simplify]: Simplify 1.0 into 1.0 11.832 * [backup-simplify]: Simplify (* -1 -1) into 1 11.833 * [backup-simplify]: Simplify (+ 1 0) into 1 11.833 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 11.833 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x 11.833 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x 11.833 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0)) 11.833 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 11.833 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.833 * [taylor]: Taking taylor expansion of -1 in x 11.833 * [backup-simplify]: Simplify -1 into -1 11.833 * [taylor]: Taking taylor expansion of x in x 11.833 * [backup-simplify]: Simplify 0 into 0 11.833 * [backup-simplify]: Simplify 1 into 1 11.833 * [backup-simplify]: Simplify (/ -1 1) into -1 11.834 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.834 * [taylor]: Taking taylor expansion of -1 in x 11.834 * [backup-simplify]: Simplify -1 into -1 11.834 * [taylor]: Taking taylor expansion of x in x 11.834 * [backup-simplify]: Simplify 0 into 0 11.834 * [backup-simplify]: Simplify 1 into 1 11.834 * [backup-simplify]: Simplify (/ -1 1) into -1 11.834 * [taylor]: Taking taylor expansion of (- 1.0) in x 11.834 * [taylor]: Taking taylor expansion of 1.0 in x 11.834 * [backup-simplify]: Simplify 1.0 into 1.0 11.834 * [backup-simplify]: Simplify (* -1 -1) into 1 11.834 * [backup-simplify]: Simplify (+ 1 0) into 1 11.835 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 11.835 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 11.835 * [backup-simplify]: Simplify 0 into 0 11.835 * [backup-simplify]: Simplify 0 into 0 11.835 * [backup-simplify]: Simplify 0 into 0 11.835 * [backup-simplify]: Simplify 0 into 0 11.835 * [backup-simplify]: Simplify 0 into 0 11.835 * [backup-simplify]: Simplify 0 into 0 11.836 * [backup-simplify]: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) (- 1.0))) into (exp (fma x x (- 1.0))) 11.836 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 11.836 * [backup-simplify]: Simplify (pow (exp (fma x x (- 1.0))) 3) into (pow (exp (fma x x (- 1.0))) 3) 11.836 * [approximate]: Taking taylor expansion of (pow (exp (fma x x (- 1.0))) 3) in (x) around 0 11.836 * [taylor]: Taking taylor expansion of (pow (exp (fma x x (- 1.0))) 3) in x 11.836 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x 11.836 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x 11.836 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0)) 11.836 * [taylor]: Taking taylor expansion of (* x x) in x 11.836 * [taylor]: Taking taylor expansion of x in x 11.836 * [backup-simplify]: Simplify 0 into 0 11.836 * [backup-simplify]: Simplify 1 into 1 11.836 * [taylor]: Taking taylor expansion of x in x 11.836 * [backup-simplify]: Simplify 0 into 0 11.836 * [backup-simplify]: Simplify 1 into 1 11.836 * [taylor]: Taking taylor expansion of (- 1.0) in x 11.836 * [taylor]: Taking taylor expansion of 1.0 in x 11.836 * [backup-simplify]: Simplify 1.0 into 1.0 11.837 * [backup-simplify]: Simplify (* 0 0) into 0 11.837 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 11.837 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 11.838 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 11.838 * [taylor]: Taking taylor expansion of (pow (exp (fma x x (- 1.0))) 3) in x 11.838 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x 11.838 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x 11.838 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0)) 11.838 * [taylor]: Taking taylor expansion of (* x x) in x 11.838 * [taylor]: Taking taylor expansion of x in x 11.838 * [backup-simplify]: Simplify 0 into 0 11.838 * [backup-simplify]: Simplify 1 into 1 11.838 * [taylor]: Taking taylor expansion of x in x 11.838 * [backup-simplify]: Simplify 0 into 0 11.838 * [backup-simplify]: Simplify 1 into 1 11.838 * [taylor]: Taking taylor expansion of (- 1.0) in x 11.838 * [taylor]: Taking taylor expansion of 1.0 in x 11.838 * [backup-simplify]: Simplify 1.0 into 1.0 11.838 * [backup-simplify]: Simplify (* 0 0) into 0 11.839 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 11.839 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 11.840 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 11.841 * [backup-simplify]: Simplify (* (exp (- 1.0)) (exp (- 1.0))) into (pow (exp (- 1.0)) 2) 11.843 * [backup-simplify]: Simplify (* (exp (- 1.0)) (pow (exp (- 1.0)) 2)) into (pow (exp (- 1.0)) 3) 11.845 * [backup-simplify]: Simplify (pow (exp (- 1.0)) 3) into (pow (exp (- 1.0)) 3) 11.845 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 11.845 * [backup-simplify]: Simplify (- 0) into 0 11.846 * [backup-simplify]: Simplify (+ 0 0) into 0 11.846 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0 11.847 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) 0) (* 0 (exp (- 1.0)))) into 0 11.847 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) 0) (* 0 (pow (exp (- 1.0)) 2))) into 0 11.847 * [backup-simplify]: Simplify 0 into 0 11.848 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 11.848 * [backup-simplify]: Simplify (- 0) into 0 11.848 * [backup-simplify]: Simplify (+ 1 0) into 1 11.851 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0)) 11.854 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) (exp (- 1.0))) (+ (* 0 0) (* (exp (- 1.0)) (exp (- 1.0))))) into (* 2 (pow (exp (- 1.0)) 2)) 11.860 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) (* 2 (pow (exp (- 1.0)) 2))) (+ (* 0 0) (* (exp (- 1.0)) (pow (exp (- 1.0)) 2)))) into (* 3 (pow (exp (- 1.0)) 3)) 11.861 * [backup-simplify]: Simplify (* 3 (pow (exp (- 1.0)) 3)) into (* 3 (pow (exp (- 1.0)) 3)) 11.862 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 11.862 * [backup-simplify]: Simplify (- 0) into 0 11.862 * [backup-simplify]: Simplify (+ 0 0) into 0 11.864 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 11.864 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) 0) (+ (* 0 (exp (- 1.0))) (+ (* (exp (- 1.0)) 0) (* 0 (exp (- 1.0)))))) into 0 11.865 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) 0) (+ (* 0 (* 2 (pow (exp (- 1.0)) 2))) (+ (* (exp (- 1.0)) 0) (* 0 (pow (exp (- 1.0)) 2))))) into 0 11.865 * [backup-simplify]: Simplify 0 into 0 11.866 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 11.866 * [backup-simplify]: Simplify (- 0) into 0 11.866 * [backup-simplify]: Simplify (+ 0 0) into 0 11.871 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (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))) 11.883 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) (* 1/2 (exp (- 1.0)))) (+ (* 0 0) (+ (* (exp (- 1.0)) (exp (- 1.0))) (+ (* 0 0) (* (* 1/2 (exp (- 1.0))) (exp (- 1.0))))))) into (* 2 (pow (exp (- 1.0)) 2)) 11.894 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) (* 2 (pow (exp (- 1.0)) 2))) (+ (* 0 0) (+ (* (exp (- 1.0)) (* 2 (pow (exp (- 1.0)) 2))) (+ (* 0 0) (* (* 1/2 (exp (- 1.0))) (pow (exp (- 1.0)) 2)))))) into (* 9/2 (pow (exp (- 1.0)) 3)) 11.895 * [backup-simplify]: Simplify (* 9/2 (pow (exp (- 1.0)) 3)) into (* 9/2 (pow (exp (- 1.0)) 3)) 11.899 * [backup-simplify]: Simplify (+ (* (* 9/2 (pow (exp (- 1.0)) 3)) (pow x 4)) (+ (* (* 3 (pow (exp (- 1.0)) 3)) (pow x 2)) (pow (exp (- 1.0)) 3))) into (+ (pow (exp (- 1.0)) 3) (+ (* 9/2 (* (pow x 4) (pow (exp (- 1.0)) 3))) (* 3 (* (pow x 2) (pow (exp (- 1.0)) 3))))) 11.900 * [backup-simplify]: Simplify (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3) into (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3) 11.900 * [approximate]: Taking taylor expansion of (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3) in (x) around 0 11.900 * [taylor]: Taking taylor expansion of (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3) in x 11.900 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x 11.900 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x 11.900 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0)) 11.900 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 11.900 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.900 * [taylor]: Taking taylor expansion of x in x 11.900 * [backup-simplify]: Simplify 0 into 0 11.900 * [backup-simplify]: Simplify 1 into 1 11.900 * [backup-simplify]: Simplify (/ 1 1) into 1 11.900 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.900 * [taylor]: Taking taylor expansion of x in x 11.900 * [backup-simplify]: Simplify 0 into 0 11.900 * [backup-simplify]: Simplify 1 into 1 11.900 * [backup-simplify]: Simplify (/ 1 1) into 1 11.900 * [taylor]: Taking taylor expansion of (- 1.0) in x 11.900 * [taylor]: Taking taylor expansion of 1.0 in x 11.901 * [backup-simplify]: Simplify 1.0 into 1.0 11.901 * [backup-simplify]: Simplify (* 1 1) into 1 11.901 * [backup-simplify]: Simplify (+ 1 0) into 1 11.901 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 11.901 * [taylor]: Taking taylor expansion of (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3) in x 11.901 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x 11.901 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x 11.902 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0)) 11.902 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 11.902 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.902 * [taylor]: Taking taylor expansion of x in x 11.902 * [backup-simplify]: Simplify 0 into 0 11.902 * [backup-simplify]: Simplify 1 into 1 11.902 * [backup-simplify]: Simplify (/ 1 1) into 1 11.902 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.902 * [taylor]: Taking taylor expansion of x in x 11.902 * [backup-simplify]: Simplify 0 into 0 11.902 * [backup-simplify]: Simplify 1 into 1 11.902 * [backup-simplify]: Simplify (/ 1 1) into 1 11.902 * [taylor]: Taking taylor expansion of (- 1.0) in x 11.902 * [taylor]: Taking taylor expansion of 1.0 in x 11.902 * [backup-simplify]: Simplify 1.0 into 1.0 11.902 * [backup-simplify]: Simplify (* 1 1) into 1 11.903 * [backup-simplify]: Simplify (+ 1 0) into 1 11.903 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 11.904 * [backup-simplify]: Simplify (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))) into (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2) 11.905 * [backup-simplify]: Simplify (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2)) into (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3) 11.905 * [backup-simplify]: Simplify (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3) into (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3) 11.906 * [backup-simplify]: Simplify (+ (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 0) (* 0 (exp (fma (/ 1 x) (/ 1 x) (- 1.0))))) into 0 11.906 * [backup-simplify]: Simplify (+ (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 0) (* 0 (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) into 0 11.906 * [backup-simplify]: Simplify 0 into 0 11.907 * [backup-simplify]: Simplify (+ (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 0) (+ (* 0 0) (* 0 (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))))) into 0 11.908 * [backup-simplify]: Simplify (+ (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 0) (+ (* 0 0) (* 0 (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2)))) into 0 11.908 * [backup-simplify]: Simplify 0 into 0 11.909 * [backup-simplify]: Simplify (+ (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (fma (/ 1 x) (/ 1 x) (- 1.0))))))) into 0 11.910 * [backup-simplify]: Simplify (+ (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))))) into 0 11.910 * [backup-simplify]: Simplify 0 into 0 11.911 * [backup-simplify]: Simplify (+ (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))))))) into 0 11.913 * [backup-simplify]: Simplify (+ (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2)))))) into 0 11.913 * [backup-simplify]: Simplify 0 into 0 11.914 * [backup-simplify]: Simplify (+ (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (fma (/ 1 x) (/ 1 x) (- 1.0))))))))) into 0 11.916 * [backup-simplify]: Simplify (+ (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))))))) into 0 11.916 * [backup-simplify]: Simplify 0 into 0 11.917 * [backup-simplify]: Simplify (+ (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))))))))) into 0 11.919 * [backup-simplify]: Simplify (+ (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2)))))))) into 0 11.919 * [backup-simplify]: Simplify 0 into 0 11.919 * [backup-simplify]: Simplify (pow (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) (- 1.0))) 3) into (pow (exp (fma x x (- 1.0))) 3) 11.920 * [backup-simplify]: Simplify (pow (exp (fma (/ 1 (- x)) (/ 1 (- x)) (- 1.0))) 3) into (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3) 11.920 * [approximate]: Taking taylor expansion of (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3) in (x) around 0 11.920 * [taylor]: Taking taylor expansion of (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3) in x 11.920 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x 11.920 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x 11.920 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0)) 11.920 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 11.920 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.920 * [taylor]: Taking taylor expansion of -1 in x 11.920 * [backup-simplify]: Simplify -1 into -1 11.920 * [taylor]: Taking taylor expansion of x in x 11.920 * [backup-simplify]: Simplify 0 into 0 11.920 * [backup-simplify]: Simplify 1 into 1 11.920 * [backup-simplify]: Simplify (/ -1 1) into -1 11.920 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.920 * [taylor]: Taking taylor expansion of -1 in x 11.920 * [backup-simplify]: Simplify -1 into -1 11.920 * [taylor]: Taking taylor expansion of x in x 11.920 * [backup-simplify]: Simplify 0 into 0 11.920 * [backup-simplify]: Simplify 1 into 1 11.921 * [backup-simplify]: Simplify (/ -1 1) into -1 11.921 * [taylor]: Taking taylor expansion of (- 1.0) in x 11.921 * [taylor]: Taking taylor expansion of 1.0 in x 11.921 * [backup-simplify]: Simplify 1.0 into 1.0 11.921 * [backup-simplify]: Simplify (* -1 -1) into 1 11.921 * [backup-simplify]: Simplify (+ 1 0) into 1 11.922 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 11.922 * [taylor]: Taking taylor expansion of (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3) in x 11.922 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x 11.922 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x 11.922 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0)) 11.922 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 11.922 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.922 * [taylor]: Taking taylor expansion of -1 in x 11.922 * [backup-simplify]: Simplify -1 into -1 11.922 * [taylor]: Taking taylor expansion of x in x 11.922 * [backup-simplify]: Simplify 0 into 0 11.922 * [backup-simplify]: Simplify 1 into 1 11.923 * [backup-simplify]: Simplify (/ -1 1) into -1 11.923 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.923 * [taylor]: Taking taylor expansion of -1 in x 11.923 * [backup-simplify]: Simplify -1 into -1 11.923 * [taylor]: Taking taylor expansion of x in x 11.923 * [backup-simplify]: Simplify 0 into 0 11.923 * [backup-simplify]: Simplify 1 into 1 11.923 * [backup-simplify]: Simplify (/ -1 1) into -1 11.923 * [taylor]: Taking taylor expansion of (- 1.0) in x 11.923 * [taylor]: Taking taylor expansion of 1.0 in x 11.923 * [backup-simplify]: Simplify 1.0 into 1.0 11.924 * [backup-simplify]: Simplify (* -1 -1) into 1 11.924 * [backup-simplify]: Simplify (+ 1 0) into 1 11.924 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 11.925 * [backup-simplify]: Simplify (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))) into (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2) 11.926 * [backup-simplify]: Simplify (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2)) into (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3) 11.926 * [backup-simplify]: Simplify (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3) into (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3) 11.927 * [backup-simplify]: Simplify (+ (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 0) (* 0 (exp (fma (/ -1 x) (/ -1 x) (- 1.0))))) into 0 11.928 * [backup-simplify]: Simplify (+ (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 0) (* 0 (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) into 0 11.928 * [backup-simplify]: Simplify 0 into 0 11.929 * [backup-simplify]: Simplify (+ (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 0) (+ (* 0 0) (* 0 (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))))) into 0 11.929 * [backup-simplify]: Simplify (+ (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 0) (+ (* 0 0) (* 0 (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2)))) into 0 11.930 * [backup-simplify]: Simplify 0 into 0 11.931 * [backup-simplify]: Simplify (+ (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (fma (/ -1 x) (/ -1 x) (- 1.0))))))) into 0 11.932 * [backup-simplify]: Simplify (+ (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))))) into 0 11.932 * [backup-simplify]: Simplify 0 into 0 11.933 * [backup-simplify]: Simplify (+ (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))))))) into 0 11.934 * [backup-simplify]: Simplify (+ (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2)))))) into 0 11.934 * [backup-simplify]: Simplify 0 into 0 11.936 * [backup-simplify]: Simplify (+ (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (fma (/ -1 x) (/ -1 x) (- 1.0))))))))) into 0 11.937 * [backup-simplify]: Simplify (+ (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))))))) into 0 11.937 * [backup-simplify]: Simplify 0 into 0 11.939 * [backup-simplify]: Simplify (+ (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))))))))) into 0 11.941 * [backup-simplify]: Simplify (+ (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2)))))))) into 0 11.941 * [backup-simplify]: Simplify 0 into 0 11.941 * [backup-simplify]: Simplify (pow (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) (- 1.0))) 3) into (pow (exp (fma x x (- 1.0))) 3) 11.941 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 11.941 * [backup-simplify]: Simplify (exp (fma x x (- 1.0))) into (exp (fma x x (- 1.0))) 11.941 * [approximate]: Taking taylor expansion of (exp (fma x x (- 1.0))) in (x) around 0 11.941 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x 11.941 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x 11.942 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0)) 11.942 * [taylor]: Taking taylor expansion of (* x x) in x 11.942 * [taylor]: Taking taylor expansion of x in x 11.942 * [backup-simplify]: Simplify 0 into 0 11.942 * [backup-simplify]: Simplify 1 into 1 11.942 * [taylor]: Taking taylor expansion of x in x 11.942 * [backup-simplify]: Simplify 0 into 0 11.942 * [backup-simplify]: Simplify 1 into 1 11.942 * [taylor]: Taking taylor expansion of (- 1.0) in x 11.942 * [taylor]: Taking taylor expansion of 1.0 in x 11.942 * [backup-simplify]: Simplify 1.0 into 1.0 11.942 * [backup-simplify]: Simplify (* 0 0) into 0 11.942 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 11.943 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 11.943 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 11.943 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x 11.943 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x 11.943 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0)) 11.943 * [taylor]: Taking taylor expansion of (* x x) in x 11.943 * [taylor]: Taking taylor expansion of x in x 11.944 * [backup-simplify]: Simplify 0 into 0 11.944 * [backup-simplify]: Simplify 1 into 1 11.944 * [taylor]: Taking taylor expansion of x in x 11.944 * [backup-simplify]: Simplify 0 into 0 11.944 * [backup-simplify]: Simplify 1 into 1 11.944 * [taylor]: Taking taylor expansion of (- 1.0) in x 11.944 * [taylor]: Taking taylor expansion of 1.0 in x 11.944 * [backup-simplify]: Simplify 1.0 into 1.0 11.944 * [backup-simplify]: Simplify (* 0 0) into 0 11.944 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 11.945 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 11.945 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 11.946 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 11.946 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 11.946 * [backup-simplify]: Simplify (- 0) into 0 11.946 * [backup-simplify]: Simplify (+ 0 0) into 0 11.947 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0 11.947 * [backup-simplify]: Simplify 0 into 0 11.948 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 11.948 * [backup-simplify]: Simplify (- 0) into 0 11.948 * [backup-simplify]: Simplify (+ 1 0) into 1 11.950 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0)) 11.951 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 11.951 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 11.952 * [backup-simplify]: Simplify (- 0) into 0 11.952 * [backup-simplify]: Simplify (+ 0 0) into 0 11.953 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 11.953 * [backup-simplify]: Simplify 0 into 0 11.954 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 11.954 * [backup-simplify]: Simplify (- 0) into 0 11.954 * [backup-simplify]: Simplify (+ 0 0) into 0 11.959 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (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))) 11.960 * [backup-simplify]: Simplify (* 1/2 (exp (- 1.0))) into (* 1/2 (exp (- 1.0))) 11.962 * [backup-simplify]: Simplify (+ (* (* 1/2 (exp (- 1.0))) (pow x 4)) (+ (* (exp (- 1.0)) (pow x 2)) (exp (- 1.0)))) into (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0)))))) 11.962 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 11.962 * [approximate]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in (x) around 0 11.962 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x 11.962 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x 11.962 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0)) 11.963 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 11.963 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.963 * [taylor]: Taking taylor expansion of x in x 11.963 * [backup-simplify]: Simplify 0 into 0 11.963 * [backup-simplify]: Simplify 1 into 1 11.963 * [backup-simplify]: Simplify (/ 1 1) into 1 11.963 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.963 * [taylor]: Taking taylor expansion of x in x 11.963 * [backup-simplify]: Simplify 0 into 0 11.963 * [backup-simplify]: Simplify 1 into 1 11.963 * [backup-simplify]: Simplify (/ 1 1) into 1 11.963 * [taylor]: Taking taylor expansion of (- 1.0) in x 11.963 * [taylor]: Taking taylor expansion of 1.0 in x 11.963 * [backup-simplify]: Simplify 1.0 into 1.0 11.963 * [backup-simplify]: Simplify (* 1 1) into 1 11.964 * [backup-simplify]: Simplify (+ 1 0) into 1 11.964 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 11.964 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x 11.964 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x 11.964 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0)) 11.964 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 11.964 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.964 * [taylor]: Taking taylor expansion of x in x 11.964 * [backup-simplify]: Simplify 0 into 0 11.964 * [backup-simplify]: Simplify 1 into 1 11.964 * [backup-simplify]: Simplify (/ 1 1) into 1 11.965 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.965 * [taylor]: Taking taylor expansion of x in x 11.965 * [backup-simplify]: Simplify 0 into 0 11.965 * [backup-simplify]: Simplify 1 into 1 11.965 * [backup-simplify]: Simplify (/ 1 1) into 1 11.965 * [taylor]: Taking taylor expansion of (- 1.0) in x 11.965 * [taylor]: Taking taylor expansion of 1.0 in x 11.965 * [backup-simplify]: Simplify 1.0 into 1.0 11.965 * [backup-simplify]: Simplify (* 1 1) into 1 11.965 * [backup-simplify]: Simplify (+ 1 0) into 1 11.968 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 11.969 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 11.969 * [backup-simplify]: Simplify 0 into 0 11.969 * [backup-simplify]: Simplify 0 into 0 11.969 * [backup-simplify]: Simplify 0 into 0 11.969 * [backup-simplify]: Simplify 0 into 0 11.969 * [backup-simplify]: Simplify 0 into 0 11.969 * [backup-simplify]: Simplify 0 into 0 11.969 * [backup-simplify]: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) (- 1.0))) into (exp (fma x x (- 1.0))) 11.970 * [backup-simplify]: Simplify (exp (fma (/ 1 (- x)) (/ 1 (- x)) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 11.970 * [approximate]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in (x) around 0 11.970 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x 11.970 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x 11.970 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0)) 11.970 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 11.970 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.970 * [taylor]: Taking taylor expansion of -1 in x 11.970 * [backup-simplify]: Simplify -1 into -1 11.970 * [taylor]: Taking taylor expansion of x in x 11.970 * [backup-simplify]: Simplify 0 into 0 11.970 * [backup-simplify]: Simplify 1 into 1 11.970 * [backup-simplify]: Simplify (/ -1 1) into -1 11.970 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.970 * [taylor]: Taking taylor expansion of -1 in x 11.970 * [backup-simplify]: Simplify -1 into -1 11.970 * [taylor]: Taking taylor expansion of x in x 11.970 * [backup-simplify]: Simplify 0 into 0 11.970 * [backup-simplify]: Simplify 1 into 1 11.971 * [backup-simplify]: Simplify (/ -1 1) into -1 11.971 * [taylor]: Taking taylor expansion of (- 1.0) in x 11.971 * [taylor]: Taking taylor expansion of 1.0 in x 11.971 * [backup-simplify]: Simplify 1.0 into 1.0 11.971 * [backup-simplify]: Simplify (* -1 -1) into 1 11.971 * [backup-simplify]: Simplify (+ 1 0) into 1 11.972 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 11.972 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x 11.972 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x 11.972 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0)) 11.972 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 11.972 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.972 * [taylor]: Taking taylor expansion of -1 in x 11.972 * [backup-simplify]: Simplify -1 into -1 11.972 * [taylor]: Taking taylor expansion of x in x 11.972 * [backup-simplify]: Simplify 0 into 0 11.972 * [backup-simplify]: Simplify 1 into 1 11.972 * [backup-simplify]: Simplify (/ -1 1) into -1 11.972 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.972 * [taylor]: Taking taylor expansion of -1 in x 11.972 * [backup-simplify]: Simplify -1 into -1 11.972 * [taylor]: Taking taylor expansion of x in x 11.972 * [backup-simplify]: Simplify 0 into 0 11.972 * [backup-simplify]: Simplify 1 into 1 11.972 * [backup-simplify]: Simplify (/ -1 1) into -1 11.972 * [taylor]: Taking taylor expansion of (- 1.0) in x 11.972 * [taylor]: Taking taylor expansion of 1.0 in x 11.972 * [backup-simplify]: Simplify 1.0 into 1.0 11.973 * [backup-simplify]: Simplify (* -1 -1) into 1 11.973 * [backup-simplify]: Simplify (+ 1 0) into 1 11.973 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 11.974 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 11.974 * [backup-simplify]: Simplify 0 into 0 11.974 * [backup-simplify]: Simplify 0 into 0 11.974 * [backup-simplify]: Simplify 0 into 0 11.974 * [backup-simplify]: Simplify 0 into 0 11.974 * [backup-simplify]: Simplify 0 into 0 11.974 * [backup-simplify]: Simplify 0 into 0 11.974 * [backup-simplify]: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) (- 1.0))) into (exp (fma x x (- 1.0))) 11.974 * * * [progress]: simplifying candidates 11.975 * [simplify]: Simplifying: (expm1 (cbrt (pow (exp (fma x x (- 1.0))) 3))) (log1p (cbrt (pow (exp (fma x x (- 1.0))) 3))) (log (cbrt (pow (exp (fma x x (- 1.0))) 3))) (exp (cbrt (pow (exp (fma x x (- 1.0))) 3))) (cbrt (pow (exp (* x x)) 3)) (cbrt (pow (exp (- 1.0)) 3)) (cbrt (pow (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) 3)) (cbrt (pow (cbrt (exp (fma x x (- 1.0)))) 3)) (cbrt (pow (sqrt (exp (fma x x (- 1.0)))) 3)) (cbrt (pow (sqrt (exp (fma x x (- 1.0)))) 3)) (cbrt (pow 1 3)) (cbrt (pow (exp (fma x x (- 1.0))) 3)) (cbrt (* (exp (fma x x (- 1.0))) (exp (fma x x (- 1.0))))) (cbrt (exp (fma x x (- 1.0)))) (cbrt (* (cbrt (pow (exp (fma x x (- 1.0))) 3)) (cbrt (pow (exp (fma x x (- 1.0))) 3)))) (cbrt (cbrt (pow (exp (fma x x (- 1.0))) 3))) (cbrt (pow (exp (* x x)) 3)) (cbrt (pow (exp (- 1.0)) 3)) (cbrt (pow (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) 3)) (cbrt (pow (cbrt (exp (fma x x (- 1.0)))) 3)) (cbrt (pow (sqrt (exp (fma x x (- 1.0)))) 3)) (cbrt (pow (sqrt (exp (fma x x (- 1.0)))) 3)) (cbrt (pow 1 3)) (cbrt (pow (exp (fma x x (- 1.0))) 3)) (cbrt (exp (fma x x (- 1.0)))) (cbrt (* (exp (fma x x (- 1.0))) (exp (fma x x (- 1.0))))) (cbrt (sqrt (pow (exp (fma x x (- 1.0))) 3))) (cbrt (sqrt (pow (exp (fma x x (- 1.0))) 3))) (cbrt 1) (cbrt (pow (exp (fma x x (- 1.0))) 3)) (cbrt (pow (exp (fma x x (- 1.0))) (/ 3 2))) (cbrt (pow (exp (fma x x (- 1.0))) (/ 3 2))) (* (cbrt (cbrt (pow (exp (fma x x (- 1.0))) 3))) (cbrt (cbrt (pow (exp (fma x x (- 1.0))) 3)))) (cbrt (cbrt (pow (exp (fma x x (- 1.0))) 3))) (* (* (cbrt (pow (exp (fma x x (- 1.0))) 3)) (cbrt (pow (exp (fma x x (- 1.0))) 3))) (cbrt (pow (exp (fma x x (- 1.0))) 3))) (sqrt (cbrt (pow (exp (fma x x (- 1.0))) 3))) (sqrt (cbrt (pow (exp (fma x x (- 1.0))) 3))) (expm1 (pow (exp (fma x x (- 1.0))) 3)) (log1p (pow (exp (fma x x (- 1.0))) 3)) (* (fma x x (- 1.0)) 3) (* (log (exp (fma x x (- 1.0)))) 3) (* 1 3) (* (cbrt (fma x x (- 1.0))) 3) (* (sqrt (fma x x (- 1.0))) 3) (* (fma x x (- 1.0)) 3) (pow (exp (fma x x (- 1.0))) (* (cbrt 3) (cbrt 3))) (pow (exp (fma x x (- 1.0))) (sqrt 3)) (pow (exp (fma x x (- 1.0))) 1) (pow (exp (* x x)) 3) (pow (exp (- 1.0)) 3) (pow (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) 3) (pow (cbrt (exp (fma x x (- 1.0)))) 3) (pow (sqrt (exp (fma x x (- 1.0)))) 3) (pow (sqrt (exp (fma x x (- 1.0)))) 3) (pow 1 3) (pow (exp (fma x x (- 1.0))) 3) (* (exp (fma x x (- 1.0))) (exp (fma x x (- 1.0)))) (log (pow (exp (fma x x (- 1.0))) 3)) (exp (pow (exp (fma x x (- 1.0))) 3)) (* (cbrt (pow (exp (fma x x (- 1.0))) 3)) (cbrt (pow (exp (fma x x (- 1.0))) 3))) (cbrt (pow (exp (fma x x (- 1.0))) 3)) (* (* (pow (exp (fma x x (- 1.0))) 3) (pow (exp (fma x x (- 1.0))) 3)) (pow (exp (fma x x (- 1.0))) 3)) (pow (exp (* x x)) 3) (pow (exp (- 1.0)) 3) (pow (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) 3) (pow (cbrt (exp (fma x x (- 1.0)))) 3) (pow (sqrt (exp (fma x x (- 1.0)))) 3) (pow (sqrt (exp (fma x x (- 1.0)))) 3) (pow 1 3) (pow (exp (fma x x (- 1.0))) 3) (* (exp (fma x x (- 1.0))) (exp (fma x x (- 1.0)))) (sqrt (pow (exp (fma x x (- 1.0))) 3)) (sqrt (pow (exp (fma x x (- 1.0))) 3)) (pow (exp (fma x x (- 1.0))) (/ 3 2)) (pow (exp (fma x x (- 1.0))) (/ 3 2)) (expm1 (exp (fma x x (- 1.0)))) (log1p (exp (fma x x (- 1.0)))) (exp (* (cbrt (fma x x (- 1.0))) (cbrt (fma x x (- 1.0))))) (exp (sqrt (fma x x (- 1.0)))) (exp 1) (exp (* x x)) (exp (- 1.0)) (log (exp (fma x x (- 1.0)))) (exp (exp (fma x x (- 1.0)))) (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) (cbrt (exp (fma x x (- 1.0)))) (* (* (exp (fma x x (- 1.0))) (exp (fma x x (- 1.0)))) (exp (fma x x (- 1.0)))) (sqrt (exp (fma x x (- 1.0)))) (sqrt (exp (fma x x (- 1.0)))) (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0)))))) (exp (fma x x (- 1.0))) (exp (fma x x (- 1.0))) (+ (pow (exp (- 1.0)) 3) (+ (* 9/2 (* (pow x 4) (pow (exp (- 1.0)) 3))) (* 3 (* (pow x 2) (pow (exp (- 1.0)) 3))))) (pow (exp (fma x x (- 1.0))) 3) (pow (exp (fma x x (- 1.0))) 3) (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0)))))) (exp (fma x x (- 1.0))) (exp (fma x x (- 1.0))) 11.977 * * [simplify]: Extracting # 0 : cost 0 11.977 * * [simplify]: Extracting # 1 : cost 0 11.977 * * [simplify]: Extracting # 2 : cost 0 11.977 * * [simplify]: Extracting # 3 : cost 0 11.977 * * [simplify]: Extracting # 4 : cost 0 11.977 * * [simplify]: Extracting # 5 : cost 0 11.977 * * [simplify]: Extracting # 6 : cost 0 11.977 * * [simplify]: Extracting # 7 : cost 0 11.977 * * [simplify]: Extracting # 8 : cost 0 11.978 * * [simplify]: Extracting # 9 : cost 0 11.978 * * [simplify]: Extracting # 10 : cost 0 11.978 * * [simplify]: iteration 0 : 90 enodes (cost 975 ) 12.006 * * [simplify]: Extracting # 0 : cost 0 12.007 * * [simplify]: Extracting # 1 : cost 0 12.007 * * [simplify]: Extracting # 2 : cost 0 12.007 * * [simplify]: Extracting # 3 : cost 0 12.007 * * [simplify]: Extracting # 4 : cost 0 12.007 * * [simplify]: iteration 1 : 185 enodes (cost 778 ) 12.072 * * [simplify]: Extracting # 0 : cost 0 12.073 * * [simplify]: Extracting # 1 : cost 0 12.074 * * [simplify]: Extracting # 2 : cost 0 12.074 * * [simplify]: Extracting # 3 : cost 0 12.075 * * [simplify]: Extracting # 4 : cost 0 12.076 * * [simplify]: iteration 2 : 531 enodes (cost 714 ) 12.794 * * [simplify]: Extracting # 0 : cost 0 12.799 * * [simplify]: Extracting # 1 : cost 0 12.804 * * [simplify]: Extracting # 2 : cost 0 12.808 * * [simplify]: Extracting # 3 : cost 0 12.813 * * [simplify]: Extracting # 4 : cost 0 12.818 * * [simplify]: iteration 3 : 3076 enodes (cost 693 ) 14.465 * * [simplify]: Extracting # 0 : cost 0 14.472 * * [simplify]: Extracting # 1 : cost 0 14.477 * * [simplify]: Extracting # 2 : cost 0 14.483 * * [simplify]: Extracting # 3 : cost 0 14.490 * * [simplify]: Extracting # 4 : cost 0 14.500 * * [simplify]: iteration done: 5000 enodes (cost 690 ) 14.501 * [simplify]: Simplified to: (expm1 (exp (fma x x (- 1.0)))) (log1p (exp (fma x x (- 1.0)))) (fma x x (- 1.0)) (exp (exp (fma x x (- 1.0)))) (exp (* x x)) (exp (- 1.0)) (cbrt (exp (* 2 (fma x x (- 1.0))))) (cbrt (exp (fma x x (- 1.0)))) (sqrt (exp (fma x x (- 1.0)))) (sqrt (exp (fma x x (- 1.0)))) 1 (exp (fma x x (- 1.0))) (cbrt (exp (* 2 (fma x x (- 1.0))))) (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (* 2 (fma x x (- 1.0))))) (cbrt (exp (fma x x (- 1.0)))) (exp (* x x)) (exp (- 1.0)) (cbrt (exp (* 2 (fma x x (- 1.0))))) (cbrt (exp (fma x x (- 1.0)))) (sqrt (exp (fma x x (- 1.0)))) (sqrt (exp (fma x x (- 1.0)))) 1 (exp (fma x x (- 1.0))) (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (* 2 (fma x x (- 1.0))))) (cbrt (sqrt (pow (exp (fma x x (- 1.0))) 3))) (cbrt (sqrt (pow (exp (fma x x (- 1.0))) 3))) 1 (exp (fma x x (- 1.0))) (sqrt (exp (fma x x (- 1.0)))) (sqrt (exp (fma x x (- 1.0)))) (cbrt (exp (* 2 (fma x x (- 1.0))))) (cbrt (exp (fma x x (- 1.0)))) (pow (exp (fma x x (- 1.0))) 3) (sqrt (exp (fma x x (- 1.0)))) (sqrt (exp (fma x x (- 1.0)))) (expm1 (pow (exp (fma x x (- 1.0))) 3)) (log1p (pow (exp (fma x x (- 1.0))) 3)) (* 3 (fma x x (- 1.0))) (* 3 (fma x x (- 1.0))) 3 (* (cbrt (fma x x (- 1.0))) 3) (* (sqrt (fma x x (- 1.0))) 3) (* 3 (fma x x (- 1.0))) (pow (exp (fma x x (- 1.0))) (* (cbrt 3) (cbrt 3))) (pow (exp (fma x x (- 1.0))) (sqrt 3)) (exp (fma x x (- 1.0))) (pow (exp (* x x)) 3) (pow (exp (- 1.0)) 3) (exp (* 2 (fma x x (- 1.0)))) (exp (fma x x (- 1.0))) (pow (exp (fma x x (- 1.0))) 3/2) (pow (exp (fma x x (- 1.0))) 3/2) 1 (pow (exp (fma x x (- 1.0))) 3) (exp (* 2 (fma x x (- 1.0)))) (* 3 (fma x x (- 1.0))) (exp (pow (exp (fma x x (- 1.0))) 3)) (exp (* 2 (fma x x (- 1.0)))) (exp (fma x x (- 1.0))) (pow (pow (exp (fma x x (- 1.0))) 3) 3) (pow (exp (* x x)) 3) (pow (exp (- 1.0)) 3) (exp (* 2 (fma x x (- 1.0)))) (exp (fma x x (- 1.0))) (pow (exp (fma x x (- 1.0))) 3/2) (pow (exp (fma x x (- 1.0))) 3/2) 1 (pow (exp (fma x x (- 1.0))) 3) (exp (* 2 (fma x x (- 1.0)))) (sqrt (pow (exp (fma x x (- 1.0))) 3)) (sqrt (pow (exp (fma x x (- 1.0))) 3)) (pow (exp (fma x x (- 1.0))) 3/2) (pow (exp (fma x x (- 1.0))) 3/2) (expm1 (exp (fma x x (- 1.0)))) (log1p (exp (fma x x (- 1.0)))) (exp (* (cbrt (fma x x (- 1.0))) (cbrt (fma x x (- 1.0))))) (exp (sqrt (fma x x (- 1.0)))) E (exp (* x x)) (exp (- 1.0)) (fma x x (- 1.0)) (exp (exp (fma x x (- 1.0)))) (cbrt (exp (* 2 (fma x x (- 1.0))))) (cbrt (exp (fma x x (- 1.0)))) (pow (exp (fma x x (- 1.0))) 3) (sqrt (exp (fma x x (- 1.0)))) (sqrt (exp (fma x x (- 1.0)))) (* (exp (- 1.0)) (fma x x (fma (pow x 4) 1/2 1))) (exp (fma x x (- 1.0))) (exp (fma x x (- 1.0))) (* (pow (exp (- 1.0)) 3) (fma (* 3 x) x (fma (pow x 4) 9/2 1))) (pow (exp (fma x x (- 1.0))) 3) (pow (exp (fma x x (- 1.0))) 3) (* (exp (- 1.0)) (fma x x (fma (pow x 4) 1/2 1))) (exp (fma x x (- 1.0))) (exp (fma x x (- 1.0))) 14.502 * * * [progress]: adding candidates to table 14.644 * [progress]: [Phase 3 of 3] Extracting. 14.644 * * [regime]: Finding splitpoints for: (# #) 14.644 * * * [regime-changes]: Trying 1 branch expressions: (x) 14.644 * * * * [regimes]: Trying to branch on x from (# #) 14.656 * * * [regime]: Found split indices: #