11.118 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.041 * * * [progress]: [2/2] Setting up program. 0.042 * [progress]: [Phase 2 of 3] Improving. 0.043 * [simplify]: Simplifying using # : (- (exp x) 1.0) 0.043 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 0.044 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 0.044 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 0.045 * * [simplify]: iteration done : 7 enodes (cost 4 ) 0.045 * [simplify]: Simplified to: (- (exp x) 1.0) 0.045 * * [progress]: iteration 1 / 4 0.045 * * * [progress]: picking best candidate 0.047 * * * * [pick]: Picked # 0.047 * * * [progress]: localizing error 0.051 * * * [progress]: generating rewritten candidates 0.051 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.057 * * * [progress]: generating series expansions 0.057 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.057 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0 0.057 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.057 * [taylor]: Taking taylor expansion of (exp x) in x 0.057 * [taylor]: Taking taylor expansion of x in x 0.057 * [taylor]: Taking taylor expansion of 1.0 in x 0.057 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.057 * [taylor]: Taking taylor expansion of (exp x) in x 0.057 * [taylor]: Taking taylor expansion of x in x 0.057 * [taylor]: Taking taylor expansion of 1.0 in x 0.063 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0 0.063 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 0.063 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.063 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.063 * [taylor]: Taking taylor expansion of x in x 0.063 * [taylor]: Taking taylor expansion of 1.0 in x 0.063 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 0.063 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.063 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.063 * [taylor]: Taking taylor expansion of x in x 0.064 * [taylor]: Taking taylor expansion of 1.0 in x 0.067 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0 0.067 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 0.067 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.067 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.067 * [taylor]: Taking taylor expansion of -1 in x 0.067 * [taylor]: Taking taylor expansion of x in x 0.068 * [taylor]: Taking taylor expansion of 1.0 in x 0.068 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 0.068 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.068 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.068 * [taylor]: Taking taylor expansion of -1 in x 0.068 * [taylor]: Taking taylor expansion of x in x 0.068 * [taylor]: Taking taylor expansion of 1.0 in x 0.072 * * * [progress]: simplifying candidates 0.072 * [simplify]: Simplifying using # : (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (fma 1 (exp x) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))) (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) (fma 1 (exp x) (- (* (sqrt 1.0) (sqrt 1.0)))) (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) (fma 1 (exp x) (- (* 1.0 1))) (fma (- 1.0) 1 (* 1.0 1)) (expm1 (- (exp x) 1.0)) (log1p (- (exp x) 1.0)) (- 1.0) (- 1.0) (- 1.0) (/ (exp (exp x)) (exp 1.0)) (log (- (exp x) 1.0)) (exp (- (exp x) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (cbrt (- (exp x) 1.0)) (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (- (pow (exp x) 3) (pow 1.0 3)) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))) (- 1.0) (- (* (exp x) (exp x)) (* 1.0 1.0)) (+ (exp x) 1.0) (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)) (- (exp x) 1.0) (- 1.0) (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) (- (exp x) 1.0) (- (exp x) 1.0) 0.074 * * [simplify]: iteration 0 : 66 enodes (cost 376 ) 0.088 * * [simplify]: iteration 1 : 138 enodes (cost 288 ) 0.117 * * [simplify]: iteration 2 : 288 enodes (cost 231 ) 0.196 * * [simplify]: iteration 3 : 863 enodes (cost 204 ) 0.874 * * [simplify]: iteration 4 : 2836 enodes (cost 175 ) 2.090 * * [simplify]: iteration done : 5000 enodes (cost 175 ) 2.090 * [simplify]: Simplified to: (- (exp x) 1.0) 0 (- (exp x) 1.0) 0 (- (exp x) 1.0) 0 (- (exp x) 1.0) 0 (- (exp x) 1.0) 0 (- (exp x) 1.0) 0 (- (exp x) 1.0) 0 (- (exp x) 1.0) 0 (- (exp x) 1.0) 0 (expm1 (- (exp x) 1.0)) (log1p (- (exp x) 1.0)) (- 1.0) (- 1.0) (- 1.0) (exp (- (exp x) 1.0)) (log (- (exp x) 1.0)) (exp (- (exp x) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (cbrt (- (exp x) 1.0)) (pow (- (exp x) 1.0) 3) (sqrt (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (- (pow (exp x) 3) (pow 1.0 3)) (fma 1.0 (+ (exp x) 1.0) (exp (+ x x))) (- 1.0) (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)) (- (exp x) 1.0) (- 1.0) (fma (pow x 2) (fma 1/6 x 1/2) x) (- (exp x) 1.0) (- (exp x) 1.0) 2.090 * * * [progress]: adding candidates to table 2.143 * * [progress]: iteration 2 / 4 2.143 * * * [progress]: picking best candidate 2.151 * * * * [pick]: Picked # 2.151 * * * [progress]: localizing error 2.158 * * * [progress]: generating rewritten candidates 2.158 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 2.159 * * * [progress]: generating series expansions 2.159 * * * * [progress]: [ 1 / 1 ] generating series at (2) 2.159 * [approximate]: Taking taylor expansion of (fma (pow x 2) (fma 1/6 x 1/2) x) in (x) around 0 2.159 * [taylor]: Taking taylor expansion of (fma (pow x 2) (fma 1/6 x 1/2) x) in x 2.159 * [taylor]: Rewrote expression to (+ (* (pow x 2) (fma 1/6 x 1/2)) x) 2.159 * [taylor]: Taking taylor expansion of (* (pow x 2) (fma 1/6 x 1/2)) in x 2.159 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.159 * [taylor]: Taking taylor expansion of x in x 2.159 * [taylor]: Taking taylor expansion of (fma 1/6 x 1/2) in x 2.159 * [taylor]: Rewrote expression to (+ (* 1/6 x) 1/2) 2.159 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 2.159 * [taylor]: Taking taylor expansion of 1/6 in x 2.159 * [taylor]: Taking taylor expansion of x in x 2.160 * [taylor]: Taking taylor expansion of 1/2 in x 2.160 * [taylor]: Taking taylor expansion of x in x 2.160 * [taylor]: Taking taylor expansion of (fma (pow x 2) (fma 1/6 x 1/2) x) in x 2.160 * [taylor]: Rewrote expression to (+ (* (pow x 2) (fma 1/6 x 1/2)) x) 2.160 * [taylor]: Taking taylor expansion of (* (pow x 2) (fma 1/6 x 1/2)) in x 2.160 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.160 * [taylor]: Taking taylor expansion of x in x 2.160 * [taylor]: Taking taylor expansion of (fma 1/6 x 1/2) in x 2.160 * [taylor]: Rewrote expression to (+ (* 1/6 x) 1/2) 2.160 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 2.160 * [taylor]: Taking taylor expansion of 1/6 in x 2.160 * [taylor]: Taking taylor expansion of x in x 2.160 * [taylor]: Taking taylor expansion of 1/2 in x 2.160 * [taylor]: Taking taylor expansion of x in x 2.164 * [approximate]: Taking taylor expansion of (fma (pow (/ 1 x) 2) (fma 1/6 (/ 1 x) 1/2) (/ 1 x)) in (x) around 0 2.164 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 2) (fma 1/6 (/ 1 x) 1/2) (/ 1 x)) in x 2.164 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 2) (fma 1/6 (/ 1 x) 1/2)) (/ 1 x)) 2.164 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 2) (fma 1/6 (/ 1 x) 1/2)) in x 2.164 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 2) in x 2.164 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.164 * [taylor]: Taking taylor expansion of x in x 2.164 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in x 2.165 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 x)) 1/2) 2.165 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 2.165 * [taylor]: Taking taylor expansion of 1/6 in x 2.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.165 * [taylor]: Taking taylor expansion of x in x 2.165 * [taylor]: Taking taylor expansion of 1/2 in x 2.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.165 * [taylor]: Taking taylor expansion of x in x 2.165 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 2) (fma 1/6 (/ 1 x) 1/2) (/ 1 x)) in x 2.165 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 2) (fma 1/6 (/ 1 x) 1/2)) (/ 1 x)) 2.165 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 2) (fma 1/6 (/ 1 x) 1/2)) in x 2.165 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 2) in x 2.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.165 * [taylor]: Taking taylor expansion of x in x 2.166 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in x 2.166 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 x)) 1/2) 2.166 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 2.166 * [taylor]: Taking taylor expansion of 1/6 in x 2.166 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.166 * [taylor]: Taking taylor expansion of x in x 2.166 * [taylor]: Taking taylor expansion of 1/2 in x 2.166 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.166 * [taylor]: Taking taylor expansion of x in x 2.176 * [approximate]: Taking taylor expansion of (fma (pow (/ -1 x) 2) (fma 1/6 (/ -1 x) 1/2) (/ -1 x)) in (x) around 0 2.176 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 2) (fma 1/6 (/ -1 x) 1/2) (/ -1 x)) in x 2.176 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 2) (fma 1/6 (/ -1 x) 1/2)) (/ -1 x)) 2.176 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 2) (fma 1/6 (/ -1 x) 1/2)) in x 2.177 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 2) in x 2.177 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.177 * [taylor]: Taking taylor expansion of -1 in x 2.177 * [taylor]: Taking taylor expansion of x in x 2.177 * [taylor]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in x 2.177 * [taylor]: Rewrote expression to (+ (* 1/6 (/ -1 x)) 1/2) 2.177 * [taylor]: Taking taylor expansion of (* 1/6 (/ -1 x)) in x 2.177 * [taylor]: Taking taylor expansion of 1/6 in x 2.177 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.177 * [taylor]: Taking taylor expansion of -1 in x 2.177 * [taylor]: Taking taylor expansion of x in x 2.177 * [taylor]: Taking taylor expansion of 1/2 in x 2.177 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.177 * [taylor]: Taking taylor expansion of -1 in x 2.177 * [taylor]: Taking taylor expansion of x in x 2.178 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 2) (fma 1/6 (/ -1 x) 1/2) (/ -1 x)) in x 2.178 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 2) (fma 1/6 (/ -1 x) 1/2)) (/ -1 x)) 2.178 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 2) (fma 1/6 (/ -1 x) 1/2)) in x 2.178 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 2) in x 2.178 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.178 * [taylor]: Taking taylor expansion of -1 in x 2.178 * [taylor]: Taking taylor expansion of x in x 2.178 * [taylor]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in x 2.178 * [taylor]: Rewrote expression to (+ (* 1/6 (/ -1 x)) 1/2) 2.178 * [taylor]: Taking taylor expansion of (* 1/6 (/ -1 x)) in x 2.178 * [taylor]: Taking taylor expansion of 1/6 in x 2.178 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.178 * [taylor]: Taking taylor expansion of -1 in x 2.178 * [taylor]: Taking taylor expansion of x in x 2.179 * [taylor]: Taking taylor expansion of 1/2 in x 2.179 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.179 * [taylor]: Taking taylor expansion of -1 in x 2.179 * [taylor]: Taking taylor expansion of x in x 2.186 * * * [progress]: simplifying candidates 2.187 * [simplify]: Simplifying using # : (expm1 (fma (pow x 2) (fma 1/6 x 1/2) x)) (log1p (fma (pow x 2) (fma 1/6 x 1/2) x)) (* (pow x 2) (fma 1/6 x 1/2)) (log (fma (pow x 2) (fma 1/6 x 1/2) x)) (exp (fma (pow x 2) (fma 1/6 x 1/2) x)) (* (cbrt (fma (pow x 2) (fma 1/6 x 1/2) x)) (cbrt (fma (pow x 2) (fma 1/6 x 1/2) x))) (cbrt (fma (pow x 2) (fma 1/6 x 1/2) x)) (* (* (fma (pow x 2) (fma 1/6 x 1/2) x) (fma (pow x 2) (fma 1/6 x 1/2) x)) (fma (pow x 2) (fma 1/6 x 1/2) x)) (sqrt (fma (pow x 2) (fma 1/6 x 1/2) x)) (sqrt (fma (pow x 2) (fma 1/6 x 1/2) x)) (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) 2.188 * * [simplify]: iteration 0 : 25 enodes (cost 167 ) 2.192 * * [simplify]: iteration 1 : 50 enodes (cost 161 ) 2.205 * * [simplify]: iteration 2 : 125 enodes (cost 137 ) 2.226 * * [simplify]: iteration 3 : 345 enodes (cost 137 ) 2.362 * * [simplify]: iteration 4 : 1511 enodes (cost 137 ) 3.144 * * [simplify]: iteration done : 5000 enodes (cost 137 ) 3.144 * [simplify]: Simplified to: (expm1 (fma (pow x 2) (fma 1/6 x 1/2) x)) (log1p (fma (pow x 2) (fma 1/6 x 1/2) x)) (* (fma 1/6 x 1/2) (pow x 2)) (log (fma (pow x 2) (fma 1/6 x 1/2) x)) (exp (fma (pow x 2) (fma 1/6 x 1/2) x)) (* (cbrt (fma (pow x 2) (fma 1/6 x 1/2) x)) (cbrt (fma (pow x 2) (fma 1/6 x 1/2) x))) (cbrt (fma (pow x 2) (fma 1/6 x 1/2) x)) (pow (fma (pow x 2) (fma 1/6 x 1/2) x) 3) (sqrt (fma (pow x 2) (fma 1/6 x 1/2) x)) (sqrt (fma (pow x 2) (fma 1/6 x 1/2) x)) (fma (pow x 2) (fma 1/6 x 1/2) x) (fma (pow x 2) (fma 1/6 x 1/2) x) (fma (pow x 2) (fma 1/6 x 1/2) x) 3.144 * * * [progress]: adding candidates to table 3.177 * * [progress]: iteration 3 / 4 3.177 * * * [progress]: picking best candidate 3.184 * * * * [pick]: Picked # 3.184 * * * [progress]: localizing error 3.194 * * * [progress]: generating rewritten candidates 3.194 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 3.227 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 3.230 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 3.297 * * * [progress]: generating series expansions 3.297 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 3.298 * [approximate]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in (x) around 0 3.298 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 3.298 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 3.298 * [taylor]: Taking taylor expansion of (* 2 x) in x 3.298 * [taylor]: Taking taylor expansion of 2 in x 3.298 * [taylor]: Taking taylor expansion of x in x 3.299 * [taylor]: Taking taylor expansion of 1.0 in x 3.299 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 3.299 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 3.299 * [taylor]: Taking taylor expansion of (* 2 x) in x 3.299 * [taylor]: Taking taylor expansion of 2 in x 3.299 * [taylor]: Taking taylor expansion of x in x 3.299 * [taylor]: Taking taylor expansion of 1.0 in x 3.306 * [approximate]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in (x) around 0 3.306 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 3.306 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 3.306 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.306 * [taylor]: Taking taylor expansion of 2 in x 3.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.306 * [taylor]: Taking taylor expansion of x in x 3.307 * [taylor]: Taking taylor expansion of 1.0 in x 3.307 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 3.307 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 3.307 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.307 * [taylor]: Taking taylor expansion of 2 in x 3.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.307 * [taylor]: Taking taylor expansion of x in x 3.308 * [taylor]: Taking taylor expansion of 1.0 in x 3.311 * [approximate]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in (x) around 0 3.311 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 3.311 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 3.311 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 3.311 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.311 * [taylor]: Taking taylor expansion of 2 in x 3.311 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.311 * [taylor]: Taking taylor expansion of x in x 3.312 * [taylor]: Taking taylor expansion of 1.0 in x 3.312 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 3.312 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 3.312 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 3.312 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.312 * [taylor]: Taking taylor expansion of 2 in x 3.312 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.312 * [taylor]: Taking taylor expansion of x in x 3.313 * [taylor]: Taking taylor expansion of 1.0 in x 3.317 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 3.317 * [approximate]: Taking taylor expansion of (+ (exp x) 1.0) in (x) around 0 3.317 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 3.317 * [taylor]: Taking taylor expansion of (exp x) in x 3.317 * [taylor]: Taking taylor expansion of x in x 3.317 * [taylor]: Taking taylor expansion of 1.0 in x 3.317 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 3.317 * [taylor]: Taking taylor expansion of (exp x) in x 3.317 * [taylor]: Taking taylor expansion of x in x 3.317 * [taylor]: Taking taylor expansion of 1.0 in x 3.319 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in (x) around 0 3.319 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 3.319 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.319 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.320 * [taylor]: Taking taylor expansion of x in x 3.320 * [taylor]: Taking taylor expansion of 1.0 in x 3.320 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 3.320 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.320 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.320 * [taylor]: Taking taylor expansion of x in x 3.320 * [taylor]: Taking taylor expansion of 1.0 in x 3.322 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in (x) around 0 3.322 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 3.322 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.322 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.322 * [taylor]: Taking taylor expansion of -1 in x 3.322 * [taylor]: Taking taylor expansion of x in x 3.322 * [taylor]: Taking taylor expansion of 1.0 in x 3.322 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 3.322 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.322 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.322 * [taylor]: Taking taylor expansion of -1 in x 3.322 * [taylor]: Taking taylor expansion of x in x 3.323 * [taylor]: Taking taylor expansion of 1.0 in x 3.324 * * * * [progress]: [ 3 / 3 ] generating series at (2) 3.325 * [approximate]: Taking taylor expansion of (/ (- (exp (* 2 x)) 1.0) (+ (exp x) 1.0)) in (x) around 0 3.325 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2 x)) 1.0) (+ (exp x) 1.0)) in x 3.325 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 3.325 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 3.325 * [taylor]: Taking taylor expansion of (* 2 x) in x 3.325 * [taylor]: Taking taylor expansion of 2 in x 3.325 * [taylor]: Taking taylor expansion of x in x 3.325 * [taylor]: Taking taylor expansion of 1.0 in x 3.325 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 3.325 * [taylor]: Taking taylor expansion of (exp x) in x 3.326 * [taylor]: Taking taylor expansion of x in x 3.326 * [taylor]: Taking taylor expansion of 1.0 in x 3.328 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2 x)) 1.0) (+ (exp x) 1.0)) in x 3.328 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) 1.0) in x 3.328 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 3.328 * [taylor]: Taking taylor expansion of (* 2 x) in x 3.328 * [taylor]: Taking taylor expansion of 2 in x 3.328 * [taylor]: Taking taylor expansion of x in x 3.329 * [taylor]: Taking taylor expansion of 1.0 in x 3.329 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 3.329 * [taylor]: Taking taylor expansion of (exp x) in x 3.329 * [taylor]: Taking taylor expansion of x in x 3.329 * [taylor]: Taking taylor expansion of 1.0 in x 3.342 * [approximate]: Taking taylor expansion of (/ (- (exp (* 2 (/ 1 x))) 1.0) (+ (exp (/ 1 x)) 1.0)) in (x) around 0 3.342 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2 (/ 1 x))) 1.0) (+ (exp (/ 1 x)) 1.0)) in x 3.342 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 3.342 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 3.342 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.342 * [taylor]: Taking taylor expansion of 2 in x 3.342 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.343 * [taylor]: Taking taylor expansion of x in x 3.343 * [taylor]: Taking taylor expansion of 1.0 in x 3.343 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 3.343 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.343 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.343 * [taylor]: Taking taylor expansion of x in x 3.343 * [taylor]: Taking taylor expansion of 1.0 in x 3.344 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2 (/ 1 x))) 1.0) (+ (exp (/ 1 x)) 1.0)) in x 3.344 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) 1.0) in x 3.344 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 3.344 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.344 * [taylor]: Taking taylor expansion of 2 in x 3.344 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.344 * [taylor]: Taking taylor expansion of x in x 3.345 * [taylor]: Taking taylor expansion of 1.0 in x 3.345 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 3.345 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.345 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.345 * [taylor]: Taking taylor expansion of x in x 3.345 * [taylor]: Taking taylor expansion of 1.0 in x 3.353 * [approximate]: Taking taylor expansion of (/ (- (exp (- (* 2 (/ 1 x)))) 1.0) (+ (exp (/ -1 x)) 1.0)) in (x) around 0 3.353 * [taylor]: Taking taylor expansion of (/ (- (exp (- (* 2 (/ 1 x)))) 1.0) (+ (exp (/ -1 x)) 1.0)) in x 3.353 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 3.353 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 3.353 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 3.353 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.353 * [taylor]: Taking taylor expansion of 2 in x 3.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.353 * [taylor]: Taking taylor expansion of x in x 3.354 * [taylor]: Taking taylor expansion of 1.0 in x 3.354 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 3.354 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.354 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.354 * [taylor]: Taking taylor expansion of -1 in x 3.354 * [taylor]: Taking taylor expansion of x in x 3.354 * [taylor]: Taking taylor expansion of 1.0 in x 3.355 * [taylor]: Taking taylor expansion of (/ (- (exp (- (* 2 (/ 1 x)))) 1.0) (+ (exp (/ -1 x)) 1.0)) in x 3.355 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) 1.0) in x 3.355 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 3.355 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 3.355 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.355 * [taylor]: Taking taylor expansion of 2 in x 3.355 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.355 * [taylor]: Taking taylor expansion of x in x 3.356 * [taylor]: Taking taylor expansion of 1.0 in x 3.356 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 3.356 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.356 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.356 * [taylor]: Taking taylor expansion of -1 in x 3.356 * [taylor]: Taking taylor expansion of x in x 3.356 * [taylor]: Taking taylor expansion of 1.0 in x 3.363 * * * [progress]: simplifying candidates 3.365 * [simplify]: Simplifying using # : (fma (exp x) (exp x) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (fma (* (cbrt (exp (+ x x))) (cbrt (exp (+ x x)))) (cbrt (exp (+ x x))) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (fma (sqrt (exp (+ x x))) (sqrt (exp (+ x x))) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (fma 1 (exp (+ x x)) (- (* 1.0 1.0))) (fma (- 1.0) 1.0 (* 1.0 1.0)) (expm1 (- (exp (+ x x)) (* 1.0 1.0))) (log1p (- (exp (+ x x)) (* 1.0 1.0))) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (/ (exp (exp (+ x x))) (exp (* 1.0 1.0))) (log (- (exp (+ x x)) (* 1.0 1.0))) (exp (- (exp (+ x x)) (* 1.0 1.0))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (* (* (- (exp (+ x x)) (* 1.0 1.0)) (- (exp (+ x x)) (* 1.0 1.0))) (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (- (pow (exp (+ x x)) 3) (pow (* 1.0 1.0) 3)) (+ (* (exp (+ x x)) (exp (+ x x))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (* (exp (+ x x)) (* 1.0 1.0)))) (- (* 1.0 1.0)) (- (* (exp (+ x x)) (exp (+ x x))) (* (* 1.0 1.0) (* 1.0 1.0))) (+ (exp (+ x x)) (* 1.0 1.0)) (+ (exp x) 1.0) (- (exp x) 1.0) (+ (sqrt (exp (+ x x))) 1.0) (- (sqrt (exp (+ x x))) 1.0) (- (* 1.0 1.0)) (expm1 (+ 1.0 (exp x))) (log1p (+ 1.0 (exp x))) (* (exp 1.0) (exp (exp x))) (log (+ 1.0 (exp x))) (exp (+ 1.0 (exp x))) (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x)))) (cbrt (+ 1.0 (exp x))) (* (* (+ 1.0 (exp x)) (+ 1.0 (exp x))) (+ 1.0 (exp x))) (sqrt (+ 1.0 (exp x))) (sqrt (+ 1.0 (exp x))) (+ (pow 1.0 3) (pow (exp x) 3)) (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))) (- (* 1.0 1.0) (* (exp x) (exp x))) (- 1.0 (exp x)) (+ 1.0 (exp x)) (expm1 (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x)))) (log1p (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x)))) (- (log (- (exp (+ x x)) (* 1.0 1.0))) (log (+ 1.0 (exp x)))) (log (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x)))) (exp (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x)))) (/ (* (* (- (exp (+ x x)) (* 1.0 1.0)) (- (exp (+ x x)) (* 1.0 1.0))) (- (exp (+ x x)) (* 1.0 1.0))) (* (* (+ 1.0 (exp x)) (+ 1.0 (exp x))) (+ 1.0 (exp x)))) (* (cbrt (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x)))) (cbrt (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x))))) (cbrt (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x)))) (* (* (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x)))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x)))) (sqrt (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x)))) (sqrt (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x)))) (- (- (exp (+ x x)) (* 1.0 1.0))) (- (+ 1.0 (exp x))) (/ (exp (+ x x)) (+ 1.0 (exp x))) (/ (* 1.0 1.0) (+ 1.0 (exp x))) (/ (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x))))) (/ (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (+ 1.0 (exp x)))) (/ (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (sqrt (+ 1.0 (exp x)))) (/ (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (+ 1.0 (exp x)))) (/ (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) 1) (/ (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (+ 1.0 (exp x))) (/ (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) 1) (/ (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (+ 1.0 (exp x))) (/ (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x))))) (/ (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (+ 1.0 (exp x)))) (/ (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (+ 1.0 (exp x)))) (/ (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (+ 1.0 (exp x)))) (/ (sqrt (- (exp (+ x x)) (* 1.0 1.0))) 1) (/ (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (+ 1.0 (exp x))) (/ (sqrt (- (exp (+ x x)) (* 1.0 1.0))) 1) (/ (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (+ 1.0 (exp x))) (/ 1 (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x))))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (+ 1.0 (exp x)))) (/ 1 (sqrt (+ 1.0 (exp x)))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (sqrt (+ 1.0 (exp x)))) (/ 1 1) (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x))) (/ 1 1) (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x))) (/ (+ (exp x) 1.0) (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x))))) (/ (- (exp x) 1.0) (cbrt (+ 1.0 (exp x)))) (/ (+ (exp x) 1.0) (sqrt (+ 1.0 (exp x)))) (/ (- (exp x) 1.0) (sqrt (+ 1.0 (exp x)))) (/ (+ (exp x) 1.0) 1) (/ (- (exp x) 1.0) (+ 1.0 (exp x))) (/ (+ (exp x) 1.0) 1) (/ (- (exp x) 1.0) (+ 1.0 (exp x))) (/ (+ (sqrt (exp (+ x x))) 1.0) (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x))))) (/ (- (sqrt (exp (+ x x))) 1.0) (cbrt (+ 1.0 (exp x)))) (/ (+ (sqrt (exp (+ x x))) 1.0) (sqrt (+ 1.0 (exp x)))) (/ (- (sqrt (exp (+ x x))) 1.0) (sqrt (+ 1.0 (exp x)))) (/ (+ (sqrt (exp (+ x x))) 1.0) 1) (/ (- (sqrt (exp (+ x x))) 1.0) (+ 1.0 (exp x))) (/ (+ (sqrt (exp (+ x x))) 1.0) 1) (/ (- (sqrt (exp (+ x x))) 1.0) (+ 1.0 (exp x))) (/ 1 (+ 1.0 (exp x))) (/ (+ 1.0 (exp x)) (- (exp (+ x x)) (* 1.0 1.0))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x))))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (sqrt (+ 1.0 (exp x)))) (/ (- (exp (+ x x)) (* 1.0 1.0)) 1) (/ (- (exp (+ x x)) (* 1.0 1.0)) 1) (/ (+ 1.0 (exp x)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (+ 1.0 (exp x)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (+ 1.0 (exp x)) (- (exp (+ x x)) (* 1.0 1.0))) (/ (+ 1.0 (exp x)) (- (exp x) 1.0)) (/ (+ 1.0 (exp x)) (- (sqrt (exp (+ x x))) 1.0)) (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ (pow 1.0 3) (pow (exp x) 3))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (- (* 1.0 1.0) (* (exp x) (exp x)))) (* (+ 1.0 (exp x)) (+ (* (exp (+ x x)) (exp (+ x x))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (* (exp (+ x x)) (* 1.0 1.0))))) (* (+ 1.0 (exp x)) (+ (exp (+ x x)) (* 1.0 1.0))) (+ (* 2 (pow x 2)) (+ (* 4/3 (pow x 3)) (* 2 x))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (+ (* 1/2 (pow x 2)) (+ x 2.0)) (+ (exp x) 1.0) (+ (exp x) 1.0) (+ (* 0.5 (pow x 2)) (+ (* 0.16666666666666663 (pow x 3)) (* 1.0 x))) (/ (- (exp (* 2 x)) 1.0) (+ (exp x) 1.0)) (/ (- (exp (* 2 x)) 1.0) (+ (exp x) 1.0)) 3.369 * * [simplify]: iteration 0 : 147 enodes (cost 1493 ) 3.396 * * [simplify]: iteration 1 : 353 enodes (cost 1441 ) 3.492 * * [simplify]: iteration 2 : 957 enodes (cost 1308 ) 4.261 * * [simplify]: iteration 3 : 3193 enodes (cost 1293 ) 4.951 * * [simplify]: iteration done : 5000 enodes (cost 1289 ) 4.952 * [simplify]: Simplified to: (fma 1.0 (- 1.0) (exp (+ x x))) (* 1.0 (- 1.0 1.0)) (fma (- 1.0) 1.0 (pow (cbrt (exp (+ x x))) 3)) (* 1.0 (- 1.0 1.0)) (fma 1.0 (- 1.0) (exp (+ x x))) (* 1.0 (- 1.0 1.0)) (fma 1.0 (- 1.0) (exp (+ x x))) (* 1.0 (- 1.0 1.0)) (expm1 (- (exp (+ x x)) (* 1.0 1.0))) (log1p (- (exp (+ x x)) (* 1.0 1.0))) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (- (* 1.0 1.0)) (exp (- (exp (* 2 x)) (* 1.0 1.0))) (log (- (exp (+ x x)) (* 1.0 1.0))) (exp (- (exp (* 2 x)) (* 1.0 1.0))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (pow (- (exp (* 2 x)) (* 1.0 1.0)) 3) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (- (pow (exp x) 6) (pow 1.0 6)) (fma (* 1.0 1.0) (fma 1.0 1.0 (pow (exp 2) x)) (exp (* x 4))) (- (* 1.0 1.0)) (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x)) (+ 1.0 (exp x)) (- (exp x) 1.0) (+ 1.0 (fabs (exp x))) (- (fabs (exp x)) 1.0) (- (* 1.0 1.0)) (expm1 (+ 1.0 (exp x))) (log1p (+ 1.0 (exp x))) (exp (+ 1.0 (exp x))) (log (+ 1.0 (exp x))) (exp (+ 1.0 (exp x))) (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x)))) (cbrt (+ 1.0 (exp x))) (pow (+ 1.0 (exp x)) 3) (sqrt (+ 1.0 (exp x))) (sqrt (+ 1.0 (exp x))) (+ (pow 1.0 3) (pow (exp x) 3)) (fma 1.0 1.0 (* (exp x) (- (exp x) 1.0))) (fma 1.0 1.0 (- (exp (+ x x)))) (- 1.0 (exp x)) (+ 1.0 (exp x)) (expm1 (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x)))) (log1p (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x)))) (log (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x)))) (log (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x)))) (exp (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x)))) (pow (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x))) 3) (* (cbrt (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x)))) (cbrt (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x))))) (cbrt (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x)))) (pow (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x))) 3) (sqrt (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x)))) (sqrt (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x)))) (fma 1.0 1.0 (- (exp (+ x x)))) (- (+ 1.0 (exp x))) (/ (exp (+ x x)) (+ 1.0 (exp x))) (/ (* 1.0 1.0) (+ 1.0 (exp x))) (/ (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x))))) (/ (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (+ 1.0 (exp x)))) (/ (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (sqrt (+ 1.0 (exp x)))) (/ (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (+ 1.0 (exp x)))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (+ 1.0 (exp x))) (* (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (cbrt (- (exp (+ x x)) (* 1.0 1.0))) (+ 1.0 (exp x))) (/ (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x))))) (/ (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (cbrt (+ 1.0 (exp x)))) (/ (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (+ 1.0 (exp x)))) (/ (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (sqrt (+ 1.0 (exp x)))) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (/ (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (+ 1.0 (exp x))) (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (/ (sqrt (- (exp (+ x x)) (* 1.0 1.0))) (+ 1.0 (exp x))) (/ 1 (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x))))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (cbrt (+ 1.0 (exp x)))) (/ 1 (sqrt (+ 1.0 (exp x)))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (sqrt (+ 1.0 (exp x)))) 1 (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x))) 1 (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ 1.0 (exp x))) (/ (+ (exp x) 1.0) (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x))))) (/ (- (exp x) 1.0) (cbrt (+ 1.0 (exp x)))) (/ (+ (exp x) 1.0) (sqrt (+ 1.0 (exp x)))) (/ (- (exp x) 1.0) (sqrt (+ 1.0 (exp x)))) (+ 1.0 (exp x)) (/ (- (exp x) 1.0) (+ 1.0 (exp x))) (+ 1.0 (exp x)) (/ (- (exp x) 1.0) (+ 1.0 (exp x))) (/ (+ 1.0 (fabs (exp x))) (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x))))) (/ (- (fabs (exp x)) 1.0) (cbrt (+ 1.0 (exp x)))) (/ (+ 1.0 (fabs (exp x))) (sqrt (+ 1.0 (exp x)))) (/ (- (fabs (exp x)) 1.0) (sqrt (+ 1.0 (exp x)))) (+ 1.0 (fabs (exp x))) (/ (- (fabs (exp x)) 1.0) (+ 1.0 (exp x))) (+ 1.0 (fabs (exp x))) (/ (- (fabs (exp x)) 1.0) (+ 1.0 (exp x))) (/ 1 (+ 1.0 (exp x))) (/ (+ 1.0 (exp x)) (- (exp (+ x x)) (* 1.0 1.0))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x))))) (/ (- (exp (+ x x)) (* 1.0 1.0)) (sqrt (+ 1.0 (exp x)))) (fma 1.0 (- 1.0) (exp (+ x x))) (fma 1.0 (- 1.0) (exp (+ x x))) (/ (+ 1.0 (exp x)) (cbrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (+ 1.0 (exp x)) (sqrt (- (exp (+ x x)) (* 1.0 1.0)))) (/ (+ 1.0 (exp x)) (- (exp (+ x x)) (* 1.0 1.0))) (/ (+ 1.0 (exp x)) (- (exp x) 1.0)) (/ (+ 1.0 (exp x)) (- (fabs (exp x)) 1.0)) (/ (- (exp (+ x x)) (* 1.0 1.0)) (+ (pow 1.0 3) (pow (exp x) 3))) (/ (- (exp (* 2 x)) (* 1.0 1.0)) (- (* 1.0 1.0) (exp (* 2 x)))) (* (+ 1.0 (exp x)) (fma (* 1.0 1.0) (fma 1.0 1.0 (pow (exp 2) x)) (exp (* x 4)))) (* (fma 1.0 1.0 (pow (exp 2) x)) (+ 1.0 (exp x))) (fma 2 x (* (pow x 2) (+ (* 4/3 x) 2))) (- (exp (* 2 x)) 1.0) (- (exp (* 2 x)) 1.0) (fma 1/2 (pow x 2) (+ x 2.0)) (+ 1.0 (exp x)) (+ 1.0 (exp x)) (fma 0.16666666666666663 (pow x 3) (* x (+ (* 0.5 x) 1.0))) (/ (- (exp (* 2 x)) 1.0) (+ (exp x) 1.0)) (/ (- (exp (* 2 x)) 1.0) (+ (exp x) 1.0)) 4.953 * * * [progress]: adding candidates to table 5.164 * * [progress]: iteration 4 / 4 5.164 * * * [progress]: picking best candidate 5.171 * * * * [pick]: Picked # 5.171 * * * [progress]: localizing error 5.195 * * * [progress]: generating rewritten candidates 5.195 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 5.203 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 5.222 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 5.223 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 3) 5.229 * * * [progress]: generating series expansions 5.229 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 5.230 * [approximate]: Taking taylor expansion of (- (exp (* 4 x)) 1.0) in (x) around 0 5.230 * [taylor]: Taking taylor expansion of (- (exp (* 4 x)) 1.0) in x 5.230 * [taylor]: Taking taylor expansion of (exp (* 4 x)) in x 5.230 * [taylor]: Taking taylor expansion of (* 4 x) in x 5.230 * [taylor]: Taking taylor expansion of 4 in x 5.230 * [taylor]: Taking taylor expansion of x in x 5.230 * [taylor]: Taking taylor expansion of 1.0 in x 5.231 * [taylor]: Taking taylor expansion of (- (exp (* 4 x)) 1.0) in x 5.231 * [taylor]: Taking taylor expansion of (exp (* 4 x)) in x 5.231 * [taylor]: Taking taylor expansion of (* 4 x) in x 5.231 * [taylor]: Taking taylor expansion of 4 in x 5.231 * [taylor]: Taking taylor expansion of x in x 5.231 * [taylor]: Taking taylor expansion of 1.0 in x 5.238 * [approximate]: Taking taylor expansion of (- (exp (/ 4 x)) 1.0) in (x) around 0 5.238 * [taylor]: Taking taylor expansion of (- (exp (/ 4 x)) 1.0) in x 5.238 * [taylor]: Taking taylor expansion of (exp (/ 4 x)) in x 5.238 * [taylor]: Taking taylor expansion of (/ 4 x) in x 5.238 * [taylor]: Taking taylor expansion of 4 in x 5.238 * [taylor]: Taking taylor expansion of x in x 5.239 * [taylor]: Taking taylor expansion of 1.0 in x 5.239 * [taylor]: Taking taylor expansion of (- (exp (/ 4 x)) 1.0) in x 5.239 * [taylor]: Taking taylor expansion of (exp (/ 4 x)) in x 5.239 * [taylor]: Taking taylor expansion of (/ 4 x) in x 5.239 * [taylor]: Taking taylor expansion of 4 in x 5.239 * [taylor]: Taking taylor expansion of x in x 5.239 * [taylor]: Taking taylor expansion of 1.0 in x 5.243 * [approximate]: Taking taylor expansion of (- (exp (/ -4 x)) 1.0) in (x) around 0 5.243 * [taylor]: Taking taylor expansion of (- (exp (/ -4 x)) 1.0) in x 5.243 * [taylor]: Taking taylor expansion of (exp (/ -4 x)) in x 5.243 * [taylor]: Taking taylor expansion of (/ -4 x) in x 5.243 * [taylor]: Taking taylor expansion of -4 in x 5.243 * [taylor]: Taking taylor expansion of x in x 5.244 * [taylor]: Taking taylor expansion of 1.0 in x 5.244 * [taylor]: Taking taylor expansion of (- (exp (/ -4 x)) 1.0) in x 5.244 * [taylor]: Taking taylor expansion of (exp (/ -4 x)) in x 5.244 * [taylor]: Taking taylor expansion of (/ -4 x) in x 5.244 * [taylor]: Taking taylor expansion of -4 in x 5.244 * [taylor]: Taking taylor expansion of x in x 5.244 * [taylor]: Taking taylor expansion of 1.0 in x 5.248 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 5.248 * [approximate]: Taking taylor expansion of (/ (- (exp (* 4 x)) 1.0) (fma 1.0 1.0 (pow (exp 2) x))) in (x) around 0 5.248 * [taylor]: Taking taylor expansion of (/ (- (exp (* 4 x)) 1.0) (fma 1.0 1.0 (pow (exp 2) x))) in x 5.248 * [taylor]: Taking taylor expansion of (- (exp (* 4 x)) 1.0) in x 5.248 * [taylor]: Taking taylor expansion of (exp (* 4 x)) in x 5.248 * [taylor]: Taking taylor expansion of (* 4 x) in x 5.249 * [taylor]: Taking taylor expansion of 4 in x 5.249 * [taylor]: Taking taylor expansion of x in x 5.249 * [taylor]: Taking taylor expansion of 1.0 in x 5.249 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (pow (exp 2) x)) in x 5.249 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (pow (exp 2) x)) 5.249 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 5.249 * [taylor]: Taking taylor expansion of 1.0 in x 5.249 * [taylor]: Taking taylor expansion of 1.0 in x 5.249 * [taylor]: Taking taylor expansion of (pow (exp 2) x) in x 5.249 * [taylor]: Taking taylor expansion of (exp (* x (log (exp 2)))) in x 5.250 * [taylor]: Taking taylor expansion of (* x (log (exp 2))) in x 5.250 * [taylor]: Taking taylor expansion of x in x 5.250 * [taylor]: Taking taylor expansion of (log (exp 2)) in x 5.250 * [taylor]: Taking taylor expansion of (exp 2) in x 5.250 * [taylor]: Taking taylor expansion of 2 in x 5.255 * [taylor]: Taking taylor expansion of (/ (- (exp (* 4 x)) 1.0) (fma 1.0 1.0 (pow (exp 2) x))) in x 5.255 * [taylor]: Taking taylor expansion of (- (exp (* 4 x)) 1.0) in x 5.255 * [taylor]: Taking taylor expansion of (exp (* 4 x)) in x 5.256 * [taylor]: Taking taylor expansion of (* 4 x) in x 5.256 * [taylor]: Taking taylor expansion of 4 in x 5.256 * [taylor]: Taking taylor expansion of x in x 5.256 * [taylor]: Taking taylor expansion of 1.0 in x 5.256 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (pow (exp 2) x)) in x 5.256 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (pow (exp 2) x)) 5.256 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 5.256 * [taylor]: Taking taylor expansion of 1.0 in x 5.256 * [taylor]: Taking taylor expansion of 1.0 in x 5.256 * [taylor]: Taking taylor expansion of (pow (exp 2) x) in x 5.257 * [taylor]: Taking taylor expansion of (exp (* x (log (exp 2)))) in x 5.257 * [taylor]: Taking taylor expansion of (* x (log (exp 2))) in x 5.257 * [taylor]: Taking taylor expansion of x in x 5.257 * [taylor]: Taking taylor expansion of (log (exp 2)) in x 5.257 * [taylor]: Taking taylor expansion of (exp 2) in x 5.257 * [taylor]: Taking taylor expansion of 2 in x 5.282 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 4 x)) 1.0) (fma 1.0 1.0 (pow (exp 2) (/ 1 x)))) in (x) around 0 5.282 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 4 x)) 1.0) (fma 1.0 1.0 (pow (exp 2) (/ 1 x)))) in x 5.282 * [taylor]: Taking taylor expansion of (- (exp (/ 4 x)) 1.0) in x 5.282 * [taylor]: Taking taylor expansion of (exp (/ 4 x)) in x 5.282 * [taylor]: Taking taylor expansion of (/ 4 x) in x 5.282 * [taylor]: Taking taylor expansion of 4 in x 5.282 * [taylor]: Taking taylor expansion of x in x 5.283 * [taylor]: Taking taylor expansion of 1.0 in x 5.283 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (pow (exp 2) (/ 1 x))) in x 5.283 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (pow (exp 2) (/ 1 x))) 5.283 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 5.283 * [taylor]: Taking taylor expansion of 1.0 in x 5.283 * [taylor]: Taking taylor expansion of 1.0 in x 5.283 * [taylor]: Taking taylor expansion of (pow (exp 2) (/ 1 x)) in x 5.283 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (exp 2)))) in x 5.283 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (exp 2))) in x 5.283 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.283 * [taylor]: Taking taylor expansion of x in x 5.283 * [taylor]: Taking taylor expansion of (log (exp 2)) in x 5.283 * [taylor]: Taking taylor expansion of (exp 2) in x 5.283 * [taylor]: Taking taylor expansion of 2 in x 5.286 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 4 x)) 1.0) (fma 1.0 1.0 (pow (exp 2) (/ 1 x)))) in x 5.286 * [taylor]: Taking taylor expansion of (- (exp (/ 4 x)) 1.0) in x 5.286 * [taylor]: Taking taylor expansion of (exp (/ 4 x)) in x 5.286 * [taylor]: Taking taylor expansion of (/ 4 x) in x 5.286 * [taylor]: Taking taylor expansion of 4 in x 5.286 * [taylor]: Taking taylor expansion of x in x 5.286 * [taylor]: Taking taylor expansion of 1.0 in x 5.286 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (pow (exp 2) (/ 1 x))) in x 5.286 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (pow (exp 2) (/ 1 x))) 5.286 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 5.286 * [taylor]: Taking taylor expansion of 1.0 in x 5.286 * [taylor]: Taking taylor expansion of 1.0 in x 5.287 * [taylor]: Taking taylor expansion of (pow (exp 2) (/ 1 x)) in x 5.287 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (exp 2)))) in x 5.287 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (exp 2))) in x 5.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.287 * [taylor]: Taking taylor expansion of x in x 5.287 * [taylor]: Taking taylor expansion of (log (exp 2)) in x 5.287 * [taylor]: Taking taylor expansion of (exp 2) in x 5.287 * [taylor]: Taking taylor expansion of 2 in x 5.300 * [approximate]: Taking taylor expansion of (/ (- (exp (/ -4 x)) 1.0) (fma 1.0 1.0 (pow (exp 2) (/ -1 x)))) in (x) around 0 5.300 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -4 x)) 1.0) (fma 1.0 1.0 (pow (exp 2) (/ -1 x)))) in x 5.300 * [taylor]: Taking taylor expansion of (- (exp (/ -4 x)) 1.0) in x 5.300 * [taylor]: Taking taylor expansion of (exp (/ -4 x)) in x 5.300 * [taylor]: Taking taylor expansion of (/ -4 x) in x 5.300 * [taylor]: Taking taylor expansion of -4 in x 5.300 * [taylor]: Taking taylor expansion of x in x 5.301 * [taylor]: Taking taylor expansion of 1.0 in x 5.301 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (pow (exp 2) (/ -1 x))) in x 5.301 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (pow (exp 2) (/ -1 x))) 5.301 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 5.301 * [taylor]: Taking taylor expansion of 1.0 in x 5.301 * [taylor]: Taking taylor expansion of 1.0 in x 5.301 * [taylor]: Taking taylor expansion of (pow (exp 2) (/ -1 x)) in x 5.301 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (exp 2)))) in x 5.301 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (exp 2))) in x 5.301 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.301 * [taylor]: Taking taylor expansion of -1 in x 5.301 * [taylor]: Taking taylor expansion of x in x 5.301 * [taylor]: Taking taylor expansion of (log (exp 2)) in x 5.301 * [taylor]: Taking taylor expansion of (exp 2) in x 5.301 * [taylor]: Taking taylor expansion of 2 in x 5.304 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -4 x)) 1.0) (fma 1.0 1.0 (pow (exp 2) (/ -1 x)))) in x 5.304 * [taylor]: Taking taylor expansion of (- (exp (/ -4 x)) 1.0) in x 5.304 * [taylor]: Taking taylor expansion of (exp (/ -4 x)) in x 5.304 * [taylor]: Taking taylor expansion of (/ -4 x) in x 5.304 * [taylor]: Taking taylor expansion of -4 in x 5.304 * [taylor]: Taking taylor expansion of x in x 5.304 * [taylor]: Taking taylor expansion of 1.0 in x 5.304 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (pow (exp 2) (/ -1 x))) in x 5.305 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (pow (exp 2) (/ -1 x))) 5.305 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 5.305 * [taylor]: Taking taylor expansion of 1.0 in x 5.305 * [taylor]: Taking taylor expansion of 1.0 in x 5.305 * [taylor]: Taking taylor expansion of (pow (exp 2) (/ -1 x)) in x 5.305 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (exp 2)))) in x 5.305 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (exp 2))) in x 5.305 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.305 * [taylor]: Taking taylor expansion of -1 in x 5.305 * [taylor]: Taking taylor expansion of x in x 5.305 * [taylor]: Taking taylor expansion of (log (exp 2)) in x 5.305 * [taylor]: Taking taylor expansion of (exp 2) in x 5.305 * [taylor]: Taking taylor expansion of 2 in x 5.318 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 5.318 * [approximate]: Taking taylor expansion of (fma 1.0 1.0 (pow (exp 2) x)) in (x) around 0 5.318 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (pow (exp 2) x)) in x 5.319 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (pow (exp 2) x)) 5.319 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 5.319 * [taylor]: Taking taylor expansion of 1.0 in x 5.319 * [taylor]: Taking taylor expansion of 1.0 in x 5.319 * [taylor]: Taking taylor expansion of (pow (exp 2) x) in x 5.319 * [taylor]: Taking taylor expansion of (exp (* x (log (exp 2)))) in x 5.319 * [taylor]: Taking taylor expansion of (* x (log (exp 2))) in x 5.319 * [taylor]: Taking taylor expansion of x in x 5.319 * [taylor]: Taking taylor expansion of (log (exp 2)) in x 5.319 * [taylor]: Taking taylor expansion of (exp 2) in x 5.319 * [taylor]: Taking taylor expansion of 2 in x 5.322 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (pow (exp 2) x)) in x 5.322 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (pow (exp 2) x)) 5.322 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 5.322 * [taylor]: Taking taylor expansion of 1.0 in x 5.322 * [taylor]: Taking taylor expansion of 1.0 in x 5.322 * [taylor]: Taking taylor expansion of (pow (exp 2) x) in x 5.322 * [taylor]: Taking taylor expansion of (exp (* x (log (exp 2)))) in x 5.322 * [taylor]: Taking taylor expansion of (* x (log (exp 2))) in x 5.322 * [taylor]: Taking taylor expansion of x in x 5.322 * [taylor]: Taking taylor expansion of (log (exp 2)) in x 5.322 * [taylor]: Taking taylor expansion of (exp 2) in x 5.322 * [taylor]: Taking taylor expansion of 2 in x 5.332 * [approximate]: Taking taylor expansion of (fma 1.0 1.0 (pow (exp 2) (/ 1 x))) in (x) around 0 5.332 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (pow (exp 2) (/ 1 x))) in x 5.332 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (pow (exp 2) (/ 1 x))) 5.332 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 5.332 * [taylor]: Taking taylor expansion of 1.0 in x 5.332 * [taylor]: Taking taylor expansion of 1.0 in x 5.332 * [taylor]: Taking taylor expansion of (pow (exp 2) (/ 1 x)) in x 5.332 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (exp 2)))) in x 5.332 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (exp 2))) in x 5.332 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.332 * [taylor]: Taking taylor expansion of x in x 5.332 * [taylor]: Taking taylor expansion of (log (exp 2)) in x 5.332 * [taylor]: Taking taylor expansion of (exp 2) in x 5.332 * [taylor]: Taking taylor expansion of 2 in x 5.334 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (pow (exp 2) (/ 1 x))) in x 5.334 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (pow (exp 2) (/ 1 x))) 5.334 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 5.334 * [taylor]: Taking taylor expansion of 1.0 in x 5.334 * [taylor]: Taking taylor expansion of 1.0 in x 5.334 * [taylor]: Taking taylor expansion of (pow (exp 2) (/ 1 x)) in x 5.334 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (exp 2)))) in x 5.334 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (exp 2))) in x 5.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.334 * [taylor]: Taking taylor expansion of x in x 5.335 * [taylor]: Taking taylor expansion of (log (exp 2)) in x 5.335 * [taylor]: Taking taylor expansion of (exp 2) in x 5.335 * [taylor]: Taking taylor expansion of 2 in x 5.342 * [approximate]: Taking taylor expansion of (fma 1.0 1.0 (pow (exp 2) (/ -1 x))) in (x) around 0 5.342 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (pow (exp 2) (/ -1 x))) in x 5.342 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (pow (exp 2) (/ -1 x))) 5.342 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 5.342 * [taylor]: Taking taylor expansion of 1.0 in x 5.342 * [taylor]: Taking taylor expansion of 1.0 in x 5.342 * [taylor]: Taking taylor expansion of (pow (exp 2) (/ -1 x)) in x 5.342 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (exp 2)))) in x 5.342 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (exp 2))) in x 5.342 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.343 * [taylor]: Taking taylor expansion of -1 in x 5.343 * [taylor]: Taking taylor expansion of x in x 5.343 * [taylor]: Taking taylor expansion of (log (exp 2)) in x 5.343 * [taylor]: Taking taylor expansion of (exp 2) in x 5.343 * [taylor]: Taking taylor expansion of 2 in x 5.345 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (pow (exp 2) (/ -1 x))) in x 5.345 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (pow (exp 2) (/ -1 x))) 5.345 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 5.345 * [taylor]: Taking taylor expansion of 1.0 in x 5.345 * [taylor]: Taking taylor expansion of 1.0 in x 5.345 * [taylor]: Taking taylor expansion of (pow (exp 2) (/ -1 x)) in x 5.345 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (exp 2)))) in x 5.345 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (exp 2))) in x 5.345 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.345 * [taylor]: Taking taylor expansion of -1 in x 5.345 * [taylor]: Taking taylor expansion of x in x 5.345 * [taylor]: Taking taylor expansion of (log (exp 2)) in x 5.345 * [taylor]: Taking taylor expansion of (exp 2) in x 5.345 * [taylor]: Taking taylor expansion of 2 in x 5.352 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 3) 5.352 * [approximate]: Taking taylor expansion of (pow (exp 2) x) in (x) around 0 5.353 * [taylor]: Taking taylor expansion of (pow (exp 2) x) in x 5.353 * [taylor]: Taking taylor expansion of (exp (* x (log (exp 2)))) in x 5.353 * [taylor]: Taking taylor expansion of (* x (log (exp 2))) in x 5.353 * [taylor]: Taking taylor expansion of x in x 5.353 * [taylor]: Taking taylor expansion of (log (exp 2)) in x 5.353 * [taylor]: Taking taylor expansion of (exp 2) in x 5.353 * [taylor]: Taking taylor expansion of 2 in x 5.356 * [taylor]: Taking taylor expansion of (pow (exp 2) x) in x 5.356 * [taylor]: Taking taylor expansion of (exp (* x (log (exp 2)))) in x 5.356 * [taylor]: Taking taylor expansion of (* x (log (exp 2))) in x 5.356 * [taylor]: Taking taylor expansion of x in x 5.356 * [taylor]: Taking taylor expansion of (log (exp 2)) in x 5.356 * [taylor]: Taking taylor expansion of (exp 2) in x 5.356 * [taylor]: Taking taylor expansion of 2 in x 5.369 * [approximate]: Taking taylor expansion of (pow (exp 2) (/ 1 x)) in (x) around 0 5.370 * [taylor]: Taking taylor expansion of (pow (exp 2) (/ 1 x)) in x 5.370 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (exp 2)))) in x 5.370 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (exp 2))) in x 5.370 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.370 * [taylor]: Taking taylor expansion of x in x 5.370 * [taylor]: Taking taylor expansion of (log (exp 2)) in x 5.370 * [taylor]: Taking taylor expansion of (exp 2) in x 5.370 * [taylor]: Taking taylor expansion of 2 in x 5.372 * [taylor]: Taking taylor expansion of (pow (exp 2) (/ 1 x)) in x 5.372 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (exp 2)))) in x 5.372 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (exp 2))) in x 5.372 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.372 * [taylor]: Taking taylor expansion of x in x 5.372 * [taylor]: Taking taylor expansion of (log (exp 2)) in x 5.372 * [taylor]: Taking taylor expansion of (exp 2) in x 5.372 * [taylor]: Taking taylor expansion of 2 in x 5.374 * [approximate]: Taking taylor expansion of (pow (exp 2) (/ -1 x)) in (x) around 0 5.374 * [taylor]: Taking taylor expansion of (pow (exp 2) (/ -1 x)) in x 5.374 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (exp 2)))) in x 5.374 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (exp 2))) in x 5.374 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.374 * [taylor]: Taking taylor expansion of -1 in x 5.374 * [taylor]: Taking taylor expansion of x in x 5.374 * [taylor]: Taking taylor expansion of (log (exp 2)) in x 5.374 * [taylor]: Taking taylor expansion of (exp 2) in x 5.375 * [taylor]: Taking taylor expansion of 2 in x 5.376 * [taylor]: Taking taylor expansion of (pow (exp 2) (/ -1 x)) in x 5.376 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (exp 2)))) in x 5.376 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (exp 2))) in x 5.376 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.376 * [taylor]: Taking taylor expansion of -1 in x 5.376 * [taylor]: Taking taylor expansion of x in x 5.377 * [taylor]: Taking taylor expansion of (log (exp 2)) in x 5.377 * [taylor]: Taking taylor expansion of (exp 2) in x 5.377 * [taylor]: Taking taylor expansion of 2 in x 5.378 * * * [progress]: simplifying candidates 5.381 * [simplify]: Simplifying using # : (fma (* (cbrt (exp (* x 4))) (cbrt (exp (* x 4)))) (cbrt (exp (* x 4))) (- (* (pow (cbrt 1.0) 4) (pow (* (cbrt 1.0) (cbrt 1.0)) 4)))) (fma (- (pow (cbrt 1.0) 4)) (pow (* (cbrt 1.0) (cbrt 1.0)) 4) (* (pow (cbrt 1.0) 4) (pow (* (cbrt 1.0) (cbrt 1.0)) 4))) (fma (* (cbrt (exp (* x 4))) (cbrt (exp (* x 4)))) (cbrt (exp (* x 4))) (- (* (pow (sqrt 1.0) 4) (pow (sqrt 1.0) 4)))) (fma (- (pow (sqrt 1.0) 4)) (pow (sqrt 1.0) 4) (* (pow (sqrt 1.0) 4) (pow (sqrt 1.0) 4))) (fma (* (cbrt (exp (* x 4))) (cbrt (exp (* x 4)))) (cbrt (exp (* x 4))) (- (* (pow 1.0 4) (pow 1 4)))) (fma (- (pow 1.0 4)) (pow 1 4) (* (pow 1.0 4) (pow 1 4))) (fma (* (cbrt (exp (* x 4))) (cbrt (exp (* x 4)))) (cbrt (exp (* x 4))) (- (* (cbrt (pow 1.0 4)) (* (cbrt (pow 1.0 4)) (cbrt (pow 1.0 4)))))) (fma (- (cbrt (pow 1.0 4))) (* (cbrt (pow 1.0 4)) (cbrt (pow 1.0 4))) (* (cbrt (pow 1.0 4)) (* (cbrt (pow 1.0 4)) (cbrt (pow 1.0 4))))) (fma (* (cbrt (exp (* x 4))) (cbrt (exp (* x 4)))) (cbrt (exp (* x 4))) (- (* (sqrt (pow 1.0 4)) (sqrt (pow 1.0 4))))) (fma (- (sqrt (pow 1.0 4))) (sqrt (pow 1.0 4)) (* (sqrt (pow 1.0 4)) (sqrt (pow 1.0 4)))) (fma (* (cbrt (exp (* x 4))) (cbrt (exp (* x 4)))) (cbrt (exp (* x 4))) (- (* (pow 1.0 4) 1))) (fma (- (pow 1.0 4)) 1 (* (pow 1.0 4) 1)) (fma (* (cbrt (exp (* x 4))) (cbrt (exp (* x 4)))) (cbrt (exp (* x 4))) (- (* (pow 1.0 (/ 4 2)) (pow 1.0 (/ 4 2))))) (fma (- (pow 1.0 (/ 4 2))) (pow 1.0 (/ 4 2)) (* (pow 1.0 (/ 4 2)) (pow 1.0 (/ 4 2)))) (fma (sqrt (exp (* x 4))) (sqrt (exp (* x 4))) (- (* (pow (cbrt 1.0) 4) (pow (* (cbrt 1.0) (cbrt 1.0)) 4)))) (fma (- (pow (cbrt 1.0) 4)) (pow (* (cbrt 1.0) (cbrt 1.0)) 4) (* (pow (cbrt 1.0) 4) (pow (* (cbrt 1.0) (cbrt 1.0)) 4))) (fma (sqrt (exp (* x 4))) (sqrt (exp (* x 4))) (- (* (pow (sqrt 1.0) 4) (pow (sqrt 1.0) 4)))) (fma (- (pow (sqrt 1.0) 4)) (pow (sqrt 1.0) 4) (* (pow (sqrt 1.0) 4) (pow (sqrt 1.0) 4))) (fma (sqrt (exp (* x 4))) (sqrt (exp (* x 4))) (- (* (pow 1.0 4) (pow 1 4)))) (fma (- (pow 1.0 4)) (pow 1 4) (* (pow 1.0 4) (pow 1 4))) (fma (sqrt (exp (* x 4))) (sqrt (exp (* x 4))) (- (* (cbrt (pow 1.0 4)) (* (cbrt (pow 1.0 4)) (cbrt (pow 1.0 4)))))) (fma (- (cbrt (pow 1.0 4))) (* (cbrt (pow 1.0 4)) (cbrt (pow 1.0 4))) (* (cbrt (pow 1.0 4)) (* (cbrt (pow 1.0 4)) (cbrt (pow 1.0 4))))) (fma (sqrt (exp (* x 4))) (sqrt (exp (* x 4))) (- (* (sqrt (pow 1.0 4)) (sqrt (pow 1.0 4))))) (fma (- (sqrt (pow 1.0 4))) (sqrt (pow 1.0 4)) (* (sqrt (pow 1.0 4)) (sqrt (pow 1.0 4)))) (fma (sqrt (exp (* x 4))) (sqrt (exp (* x 4))) (- (* (pow 1.0 4) 1))) (fma (- (pow 1.0 4)) 1 (* (pow 1.0 4) 1)) (fma (sqrt (exp (* x 4))) (sqrt (exp (* x 4))) (- (* (pow 1.0 (/ 4 2)) (pow 1.0 (/ 4 2))))) (fma (- (pow 1.0 (/ 4 2))) (pow 1.0 (/ 4 2)) (* (pow 1.0 (/ 4 2)) (pow 1.0 (/ 4 2)))) (fma 1 (exp (* x 4)) (- (* (pow (cbrt 1.0) 4) (pow (* (cbrt 1.0) (cbrt 1.0)) 4)))) (fma (- (pow (cbrt 1.0) 4)) (pow (* (cbrt 1.0) (cbrt 1.0)) 4) (* (pow (cbrt 1.0) 4) (pow (* (cbrt 1.0) (cbrt 1.0)) 4))) (fma 1 (exp (* x 4)) (- (* (pow (sqrt 1.0) 4) (pow (sqrt 1.0) 4)))) (fma (- (pow (sqrt 1.0) 4)) (pow (sqrt 1.0) 4) (* (pow (sqrt 1.0) 4) (pow (sqrt 1.0) 4))) (fma 1 (exp (* x 4)) (- (* (pow 1.0 4) (pow 1 4)))) (fma (- (pow 1.0 4)) (pow 1 4) (* (pow 1.0 4) (pow 1 4))) (fma 1 (exp (* x 4)) (- (* (cbrt (pow 1.0 4)) (* (cbrt (pow 1.0 4)) (cbrt (pow 1.0 4)))))) (fma (- (cbrt (pow 1.0 4))) (* (cbrt (pow 1.0 4)) (cbrt (pow 1.0 4))) (* (cbrt (pow 1.0 4)) (* (cbrt (pow 1.0 4)) (cbrt (pow 1.0 4))))) (fma 1 (exp (* x 4)) (- (* (sqrt (pow 1.0 4)) (sqrt (pow 1.0 4))))) (fma (- (sqrt (pow 1.0 4))) (sqrt (pow 1.0 4)) (* (sqrt (pow 1.0 4)) (sqrt (pow 1.0 4)))) (fma 1 (exp (* x 4)) (- (* (pow 1.0 4) 1))) (fma (- (pow 1.0 4)) 1 (* (pow 1.0 4) 1)) (fma 1 (exp (* x 4)) (- (* (pow 1.0 (/ 4 2)) (pow 1.0 (/ 4 2))))) (fma (- (pow 1.0 (/ 4 2))) (pow 1.0 (/ 4 2)) (* (pow 1.0 (/ 4 2)) (pow 1.0 (/ 4 2)))) (expm1 (- (exp (* x 4)) (pow 1.0 4))) (log1p (- (exp (* x 4)) (pow 1.0 4))) (- (pow 1.0 4)) (- (pow 1.0 4)) (- (pow 1.0 4)) (/ (exp (exp (* x 4))) (exp (pow 1.0 4))) (log (- (exp (* x 4)) (pow 1.0 4))) (exp (- (exp (* x 4)) (pow 1.0 4))) (* (cbrt (- (exp (* x 4)) (pow 1.0 4))) (cbrt (- (exp (* x 4)) (pow 1.0 4)))) (cbrt (- (exp (* x 4)) (pow 1.0 4))) (* (* (- (exp (* x 4)) (pow 1.0 4)) (- (exp (* x 4)) (pow 1.0 4))) (- (exp (* x 4)) (pow 1.0 4))) (sqrt (- (exp (* x 4)) (pow 1.0 4))) (sqrt (- (exp (* x 4)) (pow 1.0 4))) (- (pow (exp (* x 4)) 3) (pow (pow 1.0 4) 3)) (+ (* (exp (* x 4)) (exp (* x 4))) (+ (* (pow 1.0 4) (pow 1.0 4)) (* (exp (* x 4)) (pow 1.0 4)))) (- (pow 1.0 4)) (- (* (exp (* x 4)) (exp (* x 4))) (* (pow 1.0 4) (pow 1.0 4))) (+ (exp (* x 4)) (pow 1.0 4)) (+ (sqrt (exp (* x 4))) (pow (sqrt 1.0) 4)) (- (sqrt (exp (* x 4))) (pow (sqrt 1.0) 4)) (+ (sqrt (exp (* x 4))) (sqrt (pow 1.0 4))) (- (sqrt (exp (* x 4))) (sqrt (pow 1.0 4))) (+ (sqrt (exp (* x 4))) (pow 1.0 (/ 4 2))) (- (sqrt (exp (* x 4))) (pow 1.0 (/ 4 2))) (- (exp (* x 4)) (pow 1.0 4)) (- (pow 1.0 4)) (expm1 (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x)))) (log1p (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x)))) (- (log (- (exp (* x 4)) (pow 1.0 4))) (log (fma 1.0 1.0 (pow (exp 2) x)))) (log (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x)))) (exp (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x)))) (/ (* (* (- (exp (* x 4)) (pow 1.0 4)) (- (exp (* x 4)) (pow 1.0 4))) (- (exp (* x 4)) (pow 1.0 4))) (* (* (fma 1.0 1.0 (pow (exp 2) x)) (fma 1.0 1.0 (pow (exp 2) x))) (fma 1.0 1.0 (pow (exp 2) x)))) (* (cbrt (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x)))) (cbrt (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x))))) (cbrt (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x)))) (* (* (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x))) (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x)))) (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x)))) (sqrt (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x)))) (sqrt (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x)))) (- (- (exp (* x 4)) (pow 1.0 4))) (- (fma 1.0 1.0 (pow (exp 2) x))) (/ (exp (* x 4)) (fma 1.0 1.0 (pow (exp 2) x))) (/ (pow 1.0 4) (fma 1.0 1.0 (pow (exp 2) x))) (/ (* (cbrt (- (exp (* x 4)) (pow 1.0 4))) (cbrt (- (exp (* x 4)) (pow 1.0 4)))) (* (cbrt (fma 1.0 1.0 (pow (exp 2) x))) (cbrt (fma 1.0 1.0 (pow (exp 2) x))))) (/ (cbrt (- (exp (* x 4)) (pow 1.0 4))) (cbrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (* (cbrt (- (exp (* x 4)) (pow 1.0 4))) (cbrt (- (exp (* x 4)) (pow 1.0 4)))) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (cbrt (- (exp (* x 4)) (pow 1.0 4))) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (* (cbrt (- (exp (* x 4)) (pow 1.0 4))) (cbrt (- (exp (* x 4)) (pow 1.0 4)))) 1) (/ (cbrt (- (exp (* x 4)) (pow 1.0 4))) (fma 1.0 1.0 (pow (exp 2) x))) (/ (sqrt (- (exp (* x 4)) (pow 1.0 4))) (* (cbrt (fma 1.0 1.0 (pow (exp 2) x))) (cbrt (fma 1.0 1.0 (pow (exp 2) x))))) (/ (sqrt (- (exp (* x 4)) (pow 1.0 4))) (cbrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (sqrt (- (exp (* x 4)) (pow 1.0 4))) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (sqrt (- (exp (* x 4)) (pow 1.0 4))) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (sqrt (- (exp (* x 4)) (pow 1.0 4))) 1) (/ (sqrt (- (exp (* x 4)) (pow 1.0 4))) (fma 1.0 1.0 (pow (exp 2) x))) (/ 1 (* (cbrt (fma 1.0 1.0 (pow (exp 2) x))) (cbrt (fma 1.0 1.0 (pow (exp 2) x))))) (/ (- (exp (* x 4)) (pow 1.0 4)) (cbrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ 1 (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (- (exp (* x 4)) (pow 1.0 4)) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ 1 1) (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x))) (/ (+ (sqrt (exp (* x 4))) (pow (sqrt 1.0) 4)) (* (cbrt (fma 1.0 1.0 (pow (exp 2) x))) (cbrt (fma 1.0 1.0 (pow (exp 2) x))))) (/ (- (sqrt (exp (* x 4))) (pow (sqrt 1.0) 4)) (cbrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (+ (sqrt (exp (* x 4))) (pow (sqrt 1.0) 4)) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (- (sqrt (exp (* x 4))) (pow (sqrt 1.0) 4)) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (+ (sqrt (exp (* x 4))) (pow (sqrt 1.0) 4)) 1) (/ (- (sqrt (exp (* x 4))) (pow (sqrt 1.0) 4)) (fma 1.0 1.0 (pow (exp 2) x))) (/ (+ (sqrt (exp (* x 4))) (sqrt (pow 1.0 4))) (* (cbrt (fma 1.0 1.0 (pow (exp 2) x))) (cbrt (fma 1.0 1.0 (pow (exp 2) x))))) (/ (- (sqrt (exp (* x 4))) (sqrt (pow 1.0 4))) (cbrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (+ (sqrt (exp (* x 4))) (sqrt (pow 1.0 4))) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (- (sqrt (exp (* x 4))) (sqrt (pow 1.0 4))) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (+ (sqrt (exp (* x 4))) (sqrt (pow 1.0 4))) 1) (/ (- (sqrt (exp (* x 4))) (sqrt (pow 1.0 4))) (fma 1.0 1.0 (pow (exp 2) x))) (/ (+ (sqrt (exp (* x 4))) (pow 1.0 (/ 4 2))) (* (cbrt (fma 1.0 1.0 (pow (exp 2) x))) (cbrt (fma 1.0 1.0 (pow (exp 2) x))))) (/ (- (sqrt (exp (* x 4))) (pow 1.0 (/ 4 2))) (cbrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (+ (sqrt (exp (* x 4))) (pow 1.0 (/ 4 2))) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (- (sqrt (exp (* x 4))) (pow 1.0 (/ 4 2))) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (+ (sqrt (exp (* x 4))) (pow 1.0 (/ 4 2))) 1) (/ (- (sqrt (exp (* x 4))) (pow 1.0 (/ 4 2))) (fma 1.0 1.0 (pow (exp 2) x))) (/ 1 (* (cbrt (fma 1.0 1.0 (pow (exp 2) x))) (cbrt (fma 1.0 1.0 (pow (exp 2) x))))) (/ (- (exp (* x 4)) (pow 1.0 4)) (cbrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ 1 (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (- (exp (* x 4)) (pow 1.0 4)) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ 1 1) (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x))) (/ 1 (fma 1.0 1.0 (pow (exp 2) x))) (/ (fma 1.0 1.0 (pow (exp 2) x)) (- (exp (* x 4)) (pow 1.0 4))) (/ (- (exp (* x 4)) (pow 1.0 4)) (* (cbrt (fma 1.0 1.0 (pow (exp 2) x))) (cbrt (fma 1.0 1.0 (pow (exp 2) x))))) (/ (- (exp (* x 4)) (pow 1.0 4)) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (- (exp (* x 4)) (pow 1.0 4)) 1) (/ (fma 1.0 1.0 (pow (exp 2) x)) (cbrt (- (exp (* x 4)) (pow 1.0 4)))) (/ (fma 1.0 1.0 (pow (exp 2) x)) (sqrt (- (exp (* x 4)) (pow 1.0 4)))) (/ (fma 1.0 1.0 (pow (exp 2) x)) (- (exp (* x 4)) (pow 1.0 4))) (/ (fma 1.0 1.0 (pow (exp 2) x)) (- (sqrt (exp (* x 4))) (pow (sqrt 1.0) 4))) (/ (fma 1.0 1.0 (pow (exp 2) x)) (- (sqrt (exp (* x 4))) (sqrt (pow 1.0 4)))) (/ (fma 1.0 1.0 (pow (exp 2) x)) (- (sqrt (exp (* x 4))) (pow 1.0 (/ 4 2)))) (/ (fma 1.0 1.0 (pow (exp 2) x)) (- (exp (* x 4)) (pow 1.0 4))) (* (fma 1.0 1.0 (pow (exp 2) x)) (+ (* (exp (* x 4)) (exp (* x 4))) (+ (* (pow 1.0 4) (pow 1.0 4)) (* (exp (* x 4)) (pow 1.0 4))))) (* (fma 1.0 1.0 (pow (exp 2) x)) (+ (exp (* x 4)) (pow 1.0 4))) (expm1 (fma 1.0 1.0 (pow (exp 2) x))) (log1p (fma 1.0 1.0 (pow (exp 2) x))) (* 1.0 1.0) (log (fma 1.0 1.0 (pow (exp 2) x))) (exp (fma 1.0 1.0 (pow (exp 2) x))) (* (cbrt (fma 1.0 1.0 (pow (exp 2) x))) (cbrt (fma 1.0 1.0 (pow (exp 2) x)))) (cbrt (fma 1.0 1.0 (pow (exp 2) x))) (* (* (fma 1.0 1.0 (pow (exp 2) x)) (fma 1.0 1.0 (pow (exp 2) x))) (fma 1.0 1.0 (pow (exp 2) x))) (sqrt (fma 1.0 1.0 (pow (exp 2) x))) (sqrt (fma 1.0 1.0 (pow (exp 2) x))) (expm1 (pow (exp 2) x)) (log1p (pow (exp 2) x)) (* 2 x) (* (log (exp 2)) x) (* 1 x) (* (cbrt 2) x) (* (sqrt 2) x) (* 2 x) (pow (exp 2) (* (cbrt x) (cbrt x))) (pow (exp 2) (sqrt x)) (pow (exp 2) 1) (pow (exp 1) x) (pow (exp 1) x) (pow (* (cbrt (exp 2)) (cbrt (exp 2))) x) (pow (cbrt (exp 2)) x) (pow (sqrt (exp 2)) x) (pow (sqrt (exp 2)) x) (pow 1 x) (pow (exp 2) x) (log (pow (exp 2) x)) (exp (pow (exp 2) x)) (* (cbrt (pow (exp 2) x)) (cbrt (pow (exp 2) x))) (cbrt (pow (exp 2) x)) (* (* (pow (exp 2) x) (pow (exp 2) x)) (pow (exp 2) x)) (sqrt (pow (exp 2) x)) (sqrt (pow (exp 2) x)) (pow (exp 2) (/ x 2)) (pow (exp 2) (/ x 2)) (+ (* 8 (pow x 2)) (+ (* 32/3 (pow x 3)) (* 4 x))) (- (exp (* 4 x)) 1.0) (- (exp (* 4 x)) 1.0) (+ (* 2.0 (pow x 2)) (+ (* 1.333333333333333 (pow x 3)) (* 2.0 x))) (/ (- (exp (* 4 x)) 1.0) (+ (exp (* 2 x)) 1.0)) (/ (- (exp (* 4 x)) 1.0) (+ (exp (* 2 x)) 1.0)) (+ (* 2 (pow x 2)) (+ (* 2 x) 2.0)) (+ (exp (* 2 x)) 1.0) (+ (exp (* 2 x)) 1.0) (+ (* 2 (pow x 2)) (+ (* 2 x) 1)) (exp (* 2 x)) (exp (* 2 x)) 5.387 * * [simplify]: iteration 0 : 235 enodes (cost 2837 ) 5.439 * * [simplify]: iteration 1 : 494 enodes (cost 2484 ) 5.599 * * [simplify]: iteration 2 : 1260 enodes (cost 2215 ) 6.005 * * [simplify]: iteration done : 5000 enodes (cost 2212 ) 6.009 * [simplify]: Simplified to: (fma (* (cbrt (exp (* x 4))) (cbrt (exp (* x 4)))) (cbrt (exp (* x 4))) (- (* (pow (cbrt 1.0) 4) (pow (* (cbrt 1.0) (cbrt 1.0)) 4)))) (* (pow (* (cbrt 1.0) (cbrt 1.0)) 4) (+ (- (pow (cbrt 1.0) 4)) (pow (cbrt 1.0) 4))) (fma (* (cbrt (exp (* x 4))) (cbrt (exp (* x 4)))) (cbrt (exp (* x 4))) (- (pow (sqrt 1.0) 8))) (- (pow (sqrt 1.0) 8) (pow (sqrt 1.0) 8)) (- (* (* (cbrt (exp (* x 4))) (cbrt (exp (* x 4)))) (cbrt (exp (* x 4)))) (pow 1.0 4)) (* (pow 1.0 4) 0) (- (* (* (cbrt (exp (* x 4))) (cbrt (exp (* x 4)))) (cbrt (exp (* x 4)))) (pow 1.0 4)) (* (pow 1.0 4) 0) (- (* (* (cbrt (exp (* x 4))) (cbrt (exp (* x 4)))) (cbrt (exp (* x 4)))) (pow 1.0 4)) (* (pow 1.0 4) 0) (- (* (* (cbrt (exp (* x 4))) (cbrt (exp (* x 4)))) (cbrt (exp (* x 4)))) (pow 1.0 4)) (* (pow 1.0 4) 0) (- (* (* (cbrt (exp (* x 4))) (cbrt (exp (* x 4)))) (cbrt (exp (* x 4)))) (pow 1.0 4)) (* (pow 1.0 4) 0) (- (exp (* 4 x)) (* (pow (cbrt 1.0) 4) (pow (* (cbrt 1.0) (cbrt 1.0)) 4))) (* (pow (* (cbrt 1.0) (cbrt 1.0)) 4) (+ (- (pow (cbrt 1.0) 4)) (pow (cbrt 1.0) 4))) (- (exp (* 4 x)) (pow (sqrt 1.0) 8)) (- (pow (sqrt 1.0) 8) (pow (sqrt 1.0) 8)) (- (exp (* 4 x)) (pow 1.0 4)) (* (pow 1.0 4) 0) (- (exp (* 4 x)) (pow 1.0 4)) (* (pow 1.0 4) 0) (- (exp (* 4 x)) (pow 1.0 4)) (* (pow 1.0 4) 0) (- (exp (* 4 x)) (pow 1.0 4)) (* (pow 1.0 4) 0) (- (exp (* 4 x)) (pow 1.0 4)) (* (pow 1.0 4) 0) (- (exp (* 4 x)) (* (pow (cbrt 1.0) 4) (pow (* (cbrt 1.0) (cbrt 1.0)) 4))) (* (pow (* (cbrt 1.0) (cbrt 1.0)) 4) (+ (- (pow (cbrt 1.0) 4)) (pow (cbrt 1.0) 4))) (- (exp (* 4 x)) (pow (sqrt 1.0) 8)) (- (pow (sqrt 1.0) 8) (pow (sqrt 1.0) 8)) (- (exp (* 4 x)) (pow 1.0 4)) (* (pow 1.0 4) 0) (- (exp (* 4 x)) (pow 1.0 4)) (* (pow 1.0 4) 0) (- (exp (* 4 x)) (pow 1.0 4)) (* (pow 1.0 4) 0) (- (exp (* 4 x)) (pow 1.0 4)) (* (pow 1.0 4) 0) (- (exp (* 4 x)) (pow 1.0 4)) (* (pow 1.0 4) 0) (expm1 (- (exp (* x 4)) (pow 1.0 4))) (log1p (- (exp (* x 4)) (pow 1.0 4))) (- (pow 1.0 4)) (- (pow 1.0 4)) (- (pow 1.0 4)) (exp (- (exp (* x 4)) (pow 1.0 4))) (log (- (exp (* x 4)) (pow 1.0 4))) (exp (- (exp (* x 4)) (pow 1.0 4))) (* (cbrt (- (exp (* x 4)) (pow 1.0 4))) (cbrt (- (exp (* x 4)) (pow 1.0 4)))) (cbrt (- (exp (* x 4)) (pow 1.0 4))) (pow (- (exp (* 4 x)) (pow 1.0 4)) 3) (sqrt (- (exp (* x 4)) (pow 1.0 4))) (sqrt (- (exp (* x 4)) (pow 1.0 4))) (- (pow (exp (* x 4)) 3) (pow (pow 1.0 4) 3)) (+ (pow (exp x) 8) (fma (exp (* 4 x)) (pow 1.0 4) (pow 1.0 8))) (- (pow 1.0 4)) (- (pow (exp x) 8) (pow 1.0 8)) (+ (exp (* x 4)) (pow 1.0 4)) (+ (sqrt (exp (* x 4))) (pow (sqrt 1.0) 4)) (- (sqrt (exp (* x 4))) (pow (sqrt 1.0) 4)) (+ (sqrt (pow 1.0 4)) (sqrt (exp (* x 4)))) (- (sqrt (exp (* x 4))) (sqrt (pow 1.0 4))) (+ (sqrt (exp (* x 4))) (pow 1.0 2)) (- (sqrt (exp (* x 4))) (pow 1.0 2)) (- (exp (* 4 x)) (pow 1.0 4)) (- (pow 1.0 4)) (expm1 (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x)))) (log1p (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x)))) (log (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x)))) (log (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x)))) (exp (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x)))) (pow (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x))) 3) (* (cbrt (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x)))) (cbrt (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x))))) (cbrt (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x)))) (pow (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x))) 3) (sqrt (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x)))) (sqrt (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x)))) (- (- (exp (* x 4)) (pow 1.0 4))) (- (fma 1.0 1.0 (pow (exp 2) x))) (/ (exp (* x 4)) (fma 1.0 1.0 (pow (exp 2) x))) (/ (pow 1.0 4) (fma 1.0 1.0 (pow (exp 2) x))) (/ (* (cbrt (- (exp (* x 4)) (pow 1.0 4))) (cbrt (- (exp (* x 4)) (pow 1.0 4)))) (* (cbrt (fma 1.0 1.0 (pow (exp 2) x))) (cbrt (fma 1.0 1.0 (pow (exp 2) x))))) (/ (cbrt (- (exp (* x 4)) (pow 1.0 4))) (cbrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (* (cbrt (- (exp (* x 4)) (pow 1.0 4))) (cbrt (- (exp (* x 4)) (pow 1.0 4)))) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (cbrt (- (exp (* x 4)) (pow 1.0 4))) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (* (cbrt (- (exp (* x 4)) (pow 1.0 4))) (cbrt (- (exp (* x 4)) (pow 1.0 4)))) (/ (cbrt (- (exp (* x 4)) (pow 1.0 4))) (fma 1.0 1.0 (pow (exp 2) x))) (/ (sqrt (- (exp (* x 4)) (pow 1.0 4))) (* (cbrt (fma 1.0 1.0 (pow (exp 2) x))) (cbrt (fma 1.0 1.0 (pow (exp 2) x))))) (/ (sqrt (- (exp (* x 4)) (pow 1.0 4))) (cbrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (sqrt (- (exp (* x 4)) (pow 1.0 4))) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (sqrt (- (exp (* x 4)) (pow 1.0 4))) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (sqrt (- (exp (* x 4)) (pow 1.0 4))) (/ (sqrt (- (exp (* x 4)) (pow 1.0 4))) (fma 1.0 1.0 (pow (exp 2) x))) (/ 1 (* (cbrt (fma 1.0 1.0 (pow (exp 2) x))) (cbrt (fma 1.0 1.0 (pow (exp 2) x))))) (/ (- (exp (* x 4)) (pow 1.0 4)) (cbrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ 1 (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (- (exp (* x 4)) (pow 1.0 4)) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) 1 (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x))) (/ (+ (sqrt (exp (* x 4))) (pow (sqrt 1.0) 4)) (* (cbrt (fma 1.0 1.0 (pow (exp 2) x))) (cbrt (fma 1.0 1.0 (pow (exp 2) x))))) (/ (- (sqrt (exp (* x 4))) (pow (sqrt 1.0) 4)) (cbrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (+ (sqrt (exp (* x 4))) (pow (sqrt 1.0) 4)) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (- (sqrt (exp (* x 4))) (pow (sqrt 1.0) 4)) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (+ (sqrt (exp (* x 4))) (pow (sqrt 1.0) 4)) (/ (- (sqrt (exp (* x 4))) (pow (sqrt 1.0) 4)) (fma 1.0 1.0 (pow (exp 2) x))) (/ (+ (sqrt (exp (* x 4))) (sqrt (pow 1.0 4))) (* (cbrt (fma 1.0 1.0 (pow (exp 2) x))) (cbrt (fma 1.0 1.0 (pow (exp 2) x))))) (/ (- (sqrt (exp (* x 4))) (sqrt (pow 1.0 4))) (cbrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (+ (sqrt (exp (* x 4))) (sqrt (pow 1.0 4))) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (- (sqrt (exp (* x 4))) (sqrt (pow 1.0 4))) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (+ (sqrt (pow 1.0 4)) (sqrt (exp (* x 4)))) (/ (- (sqrt (exp (* x 4))) (sqrt (pow 1.0 4))) (fma 1.0 1.0 (pow (exp 2) x))) (/ (/ (+ (sqrt (exp (* x 4))) (pow 1.0 2)) (cbrt (fma 1.0 1.0 (pow (exp 2) x)))) (cbrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (- (sqrt (exp (* x 4))) (pow 1.0 2)) (cbrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (+ (sqrt (exp (* x 4))) (pow 1.0 2)) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (- (sqrt (exp (* x 4))) (pow 1.0 2)) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (+ (sqrt (exp (* x 4))) (pow 1.0 2)) (/ (- (sqrt (exp (* x 4))) (pow 1.0 2)) (fma 1.0 1.0 (pow (exp 2) x))) (/ 1 (* (cbrt (fma 1.0 1.0 (pow (exp 2) x))) (cbrt (fma 1.0 1.0 (pow (exp 2) x))))) (/ (- (exp (* x 4)) (pow 1.0 4)) (cbrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ 1 (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (/ (- (exp (* x 4)) (pow 1.0 4)) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) 1 (/ (- (exp (* x 4)) (pow 1.0 4)) (fma 1.0 1.0 (pow (exp 2) x))) (/ 1 (fma 1.0 1.0 (pow (exp 2) x))) (/ (fma 1.0 1.0 (pow (exp 2) x)) (- (exp (* x 4)) (pow 1.0 4))) (/ (- (exp (* x 4)) (pow 1.0 4)) (* (cbrt (fma 1.0 1.0 (pow (exp 2) x))) (cbrt (fma 1.0 1.0 (pow (exp 2) x))))) (/ (- (exp (* x 4)) (pow 1.0 4)) (sqrt (fma 1.0 1.0 (pow (exp 2) x)))) (- (exp (* 4 x)) (pow 1.0 4)) (/ (fma 1.0 1.0 (pow (exp 2) x)) (cbrt (- (exp (* x 4)) (pow 1.0 4)))) (/ (fma 1.0 1.0 (pow (exp 2) x)) (sqrt (- (exp (* x 4)) (pow 1.0 4)))) (/ (fma 1.0 1.0 (pow (exp 2) x)) (- (exp (* x 4)) (pow 1.0 4))) (/ (fma 1.0 1.0 (pow (exp 2) x)) (- (sqrt (exp (* x 4))) (pow (sqrt 1.0) 4))) (/ (fma 1.0 1.0 (pow (exp 2) x)) (- (sqrt (exp (* x 4))) (sqrt (pow 1.0 4)))) (/ (fma 1.0 1.0 (pow (exp 2) x)) (- (sqrt (exp (* x 4))) (pow 1.0 2))) (/ (fma 1.0 1.0 (pow (exp 2) x)) (- (exp (* x 4)) (pow 1.0 4))) (* (+ (pow (exp x) 8) (fma (exp (* 4 x)) (pow 1.0 4) (pow 1.0 8))) (fma 1.0 1.0 (pow (exp 2) x))) (* (fma 1.0 1.0 (pow (exp 2) x)) (+ (exp (* x 4)) (pow 1.0 4))) (expm1 (fma 1.0 1.0 (pow (exp 2) x))) (log1p (fma 1.0 1.0 (pow (exp 2) x))) (* 1.0 1.0) (log (fma 1.0 1.0 (pow (exp 2) x))) (exp (fma 1.0 1.0 (pow (exp 2) x))) (* (cbrt (fma 1.0 1.0 (pow (exp 2) x))) (cbrt (fma 1.0 1.0 (pow (exp 2) x)))) (cbrt (fma 1.0 1.0 (pow (exp 2) x))) (pow (fma 1.0 1.0 (pow (exp 2) x)) 3) (sqrt (fma 1.0 1.0 (pow (exp 2) x))) (sqrt (fma 1.0 1.0 (pow (exp 2) x))) (expm1 (pow (exp 2) x)) (log1p (pow (exp 2) x)) (+ x x) (+ x x) x (* (cbrt 2) x) (* (sqrt 2) x) (+ x x) (pow (exp 2) (* (cbrt x) (cbrt x))) (pow (exp 2) (sqrt x)) (exp 2) (pow E x) (pow E x) (pow (* (cbrt (exp 2)) (cbrt (exp 2))) x) (pow (cbrt (exp 2)) x) (pow (sqrt (exp 2)) x) (pow (sqrt (exp 2)) x) 1 (pow (exp x) 2) (+ x x) (exp (pow (exp 2) x)) (* (cbrt (pow (exp 2) x)) (cbrt (pow (exp 2) x))) (cbrt (pow (exp 2) x)) (pow (exp (* 2 x)) 3) (sqrt (pow (exp 2) x)) (sqrt (pow (exp 2) x)) (pow (exp 2) (/ x 2)) (pow (exp 2) (/ x 2)) (fma 8 (pow x 2) (fma 32/3 (pow x 3) (* 4 x))) (- (exp (* 4 x)) 1.0) (- (exp (* 4 x)) 1.0) (fma 2.0 (pow x 2) (fma 1.333333333333333 (pow x 3) (* 2.0 x))) (/ (- (exp (* 4 x)) 1.0) (+ (exp (* 2 x)) 1.0)) (/ (- (exp (* 4 x)) 1.0) (+ (exp (* 2 x)) 1.0)) (fma 2 (pow x 2) (fma 2 x 2.0)) (+ (exp (* 2 x)) 1.0) (+ (exp (* 2 x)) 1.0) (fma 2 (pow x 2) (fma 2 x 1)) (pow (exp x) 2) (pow (exp x) 2) 6.010 * * * [progress]: adding candidates to table 6.417 * [progress]: [Phase 3 of 3] Extracting. 6.417 * * [regime]: Finding splitpoints for: (# # # #) 6.418 * * * [regime-changes]: Trying 1 branch expressions: (x) 6.418 * * * * [regimes]: Trying to branch on x from (# # # #) 6.442 * * * [regime]: Found split indices: #