37.952 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.102 * * * [progress]: [2/2] Setting up program. 0.104 * [progress]: [Phase 2 of 3] Improving. 0.104 * [simplify]: Simplifying using # : (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 0.105 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 0.106 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 0.108 * * [simplify]: iteration 2 : 25 enodes (cost 13 ) 0.111 * * [simplify]: iteration 3 : 31 enodes (cost 13 ) 0.114 * * [simplify]: iteration 4 : 42 enodes (cost 13 ) 0.119 * * [simplify]: iteration 5 : 55 enodes (cost 13 ) 0.124 * * [simplify]: iteration 6 : 58 enodes (cost 13 ) 0.132 * * [simplify]: iteration 7 : 94 enodes (cost 13 ) 0.150 * * [simplify]: iteration 8 : 129 enodes (cost 13 ) 0.173 * * [simplify]: iteration 9 : 169 enodes (cost 13 ) 0.209 * * [simplify]: iteration 10 : 272 enodes (cost 13 ) 0.288 * * [simplify]: iteration 11 : 419 enodes (cost 13 ) 0.443 * * [simplify]: iteration 12 : 718 enodes (cost 13 ) 0.847 * * [simplify]: iteration 13 : 1613 enodes (cost 13 ) 2.187 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 2.187 * [simplify]: Simplified to: (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 2.187 * * [progress]: iteration 1 / 4 2.187 * * * [progress]: picking best candidate 2.189 * * * * [pick]: Picked # 2.189 * * * [progress]: localizing error 2.196 * * * [progress]: generating rewritten candidates 2.196 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 2.209 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 2.236 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 2.245 * * * [progress]: generating series expansions 2.245 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 2.245 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 2.245 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 2.245 * [taylor]: Taking taylor expansion of (exp x) in x 2.245 * [taylor]: Taking taylor expansion of x in x 2.245 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.245 * [taylor]: Taking taylor expansion of (- x) in x 2.245 * [taylor]: Taking taylor expansion of x in x 2.246 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 2.246 * [taylor]: Taking taylor expansion of (exp x) in x 2.246 * [taylor]: Taking taylor expansion of x in x 2.246 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.246 * [taylor]: Taking taylor expansion of (- x) in x 2.246 * [taylor]: Taking taylor expansion of x in x 2.270 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 2.271 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.271 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.271 * [taylor]: Taking taylor expansion of x in x 2.271 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.271 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.271 * [taylor]: Taking taylor expansion of x in x 2.272 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.272 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.272 * [taylor]: Taking taylor expansion of x in x 2.272 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.272 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.272 * [taylor]: Taking taylor expansion of x in x 2.276 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 2.276 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 2.276 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.276 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.276 * [taylor]: Taking taylor expansion of -1 in x 2.276 * [taylor]: Taking taylor expansion of x in x 2.276 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.276 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.276 * [taylor]: Taking taylor expansion of x in x 2.276 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 2.276 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.277 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.277 * [taylor]: Taking taylor expansion of -1 in x 2.277 * [taylor]: Taking taylor expansion of x in x 2.277 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.277 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.277 * [taylor]: Taking taylor expansion of x in x 2.281 * * * * [progress]: [ 2 / 3 ] generating series at (2) 2.281 * [approximate]: Taking taylor expansion of (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) in (x) around 0 2.281 * [taylor]: Taking taylor expansion of (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) in x 2.281 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 2.281 * [taylor]: Taking taylor expansion of (exp x) in x 2.281 * [taylor]: Taking taylor expansion of x in x 2.281 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.281 * [taylor]: Taking taylor expansion of (- x) in x 2.281 * [taylor]: Taking taylor expansion of x in x 2.281 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 2.281 * [taylor]: Taking taylor expansion of (exp x) in x 2.281 * [taylor]: Taking taylor expansion of x in x 2.281 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.281 * [taylor]: Taking taylor expansion of (- x) in x 2.282 * [taylor]: Taking taylor expansion of x in x 2.287 * [taylor]: Taking taylor expansion of (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) in x 2.287 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 2.287 * [taylor]: Taking taylor expansion of (exp x) in x 2.288 * [taylor]: Taking taylor expansion of x in x 2.288 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.288 * [taylor]: Taking taylor expansion of (- x) in x 2.288 * [taylor]: Taking taylor expansion of x in x 2.288 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 2.288 * [taylor]: Taking taylor expansion of (exp x) in x 2.288 * [taylor]: Taking taylor expansion of x in x 2.288 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.288 * [taylor]: Taking taylor expansion of (- x) in x 2.288 * [taylor]: Taking taylor expansion of x in x 2.330 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0 2.330 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 2.330 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.330 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.330 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.330 * [taylor]: Taking taylor expansion of x in x 2.330 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.330 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.330 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.330 * [taylor]: Taking taylor expansion of x in x 2.331 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.331 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.331 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.331 * [taylor]: Taking taylor expansion of x in x 2.331 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.331 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.331 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.331 * [taylor]: Taking taylor expansion of x in x 2.332 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 2.332 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.332 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.332 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.332 * [taylor]: Taking taylor expansion of x in x 2.333 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.333 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.333 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.333 * [taylor]: Taking taylor expansion of x in x 2.333 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.333 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.333 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.333 * [taylor]: Taking taylor expansion of x in x 2.334 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.334 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.334 * [taylor]: Taking taylor expansion of x in x 2.343 * [approximate]: Taking taylor expansion of (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0 2.343 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 2.343 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 2.343 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.343 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.343 * [taylor]: Taking taylor expansion of -1 in x 2.343 * [taylor]: Taking taylor expansion of x in x 2.343 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.344 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.344 * [taylor]: Taking taylor expansion of x in x 2.344 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 2.344 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.344 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.344 * [taylor]: Taking taylor expansion of x in x 2.344 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.344 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.344 * [taylor]: Taking taylor expansion of -1 in x 2.344 * [taylor]: Taking taylor expansion of x in x 2.345 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 2.345 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 2.345 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.345 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.345 * [taylor]: Taking taylor expansion of -1 in x 2.345 * [taylor]: Taking taylor expansion of x in x 2.345 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.345 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.345 * [taylor]: Taking taylor expansion of x in x 2.346 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 2.346 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.346 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.346 * [taylor]: Taking taylor expansion of x in x 2.346 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.346 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.346 * [taylor]: Taking taylor expansion of -1 in x 2.346 * [taylor]: Taking taylor expansion of x in x 2.355 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 2.355 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0 2.355 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 2.355 * [taylor]: Taking taylor expansion of (exp x) in x 2.355 * [taylor]: Taking taylor expansion of x in x 2.355 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.355 * [taylor]: Taking taylor expansion of (- x) in x 2.355 * [taylor]: Taking taylor expansion of x in x 2.355 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 2.356 * [taylor]: Taking taylor expansion of (exp x) in x 2.356 * [taylor]: Taking taylor expansion of x in x 2.356 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.356 * [taylor]: Taking taylor expansion of (- x) in x 2.356 * [taylor]: Taking taylor expansion of x in x 2.373 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 2.373 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.373 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.373 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.373 * [taylor]: Taking taylor expansion of x in x 2.374 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.374 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.374 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.374 * [taylor]: Taking taylor expansion of x in x 2.374 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 2.374 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.374 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.374 * [taylor]: Taking taylor expansion of x in x 2.375 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.375 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.375 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.375 * [taylor]: Taking taylor expansion of x in x 2.377 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 2.377 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 2.377 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.377 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.377 * [taylor]: Taking taylor expansion of x in x 2.377 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.378 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.378 * [taylor]: Taking taylor expansion of -1 in x 2.378 * [taylor]: Taking taylor expansion of x in x 2.378 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 2.378 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.378 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.378 * [taylor]: Taking taylor expansion of x in x 2.378 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.378 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.378 * [taylor]: Taking taylor expansion of -1 in x 2.378 * [taylor]: Taking taylor expansion of x in x 2.380 * * * [progress]: simplifying candidates 2.382 * [simplify]: Simplifying using # : (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (fma 1 (exp x) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))) (fma 1 (exp x) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma 1 (exp x) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (expm1 (- (exp x) (exp (- x)))) (log1p (- (exp x) (exp (- x)))) (- (exp (- x))) (- (exp (- x))) (- (exp (- x))) (/ (exp (exp x)) (exp (exp (- x)))) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x)))) (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (- (exp (- x))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (+ (exp x) (exp (- x))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (expm1 (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (log1p (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (- (log (- (exp x) (exp (- x)))) (log (+ (exp x) (exp (- x))))) (log (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (exp (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (/ (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x))))) (* (cbrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (cbrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))) (cbrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (* (* (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (sqrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (sqrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (- (- (exp x) (exp (- x)))) (- (+ (exp x) (exp (- x)))) (/ (exp x) (+ (exp x) (exp (- x)))) (/ (exp (- x)) (+ (exp x) (exp (- x)))) (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (cbrt (- (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (cbrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) 1) (/ (cbrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) 1) (/ (cbrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (/ (sqrt (- (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt (- (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp x) (exp (- x)))) 1) (/ (sqrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (/ (sqrt (- (exp x) (exp (- x)))) 1) (/ (sqrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp x) (exp (- x))) (cbrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x))))) (/ 1 1) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ 1 1) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) 1) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (+ (exp x) (exp (- x)))) (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) 1) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (+ (exp x) (exp (- x)))) (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp x) (exp (- x))) (cbrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x))))) (/ 1 1) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ 1 1) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ 1 (+ (exp x) (exp (- x)))) (/ (+ (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (/ (- (exp x) (exp (- x))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp x) (exp (- x))) 1) (/ (- (exp x) (exp (- x))) 1) (/ (+ (exp x) (exp (- x))) (cbrt (- (exp x) (exp (- x))))) (/ (+ (exp x) (exp (- x))) (sqrt (- (exp x) (exp (- x))))) (/ (+ (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (/ (+ (exp x) (exp (- x))) (- (sqrt (exp x)) (sqrt (exp (- x))))) (/ (+ (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (/ (- (exp x) (exp (- x))) (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (/ (- (exp x) (exp (- x))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (* (+ (exp x) (exp (- x))) (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (expm1 (+ (exp x) (exp (- x)))) (log1p (+ (exp x) (exp (- x)))) (* (exp (exp x)) (exp (exp (- x)))) (log (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x)))) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (* -1 x))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ (- (exp x) (exp (* -1 x))) (+ (exp (* -1 x)) (exp x))) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) 2.387 * * [simplify]: iteration 0 : 147 enodes (cost 1789 ) 2.418 * * [simplify]: iteration 1 : 345 enodes (cost 1599 ) 2.549 * * [simplify]: iteration 2 : 929 enodes (cost 1426 ) 3.598 * * [simplify]: iteration 3 : 3861 enodes (cost 1362 ) 4.913 * * [simplify]: iteration done : 5000 enodes (cost 1362 ) 4.914 * [simplify]: Simplified to: (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (expm1 (- (exp x) (exp (- x)))) (log1p (- (exp x) (exp (- x)))) (- (exp (- x))) (- (exp (- x))) (- (exp (- x))) (exp (- (exp x) (exp (- x)))) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x)))) (pow (- (exp x) (exp (- x))) 3) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (- (pow (exp x) 3) (exp (* x -3))) (+ (+ 1 (exp (+ x x))) (exp (* x -2))) (- (exp (- x))) (- (exp (+ x x)) (exp (* x -2))) (+ (exp (- x)) (exp x)) (+ (sqrt (exp (- x))) (sqrt (exp x))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (expm1 (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (log1p (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (log (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (log (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (exp (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (pow (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 3) (* (cbrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (cbrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))) (cbrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (pow (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 3) (sqrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (sqrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (- (exp (- x)) (exp x)) (- (+ (exp x) (exp (- x)))) (/ 1 (+ 1 (exp (* x -2)))) (/ 1 (+ 1 (exp (+ x x)))) (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (cbrt (- (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (/ (cbrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (/ (cbrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (/ (cbrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (/ (sqrt (- (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt (- (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (- (exp x) (exp (- x)))) (/ (sqrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (/ (sqrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp x) (exp (- x))) (cbrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x))))) 1 (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 1 (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (+ (sqrt (exp (- x))) (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (+ (exp x) (exp (- x)))) (+ (sqrt (exp (- x))) (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (+ (exp x) (exp (- x)))) (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp x) (exp (- x))) (cbrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x))))) 1 (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 1 (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ 1 (+ (exp x) (exp (- x)))) (/ (+ (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (/ (- (exp x) (exp (- x))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x))))) (- (exp x) (exp (- x))) (- (exp x) (exp (- x))) (/ (+ (exp x) (exp (- x))) (cbrt (- (exp x) (exp (- x))))) (/ (+ (exp x) (exp (- x))) (sqrt (- (exp x) (exp (- x))))) (/ (+ (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (/ (+ (exp x) (exp (- x))) (- (sqrt (exp x)) (sqrt (exp (- x))))) (/ (+ (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (/ (- (exp x) (exp (- x))) (+ (pow (exp x) 3) (exp (* x -3)))) (/ (- (exp x) (exp (- x))) (- (exp (+ x x)) (exp (* x -2)))) (* (+ (+ 1 (exp (+ x x))) (exp (* x -2))) (+ (exp x) (exp (- x)))) (+ (+ (exp (* x -2)) (exp (+ x x))) 2) (expm1 (+ (exp x) (exp (- x)))) (log1p (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (log (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x)))) (pow (+ (exp x) (exp (- x))) 3) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (exp (* x -3))) (fma (exp x) (exp x) (expm1 (* x -2))) (- (exp (+ x x)) (exp (* x -2))) (- (exp x) (exp (- x))) (+ (exp (- x)) (exp x)) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (- x))) (fma (pow x 3) -1/3 (fma (pow x 5) 2/15 x)) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (fma x x (fma 1/12 (pow x 4) 2)) (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)) 4.914 * * * [progress]: adding candidates to table 5.116 * * [progress]: iteration 2 / 4 5.116 * * * [progress]: picking best candidate 5.122 * * * * [pick]: Picked # 5.122 * * * [progress]: localizing error 5.124 * * * [progress]: generating rewritten candidates 5.124 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.125 * * * [progress]: generating series expansions 5.125 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.125 * [approximate]: Taking taylor expansion of (tanh x) in (x) around 0 5.125 * [taylor]: Taking taylor expansion of (tanh x) in x 5.125 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 5.125 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 5.125 * [taylor]: Taking taylor expansion of (exp x) in x 5.125 * [taylor]: Taking taylor expansion of x in x 5.125 * [taylor]: Taking taylor expansion of (exp (- x)) in x 5.125 * [taylor]: Taking taylor expansion of (- x) in x 5.125 * [taylor]: Taking taylor expansion of x in x 5.126 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 5.126 * [taylor]: Taking taylor expansion of (exp x) in x 5.126 * [taylor]: Taking taylor expansion of x in x 5.126 * [taylor]: Taking taylor expansion of (exp (- x)) in x 5.126 * [taylor]: Taking taylor expansion of (- x) in x 5.126 * [taylor]: Taking taylor expansion of x in x 5.129 * [taylor]: Taking taylor expansion of (tanh x) in x 5.129 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 5.129 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 5.129 * [taylor]: Taking taylor expansion of (exp x) in x 5.129 * [taylor]: Taking taylor expansion of x in x 5.130 * [taylor]: Taking taylor expansion of (exp (- x)) in x 5.130 * [taylor]: Taking taylor expansion of (- x) in x 5.130 * [taylor]: Taking taylor expansion of x in x 5.130 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 5.130 * [taylor]: Taking taylor expansion of (exp x) in x 5.130 * [taylor]: Taking taylor expansion of x in x 5.130 * [taylor]: Taking taylor expansion of (exp (- x)) in x 5.130 * [taylor]: Taking taylor expansion of (- x) in x 5.130 * [taylor]: Taking taylor expansion of x in x 5.176 * [approximate]: Taking taylor expansion of (tanh (/ 1 x)) in (x) around 0 5.176 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x 5.176 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 5.176 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 5.176 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.176 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.176 * [taylor]: Taking taylor expansion of x in x 5.176 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 5.176 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 5.176 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.176 * [taylor]: Taking taylor expansion of x in x 5.177 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 5.177 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.177 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.177 * [taylor]: Taking taylor expansion of x in x 5.177 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 5.177 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 5.177 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.177 * [taylor]: Taking taylor expansion of x in x 5.178 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x 5.178 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 5.178 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 5.178 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.178 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.178 * [taylor]: Taking taylor expansion of x in x 5.179 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 5.179 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 5.179 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.179 * [taylor]: Taking taylor expansion of x in x 5.179 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 5.179 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.179 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.179 * [taylor]: Taking taylor expansion of x in x 5.180 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 5.180 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 5.180 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.180 * [taylor]: Taking taylor expansion of x in x 5.189 * [approximate]: Taking taylor expansion of (tanh (/ -1 x)) in (x) around 0 5.189 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x 5.189 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (- (/ -1 x)))) (+ (exp (/ -1 x)) (exp (- (/ -1 x))))) 5.189 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 5.189 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.189 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.189 * [taylor]: Taking taylor expansion of -1 in x 5.189 * [taylor]: Taking taylor expansion of x in x 5.189 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 5.189 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 5.190 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.190 * [taylor]: Taking taylor expansion of -1 in x 5.190 * [taylor]: Taking taylor expansion of x in x 5.190 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 5.190 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.190 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.190 * [taylor]: Taking taylor expansion of -1 in x 5.190 * [taylor]: Taking taylor expansion of x in x 5.191 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 5.191 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 5.191 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.191 * [taylor]: Taking taylor expansion of -1 in x 5.191 * [taylor]: Taking taylor expansion of x in x 5.191 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x 5.192 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (- (/ -1 x)))) (+ (exp (/ -1 x)) (exp (- (/ -1 x))))) 5.192 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 5.192 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.192 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.192 * [taylor]: Taking taylor expansion of -1 in x 5.192 * [taylor]: Taking taylor expansion of x in x 5.192 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 5.192 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 5.192 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.192 * [taylor]: Taking taylor expansion of -1 in x 5.192 * [taylor]: Taking taylor expansion of x in x 5.193 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 5.193 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.193 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.193 * [taylor]: Taking taylor expansion of -1 in x 5.193 * [taylor]: Taking taylor expansion of x in x 5.193 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 5.193 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 5.193 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.193 * [taylor]: Taking taylor expansion of -1 in x 5.193 * [taylor]: Taking taylor expansion of x in x 5.202 * * * [progress]: simplifying candidates 5.202 * [simplify]: Simplifying using # : (expm1 (tanh x)) (log1p (tanh x)) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (- (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1) (- 1 (exp (* -2 x))) (+ 1 (exp (* -2 x))) (log (tanh x)) (exp (tanh x)) (* (cbrt (tanh x)) (cbrt (tanh x))) (cbrt (tanh x)) (* (* (tanh x) (tanh x)) (tanh x)) (sqrt (tanh x)) (sqrt (tanh x)) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ (- (exp x) (exp (* -1 x))) (+ (exp (* -1 x)) (exp x))) 5.204 * * [simplify]: iteration 0 : 44 enodes (cost 113 ) 5.212 * * [simplify]: iteration 1 : 96 enodes (cost 87 ) 5.230 * * [simplify]: iteration 2 : 204 enodes (cost 82 ) 5.268 * * [simplify]: iteration 3 : 554 enodes (cost 81 ) 5.491 * * [simplify]: iteration 4 : 2430 enodes (cost 81 ) 6.372 * * [simplify]: iteration done : 5000 enodes (cost 81 ) 6.373 * [simplify]: Simplified to: (expm1 (tanh x)) (log1p (tanh x)) (- (exp x) (exp (- x))) (+ (exp (- x)) (exp x)) (expm1 (* 2 x)) (+ (exp (* 2 x)) 1) (- 1 (exp (* -2 x))) (+ 1 (exp (* -2 x))) (log (tanh x)) (exp (tanh x)) (* (cbrt (tanh x)) (cbrt (tanh x))) (cbrt (tanh x)) (pow (tanh x) 3) (sqrt (tanh x)) (sqrt (tanh x)) (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) (tanh x) (tanh x) 6.373 * * * [progress]: adding candidates to table 6.402 * * [progress]: iteration 3 / 4 6.402 * * * [progress]: picking best candidate 6.409 * * * * [pick]: Picked # 6.409 * * * [progress]: localizing error 6.414 * * * [progress]: generating rewritten candidates 6.414 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 6.415 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 6.415 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 6.416 * * * [progress]: generating series expansions 6.416 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 6.416 * [approximate]: Taking taylor expansion of (tanh x) in (x) around 0 6.416 * [taylor]: Taking taylor expansion of (tanh x) in x 6.416 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 6.416 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 6.416 * [taylor]: Taking taylor expansion of (exp x) in x 6.416 * [taylor]: Taking taylor expansion of x in x 6.416 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.416 * [taylor]: Taking taylor expansion of (- x) in x 6.416 * [taylor]: Taking taylor expansion of x in x 6.417 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.417 * [taylor]: Taking taylor expansion of (exp x) in x 6.417 * [taylor]: Taking taylor expansion of x in x 6.417 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.417 * [taylor]: Taking taylor expansion of (- x) in x 6.417 * [taylor]: Taking taylor expansion of x in x 6.420 * [taylor]: Taking taylor expansion of (tanh x) in x 6.421 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 6.421 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 6.421 * [taylor]: Taking taylor expansion of (exp x) in x 6.421 * [taylor]: Taking taylor expansion of x in x 6.421 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.421 * [taylor]: Taking taylor expansion of (- x) in x 6.421 * [taylor]: Taking taylor expansion of x in x 6.421 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.421 * [taylor]: Taking taylor expansion of (exp x) in x 6.421 * [taylor]: Taking taylor expansion of x in x 6.421 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.421 * [taylor]: Taking taylor expansion of (- x) in x 6.421 * [taylor]: Taking taylor expansion of x in x 6.464 * [approximate]: Taking taylor expansion of (tanh (/ 1 x)) in (x) around 0 6.464 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x 6.464 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 6.464 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.464 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.464 * [taylor]: Taking taylor expansion of x in x 6.464 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.464 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.464 * [taylor]: Taking taylor expansion of x in x 6.465 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.465 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.465 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.465 * [taylor]: Taking taylor expansion of x in x 6.465 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.465 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.465 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.465 * [taylor]: Taking taylor expansion of x in x 6.466 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x 6.466 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 6.466 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.466 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.466 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.466 * [taylor]: Taking taylor expansion of x in x 6.467 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.467 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.467 * [taylor]: Taking taylor expansion of x in x 6.467 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.467 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.467 * [taylor]: Taking taylor expansion of x in x 6.468 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.468 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.468 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.468 * [taylor]: Taking taylor expansion of x in x 6.477 * [approximate]: Taking taylor expansion of (tanh (/ -1 x)) in (x) around 0 6.477 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x 6.477 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (- (/ -1 x)))) (+ (exp (/ -1 x)) (exp (- (/ -1 x))))) 6.477 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.477 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.477 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.477 * [taylor]: Taking taylor expansion of -1 in x 6.477 * [taylor]: Taking taylor expansion of x in x 6.478 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.478 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.478 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.478 * [taylor]: Taking taylor expansion of -1 in x 6.478 * [taylor]: Taking taylor expansion of x in x 6.479 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.479 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.479 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.479 * [taylor]: Taking taylor expansion of -1 in x 6.479 * [taylor]: Taking taylor expansion of x in x 6.479 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.479 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.479 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.479 * [taylor]: Taking taylor expansion of -1 in x 6.479 * [taylor]: Taking taylor expansion of x in x 6.480 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x 6.480 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (- (/ -1 x)))) (+ (exp (/ -1 x)) (exp (- (/ -1 x))))) 6.480 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.480 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.480 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.480 * [taylor]: Taking taylor expansion of -1 in x 6.480 * [taylor]: Taking taylor expansion of x in x 6.481 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.481 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.481 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.481 * [taylor]: Taking taylor expansion of -1 in x 6.481 * [taylor]: Taking taylor expansion of x in x 6.481 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.481 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.481 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.481 * [taylor]: Taking taylor expansion of -1 in x 6.481 * [taylor]: Taking taylor expansion of x in x 6.482 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.482 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.482 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.482 * [taylor]: Taking taylor expansion of -1 in x 6.482 * [taylor]: Taking taylor expansion of x in x 6.491 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 6.491 * [approximate]: Taking taylor expansion of (log1p (tanh x)) in (x) around 0 6.491 * [taylor]: Taking taylor expansion of (log1p (tanh x)) in x 6.491 * [taylor]: Rewrote expression to (log (+ 1 (tanh x))) 6.491 * [taylor]: Taking taylor expansion of (+ 1 (tanh x)) in x 6.491 * [taylor]: Taking taylor expansion of 1 in x 6.491 * [taylor]: Taking taylor expansion of (tanh x) in x 6.491 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 6.492 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 6.492 * [taylor]: Taking taylor expansion of (exp x) in x 6.492 * [taylor]: Taking taylor expansion of x in x 6.492 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.492 * [taylor]: Taking taylor expansion of (- x) in x 6.492 * [taylor]: Taking taylor expansion of x in x 6.492 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.492 * [taylor]: Taking taylor expansion of (exp x) in x 6.492 * [taylor]: Taking taylor expansion of x in x 6.492 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.492 * [taylor]: Taking taylor expansion of (- x) in x 6.492 * [taylor]: Taking taylor expansion of x in x 6.499 * [taylor]: Taking taylor expansion of (log1p (tanh x)) in x 6.499 * [taylor]: Rewrote expression to (log (+ 1 (tanh x))) 6.499 * [taylor]: Taking taylor expansion of (+ 1 (tanh x)) in x 6.499 * [taylor]: Taking taylor expansion of 1 in x 6.499 * [taylor]: Taking taylor expansion of (tanh x) in x 6.499 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 6.499 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 6.499 * [taylor]: Taking taylor expansion of (exp x) in x 6.499 * [taylor]: Taking taylor expansion of x in x 6.499 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.499 * [taylor]: Taking taylor expansion of (- x) in x 6.500 * [taylor]: Taking taylor expansion of x in x 6.500 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.500 * [taylor]: Taking taylor expansion of (exp x) in x 6.500 * [taylor]: Taking taylor expansion of x in x 6.500 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.500 * [taylor]: Taking taylor expansion of (- x) in x 6.500 * [taylor]: Taking taylor expansion of x in x 6.538 * [approximate]: Taking taylor expansion of (log1p (tanh (/ 1 x))) in (x) around 0 6.538 * [taylor]: Taking taylor expansion of (log1p (tanh (/ 1 x))) in x 6.538 * [taylor]: Rewrote expression to (log (+ 1 (tanh (/ 1 x)))) 6.538 * [taylor]: Taking taylor expansion of (+ 1 (tanh (/ 1 x))) in x 6.538 * [taylor]: Taking taylor expansion of 1 in x 6.538 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x 6.539 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 6.539 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.539 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.539 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.539 * [taylor]: Taking taylor expansion of x in x 6.539 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.539 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.539 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.539 * [taylor]: Taking taylor expansion of x in x 6.540 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.540 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.540 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.540 * [taylor]: Taking taylor expansion of x in x 6.540 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.540 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.540 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.540 * [taylor]: Taking taylor expansion of x in x 6.541 * [taylor]: Taking taylor expansion of (log1p (tanh (/ 1 x))) in x 6.542 * [taylor]: Rewrote expression to (log (+ 1 (tanh (/ 1 x)))) 6.542 * [taylor]: Taking taylor expansion of (+ 1 (tanh (/ 1 x))) in x 6.542 * [taylor]: Taking taylor expansion of 1 in x 6.542 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x 6.542 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 6.542 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.542 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.542 * [taylor]: Taking taylor expansion of x in x 6.542 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.542 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.542 * [taylor]: Taking taylor expansion of x in x 6.543 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.543 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.543 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.543 * [taylor]: Taking taylor expansion of x in x 6.543 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.543 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.543 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.543 * [taylor]: Taking taylor expansion of x in x 6.585 * [approximate]: Taking taylor expansion of (log1p (tanh (/ -1 x))) in (x) around 0 6.585 * [taylor]: Taking taylor expansion of (log1p (tanh (/ -1 x))) in x 6.585 * [taylor]: Rewrote expression to (log (+ 1 (tanh (/ -1 x)))) 6.585 * [taylor]: Taking taylor expansion of (+ 1 (tanh (/ -1 x))) in x 6.585 * [taylor]: Taking taylor expansion of 1 in x 6.585 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x 6.585 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (- (/ -1 x)))) (+ (exp (/ -1 x)) (exp (- (/ -1 x))))) 6.586 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.586 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.586 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.586 * [taylor]: Taking taylor expansion of -1 in x 6.586 * [taylor]: Taking taylor expansion of x in x 6.586 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.586 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.586 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.586 * [taylor]: Taking taylor expansion of -1 in x 6.586 * [taylor]: Taking taylor expansion of x in x 6.587 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.587 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.587 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.587 * [taylor]: Taking taylor expansion of -1 in x 6.587 * [taylor]: Taking taylor expansion of x in x 6.587 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.587 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.587 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.587 * [taylor]: Taking taylor expansion of -1 in x 6.587 * [taylor]: Taking taylor expansion of x in x 6.588 * [taylor]: Taking taylor expansion of (log1p (tanh (/ -1 x))) in x 6.588 * [taylor]: Rewrote expression to (log (+ 1 (tanh (/ -1 x)))) 6.588 * [taylor]: Taking taylor expansion of (+ 1 (tanh (/ -1 x))) in x 6.588 * [taylor]: Taking taylor expansion of 1 in x 6.588 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x 6.589 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (- (/ -1 x)))) (+ (exp (/ -1 x)) (exp (- (/ -1 x))))) 6.589 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.589 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.589 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.589 * [taylor]: Taking taylor expansion of -1 in x 6.589 * [taylor]: Taking taylor expansion of x in x 6.589 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.589 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.589 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.589 * [taylor]: Taking taylor expansion of -1 in x 6.589 * [taylor]: Taking taylor expansion of x in x 6.590 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.590 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.590 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.590 * [taylor]: Taking taylor expansion of -1 in x 6.590 * [taylor]: Taking taylor expansion of x in x 6.590 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.590 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.590 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.590 * [taylor]: Taking taylor expansion of -1 in x 6.590 * [taylor]: Taking taylor expansion of x in x 6.627 * * * * [progress]: [ 3 / 3 ] generating series at (2) 6.627 * [approximate]: Taking taylor expansion of (expm1 (log1p (tanh x))) in (x) around 0 6.627 * [taylor]: Taking taylor expansion of (expm1 (log1p (tanh x))) in x 6.627 * [taylor]: Rewrote expression to (- (exp (log1p (tanh x))) 1) 6.627 * [taylor]: Taking taylor expansion of (exp (log1p (tanh x))) in x 6.627 * [taylor]: Taking taylor expansion of (log1p (tanh x)) in x 6.627 * [taylor]: Rewrote expression to (log (+ 1 (tanh x))) 6.627 * [taylor]: Taking taylor expansion of (+ 1 (tanh x)) in x 6.627 * [taylor]: Taking taylor expansion of 1 in x 6.627 * [taylor]: Taking taylor expansion of (tanh x) in x 6.627 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 6.627 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 6.627 * [taylor]: Taking taylor expansion of (exp x) in x 6.627 * [taylor]: Taking taylor expansion of x in x 6.628 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.628 * [taylor]: Taking taylor expansion of (- x) in x 6.628 * [taylor]: Taking taylor expansion of x in x 6.628 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.628 * [taylor]: Taking taylor expansion of (exp x) in x 6.628 * [taylor]: Taking taylor expansion of x in x 6.628 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.628 * [taylor]: Taking taylor expansion of (- x) in x 6.628 * [taylor]: Taking taylor expansion of x in x 6.633 * [taylor]: Taking taylor expansion of 1 in x 6.633 * [taylor]: Taking taylor expansion of (expm1 (log1p (tanh x))) in x 6.633 * [taylor]: Rewrote expression to (- (exp (log1p (tanh x))) 1) 6.633 * [taylor]: Taking taylor expansion of (exp (log1p (tanh x))) in x 6.633 * [taylor]: Taking taylor expansion of (log1p (tanh x)) in x 6.633 * [taylor]: Rewrote expression to (log (+ 1 (tanh x))) 6.633 * [taylor]: Taking taylor expansion of (+ 1 (tanh x)) in x 6.633 * [taylor]: Taking taylor expansion of 1 in x 6.633 * [taylor]: Taking taylor expansion of (tanh x) in x 6.633 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 6.633 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 6.633 * [taylor]: Taking taylor expansion of (exp x) in x 6.633 * [taylor]: Taking taylor expansion of x in x 6.633 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.633 * [taylor]: Taking taylor expansion of (- x) in x 6.633 * [taylor]: Taking taylor expansion of x in x 6.634 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 6.634 * [taylor]: Taking taylor expansion of (exp x) in x 6.634 * [taylor]: Taking taylor expansion of x in x 6.634 * [taylor]: Taking taylor expansion of (exp (- x)) in x 6.634 * [taylor]: Taking taylor expansion of (- x) in x 6.634 * [taylor]: Taking taylor expansion of x in x 6.638 * [taylor]: Taking taylor expansion of 1 in x 6.712 * [approximate]: Taking taylor expansion of (expm1 (log1p (tanh (/ 1 x)))) in (x) around 0 6.712 * [taylor]: Taking taylor expansion of (expm1 (log1p (tanh (/ 1 x)))) in x 6.712 * [taylor]: Rewrote expression to (- (exp (log1p (tanh (/ 1 x)))) 1) 6.712 * [taylor]: Taking taylor expansion of (exp (log1p (tanh (/ 1 x)))) in x 6.712 * [taylor]: Taking taylor expansion of (log1p (tanh (/ 1 x))) in x 6.712 * [taylor]: Rewrote expression to (log (+ 1 (tanh (/ 1 x)))) 6.712 * [taylor]: Taking taylor expansion of (+ 1 (tanh (/ 1 x))) in x 6.712 * [taylor]: Taking taylor expansion of 1 in x 6.712 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x 6.713 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 6.713 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.713 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.713 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.713 * [taylor]: Taking taylor expansion of x in x 6.713 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.713 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.713 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.713 * [taylor]: Taking taylor expansion of x in x 6.714 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.714 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.714 * [taylor]: Taking taylor expansion of x in x 6.714 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.714 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.714 * [taylor]: Taking taylor expansion of x in x 6.716 * [taylor]: Taking taylor expansion of 1 in x 6.716 * [taylor]: Taking taylor expansion of (expm1 (log1p (tanh (/ 1 x)))) in x 6.716 * [taylor]: Rewrote expression to (- (exp (log1p (tanh (/ 1 x)))) 1) 6.716 * [taylor]: Taking taylor expansion of (exp (log1p (tanh (/ 1 x)))) in x 6.716 * [taylor]: Taking taylor expansion of (log1p (tanh (/ 1 x))) in x 6.716 * [taylor]: Rewrote expression to (log (+ 1 (tanh (/ 1 x)))) 6.716 * [taylor]: Taking taylor expansion of (+ 1 (tanh (/ 1 x))) in x 6.716 * [taylor]: Taking taylor expansion of 1 in x 6.716 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x 6.716 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 6.716 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.716 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.716 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.716 * [taylor]: Taking taylor expansion of x in x 6.716 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.716 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.716 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.716 * [taylor]: Taking taylor expansion of x in x 6.717 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 6.717 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.717 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.717 * [taylor]: Taking taylor expansion of x in x 6.717 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 6.717 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.717 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.717 * [taylor]: Taking taylor expansion of x in x 6.719 * [taylor]: Taking taylor expansion of 1 in x 6.774 * [approximate]: Taking taylor expansion of (expm1 (log1p (tanh (/ -1 x)))) in (x) around 0 6.774 * [taylor]: Taking taylor expansion of (expm1 (log1p (tanh (/ -1 x)))) in x 6.774 * [taylor]: Rewrote expression to (- (exp (log1p (tanh (/ -1 x)))) 1) 6.774 * [taylor]: Taking taylor expansion of (exp (log1p (tanh (/ -1 x)))) in x 6.774 * [taylor]: Taking taylor expansion of (log1p (tanh (/ -1 x))) in x 6.774 * [taylor]: Rewrote expression to (log (+ 1 (tanh (/ -1 x)))) 6.774 * [taylor]: Taking taylor expansion of (+ 1 (tanh (/ -1 x))) in x 6.774 * [taylor]: Taking taylor expansion of 1 in x 6.774 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x 6.774 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (- (/ -1 x)))) (+ (exp (/ -1 x)) (exp (- (/ -1 x))))) 6.774 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.774 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.774 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.774 * [taylor]: Taking taylor expansion of -1 in x 6.774 * [taylor]: Taking taylor expansion of x in x 6.774 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.774 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.775 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.775 * [taylor]: Taking taylor expansion of -1 in x 6.775 * [taylor]: Taking taylor expansion of x in x 6.775 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.775 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.775 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.775 * [taylor]: Taking taylor expansion of -1 in x 6.775 * [taylor]: Taking taylor expansion of x in x 6.776 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.776 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.776 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.776 * [taylor]: Taking taylor expansion of -1 in x 6.776 * [taylor]: Taking taylor expansion of x in x 6.777 * [taylor]: Taking taylor expansion of 1 in x 6.777 * [taylor]: Taking taylor expansion of (expm1 (log1p (tanh (/ -1 x)))) in x 6.777 * [taylor]: Rewrote expression to (- (exp (log1p (tanh (/ -1 x)))) 1) 6.777 * [taylor]: Taking taylor expansion of (exp (log1p (tanh (/ -1 x)))) in x 6.777 * [taylor]: Taking taylor expansion of (log1p (tanh (/ -1 x))) in x 6.777 * [taylor]: Rewrote expression to (log (+ 1 (tanh (/ -1 x)))) 6.777 * [taylor]: Taking taylor expansion of (+ 1 (tanh (/ -1 x))) in x 6.777 * [taylor]: Taking taylor expansion of 1 in x 6.777 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x 6.777 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (- (/ -1 x)))) (+ (exp (/ -1 x)) (exp (- (/ -1 x))))) 6.778 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.778 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.778 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.778 * [taylor]: Taking taylor expansion of -1 in x 6.778 * [taylor]: Taking taylor expansion of x in x 6.778 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.778 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.778 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.778 * [taylor]: Taking taylor expansion of -1 in x 6.778 * [taylor]: Taking taylor expansion of x in x 6.779 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x 6.779 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.779 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.779 * [taylor]: Taking taylor expansion of -1 in x 6.779 * [taylor]: Taking taylor expansion of x in x 6.779 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x 6.779 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x 6.779 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.779 * [taylor]: Taking taylor expansion of -1 in x 6.779 * [taylor]: Taking taylor expansion of x in x 6.781 * [taylor]: Taking taylor expansion of 1 in x 6.830 * * * [progress]: simplifying candidates 6.831 * [simplify]: Simplifying using # : (expm1 (tanh x)) (log1p (tanh x)) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (- (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1) (- 1 (exp (* -2 x))) (+ 1 (exp (* -2 x))) (log (tanh x)) (exp (tanh x)) (* (cbrt (tanh x)) (cbrt (tanh x))) (cbrt (tanh x)) (* (* (tanh x) (tanh x)) (tanh x)) (sqrt (tanh x)) (sqrt (tanh x)) (+ 1 (tanh x)) (expm1 (log1p (tanh x))) (log1p (log1p (tanh x))) (log (log1p (tanh x))) (exp (log1p (tanh x))) (* (cbrt (log1p (tanh x))) (cbrt (log1p (tanh x)))) (cbrt (log1p (tanh x))) (* (* (log1p (tanh x)) (log1p (tanh x))) (log1p (tanh x))) (sqrt (log1p (tanh x))) (sqrt (log1p (tanh x))) (exp (log1p (tanh x))) (expm1 (expm1 (log1p (tanh x)))) (log1p (expm1 (log1p (tanh x)))) (log (expm1 (log1p (tanh x)))) (exp (expm1 (log1p (tanh x)))) (* (cbrt (expm1 (log1p (tanh x)))) (cbrt (expm1 (log1p (tanh x))))) (cbrt (expm1 (log1p (tanh x)))) (* (* (expm1 (log1p (tanh x))) (expm1 (log1p (tanh x)))) (expm1 (log1p (tanh x)))) (sqrt (expm1 (log1p (tanh x)))) (sqrt (expm1 (log1p (tanh x)))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ (- (exp x) (exp (* -1 x))) (+ (exp (* -1 x)) (exp x))) (- (+ x (* 1/12 (pow x 4))) (* 1/2 (pow x 2))) (log (- (+ (/ (exp x) (+ (exp x) (exp (- x)))) 1) (/ (exp (- x)) (+ (exp x) (exp (- x)))))) (log (- (+ (/ (exp x) (+ (exp (* -1 x)) (exp x))) 1) (/ (exp (* -1 x)) (+ (exp (* -1 x)) (exp x))))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (- (/ (exp x) (+ (exp x) (exp (- x)))) (/ (exp (- x)) (+ (exp x) (exp (- x))))) (- (/ (exp x) (+ (exp (* -1 x)) (exp x))) (/ (exp (* -1 x)) (+ (exp (* -1 x)) (exp x)))) 6.836 * * [simplify]: iteration 0 : 84 enodes (cost 347 ) 6.852 * * [simplify]: iteration 1 : 158 enodes (cost 253 ) 6.879 * * [simplify]: iteration 2 : 332 enodes (cost 200 ) 6.953 * * [simplify]: iteration 3 : 918 enodes (cost 193 ) 7.511 * * [simplify]: iteration 4 : 3941 enodes (cost 193 ) 8.485 * * [simplify]: iteration done : 5001 enodes (cost 193 ) 8.485 * [simplify]: Simplified to: (expm1 (tanh x)) (log1p (tanh x)) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (expm1 (* 2 x)) (+ (exp (* 2 x)) 1) (- 1 (exp (* -2 x))) (+ 1 (exp (* -2 x))) (log (tanh x)) (exp (tanh x)) (* (cbrt (tanh x)) (cbrt (tanh x))) (cbrt (tanh x)) (pow (tanh x) 3) (sqrt (tanh x)) (sqrt (tanh x)) (exp (log1p (tanh x))) (tanh x) (log1p (log1p (tanh x))) (log (log1p (tanh x))) (exp (log1p (tanh x))) (* (cbrt (log1p (tanh x))) (cbrt (log1p (tanh x)))) (cbrt (log1p (tanh x))) (pow (log1p (tanh x)) 3) (sqrt (log1p (tanh x))) (sqrt (log1p (tanh x))) (exp (log1p (tanh x))) (expm1 (tanh x)) (log1p (tanh x)) (log (tanh x)) (exp (tanh x)) (* (cbrt (tanh x)) (cbrt (tanh x))) (cbrt (tanh x)) (pow (tanh x) 3) (sqrt (tanh x)) (sqrt (tanh x)) (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) (tanh x) (tanh x) (fma (pow x 2) -1/2 (fma (pow x 4) 1/12 x)) (log1p (tanh x)) (log1p (tanh x)) (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) (tanh x) (tanh x) 8.486 * * * [progress]: adding candidates to table 8.582 * * [progress]: iteration 4 / 4 8.583 * * * [progress]: picking best candidate 8.586 * * * * [pick]: Picked # 8.586 * * * [progress]: localizing error 8.597 * * * [progress]: generating rewritten candidates 8.597 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 8.598 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 8.598 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 8.598 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 3) 8.599 * * * [progress]: generating series expansions 8.599 * * * * [progress]: [ 1 / 4 ] generating series at (2) 8.600 * [approximate]: Taking taylor expansion of (expm1 (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) in (x) around 0 8.600 * [taylor]: Taking taylor expansion of (expm1 (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) in x 8.600 * [taylor]: Rewrote expression to (- (exp (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) 1) 8.600 * [taylor]: Taking taylor expansion of (exp (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) in x 8.600 * [taylor]: Taking taylor expansion of (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) in x 8.600 * [taylor]: Rewrote expression to (log (+ 1 (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) 8.600 * [taylor]: Taking taylor expansion of (+ 1 (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) in x 8.600 * [taylor]: Taking taylor expansion of 1 in x 8.600 * [taylor]: Taking taylor expansion of (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) in x 8.600 * [taylor]: Rewrote expression to (+ (* -1/3 (pow x 3)) (fma 2/15 (pow x 5) x)) 8.600 * [taylor]: Taking taylor expansion of (* -1/3 (pow x 3)) in x 8.600 * [taylor]: Taking taylor expansion of -1/3 in x 8.600 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.600 * [taylor]: Taking taylor expansion of x in x 8.600 * [taylor]: Taking taylor expansion of (fma 2/15 (pow x 5) x) in x 8.600 * [taylor]: Rewrote expression to (+ (* 2/15 (pow x 5)) x) 8.600 * [taylor]: Taking taylor expansion of (* 2/15 (pow x 5)) in x 8.600 * [taylor]: Taking taylor expansion of 2/15 in x 8.600 * [taylor]: Taking taylor expansion of (pow x 5) in x 8.600 * [taylor]: Taking taylor expansion of x in x 8.600 * [taylor]: Taking taylor expansion of x in x 8.603 * [taylor]: Taking taylor expansion of 1 in x 8.603 * [taylor]: Taking taylor expansion of (expm1 (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) in x 8.603 * [taylor]: Rewrote expression to (- (exp (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) 1) 8.603 * [taylor]: Taking taylor expansion of (exp (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) in x 8.603 * [taylor]: Taking taylor expansion of (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) in x 8.603 * [taylor]: Rewrote expression to (log (+ 1 (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) 8.603 * [taylor]: Taking taylor expansion of (+ 1 (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) in x 8.603 * [taylor]: Taking taylor expansion of 1 in x 8.603 * [taylor]: Taking taylor expansion of (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) in x 8.604 * [taylor]: Rewrote expression to (+ (* -1/3 (pow x 3)) (fma 2/15 (pow x 5) x)) 8.604 * [taylor]: Taking taylor expansion of (* -1/3 (pow x 3)) in x 8.604 * [taylor]: Taking taylor expansion of -1/3 in x 8.604 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.604 * [taylor]: Taking taylor expansion of x in x 8.604 * [taylor]: Taking taylor expansion of (fma 2/15 (pow x 5) x) in x 8.604 * [taylor]: Rewrote expression to (+ (* 2/15 (pow x 5)) x) 8.604 * [taylor]: Taking taylor expansion of (* 2/15 (pow x 5)) in x 8.604 * [taylor]: Taking taylor expansion of 2/15 in x 8.604 * [taylor]: Taking taylor expansion of (pow x 5) in x 8.604 * [taylor]: Taking taylor expansion of x in x 8.604 * [taylor]: Taking taylor expansion of x in x 8.606 * [taylor]: Taking taylor expansion of 1 in x 8.649 * [approximate]: Taking taylor expansion of (expm1 (log1p (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))))) in (x) around 0 8.649 * [taylor]: Taking taylor expansion of (expm1 (log1p (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))))) in x 8.649 * [taylor]: Rewrote expression to (- (exp (log1p (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))))) 1) 8.649 * [taylor]: Taking taylor expansion of (exp (log1p (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))))) in x 8.649 * [taylor]: Taking taylor expansion of (log1p (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x)))) in x 8.649 * [taylor]: Rewrote expression to (log (+ 1 (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))))) 8.649 * [taylor]: Taking taylor expansion of (+ 1 (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x)))) in x 8.649 * [taylor]: Taking taylor expansion of 1 in x 8.649 * [taylor]: Taking taylor expansion of (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))) in x 8.649 * [taylor]: Rewrote expression to (+ (* -1/3 (pow (/ 1 x) 3)) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))) 8.649 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ 1 x) 3)) in x 8.649 * [taylor]: Taking taylor expansion of -1/3 in x 8.649 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x 8.649 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.650 * [taylor]: Taking taylor expansion of x in x 8.650 * [taylor]: Taking taylor expansion of (fma 2/15 (pow (/ 1 x) 5) (/ 1 x)) in x 8.650 * [taylor]: Rewrote expression to (+ (* 2/15 (pow (/ 1 x) 5)) (/ 1 x)) 8.650 * [taylor]: Taking taylor expansion of (* 2/15 (pow (/ 1 x) 5)) in x 8.650 * [taylor]: Taking taylor expansion of 2/15 in x 8.650 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 8.650 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.650 * [taylor]: Taking taylor expansion of x in x 8.650 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.650 * [taylor]: Taking taylor expansion of x in x 8.654 * [taylor]: Taking taylor expansion of 1 in x 8.654 * [taylor]: Taking taylor expansion of (expm1 (log1p (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))))) in x 8.654 * [taylor]: Rewrote expression to (- (exp (log1p (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))))) 1) 8.654 * [taylor]: Taking taylor expansion of (exp (log1p (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))))) in x 8.655 * [taylor]: Taking taylor expansion of (log1p (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x)))) in x 8.655 * [taylor]: Rewrote expression to (log (+ 1 (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))))) 8.655 * [taylor]: Taking taylor expansion of (+ 1 (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x)))) in x 8.655 * [taylor]: Taking taylor expansion of 1 in x 8.655 * [taylor]: Taking taylor expansion of (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))) in x 8.655 * [taylor]: Rewrote expression to (+ (* -1/3 (pow (/ 1 x) 3)) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))) 8.655 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ 1 x) 3)) in x 8.655 * [taylor]: Taking taylor expansion of -1/3 in x 8.655 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x 8.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.655 * [taylor]: Taking taylor expansion of x in x 8.655 * [taylor]: Taking taylor expansion of (fma 2/15 (pow (/ 1 x) 5) (/ 1 x)) in x 8.655 * [taylor]: Rewrote expression to (+ (* 2/15 (pow (/ 1 x) 5)) (/ 1 x)) 8.655 * [taylor]: Taking taylor expansion of (* 2/15 (pow (/ 1 x) 5)) in x 8.655 * [taylor]: Taking taylor expansion of 2/15 in x 8.655 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 8.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.655 * [taylor]: Taking taylor expansion of x in x 8.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.656 * [taylor]: Taking taylor expansion of x in x 8.659 * [taylor]: Taking taylor expansion of 1 in x 8.701 * [approximate]: Taking taylor expansion of (expm1 (log1p (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))))) in (x) around 0 8.701 * [taylor]: Taking taylor expansion of (expm1 (log1p (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))))) in x 8.701 * [taylor]: Rewrote expression to (- (exp (log1p (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))))) 1) 8.701 * [taylor]: Taking taylor expansion of (exp (log1p (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))))) in x 8.701 * [taylor]: Taking taylor expansion of (log1p (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x)))) in x 8.701 * [taylor]: Rewrote expression to (log (+ 1 (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))))) 8.701 * [taylor]: Taking taylor expansion of (+ 1 (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x)))) in x 8.701 * [taylor]: Taking taylor expansion of 1 in x 8.701 * [taylor]: Taking taylor expansion of (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))) in x 8.701 * [taylor]: Rewrote expression to (+ (* -1/3 (pow (/ -1 x) 3)) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))) 8.701 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 x) 3)) in x 8.701 * [taylor]: Taking taylor expansion of -1/3 in x 8.701 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x 8.701 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.701 * [taylor]: Taking taylor expansion of -1 in x 8.701 * [taylor]: Taking taylor expansion of x in x 8.701 * [taylor]: Taking taylor expansion of (fma 2/15 (pow (/ -1 x) 5) (/ -1 x)) in x 8.701 * [taylor]: Rewrote expression to (+ (* 2/15 (pow (/ -1 x) 5)) (/ -1 x)) 8.702 * [taylor]: Taking taylor expansion of (* 2/15 (pow (/ -1 x) 5)) in x 8.702 * [taylor]: Taking taylor expansion of 2/15 in x 8.702 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 8.702 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.702 * [taylor]: Taking taylor expansion of -1 in x 8.702 * [taylor]: Taking taylor expansion of x in x 8.702 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.702 * [taylor]: Taking taylor expansion of -1 in x 8.702 * [taylor]: Taking taylor expansion of x in x 8.706 * [taylor]: Taking taylor expansion of 1 in x 8.706 * [taylor]: Taking taylor expansion of (expm1 (log1p (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))))) in x 8.706 * [taylor]: Rewrote expression to (- (exp (log1p (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))))) 1) 8.706 * [taylor]: Taking taylor expansion of (exp (log1p (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))))) in x 8.706 * [taylor]: Taking taylor expansion of (log1p (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x)))) in x 8.706 * [taylor]: Rewrote expression to (log (+ 1 (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))))) 8.706 * [taylor]: Taking taylor expansion of (+ 1 (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x)))) in x 8.706 * [taylor]: Taking taylor expansion of 1 in x 8.706 * [taylor]: Taking taylor expansion of (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))) in x 8.706 * [taylor]: Rewrote expression to (+ (* -1/3 (pow (/ -1 x) 3)) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))) 8.706 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 x) 3)) in x 8.706 * [taylor]: Taking taylor expansion of -1/3 in x 8.706 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x 8.706 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.706 * [taylor]: Taking taylor expansion of -1 in x 8.706 * [taylor]: Taking taylor expansion of x in x 8.706 * [taylor]: Taking taylor expansion of (fma 2/15 (pow (/ -1 x) 5) (/ -1 x)) in x 8.707 * [taylor]: Rewrote expression to (+ (* 2/15 (pow (/ -1 x) 5)) (/ -1 x)) 8.707 * [taylor]: Taking taylor expansion of (* 2/15 (pow (/ -1 x) 5)) in x 8.707 * [taylor]: Taking taylor expansion of 2/15 in x 8.707 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 8.707 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.707 * [taylor]: Taking taylor expansion of -1 in x 8.707 * [taylor]: Taking taylor expansion of x in x 8.707 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.707 * [taylor]: Taking taylor expansion of -1 in x 8.707 * [taylor]: Taking taylor expansion of x in x 8.711 * [taylor]: Taking taylor expansion of 1 in x 8.756 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 8.757 * [approximate]: Taking taylor expansion of (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) in (x) around 0 8.757 * [taylor]: Taking taylor expansion of (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) in x 8.757 * [taylor]: Rewrote expression to (log (+ 1 (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) 8.757 * [taylor]: Taking taylor expansion of (+ 1 (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) in x 8.757 * [taylor]: Taking taylor expansion of 1 in x 8.757 * [taylor]: Taking taylor expansion of (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) in x 8.757 * [taylor]: Rewrote expression to (+ (* -1/3 (pow x 3)) (fma 2/15 (pow x 5) x)) 8.757 * [taylor]: Taking taylor expansion of (* -1/3 (pow x 3)) in x 8.757 * [taylor]: Taking taylor expansion of -1/3 in x 8.757 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.757 * [taylor]: Taking taylor expansion of x in x 8.757 * [taylor]: Taking taylor expansion of (fma 2/15 (pow x 5) x) in x 8.757 * [taylor]: Rewrote expression to (+ (* 2/15 (pow x 5)) x) 8.757 * [taylor]: Taking taylor expansion of (* 2/15 (pow x 5)) in x 8.757 * [taylor]: Taking taylor expansion of 2/15 in x 8.757 * [taylor]: Taking taylor expansion of (pow x 5) in x 8.757 * [taylor]: Taking taylor expansion of x in x 8.757 * [taylor]: Taking taylor expansion of x in x 8.758 * [taylor]: Taking taylor expansion of (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) in x 8.758 * [taylor]: Rewrote expression to (log (+ 1 (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) 8.758 * [taylor]: Taking taylor expansion of (+ 1 (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) in x 8.758 * [taylor]: Taking taylor expansion of 1 in x 8.758 * [taylor]: Taking taylor expansion of (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) in x 8.758 * [taylor]: Rewrote expression to (+ (* -1/3 (pow x 3)) (fma 2/15 (pow x 5) x)) 8.759 * [taylor]: Taking taylor expansion of (* -1/3 (pow x 3)) in x 8.759 * [taylor]: Taking taylor expansion of -1/3 in x 8.759 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.759 * [taylor]: Taking taylor expansion of x in x 8.759 * [taylor]: Taking taylor expansion of (fma 2/15 (pow x 5) x) in x 8.759 * [taylor]: Rewrote expression to (+ (* 2/15 (pow x 5)) x) 8.759 * [taylor]: Taking taylor expansion of (* 2/15 (pow x 5)) in x 8.759 * [taylor]: Taking taylor expansion of 2/15 in x 8.759 * [taylor]: Taking taylor expansion of (pow x 5) in x 8.759 * [taylor]: Taking taylor expansion of x in x 8.759 * [taylor]: Taking taylor expansion of x in x 8.775 * [approximate]: Taking taylor expansion of (log1p (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x)))) in (x) around 0 8.775 * [taylor]: Taking taylor expansion of (log1p (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x)))) in x 8.775 * [taylor]: Rewrote expression to (log (+ 1 (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))))) 8.775 * [taylor]: Taking taylor expansion of (+ 1 (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x)))) in x 8.775 * [taylor]: Taking taylor expansion of 1 in x 8.775 * [taylor]: Taking taylor expansion of (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))) in x 8.775 * [taylor]: Rewrote expression to (+ (* -1/3 (pow (/ 1 x) 3)) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))) 8.775 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ 1 x) 3)) in x 8.775 * [taylor]: Taking taylor expansion of -1/3 in x 8.775 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x 8.775 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.775 * [taylor]: Taking taylor expansion of x in x 8.776 * [taylor]: Taking taylor expansion of (fma 2/15 (pow (/ 1 x) 5) (/ 1 x)) in x 8.776 * [taylor]: Rewrote expression to (+ (* 2/15 (pow (/ 1 x) 5)) (/ 1 x)) 8.776 * [taylor]: Taking taylor expansion of (* 2/15 (pow (/ 1 x) 5)) in x 8.776 * [taylor]: Taking taylor expansion of 2/15 in x 8.776 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 8.776 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.776 * [taylor]: Taking taylor expansion of x in x 8.776 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.776 * [taylor]: Taking taylor expansion of x in x 8.779 * [taylor]: Taking taylor expansion of (log1p (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x)))) in x 8.779 * [taylor]: Rewrote expression to (log (+ 1 (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))))) 8.779 * [taylor]: Taking taylor expansion of (+ 1 (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x)))) in x 8.779 * [taylor]: Taking taylor expansion of 1 in x 8.779 * [taylor]: Taking taylor expansion of (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))) in x 8.779 * [taylor]: Rewrote expression to (+ (* -1/3 (pow (/ 1 x) 3)) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))) 8.779 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ 1 x) 3)) in x 8.779 * [taylor]: Taking taylor expansion of -1/3 in x 8.779 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x 8.779 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.779 * [taylor]: Taking taylor expansion of x in x 8.779 * [taylor]: Taking taylor expansion of (fma 2/15 (pow (/ 1 x) 5) (/ 1 x)) in x 8.780 * [taylor]: Rewrote expression to (+ (* 2/15 (pow (/ 1 x) 5)) (/ 1 x)) 8.780 * [taylor]: Taking taylor expansion of (* 2/15 (pow (/ 1 x) 5)) in x 8.780 * [taylor]: Taking taylor expansion of 2/15 in x 8.780 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 8.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.780 * [taylor]: Taking taylor expansion of x in x 8.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.780 * [taylor]: Taking taylor expansion of x in x 8.815 * [approximate]: Taking taylor expansion of (log1p (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x)))) in (x) around 0 8.815 * [taylor]: Taking taylor expansion of (log1p (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x)))) in x 8.815 * [taylor]: Rewrote expression to (log (+ 1 (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))))) 8.815 * [taylor]: Taking taylor expansion of (+ 1 (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x)))) in x 8.815 * [taylor]: Taking taylor expansion of 1 in x 8.815 * [taylor]: Taking taylor expansion of (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))) in x 8.815 * [taylor]: Rewrote expression to (+ (* -1/3 (pow (/ -1 x) 3)) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))) 8.815 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 x) 3)) in x 8.815 * [taylor]: Taking taylor expansion of -1/3 in x 8.815 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x 8.815 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.815 * [taylor]: Taking taylor expansion of -1 in x 8.815 * [taylor]: Taking taylor expansion of x in x 8.815 * [taylor]: Taking taylor expansion of (fma 2/15 (pow (/ -1 x) 5) (/ -1 x)) in x 8.815 * [taylor]: Rewrote expression to (+ (* 2/15 (pow (/ -1 x) 5)) (/ -1 x)) 8.816 * [taylor]: Taking taylor expansion of (* 2/15 (pow (/ -1 x) 5)) in x 8.816 * [taylor]: Taking taylor expansion of 2/15 in x 8.816 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 8.816 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.816 * [taylor]: Taking taylor expansion of -1 in x 8.816 * [taylor]: Taking taylor expansion of x in x 8.816 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.816 * [taylor]: Taking taylor expansion of -1 in x 8.816 * [taylor]: Taking taylor expansion of x in x 8.818 * [taylor]: Taking taylor expansion of (log1p (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x)))) in x 8.818 * [taylor]: Rewrote expression to (log (+ 1 (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))))) 8.818 * [taylor]: Taking taylor expansion of (+ 1 (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x)))) in x 8.818 * [taylor]: Taking taylor expansion of 1 in x 8.818 * [taylor]: Taking taylor expansion of (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))) in x 8.819 * [taylor]: Rewrote expression to (+ (* -1/3 (pow (/ -1 x) 3)) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))) 8.819 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 x) 3)) in x 8.819 * [taylor]: Taking taylor expansion of -1/3 in x 8.819 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x 8.819 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.819 * [taylor]: Taking taylor expansion of -1 in x 8.819 * [taylor]: Taking taylor expansion of x in x 8.819 * [taylor]: Taking taylor expansion of (fma 2/15 (pow (/ -1 x) 5) (/ -1 x)) in x 8.819 * [taylor]: Rewrote expression to (+ (* 2/15 (pow (/ -1 x) 5)) (/ -1 x)) 8.819 * [taylor]: Taking taylor expansion of (* 2/15 (pow (/ -1 x) 5)) in x 8.819 * [taylor]: Taking taylor expansion of 2/15 in x 8.819 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 8.819 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.819 * [taylor]: Taking taylor expansion of -1 in x 8.819 * [taylor]: Taking taylor expansion of x in x 8.819 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.820 * [taylor]: Taking taylor expansion of -1 in x 8.820 * [taylor]: Taking taylor expansion of x in x 8.852 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 8.852 * [approximate]: Taking taylor expansion of (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) in (x) around 0 8.852 * [taylor]: Taking taylor expansion of (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) in x 8.853 * [taylor]: Rewrote expression to (+ (* -1/3 (pow x 3)) (fma 2/15 (pow x 5) x)) 8.853 * [taylor]: Taking taylor expansion of (* -1/3 (pow x 3)) in x 8.853 * [taylor]: Taking taylor expansion of -1/3 in x 8.853 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.853 * [taylor]: Taking taylor expansion of x in x 8.853 * [taylor]: Taking taylor expansion of (fma 2/15 (pow x 5) x) in x 8.853 * [taylor]: Rewrote expression to (+ (* 2/15 (pow x 5)) x) 8.853 * [taylor]: Taking taylor expansion of (* 2/15 (pow x 5)) in x 8.853 * [taylor]: Taking taylor expansion of 2/15 in x 8.853 * [taylor]: Taking taylor expansion of (pow x 5) in x 8.853 * [taylor]: Taking taylor expansion of x in x 8.853 * [taylor]: Taking taylor expansion of x in x 8.853 * [taylor]: Taking taylor expansion of (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) in x 8.853 * [taylor]: Rewrote expression to (+ (* -1/3 (pow x 3)) (fma 2/15 (pow x 5) x)) 8.853 * [taylor]: Taking taylor expansion of (* -1/3 (pow x 3)) in x 8.853 * [taylor]: Taking taylor expansion of -1/3 in x 8.853 * [taylor]: Taking taylor expansion of (pow x 3) in x 8.853 * [taylor]: Taking taylor expansion of x in x 8.853 * [taylor]: Taking taylor expansion of (fma 2/15 (pow x 5) x) in x 8.853 * [taylor]: Rewrote expression to (+ (* 2/15 (pow x 5)) x) 8.853 * [taylor]: Taking taylor expansion of (* 2/15 (pow x 5)) in x 8.853 * [taylor]: Taking taylor expansion of 2/15 in x 8.853 * [taylor]: Taking taylor expansion of (pow x 5) in x 8.853 * [taylor]: Taking taylor expansion of x in x 8.853 * [taylor]: Taking taylor expansion of x in x 8.861 * [approximate]: Taking taylor expansion of (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))) in (x) around 0 8.861 * [taylor]: Taking taylor expansion of (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))) in x 8.861 * [taylor]: Rewrote expression to (+ (* -1/3 (pow (/ 1 x) 3)) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))) 8.861 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ 1 x) 3)) in x 8.861 * [taylor]: Taking taylor expansion of -1/3 in x 8.861 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x 8.861 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.861 * [taylor]: Taking taylor expansion of x in x 8.861 * [taylor]: Taking taylor expansion of (fma 2/15 (pow (/ 1 x) 5) (/ 1 x)) in x 8.862 * [taylor]: Rewrote expression to (+ (* 2/15 (pow (/ 1 x) 5)) (/ 1 x)) 8.862 * [taylor]: Taking taylor expansion of (* 2/15 (pow (/ 1 x) 5)) in x 8.862 * [taylor]: Taking taylor expansion of 2/15 in x 8.862 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 8.862 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.862 * [taylor]: Taking taylor expansion of x in x 8.862 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.862 * [taylor]: Taking taylor expansion of x in x 8.862 * [taylor]: Taking taylor expansion of (fma -1/3 (pow (/ 1 x) 3) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))) in x 8.862 * [taylor]: Rewrote expression to (+ (* -1/3 (pow (/ 1 x) 3)) (fma 2/15 (pow (/ 1 x) 5) (/ 1 x))) 8.862 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ 1 x) 3)) in x 8.862 * [taylor]: Taking taylor expansion of -1/3 in x 8.862 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x 8.862 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.862 * [taylor]: Taking taylor expansion of x in x 8.863 * [taylor]: Taking taylor expansion of (fma 2/15 (pow (/ 1 x) 5) (/ 1 x)) in x 8.863 * [taylor]: Rewrote expression to (+ (* 2/15 (pow (/ 1 x) 5)) (/ 1 x)) 8.863 * [taylor]: Taking taylor expansion of (* 2/15 (pow (/ 1 x) 5)) in x 8.863 * [taylor]: Taking taylor expansion of 2/15 in x 8.863 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 8.863 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.863 * [taylor]: Taking taylor expansion of x in x 8.863 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.863 * [taylor]: Taking taylor expansion of x in x 8.881 * [approximate]: Taking taylor expansion of (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))) in (x) around 0 8.881 * [taylor]: Taking taylor expansion of (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))) in x 8.882 * [taylor]: Rewrote expression to (+ (* -1/3 (pow (/ -1 x) 3)) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))) 8.882 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 x) 3)) in x 8.882 * [taylor]: Taking taylor expansion of -1/3 in x 8.882 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x 8.882 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.882 * [taylor]: Taking taylor expansion of -1 in x 8.882 * [taylor]: Taking taylor expansion of x in x 8.882 * [taylor]: Taking taylor expansion of (fma 2/15 (pow (/ -1 x) 5) (/ -1 x)) in x 8.882 * [taylor]: Rewrote expression to (+ (* 2/15 (pow (/ -1 x) 5)) (/ -1 x)) 8.882 * [taylor]: Taking taylor expansion of (* 2/15 (pow (/ -1 x) 5)) in x 8.882 * [taylor]: Taking taylor expansion of 2/15 in x 8.882 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 8.882 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.882 * [taylor]: Taking taylor expansion of -1 in x 8.882 * [taylor]: Taking taylor expansion of x in x 8.882 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.883 * [taylor]: Taking taylor expansion of -1 in x 8.883 * [taylor]: Taking taylor expansion of x in x 8.883 * [taylor]: Taking taylor expansion of (fma -1/3 (pow (/ -1 x) 3) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))) in x 8.883 * [taylor]: Rewrote expression to (+ (* -1/3 (pow (/ -1 x) 3)) (fma 2/15 (pow (/ -1 x) 5) (/ -1 x))) 8.883 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 x) 3)) in x 8.883 * [taylor]: Taking taylor expansion of -1/3 in x 8.883 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x 8.883 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.883 * [taylor]: Taking taylor expansion of -1 in x 8.883 * [taylor]: Taking taylor expansion of x in x 8.884 * [taylor]: Taking taylor expansion of (fma 2/15 (pow (/ -1 x) 5) (/ -1 x)) in x 8.884 * [taylor]: Rewrote expression to (+ (* 2/15 (pow (/ -1 x) 5)) (/ -1 x)) 8.884 * [taylor]: Taking taylor expansion of (* 2/15 (pow (/ -1 x) 5)) in x 8.884 * [taylor]: Taking taylor expansion of 2/15 in x 8.884 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 8.884 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.884 * [taylor]: Taking taylor expansion of -1 in x 8.884 * [taylor]: Taking taylor expansion of x in x 8.884 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.884 * [taylor]: Taking taylor expansion of -1 in x 8.884 * [taylor]: Taking taylor expansion of x in x 8.910 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 3) 8.910 * [approximate]: Taking taylor expansion of (fma 2/15 (pow x 5) x) in (x) around 0 8.910 * [taylor]: Taking taylor expansion of (fma 2/15 (pow x 5) x) in x 8.911 * [taylor]: Rewrote expression to (+ (* 2/15 (pow x 5)) x) 8.911 * [taylor]: Taking taylor expansion of (* 2/15 (pow x 5)) in x 8.911 * [taylor]: Taking taylor expansion of 2/15 in x 8.911 * [taylor]: Taking taylor expansion of (pow x 5) in x 8.911 * [taylor]: Taking taylor expansion of x in x 8.911 * [taylor]: Taking taylor expansion of x in x 8.911 * [taylor]: Taking taylor expansion of (fma 2/15 (pow x 5) x) in x 8.911 * [taylor]: Rewrote expression to (+ (* 2/15 (pow x 5)) x) 8.911 * [taylor]: Taking taylor expansion of (* 2/15 (pow x 5)) in x 8.911 * [taylor]: Taking taylor expansion of 2/15 in x 8.911 * [taylor]: Taking taylor expansion of (pow x 5) in x 8.911 * [taylor]: Taking taylor expansion of x in x 8.911 * [taylor]: Taking taylor expansion of x in x 8.929 * [approximate]: Taking taylor expansion of (fma 2/15 (pow (/ 1 x) 5) (/ 1 x)) in (x) around 0 8.929 * [taylor]: Taking taylor expansion of (fma 2/15 (pow (/ 1 x) 5) (/ 1 x)) in x 8.929 * [taylor]: Rewrote expression to (+ (* 2/15 (pow (/ 1 x) 5)) (/ 1 x)) 8.929 * [taylor]: Taking taylor expansion of (* 2/15 (pow (/ 1 x) 5)) in x 8.929 * [taylor]: Taking taylor expansion of 2/15 in x 8.929 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 8.929 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.929 * [taylor]: Taking taylor expansion of x in x 8.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.930 * [taylor]: Taking taylor expansion of x in x 8.930 * [taylor]: Taking taylor expansion of (fma 2/15 (pow (/ 1 x) 5) (/ 1 x)) in x 8.930 * [taylor]: Rewrote expression to (+ (* 2/15 (pow (/ 1 x) 5)) (/ 1 x)) 8.930 * [taylor]: Taking taylor expansion of (* 2/15 (pow (/ 1 x) 5)) in x 8.930 * [taylor]: Taking taylor expansion of 2/15 in x 8.930 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 8.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.930 * [taylor]: Taking taylor expansion of x in x 8.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.930 * [taylor]: Taking taylor expansion of x in x 8.980 * [approximate]: Taking taylor expansion of (fma 2/15 (pow (/ -1 x) 5) (/ -1 x)) in (x) around 0 8.980 * [taylor]: Taking taylor expansion of (fma 2/15 (pow (/ -1 x) 5) (/ -1 x)) in x 8.980 * [taylor]: Rewrote expression to (+ (* 2/15 (pow (/ -1 x) 5)) (/ -1 x)) 8.980 * [taylor]: Taking taylor expansion of (* 2/15 (pow (/ -1 x) 5)) in x 8.980 * [taylor]: Taking taylor expansion of 2/15 in x 8.980 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 8.980 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.981 * [taylor]: Taking taylor expansion of -1 in x 8.981 * [taylor]: Taking taylor expansion of x in x 8.981 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.981 * [taylor]: Taking taylor expansion of -1 in x 8.981 * [taylor]: Taking taylor expansion of x in x 8.981 * [taylor]: Taking taylor expansion of (fma 2/15 (pow (/ -1 x) 5) (/ -1 x)) in x 8.981 * [taylor]: Rewrote expression to (+ (* 2/15 (pow (/ -1 x) 5)) (/ -1 x)) 8.981 * [taylor]: Taking taylor expansion of (* 2/15 (pow (/ -1 x) 5)) in x 8.981 * [taylor]: Taking taylor expansion of 2/15 in x 8.981 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 8.981 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.981 * [taylor]: Taking taylor expansion of -1 in x 8.981 * [taylor]: Taking taylor expansion of x in x 8.982 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.982 * [taylor]: Taking taylor expansion of -1 in x 8.982 * [taylor]: Taking taylor expansion of x in x 9.026 * * * [progress]: simplifying candidates 9.026 * [simplify]: Simplifying using # : (exp (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) (expm1 (expm1 (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))))) (log1p (expm1 (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))))) (log (expm1 (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))))) (exp (expm1 (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))))) (* (cbrt (expm1 (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))))) (cbrt (expm1 (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))))) (cbrt (expm1 (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))))) (* (* (expm1 (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) (expm1 (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))))) (expm1 (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))))) (sqrt (expm1 (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))))) (sqrt (expm1 (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))))) (+ 1 (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (expm1 (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) (log1p (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) (log (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) (exp (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) (* (cbrt (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) (cbrt (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))))) (cbrt (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) (* (* (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) (sqrt (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) (sqrt (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) (expm1 (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (* -1/3 (pow x 3)) (log (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (exp (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (* (cbrt (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (cbrt (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) (cbrt (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (* (* (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (sqrt (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (sqrt (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (expm1 (fma 2/15 (pow x 5) x)) (log1p (fma 2/15 (pow x 5) x)) (* 2/15 (pow x 5)) (log (fma 2/15 (pow x 5) x)) (exp (fma 2/15 (pow x 5) x)) (* (cbrt (fma 2/15 (pow x 5) x)) (cbrt (fma 2/15 (pow x 5) x))) (cbrt (fma 2/15 (pow x 5) x)) (* (* (fma 2/15 (pow x 5) x) (fma 2/15 (pow x 5) x)) (fma 2/15 (pow x 5) x)) (sqrt (fma 2/15 (pow x 5) x)) (sqrt (fma 2/15 (pow x 5) x)) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (- (+ (exp (- (log 2/15) (* 5 (log (/ 1 x))))) (* 15/2 (/ (exp (- (log 2/15) (* 5 (log (/ 1 x))))) (pow x 4)))) (+ (* 5/2 (/ (exp (- (log 2/15) (* 5 (log (/ 1 x))))) (pow x 2))) 1)) (- (+ (* 15/2 (/ (exp (- (log -2/15) (* 5 (log (/ -1 x))))) (pow x 4))) (exp (- (log -2/15) (* 5 (log (/ -1 x)))))) (+ (* 5/2 (/ (exp (- (log -2/15) (* 5 (log (/ -1 x))))) (pow x 2))) 1)) (- (+ x (* 1/12 (pow x 4))) (* 1/2 (pow x 2))) (- (+ (log 2/15) (* 35/8 (/ 1 (pow x 4)))) (+ (* 5 (log (/ 1 x))) (* 5/2 (/ 1 (pow x 2))))) (- (+ (log -2/15) (* 35/8 (/ 1 (pow x 4)))) (+ (* 5/2 (/ 1 (pow x 2))) (* 5 (log (/ -1 x))))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (+ x (* 2/15 (pow x 5))) (+ x (* 2/15 (pow x 5))) (+ x (* 2/15 (pow x 5))) 9.030 * * [simplify]: iteration 0 : 104 enodes (cost 816 ) 9.056 * * [simplify]: iteration 1 : 216 enodes (cost 767 ) 9.109 * * [simplify]: iteration 2 : 574 enodes (cost 665 ) 9.277 * * [simplify]: iteration 3 : 1741 enodes (cost 655 ) 9.819 * * [simplify]: iteration done : 5001 enodes (cost 655 ) 9.820 * [simplify]: Simplified to: (exp (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) (expm1 (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (log (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (exp (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (* (cbrt (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (cbrt (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) (cbrt (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (pow (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) 3) (sqrt (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (sqrt (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (+ 1 (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) (log1p (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) (log (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) (exp (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) (* (cbrt (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) (cbrt (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))))) (cbrt (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) (pow (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) 3) (sqrt (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) (sqrt (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) (expm1 (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (log1p (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (* -1/3 (pow x 3)) (log (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (exp (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (* (cbrt (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (cbrt (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)))) (cbrt (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (pow (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) 3) (sqrt (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (sqrt (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))) (expm1 (fma 2/15 (pow x 5) x)) (log1p (fma 2/15 (pow x 5) x)) (* 2/15 (pow x 5)) (log (fma 2/15 (pow x 5) x)) (exp (fma 2/15 (pow x 5) x)) (* (cbrt (fma 2/15 (pow x 5) x)) (cbrt (fma 2/15 (pow x 5) x))) (cbrt (fma 2/15 (pow x 5) x)) (pow (fma 2/15 (pow x 5) x) 3) (sqrt (fma 2/15 (pow x 5) x)) (sqrt (fma 2/15 (pow x 5) x)) (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) (+ (/ (pow (exp 5) (log x)) (pow x 4)) (fma 2/15 (pow (exp 5) (log x)) (- -1 (/ (/ 1/3 (pow (/ 1 x) 5)) (pow x 2))))) (fma -2/15 (pow (/ -1 x) -5) (- (/ (/ -1 (pow (/ -1 x) 5)) (pow x 4)) (+ (/ (/ (/ -1/3 (pow (/ -1 x) 5)) x) x) 1))) (fma -1/2 (pow x 2) (fma (pow x 4) 1/12 x)) (- (+ (/ 35/8 (pow x 4)) (fma (log x) 5 (log 2/15))) (/ 5/2 (pow x 2))) (- (+ (/ 35/8 (pow x 4)) (log -2/15)) (fma (log (/ -1 x)) 5 (/ 5/2 (pow x 2)))) (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x)) (fma 2/15 (pow x 5) x) (fma 2/15 (pow x 5) x) (fma 2/15 (pow x 5) x) 9.820 * * * [progress]: adding candidates to table 9.998 * [progress]: [Phase 3 of 3] Extracting. 9.998 * * [regime]: Finding splitpoints for: (# #) 9.998 * * * [regime-changes]: Trying 1 branch expressions: (x) 9.998 * * * * [regimes]: Trying to branch on x from (# #) 10.015 * * * [regime]: Found split indices: #