29.169 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.088 * * * [progress]: [2/2] Setting up program. 0.090 * [progress]: [Phase 2 of 3] Improving. 0.091 * [simplify]: Simplifying using # : (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 0.093 * * [simplify]: iteration 0 : 15 enodes (cost 9 ) 0.094 * * [simplify]: iteration 1 : 24 enodes (cost 9 ) 0.095 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 0.097 * * [simplify]: iteration 3 : 44 enodes (cost 9 ) 0.098 * * [simplify]: iteration 4 : 63 enodes (cost 9 ) 0.100 * * [simplify]: iteration 5 : 179 enodes (cost 9 ) 0.105 * * [simplify]: iteration 6 : 1184 enodes (cost 9 ) 0.135 * * [simplify]: iteration 7 : 5001 enodes (cost 7 ) 0.135 * [simplify]: Simplified to: (* 1 (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x))))) 0.139 * * [progress]: iteration 1 / 4 0.139 * * * [progress]: picking best candidate 0.142 * * * * [pick]: Picked # 0.142 * * * [progress]: localizing error 0.150 * * * [progress]: generating rewritten candidates 0.150 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.153 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 0.153 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1) 0.154 * * * [progress]: generating series expansions 0.154 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.154 * [approximate]: Taking taylor expansion of (/ (expm1 (* 2 x)) (fma 1 1 (exp (* 2 x)))) in (x) around 0 0.155 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 x)) (fma 1 1 (exp (* 2 x)))) in x 0.155 * [taylor]: Taking taylor expansion of (expm1 (* 2 x)) in x 0.155 * [taylor]: Rewrote expression to (- (exp (* 2 x)) 1) 0.155 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.155 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.155 * [taylor]: Taking taylor expansion of 2 in x 0.155 * [taylor]: Taking taylor expansion of x in x 0.156 * [taylor]: Taking taylor expansion of 1 in x 0.156 * [taylor]: Taking taylor expansion of (fma 1 1 (exp (* 2 x))) in x 0.156 * [taylor]: Rewrote expression to (+ (* 1 1) (exp (* 2 x))) 0.156 * [taylor]: Taking taylor expansion of (* 1 1) in x 0.156 * [taylor]: Taking taylor expansion of 1 in x 0.156 * [taylor]: Taking taylor expansion of 1 in x 0.156 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.156 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.156 * [taylor]: Taking taylor expansion of 2 in x 0.156 * [taylor]: Taking taylor expansion of x in x 0.159 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 x)) (fma 1 1 (exp (* 2 x)))) in x 0.159 * [taylor]: Taking taylor expansion of (expm1 (* 2 x)) in x 0.159 * [taylor]: Rewrote expression to (- (exp (* 2 x)) 1) 0.160 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.160 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.160 * [taylor]: Taking taylor expansion of 2 in x 0.160 * [taylor]: Taking taylor expansion of x in x 0.160 * [taylor]: Taking taylor expansion of 1 in x 0.160 * [taylor]: Taking taylor expansion of (fma 1 1 (exp (* 2 x))) in x 0.160 * [taylor]: Rewrote expression to (+ (* 1 1) (exp (* 2 x))) 0.160 * [taylor]: Taking taylor expansion of (* 1 1) in x 0.160 * [taylor]: Taking taylor expansion of 1 in x 0.160 * [taylor]: Taking taylor expansion of 1 in x 0.160 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.160 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.160 * [taylor]: Taking taylor expansion of 2 in x 0.161 * [taylor]: Taking taylor expansion of x in x 0.188 * [approximate]: Taking taylor expansion of (/ (expm1 (* 2 (/ 1 x))) (fma 1 1 (exp (* 2 (/ 1 x))))) in (x) around 0 0.189 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 (/ 1 x))) (fma 1 1 (exp (* 2 (/ 1 x))))) in x 0.189 * [taylor]: Taking taylor expansion of (expm1 (* 2 (/ 1 x))) in x 0.189 * [taylor]: Rewrote expression to (- (exp (* 2 (/ 1 x))) 1) 0.189 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 0.189 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.189 * [taylor]: Taking taylor expansion of 2 in x 0.189 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.189 * [taylor]: Taking taylor expansion of x in x 0.189 * [taylor]: Taking taylor expansion of 1 in x 0.189 * [taylor]: Taking taylor expansion of (fma 1 1 (exp (* 2 (/ 1 x)))) in x 0.190 * [taylor]: Rewrote expression to (+ (* 1 1) (exp (* 2 (/ 1 x)))) 0.190 * [taylor]: Taking taylor expansion of (* 1 1) in x 0.190 * [taylor]: Taking taylor expansion of 1 in x 0.190 * [taylor]: Taking taylor expansion of 1 in x 0.190 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 0.190 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.190 * [taylor]: Taking taylor expansion of 2 in x 0.190 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.190 * [taylor]: Taking taylor expansion of x in x 0.191 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 (/ 1 x))) (fma 1 1 (exp (* 2 (/ 1 x))))) in x 0.191 * [taylor]: Taking taylor expansion of (expm1 (* 2 (/ 1 x))) in x 0.191 * [taylor]: Rewrote expression to (- (exp (* 2 (/ 1 x))) 1) 0.191 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 0.191 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.191 * [taylor]: Taking taylor expansion of 2 in x 0.191 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.191 * [taylor]: Taking taylor expansion of x in x 0.192 * [taylor]: Taking taylor expansion of 1 in x 0.192 * [taylor]: Taking taylor expansion of (fma 1 1 (exp (* 2 (/ 1 x)))) in x 0.192 * [taylor]: Rewrote expression to (+ (* 1 1) (exp (* 2 (/ 1 x)))) 0.192 * [taylor]: Taking taylor expansion of (* 1 1) in x 0.192 * [taylor]: Taking taylor expansion of 1 in x 0.192 * [taylor]: Taking taylor expansion of 1 in x 0.192 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 0.192 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.192 * [taylor]: Taking taylor expansion of 2 in x 0.192 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.192 * [taylor]: Taking taylor expansion of x in x 0.209 * [approximate]: Taking taylor expansion of (/ (expm1 (- (* 2 (/ 1 x)))) (fma 1 1 (exp (- (* 2 (/ 1 x)))))) in (x) around 0 0.209 * [taylor]: Taking taylor expansion of (/ (expm1 (- (* 2 (/ 1 x)))) (fma 1 1 (exp (- (* 2 (/ 1 x)))))) in x 0.209 * [taylor]: Taking taylor expansion of (expm1 (- (* 2 (/ 1 x)))) in x 0.210 * [taylor]: Rewrote expression to (- (exp (- (* 2 (/ 1 x)))) 1) 0.210 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 0.210 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 0.210 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.210 * [taylor]: Taking taylor expansion of 2 in x 0.210 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.210 * [taylor]: Taking taylor expansion of x in x 0.211 * [taylor]: Taking taylor expansion of 1 in x 0.211 * [taylor]: Taking taylor expansion of (fma 1 1 (exp (- (* 2 (/ 1 x))))) in x 0.211 * [taylor]: Rewrote expression to (+ (* 1 1) (exp (- (* 2 (/ 1 x))))) 0.211 * [taylor]: Taking taylor expansion of (* 1 1) in x 0.211 * [taylor]: Taking taylor expansion of 1 in x 0.211 * [taylor]: Taking taylor expansion of 1 in x 0.211 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 0.211 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 0.211 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.211 * [taylor]: Taking taylor expansion of 2 in x 0.211 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.211 * [taylor]: Taking taylor expansion of x in x 0.212 * [taylor]: Taking taylor expansion of (/ (expm1 (- (* 2 (/ 1 x)))) (fma 1 1 (exp (- (* 2 (/ 1 x)))))) in x 0.212 * [taylor]: Taking taylor expansion of (expm1 (- (* 2 (/ 1 x)))) in x 0.212 * [taylor]: Rewrote expression to (- (exp (- (* 2 (/ 1 x)))) 1) 0.212 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 0.212 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 0.213 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.213 * [taylor]: Taking taylor expansion of 2 in x 0.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.213 * [taylor]: Taking taylor expansion of x in x 0.213 * [taylor]: Taking taylor expansion of 1 in x 0.213 * [taylor]: Taking taylor expansion of (fma 1 1 (exp (- (* 2 (/ 1 x))))) in x 0.214 * [taylor]: Rewrote expression to (+ (* 1 1) (exp (- (* 2 (/ 1 x))))) 0.214 * [taylor]: Taking taylor expansion of (* 1 1) in x 0.214 * [taylor]: Taking taylor expansion of 1 in x 0.214 * [taylor]: Taking taylor expansion of 1 in x 0.214 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 0.214 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 0.214 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.214 * [taylor]: Taking taylor expansion of 2 in x 0.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.214 * [taylor]: Taking taylor expansion of x in x 0.226 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 0.227 * [approximate]: Taking taylor expansion of (fma 1 1 (exp (* 2 x))) in (x) around 0 0.227 * [taylor]: Taking taylor expansion of (fma 1 1 (exp (* 2 x))) in x 0.227 * [taylor]: Rewrote expression to (+ (* 1 1) (exp (* 2 x))) 0.227 * [taylor]: Taking taylor expansion of (* 1 1) in x 0.227 * [taylor]: Taking taylor expansion of 1 in x 0.227 * [taylor]: Taking taylor expansion of 1 in x 0.227 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.227 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.227 * [taylor]: Taking taylor expansion of 2 in x 0.227 * [taylor]: Taking taylor expansion of x in x 0.228 * [taylor]: Taking taylor expansion of (fma 1 1 (exp (* 2 x))) in x 0.228 * [taylor]: Rewrote expression to (+ (* 1 1) (exp (* 2 x))) 0.228 * [taylor]: Taking taylor expansion of (* 1 1) in x 0.228 * [taylor]: Taking taylor expansion of 1 in x 0.228 * [taylor]: Taking taylor expansion of 1 in x 0.228 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.228 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.228 * [taylor]: Taking taylor expansion of 2 in x 0.228 * [taylor]: Taking taylor expansion of x in x 0.233 * [approximate]: Taking taylor expansion of (fma 1 1 (exp (* 2 (/ 1 x)))) in (x) around 0 0.233 * [taylor]: Taking taylor expansion of (fma 1 1 (exp (* 2 (/ 1 x)))) in x 0.233 * [taylor]: Rewrote expression to (+ (* 1 1) (exp (* 2 (/ 1 x)))) 0.233 * [taylor]: Taking taylor expansion of (* 1 1) in x 0.233 * [taylor]: Taking taylor expansion of 1 in x 0.233 * [taylor]: Taking taylor expansion of 1 in x 0.233 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 0.233 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.233 * [taylor]: Taking taylor expansion of 2 in x 0.233 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.233 * [taylor]: Taking taylor expansion of x in x 0.234 * [taylor]: Taking taylor expansion of (fma 1 1 (exp (* 2 (/ 1 x)))) in x 0.234 * [taylor]: Rewrote expression to (+ (* 1 1) (exp (* 2 (/ 1 x)))) 0.234 * [taylor]: Taking taylor expansion of (* 1 1) in x 0.234 * [taylor]: Taking taylor expansion of 1 in x 0.234 * [taylor]: Taking taylor expansion of 1 in x 0.234 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 0.234 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.234 * [taylor]: Taking taylor expansion of 2 in x 0.234 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.234 * [taylor]: Taking taylor expansion of x in x 0.240 * [approximate]: Taking taylor expansion of (fma 1 1 (exp (- (* 2 (/ 1 x))))) in (x) around 0 0.240 * [taylor]: Taking taylor expansion of (fma 1 1 (exp (- (* 2 (/ 1 x))))) in x 0.240 * [taylor]: Rewrote expression to (+ (* 1 1) (exp (- (* 2 (/ 1 x))))) 0.240 * [taylor]: Taking taylor expansion of (* 1 1) in x 0.240 * [taylor]: Taking taylor expansion of 1 in x 0.240 * [taylor]: Taking taylor expansion of 1 in x 0.240 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 0.240 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 0.240 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.241 * [taylor]: Taking taylor expansion of 2 in x 0.241 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.241 * [taylor]: Taking taylor expansion of x in x 0.241 * [taylor]: Taking taylor expansion of (fma 1 1 (exp (- (* 2 (/ 1 x))))) in x 0.241 * [taylor]: Rewrote expression to (+ (* 1 1) (exp (- (* 2 (/ 1 x))))) 0.242 * [taylor]: Taking taylor expansion of (* 1 1) in x 0.242 * [taylor]: Taking taylor expansion of 1 in x 0.242 * [taylor]: Taking taylor expansion of 1 in x 0.242 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 0.242 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 0.242 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.242 * [taylor]: Taking taylor expansion of 2 in x 0.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.242 * [taylor]: Taking taylor expansion of x in x 0.248 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1) 0.248 * [approximate]: Taking taylor expansion of (expm1 (* 2 x)) in (x) around 0 0.248 * [taylor]: Taking taylor expansion of (expm1 (* 2 x)) in x 0.248 * [taylor]: Rewrote expression to (- (exp (* 2 x)) 1) 0.248 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.248 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.248 * [taylor]: Taking taylor expansion of 2 in x 0.248 * [taylor]: Taking taylor expansion of x in x 0.249 * [taylor]: Taking taylor expansion of 1 in x 0.249 * [taylor]: Taking taylor expansion of (expm1 (* 2 x)) in x 0.249 * [taylor]: Rewrote expression to (- (exp (* 2 x)) 1) 0.249 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.249 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.249 * [taylor]: Taking taylor expansion of 2 in x 0.249 * [taylor]: Taking taylor expansion of x in x 0.250 * [taylor]: Taking taylor expansion of 1 in x 0.256 * [approximate]: Taking taylor expansion of (expm1 (* 2 (/ 1 x))) in (x) around 0 0.256 * [taylor]: Taking taylor expansion of (expm1 (* 2 (/ 1 x))) in x 0.256 * [taylor]: Rewrote expression to (- (exp (* 2 (/ 1 x))) 1) 0.256 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 0.256 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.256 * [taylor]: Taking taylor expansion of 2 in x 0.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.256 * [taylor]: Taking taylor expansion of x in x 0.257 * [taylor]: Taking taylor expansion of 1 in x 0.257 * [taylor]: Taking taylor expansion of (expm1 (* 2 (/ 1 x))) in x 0.257 * [taylor]: Rewrote expression to (- (exp (* 2 (/ 1 x))) 1) 0.257 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 0.257 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.257 * [taylor]: Taking taylor expansion of 2 in x 0.257 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.257 * [taylor]: Taking taylor expansion of x in x 0.258 * [taylor]: Taking taylor expansion of 1 in x 0.261 * [approximate]: Taking taylor expansion of (expm1 (- (* 2 (/ 1 x)))) in (x) around 0 0.261 * [taylor]: Taking taylor expansion of (expm1 (- (* 2 (/ 1 x)))) in x 0.261 * [taylor]: Rewrote expression to (- (exp (- (* 2 (/ 1 x)))) 1) 0.261 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 0.261 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 0.261 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.261 * [taylor]: Taking taylor expansion of 2 in x 0.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.261 * [taylor]: Taking taylor expansion of x in x 0.262 * [taylor]: Taking taylor expansion of 1 in x 0.262 * [taylor]: Taking taylor expansion of (expm1 (- (* 2 (/ 1 x)))) in x 0.262 * [taylor]: Rewrote expression to (- (exp (- (* 2 (/ 1 x)))) 1) 0.262 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 0.262 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 0.262 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.262 * [taylor]: Taking taylor expansion of 2 in x 0.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.262 * [taylor]: Taking taylor expansion of x in x 0.263 * [taylor]: Taking taylor expansion of 1 in x 0.267 * * * [progress]: simplifying candidates 0.267 * [simplify]: Simplifying using # : (expm1 (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x))))) (log1p (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x))))) (- (log (expm1 (+ x x))) (log (fma 1 1 (exp (+ x x))))) (log (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x))))) (exp (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x))))) (/ (* (* (expm1 (+ x x)) (expm1 (+ x x))) (expm1 (+ x x))) (* (* (fma 1 1 (exp (+ x x))) (fma 1 1 (exp (+ x x)))) (fma 1 1 (exp (+ x x))))) (* (cbrt (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x))))) (cbrt (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x)))))) (cbrt (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x))))) (* (* (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x)))) (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x))))) (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x))))) (sqrt (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x))))) (sqrt (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x))))) (- (expm1 (+ x x))) (- (fma 1 1 (exp (+ x x)))) (/ (exp (+ x x)) (fma 1 1 (exp (+ x x)))) (/ 1 (fma 1 1 (exp (+ x x)))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (* (cbrt (fma 1 1 (exp (+ x x)))) (cbrt (fma 1 1 (exp (+ x x)))))) (/ (cbrt (expm1 (+ x x))) (cbrt (fma 1 1 (exp (+ x x))))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (sqrt (fma 1 1 (exp (+ x x))))) (/ (cbrt (expm1 (+ x x))) (sqrt (fma 1 1 (exp (+ x x))))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) 1) (/ (cbrt (expm1 (+ x x))) (fma 1 1 (exp (+ x x)))) (/ (sqrt (expm1 (+ x x))) (* (cbrt (fma 1 1 (exp (+ x x)))) (cbrt (fma 1 1 (exp (+ x x)))))) (/ (sqrt (expm1 (+ x x))) (cbrt (fma 1 1 (exp (+ x x))))) (/ (sqrt (expm1 (+ x x))) (sqrt (fma 1 1 (exp (+ x x))))) (/ (sqrt (expm1 (+ x x))) (sqrt (fma 1 1 (exp (+ x x))))) (/ (sqrt (expm1 (+ x x))) 1) (/ (sqrt (expm1 (+ x x))) (fma 1 1 (exp (+ x x)))) (/ 1 (* (cbrt (fma 1 1 (exp (+ x x)))) (cbrt (fma 1 1 (exp (+ x x)))))) (/ (expm1 (+ x x)) (cbrt (fma 1 1 (exp (+ x x))))) (/ 1 (sqrt (fma 1 1 (exp (+ x x))))) (/ (expm1 (+ x x)) (sqrt (fma 1 1 (exp (+ x x))))) (/ 1 1) (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x)))) (/ 1 (fma 1 1 (exp (+ x x)))) (/ (fma 1 1 (exp (+ x x))) (expm1 (+ x x))) (/ (expm1 (+ x x)) (* (cbrt (fma 1 1 (exp (+ x x)))) (cbrt (fma 1 1 (exp (+ x x)))))) (/ (expm1 (+ x x)) (sqrt (fma 1 1 (exp (+ x x))))) (/ (expm1 (+ x x)) 1) (/ (fma 1 1 (exp (+ x x))) (cbrt (expm1 (+ x x)))) (/ (fma 1 1 (exp (+ x x))) (sqrt (expm1 (+ x x)))) (/ (fma 1 1 (exp (+ x x))) (expm1 (+ x x))) (expm1 (fma 1 1 (exp (+ x x)))) (log1p (fma 1 1 (exp (+ x x)))) (* 1 1) (log (fma 1 1 (exp (+ x x)))) (exp (fma 1 1 (exp (+ x x)))) (* (cbrt (fma 1 1 (exp (+ x x)))) (cbrt (fma 1 1 (exp (+ x x))))) (cbrt (fma 1 1 (exp (+ x x)))) (* (* (fma 1 1 (exp (+ x x))) (fma 1 1 (exp (+ x x)))) (fma 1 1 (exp (+ x x)))) (sqrt (fma 1 1 (exp (+ x x)))) (sqrt (fma 1 1 (exp (+ x x)))) (exp (+ x x)) (expm1 (expm1 (+ x x))) (log1p (expm1 (+ x x))) (log (expm1 (+ x x))) (exp (expm1 (+ x x))) (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (cbrt (expm1 (+ x x))) (* (* (expm1 (+ x x)) (expm1 (+ x x))) (expm1 (+ x x))) (sqrt (expm1 (+ x x))) (sqrt (expm1 (+ x x))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (/ (- (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)) (/ (- (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)) (+ (* 2 (pow x 2)) (+ (* 2 x) 2)) (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1) (+ (* 2 (pow x 2)) (+ (* 4/3 (pow x 3)) (* 2 x))) (- (exp (* 2 x)) 1) (- (exp (* 2 x)) 1) 0.272 * * [simplify]: iteration 0 : 164 enodes (cost 440 ) 0.275 * * [simplify]: iteration 1 : 564 enodes (cost 391 ) 0.287 * * [simplify]: iteration 2 : 2669 enodes (cost 384 ) 0.344 * * [simplify]: iteration 3 : 5001 enodes (cost 382 ) 0.346 * [simplify]: Simplified to: (expm1 (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x))))) (log1p (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x))))) (log (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x))))) (log (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x))))) (exp (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x))))) (pow (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x)))) 3) (* (cbrt (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x))))) (cbrt (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x)))))) (cbrt (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x))))) (pow (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x)))) 3) (sqrt (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x))))) (sqrt (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x))))) (- (expm1 (+ x x))) (- (fma 1 1 (exp (+ x x)))) (/ (exp (* 2 x)) (+ (exp (* 2 x)) 1)) (/ 1 (+ (exp (* 2 x)) 1)) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (* (cbrt (fma 1 1 (exp (+ x x)))) (cbrt (fma 1 1 (exp (+ x x)))))) (/ (cbrt (expm1 (+ x x))) (cbrt (fma 1 1 (exp (+ x x))))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (hypot 1 (exp x))) (/ (/ (cbrt (expm1 (+ x x))) 1) (hypot 1 (exp x))) (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (/ (cbrt (expm1 (+ x x))) (fma 1 1 (exp (+ x x)))) (/ (sqrt (expm1 (+ x x))) (* (cbrt (fma 1 1 (exp (+ x x)))) (cbrt (fma 1 1 (exp (+ x x)))))) (/ (sqrt (expm1 (+ x x))) (cbrt (fma 1 1 (exp (+ x x))))) (/ (sqrt (expm1 (+ x x))) (hypot 1 (exp x))) (/ (sqrt (expm1 (+ x x))) (hypot 1 (exp x))) (sqrt (expm1 (+ x x))) (/ (sqrt (expm1 (+ x x))) (fma 1 1 (exp (+ x x)))) (/ 1 (* (cbrt (fma 1 1 (exp (+ x x)))) (cbrt (fma 1 1 (exp (+ x x)))))) (/ (expm1 (+ x x)) (cbrt (fma 1 1 (exp (+ x x))))) (/ 1 (/ (hypot 1 (exp x)) 1)) (/ (expm1 (* 2 x)) (hypot 1 (exp x))) 1 (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x)))) (/ 1 (+ (exp (* 2 x)) 1)) (/ (fma 1 1 (exp (+ x x))) (expm1 (+ x x))) (/ (expm1 (+ x x)) (* (cbrt (fma 1 1 (exp (+ x x)))) (cbrt (fma 1 1 (exp (+ x x)))))) (/ (expm1 (* 2 x)) (hypot 1 (exp x))) (expm1 (* 2 x)) (/ (fma 1 1 (exp (+ x x))) (cbrt (expm1 (+ x x)))) (/ (fma 1 1 (exp (+ x x))) (sqrt (expm1 (+ x x)))) (/ (fma 1 1 (exp (+ x x))) (expm1 (+ x x))) (expm1 (fma 1 1 (exp (+ x x)))) (log1p (fma 1 1 (exp (+ x x)))) 1 (log1p (exp (* 2 x))) (exp (fma 1 1 (exp (+ x x)))) (* (cbrt (fma 1 1 (exp (+ x x)))) (cbrt (fma 1 1 (exp (+ x x))))) (cbrt (fma 1 1 (exp (+ x x)))) (pow (+ (exp (* 2 x)) 1) 3) (hypot 1 (exp x)) (hypot 1 (exp x)) (exp (* 2 x)) (expm1 (expm1 (+ x x))) (+ x x) (log (expm1 (+ x x))) (exp (expm1 (+ x x))) (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (cbrt (expm1 (+ x x))) (pow (expm1 (* 2 x)) 3) (sqrt (expm1 (+ x x))) (sqrt (expm1 (+ x x))) (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3)))) (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x)))) (/ (expm1 (+ x x)) (fma 1 1 (exp (+ x x)))) (fma x (fma 2 x 2) 2) (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1) (fma x (fma 2 x 2) (* 4/3 (pow x 3))) (expm1 (* 2 x)) (expm1 (* 2 x)) 0.346 * * * [progress]: adding candidates to table 0.488 * * [progress]: iteration 2 / 4 0.488 * * * [progress]: picking best candidate 0.495 * * * * [pick]: Picked # 0.495 * * * [progress]: localizing error 0.507 * * * [progress]: generating rewritten candidates 0.507 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.523 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 0.529 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 0.538 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1) 0.549 * * * [progress]: generating series expansions 0.549 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.549 * [approximate]: Taking taylor expansion of (/ (expm1 (* 2 x)) (+ (exp (* 2 x)) 1)) in (x) around 0 0.549 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 x)) (+ (exp (* 2 x)) 1)) in x 0.549 * [taylor]: Taking taylor expansion of (expm1 (* 2 x)) in x 0.549 * [taylor]: Rewrote expression to (- (exp (* 2 x)) 1) 0.549 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.549 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.549 * [taylor]: Taking taylor expansion of 2 in x 0.549 * [taylor]: Taking taylor expansion of x in x 0.550 * [taylor]: Taking taylor expansion of 1 in x 0.550 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in x 0.551 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.551 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.551 * [taylor]: Taking taylor expansion of 2 in x 0.551 * [taylor]: Taking taylor expansion of x in x 0.551 * [taylor]: Taking taylor expansion of 1 in x 0.553 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 x)) (+ (exp (* 2 x)) 1)) in x 0.554 * [taylor]: Taking taylor expansion of (expm1 (* 2 x)) in x 0.554 * [taylor]: Rewrote expression to (- (exp (* 2 x)) 1) 0.554 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.554 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.554 * [taylor]: Taking taylor expansion of 2 in x 0.554 * [taylor]: Taking taylor expansion of x in x 0.554 * [taylor]: Taking taylor expansion of 1 in x 0.554 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in x 0.554 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.554 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.554 * [taylor]: Taking taylor expansion of 2 in x 0.554 * [taylor]: Taking taylor expansion of x in x 0.555 * [taylor]: Taking taylor expansion of 1 in x 0.580 * [approximate]: Taking taylor expansion of (/ (expm1 (* 2 (/ 1 x))) (+ (exp (/ 2 x)) 1)) in (x) around 0 0.580 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 (/ 1 x))) (+ (exp (/ 2 x)) 1)) in x 0.580 * [taylor]: Taking taylor expansion of (expm1 (* 2 (/ 1 x))) in x 0.580 * [taylor]: Rewrote expression to (- (exp (* 2 (/ 1 x))) 1) 0.580 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 0.580 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.580 * [taylor]: Taking taylor expansion of 2 in x 0.580 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.580 * [taylor]: Taking taylor expansion of x in x 0.581 * [taylor]: Taking taylor expansion of 1 in x 0.581 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) 1) in x 0.581 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 0.581 * [taylor]: Taking taylor expansion of (/ 2 x) in x 0.581 * [taylor]: Taking taylor expansion of 2 in x 0.581 * [taylor]: Taking taylor expansion of x in x 0.581 * [taylor]: Taking taylor expansion of 1 in x 0.582 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 (/ 1 x))) (+ (exp (/ 2 x)) 1)) in x 0.582 * [taylor]: Taking taylor expansion of (expm1 (* 2 (/ 1 x))) in x 0.582 * [taylor]: Rewrote expression to (- (exp (* 2 (/ 1 x))) 1) 0.582 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 0.582 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.582 * [taylor]: Taking taylor expansion of 2 in x 0.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.582 * [taylor]: Taking taylor expansion of x in x 0.583 * [taylor]: Taking taylor expansion of 1 in x 0.583 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) 1) in x 0.583 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 0.583 * [taylor]: Taking taylor expansion of (/ 2 x) in x 0.583 * [taylor]: Taking taylor expansion of 2 in x 0.583 * [taylor]: Taking taylor expansion of x in x 0.583 * [taylor]: Taking taylor expansion of 1 in x 0.590 * [approximate]: Taking taylor expansion of (/ (expm1 (- (* 2 (/ 1 x)))) (+ (exp (/ -2 x)) 1)) in (x) around 0 0.590 * [taylor]: Taking taylor expansion of (/ (expm1 (- (* 2 (/ 1 x)))) (+ (exp (/ -2 x)) 1)) in x 0.590 * [taylor]: Taking taylor expansion of (expm1 (- (* 2 (/ 1 x)))) in x 0.590 * [taylor]: Rewrote expression to (- (exp (- (* 2 (/ 1 x)))) 1) 0.590 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 0.590 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 0.590 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.590 * [taylor]: Taking taylor expansion of 2 in x 0.590 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.590 * [taylor]: Taking taylor expansion of x in x 0.591 * [taylor]: Taking taylor expansion of 1 in x 0.591 * [taylor]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in x 0.591 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 0.591 * [taylor]: Taking taylor expansion of (/ -2 x) in x 0.591 * [taylor]: Taking taylor expansion of -2 in x 0.591 * [taylor]: Taking taylor expansion of x in x 0.592 * [taylor]: Taking taylor expansion of 1 in x 0.592 * [taylor]: Taking taylor expansion of (/ (expm1 (- (* 2 (/ 1 x)))) (+ (exp (/ -2 x)) 1)) in x 0.592 * [taylor]: Taking taylor expansion of (expm1 (- (* 2 (/ 1 x)))) in x 0.592 * [taylor]: Rewrote expression to (- (exp (- (* 2 (/ 1 x)))) 1) 0.592 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 0.592 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 0.592 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.592 * [taylor]: Taking taylor expansion of 2 in x 0.592 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.592 * [taylor]: Taking taylor expansion of x in x 0.593 * [taylor]: Taking taylor expansion of 1 in x 0.593 * [taylor]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in x 0.593 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 0.593 * [taylor]: Taking taylor expansion of (/ -2 x) in x 0.593 * [taylor]: Taking taylor expansion of -2 in x 0.593 * [taylor]: Taking taylor expansion of x in x 0.594 * [taylor]: Taking taylor expansion of 1 in x 0.601 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 0.601 * [approximate]: Taking taylor expansion of (pow (+ (exp (* 2 x)) 1) 3) in (x) around 0 0.601 * [taylor]: Taking taylor expansion of (pow (+ (exp (* 2 x)) 1) 3) in x 0.601 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in x 0.601 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.601 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.601 * [taylor]: Taking taylor expansion of 2 in x 0.602 * [taylor]: Taking taylor expansion of x in x 0.602 * [taylor]: Taking taylor expansion of 1 in x 0.602 * [taylor]: Taking taylor expansion of (pow (+ (exp (* 2 x)) 1) 3) in x 0.603 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in x 0.603 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.603 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.603 * [taylor]: Taking taylor expansion of 2 in x 0.603 * [taylor]: Taking taylor expansion of x in x 0.603 * [taylor]: Taking taylor expansion of 1 in x 0.609 * [approximate]: Taking taylor expansion of (pow (+ (exp (/ 2 x)) 1) 3) in (x) around 0 0.609 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 2 x)) 1) 3) in x 0.609 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) 1) in x 0.609 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 0.609 * [taylor]: Taking taylor expansion of (/ 2 x) in x 0.609 * [taylor]: Taking taylor expansion of 2 in x 0.609 * [taylor]: Taking taylor expansion of x in x 0.609 * [taylor]: Taking taylor expansion of 1 in x 0.609 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 2 x)) 1) 3) in x 0.609 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) 1) in x 0.609 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 0.609 * [taylor]: Taking taylor expansion of (/ 2 x) in x 0.609 * [taylor]: Taking taylor expansion of 2 in x 0.609 * [taylor]: Taking taylor expansion of x in x 0.609 * [taylor]: Taking taylor expansion of 1 in x 0.625 * [approximate]: Taking taylor expansion of (pow (+ (exp (/ -2 x)) 1) 3) in (x) around 0 0.625 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -2 x)) 1) 3) in x 0.626 * [taylor]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in x 0.626 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 0.626 * [taylor]: Taking taylor expansion of (/ -2 x) in x 0.626 * [taylor]: Taking taylor expansion of -2 in x 0.626 * [taylor]: Taking taylor expansion of x in x 0.626 * [taylor]: Taking taylor expansion of 1 in x 0.626 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -2 x)) 1) 3) in x 0.626 * [taylor]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in x 0.626 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 0.626 * [taylor]: Taking taylor expansion of (/ -2 x) in x 0.626 * [taylor]: Taking taylor expansion of -2 in x 0.626 * [taylor]: Taking taylor expansion of x in x 0.626 * [taylor]: Taking taylor expansion of 1 in x 0.637 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 0.637 * [approximate]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in (x) around 0 0.637 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in x 0.637 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.637 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.638 * [taylor]: Taking taylor expansion of 2 in x 0.638 * [taylor]: Taking taylor expansion of x in x 0.638 * [taylor]: Taking taylor expansion of 1 in x 0.638 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in x 0.638 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.638 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.638 * [taylor]: Taking taylor expansion of 2 in x 0.638 * [taylor]: Taking taylor expansion of x in x 0.639 * [taylor]: Taking taylor expansion of 1 in x 0.642 * [approximate]: Taking taylor expansion of (+ (exp (/ 2 x)) 1) in (x) around 0 0.642 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) 1) in x 0.642 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 0.642 * [taylor]: Taking taylor expansion of (/ 2 x) in x 0.642 * [taylor]: Taking taylor expansion of 2 in x 0.642 * [taylor]: Taking taylor expansion of x in x 0.643 * [taylor]: Taking taylor expansion of 1 in x 0.643 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) 1) in x 0.643 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 0.643 * [taylor]: Taking taylor expansion of (/ 2 x) in x 0.643 * [taylor]: Taking taylor expansion of 2 in x 0.643 * [taylor]: Taking taylor expansion of x in x 0.643 * [taylor]: Taking taylor expansion of 1 in x 0.645 * [approximate]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in (x) around 0 0.645 * [taylor]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in x 0.645 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 0.645 * [taylor]: Taking taylor expansion of (/ -2 x) in x 0.645 * [taylor]: Taking taylor expansion of -2 in x 0.645 * [taylor]: Taking taylor expansion of x in x 0.645 * [taylor]: Taking taylor expansion of 1 in x 0.645 * [taylor]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in x 0.645 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 0.645 * [taylor]: Taking taylor expansion of (/ -2 x) in x 0.645 * [taylor]: Taking taylor expansion of -2 in x 0.646 * [taylor]: Taking taylor expansion of x in x 0.646 * [taylor]: Taking taylor expansion of 1 in x 0.648 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1) 0.648 * [approximate]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in (x) around 0 0.648 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in x 0.648 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.648 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.648 * [taylor]: Taking taylor expansion of 2 in x 0.648 * [taylor]: Taking taylor expansion of x in x 0.648 * [taylor]: Taking taylor expansion of 1 in x 0.648 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in x 0.648 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 0.648 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.648 * [taylor]: Taking taylor expansion of 2 in x 0.648 * [taylor]: Taking taylor expansion of x in x 0.649 * [taylor]: Taking taylor expansion of 1 in x 0.652 * [approximate]: Taking taylor expansion of (+ (exp (/ 2 x)) 1) in (x) around 0 0.652 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) 1) in x 0.652 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 0.652 * [taylor]: Taking taylor expansion of (/ 2 x) in x 0.652 * [taylor]: Taking taylor expansion of 2 in x 0.652 * [taylor]: Taking taylor expansion of x in x 0.653 * [taylor]: Taking taylor expansion of 1 in x 0.653 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) 1) in x 0.653 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 0.653 * [taylor]: Taking taylor expansion of (/ 2 x) in x 0.653 * [taylor]: Taking taylor expansion of 2 in x 0.653 * [taylor]: Taking taylor expansion of x in x 0.653 * [taylor]: Taking taylor expansion of 1 in x 0.655 * [approximate]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in (x) around 0 0.655 * [taylor]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in x 0.655 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 0.655 * [taylor]: Taking taylor expansion of (/ -2 x) in x 0.655 * [taylor]: Taking taylor expansion of -2 in x 0.655 * [taylor]: Taking taylor expansion of x in x 0.655 * [taylor]: Taking taylor expansion of 1 in x 0.655 * [taylor]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in x 0.655 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 0.655 * [taylor]: Taking taylor expansion of (/ -2 x) in x 0.655 * [taylor]: Taking taylor expansion of -2 in x 0.655 * [taylor]: Taking taylor expansion of x in x 0.656 * [taylor]: Taking taylor expansion of 1 in x 0.657 * * * [progress]: simplifying candidates 0.660 * [simplify]: Simplifying using # : (expm1 (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (log1p (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (- (log (expm1 (+ x x))) (log (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (log (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (exp (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (/ (* (* (expm1 (+ x x)) (expm1 (+ x x))) (expm1 (+ x x))) (pow (+ (exp (* 2 x)) 1) 3)) (* (cbrt (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (cbrt (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3))))) (cbrt (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (* (* (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (sqrt (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (sqrt (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (- (expm1 (+ x x))) (- (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ (exp (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ 1 (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (cbrt (pow (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1))) 3))) (/ (cbrt (expm1 (+ x x))) (cbrt (pow (cbrt (+ (exp (* 2 x)) 1)) 3))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (cbrt (pow (sqrt (+ (exp (* 2 x)) 1)) 3))) (/ (cbrt (expm1 (+ x x))) (cbrt (pow (sqrt (+ (exp (* 2 x)) 1)) 3))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (cbrt (pow 1 3))) (/ (cbrt (expm1 (+ x x))) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (cbrt (pow 1 3))) (/ (cbrt (expm1 (+ x x))) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (cbrt (expm1 (+ x x))) (cbrt (+ (exp (* 2 x)) 1))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (cbrt (* (cbrt (pow (+ (exp (* 2 x)) 1) 3)) (cbrt (pow (+ (exp (* 2 x)) 1) 3))))) (/ (cbrt (expm1 (+ x x))) (cbrt (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (cbrt (pow (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1))) 3))) (/ (cbrt (expm1 (+ x x))) (cbrt (pow (cbrt (+ (exp (* 2 x)) 1)) 3))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (cbrt (pow (sqrt (+ (exp (* 2 x)) 1)) 3))) (/ (cbrt (expm1 (+ x x))) (cbrt (pow (sqrt (+ (exp (* 2 x)) 1)) 3))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (cbrt (pow 1 3))) (/ (cbrt (expm1 (+ x x))) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (cbrt (pow 1 3))) (/ (cbrt (expm1 (+ x x))) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (cbrt (+ (exp (* 2 x)) 1))) (/ (cbrt (expm1 (+ x x))) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (cbrt (sqrt (pow (+ (exp (* 2 x)) 1) 3)))) (/ (cbrt (expm1 (+ x x))) (cbrt (sqrt (pow (+ (exp (* 2 x)) 1) 3)))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (cbrt 1)) (/ (cbrt (expm1 (+ x x))) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (cbrt (pow (+ (exp (* 2 x)) 1) (/ 3 2)))) (/ (cbrt (expm1 (+ x x))) (cbrt (pow (+ (exp (* 2 x)) 1) (/ 3 2)))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (* (cbrt (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (cbrt (cbrt (pow (+ (exp (* 2 x)) 1) 3))))) (/ (cbrt (expm1 (+ x x))) (cbrt (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (sqrt (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (/ (cbrt (expm1 (+ x x))) (sqrt (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) 1) (/ (cbrt (expm1 (+ x x))) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ (sqrt (expm1 (+ x x))) (cbrt (pow (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1))) 3))) (/ (sqrt (expm1 (+ x x))) (cbrt (pow (cbrt (+ (exp (* 2 x)) 1)) 3))) (/ (sqrt (expm1 (+ x x))) (cbrt (pow (sqrt (+ (exp (* 2 x)) 1)) 3))) (/ (sqrt (expm1 (+ x x))) (cbrt (pow (sqrt (+ (exp (* 2 x)) 1)) 3))) (/ (sqrt (expm1 (+ x x))) (cbrt (pow 1 3))) (/ (sqrt (expm1 (+ x x))) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ (sqrt (expm1 (+ x x))) (cbrt (pow 1 3))) (/ (sqrt (expm1 (+ x x))) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ (sqrt (expm1 (+ x x))) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (sqrt (expm1 (+ x x))) (cbrt (+ (exp (* 2 x)) 1))) (/ (sqrt (expm1 (+ x x))) (cbrt (* (cbrt (pow (+ (exp (* 2 x)) 1) 3)) (cbrt (pow (+ (exp (* 2 x)) 1) 3))))) (/ (sqrt (expm1 (+ x x))) (cbrt (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (/ (sqrt (expm1 (+ x x))) (cbrt (pow (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1))) 3))) (/ (sqrt (expm1 (+ x x))) (cbrt (pow (cbrt (+ (exp (* 2 x)) 1)) 3))) (/ (sqrt (expm1 (+ x x))) (cbrt (pow (sqrt (+ (exp (* 2 x)) 1)) 3))) (/ (sqrt (expm1 (+ x x))) (cbrt (pow (sqrt (+ (exp (* 2 x)) 1)) 3))) (/ (sqrt (expm1 (+ x x))) (cbrt (pow 1 3))) (/ (sqrt (expm1 (+ x x))) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ (sqrt (expm1 (+ x x))) (cbrt (pow 1 3))) (/ (sqrt (expm1 (+ x x))) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ (sqrt (expm1 (+ x x))) (cbrt (+ (exp (* 2 x)) 1))) (/ (sqrt (expm1 (+ x x))) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (sqrt (expm1 (+ x x))) (cbrt (sqrt (pow (+ (exp (* 2 x)) 1) 3)))) (/ (sqrt (expm1 (+ x x))) (cbrt (sqrt (pow (+ (exp (* 2 x)) 1) 3)))) (/ (sqrt (expm1 (+ x x))) (cbrt 1)) (/ (sqrt (expm1 (+ x x))) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ (sqrt (expm1 (+ x x))) (cbrt (pow (+ (exp (* 2 x)) 1) (/ 3 2)))) (/ (sqrt (expm1 (+ x x))) (cbrt (pow (+ (exp (* 2 x)) 1) (/ 3 2)))) (/ (sqrt (expm1 (+ x x))) (* (cbrt (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (cbrt (cbrt (pow (+ (exp (* 2 x)) 1) 3))))) (/ (sqrt (expm1 (+ x x))) (cbrt (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (/ (sqrt (expm1 (+ x x))) (sqrt (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (/ (sqrt (expm1 (+ x x))) (sqrt (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (/ (sqrt (expm1 (+ x x))) 1) (/ (sqrt (expm1 (+ x x))) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ 1 (cbrt (pow (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1))) 3))) (/ (expm1 (+ x x)) (cbrt (pow (cbrt (+ (exp (* 2 x)) 1)) 3))) (/ 1 (cbrt (pow (sqrt (+ (exp (* 2 x)) 1)) 3))) (/ (expm1 (+ x x)) (cbrt (pow (sqrt (+ (exp (* 2 x)) 1)) 3))) (/ 1 (cbrt (pow 1 3))) (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ 1 (cbrt (pow 1 3))) (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ 1 (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (expm1 (+ x x)) (cbrt (+ (exp (* 2 x)) 1))) (/ 1 (cbrt (* (cbrt (pow (+ (exp (* 2 x)) 1) 3)) (cbrt (pow (+ (exp (* 2 x)) 1) 3))))) (/ (expm1 (+ x x)) (cbrt (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (/ 1 (cbrt (pow (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1))) 3))) (/ (expm1 (+ x x)) (cbrt (pow (cbrt (+ (exp (* 2 x)) 1)) 3))) (/ 1 (cbrt (pow (sqrt (+ (exp (* 2 x)) 1)) 3))) (/ (expm1 (+ x x)) (cbrt (pow (sqrt (+ (exp (* 2 x)) 1)) 3))) (/ 1 (cbrt (pow 1 3))) (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ 1 (cbrt (pow 1 3))) (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ 1 (cbrt (+ (exp (* 2 x)) 1))) (/ (expm1 (+ x x)) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ 1 (cbrt (sqrt (pow (+ (exp (* 2 x)) 1) 3)))) (/ (expm1 (+ x x)) (cbrt (sqrt (pow (+ (exp (* 2 x)) 1) 3)))) (/ 1 (cbrt 1)) (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ 1 (cbrt (pow (+ (exp (* 2 x)) 1) (/ 3 2)))) (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) (/ 3 2)))) (/ 1 (* (cbrt (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (cbrt (cbrt (pow (+ (exp (* 2 x)) 1) 3))))) (/ (expm1 (+ x x)) (cbrt (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (/ 1 (sqrt (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (/ (expm1 (+ x x)) (sqrt (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (/ 1 1) (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ 1 (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ (cbrt (pow (+ (exp (* 2 x)) 1) 3)) (expm1 (+ x x))) (/ (expm1 (+ x x)) (cbrt (pow (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1))) 3))) (/ (expm1 (+ x x)) (cbrt (pow (sqrt (+ (exp (* 2 x)) 1)) 3))) (/ (expm1 (+ x x)) (cbrt (pow 1 3))) (/ (expm1 (+ x x)) (cbrt (pow 1 3))) (/ (expm1 (+ x x)) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (expm1 (+ x x)) (cbrt (* (cbrt (pow (+ (exp (* 2 x)) 1) 3)) (cbrt (pow (+ (exp (* 2 x)) 1) 3))))) (/ (expm1 (+ x x)) (cbrt (pow (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1))) 3))) (/ (expm1 (+ x x)) (cbrt (pow (sqrt (+ (exp (* 2 x)) 1)) 3))) (/ (expm1 (+ x x)) (cbrt (pow 1 3))) (/ (expm1 (+ x x)) (cbrt (pow 1 3))) (/ (expm1 (+ x x)) (cbrt (+ (exp (* 2 x)) 1))) (/ (expm1 (+ x x)) (cbrt (sqrt (pow (+ (exp (* 2 x)) 1) 3)))) (/ (expm1 (+ x x)) (cbrt 1)) (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) (/ 3 2)))) (/ (expm1 (+ x x)) (* (cbrt (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (cbrt (cbrt (pow (+ (exp (* 2 x)) 1) 3))))) (/ (expm1 (+ x x)) (sqrt (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (/ (expm1 (+ x x)) 1) (/ (cbrt (pow (+ (exp (* 2 x)) 1) 3)) (cbrt (expm1 (+ x x)))) (/ (cbrt (pow (+ (exp (* 2 x)) 1) 3)) (sqrt (expm1 (+ x x)))) (/ (cbrt (pow (+ (exp (* 2 x)) 1) 3)) (expm1 (+ x x))) (/ (expm1 (+ x x)) (cbrt (pow (+ (pow (exp (* 2 x)) 3) (pow 1 3)) 3))) (/ (expm1 (+ x x)) (cbrt (pow (- (* (exp (* 2 x)) (exp (* 2 x))) (* 1 1)) 3))) (expm1 (pow (+ (exp (* 2 x)) 1) 3)) (log1p (pow (+ (exp (* 2 x)) 1) 3)) (* (log (+ (exp (* 2 x)) 1)) 3) (* (log (+ (exp (* 2 x)) 1)) 3) (* 1 3) (pow (+ (exp (* 2 x)) 1) (* (cbrt 3) (cbrt 3))) (pow (+ (exp (* 2 x)) 1) (sqrt 3)) (pow (+ (exp (* 2 x)) 1) 1) (pow (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1))) 3) (pow (cbrt (+ (exp (* 2 x)) 1)) 3) (pow (sqrt (+ (exp (* 2 x)) 1)) 3) (pow (sqrt (+ (exp (* 2 x)) 1)) 3) (pow 1 3) (pow (+ (exp (* 2 x)) 1) 3) (pow 1 3) (pow (+ (exp (* 2 x)) 1) 3) (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)) (log (pow (+ (exp (* 2 x)) 1) 3)) (exp (pow (+ (exp (* 2 x)) 1) 3)) (* (cbrt (pow (+ (exp (* 2 x)) 1) 3)) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (cbrt (pow (+ (exp (* 2 x)) 1) 3)) (* (* (pow (+ (exp (* 2 x)) 1) 3) (pow (+ (exp (* 2 x)) 1) 3)) (pow (+ (exp (* 2 x)) 1) 3)) (pow (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1))) 3) (pow (cbrt (+ (exp (* 2 x)) 1)) 3) (pow (sqrt (+ (exp (* 2 x)) 1)) 3) (pow (sqrt (+ (exp (* 2 x)) 1)) 3) (pow 1 3) (pow (+ (exp (* 2 x)) 1) 3) (pow 1 3) (pow (+ (exp (* 2 x)) 1) 3) (pow (+ (pow (exp (* 2 x)) 3) (pow 1 3)) 3) (pow (+ (* (exp (* 2 x)) (exp (* 2 x))) (- (* 1 1) (* (exp (* 2 x)) 1))) 3) (pow (- (* (exp (* 2 x)) (exp (* 2 x))) (* 1 1)) 3) (pow (- (exp (* 2 x)) 1) 3) (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)) (sqrt (pow (+ (exp (* 2 x)) 1) 3)) (sqrt (pow (+ (exp (* 2 x)) 1) 3)) (pow (+ (exp (* 2 x)) 1) (/ 3 2)) (pow (+ (exp (* 2 x)) 1) (/ 3 2)) (expm1 (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (log1p (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (log (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (exp (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (cbrt (pow (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1))) 3)) (cbrt (pow (cbrt (+ (exp (* 2 x)) 1)) 3)) (cbrt (pow (sqrt (+ (exp (* 2 x)) 1)) 3)) (cbrt (pow (sqrt (+ (exp (* 2 x)) 1)) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (exp (* 2 x)) 1) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (exp (* 2 x)) 1) 3)) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1))) (cbrt (+ (exp (* 2 x)) 1)) (cbrt (* (cbrt (pow (+ (exp (* 2 x)) 1) 3)) (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (cbrt (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (cbrt (pow (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1))) 3)) (cbrt (pow (cbrt (+ (exp (* 2 x)) 1)) 3)) (cbrt (pow (sqrt (+ (exp (* 2 x)) 1)) 3)) (cbrt (pow (sqrt (+ (exp (* 2 x)) 1)) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (exp (* 2 x)) 1) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (exp (* 2 x)) 1) 3)) (cbrt (+ (exp (* 2 x)) 1)) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1))) (cbrt (sqrt (pow (+ (exp (* 2 x)) 1) 3))) (cbrt (sqrt (pow (+ (exp (* 2 x)) 1) 3))) (cbrt 1) (cbrt (pow (+ (exp (* 2 x)) 1) 3)) (cbrt (pow (+ (exp (* 2 x)) 1) (/ 3 2))) (cbrt (pow (+ (exp (* 2 x)) 1) (/ 3 2))) (cbrt (pow (+ (pow (exp (* 2 x)) 3) (pow 1 3)) 3)) (cbrt (pow (+ (* (exp (* 2 x)) (exp (* 2 x))) (- (* 1 1) (* (exp (* 2 x)) 1))) 3)) (cbrt (pow (- (* (exp (* 2 x)) (exp (* 2 x))) (* 1 1)) 3)) (cbrt (pow (- (exp (* 2 x)) 1) 3)) (* (cbrt (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (cbrt (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (cbrt (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (* (* (cbrt (pow (+ (exp (* 2 x)) 1) 3)) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (sqrt (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (sqrt (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (expm1 (+ (exp (* 2 x)) 1)) (log1p (+ (exp (* 2 x)) 1)) (* (exp (exp (* 2 x))) (exp 1)) (log (+ (exp (* 2 x)) 1)) (exp (+ (exp (* 2 x)) 1)) (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1))) (cbrt (+ (exp (* 2 x)) 1)) (* (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)) (+ (exp (* 2 x)) 1)) (sqrt (+ (exp (* 2 x)) 1)) (sqrt (+ (exp (* 2 x)) 1)) (+ (pow (exp (* 2 x)) 3) (pow 1 3)) (+ (* (exp (* 2 x)) (exp (* 2 x))) (- (* 1 1) (* (exp (* 2 x)) 1))) (- (* (exp (* 2 x)) (exp (* 2 x))) (* 1 1)) (- (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (/ (- (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)) (/ (- (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)) (+ (* 48 (pow x 2)) (+ (* 24 x) 8)) (pow (+ (exp (* 2 x)) 1) 3) (pow (+ (exp (* 2 x)) 1) 3) (+ (* 2 (pow x 2)) (+ (* 2 x) 2)) (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1) (+ (* 2 (pow x 2)) (+ (* 2 x) 2)) (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1) 0.669 * * [simplify]: iteration 0 : 378 enodes (cost 1647 ) 0.675 * * [simplify]: iteration 1 : 1691 enodes (cost 1481 ) 0.714 * * [simplify]: iteration 2 : 5001 enodes (cost 1423 ) 0.721 * [simplify]: Simplified to: (expm1 (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (log1p (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (- (log (expm1 (+ x x))) (log1p (exp (* 2 x)))) (- (log (expm1 (+ x x))) (log1p (exp (* 2 x)))) (exp (/ (expm1 (* 2 x)) (+ (exp (* 2 x)) 1))) (pow (/ (- (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)) 3) (* (cbrt (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (cbrt (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3))))) (cbrt (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (pow (/ (- (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)) 3) (sqrt (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (sqrt (/ (expm1 (+ x x)) (cbrt (pow (+ (exp (* 2 x)) 1) 3)))) (- (expm1 (+ x x))) (+ (- (exp (* 2 x))) (- 1)) (/ (exp (* 2 x)) (+ (exp (* 2 x)) 1)) (/ 1 (+ (exp (* 2 x)) 1)) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (cbrt (expm1 (+ x x))) (cbrt (+ (exp (* 2 x)) 1))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (hypot (exp x) 1)) (/ (cbrt (expm1 (+ x x))) (pow (+ (exp (* 2 x)) 1) 1/2)) (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (/ (cbrt (expm1 (+ x x))) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (/ (cbrt (expm1 (+ x x))) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (cbrt (expm1 (+ x x))) (cbrt (+ (exp (* 2 x)) 1))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (cbrt (expm1 (+ x x))) (cbrt (+ (exp (* 2 x)) 1))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (cbrt (expm1 (+ x x))) (cbrt (+ (exp (* 2 x)) 1))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (hypot (exp x) 1)) (/ (cbrt (expm1 (+ x x))) (pow (+ (exp (* 2 x)) 1) 1/2)) (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (/ (cbrt (expm1 (+ x x))) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (/ (cbrt (expm1 (+ x x))) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (cbrt (+ (exp (* 2 x)) 1))) (/ (cbrt (expm1 (+ x x))) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (cbrt (sqrt (pow (+ (exp (* 2 x)) 1) 3)))) (/ (cbrt (expm1 (+ x x))) (cbrt (sqrt (pow (+ (exp (* 2 x)) 1) 3)))) (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (/ (cbrt (expm1 (+ x x))) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (hypot (exp x) 1)) (/ (cbrt (expm1 (+ x x))) (pow (+ (exp (* 2 x)) 1) 1/2)) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (cbrt (expm1 (+ x x))) (cbrt (+ (exp (* 2 x)) 1))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (hypot (exp x) 1)) (/ (cbrt (expm1 (+ x x))) (pow (+ (exp (* 2 x)) 1) 1/2)) (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (/ (cbrt (expm1 (+ x x))) (cbrt (pow (+ (exp (* 2 x)) 1) 3))) (/ (sqrt (expm1 (+ x x))) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (sqrt (expm1 (+ x x))) (cbrt (+ (exp (* 2 x)) 1))) (/ (sqrt (expm1 (+ x x))) (hypot (exp x) 1)) (/ (sqrt (expm1 (+ x x))) (hypot (exp x) 1)) (sqrt (expm1 (+ x x))) (/ (sqrt (expm1 (+ x x))) (+ (exp (* 2 x)) 1)) (sqrt (expm1 (+ x x))) (/ (sqrt (expm1 (+ x x))) (+ (exp (* 2 x)) 1)) (/ (sqrt (expm1 (+ x x))) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (sqrt (expm1 (+ x x))) (cbrt (+ (exp (* 2 x)) 1))) (/ (sqrt (expm1 (+ x x))) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (sqrt (expm1 (+ x x))) (cbrt (+ (exp (* 2 x)) 1))) (/ (sqrt (expm1 (+ x x))) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (sqrt (expm1 (+ x x))) (cbrt (+ (exp (* 2 x)) 1))) (/ (sqrt (expm1 (+ x x))) (hypot (exp x) 1)) (/ (sqrt (expm1 (+ x x))) (hypot (exp x) 1)) (sqrt (expm1 (+ x x))) (/ (sqrt (expm1 (+ x x))) (+ (exp (* 2 x)) 1)) (sqrt (expm1 (+ x x))) (/ (sqrt (expm1 (+ x x))) (+ (exp (* 2 x)) 1)) (/ (sqrt (expm1 (+ x x))) (cbrt (+ (exp (* 2 x)) 1))) (/ (sqrt (expm1 (+ x x))) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (sqrt (expm1 (+ x x))) (cbrt (sqrt (pow (+ (exp (* 2 x)) 1) 3)))) (/ (sqrt (expm1 (+ x x))) (cbrt (sqrt (pow (+ (exp (* 2 x)) 1) 3)))) (sqrt (expm1 (+ x x))) (/ (sqrt (expm1 (+ x x))) (+ (exp (* 2 x)) 1)) (/ (sqrt (expm1 (+ x x))) (hypot (exp x) 1)) (/ (sqrt (expm1 (+ x x))) (hypot (exp x) 1)) (/ (sqrt (expm1 (+ x x))) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (sqrt (expm1 (+ x x))) (cbrt (+ (exp (* 2 x)) 1))) (/ (sqrt (expm1 (+ x x))) (hypot (exp x) 1)) (/ (sqrt (expm1 (+ x x))) (hypot (exp x) 1)) (sqrt (expm1 (+ x x))) (/ (sqrt (expm1 (+ x x))) (+ (exp (* 2 x)) 1)) (/ 1 (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (expm1 (+ x x)) (cbrt (+ (exp (* 2 x)) 1))) (/ 1 (hypot (exp x) 1)) (/ (expm1 (* 2 x)) (hypot (exp x) 1)) 1 (/ (expm1 (* 2 x)) (+ (exp (* 2 x)) 1)) 1 (/ (expm1 (* 2 x)) (+ (exp (* 2 x)) 1)) (/ 1 (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (expm1 (+ x x)) (cbrt (+ (exp (* 2 x)) 1))) (/ 1 (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (expm1 (+ x x)) (cbrt (+ (exp (* 2 x)) 1))) (/ 1 (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (expm1 (+ x x)) (cbrt (+ (exp (* 2 x)) 1))) (/ 1 (hypot (exp x) 1)) (/ (expm1 (* 2 x)) (hypot (exp x) 1)) 1 (/ (expm1 (* 2 x)) (+ (exp (* 2 x)) 1)) 1 (/ (expm1 (* 2 x)) (+ (exp (* 2 x)) 1)) (/ 1 (cbrt (+ (exp (* 2 x)) 1))) (/ (expm1 (+ x x)) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ 1 (cbrt (sqrt (pow (+ (exp (* 2 x)) 1) 3)))) (/ (expm1 (+ x x)) (cbrt (sqrt (pow (+ (exp (* 2 x)) 1) 3)))) 1 (/ (expm1 (* 2 x)) (+ (exp (* 2 x)) 1)) (/ 1 (hypot (exp x) 1)) (/ (expm1 (* 2 x)) (hypot (exp x) 1)) (/ 1 (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (expm1 (+ x x)) (cbrt (+ (exp (* 2 x)) 1))) (/ 1 (hypot (exp x) 1)) (/ (expm1 (* 2 x)) (hypot (exp x) 1)) 1 (/ (expm1 (* 2 x)) (+ (exp (* 2 x)) 1)) (/ 1 (+ (exp (* 2 x)) 1)) (/ (+ (exp (* 2 x)) 1) (expm1 (* 2 x))) (/ (expm1 (+ x x)) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (expm1 (* 2 x)) (hypot (exp x) 1)) (expm1 (* 2 x)) (expm1 (* 2 x)) (/ (expm1 (+ x x)) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (expm1 (+ x x)) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (expm1 (+ x x)) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (expm1 (* 2 x)) (hypot (exp x) 1)) (expm1 (* 2 x)) (expm1 (* 2 x)) (/ (expm1 (+ x x)) (cbrt (+ (exp (* 2 x)) 1))) (/ (expm1 (+ x x)) (cbrt (sqrt (pow (+ (exp (* 2 x)) 1) 3)))) (expm1 (* 2 x)) (/ (expm1 (* 2 x)) (hypot (exp x) 1)) (/ (expm1 (+ x x)) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)))) (/ (expm1 (* 2 x)) (hypot (exp x) 1)) (expm1 (* 2 x)) (/ (cbrt (pow (+ (exp (* 2 x)) 1) 3)) (cbrt (expm1 (+ x x)))) (/ (+ (exp (* 2 x)) 1) (sqrt (expm1 (+ x x)))) (/ (+ (exp (* 2 x)) 1) (expm1 (* 2 x))) (/ (expm1 (* 2 x)) (+ (pow (exp (* 2 x)) 3) 1)) (/ (expm1 (* 2 x)) (expm1 (+ (* 2 x) (* 2 x)))) (expm1 (pow (+ (exp (* 2 x)) 1) 3)) (log1p (pow (+ (exp (* 2 x)) 1) 3)) (* (log1p (exp (* 2 x))) 3) (* (log1p (exp (* 2 x))) 3) 3 (pow (+ (exp (* 2 x)) 1) (* (cbrt 3) (cbrt 3))) (pow (+ (exp (* 2 x)) 1) (sqrt 3)) (+ (exp (* 2 x)) 1) (pow (hypot (exp x) 1) 4) (+ (exp (* 2 x)) 1) (pow (hypot (exp x) 1) 3) (pow (hypot (exp x) 1) 3) 1 (pow (+ (exp (* 2 x)) 1) 3) 1 (pow (+ (exp (* 2 x)) 1) 3) (pow (hypot (exp x) 1) 4) (* (log1p (exp (* 2 x))) 3) (exp (pow (+ (exp (* 2 x)) 1) 3)) (pow (hypot (exp x) 1) 4) (+ (exp (* 2 x)) 1) (pow (pow (+ (exp (* 2 x)) 1) 3) 3) (pow (hypot (exp x) 1) 4) (+ (exp (* 2 x)) 1) (pow (hypot (exp x) 1) 3) (pow (hypot (exp x) 1) 3) 1 (pow (+ (exp (* 2 x)) 1) 3) 1 (pow (+ (exp (* 2 x)) 1) 3) (pow (+ (pow (exp (* 2 x)) 3) 1) 3) (pow (- (+ (exp (+ (* 2 x) (* 2 x))) 1) (exp (* 2 x))) 3) (pow (expm1 (+ (* 2 x) (* 2 x))) 3) (pow (expm1 (* 2 x)) 3) (pow (hypot (exp x) 1) 4) (fabs (pow (hypot (exp x) 1) 3)) (fabs (pow (hypot (exp x) 1) 3)) (pow (hypot (exp x) 1) 3) (pow (hypot (exp x) 1) 3) (expm1 (+ (exp (* 2 x)) 1)) (log1p (+ (exp (* 2 x)) 1)) (log1p (exp (* 2 x))) (exp (+ (exp (* 2 x)) 1)) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1))) (cbrt (+ (exp (* 2 x)) 1)) (hypot (exp x) 1) (hypot (exp x) 1) 1 (+ (exp (* 2 x)) 1) 1 (+ (exp (* 2 x)) 1) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1))) (cbrt (+ (exp (* 2 x)) 1)) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1))) (cbrt (+ (exp (* 2 x)) 1)) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1))) (cbrt (+ (exp (* 2 x)) 1)) (hypot (exp x) 1) (hypot (exp x) 1) 1 (+ (exp (* 2 x)) 1) 1 (+ (exp (* 2 x)) 1) (cbrt (+ (exp (* 2 x)) 1)) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1))) (cbrt (sqrt (pow (+ (exp (* 2 x)) 1) 3))) (cbrt (sqrt (pow (+ (exp (* 2 x)) 1) 3))) 1 (+ (exp (* 2 x)) 1) (hypot (exp x) 1) (hypot (exp x) 1) (+ (pow (exp (* 2 x)) 3) 1) (- (+ (pow (exp 2) (+ x x)) 1) (exp (* 2 x))) (expm1 (+ (* 2 x) (* 2 x))) (expm1 (* 2 x)) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1))) (cbrt (+ (exp (* 2 x)) 1)) (pow (+ (exp (* 2 x)) 1) 3) (hypot (exp x) 1) (hypot (exp x) 1) (expm1 (+ (exp (* 2 x)) 1)) (log1p (+ (exp (* 2 x)) 1)) (exp (+ (exp (* 2 x)) 1)) (log1p (exp (* 2 x))) (exp (+ (exp (* 2 x)) 1)) (cbrt (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1))) (cbrt (+ (exp (* 2 x)) 1)) (pow (+ (exp (* 2 x)) 1) 3) (hypot (exp x) 1) (hypot (exp x) 1) (+ (pow (exp (* 2 x)) 3) 1) (- (+ (pow (exp 2) (+ x x)) 1) (exp (* 2 x))) (expm1 (+ (* 2 x) (* 2 x))) (expm1 (* 2 x)) (+ (exp (* 2 x)) 1) (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3)))) (/ (expm1 (* 2 x)) (+ (exp (* 2 x)) 1)) (/ (expm1 (* 2 x)) (+ (exp (* 2 x)) 1)) (fma 48 (pow x 2) (fma 24 x 8)) (pow (+ (exp (* 2 x)) 1) 3) (pow (+ (exp (* 2 x)) 1) 3) (fma 2 (pow x 2) (fma 2 x 2)) (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1) (fma 2 (pow x 2) (fma 2 x 2)) (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1) 0.722 * * * [progress]: adding candidates to table 1.032 * * [progress]: iteration 3 / 4 1.032 * * * [progress]: picking best candidate 1.036 * * * * [pick]: Picked # 1.036 * * * [progress]: localizing error 1.046 * * * [progress]: generating rewritten candidates 1.046 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.065 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 1.072 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2) 1.076 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1.080 * * * [progress]: generating series expansions 1.080 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.080 * [approximate]: Taking taylor expansion of (/ (expm1 (* 2 x)) (+ (exp (* 2 x)) 1)) in (x) around 0 1.080 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 x)) (+ (exp (* 2 x)) 1)) in x 1.080 * [taylor]: Taking taylor expansion of (expm1 (* 2 x)) in x 1.080 * [taylor]: Rewrote expression to (- (exp (* 2 x)) 1) 1.080 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 1.080 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.080 * [taylor]: Taking taylor expansion of 2 in x 1.080 * [taylor]: Taking taylor expansion of x in x 1.081 * [taylor]: Taking taylor expansion of 1 in x 1.081 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in x 1.081 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 1.081 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.082 * [taylor]: Taking taylor expansion of 2 in x 1.082 * [taylor]: Taking taylor expansion of x in x 1.082 * [taylor]: Taking taylor expansion of 1 in x 1.084 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 x)) (+ (exp (* 2 x)) 1)) in x 1.084 * [taylor]: Taking taylor expansion of (expm1 (* 2 x)) in x 1.085 * [taylor]: Rewrote expression to (- (exp (* 2 x)) 1) 1.085 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 1.085 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.085 * [taylor]: Taking taylor expansion of 2 in x 1.085 * [taylor]: Taking taylor expansion of x in x 1.089 * [taylor]: Taking taylor expansion of 1 in x 1.089 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in x 1.089 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 1.089 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.089 * [taylor]: Taking taylor expansion of 2 in x 1.089 * [taylor]: Taking taylor expansion of x in x 1.090 * [taylor]: Taking taylor expansion of 1 in x 1.116 * [approximate]: Taking taylor expansion of (/ (expm1 (* 2 (/ 1 x))) (+ (exp (/ 2 x)) 1)) in (x) around 0 1.116 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 (/ 1 x))) (+ (exp (/ 2 x)) 1)) in x 1.116 * [taylor]: Taking taylor expansion of (expm1 (* 2 (/ 1 x))) in x 1.116 * [taylor]: Rewrote expression to (- (exp (* 2 (/ 1 x))) 1) 1.116 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 1.116 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.116 * [taylor]: Taking taylor expansion of 2 in x 1.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.116 * [taylor]: Taking taylor expansion of x in x 1.117 * [taylor]: Taking taylor expansion of 1 in x 1.117 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) 1) in x 1.117 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 1.117 * [taylor]: Taking taylor expansion of (/ 2 x) in x 1.117 * [taylor]: Taking taylor expansion of 2 in x 1.117 * [taylor]: Taking taylor expansion of x in x 1.117 * [taylor]: Taking taylor expansion of 1 in x 1.118 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 (/ 1 x))) (+ (exp (/ 2 x)) 1)) in x 1.118 * [taylor]: Taking taylor expansion of (expm1 (* 2 (/ 1 x))) in x 1.118 * [taylor]: Rewrote expression to (- (exp (* 2 (/ 1 x))) 1) 1.118 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 1.118 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.118 * [taylor]: Taking taylor expansion of 2 in x 1.118 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.118 * [taylor]: Taking taylor expansion of x in x 1.118 * [taylor]: Taking taylor expansion of 1 in x 1.118 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) 1) in x 1.118 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 1.118 * [taylor]: Taking taylor expansion of (/ 2 x) in x 1.118 * [taylor]: Taking taylor expansion of 2 in x 1.118 * [taylor]: Taking taylor expansion of x in x 1.119 * [taylor]: Taking taylor expansion of 1 in x 1.126 * [approximate]: Taking taylor expansion of (/ (expm1 (- (* 2 (/ 1 x)))) (+ (exp (/ -2 x)) 1)) in (x) around 0 1.126 * [taylor]: Taking taylor expansion of (/ (expm1 (- (* 2 (/ 1 x)))) (+ (exp (/ -2 x)) 1)) in x 1.126 * [taylor]: Taking taylor expansion of (expm1 (- (* 2 (/ 1 x)))) in x 1.126 * [taylor]: Rewrote expression to (- (exp (- (* 2 (/ 1 x)))) 1) 1.126 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 1.126 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 1.126 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.126 * [taylor]: Taking taylor expansion of 2 in x 1.126 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.126 * [taylor]: Taking taylor expansion of x in x 1.128 * [taylor]: Taking taylor expansion of 1 in x 1.128 * [taylor]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in x 1.128 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 1.128 * [taylor]: Taking taylor expansion of (/ -2 x) in x 1.128 * [taylor]: Taking taylor expansion of -2 in x 1.128 * [taylor]: Taking taylor expansion of x in x 1.128 * [taylor]: Taking taylor expansion of 1 in x 1.128 * [taylor]: Taking taylor expansion of (/ (expm1 (- (* 2 (/ 1 x)))) (+ (exp (/ -2 x)) 1)) in x 1.128 * [taylor]: Taking taylor expansion of (expm1 (- (* 2 (/ 1 x)))) in x 1.129 * [taylor]: Rewrote expression to (- (exp (- (* 2 (/ 1 x)))) 1) 1.129 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 1.129 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 1.129 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.129 * [taylor]: Taking taylor expansion of 2 in x 1.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.129 * [taylor]: Taking taylor expansion of x in x 1.129 * [taylor]: Taking taylor expansion of 1 in x 1.130 * [taylor]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in x 1.130 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 1.130 * [taylor]: Taking taylor expansion of (/ -2 x) in x 1.130 * [taylor]: Taking taylor expansion of -2 in x 1.130 * [taylor]: Taking taylor expansion of x in x 1.130 * [taylor]: Taking taylor expansion of 1 in x 1.137 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 1.138 * [approximate]: Taking taylor expansion of (/ 1 (+ (exp (* 2 x)) 1)) in (x) around 0 1.138 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (* 2 x)) 1)) in x 1.138 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in x 1.138 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 1.138 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.138 * [taylor]: Taking taylor expansion of 2 in x 1.138 * [taylor]: Taking taylor expansion of x in x 1.138 * [taylor]: Taking taylor expansion of 1 in x 1.139 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (* 2 x)) 1)) in x 1.139 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in x 1.139 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 1.139 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.139 * [taylor]: Taking taylor expansion of 2 in x 1.139 * [taylor]: Taking taylor expansion of x in x 1.140 * [taylor]: Taking taylor expansion of 1 in x 1.147 * [approximate]: Taking taylor expansion of (/ 1 (+ (exp (/ 2 x)) 1)) in (x) around 0 1.147 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ 2 x)) 1)) in x 1.147 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) 1) in x 1.147 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 1.147 * [taylor]: Taking taylor expansion of (/ 2 x) in x 1.147 * [taylor]: Taking taylor expansion of 2 in x 1.147 * [taylor]: Taking taylor expansion of x in x 1.148 * [taylor]: Taking taylor expansion of 1 in x 1.148 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ 2 x)) 1)) in x 1.148 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) 1) in x 1.148 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 1.148 * [taylor]: Taking taylor expansion of (/ 2 x) in x 1.148 * [taylor]: Taking taylor expansion of 2 in x 1.148 * [taylor]: Taking taylor expansion of x in x 1.148 * [taylor]: Taking taylor expansion of 1 in x 1.152 * [approximate]: Taking taylor expansion of (/ 1 (+ (exp (/ -2 x)) 1)) in (x) around 0 1.152 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ -2 x)) 1)) in x 1.152 * [taylor]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in x 1.152 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 1.152 * [taylor]: Taking taylor expansion of (/ -2 x) in x 1.152 * [taylor]: Taking taylor expansion of -2 in x 1.152 * [taylor]: Taking taylor expansion of x in x 1.152 * [taylor]: Taking taylor expansion of 1 in x 1.152 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (/ -2 x)) 1)) in x 1.152 * [taylor]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in x 1.152 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 1.152 * [taylor]: Taking taylor expansion of (/ -2 x) in x 1.152 * [taylor]: Taking taylor expansion of -2 in x 1.152 * [taylor]: Taking taylor expansion of x in x 1.153 * [taylor]: Taking taylor expansion of 1 in x 1.156 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2) 1.156 * [approximate]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in (x) around 0 1.156 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in x 1.156 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 1.156 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.156 * [taylor]: Taking taylor expansion of 2 in x 1.156 * [taylor]: Taking taylor expansion of x in x 1.157 * [taylor]: Taking taylor expansion of 1 in x 1.157 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in x 1.157 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 1.157 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.157 * [taylor]: Taking taylor expansion of 2 in x 1.157 * [taylor]: Taking taylor expansion of x in x 1.158 * [taylor]: Taking taylor expansion of 1 in x 1.161 * [approximate]: Taking taylor expansion of (+ (exp (/ 2 x)) 1) in (x) around 0 1.161 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) 1) in x 1.161 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 1.161 * [taylor]: Taking taylor expansion of (/ 2 x) in x 1.161 * [taylor]: Taking taylor expansion of 2 in x 1.161 * [taylor]: Taking taylor expansion of x in x 1.162 * [taylor]: Taking taylor expansion of 1 in x 1.162 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) 1) in x 1.162 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 1.162 * [taylor]: Taking taylor expansion of (/ 2 x) in x 1.162 * [taylor]: Taking taylor expansion of 2 in x 1.162 * [taylor]: Taking taylor expansion of x in x 1.162 * [taylor]: Taking taylor expansion of 1 in x 1.164 * [approximate]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in (x) around 0 1.164 * [taylor]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in x 1.164 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 1.164 * [taylor]: Taking taylor expansion of (/ -2 x) in x 1.164 * [taylor]: Taking taylor expansion of -2 in x 1.164 * [taylor]: Taking taylor expansion of x in x 1.164 * [taylor]: Taking taylor expansion of 1 in x 1.164 * [taylor]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in x 1.164 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 1.164 * [taylor]: Taking taylor expansion of (/ -2 x) in x 1.164 * [taylor]: Taking taylor expansion of -2 in x 1.164 * [taylor]: Taking taylor expansion of x in x 1.165 * [taylor]: Taking taylor expansion of 1 in x 1.166 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 1.167 * [approximate]: Taking taylor expansion of (expm1 (* 2 x)) in (x) around 0 1.167 * [taylor]: Taking taylor expansion of (expm1 (* 2 x)) in x 1.167 * [taylor]: Rewrote expression to (- (exp (* 2 x)) 1) 1.167 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 1.167 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.167 * [taylor]: Taking taylor expansion of 2 in x 1.167 * [taylor]: Taking taylor expansion of x in x 1.168 * [taylor]: Taking taylor expansion of 1 in x 1.168 * [taylor]: Taking taylor expansion of (expm1 (* 2 x)) in x 1.168 * [taylor]: Rewrote expression to (- (exp (* 2 x)) 1) 1.168 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 1.168 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.168 * [taylor]: Taking taylor expansion of 2 in x 1.168 * [taylor]: Taking taylor expansion of x in x 1.168 * [taylor]: Taking taylor expansion of 1 in x 1.180 * [approximate]: Taking taylor expansion of (expm1 (* 2 (/ 1 x))) in (x) around 0 1.180 * [taylor]: Taking taylor expansion of (expm1 (* 2 (/ 1 x))) in x 1.180 * [taylor]: Rewrote expression to (- (exp (* 2 (/ 1 x))) 1) 1.180 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 1.180 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.180 * [taylor]: Taking taylor expansion of 2 in x 1.180 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.180 * [taylor]: Taking taylor expansion of x in x 1.181 * [taylor]: Taking taylor expansion of 1 in x 1.181 * [taylor]: Taking taylor expansion of (expm1 (* 2 (/ 1 x))) in x 1.181 * [taylor]: Rewrote expression to (- (exp (* 2 (/ 1 x))) 1) 1.181 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 1.181 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.181 * [taylor]: Taking taylor expansion of 2 in x 1.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.181 * [taylor]: Taking taylor expansion of x in x 1.182 * [taylor]: Taking taylor expansion of 1 in x 1.185 * [approximate]: Taking taylor expansion of (expm1 (- (* 2 (/ 1 x)))) in (x) around 0 1.185 * [taylor]: Taking taylor expansion of (expm1 (- (* 2 (/ 1 x)))) in x 1.185 * [taylor]: Rewrote expression to (- (exp (- (* 2 (/ 1 x)))) 1) 1.185 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 1.185 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 1.185 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.185 * [taylor]: Taking taylor expansion of 2 in x 1.185 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.185 * [taylor]: Taking taylor expansion of x in x 1.186 * [taylor]: Taking taylor expansion of 1 in x 1.186 * [taylor]: Taking taylor expansion of (expm1 (- (* 2 (/ 1 x)))) in x 1.186 * [taylor]: Rewrote expression to (- (exp (- (* 2 (/ 1 x)))) 1) 1.186 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 1.186 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 1.186 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 1.186 * [taylor]: Taking taylor expansion of 2 in x 1.186 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.186 * [taylor]: Taking taylor expansion of x in x 1.187 * [taylor]: Taking taylor expansion of 1 in x 1.190 * * * [progress]: simplifying candidates 1.192 * [simplify]: Simplifying using # : (expm1 (* (expm1 (+ x x)) (/ 1 (+ (exp (* 2 x)) 1)))) (log1p (* (expm1 (+ x x)) (/ 1 (+ (exp (* 2 x)) 1)))) (* (expm1 (+ x x)) (/ 1 (+ (exp (* 2 x)) 1))) (+ (log (expm1 (+ x x))) (- (log (+ (exp (* 2 x)) 1)))) (+ (log (expm1 (+ x x))) (- 0 (log (+ (exp (* 2 x)) 1)))) (+ (log (expm1 (+ x x))) (- (log 1) (log (+ (exp (* 2 x)) 1)))) (+ (log (expm1 (+ x x))) (log (/ 1 (+ (exp (* 2 x)) 1)))) (log (* (expm1 (+ x x)) (/ 1 (+ (exp (* 2 x)) 1)))) (exp (* (expm1 (+ x x)) (/ 1 (+ (exp (* 2 x)) 1)))) (* (* (* (expm1 (+ x x)) (expm1 (+ x x))) (expm1 (+ x x))) (/ (* (* 1 1) 1) (* (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)) (+ (exp (* 2 x)) 1)))) (* (* (* (expm1 (+ x x)) (expm1 (+ x x))) (expm1 (+ x x))) (* (* (/ 1 (+ (exp (* 2 x)) 1)) (/ 1 (+ (exp (* 2 x)) 1))) (/ 1 (+ (exp (* 2 x)) 1)))) (* (cbrt (* (expm1 (+ x x)) (/ 1 (+ (exp (* 2 x)) 1)))) (cbrt (* (expm1 (+ x x)) (/ 1 (+ (exp (* 2 x)) 1))))) (cbrt (* (expm1 (+ x x)) (/ 1 (+ (exp (* 2 x)) 1)))) (* (* (* (expm1 (+ x x)) (/ 1 (+ (exp (* 2 x)) 1))) (* (expm1 (+ x x)) (/ 1 (+ (exp (* 2 x)) 1)))) (* (expm1 (+ x x)) (/ 1 (+ (exp (* 2 x)) 1)))) (sqrt (* (expm1 (+ x x)) (/ 1 (+ (exp (* 2 x)) 1)))) (sqrt (* (expm1 (+ x x)) (/ 1 (+ (exp (* 2 x)) 1)))) (* (sqrt (expm1 (+ x x))) (sqrt (/ 1 (+ (exp (* 2 x)) 1)))) (* (sqrt (expm1 (+ x x))) (sqrt (/ 1 (+ (exp (* 2 x)) 1)))) (* (sqrt (expm1 (+ x x))) (/ (sqrt 1) (sqrt (+ (exp (* 2 x)) 1)))) (* (sqrt (expm1 (+ x x))) (/ (sqrt 1) (sqrt (+ (exp (* 2 x)) 1)))) (* (sqrt (expm1 (+ x x))) (/ 1 (sqrt (+ (exp (* 2 x)) 1)))) (* (sqrt (expm1 (+ x x))) (/ 1 (sqrt (+ (exp (* 2 x)) 1)))) (* (expm1 (+ x x)) (* (cbrt (/ 1 (+ (exp (* 2 x)) 1))) (cbrt (/ 1 (+ (exp (* 2 x)) 1))))) (* (expm1 (+ x x)) (sqrt (/ 1 (+ (exp (* 2 x)) 1)))) (* (expm1 (+ x x)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1))))) (* (expm1 (+ x x)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ (exp (* 2 x)) 1)))) (* (expm1 (+ x x)) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (expm1 (+ x x)) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (expm1 (+ x x)) (/ (sqrt 1) (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1))))) (* (expm1 (+ x x)) (/ (sqrt 1) (sqrt (+ (exp (* 2 x)) 1)))) (* (expm1 (+ x x)) (/ (sqrt 1) 1)) (* (expm1 (+ x x)) (/ (sqrt 1) 1)) (* (expm1 (+ x x)) (/ 1 (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1))))) (* (expm1 (+ x x)) (/ 1 (sqrt (+ (exp (* 2 x)) 1)))) (* (expm1 (+ x x)) (/ 1 1)) (* (expm1 (+ x x)) (/ 1 1)) (* (expm1 (+ x x)) 1) (* (expm1 (+ x x)) 1) (* (expm1 (+ x x)) (/ 1 (+ (pow (exp (* 2 x)) 3) (pow 1 3)))) (* (expm1 (+ x x)) (/ 1 (- (* (exp (* 2 x)) (exp (* 2 x))) (* 1 1)))) (* (cbrt (expm1 (+ x x))) (/ 1 (+ (exp (* 2 x)) 1))) (* (sqrt (expm1 (+ x x))) (/ 1 (+ (exp (* 2 x)) 1))) (* (expm1 (+ x x)) (/ 1 (+ (exp (* 2 x)) 1))) (* (expm1 (+ x x)) 1) (expm1 (/ 1 (+ (exp (* 2 x)) 1))) (log1p (/ 1 (+ (exp (* 2 x)) 1))) (- 1) (- (log (+ (exp (* 2 x)) 1))) (- 0 (log (+ (exp (* 2 x)) 1))) (- (log 1) (log (+ (exp (* 2 x)) 1))) (log (/ 1 (+ (exp (* 2 x)) 1))) (exp (/ 1 (+ (exp (* 2 x)) 1))) (/ (* (* 1 1) 1) (* (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)) (+ (exp (* 2 x)) 1))) (* (cbrt (/ 1 (+ (exp (* 2 x)) 1))) (cbrt (/ 1 (+ (exp (* 2 x)) 1)))) (cbrt (/ 1 (+ (exp (* 2 x)) 1))) (* (* (/ 1 (+ (exp (* 2 x)) 1)) (/ 1 (+ (exp (* 2 x)) 1))) (/ 1 (+ (exp (* 2 x)) 1))) (sqrt (/ 1 (+ (exp (* 2 x)) 1))) (sqrt (/ 1 (+ (exp (* 2 x)) 1))) (- 1) (- (+ (exp (* 2 x)) 1)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1)))) (/ (cbrt 1) (cbrt (+ (exp (* 2 x)) 1))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ (exp (* 2 x)) 1))) (/ (cbrt 1) (sqrt (+ (exp (* 2 x)) 1))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (+ (exp (* 2 x)) 1)) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (+ (exp (* 2 x)) 1)) (/ (sqrt 1) (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1)))) (/ (sqrt 1) (cbrt (+ (exp (* 2 x)) 1))) (/ (sqrt 1) (sqrt (+ (exp (* 2 x)) 1))) (/ (sqrt 1) (sqrt (+ (exp (* 2 x)) 1))) (/ (sqrt 1) 1) (/ (sqrt 1) (+ (exp (* 2 x)) 1)) (/ (sqrt 1) 1) (/ (sqrt 1) (+ (exp (* 2 x)) 1)) (/ 1 (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1)))) (/ 1 (cbrt (+ (exp (* 2 x)) 1))) (/ 1 (sqrt (+ (exp (* 2 x)) 1))) (/ 1 (sqrt (+ (exp (* 2 x)) 1))) (/ 1 1) (/ 1 (+ (exp (* 2 x)) 1)) (/ 1 1) (/ 1 (+ (exp (* 2 x)) 1)) (/ 1 (+ (exp (* 2 x)) 1)) (/ (+ (exp (* 2 x)) 1) 1) (/ 1 (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1)))) (/ 1 (sqrt (+ (exp (* 2 x)) 1))) (/ 1 1) (/ 1 1) (/ (+ (exp (* 2 x)) 1) (cbrt 1)) (/ (+ (exp (* 2 x)) 1) (sqrt 1)) (/ (+ (exp (* 2 x)) 1) 1) (/ 1 (+ (pow (exp (* 2 x)) 3) (pow 1 3))) (/ 1 (- (* (exp (* 2 x)) (exp (* 2 x))) (* 1 1))) (expm1 (+ (exp (* 2 x)) 1)) (log1p (+ (exp (* 2 x)) 1)) (* (exp (exp (* 2 x))) (exp 1)) (log (+ (exp (* 2 x)) 1)) (exp (+ (exp (* 2 x)) 1)) (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1))) (cbrt (+ (exp (* 2 x)) 1)) (* (* (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)) (+ (exp (* 2 x)) 1)) (sqrt (+ (exp (* 2 x)) 1)) (sqrt (+ (exp (* 2 x)) 1)) (+ (pow (exp (* 2 x)) 3) (pow 1 3)) (+ (* (exp (* 2 x)) (exp (* 2 x))) (- (* 1 1) (* (exp (* 2 x)) 1))) (- (* (exp (* 2 x)) (exp (* 2 x))) (* 1 1)) (- (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1) (exp (+ x x)) (expm1 (expm1 (+ x x))) (log1p (expm1 (+ x x))) (log (expm1 (+ x x))) (exp (expm1 (+ x x))) (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (cbrt (expm1 (+ x x))) (* (* (expm1 (+ x x)) (expm1 (+ x x))) (expm1 (+ x x))) (sqrt (expm1 (+ x x))) (sqrt (expm1 (+ x x))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (/ (- (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)) (/ (- (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1)) (- (+ (* 1/6 (pow x 3)) 1/2) (* 1/2 x)) (/ 1 (+ (exp (* 2 x)) 1)) (/ 1 (+ (exp (* 2 x)) 1)) (+ (* 2 (pow x 2)) (+ (* 2 x) 2)) (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1) (+ (* 2 (pow x 2)) (+ (* 4/3 (pow x 3)) (* 2 x))) (- (exp (* 2 x)) 1) (- (exp (* 2 x)) 1) 1.198 * * [simplify]: iteration 0 : 337 enodes (cost 816 ) 1.206 * * [simplify]: iteration 1 : 1707 enodes (cost 645 ) 1.233 * * [simplify]: iteration 2 : 5001 enodes (cost 631 ) 1.237 * [simplify]: Simplified to: (expm1 (* (expm1 (+ x x)) (/ 1 (+ (exp (* 2 x)) 1)))) (log1p (* (expm1 (+ x x)) (/ 1 (+ (exp (* 2 x)) 1)))) (/ (expm1 (+ x x)) (+ (exp (* 2 x)) 1)) (- (log (expm1 (+ x x))) (log1p (exp (* 2 x)))) (- (log (expm1 (+ x x))) (log1p (exp (* 2 x)))) (- (log (expm1 (+ x x))) (log1p (exp (* 2 x)))) (- (log (expm1 (+ x x))) (log1p (exp (* 2 x)))) (- (log (expm1 (+ x x))) (log1p (exp (* 2 x)))) (pow E (/ (expm1 (+ x x)) (+ (exp (* 2 x)) 1))) (pow (/ (expm1 (+ x x)) (+ (exp (* 2 x)) 1)) 3) (pow (/ (expm1 (+ x x)) (+ (exp (* 2 x)) 1)) 3) (* (cbrt (* (expm1 (+ x x)) (/ 1 (+ (exp (* 2 x)) 1)))) (cbrt (* (expm1 (+ x x)) (/ 1 (+ (exp (* 2 x)) 1))))) (cbrt (* (expm1 (+ x x)) (/ 1 (+ (exp (* 2 x)) 1)))) (pow (/ (expm1 (+ x x)) (+ (exp (* 2 x)) 1)) 3) (sqrt (* (expm1 (+ x x)) (/ 1 (+ (exp (* 2 x)) 1)))) (sqrt (* (expm1 (+ x x)) (/ 1 (+ (exp (* 2 x)) 1)))) (* (sqrt (expm1 (+ x x))) (sqrt (/ 1 (+ (exp (* 2 x)) 1)))) (* (sqrt (expm1 (+ x x))) (sqrt (/ 1 (+ (exp (* 2 x)) 1)))) (/ (* (sqrt (expm1 (+ x x))) 1) (hypot (exp x) 1)) (/ (* (sqrt (expm1 (+ x x))) 1) (hypot (exp x) 1)) (/ (* (sqrt (expm1 (+ x x))) 1) (hypot (exp x) 1)) (/ (* (sqrt (expm1 (+ x x))) 1) (hypot (exp x) 1)) (* (expm1 (+ x x)) (* (cbrt (/ 1 (+ (exp (* 2 x)) 1))) (cbrt (/ 1 (+ (exp (* 2 x)) 1))))) (* (expm1 (+ x x)) (sqrt (/ 1 (+ (exp (* 2 x)) 1)))) (/ (expm1 (+ x x)) (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1)))) (/ (expm1 (+ x x)) (hypot (exp x) 1)) (expm1 (+ x x)) (expm1 (+ x x)) (/ (expm1 (+ x x)) (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1)))) (/ (expm1 (+ x x)) (hypot (exp x) 1)) (expm1 (+ x x)) (expm1 (+ x x)) (/ (expm1 (+ x x)) (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1)))) (/ (expm1 (+ x x)) (hypot (exp x) 1)) (expm1 (+ x x)) (expm1 (+ x x)) (expm1 (+ x x)) (expm1 (+ x x)) (/ (expm1 (+ x x)) (+ (pow (exp (* 2 x)) 3) 1)) (/ 1 (+ (exp (* 2 x)) 1)) (/ (cbrt (expm1 (+ x x))) (+ (exp (* 2 x)) 1)) (/ (sqrt (expm1 (+ x x))) (+ (exp (* 2 x)) 1)) (/ (expm1 (+ x x)) (+ (exp (* 2 x)) 1)) (expm1 (+ x x)) (expm1 (/ 1 (+ (exp (* 2 x)) 1))) (log1p (/ 1 (+ (exp (* 2 x)) 1))) (- 1) (- 0 (log1p (exp (* 2 x)))) (- 0 (log1p (exp (* 2 x)))) (- 0 (log1p (exp (* 2 x)))) (- 0 (log1p (exp (* 2 x)))) (exp (/ 1 (+ (exp (* 2 x)) 1))) (/ 1 (pow (+ (exp (* 2 x)) 1) 3)) (* (cbrt (/ 1 (+ (exp (* 2 x)) 1))) (cbrt (/ 1 (+ (exp (* 2 x)) 1)))) (cbrt (/ 1 (+ (exp (* 2 x)) 1))) (/ 1 (pow (+ (exp (* 2 x)) 1) 3)) (sqrt (/ 1 (+ (exp (* 2 x)) 1))) (sqrt (/ 1 (+ (exp (* 2 x)) 1))) (- 1) (- (+ (exp (* 2 x)) 1)) (/ 1 (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1)))) (/ 1 (cbrt (+ (exp (* 2 x)) 1))) (/ 1 (hypot (exp x) 1)) (/ 1 (hypot (exp x) 1)) 1 (/ 1 (+ (exp (* 2 x)) 1)) 1 (/ 1 (+ (exp (* 2 x)) 1)) (/ 1 (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1)))) (/ 1 (cbrt (+ (exp (* 2 x)) 1))) (/ 1 (hypot (exp x) 1)) (/ 1 (hypot (exp x) 1)) 1 (/ 1 (+ (exp (* 2 x)) 1)) 1 (/ 1 (+ (exp (* 2 x)) 1)) (/ 1 (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1)))) (/ 1 (cbrt (+ (exp (* 2 x)) 1))) (/ 1 (hypot (exp x) 1)) (/ 1 (hypot (exp x) 1)) 1 (/ 1 (+ (exp (* 2 x)) 1)) 1 (/ 1 (+ (exp (* 2 x)) 1)) (/ 1 (+ (exp (* 2 x)) 1)) (+ (exp (* 2 x)) 1) (/ 1 (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1)))) (/ 1 (hypot (exp x) 1)) 1 1 (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1) (/ 1 (+ (pow (exp (* 2 x)) 3) 1)) (/ 1 (expm1 (+ (* 2 x) (* 2 x)))) (expm1 (+ (exp (* 2 x)) 1)) (log1p (+ (exp (* 2 x)) 1)) (exp (+ (exp (* 2 x)) 1)) (log1p (exp (* 2 x))) (exp (+ (exp (* 2 x)) 1)) (* (cbrt (+ (exp (* 2 x)) 1)) (cbrt (+ (exp (* 2 x)) 1))) (cbrt (+ (exp (* 2 x)) 1)) (pow (+ (exp (* 2 x)) 1) 3) (hypot (exp x) 1) (hypot (exp x) 1) (+ (pow (exp (* 2 x)) 3) 1) (- (+ (pow (exp 2) (+ x x)) 1) (exp (* 2 x))) (expm1 (+ (* 2 x) (* 2 x))) (expm1 (+ x x)) (+ (exp (* 2 x)) 1) (exp (* 2 x)) (expm1 (expm1 (+ x x))) (+ x x) (log (expm1 (+ x x))) (exp (expm1 (+ x x))) (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (cbrt (expm1 (+ x x))) (pow (expm1 (+ x x)) 3) (sqrt (expm1 (+ x x))) (sqrt (expm1 (+ x x))) (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3)))) (/ (expm1 (+ x x)) (+ (exp (* 2 x)) 1)) (/ (expm1 (+ x x)) (+ (exp (* 2 x)) 1)) (fma (pow x 3) 1/6 (- 1/2 (* 1/2 x))) (/ 1 (+ (exp (* 2 x)) 1)) (/ 1 (+ (exp (* 2 x)) 1)) (fma 2 (pow x 2) (fma 2 x 2)) (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1) (fma 2 (pow x 2) (fma 4/3 (pow x 3) (* 2 x))) (expm1 (+ x x)) (expm1 (+ x x)) 1.237 * * * [progress]: adding candidates to table 1.457 * * [progress]: iteration 4 / 4 1.457 * * * [progress]: picking best candidate 1.459 * * * * [pick]: Picked # 1.459 * * * [progress]: localizing error 1.469 * * * [progress]: generating rewritten candidates 1.469 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 3 2) 1.476 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 3) 1.479 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 1.481 * * * [progress]: generating series expansions 1.481 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 3 2) 1.481 * [approximate]: Taking taylor expansion of (* 1/3 (pow x 3)) in (x) around 0 1.481 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 1.481 * [taylor]: Taking taylor expansion of 1/3 in x 1.481 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.481 * [taylor]: Taking taylor expansion of x in x 1.481 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 1.481 * [taylor]: Taking taylor expansion of 1/3 in x 1.481 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.481 * [taylor]: Taking taylor expansion of x in x 1.494 * [approximate]: Taking taylor expansion of (/ 1/3 (pow x 3)) in (x) around 0 1.494 * [taylor]: Taking taylor expansion of (/ 1/3 (pow x 3)) in x 1.494 * [taylor]: Taking taylor expansion of 1/3 in x 1.494 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.494 * [taylor]: Taking taylor expansion of x in x 1.494 * [taylor]: Taking taylor expansion of (/ 1/3 (pow x 3)) in x 1.495 * [taylor]: Taking taylor expansion of 1/3 in x 1.495 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.495 * [taylor]: Taking taylor expansion of x in x 1.510 * [approximate]: Taking taylor expansion of (/ -1/3 (pow x 3)) in (x) around 0 1.510 * [taylor]: Taking taylor expansion of (/ -1/3 (pow x 3)) in x 1.510 * [taylor]: Taking taylor expansion of -1/3 in x 1.510 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.510 * [taylor]: Taking taylor expansion of x in x 1.511 * [taylor]: Taking taylor expansion of (/ -1/3 (pow x 3)) in x 1.511 * [taylor]: Taking taylor expansion of -1/3 in x 1.511 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.511 * [taylor]: Taking taylor expansion of x in x 1.523 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 3) 1.523 * [approximate]: Taking taylor expansion of (- x (* 1/3 (pow x 3))) in (x) around 0 1.523 * [taylor]: Taking taylor expansion of (- x (* 1/3 (pow x 3))) in x 1.523 * [taylor]: Taking taylor expansion of x in x 1.523 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 1.523 * [taylor]: Taking taylor expansion of 1/3 in x 1.523 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.523 * [taylor]: Taking taylor expansion of x in x 1.523 * [taylor]: Taking taylor expansion of (- x (* 1/3 (pow x 3))) in x 1.523 * [taylor]: Taking taylor expansion of x in x 1.523 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 1.523 * [taylor]: Taking taylor expansion of 1/3 in x 1.523 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.523 * [taylor]: Taking taylor expansion of x in x 1.539 * [approximate]: Taking taylor expansion of (- (/ 1 x) (* 1/3 (/ 1 (pow x 3)))) in (x) around 0 1.539 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 1/3 (/ 1 (pow x 3)))) in x 1.539 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.539 * [taylor]: Taking taylor expansion of x in x 1.540 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 1.540 * [taylor]: Taking taylor expansion of 1/3 in x 1.540 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.540 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.540 * [taylor]: Taking taylor expansion of x in x 1.540 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 1/3 (/ 1 (pow x 3)))) in x 1.540 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.540 * [taylor]: Taking taylor expansion of x in x 1.541 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 1.541 * [taylor]: Taking taylor expansion of 1/3 in x 1.541 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.541 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.541 * [taylor]: Taking taylor expansion of x in x 1.570 * [approximate]: Taking taylor expansion of (- (* 1/3 (/ 1 (pow x 3))) (/ 1 x)) in (x) around 0 1.570 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 (pow x 3))) (/ 1 x)) in x 1.570 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 1.570 * [taylor]: Taking taylor expansion of 1/3 in x 1.570 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.570 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.570 * [taylor]: Taking taylor expansion of x in x 1.570 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.570 * [taylor]: Taking taylor expansion of x in x 1.571 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 (pow x 3))) (/ 1 x)) in x 1.571 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 1.571 * [taylor]: Taking taylor expansion of 1/3 in x 1.571 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.571 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.571 * [taylor]: Taking taylor expansion of x in x 1.572 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.572 * [taylor]: Taking taylor expansion of x in x 1.604 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 1.604 * [approximate]: Taking taylor expansion of (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3)))) in (x) around 0 1.604 * [taylor]: Taking taylor expansion of (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3)))) in x 1.605 * [taylor]: Rewrote expression to (+ (* (pow x 5) 2/15) (- x (* 1/3 (pow x 3)))) 1.605 * [taylor]: Taking taylor expansion of (* (pow x 5) 2/15) in x 1.605 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.605 * [taylor]: Taking taylor expansion of x in x 1.605 * [taylor]: Taking taylor expansion of 2/15 in x 1.605 * [taylor]: Taking taylor expansion of (- x (* 1/3 (pow x 3))) in x 1.605 * [taylor]: Taking taylor expansion of x in x 1.605 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 1.605 * [taylor]: Taking taylor expansion of 1/3 in x 1.605 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.605 * [taylor]: Taking taylor expansion of x in x 1.605 * [taylor]: Taking taylor expansion of (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3)))) in x 1.605 * [taylor]: Rewrote expression to (+ (* (pow x 5) 2/15) (- x (* 1/3 (pow x 3)))) 1.605 * [taylor]: Taking taylor expansion of (* (pow x 5) 2/15) in x 1.605 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.605 * [taylor]: Taking taylor expansion of x in x 1.605 * [taylor]: Taking taylor expansion of 2/15 in x 1.605 * [taylor]: Taking taylor expansion of (- x (* 1/3 (pow x 3))) in x 1.605 * [taylor]: Taking taylor expansion of x in x 1.605 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 1.605 * [taylor]: Taking taylor expansion of 1/3 in x 1.605 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.605 * [taylor]: Taking taylor expansion of x in x 1.613 * [approximate]: Taking taylor expansion of (fma (pow (/ 1 x) 5) 2/15 (- (/ 1 x) (* 1/3 (/ 1 (pow x 3))))) in (x) around 0 1.614 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 5) 2/15 (- (/ 1 x) (* 1/3 (/ 1 (pow x 3))))) in x 1.614 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 5) 2/15) (- (/ 1 x) (* 1/3 (/ 1 (pow x 3))))) 1.614 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 5) 2/15) in x 1.614 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 1.614 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.614 * [taylor]: Taking taylor expansion of x in x 1.614 * [taylor]: Taking taylor expansion of 2/15 in x 1.614 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 1/3 (/ 1 (pow x 3)))) in x 1.614 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.614 * [taylor]: Taking taylor expansion of x in x 1.614 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 1.614 * [taylor]: Taking taylor expansion of 1/3 in x 1.614 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.614 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.614 * [taylor]: Taking taylor expansion of x in x 1.615 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 5) 2/15 (- (/ 1 x) (* 1/3 (/ 1 (pow x 3))))) in x 1.615 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 5) 2/15) (- (/ 1 x) (* 1/3 (/ 1 (pow x 3))))) 1.615 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 5) 2/15) in x 1.615 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 1.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.615 * [taylor]: Taking taylor expansion of x in x 1.616 * [taylor]: Taking taylor expansion of 2/15 in x 1.616 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 1/3 (/ 1 (pow x 3)))) in x 1.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.616 * [taylor]: Taking taylor expansion of x in x 1.616 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 1.616 * [taylor]: Taking taylor expansion of 1/3 in x 1.616 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.616 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.616 * [taylor]: Taking taylor expansion of x in x 1.635 * [approximate]: Taking taylor expansion of (fma (pow (/ -1 x) 5) 2/15 (- (* 1/3 (/ 1 (pow x 3))) (/ 1 x))) in (x) around 0 1.635 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 5) 2/15 (- (* 1/3 (/ 1 (pow x 3))) (/ 1 x))) in x 1.635 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 5) 2/15) (- (* 1/3 (/ 1 (pow x 3))) (/ 1 x))) 1.635 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 5) 2/15) in x 1.635 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 1.635 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.635 * [taylor]: Taking taylor expansion of -1 in x 1.635 * [taylor]: Taking taylor expansion of x in x 1.636 * [taylor]: Taking taylor expansion of 2/15 in x 1.636 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 (pow x 3))) (/ 1 x)) in x 1.636 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 1.636 * [taylor]: Taking taylor expansion of 1/3 in x 1.636 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.636 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.636 * [taylor]: Taking taylor expansion of x in x 1.637 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.637 * [taylor]: Taking taylor expansion of x in x 1.637 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 5) 2/15 (- (* 1/3 (/ 1 (pow x 3))) (/ 1 x))) in x 1.637 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 5) 2/15) (- (* 1/3 (/ 1 (pow x 3))) (/ 1 x))) 1.637 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 5) 2/15) in x 1.637 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 1.637 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.637 * [taylor]: Taking taylor expansion of -1 in x 1.637 * [taylor]: Taking taylor expansion of x in x 1.637 * [taylor]: Taking taylor expansion of 2/15 in x 1.637 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 (pow x 3))) (/ 1 x)) in x 1.638 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 1.638 * [taylor]: Taking taylor expansion of 1/3 in x 1.638 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.638 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.638 * [taylor]: Taking taylor expansion of x in x 1.638 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.638 * [taylor]: Taking taylor expansion of x in x 1.656 * * * [progress]: simplifying candidates 1.657 * [simplify]: Simplifying using # : (expm1 (* 1/3 (pow x 3))) (log1p (* 1/3 (pow x 3))) (+ (log 1/3) (* (log x) 3)) (+ (log 1/3) (* (log x) 3)) (+ (log 1/3) (log (pow x 3))) (log (* 1/3 (pow x 3))) (exp (* 1/3 (pow x 3))) (* (* (* 1/3 1/3) 1/3) (* (* (pow x 3) (pow x 3)) (pow x 3))) (* (cbrt (* 1/3 (pow x 3))) (cbrt (* 1/3 (pow x 3)))) (cbrt (* 1/3 (pow x 3))) (* (* (* 1/3 (pow x 3)) (* 1/3 (pow x 3))) (* 1/3 (pow x 3))) (sqrt (* 1/3 (pow x 3))) (sqrt (* 1/3 (pow x 3))) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (sqrt (pow x 3))) (* (sqrt 1/3) (sqrt (pow x 3))) (* (sqrt 1/3) (pow x (/ 3 2))) (* (sqrt 1/3) (pow x (/ 3 2))) (* 1/3 (pow (* (cbrt x) (cbrt x)) 3)) (* 1/3 (pow (sqrt x) 3)) (* 1/3 (pow 1 3)) (* 1/3 (* x x)) (* 1/3 (* (cbrt (pow x 3)) (cbrt (pow x 3)))) (* 1/3 (pow (* (cbrt x) (cbrt x)) 3)) (* 1/3 (pow (sqrt x) 3)) (* 1/3 (pow 1 3)) (* 1/3 x) (* 1/3 (sqrt (pow x 3))) (* 1/3 1) (* 1/3 (pow x (/ 3 2))) (* (cbrt 1/3) (pow x 3)) (* (sqrt 1/3) (pow x 3)) (* 1/3 (pow x 3)) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (pow x 3) 1/3))) (fma (- (pow x 3)) 1/3 (* (pow x 3) 1/3)) (fma (sqrt x) (sqrt x) (- (* (pow x 3) 1/3))) (fma (- (pow x 3)) 1/3 (* (pow x 3) 1/3)) (fma 1 x (- (* (pow x 3) 1/3))) (fma (- (pow x 3)) 1/3 (* (pow x 3) 1/3)) (expm1 (- x (* 1/3 (pow x 3)))) (log1p (- x (* 1/3 (pow x 3)))) (- (* 1/3 (pow x 3))) (- (* 1/3 (pow x 3))) (- (* 1/3 (pow x 3))) (/ (exp x) (exp (* 1/3 (pow x 3)))) (log (- x (* 1/3 (pow x 3)))) (exp (- x (* 1/3 (pow x 3)))) (* (cbrt (- x (* 1/3 (pow x 3)))) (cbrt (- x (* 1/3 (pow x 3))))) (cbrt (- x (* 1/3 (pow x 3)))) (* (* (- x (* 1/3 (pow x 3))) (- x (* 1/3 (pow x 3)))) (- x (* 1/3 (pow x 3)))) (sqrt (- x (* 1/3 (pow x 3)))) (sqrt (- x (* 1/3 (pow x 3)))) (- (pow x 3) (pow (* 1/3 (pow x 3)) 3)) (+ (* x x) (+ (* (* 1/3 (pow x 3)) (* 1/3 (pow x 3))) (* x (* 1/3 (pow x 3))))) (- (* 1/3 (pow x 3))) (- (* x x) (* (* 1/3 (pow x 3)) (* 1/3 (pow x 3)))) (+ x (* 1/3 (pow x 3))) (- (* 1/3 (pow x 3))) (expm1 (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3))))) (log1p (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3))))) (* (pow x 5) 2/15) (log (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3))))) (exp (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3))))) (* (cbrt (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3))))) (cbrt (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3)))))) (cbrt (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3))))) (* (* (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3)))) (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3))))) (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3))))) (sqrt (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3))))) (sqrt (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3))))) (* 1/3 (pow x 3)) (* 1/3 (pow x 3)) (* 1/3 (pow x 3)) (- x (* 1/3 (pow x 3))) (- x (* 1/3 (pow x 3))) (- x (* 1/3 (pow x 3))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) 1.666 * * [simplify]: iteration 0 : 206 enodes (cost 343 ) 1.670 * * [simplify]: iteration 1 : 832 enodes (cost 296 ) 1.695 * * [simplify]: iteration 2 : 5002 enodes (cost 295 ) 1.696 * [simplify]: Simplified to: (expm1 (* 1/3 (pow x 3))) (log1p (* 1/3 (pow x 3))) (log (* 1/3 (pow x 3))) (log (* 1/3 (pow x 3))) (log (* 1/3 (pow x 3))) (log (* 1/3 (pow x 3))) (exp (* 1/3 (pow x 3))) (pow (* 1/3 (pow x 3)) 3) (* (cbrt (* 1/3 (pow x 3))) (cbrt (* 1/3 (pow x 3)))) (cbrt (* 1/3 (pow x 3))) (pow (* 1/3 (pow x 3)) 3) (sqrt (* 1/3 (pow x 3))) (sqrt (* 1/3 (pow x 3))) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (sqrt (pow x 3))) (* (sqrt 1/3) (sqrt (pow x 3))) (* (sqrt 1/3) (pow x (/ 3 2))) (* (sqrt 1/3) (pow x (/ 3 2))) (* (* 1/3 x) x) (* 1/3 (pow (sqrt x) 3)) 1/3 (* (* 1/3 x) x) (* (* 1/3 x) x) (* (* 1/3 x) x) (* 1/3 (pow (sqrt x) 3)) 1/3 (* 1/3 x) (* 1/3 (sqrt (pow x 3))) 1/3 (* 1/3 (pow x (/ 3 2))) (* (cbrt 1/3) (pow x 3)) (* (sqrt 1/3) (pow x 3)) (* 1/3 (pow x 3)) (- x (* 1/3 (pow x 3))) (* (pow x 3) (+ (- 1/3) 1/3)) (- x (* 1/3 (pow x 3))) (* (pow x 3) (+ (- 1/3) 1/3)) (- x (* 1/3 (pow x 3))) (* (pow x 3) (+ (- 1/3) 1/3)) (expm1 (- x (* 1/3 (pow x 3)))) (log1p (- x (* 1/3 (pow x 3)))) (- (* 1/3 (pow x 3))) (- (* 1/3 (pow x 3))) (- (* 1/3 (pow x 3))) (exp (- x (* 1/3 (pow x 3)))) (log (- x (* 1/3 (pow x 3)))) (exp (- x (* 1/3 (pow x 3)))) (* (cbrt (- x (* 1/3 (pow x 3)))) (cbrt (- x (* 1/3 (pow x 3))))) (cbrt (- x (* 1/3 (pow x 3)))) (pow (- x (* 1/3 (pow x 3))) 3) (sqrt (- x (* 1/3 (pow x 3)))) (sqrt (- x (* 1/3 (pow x 3)))) (- (pow x 3) (pow (* 1/3 (pow x 3)) 3)) (fma x x (* (pow x 3) (* 1/3 (fma (pow x 3) 1/3 x)))) (- (* 1/3 (pow x 3))) (- (* x x) (* (pow x 6) 1/9)) (fma (pow x 3) 1/3 x) (- (* 1/3 (pow x 3))) (expm1 (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3))))) (log1p (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3))))) (* (pow x 5) 2/15) (log (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3))))) (exp (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3))))) (* (cbrt (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3))))) (cbrt (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3)))))) (cbrt (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3))))) (pow (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3)))) 3) (sqrt (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3))))) (sqrt (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3))))) (* 1/3 (pow x 3)) (* 1/3 (pow x 3)) (* 1/3 (pow x 3)) (- x (* 1/3 (pow x 3))) (- x (* 1/3 (pow x 3))) (- x (* 1/3 (pow x 3))) (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3)))) (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3)))) (fma (pow x 5) 2/15 (- x (* 1/3 (pow x 3)))) 1.697 * * * [progress]: adding candidates to table 1.853 * [progress]: [Phase 3 of 3] Extracting. 1.853 * * [regime]: Finding splitpoints for: (# # #) 1.854 * * * [regime-changes]: Trying 1 branch expressions: (x) 1.854 * * * * [regimes]: Trying to branch on x from (# # #) 1.868 * * * [regime]: Found split indices: #