9.511 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.107 * * * [progress]: [2/2] Setting up program. 0.111 * [progress]: [Phase 2 of 3] Improving. 0.111 * [simplify]: Simplifying using # : (/ (- (* (+ 1.0 (/ 1.0 eps)) (exp (neg (* (- 1.0 eps) x)))) (* (- (/ 1.0 eps) 1.0) (exp (neg (* (+ 1.0 eps) x))))) 2.0) 0.113 * * [simplify]: iteration 0 : 46 enodes (cost 16 ) 0.114 * * [simplify]: iteration 1 : 122 enodes (cost 16 ) 0.116 * * [simplify]: iteration 2 : 347 enodes (cost 16 ) 0.122 * * [simplify]: iteration 3 : 1295 enodes (cost 16 ) 0.146 * * [simplify]: iteration 4 : 5001 enodes (cost 15 ) 0.146 * [simplify]: Simplified to: (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0)) 0.151 * * [progress]: iteration 1 / 4 0.151 * * * [progress]: picking best candidate 0.154 * * * * [pick]: Picked # 0.154 * * * [progress]: localizing error 0.170 * * * [progress]: generating rewritten candidates 0.170 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.309 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 0.311 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 0.314 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 0.329 * * * [progress]: generating series expansions 0.329 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.329 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* eps (exp (* x (- 1.0 eps)))))) (+ (* 0.5 (/ 1 (exp (* x (+ eps 1.0))))) (* 0.5 (/ 1 (exp (* x (- 1.0 eps))))))) (* 0.5 (/ 1 (* (exp (* x (+ eps 1.0))) eps)))) in (eps x) around 0 0.329 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* eps (exp (* x (- 1.0 eps)))))) (+ (* 0.5 (/ 1 (exp (* x (+ eps 1.0))))) (* 0.5 (/ 1 (exp (* x (- 1.0 eps))))))) (* 0.5 (/ 1 (* (exp (* x (+ eps 1.0))) eps)))) in x 0.329 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* eps (exp (* x (- 1.0 eps)))))) (+ (* 0.5 (/ 1 (exp (* x (+ eps 1.0))))) (* 0.5 (/ 1 (exp (* x (- 1.0 eps))))))) in x 0.329 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* eps (exp (* x (- 1.0 eps)))))) in x 0.329 * [taylor]: Taking taylor expansion of 0.5 in x 0.329 * [taylor]: Taking taylor expansion of (/ 1 (* eps (exp (* x (- 1.0 eps))))) in x 0.329 * [taylor]: Taking taylor expansion of (* eps (exp (* x (- 1.0 eps)))) in x 0.329 * [taylor]: Taking taylor expansion of eps in x 0.329 * [taylor]: Taking taylor expansion of (exp (* x (- 1.0 eps))) in x 0.329 * [taylor]: Taking taylor expansion of (* x (- 1.0 eps)) in x 0.329 * [taylor]: Taking taylor expansion of x in x 0.329 * [taylor]: Taking taylor expansion of (- 1.0 eps) in x 0.330 * [taylor]: Taking taylor expansion of 1.0 in x 0.330 * [taylor]: Taking taylor expansion of eps in x 0.330 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (* x (+ eps 1.0))))) (* 0.5 (/ 1 (exp (* x (- 1.0 eps)))))) in x 0.330 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (* x (+ eps 1.0))))) in x 0.330 * [taylor]: Taking taylor expansion of 0.5 in x 0.330 * [taylor]: Taking taylor expansion of (/ 1 (exp (* x (+ eps 1.0)))) in x 0.330 * [taylor]: Taking taylor expansion of (exp (* x (+ eps 1.0))) in x 0.330 * [taylor]: Taking taylor expansion of (* x (+ eps 1.0)) in x 0.330 * [taylor]: Taking taylor expansion of x in x 0.330 * [taylor]: Taking taylor expansion of (+ eps 1.0) in x 0.330 * [taylor]: Taking taylor expansion of eps in x 0.330 * [taylor]: Taking taylor expansion of 1.0 in x 0.330 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (* x (- 1.0 eps))))) in x 0.330 * [taylor]: Taking taylor expansion of 0.5 in x 0.330 * [taylor]: Taking taylor expansion of (/ 1 (exp (* x (- 1.0 eps)))) in x 0.330 * [taylor]: Taking taylor expansion of (exp (* x (- 1.0 eps))) in x 0.330 * [taylor]: Taking taylor expansion of (* x (- 1.0 eps)) in x 0.330 * [taylor]: Taking taylor expansion of x in x 0.330 * [taylor]: Taking taylor expansion of (- 1.0 eps) in x 0.330 * [taylor]: Taking taylor expansion of 1.0 in x 0.330 * [taylor]: Taking taylor expansion of eps in x 0.330 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* (exp (* x (+ eps 1.0))) eps))) in x 0.330 * [taylor]: Taking taylor expansion of 0.5 in x 0.330 * [taylor]: Taking taylor expansion of (/ 1 (* (exp (* x (+ eps 1.0))) eps)) in x 0.330 * [taylor]: Taking taylor expansion of (* (exp (* x (+ eps 1.0))) eps) in x 0.330 * [taylor]: Taking taylor expansion of (exp (* x (+ eps 1.0))) in x 0.330 * [taylor]: Taking taylor expansion of (* x (+ eps 1.0)) in x 0.330 * [taylor]: Taking taylor expansion of x in x 0.330 * [taylor]: Taking taylor expansion of (+ eps 1.0) in x 0.330 * [taylor]: Taking taylor expansion of eps in x 0.330 * [taylor]: Taking taylor expansion of 1.0 in x 0.331 * [taylor]: Taking taylor expansion of eps in x 0.331 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* eps (exp (* x (- 1.0 eps)))))) (+ (* 0.5 (/ 1 (exp (* x (+ eps 1.0))))) (* 0.5 (/ 1 (exp (* x (- 1.0 eps))))))) (* 0.5 (/ 1 (* (exp (* x (+ eps 1.0))) eps)))) in eps 0.331 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* eps (exp (* x (- 1.0 eps)))))) (+ (* 0.5 (/ 1 (exp (* x (+ eps 1.0))))) (* 0.5 (/ 1 (exp (* x (- 1.0 eps))))))) in eps 0.331 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* eps (exp (* x (- 1.0 eps)))))) in eps 0.331 * [taylor]: Taking taylor expansion of 0.5 in eps 0.331 * [taylor]: Taking taylor expansion of (/ 1 (* eps (exp (* x (- 1.0 eps))))) in eps 0.331 * [taylor]: Taking taylor expansion of (* eps (exp (* x (- 1.0 eps)))) in eps 0.331 * [taylor]: Taking taylor expansion of eps in eps 0.331 * [taylor]: Taking taylor expansion of (exp (* x (- 1.0 eps))) in eps 0.331 * [taylor]: Taking taylor expansion of (* x (- 1.0 eps)) in eps 0.331 * [taylor]: Taking taylor expansion of x in eps 0.331 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 0.331 * [taylor]: Taking taylor expansion of 1.0 in eps 0.331 * [taylor]: Taking taylor expansion of eps in eps 0.332 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (* x (+ eps 1.0))))) (* 0.5 (/ 1 (exp (* x (- 1.0 eps)))))) in eps 0.332 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (* x (+ eps 1.0))))) in eps 0.332 * [taylor]: Taking taylor expansion of 0.5 in eps 0.332 * [taylor]: Taking taylor expansion of (/ 1 (exp (* x (+ eps 1.0)))) in eps 0.332 * [taylor]: Taking taylor expansion of (exp (* x (+ eps 1.0))) in eps 0.332 * [taylor]: Taking taylor expansion of (* x (+ eps 1.0)) in eps 0.332 * [taylor]: Taking taylor expansion of x in eps 0.332 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 0.332 * [taylor]: Taking taylor expansion of eps in eps 0.332 * [taylor]: Taking taylor expansion of 1.0 in eps 0.332 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (* x (- 1.0 eps))))) in eps 0.332 * [taylor]: Taking taylor expansion of 0.5 in eps 0.332 * [taylor]: Taking taylor expansion of (/ 1 (exp (* x (- 1.0 eps)))) in eps 0.332 * [taylor]: Taking taylor expansion of (exp (* x (- 1.0 eps))) in eps 0.332 * [taylor]: Taking taylor expansion of (* x (- 1.0 eps)) in eps 0.332 * [taylor]: Taking taylor expansion of x in eps 0.332 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 0.332 * [taylor]: Taking taylor expansion of 1.0 in eps 0.332 * [taylor]: Taking taylor expansion of eps in eps 0.332 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* (exp (* x (+ eps 1.0))) eps))) in eps 0.332 * [taylor]: Taking taylor expansion of 0.5 in eps 0.332 * [taylor]: Taking taylor expansion of (/ 1 (* (exp (* x (+ eps 1.0))) eps)) in eps 0.332 * [taylor]: Taking taylor expansion of (* (exp (* x (+ eps 1.0))) eps) in eps 0.332 * [taylor]: Taking taylor expansion of (exp (* x (+ eps 1.0))) in eps 0.332 * [taylor]: Taking taylor expansion of (* x (+ eps 1.0)) in eps 0.332 * [taylor]: Taking taylor expansion of x in eps 0.332 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 0.332 * [taylor]: Taking taylor expansion of eps in eps 0.332 * [taylor]: Taking taylor expansion of 1.0 in eps 0.332 * [taylor]: Taking taylor expansion of eps in eps 0.333 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* eps (exp (* x (- 1.0 eps)))))) (+ (* 0.5 (/ 1 (exp (* x (+ eps 1.0))))) (* 0.5 (/ 1 (exp (* x (- 1.0 eps))))))) (* 0.5 (/ 1 (* (exp (* x (+ eps 1.0))) eps)))) in eps 0.333 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* eps (exp (* x (- 1.0 eps)))))) (+ (* 0.5 (/ 1 (exp (* x (+ eps 1.0))))) (* 0.5 (/ 1 (exp (* x (- 1.0 eps))))))) in eps 0.333 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* eps (exp (* x (- 1.0 eps)))))) in eps 0.333 * [taylor]: Taking taylor expansion of 0.5 in eps 0.333 * [taylor]: Taking taylor expansion of (/ 1 (* eps (exp (* x (- 1.0 eps))))) in eps 0.333 * [taylor]: Taking taylor expansion of (* eps (exp (* x (- 1.0 eps)))) in eps 0.333 * [taylor]: Taking taylor expansion of eps in eps 0.333 * [taylor]: Taking taylor expansion of (exp (* x (- 1.0 eps))) in eps 0.333 * [taylor]: Taking taylor expansion of (* x (- 1.0 eps)) in eps 0.333 * [taylor]: Taking taylor expansion of x in eps 0.333 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 0.333 * [taylor]: Taking taylor expansion of 1.0 in eps 0.333 * [taylor]: Taking taylor expansion of eps in eps 0.333 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (* x (+ eps 1.0))))) (* 0.5 (/ 1 (exp (* x (- 1.0 eps)))))) in eps 0.333 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (* x (+ eps 1.0))))) in eps 0.333 * [taylor]: Taking taylor expansion of 0.5 in eps 0.333 * [taylor]: Taking taylor expansion of (/ 1 (exp (* x (+ eps 1.0)))) in eps 0.333 * [taylor]: Taking taylor expansion of (exp (* x (+ eps 1.0))) in eps 0.333 * [taylor]: Taking taylor expansion of (* x (+ eps 1.0)) in eps 0.333 * [taylor]: Taking taylor expansion of x in eps 0.333 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 0.333 * [taylor]: Taking taylor expansion of eps in eps 0.333 * [taylor]: Taking taylor expansion of 1.0 in eps 0.333 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (* x (- 1.0 eps))))) in eps 0.333 * [taylor]: Taking taylor expansion of 0.5 in eps 0.333 * [taylor]: Taking taylor expansion of (/ 1 (exp (* x (- 1.0 eps)))) in eps 0.333 * [taylor]: Taking taylor expansion of (exp (* x (- 1.0 eps))) in eps 0.333 * [taylor]: Taking taylor expansion of (* x (- 1.0 eps)) in eps 0.333 * [taylor]: Taking taylor expansion of x in eps 0.333 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 0.334 * [taylor]: Taking taylor expansion of 1.0 in eps 0.334 * [taylor]: Taking taylor expansion of eps in eps 0.334 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* (exp (* x (+ eps 1.0))) eps))) in eps 0.334 * [taylor]: Taking taylor expansion of 0.5 in eps 0.334 * [taylor]: Taking taylor expansion of (/ 1 (* (exp (* x (+ eps 1.0))) eps)) in eps 0.334 * [taylor]: Taking taylor expansion of (* (exp (* x (+ eps 1.0))) eps) in eps 0.334 * [taylor]: Taking taylor expansion of (exp (* x (+ eps 1.0))) in eps 0.334 * [taylor]: Taking taylor expansion of (* x (+ eps 1.0)) in eps 0.334 * [taylor]: Taking taylor expansion of x in eps 0.334 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 0.334 * [taylor]: Taking taylor expansion of eps in eps 0.334 * [taylor]: Taking taylor expansion of 1.0 in eps 0.334 * [taylor]: Taking taylor expansion of eps in eps 0.334 * [taylor]: Taking taylor expansion of 0 in x 0.336 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (exp (* 1.0 x)))) (* 1.0 (/ x (exp (* 1.0 x))))) in x 0.336 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (* 1.0 x)))) in x 0.336 * [taylor]: Taking taylor expansion of 1.0 in x 0.336 * [taylor]: Taking taylor expansion of (/ 1 (exp (* 1.0 x))) in x 0.336 * [taylor]: Taking taylor expansion of (exp (* 1.0 x)) in x 0.336 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.336 * [taylor]: Taking taylor expansion of 1.0 in x 0.336 * [taylor]: Taking taylor expansion of x in x 0.336 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (exp (* 1.0 x)))) in x 0.336 * [taylor]: Taking taylor expansion of 1.0 in x 0.336 * [taylor]: Taking taylor expansion of (/ x (exp (* 1.0 x))) in x 0.336 * [taylor]: Taking taylor expansion of x in x 0.336 * [taylor]: Taking taylor expansion of (exp (* 1.0 x)) in x 0.336 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.336 * [taylor]: Taking taylor expansion of 1.0 in x 0.336 * [taylor]: Taking taylor expansion of x in x 0.340 * [taylor]: Taking taylor expansion of 0 in x 0.346 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (pow x 2) (exp (* 1.0 x)))) (* 0.16666666666666666 (/ (pow x 3) (exp (* 1.0 x))))) in x 0.346 * [taylor]: Taking taylor expansion of (* 0.5 (/ (pow x 2) (exp (* 1.0 x)))) in x 0.346 * [taylor]: Taking taylor expansion of 0.5 in x 0.346 * [taylor]: Taking taylor expansion of (/ (pow x 2) (exp (* 1.0 x))) in x 0.346 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.346 * [taylor]: Taking taylor expansion of x in x 0.346 * [taylor]: Taking taylor expansion of (exp (* 1.0 x)) in x 0.346 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.346 * [taylor]: Taking taylor expansion of 1.0 in x 0.346 * [taylor]: Taking taylor expansion of x in x 0.346 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ (pow x 3) (exp (* 1.0 x)))) in x 0.346 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.346 * [taylor]: Taking taylor expansion of (/ (pow x 3) (exp (* 1.0 x))) in x 0.346 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.346 * [taylor]: Taking taylor expansion of x in x 0.346 * [taylor]: Taking taylor expansion of (exp (* 1.0 x)) in x 0.346 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.346 * [taylor]: Taking taylor expansion of 1.0 in x 0.346 * [taylor]: Taking taylor expansion of x in x 0.354 * [taylor]: Taking taylor expansion of 0 in x 0.355 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ eps (exp (/ (- 1.0 (/ 1 eps)) x)))) (+ (* 0.5 (/ 1 (exp (/ (- 1.0 (/ 1 eps)) x)))) (* 0.5 (/ 1 (exp (/ (+ (/ 1 eps) 1.0) x)))))) (* 0.5 (/ eps (exp (/ (+ (/ 1 eps) 1.0) x))))) in (eps x) around 0 0.355 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ eps (exp (/ (- 1.0 (/ 1 eps)) x)))) (+ (* 0.5 (/ 1 (exp (/ (- 1.0 (/ 1 eps)) x)))) (* 0.5 (/ 1 (exp (/ (+ (/ 1 eps) 1.0) x)))))) (* 0.5 (/ eps (exp (/ (+ (/ 1 eps) 1.0) x))))) in x 0.355 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ eps (exp (/ (- 1.0 (/ 1 eps)) x)))) (+ (* 0.5 (/ 1 (exp (/ (- 1.0 (/ 1 eps)) x)))) (* 0.5 (/ 1 (exp (/ (+ (/ 1 eps) 1.0) x)))))) in x 0.355 * [taylor]: Taking taylor expansion of (* 0.5 (/ eps (exp (/ (- 1.0 (/ 1 eps)) x)))) in x 0.355 * [taylor]: Taking taylor expansion of 0.5 in x 0.355 * [taylor]: Taking taylor expansion of (/ eps (exp (/ (- 1.0 (/ 1 eps)) x))) in x 0.355 * [taylor]: Taking taylor expansion of eps in x 0.355 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (/ 1 eps)) x)) in x 0.355 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in x 0.355 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in x 0.355 * [taylor]: Taking taylor expansion of 1.0 in x 0.355 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.355 * [taylor]: Taking taylor expansion of eps in x 0.356 * [taylor]: Taking taylor expansion of x in x 0.356 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (/ (- 1.0 (/ 1 eps)) x)))) (* 0.5 (/ 1 (exp (/ (+ (/ 1 eps) 1.0) x))))) in x 0.356 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ (- 1.0 (/ 1 eps)) x)))) in x 0.356 * [taylor]: Taking taylor expansion of 0.5 in x 0.356 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ (- 1.0 (/ 1 eps)) x))) in x 0.356 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (/ 1 eps)) x)) in x 0.356 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in x 0.356 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in x 0.356 * [taylor]: Taking taylor expansion of 1.0 in x 0.356 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.356 * [taylor]: Taking taylor expansion of eps in x 0.356 * [taylor]: Taking taylor expansion of x in x 0.356 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ (+ (/ 1 eps) 1.0) x)))) in x 0.356 * [taylor]: Taking taylor expansion of 0.5 in x 0.356 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ (+ (/ 1 eps) 1.0) x))) in x 0.356 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 eps) 1.0) x)) in x 0.356 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in x 0.356 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in x 0.356 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.356 * [taylor]: Taking taylor expansion of eps in x 0.356 * [taylor]: Taking taylor expansion of 1.0 in x 0.356 * [taylor]: Taking taylor expansion of x in x 0.357 * [taylor]: Taking taylor expansion of (* 0.5 (/ eps (exp (/ (+ (/ 1 eps) 1.0) x)))) in x 0.357 * [taylor]: Taking taylor expansion of 0.5 in x 0.357 * [taylor]: Taking taylor expansion of (/ eps (exp (/ (+ (/ 1 eps) 1.0) x))) in x 0.357 * [taylor]: Taking taylor expansion of eps in x 0.357 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 eps) 1.0) x)) in x 0.357 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in x 0.357 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in x 0.357 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.357 * [taylor]: Taking taylor expansion of eps in x 0.357 * [taylor]: Taking taylor expansion of 1.0 in x 0.357 * [taylor]: Taking taylor expansion of x in x 0.357 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ eps (exp (/ (- 1.0 (/ 1 eps)) x)))) (+ (* 0.5 (/ 1 (exp (/ (- 1.0 (/ 1 eps)) x)))) (* 0.5 (/ 1 (exp (/ (+ (/ 1 eps) 1.0) x)))))) (* 0.5 (/ eps (exp (/ (+ (/ 1 eps) 1.0) x))))) in eps 0.357 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ eps (exp (/ (- 1.0 (/ 1 eps)) x)))) (+ (* 0.5 (/ 1 (exp (/ (- 1.0 (/ 1 eps)) x)))) (* 0.5 (/ 1 (exp (/ (+ (/ 1 eps) 1.0) x)))))) in eps 0.357 * [taylor]: Taking taylor expansion of (* 0.5 (/ eps (exp (/ (- 1.0 (/ 1 eps)) x)))) in eps 0.357 * [taylor]: Taking taylor expansion of 0.5 in eps 0.357 * [taylor]: Taking taylor expansion of (/ eps (exp (/ (- 1.0 (/ 1 eps)) x))) in eps 0.357 * [taylor]: Taking taylor expansion of eps in eps 0.357 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (/ 1 eps)) x)) in eps 0.357 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in eps 0.357 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.357 * [taylor]: Taking taylor expansion of 1.0 in eps 0.357 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.357 * [taylor]: Taking taylor expansion of eps in eps 0.357 * [taylor]: Taking taylor expansion of x in eps 0.357 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (/ (- 1.0 (/ 1 eps)) x)))) (* 0.5 (/ 1 (exp (/ (+ (/ 1 eps) 1.0) x))))) in eps 0.357 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ (- 1.0 (/ 1 eps)) x)))) in eps 0.357 * [taylor]: Taking taylor expansion of 0.5 in eps 0.357 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ (- 1.0 (/ 1 eps)) x))) in eps 0.357 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (/ 1 eps)) x)) in eps 0.357 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in eps 0.357 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.357 * [taylor]: Taking taylor expansion of 1.0 in eps 0.357 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.357 * [taylor]: Taking taylor expansion of eps in eps 0.357 * [taylor]: Taking taylor expansion of x in eps 0.358 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ (+ (/ 1 eps) 1.0) x)))) in eps 0.358 * [taylor]: Taking taylor expansion of 0.5 in eps 0.358 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ (+ (/ 1 eps) 1.0) x))) in eps 0.358 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 eps) 1.0) x)) in eps 0.358 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in eps 0.358 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.358 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.358 * [taylor]: Taking taylor expansion of eps in eps 0.358 * [taylor]: Taking taylor expansion of 1.0 in eps 0.358 * [taylor]: Taking taylor expansion of x in eps 0.358 * [taylor]: Taking taylor expansion of (* 0.5 (/ eps (exp (/ (+ (/ 1 eps) 1.0) x)))) in eps 0.358 * [taylor]: Taking taylor expansion of 0.5 in eps 0.358 * [taylor]: Taking taylor expansion of (/ eps (exp (/ (+ (/ 1 eps) 1.0) x))) in eps 0.358 * [taylor]: Taking taylor expansion of eps in eps 0.358 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 eps) 1.0) x)) in eps 0.358 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in eps 0.358 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.358 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.358 * [taylor]: Taking taylor expansion of eps in eps 0.358 * [taylor]: Taking taylor expansion of 1.0 in eps 0.358 * [taylor]: Taking taylor expansion of x in eps 0.358 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ eps (exp (/ (- 1.0 (/ 1 eps)) x)))) (+ (* 0.5 (/ 1 (exp (/ (- 1.0 (/ 1 eps)) x)))) (* 0.5 (/ 1 (exp (/ (+ (/ 1 eps) 1.0) x)))))) (* 0.5 (/ eps (exp (/ (+ (/ 1 eps) 1.0) x))))) in eps 0.358 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ eps (exp (/ (- 1.0 (/ 1 eps)) x)))) (+ (* 0.5 (/ 1 (exp (/ (- 1.0 (/ 1 eps)) x)))) (* 0.5 (/ 1 (exp (/ (+ (/ 1 eps) 1.0) x)))))) in eps 0.358 * [taylor]: Taking taylor expansion of (* 0.5 (/ eps (exp (/ (- 1.0 (/ 1 eps)) x)))) in eps 0.358 * [taylor]: Taking taylor expansion of 0.5 in eps 0.358 * [taylor]: Taking taylor expansion of (/ eps (exp (/ (- 1.0 (/ 1 eps)) x))) in eps 0.358 * [taylor]: Taking taylor expansion of eps in eps 0.358 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (/ 1 eps)) x)) in eps 0.358 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in eps 0.358 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.358 * [taylor]: Taking taylor expansion of 1.0 in eps 0.358 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.358 * [taylor]: Taking taylor expansion of eps in eps 0.358 * [taylor]: Taking taylor expansion of x in eps 0.359 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (/ (- 1.0 (/ 1 eps)) x)))) (* 0.5 (/ 1 (exp (/ (+ (/ 1 eps) 1.0) x))))) in eps 0.359 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ (- 1.0 (/ 1 eps)) x)))) in eps 0.359 * [taylor]: Taking taylor expansion of 0.5 in eps 0.359 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ (- 1.0 (/ 1 eps)) x))) in eps 0.359 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (/ 1 eps)) x)) in eps 0.359 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in eps 0.359 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.359 * [taylor]: Taking taylor expansion of 1.0 in eps 0.359 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.359 * [taylor]: Taking taylor expansion of eps in eps 0.359 * [taylor]: Taking taylor expansion of x in eps 0.359 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ (+ (/ 1 eps) 1.0) x)))) in eps 0.359 * [taylor]: Taking taylor expansion of 0.5 in eps 0.359 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ (+ (/ 1 eps) 1.0) x))) in eps 0.359 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 eps) 1.0) x)) in eps 0.359 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in eps 0.359 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.359 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.359 * [taylor]: Taking taylor expansion of eps in eps 0.359 * [taylor]: Taking taylor expansion of 1.0 in eps 0.359 * [taylor]: Taking taylor expansion of x in eps 0.359 * [taylor]: Taking taylor expansion of (* 0.5 (/ eps (exp (/ (+ (/ 1 eps) 1.0) x)))) in eps 0.359 * [taylor]: Taking taylor expansion of 0.5 in eps 0.359 * [taylor]: Taking taylor expansion of (/ eps (exp (/ (+ (/ 1 eps) 1.0) x))) in eps 0.359 * [taylor]: Taking taylor expansion of eps in eps 0.359 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 eps) 1.0) x)) in eps 0.359 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in eps 0.359 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.359 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.359 * [taylor]: Taking taylor expansion of eps in eps 0.359 * [taylor]: Taking taylor expansion of 1.0 in eps 0.359 * [taylor]: Taking taylor expansion of x in eps 0.360 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (/ (- 1.0 (/ 1 eps)) x)))) (* 0.5 (/ 1 (exp (/ (+ (/ 1 eps) 1.0) x))))) in x 0.360 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ (- 1.0 (/ 1 eps)) x)))) in x 0.360 * [taylor]: Taking taylor expansion of 0.5 in x 0.360 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ (- 1.0 (/ 1 eps)) x))) in x 0.360 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (/ 1 eps)) x)) in x 0.360 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in x 0.360 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in x 0.360 * [taylor]: Taking taylor expansion of 1.0 in x 0.360 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.360 * [taylor]: Taking taylor expansion of eps in x 0.360 * [taylor]: Taking taylor expansion of x in x 0.360 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ (+ (/ 1 eps) 1.0) x)))) in x 0.361 * [taylor]: Taking taylor expansion of 0.5 in x 0.361 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ (+ (/ 1 eps) 1.0) x))) in x 0.361 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 eps) 1.0) x)) in x 0.361 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in x 0.361 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in x 0.361 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.361 * [taylor]: Taking taylor expansion of eps in x 0.361 * [taylor]: Taking taylor expansion of 1.0 in x 0.361 * [taylor]: Taking taylor expansion of x in x 0.362 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (exp (/ (- 1.0 (/ 1 eps)) x)))) (* 0.5 (/ 1 (exp (/ (+ (/ 1 eps) 1.0) x))))) in x 0.362 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ (- 1.0 (/ 1 eps)) x)))) in x 0.362 * [taylor]: Taking taylor expansion of 0.5 in x 0.362 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ (- 1.0 (/ 1 eps)) x))) in x 0.362 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (/ 1 eps)) x)) in x 0.362 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in x 0.362 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in x 0.362 * [taylor]: Taking taylor expansion of 1.0 in x 0.362 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.362 * [taylor]: Taking taylor expansion of eps in x 0.362 * [taylor]: Taking taylor expansion of x in x 0.362 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ (+ (/ 1 eps) 1.0) x)))) in x 0.362 * [taylor]: Taking taylor expansion of 0.5 in x 0.362 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ (+ (/ 1 eps) 1.0) x))) in x 0.362 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 eps) 1.0) x)) in x 0.362 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in x 0.362 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in x 0.362 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.362 * [taylor]: Taking taylor expansion of eps in x 0.362 * [taylor]: Taking taylor expansion of 1.0 in x 0.362 * [taylor]: Taking taylor expansion of x in x 0.364 * [taylor]: Taking taylor expansion of 0 in x 0.366 * [taylor]: Taking taylor expansion of 0 in x 0.370 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))))) (+ (* 0.5 (/ 1 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))))) (* 0.5 (/ eps (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))))))) (* 0.5 (/ eps (exp (* -1 (/ (+ (/ 1 eps) 1.0) x)))))) in (eps x) around 0 0.370 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))))) (+ (* 0.5 (/ 1 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))))) (* 0.5 (/ eps (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))))))) (* 0.5 (/ eps (exp (* -1 (/ (+ (/ 1 eps) 1.0) x)))))) in x 0.370 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))))) (+ (* 0.5 (/ 1 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))))) (* 0.5 (/ eps (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))))))) in x 0.370 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))))) in x 0.370 * [taylor]: Taking taylor expansion of 0.5 in x 0.370 * [taylor]: Taking taylor expansion of (/ 1 (exp (* -1 (/ (- 1.0 (/ 1 eps)) x)))) in x 0.370 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))) in x 0.370 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 eps)) x)) in x 0.370 * [taylor]: Taking taylor expansion of -1 in x 0.370 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in x 0.370 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in x 0.370 * [taylor]: Taking taylor expansion of 1.0 in x 0.370 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.370 * [taylor]: Taking taylor expansion of eps in x 0.370 * [taylor]: Taking taylor expansion of x in x 0.370 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))))) (* 0.5 (/ eps (exp (* -1 (/ (- 1.0 (/ 1 eps)) x)))))) in x 0.370 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))))) in x 0.370 * [taylor]: Taking taylor expansion of 0.5 in x 0.370 * [taylor]: Taking taylor expansion of (/ 1 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x)))) in x 0.370 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))) in x 0.370 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 eps) 1.0) x)) in x 0.371 * [taylor]: Taking taylor expansion of -1 in x 0.371 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in x 0.371 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in x 0.371 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.371 * [taylor]: Taking taylor expansion of eps in x 0.371 * [taylor]: Taking taylor expansion of 1.0 in x 0.371 * [taylor]: Taking taylor expansion of x in x 0.371 * [taylor]: Taking taylor expansion of (* 0.5 (/ eps (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))))) in x 0.371 * [taylor]: Taking taylor expansion of 0.5 in x 0.371 * [taylor]: Taking taylor expansion of (/ eps (exp (* -1 (/ (- 1.0 (/ 1 eps)) x)))) in x 0.371 * [taylor]: Taking taylor expansion of eps in x 0.371 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))) in x 0.371 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 eps)) x)) in x 0.371 * [taylor]: Taking taylor expansion of -1 in x 0.371 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in x 0.371 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in x 0.371 * [taylor]: Taking taylor expansion of 1.0 in x 0.371 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.371 * [taylor]: Taking taylor expansion of eps in x 0.371 * [taylor]: Taking taylor expansion of x in x 0.371 * [taylor]: Taking taylor expansion of (* 0.5 (/ eps (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))))) in x 0.371 * [taylor]: Taking taylor expansion of 0.5 in x 0.371 * [taylor]: Taking taylor expansion of (/ eps (exp (* -1 (/ (+ (/ 1 eps) 1.0) x)))) in x 0.371 * [taylor]: Taking taylor expansion of eps in x 0.371 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))) in x 0.371 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 eps) 1.0) x)) in x 0.371 * [taylor]: Taking taylor expansion of -1 in x 0.371 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in x 0.371 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in x 0.371 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.371 * [taylor]: Taking taylor expansion of eps in x 0.371 * [taylor]: Taking taylor expansion of 1.0 in x 0.371 * [taylor]: Taking taylor expansion of x in x 0.372 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))))) (+ (* 0.5 (/ 1 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))))) (* 0.5 (/ eps (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))))))) (* 0.5 (/ eps (exp (* -1 (/ (+ (/ 1 eps) 1.0) x)))))) in eps 0.372 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))))) (+ (* 0.5 (/ 1 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))))) (* 0.5 (/ eps (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))))))) in eps 0.372 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))))) in eps 0.372 * [taylor]: Taking taylor expansion of 0.5 in eps 0.372 * [taylor]: Taking taylor expansion of (/ 1 (exp (* -1 (/ (- 1.0 (/ 1 eps)) x)))) in eps 0.372 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))) in eps 0.372 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 eps)) x)) in eps 0.372 * [taylor]: Taking taylor expansion of -1 in eps 0.372 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in eps 0.372 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.372 * [taylor]: Taking taylor expansion of 1.0 in eps 0.372 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.372 * [taylor]: Taking taylor expansion of eps in eps 0.372 * [taylor]: Taking taylor expansion of x in eps 0.372 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))))) (* 0.5 (/ eps (exp (* -1 (/ (- 1.0 (/ 1 eps)) x)))))) in eps 0.372 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))))) in eps 0.372 * [taylor]: Taking taylor expansion of 0.5 in eps 0.372 * [taylor]: Taking taylor expansion of (/ 1 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x)))) in eps 0.372 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))) in eps 0.372 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 eps) 1.0) x)) in eps 0.372 * [taylor]: Taking taylor expansion of -1 in eps 0.372 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in eps 0.372 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.372 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.372 * [taylor]: Taking taylor expansion of eps in eps 0.372 * [taylor]: Taking taylor expansion of 1.0 in eps 0.372 * [taylor]: Taking taylor expansion of x in eps 0.373 * [taylor]: Taking taylor expansion of (* 0.5 (/ eps (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))))) in eps 0.373 * [taylor]: Taking taylor expansion of 0.5 in eps 0.373 * [taylor]: Taking taylor expansion of (/ eps (exp (* -1 (/ (- 1.0 (/ 1 eps)) x)))) in eps 0.373 * [taylor]: Taking taylor expansion of eps in eps 0.373 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))) in eps 0.373 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 eps)) x)) in eps 0.373 * [taylor]: Taking taylor expansion of -1 in eps 0.373 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in eps 0.373 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.373 * [taylor]: Taking taylor expansion of 1.0 in eps 0.373 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.373 * [taylor]: Taking taylor expansion of eps in eps 0.373 * [taylor]: Taking taylor expansion of x in eps 0.373 * [taylor]: Taking taylor expansion of (* 0.5 (/ eps (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))))) in eps 0.373 * [taylor]: Taking taylor expansion of 0.5 in eps 0.373 * [taylor]: Taking taylor expansion of (/ eps (exp (* -1 (/ (+ (/ 1 eps) 1.0) x)))) in eps 0.373 * [taylor]: Taking taylor expansion of eps in eps 0.373 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))) in eps 0.373 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 eps) 1.0) x)) in eps 0.373 * [taylor]: Taking taylor expansion of -1 in eps 0.373 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in eps 0.373 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.373 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.373 * [taylor]: Taking taylor expansion of eps in eps 0.373 * [taylor]: Taking taylor expansion of 1.0 in eps 0.373 * [taylor]: Taking taylor expansion of x in eps 0.373 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))))) (+ (* 0.5 (/ 1 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))))) (* 0.5 (/ eps (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))))))) (* 0.5 (/ eps (exp (* -1 (/ (+ (/ 1 eps) 1.0) x)))))) in eps 0.373 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))))) (+ (* 0.5 (/ 1 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))))) (* 0.5 (/ eps (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))))))) in eps 0.373 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))))) in eps 0.373 * [taylor]: Taking taylor expansion of 0.5 in eps 0.373 * [taylor]: Taking taylor expansion of (/ 1 (exp (* -1 (/ (- 1.0 (/ 1 eps)) x)))) in eps 0.373 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))) in eps 0.373 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 eps)) x)) in eps 0.373 * [taylor]: Taking taylor expansion of -1 in eps 0.373 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in eps 0.374 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.374 * [taylor]: Taking taylor expansion of 1.0 in eps 0.374 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.374 * [taylor]: Taking taylor expansion of eps in eps 0.374 * [taylor]: Taking taylor expansion of x in eps 0.374 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))))) (* 0.5 (/ eps (exp (* -1 (/ (- 1.0 (/ 1 eps)) x)))))) in eps 0.374 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))))) in eps 0.374 * [taylor]: Taking taylor expansion of 0.5 in eps 0.374 * [taylor]: Taking taylor expansion of (/ 1 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x)))) in eps 0.374 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))) in eps 0.374 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 eps) 1.0) x)) in eps 0.374 * [taylor]: Taking taylor expansion of -1 in eps 0.374 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in eps 0.374 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.374 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.374 * [taylor]: Taking taylor expansion of eps in eps 0.374 * [taylor]: Taking taylor expansion of 1.0 in eps 0.374 * [taylor]: Taking taylor expansion of x in eps 0.374 * [taylor]: Taking taylor expansion of (* 0.5 (/ eps (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))))) in eps 0.374 * [taylor]: Taking taylor expansion of 0.5 in eps 0.374 * [taylor]: Taking taylor expansion of (/ eps (exp (* -1 (/ (- 1.0 (/ 1 eps)) x)))) in eps 0.374 * [taylor]: Taking taylor expansion of eps in eps 0.374 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))) in eps 0.374 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 eps)) x)) in eps 0.374 * [taylor]: Taking taylor expansion of -1 in eps 0.374 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in eps 0.374 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.374 * [taylor]: Taking taylor expansion of 1.0 in eps 0.374 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.374 * [taylor]: Taking taylor expansion of eps in eps 0.374 * [taylor]: Taking taylor expansion of x in eps 0.375 * [taylor]: Taking taylor expansion of (* 0.5 (/ eps (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))))) in eps 0.375 * [taylor]: Taking taylor expansion of 0.5 in eps 0.375 * [taylor]: Taking taylor expansion of (/ eps (exp (* -1 (/ (+ (/ 1 eps) 1.0) x)))) in eps 0.375 * [taylor]: Taking taylor expansion of eps in eps 0.375 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))) in eps 0.375 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 eps) 1.0) x)) in eps 0.375 * [taylor]: Taking taylor expansion of -1 in eps 0.375 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in eps 0.375 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.375 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.375 * [taylor]: Taking taylor expansion of eps in eps 0.375 * [taylor]: Taking taylor expansion of 1.0 in eps 0.375 * [taylor]: Taking taylor expansion of x in eps 0.376 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))))) (* 0.5 (/ 1 (exp (* -1 (/ (- 1.0 (/ 1 eps)) x)))))) in x 0.376 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))))) in x 0.376 * [taylor]: Taking taylor expansion of 0.5 in x 0.376 * [taylor]: Taking taylor expansion of (/ 1 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x)))) in x 0.376 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))) in x 0.376 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 eps) 1.0) x)) in x 0.376 * [taylor]: Taking taylor expansion of -1 in x 0.376 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in x 0.376 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in x 0.376 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.376 * [taylor]: Taking taylor expansion of eps in x 0.376 * [taylor]: Taking taylor expansion of 1.0 in x 0.376 * [taylor]: Taking taylor expansion of x in x 0.376 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))))) in x 0.376 * [taylor]: Taking taylor expansion of 0.5 in x 0.376 * [taylor]: Taking taylor expansion of (/ 1 (exp (* -1 (/ (- 1.0 (/ 1 eps)) x)))) in x 0.376 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))) in x 0.376 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 eps)) x)) in x 0.376 * [taylor]: Taking taylor expansion of -1 in x 0.376 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in x 0.376 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in x 0.376 * [taylor]: Taking taylor expansion of 1.0 in x 0.376 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.376 * [taylor]: Taking taylor expansion of eps in x 0.376 * [taylor]: Taking taylor expansion of x in x 0.378 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))))) (* 0.5 (/ 1 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x)))))) in x 0.378 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))))) in x 0.378 * [taylor]: Taking taylor expansion of 0.5 in x 0.378 * [taylor]: Taking taylor expansion of (/ 1 (exp (* -1 (/ (- 1.0 (/ 1 eps)) x)))) in x 0.378 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))) in x 0.378 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 eps)) x)) in x 0.378 * [taylor]: Taking taylor expansion of -1 in x 0.378 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in x 0.378 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in x 0.378 * [taylor]: Taking taylor expansion of 1.0 in x 0.378 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.378 * [taylor]: Taking taylor expansion of eps in x 0.378 * [taylor]: Taking taylor expansion of x in x 0.378 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))))) in x 0.378 * [taylor]: Taking taylor expansion of 0.5 in x 0.378 * [taylor]: Taking taylor expansion of (/ 1 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x)))) in x 0.378 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))) in x 0.378 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 eps) 1.0) x)) in x 0.378 * [taylor]: Taking taylor expansion of -1 in x 0.378 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in x 0.378 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in x 0.378 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.378 * [taylor]: Taking taylor expansion of eps in x 0.378 * [taylor]: Taking taylor expansion of 1.0 in x 0.378 * [taylor]: Taking taylor expansion of x in x 0.381 * [taylor]: Taking taylor expansion of 0 in x 0.383 * [taylor]: Taking taylor expansion of 0 in x 0.384 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 0.384 * [approximate]: Taking taylor expansion of (exp (* x (+ eps 1.0))) in (eps x) around 0 0.384 * [taylor]: Taking taylor expansion of (exp (* x (+ eps 1.0))) in x 0.384 * [taylor]: Taking taylor expansion of (* x (+ eps 1.0)) in x 0.384 * [taylor]: Taking taylor expansion of x in x 0.384 * [taylor]: Taking taylor expansion of (+ eps 1.0) in x 0.384 * [taylor]: Taking taylor expansion of eps in x 0.384 * [taylor]: Taking taylor expansion of 1.0 in x 0.384 * [taylor]: Taking taylor expansion of (exp (* x (+ eps 1.0))) in eps 0.384 * [taylor]: Taking taylor expansion of (* x (+ eps 1.0)) in eps 0.384 * [taylor]: Taking taylor expansion of x in eps 0.384 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 0.384 * [taylor]: Taking taylor expansion of eps in eps 0.384 * [taylor]: Taking taylor expansion of 1.0 in eps 0.384 * [taylor]: Taking taylor expansion of (exp (* x (+ eps 1.0))) in eps 0.384 * [taylor]: Taking taylor expansion of (* x (+ eps 1.0)) in eps 0.384 * [taylor]: Taking taylor expansion of x in eps 0.384 * [taylor]: Taking taylor expansion of (+ eps 1.0) in eps 0.384 * [taylor]: Taking taylor expansion of eps in eps 0.384 * [taylor]: Taking taylor expansion of 1.0 in eps 0.384 * [taylor]: Taking taylor expansion of (exp (* 1.0 x)) in x 0.384 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.384 * [taylor]: Taking taylor expansion of 1.0 in x 0.384 * [taylor]: Taking taylor expansion of x in x 0.384 * [taylor]: Taking taylor expansion of (* x (exp (* 1.0 x))) in x 0.384 * [taylor]: Taking taylor expansion of x in x 0.384 * [taylor]: Taking taylor expansion of (exp (* 1.0 x)) in x 0.385 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.385 * [taylor]: Taking taylor expansion of 1.0 in x 0.385 * [taylor]: Taking taylor expansion of x in x 0.385 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow x 2) (exp (* 1.0 x)))) in x 0.385 * [taylor]: Taking taylor expansion of 1/2 in x 0.385 * [taylor]: Taking taylor expansion of (* (pow x 2) (exp (* 1.0 x))) in x 0.385 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.385 * [taylor]: Taking taylor expansion of x in x 0.385 * [taylor]: Taking taylor expansion of (exp (* 1.0 x)) in x 0.385 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.385 * [taylor]: Taking taylor expansion of 1.0 in x 0.385 * [taylor]: Taking taylor expansion of x in x 0.385 * [approximate]: Taking taylor expansion of (exp (/ (+ (/ 1 eps) 1.0) x)) in (eps x) around 0 0.385 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 eps) 1.0) x)) in x 0.385 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in x 0.385 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in x 0.385 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.385 * [taylor]: Taking taylor expansion of eps in x 0.385 * [taylor]: Taking taylor expansion of 1.0 in x 0.385 * [taylor]: Taking taylor expansion of x in x 0.386 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 eps) 1.0) x)) in eps 0.386 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in eps 0.386 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.386 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.386 * [taylor]: Taking taylor expansion of eps in eps 0.386 * [taylor]: Taking taylor expansion of 1.0 in eps 0.386 * [taylor]: Taking taylor expansion of x in eps 0.386 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 eps) 1.0) x)) in eps 0.386 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in eps 0.386 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.386 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.386 * [taylor]: Taking taylor expansion of eps in eps 0.386 * [taylor]: Taking taylor expansion of 1.0 in eps 0.386 * [taylor]: Taking taylor expansion of x in eps 0.386 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 eps) 1.0) x)) in x 0.386 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in x 0.386 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in x 0.386 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.386 * [taylor]: Taking taylor expansion of eps in x 0.386 * [taylor]: Taking taylor expansion of 1.0 in x 0.386 * [taylor]: Taking taylor expansion of x in x 0.386 * [taylor]: Taking taylor expansion of 0 in x 0.386 * [taylor]: Taking taylor expansion of 0 in x 0.386 * [taylor]: Taking taylor expansion of 0 in x 0.387 * [approximate]: Taking taylor expansion of (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))) in (eps x) around 0 0.387 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))) in x 0.387 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 eps)) x)) in x 0.387 * [taylor]: Taking taylor expansion of -1 in x 0.387 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in x 0.387 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in x 0.387 * [taylor]: Taking taylor expansion of 1.0 in x 0.387 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.387 * [taylor]: Taking taylor expansion of eps in x 0.387 * [taylor]: Taking taylor expansion of x in x 0.387 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))) in eps 0.387 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 eps)) x)) in eps 0.387 * [taylor]: Taking taylor expansion of -1 in eps 0.387 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in eps 0.387 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.387 * [taylor]: Taking taylor expansion of 1.0 in eps 0.387 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.387 * [taylor]: Taking taylor expansion of eps in eps 0.387 * [taylor]: Taking taylor expansion of x in eps 0.387 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))) in eps 0.387 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 eps)) x)) in eps 0.387 * [taylor]: Taking taylor expansion of -1 in eps 0.387 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in eps 0.387 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.387 * [taylor]: Taking taylor expansion of 1.0 in eps 0.387 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.387 * [taylor]: Taking taylor expansion of eps in eps 0.387 * [taylor]: Taking taylor expansion of x in eps 0.387 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- 1.0 (/ 1 eps)) x))) in x 0.387 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 eps)) x)) in x 0.387 * [taylor]: Taking taylor expansion of -1 in x 0.387 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in x 0.388 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in x 0.388 * [taylor]: Taking taylor expansion of 1.0 in x 0.388 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.388 * [taylor]: Taking taylor expansion of eps in x 0.388 * [taylor]: Taking taylor expansion of x in x 0.388 * [taylor]: Taking taylor expansion of 0 in x 0.388 * [taylor]: Taking taylor expansion of 0 in x 0.388 * [taylor]: Taking taylor expansion of 0 in x 0.388 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 0.388 * [approximate]: Taking taylor expansion of (exp (* x (- 1.0 eps))) in (eps x) around 0 0.388 * [taylor]: Taking taylor expansion of (exp (* x (- 1.0 eps))) in x 0.388 * [taylor]: Taking taylor expansion of (* x (- 1.0 eps)) in x 0.388 * [taylor]: Taking taylor expansion of x in x 0.388 * [taylor]: Taking taylor expansion of (- 1.0 eps) in x 0.388 * [taylor]: Taking taylor expansion of 1.0 in x 0.388 * [taylor]: Taking taylor expansion of eps in x 0.388 * [taylor]: Taking taylor expansion of (exp (* x (- 1.0 eps))) in eps 0.388 * [taylor]: Taking taylor expansion of (* x (- 1.0 eps)) in eps 0.388 * [taylor]: Taking taylor expansion of x in eps 0.388 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 0.388 * [taylor]: Taking taylor expansion of 1.0 in eps 0.388 * [taylor]: Taking taylor expansion of eps in eps 0.388 * [taylor]: Taking taylor expansion of (exp (* x (- 1.0 eps))) in eps 0.388 * [taylor]: Taking taylor expansion of (* x (- 1.0 eps)) in eps 0.388 * [taylor]: Taking taylor expansion of x in eps 0.389 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 0.389 * [taylor]: Taking taylor expansion of 1.0 in eps 0.389 * [taylor]: Taking taylor expansion of eps in eps 0.389 * [taylor]: Taking taylor expansion of (exp (* 1.0 x)) in x 0.389 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.389 * [taylor]: Taking taylor expansion of 1.0 in x 0.389 * [taylor]: Taking taylor expansion of x in x 0.389 * [taylor]: Taking taylor expansion of (* -1 (* x (exp (* 1.0 x)))) in x 0.389 * [taylor]: Taking taylor expansion of -1 in x 0.389 * [taylor]: Taking taylor expansion of (* x (exp (* 1.0 x))) in x 0.389 * [taylor]: Taking taylor expansion of x in x 0.389 * [taylor]: Taking taylor expansion of (exp (* 1.0 x)) in x 0.389 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.389 * [taylor]: Taking taylor expansion of 1.0 in x 0.389 * [taylor]: Taking taylor expansion of x in x 0.389 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow x 2) (exp (* 1.0 x)))) in x 0.389 * [taylor]: Taking taylor expansion of 1/2 in x 0.389 * [taylor]: Taking taylor expansion of (* (pow x 2) (exp (* 1.0 x))) in x 0.389 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.389 * [taylor]: Taking taylor expansion of x in x 0.389 * [taylor]: Taking taylor expansion of (exp (* 1.0 x)) in x 0.389 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.390 * [taylor]: Taking taylor expansion of 1.0 in x 0.390 * [taylor]: Taking taylor expansion of x in x 0.390 * [approximate]: Taking taylor expansion of (exp (/ (- 1.0 (/ 1 eps)) x)) in (eps x) around 0 0.390 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (/ 1 eps)) x)) in x 0.390 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in x 0.390 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in x 0.390 * [taylor]: Taking taylor expansion of 1.0 in x 0.390 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.390 * [taylor]: Taking taylor expansion of eps in x 0.390 * [taylor]: Taking taylor expansion of x in x 0.390 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (/ 1 eps)) x)) in eps 0.390 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in eps 0.390 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.390 * [taylor]: Taking taylor expansion of 1.0 in eps 0.390 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.390 * [taylor]: Taking taylor expansion of eps in eps 0.390 * [taylor]: Taking taylor expansion of x in eps 0.390 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (/ 1 eps)) x)) in eps 0.390 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in eps 0.390 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.390 * [taylor]: Taking taylor expansion of 1.0 in eps 0.390 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.390 * [taylor]: Taking taylor expansion of eps in eps 0.390 * [taylor]: Taking taylor expansion of x in eps 0.391 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (/ 1 eps)) x)) in x 0.391 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in x 0.391 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in x 0.391 * [taylor]: Taking taylor expansion of 1.0 in x 0.391 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.391 * [taylor]: Taking taylor expansion of eps in x 0.391 * [taylor]: Taking taylor expansion of x in x 0.391 * [taylor]: Taking taylor expansion of 0 in x 0.391 * [taylor]: Taking taylor expansion of 0 in x 0.391 * [taylor]: Taking taylor expansion of 0 in x 0.391 * [approximate]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))) in (eps x) around 0 0.391 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))) in x 0.391 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 eps) 1.0) x)) in x 0.391 * [taylor]: Taking taylor expansion of -1 in x 0.391 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in x 0.391 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in x 0.391 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.391 * [taylor]: Taking taylor expansion of eps in x 0.391 * [taylor]: Taking taylor expansion of 1.0 in x 0.391 * [taylor]: Taking taylor expansion of x in x 0.391 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))) in eps 0.391 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 eps) 1.0) x)) in eps 0.391 * [taylor]: Taking taylor expansion of -1 in eps 0.391 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in eps 0.391 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.392 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.392 * [taylor]: Taking taylor expansion of eps in eps 0.392 * [taylor]: Taking taylor expansion of 1.0 in eps 0.392 * [taylor]: Taking taylor expansion of x in eps 0.392 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))) in eps 0.392 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 eps) 1.0) x)) in eps 0.392 * [taylor]: Taking taylor expansion of -1 in eps 0.392 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in eps 0.392 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.392 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.392 * [taylor]: Taking taylor expansion of eps in eps 0.392 * [taylor]: Taking taylor expansion of 1.0 in eps 0.392 * [taylor]: Taking taylor expansion of x in eps 0.392 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))) in x 0.392 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 eps) 1.0) x)) in x 0.392 * [taylor]: Taking taylor expansion of -1 in x 0.392 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in x 0.392 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in x 0.392 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.392 * [taylor]: Taking taylor expansion of eps in x 0.392 * [taylor]: Taking taylor expansion of 1.0 in x 0.392 * [taylor]: Taking taylor expansion of x in x 0.392 * [taylor]: Taking taylor expansion of 0 in x 0.392 * [taylor]: Taking taylor expansion of 0 in x 0.392 * [taylor]: Taking taylor expansion of 0 in x 0.393 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 0.393 * [approximate]: Taking taylor expansion of (/ (+ (* 1.0 (/ 1 eps)) 1.0) (exp (* x (- 1.0 eps)))) in (eps x) around 0 0.393 * [taylor]: Taking taylor expansion of (/ (+ (* 1.0 (/ 1 eps)) 1.0) (exp (* x (- 1.0 eps)))) in x 0.393 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 eps)) 1.0) in x 0.393 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 eps)) in x 0.393 * [taylor]: Taking taylor expansion of 1.0 in x 0.393 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.393 * [taylor]: Taking taylor expansion of eps in x 0.393 * [taylor]: Taking taylor expansion of 1.0 in x 0.393 * [taylor]: Taking taylor expansion of (exp (* x (- 1.0 eps))) in x 0.393 * [taylor]: Taking taylor expansion of (* x (- 1.0 eps)) in x 0.393 * [taylor]: Taking taylor expansion of x in x 0.393 * [taylor]: Taking taylor expansion of (- 1.0 eps) in x 0.393 * [taylor]: Taking taylor expansion of 1.0 in x 0.393 * [taylor]: Taking taylor expansion of eps in x 0.393 * [taylor]: Taking taylor expansion of (/ (+ (* 1.0 (/ 1 eps)) 1.0) (exp (* x (- 1.0 eps)))) in eps 0.393 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 eps)) 1.0) in eps 0.393 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 eps)) in eps 0.393 * [taylor]: Taking taylor expansion of 1.0 in eps 0.393 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.393 * [taylor]: Taking taylor expansion of eps in eps 0.393 * [taylor]: Taking taylor expansion of 1.0 in eps 0.393 * [taylor]: Taking taylor expansion of (exp (* x (- 1.0 eps))) in eps 0.393 * [taylor]: Taking taylor expansion of (* x (- 1.0 eps)) in eps 0.393 * [taylor]: Taking taylor expansion of x in eps 0.393 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 0.393 * [taylor]: Taking taylor expansion of 1.0 in eps 0.393 * [taylor]: Taking taylor expansion of eps in eps 0.393 * [taylor]: Taking taylor expansion of (/ (+ (* 1.0 (/ 1 eps)) 1.0) (exp (* x (- 1.0 eps)))) in eps 0.393 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 eps)) 1.0) in eps 0.393 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 eps)) in eps 0.393 * [taylor]: Taking taylor expansion of 1.0 in eps 0.393 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.393 * [taylor]: Taking taylor expansion of eps in eps 0.394 * [taylor]: Taking taylor expansion of 1.0 in eps 0.394 * [taylor]: Taking taylor expansion of (exp (* x (- 1.0 eps))) in eps 0.394 * [taylor]: Taking taylor expansion of (* x (- 1.0 eps)) in eps 0.394 * [taylor]: Taking taylor expansion of x in eps 0.394 * [taylor]: Taking taylor expansion of (- 1.0 eps) in eps 0.394 * [taylor]: Taking taylor expansion of 1.0 in eps 0.394 * [taylor]: Taking taylor expansion of eps in eps 0.394 * [taylor]: Taking taylor expansion of (/ 1.0 (exp (* 1.0 x))) in x 0.394 * [taylor]: Taking taylor expansion of 1.0 in x 0.394 * [taylor]: Taking taylor expansion of (exp (* 1.0 x)) in x 0.394 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.394 * [taylor]: Taking taylor expansion of 1.0 in x 0.394 * [taylor]: Taking taylor expansion of x in x 0.394 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (exp (* 1.0 x)))) (* 1.0 (/ x (exp (* 1.0 x))))) in x 0.394 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (* 1.0 x)))) in x 0.394 * [taylor]: Taking taylor expansion of 1.0 in x 0.394 * [taylor]: Taking taylor expansion of (/ 1 (exp (* 1.0 x))) in x 0.394 * [taylor]: Taking taylor expansion of (exp (* 1.0 x)) in x 0.394 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.394 * [taylor]: Taking taylor expansion of 1.0 in x 0.394 * [taylor]: Taking taylor expansion of x in x 0.394 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (exp (* 1.0 x)))) in x 0.394 * [taylor]: Taking taylor expansion of 1.0 in x 0.394 * [taylor]: Taking taylor expansion of (/ x (exp (* 1.0 x))) in x 0.395 * [taylor]: Taking taylor expansion of x in x 0.395 * [taylor]: Taking taylor expansion of (exp (* 1.0 x)) in x 0.395 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.395 * [taylor]: Taking taylor expansion of 1.0 in x 0.395 * [taylor]: Taking taylor expansion of x in x 0.395 * [approximate]: Taking taylor expansion of (/ (+ (* 1.0 eps) 1.0) (exp (/ (- 1.0 (/ 1 eps)) x))) in (eps x) around 0 0.395 * [taylor]: Taking taylor expansion of (/ (+ (* 1.0 eps) 1.0) (exp (/ (- 1.0 (/ 1 eps)) x))) in x 0.395 * [taylor]: Taking taylor expansion of (+ (* 1.0 eps) 1.0) in x 0.395 * [taylor]: Taking taylor expansion of (* 1.0 eps) in x 0.395 * [taylor]: Taking taylor expansion of 1.0 in x 0.395 * [taylor]: Taking taylor expansion of eps in x 0.395 * [taylor]: Taking taylor expansion of 1.0 in x 0.395 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (/ 1 eps)) x)) in x 0.395 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in x 0.395 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in x 0.395 * [taylor]: Taking taylor expansion of 1.0 in x 0.395 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.395 * [taylor]: Taking taylor expansion of eps in x 0.395 * [taylor]: Taking taylor expansion of x in x 0.395 * [taylor]: Taking taylor expansion of (/ (+ (* 1.0 eps) 1.0) (exp (/ (- 1.0 (/ 1 eps)) x))) in eps 0.395 * [taylor]: Taking taylor expansion of (+ (* 1.0 eps) 1.0) in eps 0.395 * [taylor]: Taking taylor expansion of (* 1.0 eps) in eps 0.396 * [taylor]: Taking taylor expansion of 1.0 in eps 0.396 * [taylor]: Taking taylor expansion of eps in eps 0.396 * [taylor]: Taking taylor expansion of 1.0 in eps 0.396 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (/ 1 eps)) x)) in eps 0.396 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in eps 0.396 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.396 * [taylor]: Taking taylor expansion of 1.0 in eps 0.396 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.396 * [taylor]: Taking taylor expansion of eps in eps 0.396 * [taylor]: Taking taylor expansion of x in eps 0.396 * [taylor]: Taking taylor expansion of (/ (+ (* 1.0 eps) 1.0) (exp (/ (- 1.0 (/ 1 eps)) x))) in eps 0.396 * [taylor]: Taking taylor expansion of (+ (* 1.0 eps) 1.0) in eps 0.396 * [taylor]: Taking taylor expansion of (* 1.0 eps) in eps 0.396 * [taylor]: Taking taylor expansion of 1.0 in eps 0.396 * [taylor]: Taking taylor expansion of eps in eps 0.396 * [taylor]: Taking taylor expansion of 1.0 in eps 0.396 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (/ 1 eps)) x)) in eps 0.396 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in eps 0.396 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in eps 0.396 * [taylor]: Taking taylor expansion of 1.0 in eps 0.396 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.396 * [taylor]: Taking taylor expansion of eps in eps 0.396 * [taylor]: Taking taylor expansion of x in eps 0.396 * [taylor]: Taking taylor expansion of (/ 1.0 (exp (/ (- 1.0 (/ 1 eps)) x))) in x 0.396 * [taylor]: Taking taylor expansion of 1.0 in x 0.396 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (/ 1 eps)) x)) in x 0.396 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in x 0.396 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in x 0.396 * [taylor]: Taking taylor expansion of 1.0 in x 0.396 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.396 * [taylor]: Taking taylor expansion of eps in x 0.396 * [taylor]: Taking taylor expansion of x in x 0.397 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ (- 1.0 (/ 1 eps)) x)))) in x 0.397 * [taylor]: Taking taylor expansion of 1.0 in x 0.397 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ (- 1.0 (/ 1 eps)) x))) in x 0.397 * [taylor]: Taking taylor expansion of (exp (/ (- 1.0 (/ 1 eps)) x)) in x 0.397 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 eps)) x) in x 0.397 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 eps)) in x 0.397 * [taylor]: Taking taylor expansion of 1.0 in x 0.397 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.397 * [taylor]: Taking taylor expansion of eps in x 0.397 * [taylor]: Taking taylor expansion of x in x 0.398 * [taylor]: Taking taylor expansion of 0 in x 0.399 * [taylor]: Taking taylor expansion of 0 in x 0.399 * [approximate]: Taking taylor expansion of (/ (- 1.0 (* 1.0 eps)) (exp (* -1 (/ (+ (/ 1 eps) 1.0) x)))) in (eps x) around 0 0.399 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 1.0 eps)) (exp (* -1 (/ (+ (/ 1 eps) 1.0) x)))) in x 0.399 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 eps)) in x 0.399 * [taylor]: Taking taylor expansion of 1.0 in x 0.399 * [taylor]: Taking taylor expansion of (* 1.0 eps) in x 0.399 * [taylor]: Taking taylor expansion of 1.0 in x 0.399 * [taylor]: Taking taylor expansion of eps in x 0.399 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))) in x 0.399 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 eps) 1.0) x)) in x 0.399 * [taylor]: Taking taylor expansion of -1 in x 0.399 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in x 0.399 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in x 0.399 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.399 * [taylor]: Taking taylor expansion of eps in x 0.399 * [taylor]: Taking taylor expansion of 1.0 in x 0.399 * [taylor]: Taking taylor expansion of x in x 0.399 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 1.0 eps)) (exp (* -1 (/ (+ (/ 1 eps) 1.0) x)))) in eps 0.399 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 eps)) in eps 0.399 * [taylor]: Taking taylor expansion of 1.0 in eps 0.399 * [taylor]: Taking taylor expansion of (* 1.0 eps) in eps 0.399 * [taylor]: Taking taylor expansion of 1.0 in eps 0.399 * [taylor]: Taking taylor expansion of eps in eps 0.400 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))) in eps 0.400 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 eps) 1.0) x)) in eps 0.400 * [taylor]: Taking taylor expansion of -1 in eps 0.400 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in eps 0.400 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.400 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.400 * [taylor]: Taking taylor expansion of eps in eps 0.400 * [taylor]: Taking taylor expansion of 1.0 in eps 0.400 * [taylor]: Taking taylor expansion of x in eps 0.400 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 1.0 eps)) (exp (* -1 (/ (+ (/ 1 eps) 1.0) x)))) in eps 0.400 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 eps)) in eps 0.400 * [taylor]: Taking taylor expansion of 1.0 in eps 0.400 * [taylor]: Taking taylor expansion of (* 1.0 eps) in eps 0.400 * [taylor]: Taking taylor expansion of 1.0 in eps 0.400 * [taylor]: Taking taylor expansion of eps in eps 0.400 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))) in eps 0.400 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 eps) 1.0) x)) in eps 0.400 * [taylor]: Taking taylor expansion of -1 in eps 0.400 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in eps 0.400 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in eps 0.400 * [taylor]: Taking taylor expansion of (/ 1 eps) in eps 0.400 * [taylor]: Taking taylor expansion of eps in eps 0.400 * [taylor]: Taking taylor expansion of 1.0 in eps 0.400 * [taylor]: Taking taylor expansion of x in eps 0.400 * [taylor]: Taking taylor expansion of (/ 1.0 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x)))) in x 0.400 * [taylor]: Taking taylor expansion of 1.0 in x 0.400 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))) in x 0.400 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 eps) 1.0) x)) in x 0.400 * [taylor]: Taking taylor expansion of -1 in x 0.400 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in x 0.400 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in x 0.400 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.400 * [taylor]: Taking taylor expansion of eps in x 0.400 * [taylor]: Taking taylor expansion of 1.0 in x 0.401 * [taylor]: Taking taylor expansion of x in x 0.401 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x)))))) in x 0.401 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))))) in x 0.401 * [taylor]: Taking taylor expansion of 1.0 in x 0.401 * [taylor]: Taking taylor expansion of (/ 1 (exp (* -1 (/ (+ (/ 1 eps) 1.0) x)))) in x 0.401 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 eps) 1.0) x))) in x 0.401 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 eps) 1.0) x)) in x 0.401 * [taylor]: Taking taylor expansion of -1 in x 0.401 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 eps) 1.0) x) in x 0.401 * [taylor]: Taking taylor expansion of (+ (/ 1 eps) 1.0) in x 0.401 * [taylor]: Taking taylor expansion of (/ 1 eps) in x 0.401 * [taylor]: Taking taylor expansion of eps in x 0.401 * [taylor]: Taking taylor expansion of 1.0 in x 0.401 * [taylor]: Taking taylor expansion of x in x 0.402 * [taylor]: Taking taylor expansion of 0 in x 0.403 * [taylor]: Taking taylor expansion of 0 in x 0.403 * * * [progress]: simplifying candidates 0.405 * [simplify]: Simplifying using # : (/ (exp (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0)) (exp (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (log (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (exp (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (* (cbrt (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (cbrt (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0)))) (cbrt (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (* (* (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0)) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (sqrt (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (sqrt (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (- (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x)))) (- (* (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (* 2.0 (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))))) (* 2.0 2.0) (- (pow (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) 3) (pow (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0) 3)) (+ (* (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0)) (+ (* (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0)) (* (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0)))) (neg (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0)) (- (* (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0)) (* (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (+ (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0)) (+ (sqrt (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0)) (sqrt (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (- (sqrt (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0)) (sqrt (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (+ (sqrt (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0)) (/ (sqrt (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x)))) (sqrt 2.0))) (- (sqrt (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0)) (/ (sqrt (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x)))) (sqrt 2.0))) (+ (sqrt (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0)) (/ (/ (sqrt (- (/ 1.0 eps) 1.0)) (sqrt (exp (* (+ 1.0 eps) x)))) (sqrt 2.0))) (- (sqrt (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0)) (/ (/ (sqrt (- (/ 1.0 eps) 1.0)) (sqrt (exp (* (+ 1.0 eps) x)))) (sqrt 2.0))) (+ (/ (sqrt (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x)))) (sqrt 2.0)) (sqrt (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (- (/ (sqrt (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x)))) (sqrt 2.0)) (sqrt (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (+ (/ (sqrt (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x)))) (sqrt 2.0)) (/ (sqrt (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x)))) (sqrt 2.0))) (- (/ (sqrt (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x)))) (sqrt 2.0)) (/ (sqrt (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x)))) (sqrt 2.0))) (+ (/ (sqrt (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x)))) (sqrt 2.0)) (/ (/ (sqrt (- (/ 1.0 eps) 1.0)) (sqrt (exp (* (+ 1.0 eps) x)))) (sqrt 2.0))) (- (/ (sqrt (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x)))) (sqrt 2.0)) (/ (/ (sqrt (- (/ 1.0 eps) 1.0)) (sqrt (exp (* (+ 1.0 eps) x)))) (sqrt 2.0))) (+ (/ (/ (sqrt (+ 1.0 (/ 1.0 eps))) (sqrt (exp (* (- 1.0 eps) x)))) (sqrt 2.0)) (sqrt (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (- (/ (/ (sqrt (+ 1.0 (/ 1.0 eps))) (sqrt (exp (* (- 1.0 eps) x)))) (sqrt 2.0)) (sqrt (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (+ (/ (/ (sqrt (+ 1.0 (/ 1.0 eps))) (sqrt (exp (* (- 1.0 eps) x)))) (sqrt 2.0)) (/ (sqrt (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x)))) (sqrt 2.0))) (- (/ (/ (sqrt (+ 1.0 (/ 1.0 eps))) (sqrt (exp (* (- 1.0 eps) x)))) (sqrt 2.0)) (/ (sqrt (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x)))) (sqrt 2.0))) (+ (/ (/ (sqrt (+ 1.0 (/ 1.0 eps))) (sqrt (exp (* (- 1.0 eps) x)))) (sqrt 2.0)) (/ (/ (sqrt (- (/ 1.0 eps) 1.0)) (sqrt (exp (* (+ 1.0 eps) x)))) (sqrt 2.0))) (- (/ (/ (sqrt (+ 1.0 (/ 1.0 eps))) (sqrt (exp (* (- 1.0 eps) x)))) (sqrt 2.0)) (/ (/ (sqrt (- (/ 1.0 eps) 1.0)) (sqrt (exp (* (+ 1.0 eps) x)))) (sqrt 2.0))) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (cbrt 2.0)) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) (cbrt 2.0))) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (cbrt 2.0)) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) (cbrt 2.0))) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (sqrt 2.0)) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) (sqrt 2.0))) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (sqrt 2.0)) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) (sqrt 2.0))) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0)) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0)) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (cbrt 2.0)) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) (cbrt 2.0))) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (cbrt 2.0)) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) (cbrt 2.0))) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (sqrt 2.0)) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) (sqrt 2.0))) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (sqrt 2.0)) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) (sqrt 2.0))) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0)) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0)) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (cbrt 2.0)) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) (cbrt 2.0))) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (sqrt 2.0)) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) (sqrt 2.0))) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0)) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0)) (- (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x)))) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (/ 1.0 eps) (exp (* (+ 1.0 eps) x))) 2.0)) (neg (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0)) (exp (+ 1.0 eps)) (log (exp (* (+ 1.0 eps) x))) (exp (exp (* (+ 1.0 eps) x))) (* (cbrt (exp (* (+ 1.0 eps) x))) (cbrt (exp (* (+ 1.0 eps) x)))) (cbrt (exp (* (+ 1.0 eps) x))) (* (* (exp (* (+ 1.0 eps) x)) (exp (* (+ 1.0 eps) x))) (exp (* (+ 1.0 eps) x))) (sqrt (exp (* (+ 1.0 eps) x))) (sqrt (exp (* (+ 1.0 eps) x))) (exp (- 1.0 eps)) (log (exp (* (- 1.0 eps) x))) (exp (exp (* (- 1.0 eps) x))) (* (cbrt (exp (* (- 1.0 eps) x))) (cbrt (exp (* (- 1.0 eps) x)))) (cbrt (exp (* (- 1.0 eps) x))) (* (* (exp (* (- 1.0 eps) x)) (exp (* (- 1.0 eps) x))) (exp (* (- 1.0 eps) x))) (sqrt (exp (* (- 1.0 eps) x))) (sqrt (exp (* (- 1.0 eps) x))) (- (log (+ 1.0 (/ 1.0 eps))) (* (- 1.0 eps) x)) (log (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x)))) (exp (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x)))) (/ (* (* (+ 1.0 (/ 1.0 eps)) (+ 1.0 (/ 1.0 eps))) (+ 1.0 (/ 1.0 eps))) (* (* (exp (* (- 1.0 eps) x)) (exp (* (- 1.0 eps) x))) (exp (* (- 1.0 eps) x)))) (* (cbrt (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x)))) (cbrt (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))))) (cbrt (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x)))) (* (* (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x)))) (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x)))) (sqrt (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x)))) (sqrt (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x)))) (neg (+ 1.0 (/ 1.0 eps))) (neg (exp (* (- 1.0 eps) x))) (/ (* (cbrt (+ 1.0 (/ 1.0 eps))) (cbrt (+ 1.0 (/ 1.0 eps)))) (* (cbrt (exp (* (- 1.0 eps) x))) (cbrt (exp (* (- 1.0 eps) x))))) (/ (cbrt (+ 1.0 (/ 1.0 eps))) (cbrt (exp (* (- 1.0 eps) x)))) (/ (* (cbrt (+ 1.0 (/ 1.0 eps))) (cbrt (+ 1.0 (/ 1.0 eps)))) (sqrt (exp (* (- 1.0 eps) x)))) (/ (cbrt (+ 1.0 (/ 1.0 eps))) (sqrt (exp (* (- 1.0 eps) x)))) (/ (* (cbrt (+ 1.0 (/ 1.0 eps))) (cbrt (+ 1.0 (/ 1.0 eps)))) 1) (/ (cbrt (+ 1.0 (/ 1.0 eps))) (exp (* (- 1.0 eps) x))) (/ (sqrt (+ 1.0 (/ 1.0 eps))) (* (cbrt (exp (* (- 1.0 eps) x))) (cbrt (exp (* (- 1.0 eps) x))))) (/ (sqrt (+ 1.0 (/ 1.0 eps))) (cbrt (exp (* (- 1.0 eps) x)))) (/ (sqrt (+ 1.0 (/ 1.0 eps))) (sqrt (exp (* (- 1.0 eps) x)))) (/ (sqrt (+ 1.0 (/ 1.0 eps))) (sqrt (exp (* (- 1.0 eps) x)))) (/ (sqrt (+ 1.0 (/ 1.0 eps))) 1) (/ (sqrt (+ 1.0 (/ 1.0 eps))) (exp (* (- 1.0 eps) x))) (/ 1 (* (cbrt (exp (* (- 1.0 eps) x))) (cbrt (exp (* (- 1.0 eps) x))))) (/ (+ 1.0 (/ 1.0 eps)) (cbrt (exp (* (- 1.0 eps) x)))) (/ 1 (sqrt (exp (* (- 1.0 eps) x)))) (/ (+ 1.0 (/ 1.0 eps)) (sqrt (exp (* (- 1.0 eps) x)))) (/ 1 1) (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (/ 1 (* (cbrt (exp (* (- 1.0 eps) x))) (cbrt (exp (* (- 1.0 eps) x))))) (/ (+ 1.0 (/ 1.0 eps)) (cbrt (exp (* (- 1.0 eps) x)))) (/ 1 (sqrt (exp (* (- 1.0 eps) x)))) (/ (+ 1.0 (/ 1.0 eps)) (sqrt (exp (* (- 1.0 eps) x)))) (/ 1 1) (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (/ 1 (exp (* (- 1.0 eps) x))) (/ (exp (* (- 1.0 eps) x)) (+ 1.0 (/ 1.0 eps))) (/ (+ 1.0 (/ 1.0 eps)) (* (cbrt (exp (* (- 1.0 eps) x))) (cbrt (exp (* (- 1.0 eps) x))))) (/ (+ 1.0 (/ 1.0 eps)) (sqrt (exp (* (- 1.0 eps) x)))) (/ (+ 1.0 (/ 1.0 eps)) 1) (/ (exp (* (- 1.0 eps) x)) (cbrt (+ 1.0 (/ 1.0 eps)))) (/ (exp (* (- 1.0 eps) x)) (sqrt (+ 1.0 (/ 1.0 eps)))) (/ (exp (* (- 1.0 eps) x)) (+ 1.0 (/ 1.0 eps))) (/ (exp (* (- 1.0 eps) x)) (+ 1.0 (/ 1.0 eps))) (* (exp (* (- 1.0 eps) x)) (+ (* 1.0 1.0) (- (* (/ 1.0 eps) (/ 1.0 eps)) (* 1.0 (/ 1.0 eps))))) (* (exp (* (- 1.0 eps) x)) (- 1.0 (/ 1.0 eps))) (- (+ (* 0.33333333333333337 (pow x 3)) 1.0) (* 0.5 (pow x 2))) (- (+ (* 0.5 (/ 1 (* eps (exp (* x (- 1.0 eps)))))) (+ (* 0.5 (/ 1 (exp (* x (+ eps 1.0))))) (* 0.5 (/ 1 (exp (* x (- 1.0 eps))))))) (* 0.5 (/ 1 (* (exp (* x (+ eps 1.0))) eps)))) (- (+ (* 0.5 (/ 1 (* (exp (* x (- 1.0 eps))) eps))) (+ (* 0.5 (/ 1 (exp (* x (+ eps 1.0))))) (* 0.5 (/ 1 (exp (* x (- 1.0 eps))))))) (* 0.5 (/ 1 (* (exp (* x (+ eps 1.0))) eps)))) (+ (* x eps) (+ (* 1.0 x) 1)) (exp (* x (+ eps 1.0))) (exp (* x (+ eps 1.0))) (- (+ (* 1.0 x) 1) (* x eps)) (exp (* x (- 1.0 eps))) (exp (* x (- 1.0 eps))) (- (+ (* 1.0 (/ 1 eps)) 1.0) (* 1.0 (/ x eps))) (+ (* 1.0 (/ 1 (* (exp (* x (- 1.0 eps))) eps))) (* 1.0 (/ 1 (exp (* x (- 1.0 eps)))))) (+ (* 1.0 (/ 1 (* (exp (* x (- 1.0 eps))) eps))) (* 1.0 (/ 1 (exp (* x (- 1.0 eps)))))) 0.413 * * [simplify]: iteration 0 : 458 enodes (cost 1482 ) 0.419 * * [simplify]: iteration 1 : 1346 enodes (cost 1407 ) 0.441 * * [simplify]: iteration 2 : 5001 enodes (cost 1383 ) 0.447 * [simplify]: Simplified to: (exp (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (log (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (exp (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (* (cbrt (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (cbrt (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0)))) (cbrt (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (pow (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0)) 3) (sqrt (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (sqrt (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (- (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x)))) (* 2.0 (- (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))))) (* 2.0 2.0) (- (pow (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) 3) (pow (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0) 3)) (+ (* (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0) (+ (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0) (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0))) (* (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0))) (neg (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0)) (- (* (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0)) (* (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (+ (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0)) (+ (sqrt (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0)) (sqrt (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (- (sqrt (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0)) (sqrt (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (+ (sqrt (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0)) (/ (sqrt (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x)))) (sqrt 2.0))) (- (sqrt (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0)) (/ (sqrt (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x)))) (sqrt 2.0))) (+ (sqrt (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0)) (/ (/ (sqrt (- (/ 1.0 eps) 1.0)) (sqrt (exp (* (+ 1.0 eps) x)))) (sqrt 2.0))) (- (sqrt (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0)) (/ (/ (sqrt (- (/ 1.0 eps) 1.0)) (sqrt (exp (* (+ 1.0 eps) x)))) (sqrt 2.0))) (+ (/ (sqrt (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x)))) (sqrt 2.0)) (sqrt (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (- (/ (sqrt (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x)))) (sqrt 2.0)) (sqrt (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (+ (/ (sqrt (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x)))) (sqrt 2.0)) (/ (sqrt (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x)))) (sqrt 2.0))) (- (/ (sqrt (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x)))) (sqrt 2.0)) (/ (sqrt (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x)))) (sqrt 2.0))) (+ (/ (sqrt (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x)))) (sqrt 2.0)) (/ (/ (sqrt (- (/ 1.0 eps) 1.0)) (sqrt (exp (* (+ 1.0 eps) x)))) (sqrt 2.0))) (- (/ (sqrt (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x)))) (sqrt 2.0)) (/ (/ (sqrt (- (/ 1.0 eps) 1.0)) (sqrt (exp (* (+ 1.0 eps) x)))) (sqrt 2.0))) (+ (/ (/ (sqrt (+ 1.0 (/ 1.0 eps))) (sqrt (exp (* (- 1.0 eps) x)))) (sqrt 2.0)) (sqrt (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (- (/ (/ (sqrt (+ 1.0 (/ 1.0 eps))) (sqrt (exp (* (- 1.0 eps) x)))) (sqrt 2.0)) (sqrt (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0))) (+ (/ (/ (sqrt (+ 1.0 (/ 1.0 eps))) (sqrt (exp (* (- 1.0 eps) x)))) (sqrt 2.0)) (/ (sqrt (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x)))) (sqrt 2.0))) (- (/ (/ (sqrt (+ 1.0 (/ 1.0 eps))) (sqrt (exp (* (- 1.0 eps) x)))) (sqrt 2.0)) (/ (sqrt (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x)))) (sqrt 2.0))) (+ (/ (/ (sqrt (+ 1.0 (/ 1.0 eps))) (sqrt (exp (* (- 1.0 eps) x)))) (sqrt 2.0)) (/ (/ (sqrt (- (/ 1.0 eps) 1.0)) (sqrt (exp (* (+ 1.0 eps) x)))) (sqrt 2.0))) (- (/ (/ (sqrt (+ 1.0 (/ 1.0 eps))) (sqrt (exp (* (- 1.0 eps) x)))) (sqrt 2.0)) (/ (/ (sqrt (- (/ 1.0 eps) 1.0)) (sqrt (exp (* (+ 1.0 eps) x)))) (sqrt 2.0))) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (cbrt 2.0)) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) (cbrt 2.0))) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (cbrt 2.0)) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) (cbrt 2.0))) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (sqrt 2.0)) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) (sqrt 2.0))) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (sqrt 2.0)) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) (sqrt 2.0))) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0)) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0)) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (cbrt 2.0)) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) (cbrt 2.0))) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (cbrt 2.0)) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) (cbrt 2.0))) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (sqrt 2.0)) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) (sqrt 2.0))) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (sqrt 2.0)) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) (sqrt 2.0))) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0)) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0)) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (cbrt 2.0)) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) (cbrt 2.0))) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (sqrt 2.0)) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) (sqrt 2.0))) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0)) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0)) (- (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x)))) (- (/ (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 2.0) (/ (/ (/ 1.0 eps) (exp (* (+ 1.0 eps) x))) 2.0)) (neg (/ (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))) 2.0)) (exp (+ 1.0 eps)) (* x (+ eps 1.0)) (exp (exp (* (+ 1.0 eps) x))) (* (cbrt (exp (* (+ 1.0 eps) x))) (cbrt (exp (* (+ 1.0 eps) x)))) (cbrt (exp (* (+ 1.0 eps) x))) (pow (exp (* x (+ eps 1.0))) 3) (sqrt (exp (* (+ 1.0 eps) x))) (sqrt (exp (* (+ 1.0 eps) x))) (exp (- 1.0 eps)) (* (- 1.0 eps) x) (exp (exp (* (- 1.0 eps) x))) (* (cbrt (exp (* (- 1.0 eps) x))) (cbrt (exp (* (- 1.0 eps) x)))) (cbrt (exp (* (- 1.0 eps) x))) (pow (exp (* x (- 1.0 eps))) 3) (sqrt (exp (* (- 1.0 eps) x))) (sqrt (exp (* (- 1.0 eps) x))) (- (log (+ 1.0 (/ 1.0 eps))) (* (- 1.0 eps) x)) (- (log (+ 1.0 (/ 1.0 eps))) (* (- 1.0 eps) x)) (exp (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x)))) (pow (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 3) (* (cbrt (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x)))) (cbrt (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))))) (cbrt (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x)))) (pow (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) 3) (sqrt (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x)))) (sqrt (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x)))) (neg (+ 1.0 (/ 1.0 eps))) (neg (exp (* (- 1.0 eps) x))) (/ (* (cbrt (+ 1.0 (/ 1.0 eps))) (cbrt (+ 1.0 (/ 1.0 eps)))) (* (cbrt (exp (* (- 1.0 eps) x))) (cbrt (exp (* (- 1.0 eps) x))))) (/ (cbrt (+ 1.0 (/ 1.0 eps))) (cbrt (exp (* (- 1.0 eps) x)))) (/ (* (cbrt (+ 1.0 (/ 1.0 eps))) (cbrt (+ 1.0 (/ 1.0 eps)))) (sqrt (exp (* (- 1.0 eps) x)))) (/ (cbrt (+ 1.0 (/ 1.0 eps))) (sqrt (exp (* (- 1.0 eps) x)))) (* (cbrt (+ 1.0 (/ 1.0 eps))) (cbrt (+ 1.0 (/ 1.0 eps)))) (/ (cbrt (+ 1.0 (/ 1.0 eps))) (exp (* (- 1.0 eps) x))) (/ (sqrt (+ 1.0 (/ 1.0 eps))) (* (cbrt (exp (* (- 1.0 eps) x))) (cbrt (exp (* (- 1.0 eps) x))))) (/ (sqrt (+ 1.0 (/ 1.0 eps))) (cbrt (exp (* (- 1.0 eps) x)))) (/ (sqrt (+ 1.0 (/ 1.0 eps))) (sqrt (exp (* (- 1.0 eps) x)))) (/ (sqrt (+ 1.0 (/ 1.0 eps))) (sqrt (exp (* (- 1.0 eps) x)))) (sqrt (+ 1.0 (/ 1.0 eps))) (/ (sqrt (+ 1.0 (/ 1.0 eps))) (exp (* (- 1.0 eps) x))) (/ 1 (* (cbrt (exp (* (- 1.0 eps) x))) (cbrt (exp (* (- 1.0 eps) x))))) (/ (+ 1.0 (/ 1.0 eps)) (cbrt (exp (* (- 1.0 eps) x)))) (/ 1 (sqrt (exp (* (- 1.0 eps) x)))) (/ (+ 1.0 (/ 1.0 eps)) (sqrt (exp (* (- 1.0 eps) x)))) 1 (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (/ 1 (* (cbrt (exp (* (- 1.0 eps) x))) (cbrt (exp (* (- 1.0 eps) x))))) (/ (+ 1.0 (/ 1.0 eps)) (cbrt (exp (* (- 1.0 eps) x)))) (/ 1 (sqrt (exp (* (- 1.0 eps) x)))) (/ (+ 1.0 (/ 1.0 eps)) (sqrt (exp (* (- 1.0 eps) x)))) 1 (/ (+ 1.0 (/ 1.0 eps)) (exp (* (- 1.0 eps) x))) (/ 1 (exp (* x (- 1.0 eps)))) (/ (exp (* (- 1.0 eps) x)) (+ 1.0 (/ 1.0 eps))) (/ (+ 1.0 (/ 1.0 eps)) (* (cbrt (exp (* (- 1.0 eps) x))) (cbrt (exp (* (- 1.0 eps) x))))) (/ (+ 1.0 (/ 1.0 eps)) (sqrt (exp (* (- 1.0 eps) x)))) (+ 1.0 (/ 1.0 eps)) (/ (exp (* (- 1.0 eps) x)) (cbrt (+ 1.0 (/ 1.0 eps)))) (/ (exp (* (- 1.0 eps) x)) (sqrt (+ 1.0 (/ 1.0 eps)))) (/ (exp (* (- 1.0 eps) x)) (+ 1.0 (/ 1.0 eps))) (/ (exp (* (- 1.0 eps) x)) (+ 1.0 (/ 1.0 eps))) (* (+ (* (/ 1.0 eps) (- (/ 1.0 eps) 1.0)) (* 1.0 1.0)) (exp (* (- 1.0 eps) x))) (* (exp (* (- 1.0 eps) x)) (- 1.0 (/ 1.0 eps))) (+ 1.0 (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (+ (* (/ 1 (exp (* x (- 1.0 eps)))) (+ (/ 0.5 eps) 0.5)) (* (/ 1 (exp (* x (+ eps 1.0)))) (- 0.5 (/ 0.5 eps)))) (+ (* (/ 1 (exp (* x (- 1.0 eps)))) (+ (/ 0.5 eps) 0.5)) (* (/ 1 (exp (* x (+ eps 1.0)))) (- 0.5 (/ 0.5 eps)))) (+ (* x (+ eps 1.0)) 1) (exp (* x (+ eps 1.0))) (exp (* x (+ eps 1.0))) (+ 1 (* (- 1.0 eps) x)) (exp (* x (- 1.0 eps))) (exp (* x (- 1.0 eps))) (* 1.0 (- (+ (/ 1 eps) 1) (/ x eps))) (* (/ 1 (exp (* x (- 1.0 eps)))) (+ (/ 1.0 eps) 1.0)) (* (/ 1 (exp (* x (- 1.0 eps)))) (+ (/ 1.0 eps) 1.0)) 0.448 * * * [progress]: adding candidates to table 0.678 * * [progress]: iteration 2 / 4 0.678 * * * [progress]: picking best candidate 0.695 * * * * [pick]: Picked # 0.695 * * * [progress]: localizing error 0.701 * * * [progress]: generating rewritten candidates 0.701 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.709 * * * [progress]: generating series expansions 0.709 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.710 * [approximate]: Taking taylor expansion of (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)) in (x) around 0 0.710 * [taylor]: Taking taylor expansion of (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)) in x 0.710 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 x) 0.5) in x 0.710 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 x) in x 0.710 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 0.710 * [taylor]: Taking taylor expansion of x in x 0.710 * [taylor]: Taking taylor expansion of 0.5 in x 0.710 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.710 * [taylor]: Taking taylor expansion of x in x 0.710 * [taylor]: Taking taylor expansion of (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)) in x 0.710 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 x) 0.5) in x 0.710 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 x) in x 0.710 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 0.710 * [taylor]: Taking taylor expansion of x in x 0.710 * [taylor]: Taking taylor expansion of 0.5 in x 0.710 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.710 * [taylor]: Taking taylor expansion of x in x 0.711 * [approximate]: Taking taylor expansion of (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)) in (x) around 0 0.711 * [taylor]: Taking taylor expansion of (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)) in x 0.711 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 (/ 1 x)) 0.5) in x 0.711 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 0.711 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 0.711 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.711 * [taylor]: Taking taylor expansion of x in x 0.711 * [taylor]: Taking taylor expansion of 0.5 in x 0.712 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.712 * [taylor]: Taking taylor expansion of x in x 0.712 * [taylor]: Taking taylor expansion of (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)) in x 0.712 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 (/ 1 x)) 0.5) in x 0.712 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 0.712 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 0.712 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.712 * [taylor]: Taking taylor expansion of x in x 0.712 * [taylor]: Taking taylor expansion of 0.5 in x 0.712 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.712 * [taylor]: Taking taylor expansion of x in x 0.714 * [approximate]: Taking taylor expansion of (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))) in (x) around 0 0.714 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))) in x 0.714 * [taylor]: Taking taylor expansion of -1 in x 0.714 * [taylor]: Taking taylor expansion of (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)) in x 0.714 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.33333333333333337 (/ 1 x))) in x 0.714 * [taylor]: Taking taylor expansion of 0.5 in x 0.714 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 0.714 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 0.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.714 * [taylor]: Taking taylor expansion of x in x 0.714 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.714 * [taylor]: Taking taylor expansion of x in x 0.714 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))) in x 0.714 * [taylor]: Taking taylor expansion of -1 in x 0.714 * [taylor]: Taking taylor expansion of (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)) in x 0.714 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.33333333333333337 (/ 1 x))) in x 0.714 * [taylor]: Taking taylor expansion of 0.5 in x 0.714 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 0.714 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 0.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.714 * [taylor]: Taking taylor expansion of x in x 0.714 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.714 * [taylor]: Taking taylor expansion of x in x 0.716 * * * [progress]: simplifying candidates 0.717 * [simplify]: Simplifying using # : (+ (* (log x) 2) (log (- (* x 0.33333333333333337) 0.5))) (+ (* (log x) 2) (log (- (* x 0.33333333333333337) 0.5))) (+ (log (pow x 2)) (log (- (* x 0.33333333333333337) 0.5))) (log (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (* (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* (- (* x 0.33333333333333337) 0.5) (- (* x 0.33333333333333337) 0.5)) (- (* x 0.33333333333333337) 0.5))) (* (cbrt (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (cbrt (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))) (cbrt (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (* (* (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (sqrt (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (sqrt (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (* (pow (sqrt x) 2) (sqrt (- (* x 0.33333333333333337) 0.5))) (* (pow (sqrt x) 2) (sqrt (- (* x 0.33333333333333337) 0.5))) (* x (sqrt (- (* x 0.33333333333333337) 0.5))) (* x (sqrt (- (* x 0.33333333333333337) 0.5))) (* (sqrt (pow x 2)) (sqrt (- (* x 0.33333333333333337) 0.5))) (* (sqrt (pow x 2)) (sqrt (- (* x 0.33333333333333337) 0.5))) (* (pow x (/ 2 2)) (sqrt (- (* x 0.33333333333333337) 0.5))) (* (pow x (/ 2 2)) (sqrt (- (* x 0.33333333333333337) 0.5))) (* (pow x 2) (* x 0.33333333333333337)) (* (pow x 2) (neg 0.5)) (* (pow x 2) (* x 0.33333333333333337)) (* (pow x 2) (neg 0.5)) (* (* x 0.33333333333333337) (pow x 2)) (* (neg 0.5) (pow x 2)) (* (* x 0.33333333333333337) (pow x 2)) (* (neg 0.5) (pow x 2)) (* (pow x 2) (* (cbrt (- (* x 0.33333333333333337) 0.5)) (cbrt (- (* x 0.33333333333333337) 0.5)))) (* (pow x 2) (sqrt (- (* x 0.33333333333333337) 0.5))) (* (pow x 2) 1) (* (pow (cbrt x) 2) (- (* x 0.33333333333333337) 0.5)) (* (pow (sqrt x) 2) (- (* x 0.33333333333333337) 0.5)) (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) (* x (- (* x 0.33333333333333337) 0.5)) (* (cbrt (pow x 2)) (- (* x 0.33333333333333337) 0.5)) (* (sqrt (pow x 2)) (- (* x 0.33333333333333337) 0.5)) (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) (* (pow x (/ 2 2)) (- (* x 0.33333333333333337) 0.5)) (* (pow x 2) (- (pow (* x 0.33333333333333337) 3) (pow 0.5 3))) (* (pow x 2) (- (* (* x 0.33333333333333337) (* x 0.33333333333333337)) (* 0.5 0.5))) (- (* 0.33333333333333337 (pow x 3)) (* 0.5 (pow x 2))) (- (* 0.33333333333333337 (pow x 3)) (* 0.5 (pow x 2))) (- (* 0.33333333333333337 (pow x 3)) (* 0.5 (pow x 2))) 0.720 * * [simplify]: iteration 0 : 158 enodes (cost 214 ) 0.723 * * [simplify]: iteration 1 : 638 enodes (cost 189 ) 0.742 * * [simplify]: iteration 2 : 4553 enodes (cost 189 ) 0.873 * * [simplify]: iteration 3 : 5001 enodes (cost 189 ) 0.875 * [simplify]: Simplified to: (log (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (log (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (log (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (log (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (pow (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) 3) (* (cbrt (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (cbrt (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))) (cbrt (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (pow (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) 3) (sqrt (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (sqrt (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (* (sqrt (- (* x 0.33333333333333337) 0.5)) x) (* (sqrt (- (* x 0.33333333333333337) 0.5)) x) (* (sqrt (- (* x 0.33333333333333337) 0.5)) x) (* (sqrt (- (* x 0.33333333333333337) 0.5)) x) (* (sqrt (pow x 2)) (sqrt (- (* x 0.33333333333333337) 0.5))) (* (sqrt (pow x 2)) (sqrt (- (* x 0.33333333333333337) 0.5))) (* (sqrt (- (* x 0.33333333333333337) 0.5)) x) (* (sqrt (- (* x 0.33333333333333337) 0.5)) x) (* (pow x 3) 0.33333333333333337) (* (pow x 2) (neg 0.5)) (* (pow x 3) 0.33333333333333337) (* (pow x 2) (neg 0.5)) (* (pow x 3) 0.33333333333333337) (* (pow x 2) (neg 0.5)) (* (pow x 3) 0.33333333333333337) (* (pow x 2) (neg 0.5)) (* (pow x 2) (* (cbrt (- (* x 0.33333333333333337) 0.5)) (cbrt (- (* x 0.33333333333333337) 0.5)))) (* (pow x 2) (sqrt (- (* x 0.33333333333333337) 0.5))) (pow x 2) (* (pow (cbrt x) 2) (- (* x 0.33333333333333337) 0.5)) (* (- (* x 0.33333333333333337) 0.5) x) (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) (* (- (* x 0.33333333333333337) 0.5) x) (* (cbrt (pow x 2)) (- (* x 0.33333333333333337) 0.5)) (* (sqrt (pow x 2)) (- (* x 0.33333333333333337) 0.5)) (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) (* (- (* x 0.33333333333333337) 0.5) x) (* (pow x 2) (- (pow (* x 0.33333333333333337) 3) (pow 0.5 3))) (* (pow x 2) (- (* (* x 0.33333333333333337) (* x 0.33333333333333337)) (* 0.5 0.5))) (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) 0.875 * * * [progress]: adding candidates to table 0.915 * * [progress]: iteration 3 / 4 0.915 * * * [progress]: picking best candidate 0.930 * * * * [pick]: Picked # 0.930 * * * [progress]: localizing error 0.940 * * * [progress]: generating rewritten candidates 0.940 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.942 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1 1) 0.951 * * * [progress]: generating series expansions 0.951 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.951 * [approximate]: Taking taylor expansion of (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)) in (x) around 0 0.951 * [taylor]: Taking taylor expansion of (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)) in x 0.951 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 x) 0.5) in x 0.951 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 x) in x 0.951 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 0.951 * [taylor]: Taking taylor expansion of x in x 0.951 * [taylor]: Taking taylor expansion of 0.5 in x 0.951 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.951 * [taylor]: Taking taylor expansion of x in x 0.951 * [taylor]: Taking taylor expansion of (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)) in x 0.951 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 x) 0.5) in x 0.951 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 x) in x 0.951 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 0.951 * [taylor]: Taking taylor expansion of x in x 0.951 * [taylor]: Taking taylor expansion of 0.5 in x 0.951 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.951 * [taylor]: Taking taylor expansion of x in x 0.953 * [approximate]: Taking taylor expansion of (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)) in (x) around 0 0.953 * [taylor]: Taking taylor expansion of (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)) in x 0.953 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 (/ 1 x)) 0.5) in x 0.953 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 0.953 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 0.953 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.953 * [taylor]: Taking taylor expansion of x in x 0.953 * [taylor]: Taking taylor expansion of 0.5 in x 0.953 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.953 * [taylor]: Taking taylor expansion of x in x 0.953 * [taylor]: Taking taylor expansion of (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)) in x 0.953 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 (/ 1 x)) 0.5) in x 0.953 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 0.953 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 0.953 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.953 * [taylor]: Taking taylor expansion of x in x 0.953 * [taylor]: Taking taylor expansion of 0.5 in x 0.953 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.953 * [taylor]: Taking taylor expansion of x in x 0.955 * [approximate]: Taking taylor expansion of (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))) in (x) around 0 0.955 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))) in x 0.955 * [taylor]: Taking taylor expansion of -1 in x 0.955 * [taylor]: Taking taylor expansion of (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)) in x 0.955 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.33333333333333337 (/ 1 x))) in x 0.955 * [taylor]: Taking taylor expansion of 0.5 in x 0.955 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 0.955 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 0.955 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.956 * [taylor]: Taking taylor expansion of x in x 0.956 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.956 * [taylor]: Taking taylor expansion of x in x 0.956 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))) in x 0.956 * [taylor]: Taking taylor expansion of -1 in x 0.956 * [taylor]: Taking taylor expansion of (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)) in x 0.956 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.33333333333333337 (/ 1 x))) in x 0.956 * [taylor]: Taking taylor expansion of 0.5 in x 0.956 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 0.956 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 0.956 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.956 * [taylor]: Taking taylor expansion of x in x 0.956 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.956 * [taylor]: Taking taylor expansion of x in x 0.958 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1 1) 0.958 * [approximate]: Taking taylor expansion of (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)) in (x) around 0 0.958 * [taylor]: Taking taylor expansion of (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)) in x 0.958 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 x) 0.5) in x 0.958 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 x) in x 0.958 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 0.958 * [taylor]: Taking taylor expansion of x in x 0.958 * [taylor]: Taking taylor expansion of 0.5 in x 0.958 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.958 * [taylor]: Taking taylor expansion of x in x 0.958 * [taylor]: Taking taylor expansion of (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)) in x 0.958 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 x) 0.5) in x 0.958 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 x) in x 0.958 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 0.958 * [taylor]: Taking taylor expansion of x in x 0.958 * [taylor]: Taking taylor expansion of 0.5 in x 0.958 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.958 * [taylor]: Taking taylor expansion of x in x 0.960 * [approximate]: Taking taylor expansion of (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)) in (x) around 0 0.960 * [taylor]: Taking taylor expansion of (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)) in x 0.960 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 (/ 1 x)) 0.5) in x 0.960 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 0.960 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 0.960 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.960 * [taylor]: Taking taylor expansion of x in x 0.960 * [taylor]: Taking taylor expansion of 0.5 in x 0.960 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.960 * [taylor]: Taking taylor expansion of x in x 0.960 * [taylor]: Taking taylor expansion of (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)) in x 0.960 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 (/ 1 x)) 0.5) in x 0.960 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 0.960 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 0.960 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.960 * [taylor]: Taking taylor expansion of x in x 0.960 * [taylor]: Taking taylor expansion of 0.5 in x 0.960 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.960 * [taylor]: Taking taylor expansion of x in x 0.962 * [approximate]: Taking taylor expansion of (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))) in (x) around 0 0.962 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))) in x 0.962 * [taylor]: Taking taylor expansion of -1 in x 0.962 * [taylor]: Taking taylor expansion of (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)) in x 0.962 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.33333333333333337 (/ 1 x))) in x 0.962 * [taylor]: Taking taylor expansion of 0.5 in x 0.962 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 0.962 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 0.962 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.962 * [taylor]: Taking taylor expansion of x in x 0.962 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.962 * [taylor]: Taking taylor expansion of x in x 0.962 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))) in x 0.962 * [taylor]: Taking taylor expansion of -1 in x 0.962 * [taylor]: Taking taylor expansion of (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)) in x 0.962 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.33333333333333337 (/ 1 x))) in x 0.963 * [taylor]: Taking taylor expansion of 0.5 in x 0.963 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 0.963 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 0.963 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.963 * [taylor]: Taking taylor expansion of x in x 0.963 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.963 * [taylor]: Taking taylor expansion of x in x 0.965 * * * [progress]: simplifying candidates 0.966 * [simplify]: Simplifying using # : (log (exp (* (pow x 2) (* x 0.33333333333333337)))) (log (exp (* (pow x 2) (neg 0.5)))) (log (exp (* (pow x 2) (* x 0.33333333333333337)))) (log (exp (* (pow x 2) (neg 0.5)))) (log (exp (* (* x 0.33333333333333337) (pow x 2)))) (log (exp (* (neg 0.5) (pow x 2)))) (log (exp (* (* x 0.33333333333333337) (pow x 2)))) (log (exp (* (neg 0.5) (pow x 2)))) (log (* (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))) (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (log (sqrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (log (sqrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (log 1) (log (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))) (log (exp (pow x 2))) (log (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))) (log (exp (pow x 2))) (log (log (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (exp (log (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (* (cbrt (log (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (cbrt (log (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (cbrt (log (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (* (* (log (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))) (log (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (log (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (sqrt (log (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (sqrt (log (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (+ (* (log x) 2) (log (- (* x 0.33333333333333337) 0.5))) (+ (* (log x) 2) (log (- (* x 0.33333333333333337) 0.5))) (+ (log (pow x 2)) (log (- (* x 0.33333333333333337) 0.5))) (log (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (* (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* (- (* x 0.33333333333333337) 0.5) (- (* x 0.33333333333333337) 0.5)) (- (* x 0.33333333333333337) 0.5))) (* (cbrt (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (cbrt (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))) (cbrt (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (* (* (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (sqrt (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (sqrt (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (* (pow (sqrt x) 2) (sqrt (- (* x 0.33333333333333337) 0.5))) (* (pow (sqrt x) 2) (sqrt (- (* x 0.33333333333333337) 0.5))) (* x (sqrt (- (* x 0.33333333333333337) 0.5))) (* x (sqrt (- (* x 0.33333333333333337) 0.5))) (* (sqrt (pow x 2)) (sqrt (- (* x 0.33333333333333337) 0.5))) (* (sqrt (pow x 2)) (sqrt (- (* x 0.33333333333333337) 0.5))) (* (pow x (/ 2 2)) (sqrt (- (* x 0.33333333333333337) 0.5))) (* (pow x (/ 2 2)) (sqrt (- (* x 0.33333333333333337) 0.5))) (* (pow x 2) (* x 0.33333333333333337)) (* (pow x 2) (neg 0.5)) (* (pow x 2) (* x 0.33333333333333337)) (* (pow x 2) (neg 0.5)) (* (* x 0.33333333333333337) (pow x 2)) (* (neg 0.5) (pow x 2)) (* (* x 0.33333333333333337) (pow x 2)) (* (neg 0.5) (pow x 2)) (* (pow x 2) (* (cbrt (- (* x 0.33333333333333337) 0.5)) (cbrt (- (* x 0.33333333333333337) 0.5)))) (* (pow x 2) (sqrt (- (* x 0.33333333333333337) 0.5))) (* (pow x 2) 1) (* (pow (cbrt x) 2) (- (* x 0.33333333333333337) 0.5)) (* (pow (sqrt x) 2) (- (* x 0.33333333333333337) 0.5)) (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) (* x (- (* x 0.33333333333333337) 0.5)) (* (cbrt (pow x 2)) (- (* x 0.33333333333333337) 0.5)) (* (sqrt (pow x 2)) (- (* x 0.33333333333333337) 0.5)) (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) (* (pow x (/ 2 2)) (- (* x 0.33333333333333337) 0.5)) (* (pow x 2) (- (pow (* x 0.33333333333333337) 3) (pow 0.5 3))) (* (pow x 2) (- (* (* x 0.33333333333333337) (* x 0.33333333333333337)) (* 0.5 0.5))) (- (* 0.33333333333333337 (pow x 3)) (* 0.5 (pow x 2))) (- (* 0.33333333333333337 (pow x 3)) (* 0.5 (pow x 2))) (- (* 0.33333333333333337 (pow x 3)) (* 0.5 (pow x 2))) (- (* 0.33333333333333337 (pow x 3)) (* 0.5 (pow x 2))) (- (* 0.33333333333333337 (pow x 3)) (* 0.5 (pow x 2))) (- (* 0.33333333333333337 (pow x 3)) (* 0.5 (pow x 2))) 0.969 * * [simplify]: iteration 0 : 191 enodes (cost 345 ) 0.973 * * [simplify]: iteration 1 : 701 enodes (cost 301 ) 0.993 * * [simplify]: iteration 2 : 4708 enodes (cost 301 ) 1.129 * * [simplify]: iteration 3 : 5001 enodes (cost 301 ) 1.133 * [simplify]: Simplified to: (* (pow x 3) 0.33333333333333337) (* (pow x 2) (neg 0.5)) (* (pow x 3) 0.33333333333333337) (* (pow x 2) (neg 0.5)) (* (pow x 3) 0.33333333333333337) (* (pow x 2) (neg 0.5)) (* (pow x 3) 0.33333333333333337) (* (pow x 2) (neg 0.5)) (* 2 (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (log (sqrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (log (sqrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) 0 (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) (pow x 2) (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) (pow x 2) (log (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (* (cbrt (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (cbrt (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))) (cbrt (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (pow (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) 3) (sqrt (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (sqrt (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (log (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (log (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (log (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (log (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (pow (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) 3) (* (cbrt (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (cbrt (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))) (cbrt (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (pow (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) 3) (sqrt (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (sqrt (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (* (sqrt (- (* x 0.33333333333333337) 0.5)) x) (* (sqrt (- (* x 0.33333333333333337) 0.5)) x) (* (sqrt (- (* x 0.33333333333333337) 0.5)) x) (* (sqrt (- (* x 0.33333333333333337) 0.5)) x) (* (sqrt (pow x 2)) (sqrt (- (* x 0.33333333333333337) 0.5))) (* (sqrt (pow x 2)) (sqrt (- (* x 0.33333333333333337) 0.5))) (* (sqrt (- (* x 0.33333333333333337) 0.5)) x) (* (sqrt (- (* x 0.33333333333333337) 0.5)) x) (* (pow x 3) 0.33333333333333337) (* (pow x 2) (neg 0.5)) (* (pow x 3) 0.33333333333333337) (* (pow x 2) (neg 0.5)) (* (pow x 3) 0.33333333333333337) (* (pow x 2) (neg 0.5)) (* (pow x 3) 0.33333333333333337) (* (pow x 2) (neg 0.5)) (* (pow x 2) (* (cbrt (- (* x 0.33333333333333337) 0.5)) (cbrt (- (* x 0.33333333333333337) 0.5)))) (* (pow x 2) (sqrt (- (* x 0.33333333333333337) 0.5))) (pow x 2) (* (pow (cbrt x) 2) (- (* x 0.33333333333333337) 0.5)) (* (- (* x 0.33333333333333337) 0.5) x) (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) (* (- (* x 0.33333333333333337) 0.5) x) (* (cbrt (pow x 2)) (- (* x 0.33333333333333337) 0.5)) (* (sqrt (pow x 2)) (- (* x 0.33333333333333337) 0.5)) (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) (* (- (* x 0.33333333333333337) 0.5) x) (* (pow x 2) (- (pow (* x 0.33333333333333337) 3) (pow 0.5 3))) (* (pow x 2) (- (* (* x 0.33333333333333337) (* x 0.33333333333333337)) (* 0.5 0.5))) (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) 1.134 * * * [progress]: adding candidates to table 1.205 * * [progress]: iteration 4 / 4 1.205 * * * [progress]: picking best candidate 1.221 * * * * [pick]: Picked # 1.221 * * * [progress]: localizing error 1.233 * * * [progress]: generating rewritten candidates 1.233 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 1.236 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 1.239 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 1.241 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1) 1.246 * * * [progress]: generating series expansions 1.246 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 1.246 * [approximate]: Taking taylor expansion of (log (pow (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) 1/3)) in (x) around 0 1.246 * [taylor]: Taking taylor expansion of (log (pow (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) 1/3)) in x 1.246 * [taylor]: Taking taylor expansion of (pow (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) 1/3) in x 1.246 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)))))) in x 1.246 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))))) in x 1.246 * [taylor]: Taking taylor expansion of 1/3 in x 1.246 * [taylor]: Taking taylor expansion of (log (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)))) in x 1.246 * [taylor]: Taking taylor expansion of (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) in x 1.246 * [taylor]: Taking taylor expansion of (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)) in x 1.246 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 x) 0.5) in x 1.246 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 x) in x 1.246 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 1.246 * [taylor]: Taking taylor expansion of x in x 1.246 * [taylor]: Taking taylor expansion of 0.5 in x 1.246 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.246 * [taylor]: Taking taylor expansion of x in x 1.246 * [taylor]: Taking taylor expansion of (log (pow (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) 1/3)) in x 1.246 * [taylor]: Taking taylor expansion of (pow (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) 1/3) in x 1.246 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)))))) in x 1.246 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))))) in x 1.246 * [taylor]: Taking taylor expansion of 1/3 in x 1.246 * [taylor]: Taking taylor expansion of (log (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)))) in x 1.246 * [taylor]: Taking taylor expansion of (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) in x 1.246 * [taylor]: Taking taylor expansion of (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)) in x 1.247 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 x) 0.5) in x 1.247 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 x) in x 1.247 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 1.247 * [taylor]: Taking taylor expansion of x in x 1.247 * [taylor]: Taking taylor expansion of 0.5 in x 1.247 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.247 * [taylor]: Taking taylor expansion of x in x 1.250 * [approximate]: Taking taylor expansion of (log (pow (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))) 1/3)) in (x) around 0 1.250 * [taylor]: Taking taylor expansion of (log (pow (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))) 1/3)) in x 1.250 * [taylor]: Taking taylor expansion of (pow (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))) 1/3) in x 1.250 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)))))) in x 1.250 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))))) in x 1.250 * [taylor]: Taking taylor expansion of 1/3 in x 1.250 * [taylor]: Taking taylor expansion of (log (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)))) in x 1.250 * [taylor]: Taking taylor expansion of (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))) in x 1.250 * [taylor]: Taking taylor expansion of (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)) in x 1.250 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 (/ 1 x)) 0.5) in x 1.250 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 1.250 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 1.250 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.250 * [taylor]: Taking taylor expansion of x in x 1.250 * [taylor]: Taking taylor expansion of 0.5 in x 1.250 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.250 * [taylor]: Taking taylor expansion of x in x 1.251 * [taylor]: Taking taylor expansion of (log (pow (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))) 1/3)) in x 1.251 * [taylor]: Taking taylor expansion of (pow (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))) 1/3) in x 1.251 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)))))) in x 1.251 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))))) in x 1.251 * [taylor]: Taking taylor expansion of 1/3 in x 1.251 * [taylor]: Taking taylor expansion of (log (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)))) in x 1.251 * [taylor]: Taking taylor expansion of (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))) in x 1.251 * [taylor]: Taking taylor expansion of (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)) in x 1.251 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 (/ 1 x)) 0.5) in x 1.251 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 1.251 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 1.251 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.251 * [taylor]: Taking taylor expansion of x in x 1.251 * [taylor]: Taking taylor expansion of 0.5 in x 1.251 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.251 * [taylor]: Taking taylor expansion of x in x 1.269 * [approximate]: Taking taylor expansion of (log (pow (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))) 1/3)) in (x) around 0 1.269 * [taylor]: Taking taylor expansion of (log (pow (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))) 1/3)) in x 1.269 * [taylor]: Taking taylor expansion of (pow (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))) 1/3) in x 1.269 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))))))) in x 1.269 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))))) in x 1.269 * [taylor]: Taking taylor expansion of 1/3 in x 1.269 * [taylor]: Taking taylor expansion of (log (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))))) in x 1.269 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))) in x 1.269 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))) in x 1.269 * [taylor]: Taking taylor expansion of -1 in x 1.269 * [taylor]: Taking taylor expansion of (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)) in x 1.269 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.33333333333333337 (/ 1 x))) in x 1.269 * [taylor]: Taking taylor expansion of 0.5 in x 1.269 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 1.269 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 1.269 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.269 * [taylor]: Taking taylor expansion of x in x 1.269 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.269 * [taylor]: Taking taylor expansion of x in x 1.270 * [taylor]: Taking taylor expansion of (log (pow (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))) 1/3)) in x 1.270 * [taylor]: Taking taylor expansion of (pow (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))) 1/3) in x 1.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))))))) in x 1.270 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))))) in x 1.270 * [taylor]: Taking taylor expansion of 1/3 in x 1.270 * [taylor]: Taking taylor expansion of (log (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))))) in x 1.270 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))) in x 1.270 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))) in x 1.270 * [taylor]: Taking taylor expansion of -1 in x 1.270 * [taylor]: Taking taylor expansion of (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)) in x 1.270 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.33333333333333337 (/ 1 x))) in x 1.270 * [taylor]: Taking taylor expansion of 0.5 in x 1.270 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 1.270 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 1.270 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.270 * [taylor]: Taking taylor expansion of x in x 1.270 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.270 * [taylor]: Taking taylor expansion of x in x 1.286 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 1.287 * [approximate]: Taking taylor expansion of (log (pow (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) 1/3)) in (x) around 0 1.287 * [taylor]: Taking taylor expansion of (log (pow (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) 1/3)) in x 1.287 * [taylor]: Taking taylor expansion of (pow (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) 1/3) in x 1.287 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)))))) in x 1.287 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))))) in x 1.287 * [taylor]: Taking taylor expansion of 1/3 in x 1.287 * [taylor]: Taking taylor expansion of (log (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)))) in x 1.287 * [taylor]: Taking taylor expansion of (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) in x 1.287 * [taylor]: Taking taylor expansion of (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)) in x 1.287 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 x) 0.5) in x 1.287 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 x) in x 1.287 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 1.287 * [taylor]: Taking taylor expansion of x in x 1.287 * [taylor]: Taking taylor expansion of 0.5 in x 1.287 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.287 * [taylor]: Taking taylor expansion of x in x 1.287 * [taylor]: Taking taylor expansion of (log (pow (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) 1/3)) in x 1.287 * [taylor]: Taking taylor expansion of (pow (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) 1/3) in x 1.287 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)))))) in x 1.287 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))))) in x 1.287 * [taylor]: Taking taylor expansion of 1/3 in x 1.287 * [taylor]: Taking taylor expansion of (log (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)))) in x 1.287 * [taylor]: Taking taylor expansion of (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) in x 1.287 * [taylor]: Taking taylor expansion of (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)) in x 1.287 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 x) 0.5) in x 1.287 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 x) in x 1.287 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 1.287 * [taylor]: Taking taylor expansion of x in x 1.287 * [taylor]: Taking taylor expansion of 0.5 in x 1.287 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.287 * [taylor]: Taking taylor expansion of x in x 1.290 * [approximate]: Taking taylor expansion of (log (pow (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))) 1/3)) in (x) around 0 1.290 * [taylor]: Taking taylor expansion of (log (pow (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))) 1/3)) in x 1.290 * [taylor]: Taking taylor expansion of (pow (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))) 1/3) in x 1.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)))))) in x 1.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))))) in x 1.290 * [taylor]: Taking taylor expansion of 1/3 in x 1.290 * [taylor]: Taking taylor expansion of (log (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)))) in x 1.290 * [taylor]: Taking taylor expansion of (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))) in x 1.290 * [taylor]: Taking taylor expansion of (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)) in x 1.290 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 (/ 1 x)) 0.5) in x 1.290 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 1.290 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 1.290 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.290 * [taylor]: Taking taylor expansion of x in x 1.290 * [taylor]: Taking taylor expansion of 0.5 in x 1.290 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.290 * [taylor]: Taking taylor expansion of x in x 1.291 * [taylor]: Taking taylor expansion of (log (pow (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))) 1/3)) in x 1.291 * [taylor]: Taking taylor expansion of (pow (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))) 1/3) in x 1.291 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)))))) in x 1.291 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))))) in x 1.291 * [taylor]: Taking taylor expansion of 1/3 in x 1.291 * [taylor]: Taking taylor expansion of (log (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)))) in x 1.291 * [taylor]: Taking taylor expansion of (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))) in x 1.291 * [taylor]: Taking taylor expansion of (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)) in x 1.291 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 (/ 1 x)) 0.5) in x 1.291 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 1.291 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 1.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.291 * [taylor]: Taking taylor expansion of x in x 1.291 * [taylor]: Taking taylor expansion of 0.5 in x 1.291 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.291 * [taylor]: Taking taylor expansion of x in x 1.306 * [approximate]: Taking taylor expansion of (log (pow (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))) 1/3)) in (x) around 0 1.306 * [taylor]: Taking taylor expansion of (log (pow (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))) 1/3)) in x 1.306 * [taylor]: Taking taylor expansion of (pow (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))) 1/3) in x 1.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))))))) in x 1.306 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))))) in x 1.307 * [taylor]: Taking taylor expansion of 1/3 in x 1.307 * [taylor]: Taking taylor expansion of (log (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))))) in x 1.307 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))) in x 1.307 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))) in x 1.307 * [taylor]: Taking taylor expansion of -1 in x 1.307 * [taylor]: Taking taylor expansion of (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)) in x 1.307 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.33333333333333337 (/ 1 x))) in x 1.307 * [taylor]: Taking taylor expansion of 0.5 in x 1.307 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 1.307 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 1.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.307 * [taylor]: Taking taylor expansion of x in x 1.307 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.307 * [taylor]: Taking taylor expansion of x in x 1.307 * [taylor]: Taking taylor expansion of (log (pow (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))) 1/3)) in x 1.307 * [taylor]: Taking taylor expansion of (pow (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))) 1/3) in x 1.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))))))) in x 1.307 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))))) in x 1.308 * [taylor]: Taking taylor expansion of 1/3 in x 1.308 * [taylor]: Taking taylor expansion of (log (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))))) in x 1.308 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))) in x 1.308 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))) in x 1.308 * [taylor]: Taking taylor expansion of -1 in x 1.308 * [taylor]: Taking taylor expansion of (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)) in x 1.308 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.33333333333333337 (/ 1 x))) in x 1.308 * [taylor]: Taking taylor expansion of 0.5 in x 1.308 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 1.308 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 1.308 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.308 * [taylor]: Taking taylor expansion of x in x 1.308 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.308 * [taylor]: Taking taylor expansion of x in x 1.323 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1) 1.324 * [approximate]: Taking taylor expansion of (pow (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) 1/3) in (x) around 0 1.324 * [taylor]: Taking taylor expansion of (pow (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) 1/3) in x 1.324 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)))))) in x 1.324 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))))) in x 1.324 * [taylor]: Taking taylor expansion of 1/3 in x 1.324 * [taylor]: Taking taylor expansion of (log (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)))) in x 1.324 * [taylor]: Taking taylor expansion of (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) in x 1.324 * [taylor]: Taking taylor expansion of (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)) in x 1.324 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 x) 0.5) in x 1.324 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 x) in x 1.324 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 1.324 * [taylor]: Taking taylor expansion of x in x 1.324 * [taylor]: Taking taylor expansion of 0.5 in x 1.324 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.324 * [taylor]: Taking taylor expansion of x in x 1.324 * [taylor]: Taking taylor expansion of (pow (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) 1/3) in x 1.324 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)))))) in x 1.324 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))))) in x 1.324 * [taylor]: Taking taylor expansion of 1/3 in x 1.324 * [taylor]: Taking taylor expansion of (log (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)))) in x 1.324 * [taylor]: Taking taylor expansion of (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) in x 1.324 * [taylor]: Taking taylor expansion of (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)) in x 1.324 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 x) 0.5) in x 1.324 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 x) in x 1.324 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 1.324 * [taylor]: Taking taylor expansion of x in x 1.324 * [taylor]: Taking taylor expansion of 0.5 in x 1.324 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.324 * [taylor]: Taking taylor expansion of x in x 1.326 * [approximate]: Taking taylor expansion of (pow (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))) 1/3) in (x) around 0 1.326 * [taylor]: Taking taylor expansion of (pow (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))) 1/3) in x 1.326 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)))))) in x 1.326 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))))) in x 1.326 * [taylor]: Taking taylor expansion of 1/3 in x 1.326 * [taylor]: Taking taylor expansion of (log (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)))) in x 1.326 * [taylor]: Taking taylor expansion of (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))) in x 1.326 * [taylor]: Taking taylor expansion of (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)) in x 1.326 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 (/ 1 x)) 0.5) in x 1.326 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 1.326 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 1.326 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.326 * [taylor]: Taking taylor expansion of x in x 1.326 * [taylor]: Taking taylor expansion of 0.5 in x 1.326 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.326 * [taylor]: Taking taylor expansion of x in x 1.327 * [taylor]: Taking taylor expansion of (pow (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))) 1/3) in x 1.327 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)))))) in x 1.327 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))))) in x 1.327 * [taylor]: Taking taylor expansion of 1/3 in x 1.327 * [taylor]: Taking taylor expansion of (log (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)))) in x 1.327 * [taylor]: Taking taylor expansion of (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))) in x 1.327 * [taylor]: Taking taylor expansion of (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)) in x 1.327 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 (/ 1 x)) 0.5) in x 1.327 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 1.327 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 1.327 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.327 * [taylor]: Taking taylor expansion of x in x 1.327 * [taylor]: Taking taylor expansion of 0.5 in x 1.327 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.327 * [taylor]: Taking taylor expansion of x in x 1.336 * [approximate]: Taking taylor expansion of (pow (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))) 1/3) in (x) around 0 1.337 * [taylor]: Taking taylor expansion of (pow (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))) 1/3) in x 1.337 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))))))) in x 1.337 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))))) in x 1.337 * [taylor]: Taking taylor expansion of 1/3 in x 1.337 * [taylor]: Taking taylor expansion of (log (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))))) in x 1.337 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))) in x 1.337 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))) in x 1.337 * [taylor]: Taking taylor expansion of -1 in x 1.337 * [taylor]: Taking taylor expansion of (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)) in x 1.337 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.33333333333333337 (/ 1 x))) in x 1.337 * [taylor]: Taking taylor expansion of 0.5 in x 1.337 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 1.337 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 1.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.337 * [taylor]: Taking taylor expansion of x in x 1.337 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.337 * [taylor]: Taking taylor expansion of x in x 1.337 * [taylor]: Taking taylor expansion of (pow (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))) 1/3) in x 1.337 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))))))) in x 1.337 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))))) in x 1.337 * [taylor]: Taking taylor expansion of 1/3 in x 1.338 * [taylor]: Taking taylor expansion of (log (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))))) in x 1.338 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))) in x 1.338 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))) in x 1.338 * [taylor]: Taking taylor expansion of -1 in x 1.338 * [taylor]: Taking taylor expansion of (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)) in x 1.338 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.33333333333333337 (/ 1 x))) in x 1.338 * [taylor]: Taking taylor expansion of 0.5 in x 1.338 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 1.338 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 1.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.338 * [taylor]: Taking taylor expansion of x in x 1.338 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.338 * [taylor]: Taking taylor expansion of x in x 1.347 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1) 1.348 * [approximate]: Taking taylor expansion of (pow (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) 1/3) in (x) around 0 1.348 * [taylor]: Taking taylor expansion of (pow (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) 1/3) in x 1.348 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)))))) in x 1.348 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))))) in x 1.348 * [taylor]: Taking taylor expansion of 1/3 in x 1.348 * [taylor]: Taking taylor expansion of (log (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)))) in x 1.348 * [taylor]: Taking taylor expansion of (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) in x 1.348 * [taylor]: Taking taylor expansion of (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)) in x 1.348 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 x) 0.5) in x 1.348 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 x) in x 1.348 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 1.348 * [taylor]: Taking taylor expansion of x in x 1.348 * [taylor]: Taking taylor expansion of 0.5 in x 1.348 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.348 * [taylor]: Taking taylor expansion of x in x 1.348 * [taylor]: Taking taylor expansion of (pow (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) 1/3) in x 1.348 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)))))) in x 1.348 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))))) in x 1.348 * [taylor]: Taking taylor expansion of 1/3 in x 1.348 * [taylor]: Taking taylor expansion of (log (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)))) in x 1.348 * [taylor]: Taking taylor expansion of (exp (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) in x 1.348 * [taylor]: Taking taylor expansion of (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)) in x 1.348 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 x) 0.5) in x 1.348 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 x) in x 1.348 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 1.348 * [taylor]: Taking taylor expansion of x in x 1.348 * [taylor]: Taking taylor expansion of 0.5 in x 1.348 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.348 * [taylor]: Taking taylor expansion of x in x 1.352 * [approximate]: Taking taylor expansion of (pow (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))) 1/3) in (x) around 0 1.352 * [taylor]: Taking taylor expansion of (pow (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))) 1/3) in x 1.352 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)))))) in x 1.352 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))))) in x 1.352 * [taylor]: Taking taylor expansion of 1/3 in x 1.352 * [taylor]: Taking taylor expansion of (log (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)))) in x 1.352 * [taylor]: Taking taylor expansion of (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))) in x 1.352 * [taylor]: Taking taylor expansion of (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)) in x 1.352 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 (/ 1 x)) 0.5) in x 1.352 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 1.352 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 1.352 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.352 * [taylor]: Taking taylor expansion of x in x 1.352 * [taylor]: Taking taylor expansion of 0.5 in x 1.352 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.352 * [taylor]: Taking taylor expansion of x in x 1.352 * [taylor]: Taking taylor expansion of (pow (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))) 1/3) in x 1.352 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)))))) in x 1.353 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))))) in x 1.353 * [taylor]: Taking taylor expansion of 1/3 in x 1.353 * [taylor]: Taking taylor expansion of (log (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)))) in x 1.353 * [taylor]: Taking taylor expansion of (exp (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2))) in x 1.353 * [taylor]: Taking taylor expansion of (/ (- (* 0.33333333333333337 (/ 1 x)) 0.5) (pow x 2)) in x 1.353 * [taylor]: Taking taylor expansion of (- (* 0.33333333333333337 (/ 1 x)) 0.5) in x 1.353 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 1.353 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 1.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.353 * [taylor]: Taking taylor expansion of x in x 1.353 * [taylor]: Taking taylor expansion of 0.5 in x 1.353 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.353 * [taylor]: Taking taylor expansion of x in x 1.362 * [approximate]: Taking taylor expansion of (pow (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))) 1/3) in (x) around 0 1.362 * [taylor]: Taking taylor expansion of (pow (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))) 1/3) in x 1.362 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))))))) in x 1.362 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))))) in x 1.362 * [taylor]: Taking taylor expansion of 1/3 in x 1.362 * [taylor]: Taking taylor expansion of (log (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))))) in x 1.362 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))) in x 1.362 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))) in x 1.362 * [taylor]: Taking taylor expansion of -1 in x 1.362 * [taylor]: Taking taylor expansion of (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)) in x 1.362 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.33333333333333337 (/ 1 x))) in x 1.362 * [taylor]: Taking taylor expansion of 0.5 in x 1.362 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 1.362 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 1.362 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.362 * [taylor]: Taking taylor expansion of x in x 1.362 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.362 * [taylor]: Taking taylor expansion of x in x 1.363 * [taylor]: Taking taylor expansion of (pow (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))) 1/3) in x 1.363 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))))))) in x 1.363 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))))) in x 1.363 * [taylor]: Taking taylor expansion of 1/3 in x 1.363 * [taylor]: Taking taylor expansion of (log (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))))) in x 1.363 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)))) in x 1.363 * [taylor]: Taking taylor expansion of (* -1 (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2))) in x 1.363 * [taylor]: Taking taylor expansion of -1 in x 1.363 * [taylor]: Taking taylor expansion of (/ (+ 0.5 (* 0.33333333333333337 (/ 1 x))) (pow x 2)) in x 1.363 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.33333333333333337 (/ 1 x))) in x 1.363 * [taylor]: Taking taylor expansion of 0.5 in x 1.363 * [taylor]: Taking taylor expansion of (* 0.33333333333333337 (/ 1 x)) in x 1.363 * [taylor]: Taking taylor expansion of 0.33333333333333337 in x 1.363 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.363 * [taylor]: Taking taylor expansion of x in x 1.363 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.363 * [taylor]: Taking taylor expansion of x in x 1.373 * * * [progress]: simplifying candidates 1.374 * [simplify]: Simplifying using # : (log (cbrt (exp (* (pow x 2) (* x 0.33333333333333337))))) (log (cbrt (exp (* (pow x 2) (neg 0.5))))) (log (cbrt (exp (* (pow x 2) (* x 0.33333333333333337))))) (log (cbrt (exp (* (pow x 2) (neg 0.5))))) (log (cbrt (exp (* (* x 0.33333333333333337) (pow x 2))))) (log (cbrt (exp (* (neg 0.5) (pow x 2))))) (log (cbrt (exp (* (* x 0.33333333333333337) (pow x 2))))) (log (cbrt (exp (* (neg 0.5) (pow x 2))))) (log (cbrt (* (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))) (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))))) (log (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log (cbrt (sqrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log (cbrt (sqrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log (cbrt 1)) (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (log (* (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))))) (log (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log (sqrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log (sqrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log 1) (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (log (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))) (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (log (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (exp (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (* (cbrt (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (cbrt (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))))) (cbrt (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (* (* (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (sqrt (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (sqrt (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log (cbrt (exp (* (pow x 2) (* x 0.33333333333333337))))) (log (cbrt (exp (* (pow x 2) (neg 0.5))))) (log (cbrt (exp (* (pow x 2) (* x 0.33333333333333337))))) (log (cbrt (exp (* (pow x 2) (neg 0.5))))) (log (cbrt (exp (* (* x 0.33333333333333337) (pow x 2))))) (log (cbrt (exp (* (neg 0.5) (pow x 2))))) (log (cbrt (exp (* (* x 0.33333333333333337) (pow x 2))))) (log (cbrt (exp (* (neg 0.5) (pow x 2))))) (log (cbrt (* (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))) (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))))) (log (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log (cbrt (sqrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log (cbrt (sqrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log (cbrt 1)) (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (log (* (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))))) (log (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log (sqrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log (sqrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log 1) (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (log (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))) (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (log (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (exp (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (* (cbrt (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (cbrt (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))))) (cbrt (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (* (* (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (sqrt (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (sqrt (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (exp (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (cbrt (exp (* (pow x 2) (* x 0.33333333333333337)))) (cbrt (exp (* (pow x 2) (neg 0.5)))) (cbrt (exp (* (pow x 2) (* x 0.33333333333333337)))) (cbrt (exp (* (pow x 2) (neg 0.5)))) (cbrt (exp (* (* x 0.33333333333333337) (pow x 2)))) (cbrt (exp (* (neg 0.5) (pow x 2)))) (cbrt (exp (* (* x 0.33333333333333337) (pow x 2)))) (cbrt (exp (* (neg 0.5) (pow x 2)))) (cbrt (* (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))) (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (cbrt (sqrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (cbrt (sqrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (cbrt 1) (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))) (* (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (* (* (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))) (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (sqrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (sqrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (exp (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (cbrt (exp (* (pow x 2) (* x 0.33333333333333337)))) (cbrt (exp (* (pow x 2) (neg 0.5)))) (cbrt (exp (* (pow x 2) (* x 0.33333333333333337)))) (cbrt (exp (* (pow x 2) (neg 0.5)))) (cbrt (exp (* (* x 0.33333333333333337) (pow x 2)))) (cbrt (exp (* (neg 0.5) (pow x 2)))) (cbrt (exp (* (* x 0.33333333333333337) (pow x 2)))) (cbrt (exp (* (neg 0.5) (pow x 2)))) (cbrt (* (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))) (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (cbrt (sqrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (cbrt (sqrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (cbrt 1) (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))) (* (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (* (* (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))) (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (sqrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (sqrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (- (+ (* 0.1111111111111111 (pow x 3)) (log (pow 1 1/3))) (* 0.16666666666666666 (pow x 2))) (* 1/3 (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) (* -1/3 (* (pow x 2) (- 0.5 (* 0.33333333333333337 x)))) (- (+ (* 0.1111111111111111 (pow x 3)) (log (pow 1 1/3))) (* 0.16666666666666666 (pow x 2))) (* 1/3 (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) (* -1/3 (* (pow x 2) (- 0.5 (* 0.33333333333333337 x)))) (- (+ (* 0.1111111111111111 (pow x 3)) (pow 1 1/3)) (* 0.16666666666666666 (pow x 2))) (exp (* 1/3 (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)))) (exp (* -1/3 (* (pow x 2) (- 0.5 (* 0.33333333333333337 x))))) (- (+ (* 0.1111111111111111 (pow x 3)) (pow 1 1/3)) (* 0.16666666666666666 (pow x 2))) (exp (* 1/3 (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)))) (exp (* -1/3 (* (pow x 2) (- 0.5 (* 0.33333333333333337 x))))) 1.379 * * [simplify]: iteration 0 : 138 enodes (cost 838 ) 1.382 * * [simplify]: iteration 1 : 376 enodes (cost 760 ) 1.388 * * [simplify]: iteration 2 : 1185 enodes (cost 750 ) 1.417 * * [simplify]: iteration 3 : 5001 enodes (cost 734 ) 1.421 * [simplify]: Simplified to: (log (cbrt (exp (* (* x 0.33333333333333337) (pow x 2))))) (log (cbrt (exp (* (neg 0.5) (pow x 2))))) (log (cbrt (exp (* (* x 0.33333333333333337) (pow x 2))))) (log (cbrt (exp (* (neg 0.5) (pow x 2))))) (log (cbrt (exp (* (* x 0.33333333333333337) (pow x 2))))) (log (cbrt (exp (* (neg 0.5) (pow x 2))))) (log (cbrt (exp (* (* x 0.33333333333333337) (pow x 2))))) (log (cbrt (exp (* (neg 0.5) (pow x 2))))) (log (cbrt (* (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))) (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))))) (log (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log (cbrt (sqrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log (cbrt (sqrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) 0 (* 1/3 (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) (* 2 (log (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))))) (log (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log (sqrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log (sqrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) 0 (* 1/3 (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) (* 1/3 (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) (log (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (exp (* 1/3 (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)))) (* (cbrt (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (cbrt (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))))) (cbrt (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (pow (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) 3) (sqrt (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (sqrt (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log (cbrt (exp (* (* x 0.33333333333333337) (pow x 2))))) (log (cbrt (exp (* (neg 0.5) (pow x 2))))) (log (cbrt (exp (* (* x 0.33333333333333337) (pow x 2))))) (log (cbrt (exp (* (neg 0.5) (pow x 2))))) (log (cbrt (exp (* (* x 0.33333333333333337) (pow x 2))))) (log (cbrt (exp (* (neg 0.5) (pow x 2))))) (log (cbrt (exp (* (* x 0.33333333333333337) (pow x 2))))) (log (cbrt (exp (* (neg 0.5) (pow x 2))))) (log (cbrt (* (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))) (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))))) (log (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log (cbrt (sqrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log (cbrt (sqrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) 0 (* 1/3 (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) (* 2 (log (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))))) (log (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log (sqrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (log (sqrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) 0 (* 1/3 (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) (* (pow x 2) (- (* x 0.33333333333333337) 0.5)) (* 1/3 (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) (log (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (exp (* 1/3 (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)))) (* (cbrt (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (cbrt (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))))) (cbrt (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (pow (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) 3) (sqrt (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (sqrt (log (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (* 1/3 (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) (exp (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (cbrt (exp (* (* x 0.33333333333333337) (pow x 2)))) (cbrt (exp (* (neg 0.5) (pow x 2)))) (cbrt (exp (* (* x 0.33333333333333337) (pow x 2)))) (cbrt (exp (* (neg 0.5) (pow x 2)))) (cbrt (exp (* (* x 0.33333333333333337) (pow x 2)))) (cbrt (exp (* (neg 0.5) (pow x 2)))) (cbrt (exp (* (* x 0.33333333333333337) (pow x 2)))) (cbrt (exp (* (neg 0.5) (pow x 2)))) (cbrt (* (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))) (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (cbrt (sqrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (cbrt (sqrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) 1 (exp (* 1/3 (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)))) (* (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (sqrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (sqrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (* 1/3 (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) (exp (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (cbrt (exp (* (* x 0.33333333333333337) (pow x 2)))) (cbrt (exp (* (neg 0.5) (pow x 2)))) (cbrt (exp (* (* x 0.33333333333333337) (pow x 2)))) (cbrt (exp (* (neg 0.5) (pow x 2)))) (cbrt (exp (* (* x 0.33333333333333337) (pow x 2)))) (cbrt (exp (* (neg 0.5) (pow x 2)))) (cbrt (exp (* (* x 0.33333333333333337) (pow x 2)))) (cbrt (exp (* (neg 0.5) (pow x 2)))) (cbrt (* (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))) (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (cbrt (sqrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (cbrt (sqrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) 1 (exp (* 1/3 (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)))) (* (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5)))))) (cbrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))) (sqrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (sqrt (cbrt (exp (* (pow x 2) (- (* x 0.33333333333333337) 0.5))))) (* (pow x 2) (- (* x 0.1111111111111111) 0.16666666666666666)) (* 1/3 (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) (* -1/3 (* (pow x 2) (- 0.5 (* 0.33333333333333337 x)))) (* (pow x 2) (- (* x 0.1111111111111111) 0.16666666666666666)) (* 1/3 (* (- (* 0.33333333333333337 x) 0.5) (pow x 2))) (* -1/3 (* (pow x 2) (- 0.5 (* 0.33333333333333337 x)))) (+ 1 (* (pow x 2) (- (* x 0.1111111111111111) 0.16666666666666666))) (exp (* 1/3 (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)))) (exp (* -1/3 (* (pow x 2) (- 0.5 (* 0.33333333333333337 x))))) (+ 1 (* (pow x 2) (- (* x 0.1111111111111111) 0.16666666666666666))) (exp (* 1/3 (* (- (* 0.33333333333333337 x) 0.5) (pow x 2)))) (exp (* -1/3 (* (pow x 2) (- 0.5 (* 0.33333333333333337 x))))) 1.422 * * * [progress]: adding candidates to table 1.636 * [progress]: [Phase 3 of 3] Extracting. 1.637 * * [regime]: Finding splitpoints for: (# # # # # #) 1.640 * * * [regime-changes]: Trying 2 branch expressions: (eps x) 1.640 * * * * [regimes]: Trying to branch on eps from (# # # # # #) 1.710 * * * * [regimes]: Trying to branch on x from (# # # # # #) 1.768 * * * [regime]: Found split indices: #