5.377 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.035 * * * [progress]: [2/2] Setting up program. 0.039 * [progress]: [Phase 2 of 3] Improving. 0.039 * [simplify]: Simplifying: (exp (- (- 1.0 (* x x)))) 0.039 * * [simplify]: Extracting # 0 : cost 0 0.039 * * [simplify]: Extracting # 1 : cost 0 0.039 * * [simplify]: Extracting # 2 : cost 0 0.039 * * [simplify]: Extracting # 3 : cost 0 0.039 * * [simplify]: Extracting # 4 : cost 0 0.039 * * [simplify]: Extracting # 5 : cost 0 0.039 * * [simplify]: Extracting # 6 : cost 0 0.039 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.041 * * [simplify]: Extracting # 0 : cost 0 0.041 * * [simplify]: Extracting # 1 : cost 0 0.042 * * [simplify]: Extracting # 2 : cost 0 0.042 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.046 * * [simplify]: Extracting # 0 : cost 0 0.046 * * [simplify]: Extracting # 1 : cost 0 0.046 * * [simplify]: Extracting # 2 : cost 0 0.046 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 0.054 * * [simplify]: Extracting # 0 : cost 0 0.054 * * [simplify]: Extracting # 1 : cost 0 0.054 * * [simplify]: Extracting # 2 : cost 0 0.054 * * [simplify]: iteration 3 : 49 enodes (cost 7 ) 0.072 * * [simplify]: Extracting # 0 : cost 0 0.072 * * [simplify]: Extracting # 1 : cost 0 0.072 * * [simplify]: Extracting # 2 : cost 0 0.072 * * [simplify]: Extracting # 3 : cost 0 0.072 * * [simplify]: Extracting # 4 : cost 0 0.073 * * [simplify]: Extracting # 5 : cost 0 0.073 * * [simplify]: Extracting # 6 : cost 0 0.073 * * [simplify]: iteration 4 : 140 enodes (cost 6 ) 0.114 * * [simplify]: Extracting # 0 : cost 0 0.115 * * [simplify]: Extracting # 1 : cost 0 0.115 * * [simplify]: Extracting # 2 : cost 0 0.116 * * [simplify]: Extracting # 3 : cost 0 0.116 * * [simplify]: Extracting # 4 : cost 0 0.117 * * [simplify]: iteration 5 : 564 enodes (cost 6 ) 0.654 * * [simplify]: Extracting # 0 : cost 0 0.663 * * [simplify]: Extracting # 1 : cost 0 0.666 * * [simplify]: Extracting # 2 : cost 0 0.668 * * [simplify]: Extracting # 3 : cost 0 0.671 * * [simplify]: Extracting # 4 : cost 0 0.675 * * [simplify]: iteration 6 : 2938 enodes (cost 6 ) 2.031 * * [simplify]: Extracting # 0 : cost 0 2.042 * * [simplify]: Extracting # 1 : cost 0 2.047 * * [simplify]: Extracting # 2 : cost 0 2.051 * * [simplify]: iteration done: 5000 enodes (cost 6 ) 2.051 * [simplify]: Simplified to: (exp (- (* x x) 1.0)) 2.054 * * [progress]: iteration 1 / 4 2.054 * * * [progress]: picking best candidate 2.055 * * * * [pick]: Picked # 2.056 * * * [progress]: localizing error 2.062 * * * [progress]: generating rewritten candidates 2.062 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 2.092 * * * [progress]: generating series expansions 2.092 * * * * [progress]: [ 1 / 1 ] generating series at (2) 2.092 * [backup-simplify]: Simplify (exp (- (- 1.0 (* x x)))) into (exp (- (pow x 2) 1.0)) 2.092 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in (x) around 0 2.092 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 2.092 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 2.092 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.092 * [taylor]: Taking taylor expansion of x in x 2.092 * [backup-simplify]: Simplify 0 into 0 2.092 * [backup-simplify]: Simplify 1 into 1 2.092 * [taylor]: Taking taylor expansion of 1.0 in x 2.092 * [backup-simplify]: Simplify 1.0 into 1.0 2.093 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.093 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 2.094 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 2.094 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1.0)) in x 2.094 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x 2.094 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.094 * [taylor]: Taking taylor expansion of x in x 2.094 * [backup-simplify]: Simplify 0 into 0 2.094 * [backup-simplify]: Simplify 1 into 1 2.094 * [taylor]: Taking taylor expansion of 1.0 in x 2.094 * [backup-simplify]: Simplify 1.0 into 1.0 2.094 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.095 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 2.095 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 2.096 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 2.096 * [backup-simplify]: Simplify (- 0) into 0 2.097 * [backup-simplify]: Simplify (+ 0 0) into 0 2.097 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0 2.097 * [backup-simplify]: Simplify 0 into 0 2.098 * [backup-simplify]: Simplify (* 1 1) into 1 2.098 * [backup-simplify]: Simplify (- 0) into 0 2.098 * [backup-simplify]: Simplify (+ 1 0) into 1 2.101 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0)) 2.101 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0)) 2.102 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.102 * [backup-simplify]: Simplify (- 0) into 0 2.102 * [backup-simplify]: Simplify (+ 0 0) into 0 2.104 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 2.104 * [backup-simplify]: Simplify 0 into 0 2.104 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.104 * [backup-simplify]: Simplify (- 0) into 0 2.105 * [backup-simplify]: Simplify (+ 0 0) into 0 2.110 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp (- 1.0))) 2.110 * [backup-simplify]: Simplify (* 1/2 (exp (- 1.0))) into (* 1/2 (exp (- 1.0))) 2.113 * [backup-simplify]: Simplify (+ (* (* 1/2 (exp (- 1.0))) (pow x 4)) (+ (* (exp (- 1.0)) (pow x 2)) (exp (- 1.0)))) into (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0)))))) 2.113 * [backup-simplify]: Simplify (exp (- (- 1.0 (* (/ 1 x) (/ 1 x))))) into (exp (- (/ 1 (pow x 2)) 1.0)) 2.113 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 2.113 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 2.113 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 2.113 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.113 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.113 * [taylor]: Taking taylor expansion of x in x 2.113 * [backup-simplify]: Simplify 0 into 0 2.113 * [backup-simplify]: Simplify 1 into 1 2.113 * [backup-simplify]: Simplify (* 1 1) into 1 2.114 * [backup-simplify]: Simplify (/ 1 1) into 1 2.114 * [taylor]: Taking taylor expansion of 1.0 in x 2.114 * [backup-simplify]: Simplify 1.0 into 1.0 2.114 * [backup-simplify]: Simplify (+ 1 0) into 1 2.114 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 2.114 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 2.114 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 2.114 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.114 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.114 * [taylor]: Taking taylor expansion of x in x 2.114 * [backup-simplify]: Simplify 0 into 0 2.114 * [backup-simplify]: Simplify 1 into 1 2.114 * [backup-simplify]: Simplify (* 1 1) into 1 2.115 * [backup-simplify]: Simplify (/ 1 1) into 1 2.115 * [taylor]: Taking taylor expansion of 1.0 in x 2.115 * [backup-simplify]: Simplify 1.0 into 1.0 2.115 * [backup-simplify]: Simplify (+ 1 0) into 1 2.115 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 2.115 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 2.115 * [backup-simplify]: Simplify 0 into 0 2.115 * [backup-simplify]: Simplify 0 into 0 2.115 * [backup-simplify]: Simplify 0 into 0 2.115 * [backup-simplify]: Simplify 0 into 0 2.115 * [backup-simplify]: Simplify 0 into 0 2.116 * [backup-simplify]: Simplify 0 into 0 2.116 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1.0)) into (exp (- (pow x 2) 1.0)) 2.116 * [backup-simplify]: Simplify (exp (- (- 1.0 (* (/ 1 (- x)) (/ 1 (- x)))))) into (exp (- (/ 1 (pow x 2)) 1.0)) 2.116 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in (x) around 0 2.116 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 2.116 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 2.116 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.116 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.116 * [taylor]: Taking taylor expansion of x in x 2.116 * [backup-simplify]: Simplify 0 into 0 2.116 * [backup-simplify]: Simplify 1 into 1 2.116 * [backup-simplify]: Simplify (* 1 1) into 1 2.117 * [backup-simplify]: Simplify (/ 1 1) into 1 2.117 * [taylor]: Taking taylor expansion of 1.0 in x 2.117 * [backup-simplify]: Simplify 1.0 into 1.0 2.117 * [backup-simplify]: Simplify (+ 1 0) into 1 2.117 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 2.117 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1.0)) in x 2.117 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x 2.117 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.117 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.117 * [taylor]: Taking taylor expansion of x in x 2.117 * [backup-simplify]: Simplify 0 into 0 2.117 * [backup-simplify]: Simplify 1 into 1 2.118 * [backup-simplify]: Simplify (* 1 1) into 1 2.118 * [backup-simplify]: Simplify (/ 1 1) into 1 2.118 * [taylor]: Taking taylor expansion of 1.0 in x 2.118 * [backup-simplify]: Simplify 1.0 into 1.0 2.118 * [backup-simplify]: Simplify (+ 1 0) into 1 2.118 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 2.118 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1.0)) into (exp (- (/ 1 (pow x 2)) 1.0)) 2.118 * [backup-simplify]: Simplify 0 into 0 2.119 * [backup-simplify]: Simplify 0 into 0 2.119 * [backup-simplify]: Simplify 0 into 0 2.119 * [backup-simplify]: Simplify 0 into 0 2.119 * [backup-simplify]: Simplify 0 into 0 2.119 * [backup-simplify]: Simplify 0 into 0 2.119 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1.0)) into (exp (- (pow x 2) 1.0)) 2.119 * * * [progress]: simplifying candidates 2.119 * [simplify]: Simplifying: (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)) 2.120 * * [simplify]: Extracting # 0 : cost 0 2.120 * * [simplify]: Extracting # 1 : cost 0 2.120 * * [simplify]: Extracting # 2 : cost 0 2.120 * * [simplify]: Extracting # 3 : cost 0 2.120 * * [simplify]: Extracting # 4 : cost 0 2.120 * * [simplify]: Extracting # 5 : cost 0 2.120 * * [simplify]: Extracting # 6 : cost 0 2.121 * * [simplify]: Extracting # 7 : cost 0 2.121 * * [simplify]: iteration 0 : 75 enodes (cost 310 ) 2.136 * * [simplify]: Extracting # 0 : cost 0 2.136 * * [simplify]: Extracting # 1 : cost 0 2.136 * * [simplify]: Extracting # 2 : cost 0 2.136 * * [simplify]: Extracting # 3 : cost 0 2.136 * * [simplify]: Extracting # 4 : cost 0 2.136 * * [simplify]: iteration 1 : 140 enodes (cost 298 ) 2.176 * * [simplify]: Extracting # 0 : cost 0 2.176 * * [simplify]: Extracting # 1 : cost 0 2.176 * * [simplify]: Extracting # 2 : cost 0 2.177 * * [simplify]: Extracting # 3 : cost 0 2.177 * * [simplify]: Extracting # 4 : cost 0 2.178 * * [simplify]: iteration 2 : 405 enodes (cost 274 ) 2.663 * * [simplify]: Extracting # 0 : cost 0 2.666 * * [simplify]: Extracting # 1 : cost 0 2.669 * * [simplify]: Extracting # 2 : cost 0 2.672 * * [simplify]: Extracting # 3 : cost 0 2.675 * * [simplify]: Extracting # 4 : cost 0 2.679 * * [simplify]: iteration 3 : 2642 enodes (cost 230 ) 5.964 * * [simplify]: Extracting # 0 : cost 0 5.975 * * [simplify]: Extracting # 1 : cost 0 5.982 * * [simplify]: Extracting # 2 : cost 0 5.988 * * [simplify]: Extracting # 3 : cost 0 5.993 * * [simplify]: iteration done: 5001 enodes (cost 228 ) 5.993 * [simplify]: Simplified to: (expm1 (exp (fma x x (- 1.0)))) (log1p (exp (fma x x (- 1.0)))) (exp (* (cbrt (fma x x (- 1.0))) (cbrt (fma x x (- 1.0))))) (exp (sqrt (fma x x (- 1.0)))) E (exp -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 (fma x x (- (pow (cbrt 1.0) 3)))) 1 (exp (fma x x (- 1.0))) 1 (exp (fma x x (- 1.0))) 1 (exp (- 1.0)) (exp (* x x)) (exp (- 1.0)) (exp (* x x)) (exp (fma x (- x) 1.0)) 1 (exp (fma x (- x) 1.0)) (fma x x (- 1.0)) (exp (exp (fma x x (- 1.0)))) (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) (cbrt (exp (fma x x (- 1.0)))) (exp (* 3 (fma x x (- 1.0)))) (sqrt (exp (fma x x (- 1.0)))) (sqrt (exp (fma x x (- 1.0)))) (* (exp (- 1.0)) (fma x x (fma (pow x 4) 1/2 1))) (exp (fma x x (- 1.0))) (exp (fma x x (- 1.0))) 5.994 * * * [progress]: adding candidates to table 6.065 * * [progress]: iteration 2 / 4 6.065 * * * [progress]: picking best candidate 6.068 * * * * [pick]: Picked # 6.068 * * * [progress]: localizing error 6.076 * * * [progress]: generating rewritten candidates 6.076 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 6.085 * * * [progress]: generating series expansions 6.085 * * * * [progress]: [ 1 / 1 ] generating series at (2) 6.086 * [backup-simplify]: Simplify (pow (exp -1) (- 1.0 (* x x))) into (pow (exp -1) (- 1.0 (pow x 2))) 6.086 * [approximate]: Taking taylor expansion of (pow (exp -1) (- 1.0 (pow x 2))) in (x) around 0 6.086 * [taylor]: Taking taylor expansion of (pow (exp -1) (- 1.0 (pow x 2))) in x 6.086 * [taylor]: Taking taylor expansion of (exp (* (- 1.0 (pow x 2)) (log (exp -1)))) in x 6.086 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow x 2)) (log (exp -1))) in x 6.086 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 6.086 * [taylor]: Taking taylor expansion of 1.0 in x 6.086 * [backup-simplify]: Simplify 1.0 into 1.0 6.086 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.086 * [taylor]: Taking taylor expansion of x in x 6.086 * [backup-simplify]: Simplify 0 into 0 6.086 * [backup-simplify]: Simplify 1 into 1 6.086 * [taylor]: Taking taylor expansion of (log (exp -1)) in x 6.086 * [taylor]: Taking taylor expansion of (exp -1) in x 6.086 * [taylor]: Taking taylor expansion of -1 in x 6.086 * [backup-simplify]: Simplify -1 into -1 6.087 * [backup-simplify]: Simplify (exp -1) into (exp -1) 6.087 * [backup-simplify]: Simplify (log (exp -1)) into -1 6.088 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.088 * [backup-simplify]: Simplify (* 1.0 -1) into -1.0 6.088 * [backup-simplify]: Simplify (exp -1.0) into (exp -1.0) 6.088 * [taylor]: Taking taylor expansion of (pow (exp -1) (- 1.0 (pow x 2))) in x 6.088 * [taylor]: Taking taylor expansion of (exp (* (- 1.0 (pow x 2)) (log (exp -1)))) in x 6.088 * [taylor]: Taking taylor expansion of (* (- 1.0 (pow x 2)) (log (exp -1))) in x 6.088 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 6.088 * [taylor]: Taking taylor expansion of 1.0 in x 6.088 * [backup-simplify]: Simplify 1.0 into 1.0 6.088 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.088 * [taylor]: Taking taylor expansion of x in x 6.088 * [backup-simplify]: Simplify 0 into 0 6.088 * [backup-simplify]: Simplify 1 into 1 6.088 * [taylor]: Taking taylor expansion of (log (exp -1)) in x 6.088 * [taylor]: Taking taylor expansion of (exp -1) in x 6.088 * [taylor]: Taking taylor expansion of -1 in x 6.088 * [backup-simplify]: Simplify -1 into -1 6.089 * [backup-simplify]: Simplify (exp -1) into (exp -1) 6.089 * [backup-simplify]: Simplify (log (exp -1)) into -1 6.090 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.090 * [backup-simplify]: Simplify (* 1.0 -1) into -1.0 6.090 * [backup-simplify]: Simplify (exp -1.0) into (exp -1.0) 6.090 * [backup-simplify]: Simplify (exp -1.0) into (exp -1.0) 6.091 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 6.092 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp -1) 1)))) 1) into 0 6.092 * [backup-simplify]: Simplify (+ 0 0) into 0 6.093 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 -1)) into 0 6.093 * [backup-simplify]: Simplify (* (exp -1.0) (+ (* (/ (pow 0 1) 1)))) into 0 6.093 * [backup-simplify]: Simplify 0 into 0 6.095 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.097 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp -1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp -1) 1)))) 2) into 0 6.098 * [backup-simplify]: Simplify (* 1 1) into 1 6.098 * [backup-simplify]: Simplify (- 1) into -1 6.098 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.099 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* -1 -1))) into 1 6.102 * [backup-simplify]: Simplify (* (exp -1.0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1.0) 6.102 * [backup-simplify]: Simplify (exp -1.0) into (exp -1.0) 6.104 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.109 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp -1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp -1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp -1) 1)))) 6) into 0 6.109 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.110 * [backup-simplify]: Simplify (- 0) into 0 6.110 * [backup-simplify]: Simplify (+ 0 0) into 0 6.111 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* -1 0) (* 0 -1)))) into 0 6.114 * [backup-simplify]: Simplify (* (exp -1.0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.114 * [backup-simplify]: Simplify 0 into 0 6.116 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.127 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp -1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp -1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp -1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp -1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp -1) 1)))) 24) into 0 6.127 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.128 * [backup-simplify]: Simplify (- 0) into 0 6.128 * [backup-simplify]: Simplify (+ 0 0) into 0 6.129 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* -1 0) (+ (* 0 0) (* 0 -1))))) into 0 6.136 * [backup-simplify]: Simplify (* (exp -1.0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp -1.0)) 6.137 * [backup-simplify]: Simplify (* 1/2 (exp -1.0)) into (* 1/2 (exp -1.0)) 6.143 * [backup-simplify]: Simplify (+ (* (* 1/2 (exp -1.0)) (pow x 4)) (+ (* (exp -1.0) (pow x 2)) (exp -1.0))) into (+ (* 1/2 (* (exp -1.0) (pow x 4))) (+ (exp -1.0) (* (exp -1.0) (pow x 2)))) 6.144 * [backup-simplify]: Simplify (pow (exp -1) (- 1.0 (* (/ 1 x) (/ 1 x)))) into (pow (exp -1) (- 1.0 (/ 1 (pow x 2)))) 6.144 * [approximate]: Taking taylor expansion of (pow (exp -1) (- 1.0 (/ 1 (pow x 2)))) in (x) around 0 6.144 * [taylor]: Taking taylor expansion of (pow (exp -1) (- 1.0 (/ 1 (pow x 2)))) in x 6.144 * [taylor]: Taking taylor expansion of (exp (* (- 1.0 (/ 1 (pow x 2))) (log (exp -1)))) in x 6.144 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow x 2))) (log (exp -1))) in x 6.144 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 6.144 * [taylor]: Taking taylor expansion of 1.0 in x 6.144 * [backup-simplify]: Simplify 1.0 into 1.0 6.144 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 6.144 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.144 * [taylor]: Taking taylor expansion of x in x 6.144 * [backup-simplify]: Simplify 0 into 0 6.144 * [backup-simplify]: Simplify 1 into 1 6.145 * [backup-simplify]: Simplify (* 1 1) into 1 6.145 * [backup-simplify]: Simplify (/ 1 1) into 1 6.145 * [taylor]: Taking taylor expansion of (log (exp -1)) in x 6.145 * [taylor]: Taking taylor expansion of (exp -1) in x 6.145 * [taylor]: Taking taylor expansion of -1 in x 6.145 * [backup-simplify]: Simplify -1 into -1 6.146 * [backup-simplify]: Simplify (exp -1) into (exp -1) 6.146 * [backup-simplify]: Simplify (log (exp -1)) into -1 6.147 * [backup-simplify]: Simplify (- 1) into -1 6.147 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.147 * [backup-simplify]: Simplify (* -1 -1) into 1 6.148 * [backup-simplify]: Simplify (exp (* (- 1.0 (/ 1 (pow x 2))) (log (exp -1)))) into (exp (* -1 (- 1.0 (/ 1 (pow x 2))))) 6.148 * [taylor]: Taking taylor expansion of (pow (exp -1) (- 1.0 (/ 1 (pow x 2)))) in x 6.148 * [taylor]: Taking taylor expansion of (exp (* (- 1.0 (/ 1 (pow x 2))) (log (exp -1)))) in x 6.148 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow x 2))) (log (exp -1))) in x 6.148 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 6.148 * [taylor]: Taking taylor expansion of 1.0 in x 6.148 * [backup-simplify]: Simplify 1.0 into 1.0 6.148 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 6.148 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.148 * [taylor]: Taking taylor expansion of x in x 6.149 * [backup-simplify]: Simplify 0 into 0 6.149 * [backup-simplify]: Simplify 1 into 1 6.149 * [backup-simplify]: Simplify (* 1 1) into 1 6.149 * [backup-simplify]: Simplify (/ 1 1) into 1 6.149 * [taylor]: Taking taylor expansion of (log (exp -1)) in x 6.149 * [taylor]: Taking taylor expansion of (exp -1) in x 6.149 * [taylor]: Taking taylor expansion of -1 in x 6.149 * [backup-simplify]: Simplify -1 into -1 6.150 * [backup-simplify]: Simplify (exp -1) into (exp -1) 6.150 * [backup-simplify]: Simplify (log (exp -1)) into -1 6.151 * [backup-simplify]: Simplify (- 1) into -1 6.151 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.152 * [backup-simplify]: Simplify (* -1 -1) into 1 6.152 * [backup-simplify]: Simplify (exp (* (- 1.0 (/ 1 (pow x 2))) (log (exp -1)))) into (exp (* -1 (- 1.0 (/ 1 (pow x 2))))) 6.153 * [backup-simplify]: Simplify (exp (* -1 (- 1.0 (/ 1 (pow x 2))))) into (exp (* -1 (- 1.0 (/ 1 (pow x 2))))) 6.153 * [backup-simplify]: Simplify 0 into 0 6.153 * [backup-simplify]: Simplify 0 into 0 6.153 * [backup-simplify]: Simplify 0 into 0 6.153 * [backup-simplify]: Simplify 0 into 0 6.153 * [backup-simplify]: Simplify 0 into 0 6.153 * [backup-simplify]: Simplify 0 into 0 6.153 * [backup-simplify]: Simplify (exp (* -1 (- 1.0 (/ 1 (pow (/ 1 x) 2))))) into (exp (* -1 (- 1.0 (pow x 2)))) 6.154 * [backup-simplify]: Simplify (pow (exp -1) (- 1.0 (* (/ 1 (- x)) (/ 1 (- x))))) into (pow (exp -1) (- 1.0 (/ 1 (pow x 2)))) 6.154 * [approximate]: Taking taylor expansion of (pow (exp -1) (- 1.0 (/ 1 (pow x 2)))) in (x) around 0 6.154 * [taylor]: Taking taylor expansion of (pow (exp -1) (- 1.0 (/ 1 (pow x 2)))) in x 6.154 * [taylor]: Taking taylor expansion of (exp (* (- 1.0 (/ 1 (pow x 2))) (log (exp -1)))) in x 6.154 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow x 2))) (log (exp -1))) in x 6.154 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 6.154 * [taylor]: Taking taylor expansion of 1.0 in x 6.154 * [backup-simplify]: Simplify 1.0 into 1.0 6.154 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 6.154 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.154 * [taylor]: Taking taylor expansion of x in x 6.154 * [backup-simplify]: Simplify 0 into 0 6.154 * [backup-simplify]: Simplify 1 into 1 6.154 * [backup-simplify]: Simplify (* 1 1) into 1 6.155 * [backup-simplify]: Simplify (/ 1 1) into 1 6.155 * [taylor]: Taking taylor expansion of (log (exp -1)) in x 6.155 * [taylor]: Taking taylor expansion of (exp -1) in x 6.155 * [taylor]: Taking taylor expansion of -1 in x 6.155 * [backup-simplify]: Simplify -1 into -1 6.155 * [backup-simplify]: Simplify (exp -1) into (exp -1) 6.156 * [backup-simplify]: Simplify (log (exp -1)) into -1 6.156 * [backup-simplify]: Simplify (- 1) into -1 6.157 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.157 * [backup-simplify]: Simplify (* -1 -1) into 1 6.158 * [backup-simplify]: Simplify (exp (* (- 1.0 (/ 1 (pow x 2))) (log (exp -1)))) into (exp (* -1 (- 1.0 (/ 1 (pow x 2))))) 6.158 * [taylor]: Taking taylor expansion of (pow (exp -1) (- 1.0 (/ 1 (pow x 2)))) in x 6.158 * [taylor]: Taking taylor expansion of (exp (* (- 1.0 (/ 1 (pow x 2))) (log (exp -1)))) in x 6.158 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 (pow x 2))) (log (exp -1))) in x 6.158 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 6.158 * [taylor]: Taking taylor expansion of 1.0 in x 6.158 * [backup-simplify]: Simplify 1.0 into 1.0 6.158 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 6.158 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.158 * [taylor]: Taking taylor expansion of x in x 6.158 * [backup-simplify]: Simplify 0 into 0 6.158 * [backup-simplify]: Simplify 1 into 1 6.159 * [backup-simplify]: Simplify (* 1 1) into 1 6.159 * [backup-simplify]: Simplify (/ 1 1) into 1 6.159 * [taylor]: Taking taylor expansion of (log (exp -1)) in x 6.159 * [taylor]: Taking taylor expansion of (exp -1) in x 6.159 * [taylor]: Taking taylor expansion of -1 in x 6.159 * [backup-simplify]: Simplify -1 into -1 6.159 * [backup-simplify]: Simplify (exp -1) into (exp -1) 6.160 * [backup-simplify]: Simplify (log (exp -1)) into -1 6.161 * [backup-simplify]: Simplify (- 1) into -1 6.161 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.161 * [backup-simplify]: Simplify (* -1 -1) into 1 6.162 * [backup-simplify]: Simplify (exp (* (- 1.0 (/ 1 (pow x 2))) (log (exp -1)))) into (exp (* -1 (- 1.0 (/ 1 (pow x 2))))) 6.163 * [backup-simplify]: Simplify (exp (* -1 (- 1.0 (/ 1 (pow x 2))))) into (exp (* -1 (- 1.0 (/ 1 (pow x 2))))) 6.163 * [backup-simplify]: Simplify 0 into 0 6.163 * [backup-simplify]: Simplify 0 into 0 6.163 * [backup-simplify]: Simplify 0 into 0 6.163 * [backup-simplify]: Simplify 0 into 0 6.163 * [backup-simplify]: Simplify 0 into 0 6.163 * [backup-simplify]: Simplify 0 into 0 6.163 * [backup-simplify]: Simplify (exp (* -1 (- 1.0 (/ 1 (pow (/ 1 (- x)) 2))))) into (exp (* -1 (- 1.0 (pow x 2)))) 6.163 * * * [progress]: simplifying candidates 6.164 * [simplify]: Simplifying: (expm1 (pow (exp -1) (- 1.0 (* x x)))) (log1p (pow (exp -1) (- 1.0 (* x x)))) (* -1 (- 1.0 (* x x))) (* (log (exp -1)) (- 1.0 (* x x))) (* 1 (- 1.0 (* x x))) (* (cbrt -1) (- 1.0 (* x x))) (* (sqrt -1) (- 1.0 (* x x))) (* -1 (- 1.0 (* x x))) (pow (exp -1) 1.0) (pow (exp -1) (* x x)) (pow (exp -1) (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x))))) (pow (exp -1) (sqrt (- 1.0 (* x x)))) (pow (exp -1) 1) (pow (exp -1) (+ (sqrt 1.0) x)) (pow (exp -1) (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x x)))) (pow (exp -1) (fma (- x) x (* x x))) (pow (exp -1) (fma (sqrt 1.0) (sqrt 1.0) (- (* x x)))) (pow (exp -1) (fma (- x) x (* x x))) (pow (exp -1) (fma 1 1.0 (- (* x x)))) (pow (exp -1) (fma (- x) x (* x x))) (pow (exp -1) 1.0) (pow (exp -1) (- (* x x))) (pow (exp -1) 1.0) (pow (exp -1) (- (* x x))) (pow (* (cbrt (exp -1)) (cbrt (exp -1))) (- 1.0 (* x x))) (pow (cbrt (exp -1)) (- 1.0 (* x x))) (pow (sqrt (exp -1)) (- 1.0 (* x x))) (pow (sqrt (exp -1)) (- 1.0 (* x x))) (pow 1 (- 1.0 (* x x))) (pow (exp -1) (- 1.0 (* x x))) (log (pow (exp -1) (- 1.0 (* x x)))) (exp (pow (exp -1) (- 1.0 (* x x)))) (* (cbrt (pow (exp -1) (- 1.0 (* x x)))) (cbrt (pow (exp -1) (- 1.0 (* x x))))) (cbrt (pow (exp -1) (- 1.0 (* x x)))) (* (* (pow (exp -1) (- 1.0 (* x x))) (pow (exp -1) (- 1.0 (* x x)))) (pow (exp -1) (- 1.0 (* x x)))) (sqrt (pow (exp -1) (- 1.0 (* x x)))) (sqrt (pow (exp -1) (- 1.0 (* x x)))) (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (+ (* 1/2 (* (exp -1.0) (pow x 4))) (+ (exp -1.0) (* (exp -1.0) (pow x 2)))) (exp (* -1 (- 1.0 (pow x 2)))) (exp (* -1 (- 1.0 (pow x 2)))) 6.165 * * [simplify]: Extracting # 0 : cost 0 6.165 * * [simplify]: Extracting # 1 : cost 0 6.165 * * [simplify]: Extracting # 2 : cost 0 6.166 * * [simplify]: Extracting # 3 : cost 0 6.166 * * [simplify]: Extracting # 4 : cost 0 6.166 * * [simplify]: Extracting # 5 : cost 0 6.166 * * [simplify]: Extracting # 6 : cost 0 6.166 * * [simplify]: Extracting # 7 : cost 0 6.166 * * [simplify]: iteration 0 : 73 enodes (cost 398 ) 6.195 * * [simplify]: Extracting # 0 : cost 0 6.196 * * [simplify]: Extracting # 1 : cost 0 6.196 * * [simplify]: Extracting # 2 : cost 0 6.196 * * [simplify]: Extracting # 3 : cost 0 6.197 * * [simplify]: Extracting # 4 : cost 0 6.197 * * [simplify]: iteration 1 : 196 enodes (cost 361 ) 6.336 * * [simplify]: Extracting # 0 : cost 0 6.338 * * [simplify]: Extracting # 1 : cost 0 6.339 * * [simplify]: Extracting # 2 : cost 0 6.340 * * [simplify]: Extracting # 3 : cost 0 6.342 * * [simplify]: Extracting # 4 : cost 0 6.343 * * [simplify]: Extracting # 5 : cost 0 6.344 * * [simplify]: iteration 2 : 840 enodes (cost 339 ) 6.725 * * [simplify]: Extracting # 0 : cost 0 6.733 * * [simplify]: Extracting # 1 : cost 0 6.741 * * [simplify]: Extracting # 2 : cost 0 6.752 * * [simplify]: Extracting # 3 : cost 0 6.759 * * [simplify]: Extracting # 4 : cost 0 6.766 * * [simplify]: iteration done: 5001 enodes (cost 332 ) 6.767 * [simplify]: Simplified to: (expm1 (exp (- (- 1.0 (pow x 2))))) (log1p (exp (- (- 1.0 (pow x 2))))) (- (fma x (- x) 1.0)) (- (fma x (- x) 1.0)) (fma x (- x) 1.0) (* (cbrt -1) (- 1.0 (* x x))) (* (sqrt -1) (- 1.0 (* x x))) (- (fma x (- x) 1.0)) (pow (exp -1) 1.0) (pow (exp -1) (* x x)) (pow (exp -1) (* (cbrt (- 1.0 (* x x))) (cbrt (- 1.0 (* x x))))) (pow (exp -1) (sqrt (- 1.0 (* x x)))) (exp -1) (pow (exp -1) (+ (sqrt 1.0) x)) (pow (exp -1) (fma (- x) x (pow (cbrt 1.0) 3))) (pow (exp -1) (* x (+ (- x) x))) (exp (- (- 1.0 (pow x 2)))) (pow (exp -1) (* x (+ (- x) x))) (exp (- (- 1.0 (pow x 2)))) (pow (exp -1) (* x (+ (- x) x))) (pow (exp -1) 1.0) (pow (exp -1) (- (* x x))) (pow (exp -1) 1.0) (pow (exp -1) (- (* x x))) (pow (* (cbrt (exp -1)) (cbrt (exp -1))) (- 1.0 (* x x))) (pow (cbrt (exp -1)) (- 1.0 (* x x))) (pow (sqrt (exp -1)) (- 1.0 (* x x))) (pow (sqrt (exp -1)) (- 1.0 (* x x))) 1 (exp (- (- 1.0 (pow x 2)))) (- (fma x (- x) 1.0)) (exp (exp (- (- 1.0 (pow x 2))))) (* (cbrt (exp (- (- 1.0 (pow x 2))))) (cbrt (exp (- (- 1.0 (pow x 2)))))) (cbrt (exp (- (- 1.0 (pow x 2))))) (pow (exp (- (- 1.0 (pow x 2)))) 3) (sqrt (exp (- (- 1.0 (pow x 2))))) (sqrt (exp (- (- 1.0 (pow x 2))))) (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (* (exp -1.0) (+ (fma x x 1) (* 1/2 (pow x 4)))) (exp (- (- 1.0 (pow x 2)))) (exp (- (- 1.0 (pow x 2)))) 6.767 * * * [progress]: adding candidates to table 6.840 * * [progress]: iteration 3 / 4 6.840 * * * [progress]: picking best candidate 6.842 * * * * [pick]: Picked # 6.842 * * * [progress]: localizing error 6.855 * * * [progress]: generating rewritten candidates 6.855 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 6.893 * * * [progress]: generating series expansions 6.893 * * * * [progress]: [ 1 / 1 ] generating series at (2) 6.894 * [backup-simplify]: Simplify (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2))) into (pow (pow (exp -1) (* 1/2 (- 1.0 (pow x 2)))) 2) 6.895 * [approximate]: Taking taylor expansion of (pow (pow (exp -1) (* 1/2 (- 1.0 (pow x 2)))) 2) in (x) around 0 6.895 * [taylor]: Taking taylor expansion of (pow (pow (exp -1) (* 1/2 (- 1.0 (pow x 2)))) 2) in x 6.895 * [taylor]: Taking taylor expansion of (pow (exp -1) (* 1/2 (- 1.0 (pow x 2)))) in x 6.895 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- 1.0 (pow x 2))) (log (exp -1)))) in x 6.895 * [taylor]: Taking taylor expansion of (* (* 1/2 (- 1.0 (pow x 2))) (log (exp -1))) in x 6.895 * [taylor]: Taking taylor expansion of (* 1/2 (- 1.0 (pow x 2))) in x 6.895 * [taylor]: Taking taylor expansion of 1/2 in x 6.895 * [backup-simplify]: Simplify 1/2 into 1/2 6.895 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 6.895 * [taylor]: Taking taylor expansion of 1.0 in x 6.895 * [backup-simplify]: Simplify 1.0 into 1.0 6.895 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.895 * [taylor]: Taking taylor expansion of x in x 6.895 * [backup-simplify]: Simplify 0 into 0 6.895 * [backup-simplify]: Simplify 1 into 1 6.895 * [taylor]: Taking taylor expansion of (log (exp -1)) in x 6.895 * [taylor]: Taking taylor expansion of (exp -1) in x 6.895 * [taylor]: Taking taylor expansion of -1 in x 6.895 * [backup-simplify]: Simplify -1 into -1 6.895 * [backup-simplify]: Simplify (exp -1) into (exp -1) 6.896 * [backup-simplify]: Simplify (log (exp -1)) into -1 6.896 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.897 * [backup-simplify]: Simplify (* 1/2 1.0) into 0.5 6.897 * [backup-simplify]: Simplify (* 0.5 -1) into -0.5 6.897 * [backup-simplify]: Simplify (exp -0.5) into (exp -0.5) 6.897 * [taylor]: Taking taylor expansion of (pow (pow (exp -1) (* 1/2 (- 1.0 (pow x 2)))) 2) in x 6.897 * [taylor]: Taking taylor expansion of (pow (exp -1) (* 1/2 (- 1.0 (pow x 2)))) in x 6.897 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- 1.0 (pow x 2))) (log (exp -1)))) in x 6.897 * [taylor]: Taking taylor expansion of (* (* 1/2 (- 1.0 (pow x 2))) (log (exp -1))) in x 6.897 * [taylor]: Taking taylor expansion of (* 1/2 (- 1.0 (pow x 2))) in x 6.897 * [taylor]: Taking taylor expansion of 1/2 in x 6.897 * [backup-simplify]: Simplify 1/2 into 1/2 6.897 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 2)) in x 6.897 * [taylor]: Taking taylor expansion of 1.0 in x 6.897 * [backup-simplify]: Simplify 1.0 into 1.0 6.897 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.897 * [taylor]: Taking taylor expansion of x in x 6.897 * [backup-simplify]: Simplify 0 into 0 6.897 * [backup-simplify]: Simplify 1 into 1 6.897 * [taylor]: Taking taylor expansion of (log (exp -1)) in x 6.897 * [taylor]: Taking taylor expansion of (exp -1) in x 6.897 * [taylor]: Taking taylor expansion of -1 in x 6.897 * [backup-simplify]: Simplify -1 into -1 6.898 * [backup-simplify]: Simplify (exp -1) into (exp -1) 6.898 * [backup-simplify]: Simplify (log (exp -1)) into -1 6.899 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.899 * [backup-simplify]: Simplify (* 1/2 1.0) into 0.5 6.899 * [backup-simplify]: Simplify (* 0.5 -1) into -0.5 6.899 * [backup-simplify]: Simplify (exp -0.5) into (exp -0.5) 6.900 * [backup-simplify]: Simplify (* (exp -0.5) (exp -0.5)) into (pow (exp -0.5) 2) 6.901 * [backup-simplify]: Simplify (pow (exp -0.5) 2) into (pow (exp -0.5) 2) 6.902 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 6.902 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp -1) 1)))) 1) into 0 6.903 * [backup-simplify]: Simplify (+ 0 0) into 0 6.903 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1.0)) into 0 6.904 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 -1)) into 0 6.904 * [backup-simplify]: Simplify (* (exp -0.5) (+ (* (/ (pow 0 1) 1)))) into 0 6.905 * [backup-simplify]: Simplify (+ (* (exp -0.5) 0) (* 0 (exp -0.5))) into 0 6.905 * [backup-simplify]: Simplify 0 into 0 6.906 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.907 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp -1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp -1) 1)))) 2) into 0 6.908 * [backup-simplify]: Simplify (* 1 1) into 1 6.908 * [backup-simplify]: Simplify (- 1) into -1 6.908 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.909 * [backup-simplify]: Simplify (+ (* 1/2 -1) (+ (* 0 0) (* 0 1.0))) into -1/2 6.909 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* -1/2 -1))) into 1/2 6.912 * [backup-simplify]: Simplify (* (exp -0.5) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1/2 1) 1)))) into (* 1/2 (exp -0.5)) 6.915 * [backup-simplify]: Simplify (+ (* (exp -0.5) (* 1/2 (exp -0.5))) (+ (* 0 0) (* (* 1/2 (exp -0.5)) (exp -0.5)))) into (pow (exp -0.5) 2) 6.916 * [backup-simplify]: Simplify (pow (exp -0.5) 2) into (pow (exp -0.5) 2) 6.917 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.920 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp -1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp -1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp -1) 1)))) 6) into 0 6.921 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.921 * [backup-simplify]: Simplify (- 0) into 0 6.921 * [backup-simplify]: Simplify (+ 0 0) into 0 6.922 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 -1) (+ (* 0 0) (* 0 1.0)))) into 0 6.923 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* -1/2 0) (* 0 -1)))) into 0 6.924 * [backup-simplify]: Simplify (* (exp -0.5) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1/2 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.925 * [backup-simplify]: Simplify (+ (* (exp -0.5) 0) (+ (* 0 (* 1/2 (exp -0.5))) (+ (* (* 1/2 (exp -0.5)) 0) (* 0 (exp -0.5))))) into 0 6.926 * [backup-simplify]: Simplify 0 into 0 6.928 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.934 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp -1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp -1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp -1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp -1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp -1) 1)))) 24) into 0 6.935 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.935 * [backup-simplify]: Simplify (- 0) into 0 6.936 * [backup-simplify]: Simplify (+ 0 0) into 0 6.936 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 -1) (+ (* 0 0) (* 0 1.0))))) into 0 6.940 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* -1/2 0) (+ (* 0 0) (* 0 -1))))) into 0 6.945 * [backup-simplify]: Simplify (* (exp -0.5) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1/2 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1/2 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/8 (exp -0.5)) 6.952 * [backup-simplify]: Simplify (+ (* (exp -0.5) (* 1/8 (exp -0.5))) (+ (* 0 0) (+ (* (* 1/2 (exp -0.5)) (* 1/2 (exp -0.5))) (+ (* 0 0) (* (* 1/8 (exp -0.5)) (exp -0.5)))))) into (* 1/2 (pow (exp -0.5) 2)) 6.954 * [backup-simplify]: Simplify (* 1/2 (pow (exp -0.5) 2)) into (* 1/2 (pow (exp -0.5) 2)) 6.956 * [backup-simplify]: Simplify (+ (* (* 1/2 (pow (exp -0.5) 2)) (pow x 4)) (+ (* (pow (exp -0.5) 2) (pow x 2)) (pow (exp -0.5) 2))) into (+ (pow (exp -0.5) 2) (+ (* (pow (exp -0.5) 2) (pow x 2)) (* 1/2 (* (pow (exp -0.5) 2) (pow x 4))))) 6.957 * [backup-simplify]: Simplify (* (pow (exp -1) (/ (- 1.0 (* (/ 1 x) (/ 1 x))) 2)) (pow (exp -1) (/ (- 1.0 (* (/ 1 x) (/ 1 x))) 2))) into (pow (pow (exp -1) (* 1/2 (- 1.0 (/ 1 (pow x 2))))) 2) 6.957 * [approximate]: Taking taylor expansion of (pow (pow (exp -1) (* 1/2 (- 1.0 (/ 1 (pow x 2))))) 2) in (x) around 0 6.957 * [taylor]: Taking taylor expansion of (pow (pow (exp -1) (* 1/2 (- 1.0 (/ 1 (pow x 2))))) 2) in x 6.957 * [taylor]: Taking taylor expansion of (pow (exp -1) (* 1/2 (- 1.0 (/ 1 (pow x 2))))) in x 6.957 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- 1.0 (/ 1 (pow x 2)))) (log (exp -1)))) in x 6.957 * [taylor]: Taking taylor expansion of (* (* 1/2 (- 1.0 (/ 1 (pow x 2)))) (log (exp -1))) in x 6.957 * [taylor]: Taking taylor expansion of (* 1/2 (- 1.0 (/ 1 (pow x 2)))) in x 6.957 * [taylor]: Taking taylor expansion of 1/2 in x 6.957 * [backup-simplify]: Simplify 1/2 into 1/2 6.957 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 6.957 * [taylor]: Taking taylor expansion of 1.0 in x 6.957 * [backup-simplify]: Simplify 1.0 into 1.0 6.957 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 6.957 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.957 * [taylor]: Taking taylor expansion of x in x 6.957 * [backup-simplify]: Simplify 0 into 0 6.957 * [backup-simplify]: Simplify 1 into 1 6.957 * [backup-simplify]: Simplify (* 1 1) into 1 6.958 * [backup-simplify]: Simplify (/ 1 1) into 1 6.958 * [taylor]: Taking taylor expansion of (log (exp -1)) in x 6.958 * [taylor]: Taking taylor expansion of (exp -1) in x 6.958 * [taylor]: Taking taylor expansion of -1 in x 6.958 * [backup-simplify]: Simplify -1 into -1 6.958 * [backup-simplify]: Simplify (exp -1) into (exp -1) 6.959 * [backup-simplify]: Simplify (log (exp -1)) into -1 6.959 * [backup-simplify]: Simplify (- 1) into -1 6.959 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.959 * [backup-simplify]: Simplify (* 1/2 -1) into -1/2 6.960 * [backup-simplify]: Simplify (* -1/2 -1) into 1/2 6.960 * [backup-simplify]: Simplify (exp (* (* 1/2 (- 1.0 (/ 1 (pow x 2)))) (log (exp -1)))) into (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))) 6.960 * [taylor]: Taking taylor expansion of (pow (pow (exp -1) (* 1/2 (- 1.0 (/ 1 (pow x 2))))) 2) in x 6.960 * [taylor]: Taking taylor expansion of (pow (exp -1) (* 1/2 (- 1.0 (/ 1 (pow x 2))))) in x 6.960 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- 1.0 (/ 1 (pow x 2)))) (log (exp -1)))) in x 6.960 * [taylor]: Taking taylor expansion of (* (* 1/2 (- 1.0 (/ 1 (pow x 2)))) (log (exp -1))) in x 6.960 * [taylor]: Taking taylor expansion of (* 1/2 (- 1.0 (/ 1 (pow x 2)))) in x 6.960 * [taylor]: Taking taylor expansion of 1/2 in x 6.960 * [backup-simplify]: Simplify 1/2 into 1/2 6.960 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 6.960 * [taylor]: Taking taylor expansion of 1.0 in x 6.960 * [backup-simplify]: Simplify 1.0 into 1.0 6.961 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 6.961 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.961 * [taylor]: Taking taylor expansion of x in x 6.961 * [backup-simplify]: Simplify 0 into 0 6.961 * [backup-simplify]: Simplify 1 into 1 6.961 * [backup-simplify]: Simplify (* 1 1) into 1 6.961 * [backup-simplify]: Simplify (/ 1 1) into 1 6.961 * [taylor]: Taking taylor expansion of (log (exp -1)) in x 6.961 * [taylor]: Taking taylor expansion of (exp -1) in x 6.961 * [taylor]: Taking taylor expansion of -1 in x 6.961 * [backup-simplify]: Simplify -1 into -1 6.961 * [backup-simplify]: Simplify (exp -1) into (exp -1) 6.962 * [backup-simplify]: Simplify (log (exp -1)) into -1 6.962 * [backup-simplify]: Simplify (- 1) into -1 6.962 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.963 * [backup-simplify]: Simplify (* 1/2 -1) into -1/2 6.963 * [backup-simplify]: Simplify (* -1/2 -1) into 1/2 6.964 * [backup-simplify]: Simplify (exp (* (* 1/2 (- 1.0 (/ 1 (pow x 2)))) (log (exp -1)))) into (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))) 6.964 * [backup-simplify]: Simplify (* (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))) (exp (* -1/2 (- 1.0 (/ 1 (pow x 2)))))) into (pow (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))) 2) 6.964 * [backup-simplify]: Simplify (pow (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))) 2) into (pow (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))) 2) 6.964 * [backup-simplify]: Simplify (+ (* (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))) 0) (* 0 (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))))) into 0 6.964 * [backup-simplify]: Simplify 0 into 0 6.965 * [backup-simplify]: Simplify (+ (* (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))) 0) (+ (* 0 0) (* 0 (exp (* -1/2 (- 1.0 (/ 1 (pow x 2)))))))) into 0 6.965 * [backup-simplify]: Simplify 0 into 0 6.966 * [backup-simplify]: Simplify (+ (* (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))))))) into 0 6.966 * [backup-simplify]: Simplify 0 into 0 6.967 * [backup-simplify]: Simplify (+ (* (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (* -1/2 (- 1.0 (/ 1 (pow x 2)))))))))) into 0 6.967 * [backup-simplify]: Simplify 0 into 0 6.968 * [backup-simplify]: Simplify (+ (* (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))))))))) into 0 6.968 * [backup-simplify]: Simplify 0 into 0 6.969 * [backup-simplify]: Simplify (+ (* (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (* -1/2 (- 1.0 (/ 1 (pow x 2)))))))))))) into 0 6.969 * [backup-simplify]: Simplify 0 into 0 6.970 * [backup-simplify]: Simplify (pow (exp (* -1/2 (- 1.0 (/ 1 (pow (/ 1 x) 2))))) 2) into (pow (exp (* -1/2 (- 1.0 (pow x 2)))) 2) 6.970 * [backup-simplify]: Simplify (* (pow (exp -1) (/ (- 1.0 (* (/ 1 (- x)) (/ 1 (- x)))) 2)) (pow (exp -1) (/ (- 1.0 (* (/ 1 (- x)) (/ 1 (- x)))) 2))) into (pow (pow (exp -1) (* 1/2 (- 1.0 (/ 1 (pow x 2))))) 2) 6.970 * [approximate]: Taking taylor expansion of (pow (pow (exp -1) (* 1/2 (- 1.0 (/ 1 (pow x 2))))) 2) in (x) around 0 6.971 * [taylor]: Taking taylor expansion of (pow (pow (exp -1) (* 1/2 (- 1.0 (/ 1 (pow x 2))))) 2) in x 6.971 * [taylor]: Taking taylor expansion of (pow (exp -1) (* 1/2 (- 1.0 (/ 1 (pow x 2))))) in x 6.971 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- 1.0 (/ 1 (pow x 2)))) (log (exp -1)))) in x 6.971 * [taylor]: Taking taylor expansion of (* (* 1/2 (- 1.0 (/ 1 (pow x 2)))) (log (exp -1))) in x 6.971 * [taylor]: Taking taylor expansion of (* 1/2 (- 1.0 (/ 1 (pow x 2)))) in x 6.971 * [taylor]: Taking taylor expansion of 1/2 in x 6.971 * [backup-simplify]: Simplify 1/2 into 1/2 6.971 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 6.971 * [taylor]: Taking taylor expansion of 1.0 in x 6.971 * [backup-simplify]: Simplify 1.0 into 1.0 6.971 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 6.971 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.971 * [taylor]: Taking taylor expansion of x in x 6.971 * [backup-simplify]: Simplify 0 into 0 6.971 * [backup-simplify]: Simplify 1 into 1 6.971 * [backup-simplify]: Simplify (* 1 1) into 1 6.971 * [backup-simplify]: Simplify (/ 1 1) into 1 6.971 * [taylor]: Taking taylor expansion of (log (exp -1)) in x 6.971 * [taylor]: Taking taylor expansion of (exp -1) in x 6.971 * [taylor]: Taking taylor expansion of -1 in x 6.971 * [backup-simplify]: Simplify -1 into -1 6.972 * [backup-simplify]: Simplify (exp -1) into (exp -1) 6.972 * [backup-simplify]: Simplify (log (exp -1)) into -1 6.972 * [backup-simplify]: Simplify (- 1) into -1 6.973 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.973 * [backup-simplify]: Simplify (* 1/2 -1) into -1/2 6.973 * [backup-simplify]: Simplify (* -1/2 -1) into 1/2 6.974 * [backup-simplify]: Simplify (exp (* (* 1/2 (- 1.0 (/ 1 (pow x 2)))) (log (exp -1)))) into (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))) 6.974 * [taylor]: Taking taylor expansion of (pow (pow (exp -1) (* 1/2 (- 1.0 (/ 1 (pow x 2))))) 2) in x 6.974 * [taylor]: Taking taylor expansion of (pow (exp -1) (* 1/2 (- 1.0 (/ 1 (pow x 2))))) in x 6.974 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- 1.0 (/ 1 (pow x 2)))) (log (exp -1)))) in x 6.974 * [taylor]: Taking taylor expansion of (* (* 1/2 (- 1.0 (/ 1 (pow x 2)))) (log (exp -1))) in x 6.974 * [taylor]: Taking taylor expansion of (* 1/2 (- 1.0 (/ 1 (pow x 2)))) in x 6.974 * [taylor]: Taking taylor expansion of 1/2 in x 6.974 * [backup-simplify]: Simplify 1/2 into 1/2 6.974 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 2))) in x 6.974 * [taylor]: Taking taylor expansion of 1.0 in x 6.974 * [backup-simplify]: Simplify 1.0 into 1.0 6.974 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 6.974 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.974 * [taylor]: Taking taylor expansion of x in x 6.974 * [backup-simplify]: Simplify 0 into 0 6.974 * [backup-simplify]: Simplify 1 into 1 6.974 * [backup-simplify]: Simplify (* 1 1) into 1 6.975 * [backup-simplify]: Simplify (/ 1 1) into 1 6.975 * [taylor]: Taking taylor expansion of (log (exp -1)) in x 6.975 * [taylor]: Taking taylor expansion of (exp -1) in x 6.975 * [taylor]: Taking taylor expansion of -1 in x 6.975 * [backup-simplify]: Simplify -1 into -1 6.975 * [backup-simplify]: Simplify (exp -1) into (exp -1) 6.976 * [backup-simplify]: Simplify (log (exp -1)) into -1 6.976 * [backup-simplify]: Simplify (- 1) into -1 6.976 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.977 * [backup-simplify]: Simplify (* 1/2 -1) into -1/2 6.977 * [backup-simplify]: Simplify (* -1/2 -1) into 1/2 6.978 * [backup-simplify]: Simplify (exp (* (* 1/2 (- 1.0 (/ 1 (pow x 2)))) (log (exp -1)))) into (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))) 6.978 * [backup-simplify]: Simplify (* (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))) (exp (* -1/2 (- 1.0 (/ 1 (pow x 2)))))) into (pow (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))) 2) 6.978 * [backup-simplify]: Simplify (pow (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))) 2) into (pow (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))) 2) 6.978 * [backup-simplify]: Simplify (+ (* (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))) 0) (* 0 (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))))) into 0 6.978 * [backup-simplify]: Simplify 0 into 0 6.979 * [backup-simplify]: Simplify (+ (* (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))) 0) (+ (* 0 0) (* 0 (exp (* -1/2 (- 1.0 (/ 1 (pow x 2)))))))) into 0 6.979 * [backup-simplify]: Simplify 0 into 0 6.980 * [backup-simplify]: Simplify (+ (* (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))))))) into 0 6.980 * [backup-simplify]: Simplify 0 into 0 6.981 * [backup-simplify]: Simplify (+ (* (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (* -1/2 (- 1.0 (/ 1 (pow x 2)))))))))) into 0 6.981 * [backup-simplify]: Simplify 0 into 0 6.982 * [backup-simplify]: Simplify (+ (* (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))))))))) into 0 6.982 * [backup-simplify]: Simplify 0 into 0 6.983 * [backup-simplify]: Simplify (+ (* (exp (* -1/2 (- 1.0 (/ 1 (pow x 2))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (* -1/2 (- 1.0 (/ 1 (pow x 2)))))))))))) into 0 6.984 * [backup-simplify]: Simplify 0 into 0 6.984 * [backup-simplify]: Simplify (pow (exp (* -1/2 (- 1.0 (/ 1 (pow (/ 1 (- x)) 2))))) 2) into (pow (exp (* -1/2 (- 1.0 (pow x 2)))) 2) 6.984 * * * [progress]: simplifying candidates 6.985 * [simplify]: Simplifying: (expm1 (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (log1p (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (+ (/ (- 1.0 (* x x)) 2) (/ (- 1.0 (* x x)) 2)) (* (exp -1) (exp -1)) (+ (* -1 (/ (- 1.0 (* x x)) 2)) (* -1 (/ (- 1.0 (* x x)) 2))) (+ (* -1 (/ (- 1.0 (* x x)) 2)) (* (log (exp -1)) (/ (- 1.0 (* x x)) 2))) (+ (* -1 (/ (- 1.0 (* x x)) 2)) (log (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (+ (* (log (exp -1)) (/ (- 1.0 (* x x)) 2)) (* -1 (/ (- 1.0 (* x x)) 2))) (+ (* (log (exp -1)) (/ (- 1.0 (* x x)) 2)) (* (log (exp -1)) (/ (- 1.0 (* x x)) 2))) (+ (* (log (exp -1)) (/ (- 1.0 (* x x)) 2)) (log (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (+ (log (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (* -1 (/ (- 1.0 (* x x)) 2))) (+ (log (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (* (log (exp -1)) (/ (- 1.0 (* x x)) 2))) (+ (log (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (log (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (log (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (exp (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (* (* (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (* (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (* (cbrt (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (cbrt (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2))))) (cbrt (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (* (* (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (sqrt (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (sqrt (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (* (pow (exp -1) (/ 1.0 2)) (pow (exp -1) (/ 1.0 2))) (* (pow (exp -1) (/ (* x x) 2)) (pow (exp -1) (/ (* x x) 2))) (* (pow (* (cbrt (exp -1)) (cbrt (exp -1))) (/ (- 1.0 (* x x)) 2)) (pow (* (cbrt (exp -1)) (cbrt (exp -1))) (/ (- 1.0 (* x x)) 2))) (* (pow (cbrt (exp -1)) (/ (- 1.0 (* x x)) 2)) (pow (cbrt (exp -1)) (/ (- 1.0 (* x x)) 2))) (* (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2)) (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2))) (* (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2)) (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2))) (* (pow 1 (/ (- 1.0 (* x x)) 2)) (pow 1 (/ (- 1.0 (* x x)) 2))) (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (* (* (cbrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (cbrt (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (* (cbrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (cbrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))))) (* (cbrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (cbrt (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (* (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (* (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (* 1 1) (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (* (pow (exp -1) (/ (/ (- 1.0 (* x x)) 2) 2)) (pow (exp -1) (/ (/ (- 1.0 (* x x)) 2) 2))) (* (pow (exp -1) (/ (/ (- 1.0 (* x x)) 2) 2)) (pow (exp -1) (/ (/ (- 1.0 (* x x)) 2) 2))) (* (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2)) (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2))) (* (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2)) (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2))) (* (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2)) (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (* (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2)) (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (* (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (/ (- 1.0 (* x x)) 2) 2))) (* (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (/ (- 1.0 (* x x)) 2) 2))) (* (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2))) (* (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2))) (* (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (* (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (* (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (pow (exp -1) (/ (/ (- 1.0 (* x x)) 2) 2))) (* (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (pow (exp -1) (/ (/ (- 1.0 (* x x)) 2) 2))) (* (pow (exp -1) (/ (/ (- 1.0 (* x x)) 2) 2)) (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2))) (* (pow (exp -1) (/ (/ (- 1.0 (* x x)) 2) 2)) (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2))) (* (pow (exp -1) (/ (/ (- 1.0 (* x x)) 2) 2)) (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (* (pow (exp -1) (/ (/ (- 1.0 (* x x)) 2) 2)) (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (* (pow (exp -1) (/ (/ (- 1.0 (* x x)) 2) 2)) (pow (exp -1) (/ (/ (- 1.0 (* x x)) 2) 2))) (* (pow (exp -1) (/ (/ (- 1.0 (* x x)) 2) 2)) (pow (exp -1) (/ (/ (- 1.0 (* x x)) 2) 2))) (* 2 (/ (- 1.0 (* x x)) 2)) (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (* (cbrt (exp -1)) (cbrt (exp -1))) (/ (- 1.0 (* x x)) 2))) (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2))) (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow 1 (/ (- 1.0 (* x x)) 2))) (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (* (cbrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (cbrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))))) (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) 1) (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (/ (- 1.0 (* x x)) 2) 2))) (* (pow (cbrt (exp -1)) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (* (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (* (cbrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (* (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (* (pow (exp -1) (/ (/ (- 1.0 (* x x)) 2) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ 1.0 2))) (* (pow (exp -1) (/ 1.0 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (+ (pow (exp -0.5) 2) (+ (* (pow (exp -0.5) 2) (pow x 2)) (* 1/2 (* (pow (exp -0.5) 2) (pow x 4))))) (pow (exp (* -1/2 (- 1.0 (pow x 2)))) 2) (pow (exp (* -1/2 (- 1.0 (pow x 2)))) 2) 6.988 * * [simplify]: Extracting # 0 : cost 0 6.988 * * [simplify]: Extracting # 1 : cost 0 6.988 * * [simplify]: Extracting # 2 : cost 0 6.989 * * [simplify]: Extracting # 3 : cost 0 6.989 * * [simplify]: Extracting # 4 : cost 0 6.989 * * [simplify]: Extracting # 5 : cost 0 6.989 * * [simplify]: Extracting # 6 : cost 0 6.989 * * [simplify]: Extracting # 7 : cost 0 6.990 * * [simplify]: Extracting # 8 : cost 0 6.990 * * [simplify]: Extracting # 9 : cost 0 6.990 * * [simplify]: Extracting # 10 : cost 0 6.990 * * [simplify]: iteration 0 : 101 enodes (cost 1729 ) 7.029 * * [simplify]: Extracting # 0 : cost 0 7.030 * * [simplify]: Extracting # 1 : cost 0 7.030 * * [simplify]: Extracting # 2 : cost 0 7.031 * * [simplify]: Extracting # 3 : cost 0 7.031 * * [simplify]: Extracting # 4 : cost 0 7.031 * * [simplify]: iteration 1 : 249 enodes (cost 1235 ) 7.201 * * [simplify]: Extracting # 0 : cost 0 7.204 * * [simplify]: Extracting # 1 : cost 0 7.207 * * [simplify]: Extracting # 2 : cost 0 7.209 * * [simplify]: Extracting # 3 : cost 0 7.212 * * [simplify]: Extracting # 4 : cost 0 7.214 * * [simplify]: iteration 2 : 1325 enodes (cost 1078 ) 8.611 * * [simplify]: Extracting # 0 : cost 0 8.649 * * [simplify]: Extracting # 1 : cost 0 8.657 * * [simplify]: Extracting # 2 : cost 0 8.664 * * [simplify]: Extracting # 3 : cost 0 8.671 * * [simplify]: Extracting # 4 : cost 0 8.680 * * [simplify]: iteration done: 5001 enodes (cost 1048 ) 8.681 * [simplify]: Simplified to: (expm1 (pow (exp -1) (* 2 (/ (- 1.0 (* x x)) 2)))) (log1p (pow (exp -1) (* 2 (/ (- 1.0 (* x x)) 2)))) (* 2 (/ (- 1.0 (* x x)) 2)) (exp -2) (* (/ (- 1.0 (* x x)) 2) -2) (* (/ (- 1.0 (* x x)) 2) -2) (* (/ (- 1.0 (* x x)) 2) -2) (* (/ (- 1.0 (* x x)) 2) -2) (* (/ (- 1.0 (* x x)) 2) -2) (* (/ (- 1.0 (* x x)) 2) -2) (* (/ (- 1.0 (* x x)) 2) -2) (* (/ (- 1.0 (* x x)) 2) -2) (* (/ (- 1.0 (* x x)) 2) -2) (* (/ (- 1.0 (* x x)) 2) -2) (exp (pow (exp -1) (* 2 (/ (- 1.0 (* x x)) 2)))) (pow (pow (exp -1) (* 2 (/ (- 1.0 (* x x)) 2))) 3) (* (cbrt (pow (exp -1) (* 2 (/ (- 1.0 (* x x)) 2)))) (cbrt (pow (exp -1) (* 2 (/ (- 1.0 (* x x)) 2))))) (cbrt (pow (exp -1) (* 2 (/ (- 1.0 (* x x)) 2)))) (pow (pow (exp -1) (* 2 (/ (- 1.0 (* x x)) 2))) 3) (fabs (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (fabs (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (pow (exp -1) (* 2 (/ 1.0 2))) (pow (exp -1) (* 2 (/ (* x x) 2))) (pow (* (cbrt (exp -1)) (cbrt (exp -1))) (* (/ (- 1.0 (* x x)) 2) 2)) (pow (cbrt (exp -1)) (* (/ (- 1.0 (* x x)) 2) 2)) (pow (sqrt (exp -1)) (* (/ (- 1.0 (* x x)) 2) 2)) (pow (sqrt (exp -1)) (* (/ (- 1.0 (* x x)) 2) 2)) 1 (pow (exp -1) (* 2 (/ (- 1.0 (* x x)) 2))) (pow (cbrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (+ 3 1)) (* (cbrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (cbrt (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2)) 1 (pow (exp -1) (* 2 (/ (- 1.0 (* x x)) 2))) (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (sqrt (exp -1)) (* (/ (- 1.0 (* x x)) 2) 2)) (pow (sqrt (exp -1)) (* (/ (- 1.0 (* x x)) 2) 2)) (* (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2))) (* (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2))) (* (pow (exp -1) (/ (- 1.0 (pow x 2)) 4)) (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2))) (* (pow (exp -1) (/ (- 1.0 (pow x 2)) 4)) (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2))) (* (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2))) (* (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2))) (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (* (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (pow (exp -1) (/ (- 1.0 (pow x 2)) 4))) (* (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (pow (exp -1) (/ (- 1.0 (pow x 2)) 4))) (* (pow (exp -1) (/ (- 1.0 (pow x 2)) 4)) (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2))) (* (pow (exp -1) (/ (- 1.0 (pow x 2)) 4)) (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2))) (* (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (pow (exp -1) (/ (- 1.0 (pow x 2)) 4))) (* (sqrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (pow (exp -1) (/ (- 1.0 (pow x 2)) 4))) (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (* 2 (/ (- 1.0 (* x x)) 2)) (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (* (cbrt (exp -1)) (cbrt (exp -1))) (/ (- 1.0 (* x x)) 2))) (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2))) (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (* (pow (cbrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (+ 3 1)) (cbrt (pow (exp -1) (/ (- 1.0 (* x x)) 2)))) (pow (fabs (pow (exp -1) (/ (- 1.0 (pow x 2)) 4))) 3) (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (pow (exp -1) (/ (- 1.0 (pow x 2)) 4)) 3) (* (pow (cbrt (exp -1)) (/ (- 1.0 (* x x)) 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (* (pow (exp -1) (/ (- 1.0 (* x x)) 2)) (pow (sqrt (exp -1)) (/ (- 1.0 (* x x)) 2))) (pow (exp -1) (* 2 (/ (- 1.0 (* x x)) 2))) (pow (cbrt (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (+ 3 1)) (pow (fabs (pow (exp -1) (/ (- 1.0 (pow x 2)) 4))) 3) (pow (exp -1) (* 2 (/ (- 1.0 (* x x)) 2))) (pow (pow (exp -1) (/ (- 1.0 (pow x 2)) 4)) 3) (* (pow (exp -1) (/ 1.0 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (* (pow (exp -1) (/ 1.0 2)) (pow (exp -1) (/ (- 1.0 (* x x)) 2))) (* (pow (exp -0.5) 2) (+ (* 1/2 (pow x 4)) (fma x x 1))) (pow (exp (* -1/2 (- 1.0 (pow x 2)))) 2) (pow (exp (* -1/2 (- 1.0 (pow x 2)))) 2) 8.681 * * * [progress]: adding candidates to table 8.823 * [progress]: [Phase 3 of 3] Extracting. 8.823 * * [regime]: Finding splitpoints for: (# # #) 8.823 * * * [regime-changes]: Trying 5 branch expressions: ((* x x) (- 1.0 (* x x)) (- (- 1.0 (* x x))) (exp (- (- 1.0 (* x x)))) x) 8.823 * * * * [regimes]: Trying to branch on (* x x) from (# # #) 8.834 * * * * [regimes]: Trying to branch on (- 1.0 (* x x)) from (# # #) 8.845 * * * * [regimes]: Trying to branch on (- (- 1.0 (* x x))) from (# # #) 8.855 * * * * [regimes]: Trying to branch on (exp (- (- 1.0 (* x x)))) from (# # #) 8.870 * * * * [regimes]: Trying to branch on x from (# # #) 8.887 * * * [regime]: Found split indices: #