2.690 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.021 * * * [progress]: [2/2] Setting up program. 0.023 * [progress]: [Phase 2 of 3] Improving. 0.023 * [simplify]: Simplifying using # : (exp (- (- 1.0 (* x x)))) 0.024 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.025 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.027 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 0.030 * * [simplify]: iteration 3 : 45 enodes (cost 7 ) 0.037 * * [simplify]: iteration 4 : 77 enodes (cost 6 ) 0.049 * * [simplify]: iteration 5 : 148 enodes (cost 6 ) 0.094 * * [simplify]: iteration 6 : 419 enodes (cost 6 ) 0.459 * * [simplify]: iteration 7 : 1425 enodes (cost 6 ) 3.380 * * [simplify]: iteration 8 : 4738 enodes (cost 6 ) 4.628 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 4.628 * [simplify]: Simplified to: (exp (- (* x x) 1.0)) 4.631 * * [progress]: iteration 1 / 4 4.631 * * * [progress]: picking best candidate 4.632 * * * * [pick]: Picked # 4.632 * * * [progress]: localizing error 4.638 * * * [progress]: generating rewritten candidates 4.638 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 4.650 * * * [progress]: generating series expansions 4.650 * * * * [progress]: [ 1 / 1 ] generating series at (2) 4.650 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0 4.650 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 4.650 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 4.650 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.650 * [taylor]: Taking taylor expansion of x in x 4.650 * [taylor]: Taking taylor expansion of 1.0 in x 4.652 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 4.652 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 4.652 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.652 * [taylor]: Taking taylor expansion of x in x 4.652 * [taylor]: Taking taylor expansion of 1.0 in x 4.676 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 4.676 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 4.676 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 4.676 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.676 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.676 * [taylor]: Taking taylor expansion of x in x 4.677 * [taylor]: Taking taylor expansion of 1.0 in x 4.677 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 4.678 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 4.678 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.678 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.678 * [taylor]: Taking taylor expansion of x in x 4.678 * [taylor]: Taking taylor expansion of 1.0 in x 4.679 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 4.679 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 4.679 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 4.679 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.679 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.679 * [taylor]: Taking taylor expansion of x in x 4.680 * [taylor]: Taking taylor expansion of 1.0 in x 4.680 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 4.680 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 4.680 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.680 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.680 * [taylor]: Taking taylor expansion of x in x 4.681 * [taylor]: Taking taylor expansion of 1.0 in x 4.681 * * * [progress]: simplifying candidates 4.682 * [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))))) (+ (* (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)) 4.684 * * [simplify]: iteration 0 : 75 enodes (cost 310 ) 4.696 * * [simplify]: iteration 1 : 139 enodes (cost 298 ) 4.720 * * [simplify]: iteration 2 : 295 enodes (cost 256 ) 4.864 * * [simplify]: iteration 3 : 1023 enodes (cost 230 ) 6.900 * * [simplify]: iteration 4 : 4686 enodes (cost 225 ) 7.859 * * [simplify]: iteration done : 5000 enodes (cost 225 ) 7.859 * [simplify]: Simplified to: (expm1 (exp (- (* x x) 1.0))) (log1p (exp (- (* x x) 1.0))) (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 (- (* x x) 1.0)) 1 (exp (- (* x x) 1.0)) 1 (exp (- (* x x) 1.0)) 1 (exp (- 1.0)) (pow (exp x) x) (exp (- 1.0)) (pow (exp x) x) (exp (fma x (- x) 1.0)) 1 (exp (fma x (- x) 1.0)) (- (pow x 2) 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 (- (* x x) 1.0)) 3) (sqrt (exp (- (pow x 2) 1.0))) (sqrt (exp (- (pow x 2) 1.0))) (* (exp (- 1.0)) (fma 1/2 (pow x 4) (fma x x 1))) (exp (- (* x x) 1.0)) (exp (- (* x x) 1.0)) 7.859 * * * [progress]: adding candidates to table 7.925 * * [progress]: iteration 2 / 4 7.925 * * * [progress]: picking best candidate 7.928 * * * * [pick]: Picked # 7.928 * * * [progress]: localizing error 7.934 * * * [progress]: generating rewritten candidates 7.934 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 7.942 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 7.956 * * * [progress]: generating series expansions 7.956 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 7.956 * [approximate]: Taking taylor expansion of (exp (- 1.0 (pow x 2))) in (x) around 0 7.957 * [taylor]: Taking taylor expansion of (exp (- 1.0 (pow x 2))) in x 7.957 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 7.957 * [taylor]: Taking taylor expansion of 1.0 in x 7.957 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.957 * [taylor]: Taking taylor expansion of x in x 7.957 * [taylor]: Taking taylor expansion of (exp (- 1.0 (pow x 2))) in x 7.957 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 7.957 * [taylor]: Taking taylor expansion of 1.0 in x 7.957 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.958 * [taylor]: Taking taylor expansion of x in x 7.972 * [approximate]: Taking taylor expansion of (exp (- 1.0 (/ 1 (pow x 2)))) in (x) around 0 7.973 * [taylor]: Taking taylor expansion of (exp (- 1.0 (/ 1 (pow x 2)))) in x 7.973 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 7.973 * [taylor]: Taking taylor expansion of 1.0 in x 7.973 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 7.973 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.973 * [taylor]: Taking taylor expansion of x in x 7.974 * [taylor]: Taking taylor expansion of (exp (- 1.0 (/ 1 (pow x 2)))) in x 7.974 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 7.974 * [taylor]: Taking taylor expansion of 1.0 in x 7.974 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 7.974 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.974 * [taylor]: Taking taylor expansion of x in x 7.975 * [approximate]: Taking taylor expansion of (exp (- 1.0 (/ 1 (pow x 2)))) in (x) around 0 7.975 * [taylor]: Taking taylor expansion of (exp (- 1.0 (/ 1 (pow x 2)))) in x 7.975 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 7.975 * [taylor]: Taking taylor expansion of 1.0 in x 7.975 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 7.975 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.975 * [taylor]: Taking taylor expansion of x in x 7.976 * [taylor]: Taking taylor expansion of (exp (- 1.0 (/ 1 (pow x 2)))) in x 7.976 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 7.977 * [taylor]: Taking taylor expansion of 1.0 in x 7.977 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 7.977 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.977 * [taylor]: Taking taylor expansion of x in x 7.978 * * * * [progress]: [ 2 / 2 ] generating series at (2) 7.978 * [approximate]: Taking taylor expansion of (/ 1 (exp (- 1.0 (pow x 2)))) in (x) around 0 7.978 * [taylor]: Taking taylor expansion of (/ 1 (exp (- 1.0 (pow x 2)))) in x 7.978 * [taylor]: Taking taylor expansion of (exp (- 1.0 (pow x 2))) in x 7.978 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 7.978 * [taylor]: Taking taylor expansion of 1.0 in x 7.978 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.978 * [taylor]: Taking taylor expansion of x in x 7.979 * [taylor]: Taking taylor expansion of (/ 1 (exp (- 1.0 (pow x 2)))) in x 7.979 * [taylor]: Taking taylor expansion of (exp (- 1.0 (pow x 2))) in x 7.979 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 7.979 * [taylor]: Taking taylor expansion of 1.0 in x 7.979 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.979 * [taylor]: Taking taylor expansion of x in x 8.008 * [approximate]: Taking taylor expansion of (/ 1 (exp (- 1.0 (/ 1 (pow x 2))))) in (x) around 0 8.009 * [taylor]: Taking taylor expansion of (/ 1 (exp (- 1.0 (/ 1 (pow x 2))))) in x 8.009 * [taylor]: Taking taylor expansion of (exp (- 1.0 (/ 1 (pow x 2)))) in x 8.009 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 8.009 * [taylor]: Taking taylor expansion of 1.0 in x 8.009 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.009 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.009 * [taylor]: Taking taylor expansion of x in x 8.010 * [taylor]: Taking taylor expansion of (/ 1 (exp (- 1.0 (/ 1 (pow x 2))))) in x 8.010 * [taylor]: Taking taylor expansion of (exp (- 1.0 (/ 1 (pow x 2)))) in x 8.010 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 8.010 * [taylor]: Taking taylor expansion of 1.0 in x 8.010 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.010 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.010 * [taylor]: Taking taylor expansion of x in x 8.014 * [approximate]: Taking taylor expansion of (/ 1 (exp (- 1.0 (/ 1 (pow x 2))))) in (x) around 0 8.014 * [taylor]: Taking taylor expansion of (/ 1 (exp (- 1.0 (/ 1 (pow x 2))))) in x 8.014 * [taylor]: Taking taylor expansion of (exp (- 1.0 (/ 1 (pow x 2)))) in x 8.014 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 8.014 * [taylor]: Taking taylor expansion of 1.0 in x 8.014 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.014 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.014 * [taylor]: Taking taylor expansion of x in x 8.016 * [taylor]: Taking taylor expansion of (/ 1 (exp (- 1.0 (/ 1 (pow x 2))))) in x 8.016 * [taylor]: Taking taylor expansion of (exp (- 1.0 (/ 1 (pow x 2)))) in x 8.016 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 8.016 * [taylor]: Taking taylor expansion of 1.0 in x 8.016 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.016 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.016 * [taylor]: Taking taylor expansion of x in x 8.023 * * * [progress]: simplifying candidates 8.024 * [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 (+ (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) (exp (* 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)))) (expm1 (/ 1 (exp (- 1.0 (* x x))))) (log1p (/ 1 (exp (- 1.0 (* x x))))) (- 1) (- (cbrt (- 1.0 (* x x)))) (- (sqrt (- 1.0 (* x x)))) (- (- 1.0 (* x x))) (- (- (sqrt 1.0) x)) (- (- 1.0 (* x x))) (- 0 (- 1.0 (* x x))) (- (log 1) (- 1.0 (* x x))) (log (/ 1 (exp (- 1.0 (* x x))))) (exp (/ 1 (exp (- 1.0 (* x x))))) (/ (* (* 1 1) 1) (* (* (exp (- 1.0 (* x x))) (exp (- 1.0 (* x x)))) (exp (- 1.0 (* x x))))) (* (cbrt (/ 1 (exp (- 1.0 (* x x))))) (cbrt (/ 1 (exp (- 1.0 (* x x)))))) (cbrt (/ 1 (exp (- 1.0 (* x x))))) (* (* (/ 1 (exp (- 1.0 (* x x)))) (/ 1 (exp (- 1.0 (* x x))))) (/ 1 (exp (- 1.0 (* x x))))) (sqrt (/ 1 (exp (- 1.0 (* x x))))) (sqrt (/ 1 (exp (- 1.0 (* x x))))) (- 1) (- (exp (- 1.0 (* x x)))) (/ (* (cbrt 1) (cbrt 1)) (exp (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x x))))) (/ (cbrt 1) (exp (fma (- x) x (* x x)))) (/ (* (cbrt 1) (cbrt 1)) (exp (fma (sqrt 1.0) (sqrt 1.0) (- (* x x))))) (/ (cbrt 1) (exp (fma (- x) x (* x x)))) (/ (* (cbrt 1) (cbrt 1)) (exp (fma 1 1.0 (- (* x x))))) (/ (cbrt 1) (exp (fma (- x) x (* x x)))) (/ (* (cbrt 1) (cbrt 1)) (exp 1.0)) (/ (cbrt 1) (exp (- (* x x)))) (/ (* (cbrt 1) (cbrt 1)) (exp 1.0)) (/ (cbrt 1) (exp (- (* x x)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp (- 1.0 (* x x)))) (cbrt (exp (- 1.0 (* x x)))))) (/ (cbrt 1) (cbrt (exp (- 1.0 (* x x))))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp (- 1.0 (* x x))))) (/ (cbrt 1) (sqrt (exp (- 1.0 (* x x))))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (exp (- 1.0 (* x x)))) (/ (sqrt 1) (exp (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x x))))) (/ (sqrt 1) (exp (fma (- x) x (* x x)))) (/ (sqrt 1) (exp (fma (sqrt 1.0) (sqrt 1.0) (- (* x x))))) (/ (sqrt 1) (exp (fma (- x) x (* x x)))) (/ (sqrt 1) (exp (fma 1 1.0 (- (* x x))))) (/ (sqrt 1) (exp (fma (- x) x (* x x)))) (/ (sqrt 1) (exp 1.0)) (/ (sqrt 1) (exp (- (* x x)))) (/ (sqrt 1) (exp 1.0)) (/ (sqrt 1) (exp (- (* x x)))) (/ (sqrt 1) (* (cbrt (exp (- 1.0 (* x x)))) (cbrt (exp (- 1.0 (* x x)))))) (/ (sqrt 1) (cbrt (exp (- 1.0 (* x x))))) (/ (sqrt 1) (sqrt (exp (- 1.0 (* x x))))) (/ (sqrt 1) (sqrt (exp (- 1.0 (* x x))))) (/ (sqrt 1) 1) (/ (sqrt 1) (exp (- 1.0 (* x x)))) (/ 1 (exp (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x x))))) (/ 1 (exp (fma (- x) x (* x x)))) (/ 1 (exp (fma (sqrt 1.0) (sqrt 1.0) (- (* x x))))) (/ 1 (exp (fma (- x) x (* x x)))) (/ 1 (exp (fma 1 1.0 (- (* x x))))) (/ 1 (exp (fma (- x) x (* x x)))) (/ 1 (exp 1.0)) (/ 1 (exp (- (* x x)))) (/ 1 (exp 1.0)) (/ 1 (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))))) (/ 1 1) (/ 1 (exp (- 1.0 (* x x)))) (/ 1 (exp (- 1.0 (* x x)))) (/ (exp (- 1.0 (* x x))) 1) (/ 1 (exp (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x x))))) (/ 1 (exp (fma (sqrt 1.0) (sqrt 1.0) (- (* x x))))) (/ 1 (exp (fma 1 1.0 (- (* x x))))) (/ 1 (exp 1.0)) (/ 1 (exp 1.0)) (/ 1 (* (cbrt (exp (- 1.0 (* x x)))) (cbrt (exp (- 1.0 (* x x)))))) (/ 1 (sqrt (exp (- 1.0 (* x x))))) (/ 1 1) (/ (exp (- 1.0 (* x x))) (cbrt 1)) (/ (exp (- 1.0 (* x x))) (sqrt 1)) (/ (exp (- 1.0 (* 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 (pow x 2))) (exp (- 1.0 (pow x 2))) (+ (/ 1 (exp 1.0)) (+ (/ (pow x 2) (exp 1.0)) (* 1/2 (/ (pow x 4) (exp 1.0))))) (/ 1 (exp (- 1.0 (pow x 2)))) (/ 1 (exp (- 1.0 (pow x 2)))) 8.028 * * [simplify]: iteration 0 : 120 enodes (cost 1052 ) 8.055 * * [simplify]: iteration 1 : 226 enodes (cost 907 ) 8.095 * * [simplify]: iteration 2 : 415 enodes (cost 805 ) 8.249 * * [simplify]: iteration 3 : 1242 enodes (cost 682 ) 9.149 * * [simplify]: iteration done : 5001 enodes (cost 676 ) 9.150 * [simplify]: Simplified to: (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)))) E (exp (+ (sqrt 1.0) x)) (exp (- (pow (cbrt 1.0) 3) (* x x))) 1 (exp (- 1.0 (* x x))) 1 (exp (- 1.0 (* x x))) 1 (exp 1.0) (exp (- (* x x))) (exp 1.0) (exp (- (* x x))) (exp 1.0) (exp (* x x)) (- 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)))) (pow (exp (- 1.0 (* x x))) 3) (sqrt (exp (- 1.0 (* x x)))) (sqrt (exp (- 1.0 (* x x)))) (expm1 (exp (- (* x x) 1.0))) (log1p (exp (- (* x x) 1.0))) -1 (- (cbrt (- 1.0 (* x x)))) (- (sqrt (- 1.0 (* x x)))) (- (* x x) 1.0) (- x (sqrt 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) (* (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)))) (exp (- (* x x) (pow (cbrt 1.0) 3))) 1 (exp (- (* x x) 1.0)) 1 (exp (- (* x x) 1.0)) 1 (exp (- 1.0)) (exp (* x x)) (exp (- 1.0)) (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))))) 1 (exp (- (* x x) 1.0)) (exp (- (* x x) (pow (cbrt 1.0) 3))) 1 (exp (- (* x x) 1.0)) 1 (exp (- (* x x) 1.0)) 1 (exp (- 1.0)) (exp (* x x)) (exp (- 1.0)) (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))))) 1 (exp (- (* x x) 1.0)) (exp (- (* x x) (pow (cbrt 1.0) 3))) 1 (exp (- (* x x) 1.0)) 1 (exp (- (* x x) 1.0)) 1 (exp (- 1.0)) (exp (* x x)) (exp (- 1.0)) (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))))) 1 (exp (- (* x x) 1.0)) (exp (- (* x x) 1.0)) (exp (- 1.0 (* x x))) (exp (- (* x x) (pow (cbrt 1.0) 3))) (exp (- (* x x) 1.0)) (exp (- (* x x) 1.0)) (exp (- 1.0)) (exp (- 1.0)) (/ 1 (* (cbrt (exp (- 1.0 (* x x)))) (cbrt (exp (- 1.0 (* x x)))))) (/ 1 (sqrt (exp (- 1.0 (* x x))))) 1 (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)) 1) (* x x))) (exp (- 1.0 (* x x))) (exp (- 1.0 (* x x))) (+ (exp (- 1.0)) (fma 1/2 (/ (pow x 4) (exp 1.0)) (/ (pow x 2) (exp 1.0)))) (exp (- (* x x) 1.0)) (exp (- (* x x) 1.0)) 9.150 * * * [progress]: adding candidates to table 9.259 * * [progress]: iteration 3 / 4 9.259 * * * [progress]: picking best candidate 9.261 * * * * [pick]: Picked # 9.261 * * * [progress]: localizing error 9.270 * * * [progress]: generating rewritten candidates 9.270 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1) 9.270 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 9.280 * * * [progress]: generating series expansions 9.280 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1) 9.280 * [approximate]: Taking taylor expansion of (fma (- x) x (pow x 2)) in (x) around 0 9.280 * [taylor]: Taking taylor expansion of (fma (- x) x (pow x 2)) in x 9.281 * [taylor]: Rewrote expression to (+ (* (- x) x) (pow x 2)) 9.281 * [taylor]: Taking taylor expansion of (* (- x) x) in x 9.281 * [taylor]: Taking taylor expansion of (- x) in x 9.281 * [taylor]: Taking taylor expansion of x in x 9.281 * [taylor]: Taking taylor expansion of x in x 9.281 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.281 * [taylor]: Taking taylor expansion of x in x 9.281 * [taylor]: Taking taylor expansion of (fma (- x) x (pow x 2)) in x 9.281 * [taylor]: Rewrote expression to (+ (* (- x) x) (pow x 2)) 9.281 * [taylor]: Taking taylor expansion of (* (- x) x) in x 9.281 * [taylor]: Taking taylor expansion of (- x) in x 9.281 * [taylor]: Taking taylor expansion of x in x 9.281 * [taylor]: Taking taylor expansion of x in x 9.281 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.281 * [taylor]: Taking taylor expansion of x in x 9.292 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x)) (/ 1 x) (/ 1 (pow x 2))) in (x) around 0 9.292 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x)) (/ 1 x) (/ 1 (pow x 2))) in x 9.292 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x)) (/ 1 x)) (/ 1 (pow x 2))) 9.292 * [taylor]: Taking taylor expansion of (* (- (/ 1 x)) (/ 1 x)) in x 9.292 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.292 * [taylor]: Taking taylor expansion of x in x 9.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.293 * [taylor]: Taking taylor expansion of x in x 9.293 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.293 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.293 * [taylor]: Taking taylor expansion of x in x 9.293 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x)) (/ 1 x) (/ 1 (pow x 2))) in x 9.294 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x)) (/ 1 x)) (/ 1 (pow x 2))) 9.294 * [taylor]: Taking taylor expansion of (* (- (/ 1 x)) (/ 1 x)) in x 9.294 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.294 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.294 * [taylor]: Taking taylor expansion of x in x 9.294 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.294 * [taylor]: Taking taylor expansion of x in x 9.294 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.294 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.294 * [taylor]: Taking taylor expansion of x in x 9.313 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ -1 x) (/ 1 (pow x 2))) in (x) around 0 9.314 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ -1 x) (/ 1 (pow x 2))) in x 9.314 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ -1 x)) (/ 1 (pow x 2))) 9.314 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ -1 x)) in x 9.314 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.314 * [taylor]: Taking taylor expansion of x in x 9.314 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.314 * [taylor]: Taking taylor expansion of -1 in x 9.314 * [taylor]: Taking taylor expansion of x in x 9.314 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.314 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.314 * [taylor]: Taking taylor expansion of x in x 9.315 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ -1 x) (/ 1 (pow x 2))) in x 9.315 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ -1 x)) (/ 1 (pow x 2))) 9.315 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ -1 x)) in x 9.315 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.315 * [taylor]: Taking taylor expansion of x in x 9.315 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.315 * [taylor]: Taking taylor expansion of -1 in x 9.315 * [taylor]: Taking taylor expansion of x in x 9.316 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.316 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.316 * [taylor]: Taking taylor expansion of x in x 9.331 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 9.331 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0 9.331 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 9.331 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 9.332 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.332 * [taylor]: Taking taylor expansion of x in x 9.332 * [taylor]: Taking taylor expansion of 1.0 in x 9.333 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 9.333 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 9.333 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.333 * [taylor]: Taking taylor expansion of x in x 9.333 * [taylor]: Taking taylor expansion of 1.0 in x 9.354 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 9.355 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 9.355 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 9.355 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.355 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.355 * [taylor]: Taking taylor expansion of x in x 9.355 * [taylor]: Taking taylor expansion of 1.0 in x 9.356 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 9.356 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 9.356 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.356 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.356 * [taylor]: Taking taylor expansion of x in x 9.356 * [taylor]: Taking taylor expansion of 1.0 in x 9.357 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 9.357 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 9.357 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 9.357 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.357 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.357 * [taylor]: Taking taylor expansion of x in x 9.358 * [taylor]: Taking taylor expansion of 1.0 in x 9.358 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 9.358 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 9.358 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.358 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.358 * [taylor]: Taking taylor expansion of x in x 9.359 * [taylor]: Taking taylor expansion of 1.0 in x 9.359 * * * [progress]: simplifying candidates 9.360 * [simplify]: Simplifying using # : (expm1 (fma (- x) x (* x x))) (log1p (fma (- x) x (* x x))) (* (- x) x) (log (fma (- x) x (* x x))) (exp (fma (- x) x (* x x))) (* (cbrt (fma (- x) x (* x x))) (cbrt (fma (- x) x (* x x)))) (cbrt (fma (- x) x (* x x))) (* (* (fma (- x) x (* x x)) (fma (- x) x (* x x))) (fma (- x) x (* x x))) (sqrt (fma (- x) x (* x x))) (sqrt (fma (- x) x (* x x))) (expm1 (exp (- (* x x) 1.0))) (log1p (exp (- (* x x) 1.0))) (exp (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0)))) (exp (sqrt (- (* x x) 1.0))) (exp 1) (exp (+ x (sqrt 1.0))) (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 (* x x)) (exp (- 1.0)) (exp (* x x)) (exp (- 1.0)) (exp (* x x)) (exp 1.0) (log (exp (- (* x x) 1.0))) (exp (exp (- (* x x) 1.0))) (* (cbrt (exp (- (* x x) 1.0))) (cbrt (exp (- (* x x) 1.0)))) (cbrt (exp (- (* x x) 1.0))) (* (* (exp (- (* x x) 1.0)) (exp (- (* x x) 1.0))) (exp (- (* x x) 1.0))) (sqrt (exp (- (* x x) 1.0))) (sqrt (exp (- (* x x) 1.0))) 0 0 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)) 9.362 * * [simplify]: iteration 0 : 75 enodes (cost 337 ) 9.373 * * [simplify]: iteration 1 : 129 enodes (cost 305 ) 9.396 * * [simplify]: iteration 2 : 286 enodes (cost 259 ) 9.511 * * [simplify]: iteration 3 : 918 enodes (cost 243 ) 11.492 * * [simplify]: iteration 4 : 4762 enodes (cost 189 ) 12.291 * * [simplify]: iteration done : 5000 enodes (cost 189 ) 12.292 * [simplify]: Simplified to: (expm1 0) (log1p 0) (* (- x) x) (log 0) 1 (* (cbrt 0) (cbrt 0)) (cbrt 0) 0 (sqrt 0) (sqrt 0) (expm1 (exp (- (* x x) 1.0))) (log1p (exp (- (* x x) 1.0))) (exp (* (cbrt (- (* x x) 1.0)) (cbrt (- (* x x) 1.0)))) (exp (sqrt (- (* x x) 1.0))) E (exp (+ x (sqrt 1.0))) (exp (fma x x (- 1.0))) 1 (exp (fma x x (- 1.0))) 1 (exp (fma x x (- 1.0))) 1 (exp (* x x)) (exp (- 1.0)) (exp (* x x)) (exp (- 1.0)) (exp (* x x)) (exp 1.0) (fma x x (- 1.0)) (exp (exp (- (* x x) 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 (- (* x x) 1.0))) (sqrt (exp (- (* x x) 1.0))) 0 0 0 (* (fma 1/2 (pow x 4) (fma x x 1)) (exp (- 1.0))) (exp (fma x x (- 1.0))) (exp (fma x x (- 1.0))) 12.292 * * * [progress]: adding candidates to table 12.378 * [progress]: [Phase 3 of 3] Extracting. 12.378 * * [regime]: Finding splitpoints for: (# #) 12.379 * * * [regime-changes]: Trying 3 branch expressions: ((* x x) (- 1.0 (* x x)) x) 12.379 * * * * [regimes]: Trying to branch on (* x x) from (# #) 12.387 * * * * [regimes]: Trying to branch on (- 1.0 (* x x)) from (# #) 12.397 * * * * [regimes]: Trying to branch on x from (# #) 12.407 * * * [regime]: Found split indices: #