2.272 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.020 * [progress]: [Phase 2 of 3] Improving. 0.021 * [simplify]: Simplifying using # : (exp (- (- 1.0 (* x x)))) 0.021 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.022 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.024 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 0.027 * * [simplify]: iteration 3 : 45 enodes (cost 7 ) 0.033 * * [simplify]: iteration 4 : 77 enodes (cost 6 ) 0.048 * * [simplify]: iteration 5 : 148 enodes (cost 6 ) 0.097 * * [simplify]: iteration 6 : 420 enodes (cost 6 ) 0.566 * * [simplify]: iteration 7 : 1498 enodes (cost 6 ) 6.142 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 6.142 * [simplify]: Simplified to: (exp (- (* x x) 1.0)) 6.149 * * [progress]: iteration 1 / 4 6.149 * * * [progress]: picking best candidate 6.151 * * * * [pick]: Picked # 6.151 * * * [progress]: localizing error 6.156 * * * [progress]: generating rewritten candidates 6.156 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 6.168 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 6.171 * * * [progress]: generating series expansions 6.171 * * * * [progress]: [ 1 / 2 ] generating series at (2) 6.172 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0 6.172 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 6.172 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 6.172 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.172 * [taylor]: Taking taylor expansion of x in x 6.172 * [taylor]: Taking taylor expansion of 1.0 in x 6.173 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 6.173 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 6.173 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.173 * [taylor]: Taking taylor expansion of x in x 6.173 * [taylor]: Taking taylor expansion of 1.0 in x 6.191 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 6.191 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 6.191 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 6.191 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 6.191 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.191 * [taylor]: Taking taylor expansion of x in x 6.192 * [taylor]: Taking taylor expansion of 1.0 in x 6.192 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 6.192 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 6.192 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 6.192 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.192 * [taylor]: Taking taylor expansion of x in x 6.193 * [taylor]: Taking taylor expansion of 1.0 in x 6.194 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 6.194 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 6.194 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 6.194 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 6.194 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.194 * [taylor]: Taking taylor expansion of x in x 6.194 * [taylor]: Taking taylor expansion of 1.0 in x 6.195 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 6.195 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 6.195 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 6.195 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.195 * [taylor]: Taking taylor expansion of x in x 6.195 * [taylor]: Taking taylor expansion of 1.0 in x 6.196 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 6.196 * [approximate]: Taking taylor expansion of (- 1.0 (pow x 2)) in (x) around 0 6.196 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 6.196 * [taylor]: Taking taylor expansion of 1.0 in x 6.196 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.196 * [taylor]: Taking taylor expansion of x in x 6.196 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 6.196 * [taylor]: Taking taylor expansion of 1.0 in x 6.196 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.196 * [taylor]: Taking taylor expansion of x in x 6.204 * [approximate]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in (x) around 0 6.204 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 6.204 * [taylor]: Taking taylor expansion of 1.0 in x 6.204 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 6.204 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.204 * [taylor]: Taking taylor expansion of x in x 6.204 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 6.204 * [taylor]: Taking taylor expansion of 1.0 in x 6.204 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 6.204 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.204 * [taylor]: Taking taylor expansion of x in x 6.218 * [approximate]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in (x) around 0 6.218 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 6.218 * [taylor]: Taking taylor expansion of 1.0 in x 6.218 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 6.218 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.218 * [taylor]: Taking taylor expansion of x in x 6.219 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 6.219 * [taylor]: Taking taylor expansion of 1.0 in x 6.219 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 6.219 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.219 * [taylor]: Taking taylor expansion of x in x 6.236 * * * [progress]: simplifying candidates 6.236 * [simplify]: Simplifying using # : (expm1 (exp (- (- 1.0 (* x x))))) (log1p (exp (- (- 1.0 (* x x))))) (exp (* (cbrt (- (- 1.0 (* x x)))) (cbrt (- (- 1.0 (* x x)))))) (exp (sqrt (- (- 1.0 (* x x))))) (exp 1) (exp -1) (exp (- (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (exp (- (sqrt (- 1.0 (* x x))))) (exp (- 1)) (exp (- (+ (sqrt 1.0) x))) (exp (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x))))) (exp (sqrt (- 1.0 (* x x)))) (exp 1) (exp (+ (sqrt 1.0) x)) (exp (- (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x x))))) (exp (- (fma (- x) x (* x x)))) (exp (- (fma (sqrt 1.0) (sqrt 1.0) (- (* x x))))) (exp (- (fma (- x) x (* x x)))) (exp (- (fma 1 1.0 (- (* x x))))) (exp (- (fma (- x) x (* x x)))) (exp (- 1.0)) (exp (- (- (* x x)))) (exp (- 1.0)) (exp (- (- (* x x)))) (exp (- 1.0 (* x x))) (exp 0) (exp (- 1.0 (* x x))) (log (exp (- (- 1.0 (* x x))))) (exp (exp (- (- 1.0 (* x x))))) (* (cbrt (exp (- (- 1.0 (* x x))))) (cbrt (exp (- (- 1.0 (* x x)))))) (cbrt (exp (- (- 1.0 (* x x))))) (* (* (exp (- (- 1.0 (* x x)))) (exp (- (- 1.0 (* x x))))) (exp (- (- 1.0 (* x x))))) (sqrt (exp (- (- 1.0 (* x x))))) (sqrt (exp (- (- 1.0 (* x x))))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x x))) (fma (- x) x (* x x)) (fma (sqrt 1.0) (sqrt 1.0) (- (* x x))) (fma (- x) x (* x x)) (fma 1 1.0 (- (* x x))) (fma (- x) x (* x x)) (expm1 (- 1.0 (* x x))) (log1p (- 1.0 (* x x))) (- (* x x)) (- (* x x)) (- (* x x)) (/ (exp 1.0) (exp (* x x))) (log (- 1.0 (* x x))) (exp (- 1.0 (* x x))) (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))) (cbrt (- 1.0 (* x x))) (* (* (- 1.0 (* x x)) (- 1.0 (* x x))) (- 1.0 (* x x))) (sqrt (- 1.0 (* x x))) (sqrt (- 1.0 (* x x))) (- (pow 1.0 3) (pow (* x x) 3)) (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x)))) (- (* x x)) (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)) (+ (sqrt 1.0) x) (- (sqrt 1.0) x) (- (* x x)) (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0)))))) (exp (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0)) (- 1.0 (pow x 2)) (- 1.0 (pow x 2)) (- 1.0 (pow x 2)) 6.239 * * [simplify]: iteration 0 : 96 enodes (cost 523 ) 6.254 * * [simplify]: iteration 1 : 196 enodes (cost 505 ) 6.301 * * [simplify]: iteration 2 : 482 enodes (cost 436 ) 6.578 * * [simplify]: iteration 3 : 1707 enodes (cost 390 ) 7.843 * * [simplify]: iteration done : 5000 enodes (cost 389 ) 7.844 * [simplify]: Simplified to: (expm1 (exp (- (* x x) 1.0))) (log1p (exp (- (* x x) 1.0))) (pow (exp (cbrt (- (* x x) 1.0))) (cbrt (- (* x x) 1.0))) (exp (sqrt (- (* x x) 1.0))) E (exp -1) (exp (- (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (exp (- (sqrt (- 1.0 (* x x))))) (exp -1) (exp (- (+ (sqrt 1.0) x))) (exp (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x))))) (exp (sqrt (- 1.0 (* x x)))) E (exp (+ (sqrt 1.0) x)) (exp (- (pow x 2) (pow (cbrt 1.0) 3))) 1 (exp (- (pow x 2) 1.0)) 1 (exp (- (pow x 2) 1.0)) 1 (exp (- 1.0)) (pow (exp x) x) (exp (- 1.0)) (pow (exp x) x) (exp (- 1.0 (* x x))) 1 (exp (- 1.0 (* x x))) (- (* x x) 1.0) (exp (exp (- (pow x 2) 1.0))) (* (cbrt (exp (- (* x x) 1.0))) (cbrt (exp (- (* x x) 1.0)))) (cbrt (exp (- (* x x) 1.0))) (pow (exp (- (pow x 2) 1.0)) 3) (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) (- (pow (cbrt 1.0) 3) (* x x)) 0 (- 1.0 (pow x 2)) 0 (- 1.0 (pow x 2)) 0 (expm1 (- 1.0 (* x x))) (log1p (- 1.0 (* x x))) (- (pow x 2)) (- (pow x 2)) (- (pow x 2)) (exp (- 1.0 (* x x))) (log (- 1.0 (* x x))) (exp (- 1.0 (* x x))) (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))) (cbrt (- 1.0 (* x x))) (pow (- 1.0 (* x x)) 3) (sqrt (- 1.0 (* x x))) (sqrt (- 1.0 (* x x))) (- (pow 1.0 3) (pow x 6)) (+ (pow x 4) (* (fma x x 1.0) 1.0)) (- (pow x 2)) (- (* 1.0 1.0) (pow x 4)) (fma x x 1.0) (+ (sqrt 1.0) x) (- (sqrt 1.0) x) (- (pow x 2)) (* (exp (- 1.0)) (+ (* 1/2 (pow x 4)) (fma x x 1))) (exp (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0)) (- 1.0 (pow x 2)) (- 1.0 (pow x 2)) (- 1.0 (pow x 2)) 7.844 * * * [progress]: adding candidates to table 7.959 * * [progress]: iteration 2 / 4 7.959 * * * [progress]: picking best candidate 7.964 * * * * [pick]: Picked # 7.964 * * * [progress]: localizing error 7.971 * * * [progress]: generating rewritten candidates 7.971 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 7.993 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 1) 7.997 * * * [progress]: generating series expansions 7.997 * * * * [progress]: [ 1 / 2 ] generating series at (2) 7.997 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0 7.997 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 7.997 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 7.997 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.997 * [taylor]: Taking taylor expansion of x in x 7.997 * [taylor]: Taking taylor expansion of 1.0 in x 7.999 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 7.999 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 7.999 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.999 * [taylor]: Taking taylor expansion of x in x 7.999 * [taylor]: Taking taylor expansion of 1.0 in x 8.019 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 8.019 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 8.019 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 8.019 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.019 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.019 * [taylor]: Taking taylor expansion of x in x 8.019 * [taylor]: Taking taylor expansion of 1.0 in x 8.020 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 8.020 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 8.020 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.020 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.020 * [taylor]: Taking taylor expansion of x in x 8.020 * [taylor]: Taking taylor expansion of 1.0 in x 8.021 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 8.021 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 8.021 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 8.021 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.021 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.021 * [taylor]: Taking taylor expansion of x in x 8.022 * [taylor]: Taking taylor expansion of 1.0 in x 8.022 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 8.022 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 8.022 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.022 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.022 * [taylor]: Taking taylor expansion of x in x 8.023 * [taylor]: Taking taylor expansion of 1.0 in x 8.023 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 1) 8.023 * [approximate]: Taking taylor expansion of (- 1.0 (pow x 2)) in (x) around 0 8.023 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 8.023 * [taylor]: Taking taylor expansion of 1.0 in x 8.023 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.024 * [taylor]: Taking taylor expansion of x in x 8.024 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 8.024 * [taylor]: Taking taylor expansion of 1.0 in x 8.024 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.024 * [taylor]: Taking taylor expansion of x in x 8.031 * [approximate]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in (x) around 0 8.031 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 8.031 * [taylor]: Taking taylor expansion of 1.0 in x 8.031 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.031 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.031 * [taylor]: Taking taylor expansion of x in x 8.032 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 8.032 * [taylor]: Taking taylor expansion of 1.0 in x 8.032 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.032 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.032 * [taylor]: Taking taylor expansion of x in x 8.046 * [approximate]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in (x) around 0 8.046 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 8.046 * [taylor]: Taking taylor expansion of 1.0 in x 8.046 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.046 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.046 * [taylor]: Taking taylor expansion of x in x 8.046 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 8.046 * [taylor]: Taking taylor expansion of 1.0 in x 8.046 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.046 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.046 * [taylor]: Taking taylor expansion of x in x 8.060 * * * [progress]: simplifying candidates 8.061 * [simplify]: Simplifying using # : (expm1 (exp (- (pow (- 1.0 (* x x)) 1)))) (log1p (exp (- (pow (- 1.0 (* x x)) 1)))) (exp (* (cbrt (- (pow (- 1.0 (* x x)) 1))) (cbrt (- (pow (- 1.0 (* x x)) 1))))) (exp (sqrt (- (pow (- 1.0 (* x x)) 1)))) (exp 1) (exp -1) (exp (- (pow (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))) 1))) (exp (- (pow (sqrt (- 1.0 (* x x))) 1))) (exp (- (pow 1 1))) (exp (- (pow (+ (sqrt 1.0) x) 1))) (exp (- (* (cbrt (pow (- 1.0 (* x x)) 1)) (cbrt (pow (- 1.0 (* x x)) 1))))) (exp (- (sqrt (pow (- 1.0 (* x x)) 1)))) (exp (- 1)) (exp (- (pow (- 1.0 (* x x)) (/ 1 2)))) (exp (pow (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))) 1)) (exp (pow (sqrt (- 1.0 (* x x))) 1)) (exp (pow 1 1)) (exp (pow (+ (sqrt 1.0) x) 1)) (exp (* (cbrt (pow (- 1.0 (* x x)) 1)) (cbrt (pow (- 1.0 (* x x)) 1)))) (exp (sqrt (pow (- 1.0 (* x x)) 1))) (exp 1) (exp (pow (- 1.0 (* x x)) (/ 1 2))) (exp (pow (- 1.0 (* x x)) 1)) (exp 0) (exp (pow (- 1.0 (* x x)) 1)) (log (exp (- (pow (- 1.0 (* x x)) 1)))) (exp (exp (- (pow (- 1.0 (* x x)) 1)))) (* (cbrt (exp (- (pow (- 1.0 (* x x)) 1)))) (cbrt (exp (- (pow (- 1.0 (* x x)) 1))))) (cbrt (exp (- (pow (- 1.0 (* x x)) 1)))) (* (* (exp (- (pow (- 1.0 (* x x)) 1))) (exp (- (pow (- 1.0 (* x x)) 1)))) (exp (- (pow (- 1.0 (* x x)) 1)))) (sqrt (exp (- (pow (- 1.0 (* x x)) 1)))) (sqrt (exp (- (pow (- 1.0 (* x x)) 1)))) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x x))) (fma (- x) x (* x x)) (fma (sqrt 1.0) (sqrt 1.0) (- (* x x))) (fma (- x) x (* x x)) (fma 1 1.0 (- (* x x))) (fma (- x) x (* x x)) (expm1 (- 1.0 (* x x))) (log1p (- 1.0 (* x x))) (- (* x x)) (- (* x x)) (- (* x x)) (/ (exp 1.0) (exp (* x x))) (log (- 1.0 (* x x))) (exp (- 1.0 (* x x))) (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))) (cbrt (- 1.0 (* x x))) (* (* (- 1.0 (* x x)) (- 1.0 (* x x))) (- 1.0 (* x x))) (sqrt (- 1.0 (* x x))) (sqrt (- 1.0 (* x x))) (- (pow 1.0 3) (pow (* x x) 3)) (+ (* 1.0 1.0) (+ (* (* x x) (* x x)) (* 1.0 (* x x)))) (- (* x x)) (- (* 1.0 1.0) (* (* x x) (* x x))) (+ 1.0 (* x x)) (+ (sqrt 1.0) x) (- (sqrt 1.0) x) (- (* x x)) (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0)))))) (exp (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0)) (- 1.0 (pow x 2)) (- 1.0 (pow x 2)) (- 1.0 (pow x 2)) 8.064 * * [simplify]: iteration 0 : 109 enodes (cost 576 ) 8.088 * * [simplify]: iteration 1 : 211 enodes (cost 494 ) 8.136 * * [simplify]: iteration 2 : 523 enodes (cost 450 ) 8.357 * * [simplify]: iteration 3 : 1729 enodes (cost 428 ) 9.278 * * [simplify]: iteration done : 5000 enodes (cost 425 ) 9.279 * [simplify]: Simplified to: (expm1 (exp (- (pow x 2) 1.0))) (log1p (exp (- (pow x 2) 1.0))) (exp (* (cbrt (- (pow x 2) 1.0)) (cbrt (- (pow x 2) 1.0)))) (exp (sqrt (- (pow x 2) 1.0))) E (exp -1) (exp (- (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (exp (- (sqrt (- 1.0 (* x x))))) (exp -1) (exp (- (+ (sqrt 1.0) x))) (exp (- (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))))) (exp (- (sqrt (- 1.0 (* x x))))) (exp -1) (exp (- (sqrt (- 1.0 (* x x))))) (exp (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x))))) (exp (sqrt (- 1.0 (* x x)))) E (exp (+ (sqrt 1.0) x)) (exp (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x))))) (exp (sqrt (- 1.0 (* x x)))) E (exp (sqrt (- 1.0 (* x x)))) (exp (- 1.0 (pow x 2))) 1 (exp (- 1.0 (pow x 2))) (fma x x (- 1.0)) (exp (exp (- (pow x 2) 1.0))) (* (cbrt (exp (- (pow x 2) 1.0))) (cbrt (exp (- (pow x 2) 1.0)))) (cbrt (exp (- (pow x 2) 1.0))) (pow (exp (- (pow x 2) 1.0)) 3) (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) (fma (- x) x (pow (cbrt 1.0) 3)) (* (- x x) x) (fma x (- x) 1.0) (* (- x x) x) (fma x (- x) 1.0) (* (- x x) x) (expm1 (- 1.0 (* x x))) (log1p (- 1.0 (* x x))) (- (* x x)) (- (* x x)) (- (* x x)) (exp (- 1.0 (pow x 2))) (log (- 1.0 (* x x))) (exp (- 1.0 (pow x 2))) (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x)))) (cbrt (- 1.0 (* x x))) (pow (- 1.0 (* x x)) 3) (sqrt (- 1.0 (* x x))) (sqrt (- 1.0 (* x x))) (- (pow 1.0 3) (pow x 6)) (+ (pow x 4) (* (fma x x 1.0) 1.0)) (- (* x x)) (fma 1.0 1.0 (- (pow x 4))) (fma x x 1.0) (+ (sqrt 1.0) x) (- (sqrt 1.0) x) (- (* x x)) (* (exp (- 1.0)) (+ (fma (pow x 4) 1/2 1) (pow x 2))) (exp (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0)) (fma x (- x) 1.0) (fma x (- x) 1.0) (fma x (- x) 1.0) 9.279 * * * [progress]: adding candidates to table 9.413 * * [progress]: iteration 3 / 4 9.413 * * * [progress]: picking best candidate 9.416 * * * * [pick]: Picked # 9.416 * * * [progress]: localizing error 9.428 * * * [progress]: generating rewritten candidates 9.428 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 9.428 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 9.428 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 9.451 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 9.465 * * * [progress]: generating series expansions 9.465 * * * * [progress]: [ 1 / 4 ] generating series at (2) 9.465 * [approximate]: Taking taylor expansion of (expm1 (log1p (exp (- (pow x 2) 1.0)))) in (x) around 0 9.465 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (- (pow x 2) 1.0)))) in x 9.465 * [taylor]: Rewrote expression to (- (exp (log1p (exp (- (pow x 2) 1.0)))) 1) 9.465 * [taylor]: Taking taylor expansion of (exp (log1p (exp (- (pow x 2) 1.0)))) in x 9.466 * [taylor]: Taking taylor expansion of (log1p (exp (- (pow x 2) 1.0))) in x 9.466 * [taylor]: Rewrote expression to (log (+ 1 (exp (- (pow x 2) 1.0)))) 9.466 * [taylor]: Taking taylor expansion of (+ 1 (exp (- (pow x 2) 1.0))) in x 9.466 * [taylor]: Taking taylor expansion of 1 in x 9.466 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 9.466 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 9.466 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.466 * [taylor]: Taking taylor expansion of x in x 9.466 * [taylor]: Taking taylor expansion of 1.0 in x 9.471 * [taylor]: Taking taylor expansion of 1 in x 9.471 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (- (pow x 2) 1.0)))) in x 9.471 * [taylor]: Rewrote expression to (- (exp (log1p (exp (- (pow x 2) 1.0)))) 1) 9.471 * [taylor]: Taking taylor expansion of (exp (log1p (exp (- (pow x 2) 1.0)))) in x 9.471 * [taylor]: Taking taylor expansion of (log1p (exp (- (pow x 2) 1.0))) in x 9.471 * [taylor]: Rewrote expression to (log (+ 1 (exp (- (pow x 2) 1.0)))) 9.471 * [taylor]: Taking taylor expansion of (+ 1 (exp (- (pow x 2) 1.0))) in x 9.471 * [taylor]: Taking taylor expansion of 1 in x 9.471 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 9.471 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 9.472 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.472 * [taylor]: Taking taylor expansion of x in x 9.472 * [taylor]: Taking taylor expansion of 1.0 in x 9.477 * [taylor]: Taking taylor expansion of 1 in x 9.589 * [approximate]: Taking taylor expansion of (expm1 (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) in (x) around 0 9.589 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) in x 9.590 * [taylor]: Rewrote expression to (- (exp (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) 1) 9.590 * [taylor]: Taking taylor expansion of (exp (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) in x 9.590 * [taylor]: Taking taylor expansion of (log1p (exp (- (/ 1 (pow x 2)) 1.0))) in x 9.590 * [taylor]: Rewrote expression to (log (+ 1 (exp (- (/ 1 (pow x 2)) 1.0)))) 9.590 * [taylor]: Taking taylor expansion of (+ 1 (exp (- (/ 1 (pow x 2)) 1.0))) in x 9.590 * [taylor]: Taking taylor expansion of 1 in x 9.590 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 9.590 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 9.590 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.590 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.590 * [taylor]: Taking taylor expansion of x in x 9.590 * [taylor]: Taking taylor expansion of 1.0 in x 9.591 * [taylor]: Taking taylor expansion of 1 in x 9.591 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) in x 9.591 * [taylor]: Rewrote expression to (- (exp (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) 1) 9.591 * [taylor]: Taking taylor expansion of (exp (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) in x 9.591 * [taylor]: Taking taylor expansion of (log1p (exp (- (/ 1 (pow x 2)) 1.0))) in x 9.591 * [taylor]: Rewrote expression to (log (+ 1 (exp (- (/ 1 (pow x 2)) 1.0)))) 9.591 * [taylor]: Taking taylor expansion of (+ 1 (exp (- (/ 1 (pow x 2)) 1.0))) in x 9.591 * [taylor]: Taking taylor expansion of 1 in x 9.591 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 9.591 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 9.591 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.591 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.591 * [taylor]: Taking taylor expansion of x in x 9.592 * [taylor]: Taking taylor expansion of 1.0 in x 9.593 * [taylor]: Taking taylor expansion of 1 in x 9.627 * [approximate]: Taking taylor expansion of (expm1 (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) in (x) around 0 9.627 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) in x 9.627 * [taylor]: Rewrote expression to (- (exp (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) 1) 9.627 * [taylor]: Taking taylor expansion of (exp (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) in x 9.627 * [taylor]: Taking taylor expansion of (log1p (exp (- (/ 1 (pow x 2)) 1.0))) in x 9.627 * [taylor]: Rewrote expression to (log (+ 1 (exp (- (/ 1 (pow x 2)) 1.0)))) 9.627 * [taylor]: Taking taylor expansion of (+ 1 (exp (- (/ 1 (pow x 2)) 1.0))) in x 9.627 * [taylor]: Taking taylor expansion of 1 in x 9.627 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 9.627 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 9.627 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.627 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.627 * [taylor]: Taking taylor expansion of x in x 9.628 * [taylor]: Taking taylor expansion of 1.0 in x 9.629 * [taylor]: Taking taylor expansion of 1 in x 9.629 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) in x 9.629 * [taylor]: Rewrote expression to (- (exp (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) 1) 9.629 * [taylor]: Taking taylor expansion of (exp (log1p (exp (- (/ 1 (pow x 2)) 1.0)))) in x 9.629 * [taylor]: Taking taylor expansion of (log1p (exp (- (/ 1 (pow x 2)) 1.0))) in x 9.629 * [taylor]: Rewrote expression to (log (+ 1 (exp (- (/ 1 (pow x 2)) 1.0)))) 9.629 * [taylor]: Taking taylor expansion of (+ 1 (exp (- (/ 1 (pow x 2)) 1.0))) in x 9.629 * [taylor]: Taking taylor expansion of 1 in x 9.629 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 9.629 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 9.629 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.629 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.629 * [taylor]: Taking taylor expansion of x in x 9.630 * [taylor]: Taking taylor expansion of 1.0 in x 9.630 * [taylor]: Taking taylor expansion of 1 in x 9.670 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 9.670 * [approximate]: Taking taylor expansion of (log1p (exp (- (pow x 2) 1.0))) in (x) around 0 9.670 * [taylor]: Taking taylor expansion of (log1p (exp (- (pow x 2) 1.0))) in x 9.670 * [taylor]: Rewrote expression to (log (+ 1 (exp (- (pow x 2) 1.0)))) 9.670 * [taylor]: Taking taylor expansion of (+ 1 (exp (- (pow x 2) 1.0))) in x 9.671 * [taylor]: Taking taylor expansion of 1 in x 9.671 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 9.671 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 9.671 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.671 * [taylor]: Taking taylor expansion of x in x 9.671 * [taylor]: Taking taylor expansion of 1.0 in x 9.674 * [taylor]: Taking taylor expansion of (log1p (exp (- (pow x 2) 1.0))) in x 9.674 * [taylor]: Rewrote expression to (log (+ 1 (exp (- (pow x 2) 1.0)))) 9.674 * [taylor]: Taking taylor expansion of (+ 1 (exp (- (pow x 2) 1.0))) in x 9.674 * [taylor]: Taking taylor expansion of 1 in x 9.674 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 9.674 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 9.674 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.675 * [taylor]: Taking taylor expansion of x in x 9.675 * [taylor]: Taking taylor expansion of 1.0 in x 9.760 * [approximate]: Taking taylor expansion of (log1p (exp (- (/ 1 (pow x 2)) 1.0))) in (x) around 0 9.761 * [taylor]: Taking taylor expansion of (log1p (exp (- (/ 1 (pow x 2)) 1.0))) in x 9.761 * [taylor]: Rewrote expression to (log (+ 1 (exp (- (/ 1 (pow x 2)) 1.0)))) 9.761 * [taylor]: Taking taylor expansion of (+ 1 (exp (- (/ 1 (pow x 2)) 1.0))) in x 9.761 * [taylor]: Taking taylor expansion of 1 in x 9.761 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 9.761 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 9.761 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.761 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.761 * [taylor]: Taking taylor expansion of x in x 9.761 * [taylor]: Taking taylor expansion of 1.0 in x 9.762 * [taylor]: Taking taylor expansion of (log1p (exp (- (/ 1 (pow x 2)) 1.0))) in x 9.762 * [taylor]: Rewrote expression to (log (+ 1 (exp (- (/ 1 (pow x 2)) 1.0)))) 9.762 * [taylor]: Taking taylor expansion of (+ 1 (exp (- (/ 1 (pow x 2)) 1.0))) in x 9.762 * [taylor]: Taking taylor expansion of 1 in x 9.762 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 9.762 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 9.762 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.762 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.762 * [taylor]: Taking taylor expansion of x in x 9.763 * [taylor]: Taking taylor expansion of 1.0 in x 9.786 * [approximate]: Taking taylor expansion of (log1p (exp (- (/ 1 (pow x 2)) 1.0))) in (x) around 0 9.786 * [taylor]: Taking taylor expansion of (log1p (exp (- (/ 1 (pow x 2)) 1.0))) in x 9.786 * [taylor]: Rewrote expression to (log (+ 1 (exp (- (/ 1 (pow x 2)) 1.0)))) 9.786 * [taylor]: Taking taylor expansion of (+ 1 (exp (- (/ 1 (pow x 2)) 1.0))) in x 9.786 * [taylor]: Taking taylor expansion of 1 in x 9.786 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 9.786 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 9.786 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.786 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.786 * [taylor]: Taking taylor expansion of x in x 9.787 * [taylor]: Taking taylor expansion of 1.0 in x 9.787 * [taylor]: Taking taylor expansion of (log1p (exp (- (/ 1 (pow x 2)) 1.0))) in x 9.787 * [taylor]: Rewrote expression to (log (+ 1 (exp (- (/ 1 (pow x 2)) 1.0)))) 9.787 * [taylor]: Taking taylor expansion of (+ 1 (exp (- (/ 1 (pow x 2)) 1.0))) in x 9.787 * [taylor]: Taking taylor expansion of 1 in x 9.787 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 9.787 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 9.788 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.788 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.788 * [taylor]: Taking taylor expansion of x in x 9.788 * [taylor]: Taking taylor expansion of 1.0 in x 9.811 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 9.811 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0 9.811 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 9.811 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 9.811 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.811 * [taylor]: Taking taylor expansion of x in x 9.811 * [taylor]: Taking taylor expansion of 1.0 in x 9.812 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 9.812 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 9.812 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.812 * [taylor]: Taking taylor expansion of x in x 9.812 * [taylor]: Taking taylor expansion of 1.0 in x 9.834 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 9.835 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 9.835 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 9.835 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.835 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.835 * [taylor]: Taking taylor expansion of x in x 9.835 * [taylor]: Taking taylor expansion of 1.0 in x 9.836 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 9.836 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 9.836 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.836 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.836 * [taylor]: Taking taylor expansion of x in x 9.836 * [taylor]: Taking taylor expansion of 1.0 in x 9.837 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 9.837 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 9.837 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 9.837 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.837 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.837 * [taylor]: Taking taylor expansion of x in x 9.838 * [taylor]: Taking taylor expansion of 1.0 in x 9.838 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 9.838 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 9.838 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.838 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.838 * [taylor]: Taking taylor expansion of x in x 9.839 * [taylor]: Taking taylor expansion of 1.0 in x 9.839 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 9.839 * [approximate]: Taking taylor expansion of (- (pow x 2) 1.0) in (x) around 0 9.839 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 9.839 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.839 * [taylor]: Taking taylor expansion of x in x 9.839 * [taylor]: Taking taylor expansion of 1.0 in x 9.839 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 9.839 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.839 * [taylor]: Taking taylor expansion of x in x 9.840 * [taylor]: Taking taylor expansion of 1.0 in x 9.848 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in (x) around 0 9.849 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 9.849 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.849 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.849 * [taylor]: Taking taylor expansion of x in x 9.849 * [taylor]: Taking taylor expansion of 1.0 in x 9.849 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 9.849 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.849 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.849 * [taylor]: Taking taylor expansion of x in x 9.850 * [taylor]: Taking taylor expansion of 1.0 in x 9.864 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in (x) around 0 9.864 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 9.864 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.864 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.864 * [taylor]: Taking taylor expansion of x in x 9.864 * [taylor]: Taking taylor expansion of 1.0 in x 9.864 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 9.864 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.864 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.864 * [taylor]: Taking taylor expansion of x in x 9.865 * [taylor]: Taking taylor expansion of 1.0 in x 9.879 * * * [progress]: simplifying candidates 9.881 * [simplify]: Simplifying using # : (exp (log1p (exp (- (pow x 2) 1.0)))) (expm1 (expm1 (log1p (exp (- (pow x 2) 1.0))))) (log1p (expm1 (log1p (exp (- (pow x 2) 1.0))))) (log (expm1 (log1p (exp (- (pow x 2) 1.0))))) (exp (expm1 (log1p (exp (- (pow x 2) 1.0))))) (* (cbrt (expm1 (log1p (exp (- (pow x 2) 1.0))))) (cbrt (expm1 (log1p (exp (- (pow x 2) 1.0)))))) (cbrt (expm1 (log1p (exp (- (pow x 2) 1.0))))) (* (* (expm1 (log1p (exp (- (pow x 2) 1.0)))) (expm1 (log1p (exp (- (pow x 2) 1.0))))) (expm1 (log1p (exp (- (pow x 2) 1.0))))) (sqrt (expm1 (log1p (exp (- (pow x 2) 1.0))))) (sqrt (expm1 (log1p (exp (- (pow x 2) 1.0))))) (+ 1 (exp (- (pow x 2) 1.0))) (expm1 (log1p (exp (- (pow x 2) 1.0)))) (log1p (log1p (exp (- (pow x 2) 1.0)))) (log (log1p (exp (- (pow x 2) 1.0)))) (exp (log1p (exp (- (pow x 2) 1.0)))) (* (cbrt (log1p (exp (- (pow x 2) 1.0)))) (cbrt (log1p (exp (- (pow x 2) 1.0))))) (cbrt (log1p (exp (- (pow x 2) 1.0)))) (* (* (log1p (exp (- (pow x 2) 1.0))) (log1p (exp (- (pow x 2) 1.0)))) (log1p (exp (- (pow x 2) 1.0)))) (sqrt (log1p (exp (- (pow x 2) 1.0)))) (sqrt (log1p (exp (- (pow x 2) 1.0)))) (expm1 (exp (- (pow x 2) 1.0))) (log1p (exp (- (pow x 2) 1.0))) (exp (* (cbrt (- (pow x 2) 1.0)) (cbrt (- (pow x 2) 1.0)))) (exp (sqrt (- (pow x 2) 1.0))) (exp 1) (exp (+ (pow (sqrt x) 2) (sqrt 1.0))) (exp (+ x (sqrt 1.0))) (exp (+ (sqrt (pow x 2)) (sqrt 1.0))) (exp (+ (pow x (/ 2 2)) (sqrt 1.0))) (exp 1) (exp (fma (pow (* (cbrt x) (cbrt x)) 2) (pow (cbrt x) 2) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))) (exp (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (exp (fma (pow (* (cbrt x) (cbrt x)) 2) (pow (cbrt x) 2) (- (* (sqrt 1.0) (sqrt 1.0))))) (exp (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))) (exp (fma (pow (* (cbrt x) (cbrt x)) 2) (pow (cbrt x) 2) (- (* 1.0 1)))) (exp (fma (- 1.0) 1 (* 1.0 1))) (exp (fma (pow (sqrt x) 2) (pow (sqrt x) 2) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))) (exp (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (exp (fma (pow (sqrt x) 2) (pow (sqrt x) 2) (- (* (sqrt 1.0) (sqrt 1.0))))) (exp (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))) (exp (fma (pow (sqrt x) 2) (pow (sqrt x) 2) (- (* 1.0 1)))) (exp (fma (- 1.0) 1 (* 1.0 1))) (exp (fma (pow 1 2) (pow x 2) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))) (exp (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (exp (fma (pow 1 2) (pow x 2) (- (* (sqrt 1.0) (sqrt 1.0))))) (exp (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))) (exp (fma (pow 1 2) (pow x 2) (- (* 1.0 1)))) (exp (fma (- 1.0) 1 (* 1.0 1))) (exp (fma x x (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))) (exp (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (exp (fma x x (- (* (sqrt 1.0) (sqrt 1.0))))) (exp (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))) (exp (fma x x (- (* 1.0 1)))) (exp (fma (- 1.0) 1 (* 1.0 1))) (exp (fma (* (cbrt (pow x 2)) (cbrt (pow x 2))) (cbrt (pow x 2)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))) (exp (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (exp (fma (* (cbrt (pow x 2)) (cbrt (pow x 2))) (cbrt (pow x 2)) (- (* (sqrt 1.0) (sqrt 1.0))))) (exp (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))) (exp (fma (* (cbrt (pow x 2)) (cbrt (pow x 2))) (cbrt (pow x 2)) (- (* 1.0 1)))) (exp (fma (- 1.0) 1 (* 1.0 1))) (exp (fma (sqrt (pow x 2)) (sqrt (pow x 2)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))) (exp (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (exp (fma (sqrt (pow x 2)) (sqrt (pow x 2)) (- (* (sqrt 1.0) (sqrt 1.0))))) (exp (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))) (exp (fma (sqrt (pow x 2)) (sqrt (pow x 2)) (- (* 1.0 1)))) (exp (fma (- 1.0) 1 (* 1.0 1))) (exp (fma 1 (pow x 2) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))) (exp (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (exp (fma 1 (pow x 2) (- (* (sqrt 1.0) (sqrt 1.0))))) (exp (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))) (exp (fma 1 (pow x 2) (- (* 1.0 1)))) (exp (fma (- 1.0) 1 (* 1.0 1))) (exp (fma (pow x (/ 2 2)) (pow x (/ 2 2)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))) (exp (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (exp (fma (pow x (/ 2 2)) (pow x (/ 2 2)) (- (* (sqrt 1.0) (sqrt 1.0))))) (exp (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))) (exp (fma (pow x (/ 2 2)) (pow x (/ 2 2)) (- (* 1.0 1)))) (exp (fma (- 1.0) 1 (* 1.0 1))) (exp (pow x 2)) (exp (- 1.0)) (exp (pow x 2)) (exp (- 1.0)) (exp (pow x 2)) (exp 1.0) (log (exp (- (pow x 2) 1.0))) (exp (exp (- (pow x 2) 1.0))) (* (cbrt (exp (- (pow x 2) 1.0))) (cbrt (exp (- (pow x 2) 1.0)))) (cbrt (exp (- (pow x 2) 1.0))) (* (* (exp (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0))) (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) (fma (pow (* (cbrt x) (cbrt x)) 2) (pow (cbrt x) 2) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (pow (* (cbrt x) (cbrt x)) 2) (pow (cbrt x) 2) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (pow (* (cbrt x) (cbrt x)) 2) (pow (cbrt x) 2) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (pow (sqrt x) 2) (pow (sqrt x) 2) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (pow (sqrt x) 2) (pow (sqrt x) 2) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (pow (sqrt x) 2) (pow (sqrt x) 2) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (pow 1 2) (pow x 2) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (pow 1 2) (pow x 2) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (pow 1 2) (pow x 2) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma x x (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma x x (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma x x (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (* (cbrt (pow x 2)) (cbrt (pow x 2))) (cbrt (pow x 2)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (* (cbrt (pow x 2)) (cbrt (pow x 2))) (cbrt (pow x 2)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (* (cbrt (pow x 2)) (cbrt (pow x 2))) (cbrt (pow x 2)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (sqrt (pow x 2)) (sqrt (pow x 2)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (sqrt (pow x 2)) (sqrt (pow x 2)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (sqrt (pow x 2)) (sqrt (pow x 2)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma 1 (pow x 2) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma 1 (pow x 2) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma 1 (pow x 2) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (pow x (/ 2 2)) (pow x (/ 2 2)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (pow x (/ 2 2)) (pow x (/ 2 2)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (pow x (/ 2 2)) (pow x (/ 2 2)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (expm1 (- (pow x 2) 1.0)) (log1p (- (pow x 2) 1.0)) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (/ (exp (pow x 2)) (exp 1.0)) (log (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0)) (* (cbrt (- (pow x 2) 1.0)) (cbrt (- (pow x 2) 1.0))) (cbrt (- (pow x 2) 1.0)) (* (* (- (pow x 2) 1.0) (- (pow x 2) 1.0)) (- (pow x 2) 1.0)) (sqrt (- (pow x 2) 1.0)) (sqrt (- (pow x 2) 1.0)) (- (pow (pow x 2) 3) (pow 1.0 3)) (+ (* (pow x 2) (pow x 2)) (+ (* 1.0 1.0) (* (pow x 2) 1.0))) (- 1.0) (- (* (pow x 2) (pow x 2)) (* 1.0 1.0)) (+ (pow x 2) 1.0) (+ (pow (sqrt x) 2) (sqrt 1.0)) (- (pow (sqrt x) 2) (sqrt 1.0)) (+ x (sqrt 1.0)) (- x (sqrt 1.0)) (+ (sqrt (pow x 2)) (sqrt 1.0)) (- (sqrt (pow x 2)) (sqrt 1.0)) (+ (pow x (/ 2 2)) (sqrt 1.0)) (- (pow x (/ 2 2)) (sqrt 1.0)) (- (pow x 2) 1.0) (- 1.0) (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0)))))) (exp (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0)) (- (+ (* 1/2 (/ (* (pow x 4) (exp (- 1.0))) (+ (exp (- 1.0)) 1))) (+ (/ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) 1)) (log (+ (exp (- 1.0)) 1)))) (* 1/2 (/ (* (pow x 4) (pow (exp (- 1.0)) 2)) (pow (+ (exp (- 1.0)) 1) 2)))) (log (+ (exp (- (pow x 2) 1.0)) 1)) (log (+ (exp (- (pow x 2) 1.0)) 1)) (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0)))))) (exp (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0)) (- (pow x 2) 1.0) (- (pow x 2) 1.0) (- (pow x 2) 1.0) 9.887 * * [simplify]: iteration 0 : 174 enodes (cost 2064 ) 9.924 * * [simplify]: iteration 1 : 325 enodes (cost 1512 ) 10.015 * * [simplify]: iteration 2 : 779 enodes (cost 1179 ) 10.535 * * [simplify]: iteration 3 : 2698 enodes (cost 980 ) 11.295 * * [simplify]: iteration done : 5001 enodes (cost 980 ) 11.296 * [simplify]: Simplified to: (exp (log1p (exp (- (pow x 2) 1.0)))) (expm1 (exp (- (pow x 2) 1.0))) (log1p (exp (- (pow x 2) 1.0))) (fma x x (- 1.0)) (exp (exp (- (pow x 2) 1.0))) (* (cbrt (exp (- (pow x 2) 1.0))) (cbrt (exp (- (pow x 2) 1.0)))) (cbrt (exp (- (pow x 2) 1.0))) (pow (exp (- (pow x 2) 1.0)) 3) (sqrt (exp (fma x x (- 1.0)))) (sqrt (exp (fma x x (- 1.0)))) (exp (log1p (exp (- (pow x 2) 1.0)))) (exp (- (pow x 2) 1.0)) (log1p (log1p (exp (- (pow x 2) 1.0)))) (log (log1p (exp (- (pow x 2) 1.0)))) (exp (log1p (exp (- (pow x 2) 1.0)))) (* (cbrt (log1p (exp (- (pow x 2) 1.0)))) (cbrt (log1p (exp (- (pow x 2) 1.0))))) (cbrt (log1p (exp (- (pow x 2) 1.0)))) (pow (log1p (exp (- (pow x 2) 1.0))) 3) (sqrt (log1p (exp (- (pow x 2) 1.0)))) (sqrt (log1p (exp (- (pow x 2) 1.0)))) (expm1 (exp (- (pow x 2) 1.0))) (log1p (exp (- (pow x 2) 1.0))) (exp (* (cbrt (- (pow x 2) 1.0)) (cbrt (- (pow x 2) 1.0)))) (exp (sqrt (- (pow x 2) 1.0))) E (exp (+ (sqrt 1.0) x)) (exp (+ (sqrt 1.0) x)) (exp (+ (sqrt 1.0) (fabs x))) (exp (+ (sqrt 1.0) x)) E (exp (- (pow (pow (cbrt x) 2) 3) 1.0)) 1 (exp (- (pow (pow (cbrt x) 2) 3) 1.0)) 1 (exp (- (pow (pow (cbrt x) 2) 3) 1.0)) 1 (exp (- (pow x 2) 1.0)) 1 (exp (- (pow x 2) 1.0)) 1 (exp (- (pow x 2) 1.0)) 1 (exp (- (pow x 2) 1.0)) 1 (exp (- (pow x 2) 1.0)) 1 (exp (- (pow x 2) 1.0)) 1 (exp (- (pow x 2) 1.0)) 1 (exp (- (pow x 2) 1.0)) 1 (exp (- (pow x 2) 1.0)) 1 (exp (- (pow (cbrt (pow x 2)) 3) 1.0)) 1 (exp (- (pow (cbrt (pow x 2)) 3) 1.0)) 1 (exp (- (pow (cbrt (pow x 2)) 3) 1.0)) 1 (exp (- (pow x 2) 1.0)) 1 (exp (- (pow x 2) 1.0)) 1 (exp (- (pow x 2) 1.0)) 1 (exp (- (pow x 2) 1.0)) 1 (exp (- (pow x 2) 1.0)) 1 (exp (- (pow x 2) 1.0)) 1 (exp (- (pow x 2) 1.0)) 1 (exp (- (pow x 2) 1.0)) 1 (exp (- (pow x 2) 1.0)) 1 (exp (pow x 2)) (exp (- 1.0)) (exp (pow x 2)) (exp (- 1.0)) (exp (pow x 2)) (exp 1.0) (fma x x (- 1.0)) (exp (exp (- (pow x 2) 1.0))) (* (cbrt (exp (- (pow x 2) 1.0))) (cbrt (exp (- (pow x 2) 1.0)))) (cbrt (exp (- (pow x 2) 1.0))) (pow (exp (- (pow x 2) 1.0)) 3) (sqrt (exp (fma x x (- 1.0)))) (sqrt (exp (fma x x (- 1.0)))) (- (pow (pow (cbrt x) 2) 3) 1.0) (- 1.0 1.0) (- (pow (pow (cbrt x) 2) 3) 1.0) (- 1.0 1.0) (- (pow (pow (cbrt x) 2) 3) 1.0) (- 1.0 1.0) (fma x x (- 1.0)) (- 1.0 1.0) (fma x x (- 1.0)) (- 1.0 1.0) (fma x x (- 1.0)) (- 1.0 1.0) (fma x x (- 1.0)) (- 1.0 1.0) (fma x x (- 1.0)) (- 1.0 1.0) (fma x x (- 1.0)) (- 1.0 1.0) (fma x x (- 1.0)) (- 1.0 1.0) (fma x x (- 1.0)) (- 1.0 1.0) (fma x x (- 1.0)) (- 1.0 1.0) (- (pow (cbrt (pow x 2)) 3) 1.0) (- 1.0 1.0) (- (pow (cbrt (pow x 2)) 3) 1.0) (- 1.0 1.0) (- (pow (cbrt (pow x 2)) 3) 1.0) (- 1.0 1.0) (fma x x (- 1.0)) (- 1.0 1.0) (fma x x (- 1.0)) (- 1.0 1.0) (fma x x (- 1.0)) (- 1.0 1.0) (fma x x (- 1.0)) (- 1.0 1.0) (fma x x (- 1.0)) (- 1.0 1.0) (fma x x (- 1.0)) (- 1.0 1.0) (fma x x (- 1.0)) (- 1.0 1.0) (fma x x (- 1.0)) (- 1.0 1.0) (fma x x (- 1.0)) (- 1.0 1.0) (expm1 (- (pow x 2) 1.0)) (log1p (- (pow x 2) 1.0)) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (- 1.0) (exp (- (pow x 2) 1.0)) (log (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0)) (* (cbrt (- (pow x 2) 1.0)) (cbrt (- (pow x 2) 1.0))) (cbrt (- (pow x 2) 1.0)) (pow (- (pow x 2) 1.0) 3) (sqrt (- (pow x 2) 1.0)) (sqrt (- (pow x 2) 1.0)) (- (pow x 6) (pow 1.0 3)) (fma 1.0 (fma x x 1.0) (pow x 4)) (- 1.0) (- (pow x 4) (* 1.0 1.0)) (fma x x 1.0) (+ (sqrt 1.0) x) (- x (sqrt 1.0)) (+ (sqrt 1.0) x) (- x (sqrt 1.0)) (+ (sqrt 1.0) (fabs x)) (- (fabs x) (sqrt 1.0)) (+ (sqrt 1.0) x) (- x (sqrt 1.0)) (fma x x (- 1.0)) (- 1.0) (* (exp (- 1.0)) (+ (fma x x 1) (* 1/2 (pow x 4)))) (exp (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0)) (fma (/ (pow (exp 1.0) -2) (/ (pow (+ (exp (- 1.0)) 1) 2) (pow x 4))) -1/2 (+ (fma 1/2 (/ (pow x 4) (* (exp 1.0) (+ (exp (- 1.0)) 1))) (/ (/ (pow x 2) (exp 1.0)) (+ (exp (- 1.0)) 1))) (log1p (exp (- 1.0))))) (log1p (exp (- (pow x 2) 1.0))) (log1p (exp (- (pow x 2) 1.0))) (* (exp (- 1.0)) (+ (fma x x 1) (* 1/2 (pow x 4)))) (exp (- (pow x 2) 1.0)) (exp (- (pow x 2) 1.0)) (fma x x (- 1.0)) (fma x x (- 1.0)) (fma x x (- 1.0)) 11.297 * * * [progress]: adding candidates to table 11.512 * * [progress]: iteration 4 / 4 11.513 * * * [progress]: picking best candidate 11.514 * * * * [pick]: Picked # 11.514 * * * [progress]: localizing error 11.521 * * * [progress]: generating rewritten candidates 11.521 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 11.525 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 11.537 * * * [progress]: generating series expansions 11.537 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 11.538 * [approximate]: Taking taylor expansion of (/ (exp 1.0) (exp (pow x 2))) in (x) around 0 11.538 * [taylor]: Taking taylor expansion of (/ (exp 1.0) (exp (pow x 2))) in x 11.538 * [taylor]: Taking taylor expansion of (exp 1.0) in x 11.538 * [taylor]: Taking taylor expansion of 1.0 in x 11.538 * [taylor]: Taking taylor expansion of (exp (pow x 2)) in x 11.538 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.538 * [taylor]: Taking taylor expansion of x in x 11.539 * [taylor]: Taking taylor expansion of (/ (exp 1.0) (exp (pow x 2))) in x 11.539 * [taylor]: Taking taylor expansion of (exp 1.0) in x 11.539 * [taylor]: Taking taylor expansion of 1.0 in x 11.539 * [taylor]: Taking taylor expansion of (exp (pow x 2)) in x 11.539 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.539 * [taylor]: Taking taylor expansion of x in x 11.566 * [approximate]: Taking taylor expansion of (/ (exp 1.0) (exp (/ 1 (pow x 2)))) in (x) around 0 11.566 * [taylor]: Taking taylor expansion of (/ (exp 1.0) (exp (/ 1 (pow x 2)))) in x 11.566 * [taylor]: Taking taylor expansion of (exp 1.0) in x 11.566 * [taylor]: Taking taylor expansion of 1.0 in x 11.566 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x 11.566 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.566 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.566 * [taylor]: Taking taylor expansion of x in x 11.567 * [taylor]: Taking taylor expansion of (/ (exp 1.0) (exp (/ 1 (pow x 2)))) in x 11.567 * [taylor]: Taking taylor expansion of (exp 1.0) in x 11.567 * [taylor]: Taking taylor expansion of 1.0 in x 11.568 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x 11.568 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.568 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.568 * [taylor]: Taking taylor expansion of x in x 11.585 * [approximate]: Taking taylor expansion of (/ (exp 1.0) (exp (/ 1 (pow x 2)))) in (x) around 0 11.585 * [taylor]: Taking taylor expansion of (/ (exp 1.0) (exp (/ 1 (pow x 2)))) in x 11.585 * [taylor]: Taking taylor expansion of (exp 1.0) in x 11.585 * [taylor]: Taking taylor expansion of 1.0 in x 11.585 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x 11.585 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.585 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.585 * [taylor]: Taking taylor expansion of x in x 11.586 * [taylor]: Taking taylor expansion of (/ (exp 1.0) (exp (/ 1 (pow x 2)))) in x 11.586 * [taylor]: Taking taylor expansion of (exp 1.0) in x 11.586 * [taylor]: Taking taylor expansion of 1.0 in x 11.586 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x 11.586 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.586 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.586 * [taylor]: Taking taylor expansion of x in x 11.603 * * * * [progress]: [ 2 / 2 ] generating series at (2) 11.603 * [approximate]: Taking taylor expansion of (/ (exp (pow x 2)) (exp 1.0)) in (x) around 0 11.603 * [taylor]: Taking taylor expansion of (/ (exp (pow x 2)) (exp 1.0)) in x 11.603 * [taylor]: Taking taylor expansion of (exp (pow x 2)) in x 11.603 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.603 * [taylor]: Taking taylor expansion of x in x 11.603 * [taylor]: Taking taylor expansion of (exp 1.0) in x 11.603 * [taylor]: Taking taylor expansion of 1.0 in x 11.604 * [taylor]: Taking taylor expansion of (/ (exp (pow x 2)) (exp 1.0)) in x 11.604 * [taylor]: Taking taylor expansion of (exp (pow x 2)) in x 11.604 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.604 * [taylor]: Taking taylor expansion of x in x 11.604 * [taylor]: Taking taylor expansion of (exp 1.0) in x 11.604 * [taylor]: Taking taylor expansion of 1.0 in x 11.625 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow x 2))) (exp 1.0)) in (x) around 0 11.625 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow x 2))) (exp 1.0)) in x 11.625 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x 11.625 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.625 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.625 * [taylor]: Taking taylor expansion of x in x 11.626 * [taylor]: Taking taylor expansion of (exp 1.0) in x 11.626 * [taylor]: Taking taylor expansion of 1.0 in x 11.626 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow x 2))) (exp 1.0)) in x 11.626 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x 11.626 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.626 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.626 * [taylor]: Taking taylor expansion of x in x 11.627 * [taylor]: Taking taylor expansion of (exp 1.0) in x 11.627 * [taylor]: Taking taylor expansion of 1.0 in x 11.656 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow x 2))) (exp 1.0)) in (x) around 0 11.656 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow x 2))) (exp 1.0)) in x 11.656 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x 11.656 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.656 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.656 * [taylor]: Taking taylor expansion of x in x 11.657 * [taylor]: Taking taylor expansion of (exp 1.0) in x 11.657 * [taylor]: Taking taylor expansion of 1.0 in x 11.658 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow x 2))) (exp 1.0)) in x 11.658 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x 11.658 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.658 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.658 * [taylor]: Taking taylor expansion of x in x 11.658 * [taylor]: Taking taylor expansion of (exp 1.0) in x 11.658 * [taylor]: Taking taylor expansion of 1.0 in x 11.682 * * * [progress]: simplifying candidates 11.683 * [simplify]: Simplifying using # : (expm1 (/ (exp 1.0) (exp (* x x)))) (log1p (/ (exp 1.0) (exp (* x x)))) (- 1.0 (* x x)) (log (/ (exp 1.0) (exp (* x x)))) (exp (/ (exp 1.0) (exp (* x x)))) (/ (* (* (exp 1.0) (exp 1.0)) (exp 1.0)) (* (* (exp (* x x)) (exp (* x x))) (exp (* x x)))) (* (cbrt (/ (exp 1.0) (exp (* x x)))) (cbrt (/ (exp 1.0) (exp (* x x))))) (cbrt (/ (exp 1.0) (exp (* x x)))) (* (* (/ (exp 1.0) (exp (* x x))) (/ (exp 1.0) (exp (* x x)))) (/ (exp 1.0) (exp (* x x)))) (sqrt (/ (exp 1.0) (exp (* x x)))) (sqrt (/ (exp 1.0) (exp (* x x)))) (- (exp 1.0)) (- (exp (* x x))) (/ (* (cbrt (exp 1.0)) (cbrt (exp 1.0))) (* (cbrt (exp (* x x))) (cbrt (exp (* x x))))) (/ (cbrt (exp 1.0)) (cbrt (exp (* x x)))) (/ (* (cbrt (exp 1.0)) (cbrt (exp 1.0))) (sqrt (exp (* x x)))) (/ (cbrt (exp 1.0)) (sqrt (exp (* x x)))) (/ (* (cbrt (exp 1.0)) (cbrt (exp 1.0))) 1) (/ (cbrt (exp 1.0)) (exp (* x x))) (/ (sqrt (exp 1.0)) (* (cbrt (exp (* x x))) (cbrt (exp (* x x))))) (/ (sqrt (exp 1.0)) (cbrt (exp (* x x)))) (/ (sqrt (exp 1.0)) (sqrt (exp (* x x)))) (/ (sqrt (exp 1.0)) (sqrt (exp (* x x)))) (/ (sqrt (exp 1.0)) 1) (/ (sqrt (exp 1.0)) (exp (* x x))) (/ 1 (* (cbrt (exp (* x x))) (cbrt (exp (* x x))))) (/ (exp 1.0) (cbrt (exp (* x x)))) (/ 1 (sqrt (exp (* x x)))) (/ (exp 1.0) (sqrt (exp (* x x)))) (/ 1 1) (/ (exp 1.0) (exp (* x x))) (/ 1 (exp (* x x))) (/ (exp (* x x)) (exp 1.0)) (/ (exp 1.0) (* (cbrt (exp (* x x))) (cbrt (exp (* x x))))) (/ (exp 1.0) (sqrt (exp (* x x)))) (/ (exp 1.0) 1) (/ (exp (* x x)) (cbrt (exp 1.0))) (/ (exp (* x x)) (sqrt (exp 1.0))) (/ (exp (* x x)) (exp 1.0)) (expm1 (/ 1 (/ (exp 1.0) (exp (* x x))))) (log1p (/ 1 (/ (exp 1.0) (exp (* x x))))) (- 1) (- (- 1.0 (* x x))) (- (log (/ (exp 1.0) (exp (* x x))))) (- 0 (- 1.0 (* x x))) (- 0 (log (/ (exp 1.0) (exp (* x x))))) (- (log 1) (- 1.0 (* x x))) (- (log 1) (log (/ (exp 1.0) (exp (* x x))))) (log (/ 1 (/ (exp 1.0) (exp (* x x))))) (exp (/ 1 (/ (exp 1.0) (exp (* x x))))) (/ (* (* 1 1) 1) (/ (* (* (exp 1.0) (exp 1.0)) (exp 1.0)) (* (* (exp (* x x)) (exp (* x x))) (exp (* x x))))) (/ (* (* 1 1) 1) (* (* (/ (exp 1.0) (exp (* x x))) (/ (exp 1.0) (exp (* x x)))) (/ (exp 1.0) (exp (* x x))))) (* (cbrt (/ 1 (/ (exp 1.0) (exp (* x x))))) (cbrt (/ 1 (/ (exp 1.0) (exp (* x x)))))) (cbrt (/ 1 (/ (exp 1.0) (exp (* x x))))) (* (* (/ 1 (/ (exp 1.0) (exp (* x x)))) (/ 1 (/ (exp 1.0) (exp (* x x))))) (/ 1 (/ (exp 1.0) (exp (* x x))))) (sqrt (/ 1 (/ (exp 1.0) (exp (* x x))))) (sqrt (/ 1 (/ (exp 1.0) (exp (* x x))))) (- 1) (- (/ (exp 1.0) (exp (* x x)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (exp 1.0) (exp (* x x)))) (cbrt (/ (exp 1.0) (exp (* x x)))))) (/ (cbrt 1) (cbrt (/ (exp 1.0) (exp (* x x))))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (exp 1.0) (exp (* x x))))) (/ (cbrt 1) (sqrt (/ (exp 1.0) (exp (* x x))))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (exp 1.0)) (cbrt (exp 1.0))) (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))))) (/ (cbrt 1) (/ (cbrt (exp 1.0)) (cbrt (exp (* x x))))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (exp 1.0)) (cbrt (exp 1.0))) (sqrt (exp (* x x))))) (/ (cbrt 1) (/ (cbrt (exp 1.0)) (sqrt (exp (* x x))))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (exp 1.0)) (cbrt (exp 1.0))) 1)) (/ (cbrt 1) (/ (cbrt (exp 1.0)) (exp (* x x)))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (exp 1.0)) (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))))) (/ (cbrt 1) (/ (sqrt (exp 1.0)) (cbrt (exp (* x x))))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (exp 1.0)) (sqrt (exp (* x x))))) (/ (cbrt 1) (/ (sqrt (exp 1.0)) (sqrt (exp (* x x))))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (exp 1.0)) 1)) (/ (cbrt 1) (/ (sqrt (exp 1.0)) (exp (* x x)))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))))) (/ (cbrt 1) (/ (exp 1.0) (cbrt (exp (* x x))))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (exp (* x x))))) (/ (cbrt 1) (/ (exp 1.0) (sqrt (exp (* x x))))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ (exp 1.0) (exp (* x x)))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ (exp 1.0) (exp (* x x)))) (/ (* (cbrt 1) (cbrt 1)) (exp 1.0)) (/ (cbrt 1) (/ 1 (exp (* x x)))) (/ (sqrt 1) (* (cbrt (/ (exp 1.0) (exp (* x x)))) (cbrt (/ (exp 1.0) (exp (* x x)))))) (/ (sqrt 1) (cbrt (/ (exp 1.0) (exp (* x x))))) (/ (sqrt 1) (sqrt (/ (exp 1.0) (exp (* x x))))) (/ (sqrt 1) (sqrt (/ (exp 1.0) (exp (* x x))))) (/ (sqrt 1) (/ (* (cbrt (exp 1.0)) (cbrt (exp 1.0))) (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))))) (/ (sqrt 1) (/ (cbrt (exp 1.0)) (cbrt (exp (* x x))))) (/ (sqrt 1) (/ (* (cbrt (exp 1.0)) (cbrt (exp 1.0))) (sqrt (exp (* x x))))) (/ (sqrt 1) (/ (cbrt (exp 1.0)) (sqrt (exp (* x x))))) (/ (sqrt 1) (/ (* (cbrt (exp 1.0)) (cbrt (exp 1.0))) 1)) (/ (sqrt 1) (/ (cbrt (exp 1.0)) (exp (* x x)))) (/ (sqrt 1) (/ (sqrt (exp 1.0)) (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))))) (/ (sqrt 1) (/ (sqrt (exp 1.0)) (cbrt (exp (* x x))))) (/ (sqrt 1) (/ (sqrt (exp 1.0)) (sqrt (exp (* x x))))) (/ (sqrt 1) (/ (sqrt (exp 1.0)) (sqrt (exp (* x x))))) (/ (sqrt 1) (/ (sqrt (exp 1.0)) 1)) (/ (sqrt 1) (/ (sqrt (exp 1.0)) (exp (* x x)))) (/ (sqrt 1) (/ 1 (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))))) (/ (sqrt 1) (/ (exp 1.0) (cbrt (exp (* x x))))) (/ (sqrt 1) (/ 1 (sqrt (exp (* x x))))) (/ (sqrt 1) (/ (exp 1.0) (sqrt (exp (* x x))))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ (exp 1.0) (exp (* x x)))) (/ (sqrt 1) 1) (/ (sqrt 1) (/ (exp 1.0) (exp (* x x)))) (/ (sqrt 1) (exp 1.0)) (/ (sqrt 1) (/ 1 (exp (* x x)))) (/ 1 (* (cbrt (/ (exp 1.0) (exp (* x x)))) (cbrt (/ (exp 1.0) (exp (* x x)))))) (/ 1 (cbrt (/ (exp 1.0) (exp (* x x))))) (/ 1 (sqrt (/ (exp 1.0) (exp (* x x))))) (/ 1 (sqrt (/ (exp 1.0) (exp (* x x))))) (/ 1 (/ (* (cbrt (exp 1.0)) (cbrt (exp 1.0))) (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))))) (/ 1 (/ (cbrt (exp 1.0)) (cbrt (exp (* x x))))) (/ 1 (/ (* (cbrt (exp 1.0)) (cbrt (exp 1.0))) (sqrt (exp (* x x))))) (/ 1 (/ (cbrt (exp 1.0)) (sqrt (exp (* x x))))) (/ 1 (/ (* (cbrt (exp 1.0)) (cbrt (exp 1.0))) 1)) (/ 1 (/ (cbrt (exp 1.0)) (exp (* x x)))) (/ 1 (/ (sqrt (exp 1.0)) (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))))) (/ 1 (/ (sqrt (exp 1.0)) (cbrt (exp (* x x))))) (/ 1 (/ (sqrt (exp 1.0)) (sqrt (exp (* x x))))) (/ 1 (/ (sqrt (exp 1.0)) (sqrt (exp (* x x))))) (/ 1 (/ (sqrt (exp 1.0)) 1)) (/ 1 (/ (sqrt (exp 1.0)) (exp (* x x)))) (/ 1 (/ 1 (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))))) (/ 1 (/ (exp 1.0) (cbrt (exp (* x x))))) (/ 1 (/ 1 (sqrt (exp (* x x))))) (/ 1 (/ (exp 1.0) (sqrt (exp (* x x))))) (/ 1 (/ 1 1)) (/ 1 (/ (exp 1.0) (exp (* x x)))) (/ 1 1) (/ 1 (/ (exp 1.0) (exp (* x x)))) (/ 1 (exp 1.0)) (/ 1 (/ 1 (exp (* x x)))) (/ 1 (/ (exp 1.0) (exp (* x x)))) (/ (/ (exp 1.0) (exp (* x x))) 1) (/ 1 (* (cbrt (/ (exp 1.0) (exp (* x x)))) (cbrt (/ (exp 1.0) (exp (* x x)))))) (/ 1 (sqrt (/ (exp 1.0) (exp (* x x))))) (/ 1 (/ (* (cbrt (exp 1.0)) (cbrt (exp 1.0))) (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))))) (/ 1 (/ (* (cbrt (exp 1.0)) (cbrt (exp 1.0))) (sqrt (exp (* x x))))) (/ 1 (/ (* (cbrt (exp 1.0)) (cbrt (exp 1.0))) 1)) (/ 1 (/ (sqrt (exp 1.0)) (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))))) (/ 1 (/ (sqrt (exp 1.0)) (sqrt (exp (* x x))))) (/ 1 (/ (sqrt (exp 1.0)) 1)) (/ 1 (/ 1 (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))))) (/ 1 (/ 1 (sqrt (exp (* x x))))) (/ 1 (/ 1 1)) (/ 1 1) (/ 1 (exp 1.0)) (/ (/ (exp 1.0) (exp (* x x))) (cbrt 1)) (/ (/ (exp 1.0) (exp (* x x))) (sqrt 1)) (/ (/ (exp 1.0) (exp (* x x))) 1) (/ 1 (exp 1.0)) (- (+ (exp 1.0) (* 1/2 (* (exp 1.0) (pow x 4)))) (* (exp 1.0) (pow x 2))) (/ (exp 1.0) (exp (pow x 2))) (/ (exp 1.0) (exp (pow x 2))) (+ (/ 1 (exp 1.0)) (+ (/ (pow x 2) (exp 1.0)) (* 1/2 (/ (pow x 4) (exp 1.0))))) (/ (exp (pow x 2)) (exp 1.0)) (/ (exp (pow x 2)) (exp 1.0)) 11.689 * * [simplify]: iteration 0 : 169 enodes (cost 1789 ) 11.752 * * [simplify]: iteration 1 : 372 enodes (cost 1543 ) 11.876 * * [simplify]: iteration 2 : 872 enodes (cost 1315 ) 12.453 * * [simplify]: iteration 3 : 2270 enodes (cost 1298 ) 13.739 * * [simplify]: iteration done : 5000 enodes (cost 1298 ) 13.739 * [simplify]: Simplified to: (expm1 (exp (- 1.0 (* x x)))) (log1p (exp (- 1.0 (* x x)))) (- 1.0 (* x x)) (- 1.0 (* x x)) (exp (exp (- 1.0 (* x x)))) (pow (exp (- 1.0 (* x x))) 3) (* (cbrt (exp (- 1.0 (* x x)))) (cbrt (exp (- 1.0 (* x x))))) (cbrt (exp (- 1.0 (* x x)))) (pow (exp (- 1.0 (* x x))) 3) (sqrt (exp (- 1.0 (* x x)))) (sqrt (exp (- 1.0 (* x x)))) (- (exp 1.0)) (- (exp (* x x))) (* (/ (cbrt (exp 1.0)) (cbrt (exp (* x x)))) (/ (cbrt (exp 1.0)) (cbrt (exp (* x x))))) (/ (cbrt (exp 1.0)) (cbrt (exp (* x x)))) (* (/ (cbrt (exp 1.0)) (sqrt (exp (* x x)))) (cbrt (exp 1.0))) (/ (cbrt (exp 1.0)) (sqrt (exp (* x x)))) (* (cbrt (exp 1.0)) (cbrt (exp 1.0))) (/ (cbrt (exp 1.0)) (exp (* x x))) (/ (sqrt (exp 1.0)) (* (cbrt (exp (* x x))) (cbrt (exp (* x x))))) (/ (sqrt (exp 1.0)) (cbrt (exp (* x x)))) (/ (sqrt (exp 1.0)) (sqrt (exp (* x x)))) (/ (sqrt (exp 1.0)) (sqrt (exp (* x x)))) (sqrt (exp 1.0)) (/ (sqrt (exp 1.0)) (exp (* x x))) (/ 1 (* (cbrt (exp (* x x))) (cbrt (exp (* x x))))) (/ (exp 1.0) (cbrt (exp (* x x)))) (/ 1 (sqrt (exp (* x x)))) (/ (exp 1.0) (sqrt (exp (* x x)))) 1 (exp (- 1.0 (* x x))) (exp (- (* x x))) (exp (- (* x x) 1.0)) (/ (exp 1.0) (* (cbrt (exp (* x x))) (cbrt (exp (* x x))))) (/ (exp 1.0) (sqrt (exp (* x x)))) (exp 1.0) (/ (pow (exp x) x) (cbrt (exp 1.0))) (/ (pow (exp x) x) (sqrt (exp 1.0))) (exp (- (* x x) 1.0)) (expm1 (exp (- (* x x) 1.0))) (log1p (exp (- (* x x) 1.0))) -1 (- (* x x) 1.0) (- (* x x) 1.0) (- (* x x) 1.0) (- (* x x) 1.0) (- (* x x) 1.0) (- (* x x) 1.0) (- (* x x) 1.0) (exp (exp (- (* x x) 1.0))) (pow (exp (- (* x x) 1.0)) 3) (pow (exp (- (* x x) 1.0)) 3) (* (cbrt (exp (- (* x x) 1.0))) (cbrt (exp (- (* x x) 1.0)))) (cbrt (exp (- (* x x) 1.0))) (pow (exp (- (* x x) 1.0)) 3) (sqrt (exp (- (* x x) 1.0))) (sqrt (exp (- (* x x) 1.0))) -1 (- (exp (- 1.0 (* x x)))) (/ (/ 1 (cbrt (exp (- 1.0 (* x x))))) (cbrt (exp (- 1.0 (* x x))))) (/ 1 (cbrt (exp (- 1.0 (* x x))))) (/ 1 (sqrt (exp (- 1.0 (* x x))))) (/ 1 (sqrt (exp (- 1.0 (* x x))))) (/ (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (* (cbrt (exp 1.0)) (cbrt (exp 1.0)))) (/ (cbrt (exp (* x x))) (cbrt (exp 1.0))) (/ (sqrt (exp (* x x))) (* (cbrt (exp 1.0)) (cbrt (exp 1.0)))) (/ (sqrt (exp (* x x))) (cbrt (exp 1.0))) (/ (/ 1 (cbrt (exp 1.0))) (cbrt (exp 1.0))) (/ (pow (exp x) x) (cbrt (exp 1.0))) (/ (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (sqrt (exp 1.0))) (/ (cbrt (exp (* x x))) (sqrt (exp 1.0))) (/ (sqrt (exp (* x x))) (sqrt (exp 1.0))) (/ (sqrt (exp (* x x))) (sqrt (exp 1.0))) (/ 1 (sqrt (exp 1.0))) (/ (pow (exp x) x) (sqrt (exp 1.0))) (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (/ (cbrt (exp (* x x))) (exp 1.0)) (sqrt (exp (* x x))) (/ (sqrt (exp (* x x))) (exp 1.0)) 1 (exp (- (* x x) 1.0)) 1 (exp (- (* x x) 1.0)) (exp (- 1.0)) (pow (exp x) x) (/ (/ 1 (cbrt (exp (- 1.0 (* x x))))) (cbrt (exp (- 1.0 (* x x))))) (/ 1 (cbrt (exp (- 1.0 (* x x))))) (/ 1 (sqrt (exp (- 1.0 (* x x))))) (/ 1 (sqrt (exp (- 1.0 (* x x))))) (/ (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (* (cbrt (exp 1.0)) (cbrt (exp 1.0)))) (/ (cbrt (exp (* x x))) (cbrt (exp 1.0))) (/ (sqrt (exp (* x x))) (* (cbrt (exp 1.0)) (cbrt (exp 1.0)))) (/ (sqrt (exp (* x x))) (cbrt (exp 1.0))) (/ (/ 1 (cbrt (exp 1.0))) (cbrt (exp 1.0))) (/ (pow (exp x) x) (cbrt (exp 1.0))) (/ (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (sqrt (exp 1.0))) (/ (cbrt (exp (* x x))) (sqrt (exp 1.0))) (/ (sqrt (exp (* x x))) (sqrt (exp 1.0))) (/ (sqrt (exp (* x x))) (sqrt (exp 1.0))) (/ 1 (sqrt (exp 1.0))) (/ (pow (exp x) x) (sqrt (exp 1.0))) (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (/ (cbrt (exp (* x x))) (exp 1.0)) (sqrt (exp (* x x))) (/ (sqrt (exp (* x x))) (exp 1.0)) 1 (exp (- (* x x) 1.0)) 1 (exp (- (* x x) 1.0)) (exp (- 1.0)) (pow (exp x) x) (/ (/ 1 (cbrt (exp (- 1.0 (* x x))))) (cbrt (exp (- 1.0 (* x x))))) (/ 1 (cbrt (exp (- 1.0 (* x x))))) (/ 1 (sqrt (exp (- 1.0 (* x x))))) (/ 1 (sqrt (exp (- 1.0 (* x x))))) (/ (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (* (cbrt (exp 1.0)) (cbrt (exp 1.0)))) (/ (cbrt (exp (* x x))) (cbrt (exp 1.0))) (/ (sqrt (exp (* x x))) (* (cbrt (exp 1.0)) (cbrt (exp 1.0)))) (/ (sqrt (exp (* x x))) (cbrt (exp 1.0))) (/ (/ 1 (cbrt (exp 1.0))) (cbrt (exp 1.0))) (/ (pow (exp x) x) (cbrt (exp 1.0))) (/ (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (sqrt (exp 1.0))) (/ (cbrt (exp (* x x))) (sqrt (exp 1.0))) (/ (sqrt (exp (* x x))) (sqrt (exp 1.0))) (/ (sqrt (exp (* x x))) (sqrt (exp 1.0))) (/ 1 (sqrt (exp 1.0))) (/ (pow (exp x) x) (sqrt (exp 1.0))) (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (/ (cbrt (exp (* x x))) (exp 1.0)) (sqrt (exp (* x x))) (/ (sqrt (exp (* x x))) (exp 1.0)) 1 (exp (- (* x x) 1.0)) 1 (exp (- (* x x) 1.0)) (exp (- 1.0)) (pow (exp x) x) (exp (- (* x x) 1.0)) (exp (- 1.0 (* x x))) (/ (/ 1 (cbrt (exp (- 1.0 (* x x))))) (cbrt (exp (- 1.0 (* x x))))) (/ 1 (sqrt (exp (- 1.0 (* x x))))) (/ (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (* (cbrt (exp 1.0)) (cbrt (exp 1.0)))) (/ (sqrt (exp (* x x))) (* (cbrt (exp 1.0)) (cbrt (exp 1.0)))) (/ (/ 1 (cbrt (exp 1.0))) (cbrt (exp 1.0))) (/ (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (sqrt (exp 1.0))) (/ (sqrt (exp (* x x))) (sqrt (exp 1.0))) (/ 1 (sqrt (exp 1.0))) (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (sqrt (exp (* x x))) 1 1 (exp (- 1.0)) (exp (- 1.0 (* x x))) (exp (- 1.0 (* x x))) (exp (- 1.0 (* x x))) (exp (- 1.0)) (+ (* (exp 1.0) (- (* 1/2 (pow x 4)) (pow x 2))) (exp 1.0)) (exp (- 1.0 (* x x))) (exp (- 1.0 (* x x))) (+ (exp (- 1.0)) (fma (/ (pow x 4) (exp 1.0)) 1/2 (/ (pow x 2) (exp 1.0)))) (exp (- (* x x) 1.0)) (exp (- (* x x) 1.0)) 13.740 * * * [progress]: adding candidates to table 13.906 * [progress]: [Phase 3 of 3] Extracting. 13.906 * * [regime]: Finding splitpoints for: (# # #) 13.906 * * * [regime-changes]: Trying 3 branch expressions: ((* x x) (- 1.0 (* x x)) x) 13.906 * * * * [regimes]: Trying to branch on (* x x) from (# # #) 13.917 * * * * [regimes]: Trying to branch on (* x x) from (# #) 13.926 * * * * [regimes]: Trying to branch on (- 1.0 (* x x)) from (# # #) 13.940 * * * * [regimes]: Trying to branch on x from (# # #) 13.952 * * * [regime]: Found split indices: #