31.957 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.095 * * * [progress]: [2/2] Setting up program. 0.097 * [progress]: [Phase 2 of 3] Improving. 0.097 * [simplify]: Simplifying using # : (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 0.098 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.099 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 0.101 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 0.106 * * [simplify]: iteration 3 : 71 enodes (cost 8 ) 0.116 * * [simplify]: iteration 4 : 140 enodes (cost 8 ) 0.156 * * [simplify]: iteration 5 : 329 enodes (cost 8 ) 0.347 * * [simplify]: iteration 6 : 1023 enodes (cost 8 ) 2.214 * * [simplify]: iteration 7 : 3841 enodes (cost 8 ) 3.998 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 3.998 * [simplify]: Simplified to: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 3.998 * * [progress]: iteration 1 / 4 3.998 * * * [progress]: picking best candidate 4.000 * * * * [pick]: Picked # 4.000 * * * [progress]: localizing error 4.011 * * * [progress]: generating rewritten candidates 4.012 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 4.012 * * * [progress]: generating series expansions 4.012 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 4.012 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 4.012 * [taylor]: Taking taylor expansion of (sinh c) in c 4.013 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 4.013 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 4.013 * [taylor]: Taking taylor expansion of (exp c) in c 4.013 * [taylor]: Taking taylor expansion of c in c 4.013 * [taylor]: Taking taylor expansion of (exp (- c)) in c 4.013 * [taylor]: Taking taylor expansion of (- c) in c 4.013 * [taylor]: Taking taylor expansion of c in c 4.013 * [taylor]: Taking taylor expansion of 2 in c 4.016 * [taylor]: Taking taylor expansion of (sinh c) in c 4.016 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 4.016 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 4.016 * [taylor]: Taking taylor expansion of (exp c) in c 4.016 * [taylor]: Taking taylor expansion of c in c 4.016 * [taylor]: Taking taylor expansion of (exp (- c)) in c 4.016 * [taylor]: Taking taylor expansion of (- c) in c 4.016 * [taylor]: Taking taylor expansion of c in c 4.017 * [taylor]: Taking taylor expansion of 2 in c 4.044 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 4.044 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 4.044 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 4.044 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 4.044 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 4.044 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.044 * [taylor]: Taking taylor expansion of c in c 4.045 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 4.045 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 4.045 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.045 * [taylor]: Taking taylor expansion of c in c 4.045 * [taylor]: Taking taylor expansion of 2 in c 4.046 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 4.046 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 4.046 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 4.046 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 4.046 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.046 * [taylor]: Taking taylor expansion of c in c 4.046 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 4.046 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 4.046 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.046 * [taylor]: Taking taylor expansion of c in c 4.047 * [taylor]: Taking taylor expansion of 2 in c 4.058 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 4.058 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 4.058 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 4.058 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 4.058 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 4.058 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.058 * [taylor]: Taking taylor expansion of -1 in c 4.058 * [taylor]: Taking taylor expansion of c in c 4.059 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 4.059 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 4.059 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.059 * [taylor]: Taking taylor expansion of -1 in c 4.059 * [taylor]: Taking taylor expansion of c in c 4.059 * [taylor]: Taking taylor expansion of 2 in c 4.060 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 4.060 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 4.060 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 4.060 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 4.060 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.060 * [taylor]: Taking taylor expansion of -1 in c 4.060 * [taylor]: Taking taylor expansion of c in c 4.060 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 4.060 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 4.060 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.060 * [taylor]: Taking taylor expansion of -1 in c 4.060 * [taylor]: Taking taylor expansion of c in c 4.061 * [taylor]: Taking taylor expansion of 2 in c 4.072 * * * [progress]: simplifying candidates 4.072 * [simplify]: Simplifying using # : (expm1 (sinh c)) (log1p (sinh c)) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) 4.074 * * [simplify]: iteration 0 : 32 enodes (cost 72 ) 4.079 * * [simplify]: iteration 1 : 65 enodes (cost 69 ) 4.092 * * [simplify]: iteration 2 : 135 enodes (cost 65 ) 4.113 * * [simplify]: iteration 3 : 286 enodes (cost 65 ) 4.169 * * [simplify]: iteration 4 : 654 enodes (cost 65 ) 4.391 * * [simplify]: iteration 5 : 2303 enodes (cost 65 ) 5.196 * * [simplify]: iteration done : 5000 enodes (cost 65 ) 5.196 * [simplify]: Simplified to: (expm1 (sinh c)) (log1p (sinh c)) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (- c)))) 5.196 * * * [progress]: adding candidates to table 5.231 * * [progress]: iteration 2 / 4 5.231 * * * [progress]: picking best candidate 5.235 * * * * [pick]: Picked # 5.236 * * * [progress]: localizing error 5.246 * * * [progress]: generating rewritten candidates 5.246 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 5.246 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1) 5.247 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 5.248 * * * [progress]: generating series expansions 5.248 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 5.248 * [approximate]: Taking taylor expansion of (log1p (expm1 (sinh c))) in (c) around 0 5.248 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh c))) in c 5.248 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh c)))) 5.248 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh c))) in c 5.248 * [taylor]: Taking taylor expansion of 1 in c 5.248 * [taylor]: Taking taylor expansion of (expm1 (sinh c)) in c 5.248 * [taylor]: Rewrote expression to (- (exp (sinh c)) 1) 5.248 * [taylor]: Taking taylor expansion of (exp (sinh c)) in c 5.248 * [taylor]: Taking taylor expansion of (sinh c) in c 5.248 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 5.248 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 5.248 * [taylor]: Taking taylor expansion of (exp c) in c 5.248 * [taylor]: Taking taylor expansion of c in c 5.248 * [taylor]: Taking taylor expansion of (exp (- c)) in c 5.248 * [taylor]: Taking taylor expansion of (- c) in c 5.248 * [taylor]: Taking taylor expansion of c in c 5.249 * [taylor]: Taking taylor expansion of 2 in c 5.251 * [taylor]: Taking taylor expansion of 1 in c 5.252 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh c))) in c 5.252 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh c)))) 5.252 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh c))) in c 5.252 * [taylor]: Taking taylor expansion of 1 in c 5.252 * [taylor]: Taking taylor expansion of (expm1 (sinh c)) in c 5.253 * [taylor]: Rewrote expression to (- (exp (sinh c)) 1) 5.253 * [taylor]: Taking taylor expansion of (exp (sinh c)) in c 5.253 * [taylor]: Taking taylor expansion of (sinh c) in c 5.253 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 5.253 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 5.253 * [taylor]: Taking taylor expansion of (exp c) in c 5.253 * [taylor]: Taking taylor expansion of c in c 5.253 * [taylor]: Taking taylor expansion of (exp (- c)) in c 5.253 * [taylor]: Taking taylor expansion of (- c) in c 5.253 * [taylor]: Taking taylor expansion of c in c 5.253 * [taylor]: Taking taylor expansion of 2 in c 5.256 * [taylor]: Taking taylor expansion of 1 in c 5.314 * [approximate]: Taking taylor expansion of (log1p (expm1 (sinh (/ 1 c)))) in (c) around 0 5.314 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh (/ 1 c)))) in c 5.314 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh (/ 1 c))))) 5.314 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh (/ 1 c)))) in c 5.314 * [taylor]: Taking taylor expansion of 1 in c 5.314 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in c 5.314 * [taylor]: Rewrote expression to (- (exp (sinh (/ 1 c))) 1) 5.314 * [taylor]: Taking taylor expansion of (exp (sinh (/ 1 c))) in c 5.314 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 5.314 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 5.314 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 5.314 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 5.314 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.314 * [taylor]: Taking taylor expansion of c in c 5.315 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 5.315 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 5.315 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.315 * [taylor]: Taking taylor expansion of c in c 5.315 * [taylor]: Taking taylor expansion of 2 in c 5.316 * [taylor]: Taking taylor expansion of 1 in c 5.316 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh (/ 1 c)))) in c 5.316 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh (/ 1 c))))) 5.316 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh (/ 1 c)))) in c 5.316 * [taylor]: Taking taylor expansion of 1 in c 5.316 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in c 5.316 * [taylor]: Rewrote expression to (- (exp (sinh (/ 1 c))) 1) 5.316 * [taylor]: Taking taylor expansion of (exp (sinh (/ 1 c))) in c 5.316 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 5.316 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 5.316 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 5.316 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 5.316 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.316 * [taylor]: Taking taylor expansion of c in c 5.317 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 5.317 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 5.317 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.317 * [taylor]: Taking taylor expansion of c in c 5.317 * [taylor]: Taking taylor expansion of 2 in c 5.318 * [taylor]: Taking taylor expansion of 1 in c 5.363 * [approximate]: Taking taylor expansion of (log1p (expm1 (sinh (/ -1 c)))) in (c) around 0 5.363 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh (/ -1 c)))) in c 5.363 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh (/ -1 c))))) 5.363 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh (/ -1 c)))) in c 5.363 * [taylor]: Taking taylor expansion of 1 in c 5.363 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in c 5.363 * [taylor]: Rewrote expression to (- (exp (sinh (/ -1 c))) 1) 5.363 * [taylor]: Taking taylor expansion of (exp (sinh (/ -1 c))) in c 5.363 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 5.363 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 5.363 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 5.363 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 5.363 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.363 * [taylor]: Taking taylor expansion of -1 in c 5.363 * [taylor]: Taking taylor expansion of c in c 5.363 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 5.363 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 5.363 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.363 * [taylor]: Taking taylor expansion of -1 in c 5.363 * [taylor]: Taking taylor expansion of c in c 5.364 * [taylor]: Taking taylor expansion of 2 in c 5.364 * [taylor]: Taking taylor expansion of 1 in c 5.365 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh (/ -1 c)))) in c 5.365 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh (/ -1 c))))) 5.365 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh (/ -1 c)))) in c 5.365 * [taylor]: Taking taylor expansion of 1 in c 5.365 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in c 5.365 * [taylor]: Rewrote expression to (- (exp (sinh (/ -1 c))) 1) 5.365 * [taylor]: Taking taylor expansion of (exp (sinh (/ -1 c))) in c 5.365 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 5.365 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 5.365 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 5.365 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 5.365 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.365 * [taylor]: Taking taylor expansion of -1 in c 5.365 * [taylor]: Taking taylor expansion of c in c 5.365 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 5.365 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 5.365 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.366 * [taylor]: Taking taylor expansion of -1 in c 5.366 * [taylor]: Taking taylor expansion of c in c 5.366 * [taylor]: Taking taylor expansion of 2 in c 5.366 * [taylor]: Taking taylor expansion of 1 in c 5.416 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1) 5.416 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 5.416 * [taylor]: Taking taylor expansion of (sinh c) in c 5.416 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 5.416 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 5.416 * [taylor]: Taking taylor expansion of (exp c) in c 5.416 * [taylor]: Taking taylor expansion of c in c 5.416 * [taylor]: Taking taylor expansion of (exp (- c)) in c 5.416 * [taylor]: Taking taylor expansion of (- c) in c 5.416 * [taylor]: Taking taylor expansion of c in c 5.417 * [taylor]: Taking taylor expansion of 2 in c 5.419 * [taylor]: Taking taylor expansion of (sinh c) in c 5.419 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 5.419 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 5.419 * [taylor]: Taking taylor expansion of (exp c) in c 5.419 * [taylor]: Taking taylor expansion of c in c 5.419 * [taylor]: Taking taylor expansion of (exp (- c)) in c 5.419 * [taylor]: Taking taylor expansion of (- c) in c 5.419 * [taylor]: Taking taylor expansion of c in c 5.420 * [taylor]: Taking taylor expansion of 2 in c 5.446 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 5.446 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 5.446 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 5.446 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 5.446 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 5.446 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.446 * [taylor]: Taking taylor expansion of c in c 5.446 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 5.447 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 5.447 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.447 * [taylor]: Taking taylor expansion of c in c 5.447 * [taylor]: Taking taylor expansion of 2 in c 5.447 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 5.447 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 5.447 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 5.447 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 5.447 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.447 * [taylor]: Taking taylor expansion of c in c 5.448 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 5.448 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 5.448 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.448 * [taylor]: Taking taylor expansion of c in c 5.448 * [taylor]: Taking taylor expansion of 2 in c 5.464 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 5.465 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 5.465 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 5.465 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 5.465 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 5.465 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.465 * [taylor]: Taking taylor expansion of -1 in c 5.465 * [taylor]: Taking taylor expansion of c in c 5.465 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 5.465 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 5.465 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.465 * [taylor]: Taking taylor expansion of -1 in c 5.465 * [taylor]: Taking taylor expansion of c in c 5.466 * [taylor]: Taking taylor expansion of 2 in c 5.466 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 5.466 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 5.466 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 5.466 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 5.466 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.466 * [taylor]: Taking taylor expansion of -1 in c 5.466 * [taylor]: Taking taylor expansion of c in c 5.466 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 5.466 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 5.466 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.466 * [taylor]: Taking taylor expansion of -1 in c 5.466 * [taylor]: Taking taylor expansion of c in c 5.467 * [taylor]: Taking taylor expansion of 2 in c 5.478 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 5.478 * [approximate]: Taking taylor expansion of (expm1 (sinh c)) in (c) around 0 5.478 * [taylor]: Taking taylor expansion of (expm1 (sinh c)) in c 5.478 * [taylor]: Rewrote expression to (- (exp (sinh c)) 1) 5.478 * [taylor]: Taking taylor expansion of (exp (sinh c)) in c 5.478 * [taylor]: Taking taylor expansion of (sinh c) in c 5.478 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 5.479 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 5.479 * [taylor]: Taking taylor expansion of (exp c) in c 5.479 * [taylor]: Taking taylor expansion of c in c 5.479 * [taylor]: Taking taylor expansion of (exp (- c)) in c 5.479 * [taylor]: Taking taylor expansion of (- c) in c 5.479 * [taylor]: Taking taylor expansion of c in c 5.479 * [taylor]: Taking taylor expansion of 2 in c 5.482 * [taylor]: Taking taylor expansion of 1 in c 5.482 * [taylor]: Taking taylor expansion of (expm1 (sinh c)) in c 5.482 * [taylor]: Rewrote expression to (- (exp (sinh c)) 1) 5.482 * [taylor]: Taking taylor expansion of (exp (sinh c)) in c 5.482 * [taylor]: Taking taylor expansion of (sinh c) in c 5.482 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 5.482 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 5.482 * [taylor]: Taking taylor expansion of (exp c) in c 5.482 * [taylor]: Taking taylor expansion of c in c 5.482 * [taylor]: Taking taylor expansion of (exp (- c)) in c 5.482 * [taylor]: Taking taylor expansion of (- c) in c 5.482 * [taylor]: Taking taylor expansion of c in c 5.482 * [taylor]: Taking taylor expansion of 2 in c 5.485 * [taylor]: Taking taylor expansion of 1 in c 5.497 * [approximate]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in (c) around 0 5.497 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in c 5.497 * [taylor]: Rewrote expression to (- (exp (sinh (/ 1 c))) 1) 5.498 * [taylor]: Taking taylor expansion of (exp (sinh (/ 1 c))) in c 5.498 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 5.498 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 5.498 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 5.498 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 5.498 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.498 * [taylor]: Taking taylor expansion of c in c 5.498 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 5.498 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 5.498 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.498 * [taylor]: Taking taylor expansion of c in c 5.499 * [taylor]: Taking taylor expansion of 2 in c 5.499 * [taylor]: Taking taylor expansion of 1 in c 5.499 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in c 5.499 * [taylor]: Rewrote expression to (- (exp (sinh (/ 1 c))) 1) 5.499 * [taylor]: Taking taylor expansion of (exp (sinh (/ 1 c))) in c 5.499 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 5.499 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 5.499 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 5.499 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 5.499 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.499 * [taylor]: Taking taylor expansion of c in c 5.499 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 5.499 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 5.499 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.499 * [taylor]: Taking taylor expansion of c in c 5.500 * [taylor]: Taking taylor expansion of 2 in c 5.500 * [taylor]: Taking taylor expansion of 1 in c 5.523 * [approximate]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in (c) around 0 5.523 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in c 5.523 * [taylor]: Rewrote expression to (- (exp (sinh (/ -1 c))) 1) 5.523 * [taylor]: Taking taylor expansion of (exp (sinh (/ -1 c))) in c 5.523 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 5.523 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 5.523 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 5.523 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 5.523 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.523 * [taylor]: Taking taylor expansion of -1 in c 5.523 * [taylor]: Taking taylor expansion of c in c 5.524 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 5.524 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 5.524 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.524 * [taylor]: Taking taylor expansion of -1 in c 5.524 * [taylor]: Taking taylor expansion of c in c 5.524 * [taylor]: Taking taylor expansion of 2 in c 5.524 * [taylor]: Taking taylor expansion of 1 in c 5.524 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in c 5.525 * [taylor]: Rewrote expression to (- (exp (sinh (/ -1 c))) 1) 5.525 * [taylor]: Taking taylor expansion of (exp (sinh (/ -1 c))) in c 5.525 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 5.525 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 5.525 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 5.525 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 5.525 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.525 * [taylor]: Taking taylor expansion of -1 in c 5.525 * [taylor]: Taking taylor expansion of c in c 5.525 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 5.525 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 5.525 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.525 * [taylor]: Taking taylor expansion of -1 in c 5.525 * [taylor]: Taking taylor expansion of c in c 5.526 * [taylor]: Taking taylor expansion of 2 in c 5.526 * [taylor]: Taking taylor expansion of 1 in c 5.554 * * * [progress]: simplifying candidates 5.554 * [simplify]: Simplifying using # : (+ 1 (expm1 (sinh c))) (expm1 (log1p (expm1 (sinh c)))) (log1p (log1p (expm1 (sinh c)))) (log (log1p (expm1 (sinh c)))) (exp (log1p (expm1 (sinh c)))) (* (cbrt (log1p (expm1 (sinh c)))) (cbrt (log1p (expm1 (sinh c))))) (cbrt (log1p (expm1 (sinh c)))) (* (* (log1p (expm1 (sinh c))) (log1p (expm1 (sinh c)))) (log1p (expm1 (sinh c)))) (sqrt (log1p (expm1 (sinh c)))) (sqrt (log1p (expm1 (sinh c)))) (expm1 (sinh c)) (log1p (sinh c)) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (exp (sinh c)) (expm1 (expm1 (sinh c))) (log1p (expm1 (sinh c))) (log (expm1 (sinh c))) (exp (expm1 (sinh c))) (* (cbrt (expm1 (sinh c))) (cbrt (expm1 (sinh c)))) (cbrt (expm1 (sinh c))) (* (* (expm1 (sinh c)) (expm1 (sinh c))) (expm1 (sinh c))) (sqrt (expm1 (sinh c))) (sqrt (expm1 (sinh c))) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) (+ (* 1/3 (pow c 3)) (+ (* 1/2 (pow c 2)) c)) (- (exp (* 1/2 (- (exp c) (exp (- c))))) 1) (- (exp (* 1/2 (- (exp c) (exp (* -1 c))))) 1) 5.556 * * [simplify]: iteration 0 : 63 enodes (cost 254 ) 5.566 * * [simplify]: iteration 1 : 116 enodes (cost 215 ) 5.583 * * [simplify]: iteration 2 : 229 enodes (cost 201 ) 5.630 * * [simplify]: iteration 3 : 518 enodes (cost 193 ) 5.838 * * [simplify]: iteration 4 : 1243 enodes (cost 187 ) 6.353 * * [simplify]: iteration 5 : 4005 enodes (cost 163 ) 7.348 * * [simplify]: iteration done : 5000 enodes (cost 163 ) 7.349 * [simplify]: Simplified to: (+ 1 (expm1 (sinh c))) (expm1 (sinh c)) (log1p (sinh c)) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (expm1 (sinh c)) (log1p (sinh c)) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (exp (sinh c)) (expm1 (expm1 (sinh c))) (sinh c) (log (expm1 (sinh c))) (exp (expm1 (sinh c))) (* (cbrt (expm1 (sinh c))) (cbrt (expm1 (sinh c)))) (cbrt (expm1 (sinh c))) (pow (expm1 (sinh c)) 3) (sqrt (expm1 (sinh c))) (sqrt (expm1 (sinh c))) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (sinh c) (sinh c) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (sinh c) (sinh c) (fma (pow c 2) (fma c 1/3 1/2) c) (expm1 (sinh c)) (expm1 (sinh c)) 7.349 * * * [progress]: adding candidates to table 7.438 * * [progress]: iteration 3 / 4 7.438 * * * [progress]: picking best candidate 7.441 * * * * [pick]: Picked # 7.441 * * * [progress]: localizing error 7.456 * * * [progress]: generating rewritten candidates 7.456 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 7.456 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 7.457 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1) 7.457 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 7.458 * * * [progress]: generating series expansions 7.458 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 7.458 * [approximate]: Taking taylor expansion of (expm1 (log1p (sinh c))) in (c) around 0 7.458 * [taylor]: Taking taylor expansion of (expm1 (log1p (sinh c))) in c 7.458 * [taylor]: Rewrote expression to (- (exp (log1p (sinh c))) 1) 7.458 * [taylor]: Taking taylor expansion of (exp (log1p (sinh c))) in c 7.458 * [taylor]: Taking taylor expansion of (log1p (sinh c)) in c 7.458 * [taylor]: Rewrote expression to (log (+ 1 (sinh c))) 7.458 * [taylor]: Taking taylor expansion of (+ 1 (sinh c)) in c 7.458 * [taylor]: Taking taylor expansion of 1 in c 7.458 * [taylor]: Taking taylor expansion of (sinh c) in c 7.458 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 7.458 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 7.458 * [taylor]: Taking taylor expansion of (exp c) in c 7.458 * [taylor]: Taking taylor expansion of c in c 7.458 * [taylor]: Taking taylor expansion of (exp (- c)) in c 7.458 * [taylor]: Taking taylor expansion of (- c) in c 7.458 * [taylor]: Taking taylor expansion of c in c 7.459 * [taylor]: Taking taylor expansion of 2 in c 7.463 * [taylor]: Taking taylor expansion of 1 in c 7.463 * [taylor]: Taking taylor expansion of (expm1 (log1p (sinh c))) in c 7.463 * [taylor]: Rewrote expression to (- (exp (log1p (sinh c))) 1) 7.463 * [taylor]: Taking taylor expansion of (exp (log1p (sinh c))) in c 7.463 * [taylor]: Taking taylor expansion of (log1p (sinh c)) in c 7.463 * [taylor]: Rewrote expression to (log (+ 1 (sinh c))) 7.463 * [taylor]: Taking taylor expansion of (+ 1 (sinh c)) in c 7.463 * [taylor]: Taking taylor expansion of 1 in c 7.463 * [taylor]: Taking taylor expansion of (sinh c) in c 7.463 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 7.463 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 7.463 * [taylor]: Taking taylor expansion of (exp c) in c 7.463 * [taylor]: Taking taylor expansion of c in c 7.463 * [taylor]: Taking taylor expansion of (exp (- c)) in c 7.463 * [taylor]: Taking taylor expansion of (- c) in c 7.463 * [taylor]: Taking taylor expansion of c in c 7.464 * [taylor]: Taking taylor expansion of 2 in c 7.468 * [taylor]: Taking taylor expansion of 1 in c 7.522 * [approximate]: Taking taylor expansion of (expm1 (log1p (sinh (/ 1 c)))) in (c) around 0 7.522 * [taylor]: Taking taylor expansion of (expm1 (log1p (sinh (/ 1 c)))) in c 7.522 * [taylor]: Rewrote expression to (- (exp (log1p (sinh (/ 1 c)))) 1) 7.522 * [taylor]: Taking taylor expansion of (exp (log1p (sinh (/ 1 c)))) in c 7.522 * [taylor]: Taking taylor expansion of (log1p (sinh (/ 1 c))) in c 7.522 * [taylor]: Rewrote expression to (log (+ 1 (sinh (/ 1 c)))) 7.522 * [taylor]: Taking taylor expansion of (+ 1 (sinh (/ 1 c))) in c 7.522 * [taylor]: Taking taylor expansion of 1 in c 7.522 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 7.522 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 7.522 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 7.522 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 7.522 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.522 * [taylor]: Taking taylor expansion of c in c 7.522 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 7.522 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 7.522 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.522 * [taylor]: Taking taylor expansion of c in c 7.523 * [taylor]: Taking taylor expansion of 2 in c 7.523 * [taylor]: Taking taylor expansion of 1 in c 7.524 * [taylor]: Taking taylor expansion of (expm1 (log1p (sinh (/ 1 c)))) in c 7.524 * [taylor]: Rewrote expression to (- (exp (log1p (sinh (/ 1 c)))) 1) 7.524 * [taylor]: Taking taylor expansion of (exp (log1p (sinh (/ 1 c)))) in c 7.524 * [taylor]: Taking taylor expansion of (log1p (sinh (/ 1 c))) in c 7.524 * [taylor]: Rewrote expression to (log (+ 1 (sinh (/ 1 c)))) 7.524 * [taylor]: Taking taylor expansion of (+ 1 (sinh (/ 1 c))) in c 7.524 * [taylor]: Taking taylor expansion of 1 in c 7.524 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 7.524 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 7.524 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 7.524 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 7.524 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.524 * [taylor]: Taking taylor expansion of c in c 7.524 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 7.524 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 7.524 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.524 * [taylor]: Taking taylor expansion of c in c 7.525 * [taylor]: Taking taylor expansion of 2 in c 7.525 * [taylor]: Taking taylor expansion of 1 in c 7.576 * [approximate]: Taking taylor expansion of (expm1 (log1p (sinh (/ -1 c)))) in (c) around 0 7.576 * [taylor]: Taking taylor expansion of (expm1 (log1p (sinh (/ -1 c)))) in c 7.576 * [taylor]: Rewrote expression to (- (exp (log1p (sinh (/ -1 c)))) 1) 7.576 * [taylor]: Taking taylor expansion of (exp (log1p (sinh (/ -1 c)))) in c 7.576 * [taylor]: Taking taylor expansion of (log1p (sinh (/ -1 c))) in c 7.576 * [taylor]: Rewrote expression to (log (+ 1 (sinh (/ -1 c)))) 7.576 * [taylor]: Taking taylor expansion of (+ 1 (sinh (/ -1 c))) in c 7.576 * [taylor]: Taking taylor expansion of 1 in c 7.576 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 7.576 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 7.576 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 7.576 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 7.576 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.576 * [taylor]: Taking taylor expansion of -1 in c 7.576 * [taylor]: Taking taylor expansion of c in c 7.577 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 7.577 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 7.577 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.577 * [taylor]: Taking taylor expansion of -1 in c 7.577 * [taylor]: Taking taylor expansion of c in c 7.577 * [taylor]: Taking taylor expansion of 2 in c 7.578 * [taylor]: Taking taylor expansion of 1 in c 7.578 * [taylor]: Taking taylor expansion of (expm1 (log1p (sinh (/ -1 c)))) in c 7.578 * [taylor]: Rewrote expression to (- (exp (log1p (sinh (/ -1 c)))) 1) 7.578 * [taylor]: Taking taylor expansion of (exp (log1p (sinh (/ -1 c)))) in c 7.578 * [taylor]: Taking taylor expansion of (log1p (sinh (/ -1 c))) in c 7.578 * [taylor]: Rewrote expression to (log (+ 1 (sinh (/ -1 c)))) 7.578 * [taylor]: Taking taylor expansion of (+ 1 (sinh (/ -1 c))) in c 7.578 * [taylor]: Taking taylor expansion of 1 in c 7.578 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 7.578 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 7.578 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 7.578 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 7.578 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.578 * [taylor]: Taking taylor expansion of -1 in c 7.578 * [taylor]: Taking taylor expansion of c in c 7.579 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 7.579 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 7.579 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.579 * [taylor]: Taking taylor expansion of -1 in c 7.579 * [taylor]: Taking taylor expansion of c in c 7.579 * [taylor]: Taking taylor expansion of 2 in c 7.580 * [taylor]: Taking taylor expansion of 1 in c 7.629 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 7.629 * [approximate]: Taking taylor expansion of (expm1 (expm1 (log1p (sinh c)))) in (c) around 0 7.629 * [taylor]: Taking taylor expansion of (expm1 (expm1 (log1p (sinh c)))) in c 7.629 * [taylor]: Rewrote expression to (- (exp (expm1 (log1p (sinh c)))) 1) 7.629 * [taylor]: Taking taylor expansion of (exp (expm1 (log1p (sinh c)))) in c 7.629 * [taylor]: Taking taylor expansion of (expm1 (log1p (sinh c))) in c 7.629 * [taylor]: Rewrote expression to (- (exp (log1p (sinh c))) 1) 7.629 * [taylor]: Taking taylor expansion of (exp (log1p (sinh c))) in c 7.629 * [taylor]: Taking taylor expansion of (log1p (sinh c)) in c 7.629 * [taylor]: Rewrote expression to (log (+ 1 (sinh c))) 7.629 * [taylor]: Taking taylor expansion of (+ 1 (sinh c)) in c 7.629 * [taylor]: Taking taylor expansion of 1 in c 7.629 * [taylor]: Taking taylor expansion of (sinh c) in c 7.629 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 7.629 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 7.629 * [taylor]: Taking taylor expansion of (exp c) in c 7.629 * [taylor]: Taking taylor expansion of c in c 7.629 * [taylor]: Taking taylor expansion of (exp (- c)) in c 7.629 * [taylor]: Taking taylor expansion of (- c) in c 7.629 * [taylor]: Taking taylor expansion of c in c 7.630 * [taylor]: Taking taylor expansion of 2 in c 7.634 * [taylor]: Taking taylor expansion of 1 in c 7.635 * [taylor]: Taking taylor expansion of 1 in c 7.635 * [taylor]: Taking taylor expansion of (expm1 (expm1 (log1p (sinh c)))) in c 7.635 * [taylor]: Rewrote expression to (- (exp (expm1 (log1p (sinh c)))) 1) 7.635 * [taylor]: Taking taylor expansion of (exp (expm1 (log1p (sinh c)))) in c 7.635 * [taylor]: Taking taylor expansion of (expm1 (log1p (sinh c))) in c 7.635 * [taylor]: Rewrote expression to (- (exp (log1p (sinh c))) 1) 7.635 * [taylor]: Taking taylor expansion of (exp (log1p (sinh c))) in c 7.635 * [taylor]: Taking taylor expansion of (log1p (sinh c)) in c 7.635 * [taylor]: Rewrote expression to (log (+ 1 (sinh c))) 7.635 * [taylor]: Taking taylor expansion of (+ 1 (sinh c)) in c 7.635 * [taylor]: Taking taylor expansion of 1 in c 7.635 * [taylor]: Taking taylor expansion of (sinh c) in c 7.635 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 7.636 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 7.636 * [taylor]: Taking taylor expansion of (exp c) in c 7.636 * [taylor]: Taking taylor expansion of c in c 7.636 * [taylor]: Taking taylor expansion of (exp (- c)) in c 7.636 * [taylor]: Taking taylor expansion of (- c) in c 7.636 * [taylor]: Taking taylor expansion of c in c 7.636 * [taylor]: Taking taylor expansion of 2 in c 7.640 * [taylor]: Taking taylor expansion of 1 in c 7.642 * [taylor]: Taking taylor expansion of 1 in c 7.661 * [approximate]: Taking taylor expansion of (expm1 (expm1 (log1p (sinh (/ 1 c))))) in (c) around 0 7.661 * [taylor]: Taking taylor expansion of (expm1 (expm1 (log1p (sinh (/ 1 c))))) in c 7.662 * [taylor]: Rewrote expression to (- (exp (expm1 (log1p (sinh (/ 1 c))))) 1) 7.662 * [taylor]: Taking taylor expansion of (exp (expm1 (log1p (sinh (/ 1 c))))) in c 7.662 * [taylor]: Taking taylor expansion of (expm1 (log1p (sinh (/ 1 c)))) in c 7.662 * [taylor]: Rewrote expression to (- (exp (log1p (sinh (/ 1 c)))) 1) 7.662 * [taylor]: Taking taylor expansion of (exp (log1p (sinh (/ 1 c)))) in c 7.662 * [taylor]: Taking taylor expansion of (log1p (sinh (/ 1 c))) in c 7.662 * [taylor]: Rewrote expression to (log (+ 1 (sinh (/ 1 c)))) 7.662 * [taylor]: Taking taylor expansion of (+ 1 (sinh (/ 1 c))) in c 7.662 * [taylor]: Taking taylor expansion of 1 in c 7.662 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 7.662 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 7.662 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 7.662 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 7.662 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.662 * [taylor]: Taking taylor expansion of c in c 7.662 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 7.662 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 7.662 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.662 * [taylor]: Taking taylor expansion of c in c 7.663 * [taylor]: Taking taylor expansion of 2 in c 7.663 * [taylor]: Taking taylor expansion of 1 in c 7.664 * [taylor]: Taking taylor expansion of 1 in c 7.664 * [taylor]: Taking taylor expansion of (expm1 (expm1 (log1p (sinh (/ 1 c))))) in c 7.664 * [taylor]: Rewrote expression to (- (exp (expm1 (log1p (sinh (/ 1 c))))) 1) 7.664 * [taylor]: Taking taylor expansion of (exp (expm1 (log1p (sinh (/ 1 c))))) in c 7.664 * [taylor]: Taking taylor expansion of (expm1 (log1p (sinh (/ 1 c)))) in c 7.664 * [taylor]: Rewrote expression to (- (exp (log1p (sinh (/ 1 c)))) 1) 7.664 * [taylor]: Taking taylor expansion of (exp (log1p (sinh (/ 1 c)))) in c 7.664 * [taylor]: Taking taylor expansion of (log1p (sinh (/ 1 c))) in c 7.664 * [taylor]: Rewrote expression to (log (+ 1 (sinh (/ 1 c)))) 7.664 * [taylor]: Taking taylor expansion of (+ 1 (sinh (/ 1 c))) in c 7.664 * [taylor]: Taking taylor expansion of 1 in c 7.664 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 7.664 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 7.664 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 7.664 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 7.664 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.664 * [taylor]: Taking taylor expansion of c in c 7.665 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 7.665 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 7.665 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.665 * [taylor]: Taking taylor expansion of c in c 7.665 * [taylor]: Taking taylor expansion of 2 in c 7.666 * [taylor]: Taking taylor expansion of 1 in c 7.666 * [taylor]: Taking taylor expansion of 1 in c 7.728 * [approximate]: Taking taylor expansion of (expm1 (expm1 (log1p (sinh (/ -1 c))))) in (c) around 0 7.728 * [taylor]: Taking taylor expansion of (expm1 (expm1 (log1p (sinh (/ -1 c))))) in c 7.728 * [taylor]: Rewrote expression to (- (exp (expm1 (log1p (sinh (/ -1 c))))) 1) 7.728 * [taylor]: Taking taylor expansion of (exp (expm1 (log1p (sinh (/ -1 c))))) in c 7.728 * [taylor]: Taking taylor expansion of (expm1 (log1p (sinh (/ -1 c)))) in c 7.728 * [taylor]: Rewrote expression to (- (exp (log1p (sinh (/ -1 c)))) 1) 7.728 * [taylor]: Taking taylor expansion of (exp (log1p (sinh (/ -1 c)))) in c 7.728 * [taylor]: Taking taylor expansion of (log1p (sinh (/ -1 c))) in c 7.728 * [taylor]: Rewrote expression to (log (+ 1 (sinh (/ -1 c)))) 7.728 * [taylor]: Taking taylor expansion of (+ 1 (sinh (/ -1 c))) in c 7.728 * [taylor]: Taking taylor expansion of 1 in c 7.728 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 7.728 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 7.728 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 7.728 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 7.728 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.728 * [taylor]: Taking taylor expansion of -1 in c 7.728 * [taylor]: Taking taylor expansion of c in c 7.728 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 7.728 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 7.728 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.728 * [taylor]: Taking taylor expansion of -1 in c 7.728 * [taylor]: Taking taylor expansion of c in c 7.729 * [taylor]: Taking taylor expansion of 2 in c 7.730 * [taylor]: Taking taylor expansion of 1 in c 7.730 * [taylor]: Taking taylor expansion of 1 in c 7.730 * [taylor]: Taking taylor expansion of (expm1 (expm1 (log1p (sinh (/ -1 c))))) in c 7.730 * [taylor]: Rewrote expression to (- (exp (expm1 (log1p (sinh (/ -1 c))))) 1) 7.730 * [taylor]: Taking taylor expansion of (exp (expm1 (log1p (sinh (/ -1 c))))) in c 7.730 * [taylor]: Taking taylor expansion of (expm1 (log1p (sinh (/ -1 c)))) in c 7.730 * [taylor]: Rewrote expression to (- (exp (log1p (sinh (/ -1 c)))) 1) 7.730 * [taylor]: Taking taylor expansion of (exp (log1p (sinh (/ -1 c)))) in c 7.730 * [taylor]: Taking taylor expansion of (log1p (sinh (/ -1 c))) in c 7.730 * [taylor]: Rewrote expression to (log (+ 1 (sinh (/ -1 c)))) 7.730 * [taylor]: Taking taylor expansion of (+ 1 (sinh (/ -1 c))) in c 7.730 * [taylor]: Taking taylor expansion of 1 in c 7.730 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 7.730 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 7.730 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 7.730 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 7.730 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.730 * [taylor]: Taking taylor expansion of -1 in c 7.731 * [taylor]: Taking taylor expansion of c in c 7.731 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 7.731 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 7.731 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.731 * [taylor]: Taking taylor expansion of -1 in c 7.731 * [taylor]: Taking taylor expansion of c in c 7.731 * [taylor]: Taking taylor expansion of 2 in c 7.732 * [taylor]: Taking taylor expansion of 1 in c 7.732 * [taylor]: Taking taylor expansion of 1 in c 7.794 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1) 7.794 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 7.794 * [taylor]: Taking taylor expansion of (sinh c) in c 7.794 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 7.794 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 7.794 * [taylor]: Taking taylor expansion of (exp c) in c 7.794 * [taylor]: Taking taylor expansion of c in c 7.794 * [taylor]: Taking taylor expansion of (exp (- c)) in c 7.794 * [taylor]: Taking taylor expansion of (- c) in c 7.794 * [taylor]: Taking taylor expansion of c in c 7.795 * [taylor]: Taking taylor expansion of 2 in c 7.797 * [taylor]: Taking taylor expansion of (sinh c) in c 7.797 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 7.797 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 7.797 * [taylor]: Taking taylor expansion of (exp c) in c 7.797 * [taylor]: Taking taylor expansion of c in c 7.797 * [taylor]: Taking taylor expansion of (exp (- c)) in c 7.797 * [taylor]: Taking taylor expansion of (- c) in c 7.797 * [taylor]: Taking taylor expansion of c in c 7.798 * [taylor]: Taking taylor expansion of 2 in c 7.824 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 7.824 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 7.824 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 7.824 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 7.824 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 7.824 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.824 * [taylor]: Taking taylor expansion of c in c 7.824 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 7.824 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 7.824 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.824 * [taylor]: Taking taylor expansion of c in c 7.825 * [taylor]: Taking taylor expansion of 2 in c 7.825 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 7.825 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 7.825 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 7.825 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 7.825 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.825 * [taylor]: Taking taylor expansion of c in c 7.825 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 7.825 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 7.826 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.826 * [taylor]: Taking taylor expansion of c in c 7.826 * [taylor]: Taking taylor expansion of 2 in c 7.837 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 7.837 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 7.837 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 7.837 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 7.837 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 7.837 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.838 * [taylor]: Taking taylor expansion of -1 in c 7.838 * [taylor]: Taking taylor expansion of c in c 7.838 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 7.838 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 7.838 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.838 * [taylor]: Taking taylor expansion of -1 in c 7.838 * [taylor]: Taking taylor expansion of c in c 7.838 * [taylor]: Taking taylor expansion of 2 in c 7.839 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 7.839 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 7.839 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 7.839 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 7.839 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.839 * [taylor]: Taking taylor expansion of -1 in c 7.839 * [taylor]: Taking taylor expansion of c in c 7.839 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 7.839 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 7.839 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.839 * [taylor]: Taking taylor expansion of -1 in c 7.839 * [taylor]: Taking taylor expansion of c in c 7.840 * [taylor]: Taking taylor expansion of 2 in c 7.851 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 7.851 * [approximate]: Taking taylor expansion of (log1p (expm1 (expm1 (log1p (sinh c))))) in (c) around 0 7.851 * [taylor]: Taking taylor expansion of (log1p (expm1 (expm1 (log1p (sinh c))))) in c 7.851 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (expm1 (log1p (sinh c)))))) 7.856 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (expm1 (log1p (sinh c))))) in c 7.856 * [taylor]: Taking taylor expansion of 1 in c 7.856 * [taylor]: Taking taylor expansion of (expm1 (expm1 (log1p (sinh c)))) in c 7.856 * [taylor]: Rewrote expression to (- (exp (expm1 (log1p (sinh c)))) 1) 7.856 * [taylor]: Taking taylor expansion of (exp (expm1 (log1p (sinh c)))) in c 7.856 * [taylor]: Taking taylor expansion of (expm1 (log1p (sinh c))) in c 7.856 * [taylor]: Rewrote expression to (- (exp (log1p (sinh c))) 1) 7.856 * [taylor]: Taking taylor expansion of (exp (log1p (sinh c))) in c 7.856 * [taylor]: Taking taylor expansion of (log1p (sinh c)) in c 7.856 * [taylor]: Rewrote expression to (log (+ 1 (sinh c))) 7.856 * [taylor]: Taking taylor expansion of (+ 1 (sinh c)) in c 7.856 * [taylor]: Taking taylor expansion of 1 in c 7.856 * [taylor]: Taking taylor expansion of (sinh c) in c 7.856 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 7.857 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 7.857 * [taylor]: Taking taylor expansion of (exp c) in c 7.857 * [taylor]: Taking taylor expansion of c in c 7.857 * [taylor]: Taking taylor expansion of (exp (- c)) in c 7.857 * [taylor]: Taking taylor expansion of (- c) in c 7.857 * [taylor]: Taking taylor expansion of c in c 7.857 * [taylor]: Taking taylor expansion of 2 in c 7.861 * [taylor]: Taking taylor expansion of 1 in c 7.863 * [taylor]: Taking taylor expansion of 1 in c 7.864 * [taylor]: Taking taylor expansion of (log1p (expm1 (expm1 (log1p (sinh c))))) in c 7.864 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (expm1 (log1p (sinh c)))))) 7.864 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (expm1 (log1p (sinh c))))) in c 7.864 * [taylor]: Taking taylor expansion of 1 in c 7.864 * [taylor]: Taking taylor expansion of (expm1 (expm1 (log1p (sinh c)))) in c 7.864 * [taylor]: Rewrote expression to (- (exp (expm1 (log1p (sinh c)))) 1) 7.864 * [taylor]: Taking taylor expansion of (exp (expm1 (log1p (sinh c)))) in c 7.864 * [taylor]: Taking taylor expansion of (expm1 (log1p (sinh c))) in c 7.864 * [taylor]: Rewrote expression to (- (exp (log1p (sinh c))) 1) 7.864 * [taylor]: Taking taylor expansion of (exp (log1p (sinh c))) in c 7.864 * [taylor]: Taking taylor expansion of (log1p (sinh c)) in c 7.864 * [taylor]: Rewrote expression to (log (+ 1 (sinh c))) 7.864 * [taylor]: Taking taylor expansion of (+ 1 (sinh c)) in c 7.864 * [taylor]: Taking taylor expansion of 1 in c 7.864 * [taylor]: Taking taylor expansion of (sinh c) in c 7.864 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 7.864 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 7.864 * [taylor]: Taking taylor expansion of (exp c) in c 7.864 * [taylor]: Taking taylor expansion of c in c 7.864 * [taylor]: Taking taylor expansion of (exp (- c)) in c 7.864 * [taylor]: Taking taylor expansion of (- c) in c 7.864 * [taylor]: Taking taylor expansion of c in c 7.865 * [taylor]: Taking taylor expansion of 2 in c 7.868 * [taylor]: Taking taylor expansion of 1 in c 7.870 * [taylor]: Taking taylor expansion of 1 in c 7.959 * [approximate]: Taking taylor expansion of (log1p (expm1 (expm1 (log1p (sinh (/ 1 c)))))) in (c) around 0 7.959 * [taylor]: Taking taylor expansion of (log1p (expm1 (expm1 (log1p (sinh (/ 1 c)))))) in c 7.959 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (expm1 (log1p (sinh (/ 1 c))))))) 7.959 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (expm1 (log1p (sinh (/ 1 c)))))) in c 7.959 * [taylor]: Taking taylor expansion of 1 in c 7.959 * [taylor]: Taking taylor expansion of (expm1 (expm1 (log1p (sinh (/ 1 c))))) in c 7.959 * [taylor]: Rewrote expression to (- (exp (expm1 (log1p (sinh (/ 1 c))))) 1) 7.959 * [taylor]: Taking taylor expansion of (exp (expm1 (log1p (sinh (/ 1 c))))) in c 7.959 * [taylor]: Taking taylor expansion of (expm1 (log1p (sinh (/ 1 c)))) in c 7.959 * [taylor]: Rewrote expression to (- (exp (log1p (sinh (/ 1 c)))) 1) 7.959 * [taylor]: Taking taylor expansion of (exp (log1p (sinh (/ 1 c)))) in c 7.959 * [taylor]: Taking taylor expansion of (log1p (sinh (/ 1 c))) in c 7.959 * [taylor]: Rewrote expression to (log (+ 1 (sinh (/ 1 c)))) 7.959 * [taylor]: Taking taylor expansion of (+ 1 (sinh (/ 1 c))) in c 7.959 * [taylor]: Taking taylor expansion of 1 in c 7.959 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 7.959 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 7.959 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 7.959 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 7.959 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.959 * [taylor]: Taking taylor expansion of c in c 7.960 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 7.960 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 7.960 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.960 * [taylor]: Taking taylor expansion of c in c 7.960 * [taylor]: Taking taylor expansion of 2 in c 7.961 * [taylor]: Taking taylor expansion of 1 in c 7.961 * [taylor]: Taking taylor expansion of 1 in c 7.962 * [taylor]: Taking taylor expansion of (log1p (expm1 (expm1 (log1p (sinh (/ 1 c)))))) in c 7.962 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (expm1 (log1p (sinh (/ 1 c))))))) 7.962 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (expm1 (log1p (sinh (/ 1 c)))))) in c 7.962 * [taylor]: Taking taylor expansion of 1 in c 7.962 * [taylor]: Taking taylor expansion of (expm1 (expm1 (log1p (sinh (/ 1 c))))) in c 7.962 * [taylor]: Rewrote expression to (- (exp (expm1 (log1p (sinh (/ 1 c))))) 1) 7.962 * [taylor]: Taking taylor expansion of (exp (expm1 (log1p (sinh (/ 1 c))))) in c 7.962 * [taylor]: Taking taylor expansion of (expm1 (log1p (sinh (/ 1 c)))) in c 7.962 * [taylor]: Rewrote expression to (- (exp (log1p (sinh (/ 1 c)))) 1) 7.962 * [taylor]: Taking taylor expansion of (exp (log1p (sinh (/ 1 c)))) in c 7.962 * [taylor]: Taking taylor expansion of (log1p (sinh (/ 1 c))) in c 7.962 * [taylor]: Rewrote expression to (log (+ 1 (sinh (/ 1 c)))) 7.962 * [taylor]: Taking taylor expansion of (+ 1 (sinh (/ 1 c))) in c 7.962 * [taylor]: Taking taylor expansion of 1 in c 7.962 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 7.962 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 7.962 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 7.962 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 7.962 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.962 * [taylor]: Taking taylor expansion of c in c 7.963 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 7.963 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 7.963 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.963 * [taylor]: Taking taylor expansion of c in c 7.963 * [taylor]: Taking taylor expansion of 2 in c 7.964 * [taylor]: Taking taylor expansion of 1 in c 7.964 * [taylor]: Taking taylor expansion of 1 in c 8.048 * [approximate]: Taking taylor expansion of (log1p (expm1 (expm1 (log1p (sinh (/ -1 c)))))) in (c) around 0 8.048 * [taylor]: Taking taylor expansion of (log1p (expm1 (expm1 (log1p (sinh (/ -1 c)))))) in c 8.048 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (expm1 (log1p (sinh (/ -1 c))))))) 8.048 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (expm1 (log1p (sinh (/ -1 c)))))) in c 8.048 * [taylor]: Taking taylor expansion of 1 in c 8.048 * [taylor]: Taking taylor expansion of (expm1 (expm1 (log1p (sinh (/ -1 c))))) in c 8.048 * [taylor]: Rewrote expression to (- (exp (expm1 (log1p (sinh (/ -1 c))))) 1) 8.049 * [taylor]: Taking taylor expansion of (exp (expm1 (log1p (sinh (/ -1 c))))) in c 8.049 * [taylor]: Taking taylor expansion of (expm1 (log1p (sinh (/ -1 c)))) in c 8.049 * [taylor]: Rewrote expression to (- (exp (log1p (sinh (/ -1 c)))) 1) 8.049 * [taylor]: Taking taylor expansion of (exp (log1p (sinh (/ -1 c)))) in c 8.049 * [taylor]: Taking taylor expansion of (log1p (sinh (/ -1 c))) in c 8.049 * [taylor]: Rewrote expression to (log (+ 1 (sinh (/ -1 c)))) 8.049 * [taylor]: Taking taylor expansion of (+ 1 (sinh (/ -1 c))) in c 8.049 * [taylor]: Taking taylor expansion of 1 in c 8.049 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 8.049 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 8.049 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 8.049 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 8.049 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.049 * [taylor]: Taking taylor expansion of -1 in c 8.049 * [taylor]: Taking taylor expansion of c in c 8.049 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 8.049 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 8.049 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.049 * [taylor]: Taking taylor expansion of -1 in c 8.049 * [taylor]: Taking taylor expansion of c in c 8.050 * [taylor]: Taking taylor expansion of 2 in c 8.050 * [taylor]: Taking taylor expansion of 1 in c 8.051 * [taylor]: Taking taylor expansion of 1 in c 8.051 * [taylor]: Taking taylor expansion of (log1p (expm1 (expm1 (log1p (sinh (/ -1 c)))))) in c 8.051 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (expm1 (log1p (sinh (/ -1 c))))))) 8.052 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (expm1 (log1p (sinh (/ -1 c)))))) in c 8.052 * [taylor]: Taking taylor expansion of 1 in c 8.052 * [taylor]: Taking taylor expansion of (expm1 (expm1 (log1p (sinh (/ -1 c))))) in c 8.052 * [taylor]: Rewrote expression to (- (exp (expm1 (log1p (sinh (/ -1 c))))) 1) 8.052 * [taylor]: Taking taylor expansion of (exp (expm1 (log1p (sinh (/ -1 c))))) in c 8.052 * [taylor]: Taking taylor expansion of (expm1 (log1p (sinh (/ -1 c)))) in c 8.052 * [taylor]: Rewrote expression to (- (exp (log1p (sinh (/ -1 c)))) 1) 8.052 * [taylor]: Taking taylor expansion of (exp (log1p (sinh (/ -1 c)))) in c 8.052 * [taylor]: Taking taylor expansion of (log1p (sinh (/ -1 c))) in c 8.052 * [taylor]: Rewrote expression to (log (+ 1 (sinh (/ -1 c)))) 8.052 * [taylor]: Taking taylor expansion of (+ 1 (sinh (/ -1 c))) in c 8.052 * [taylor]: Taking taylor expansion of 1 in c 8.052 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 8.052 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 8.052 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 8.052 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 8.052 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.052 * [taylor]: Taking taylor expansion of -1 in c 8.052 * [taylor]: Taking taylor expansion of c in c 8.052 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 8.053 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 8.053 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.053 * [taylor]: Taking taylor expansion of -1 in c 8.053 * [taylor]: Taking taylor expansion of c in c 8.053 * [taylor]: Taking taylor expansion of 2 in c 8.054 * [taylor]: Taking taylor expansion of 1 in c 8.054 * [taylor]: Taking taylor expansion of 1 in c 8.136 * * * [progress]: simplifying candidates 8.137 * [simplify]: Simplifying using # : (exp (log1p (sinh c))) (expm1 (expm1 (log1p (sinh c)))) (log1p (expm1 (log1p (sinh c)))) (log (expm1 (log1p (sinh c)))) (exp (expm1 (log1p (sinh c)))) (* (cbrt (expm1 (log1p (sinh c)))) (cbrt (expm1 (log1p (sinh c))))) (cbrt (expm1 (log1p (sinh c)))) (* (* (expm1 (log1p (sinh c))) (expm1 (log1p (sinh c)))) (expm1 (log1p (sinh c)))) (sqrt (expm1 (log1p (sinh c)))) (sqrt (expm1 (log1p (sinh c)))) (exp (expm1 (log1p (sinh c)))) (expm1 (expm1 (expm1 (log1p (sinh c))))) (log1p (expm1 (expm1 (log1p (sinh c))))) (log (expm1 (expm1 (log1p (sinh c))))) (exp (expm1 (expm1 (log1p (sinh c))))) (* (cbrt (expm1 (expm1 (log1p (sinh c))))) (cbrt (expm1 (expm1 (log1p (sinh c)))))) (cbrt (expm1 (expm1 (log1p (sinh c))))) (* (* (expm1 (expm1 (log1p (sinh c)))) (expm1 (expm1 (log1p (sinh c))))) (expm1 (expm1 (log1p (sinh c))))) (sqrt (expm1 (expm1 (log1p (sinh c))))) (sqrt (expm1 (expm1 (log1p (sinh c))))) (expm1 (sinh c)) (log1p (sinh c)) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (+ 1 (expm1 (expm1 (log1p (sinh c))))) (expm1 (log1p (expm1 (expm1 (log1p (sinh c)))))) (log1p (log1p (expm1 (expm1 (log1p (sinh c)))))) (log (log1p (expm1 (expm1 (log1p (sinh c)))))) (exp (log1p (expm1 (expm1 (log1p (sinh c)))))) (* (cbrt (log1p (expm1 (expm1 (log1p (sinh c)))))) (cbrt (log1p (expm1 (expm1 (log1p (sinh c))))))) (cbrt (log1p (expm1 (expm1 (log1p (sinh c)))))) (* (* (log1p (expm1 (expm1 (log1p (sinh c))))) (log1p (expm1 (expm1 (log1p (sinh c)))))) (log1p (expm1 (expm1 (log1p (sinh c)))))) (sqrt (log1p (expm1 (expm1 (log1p (sinh c)))))) (sqrt (log1p (expm1 (expm1 (log1p (sinh c)))))) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (- (* 1/2 (exp c)) (* 1/2 (exp (- c)))) (- (* 1/2 (exp c)) (* 1/2 (exp (* -1 c)))) (+ (* 1/3 (pow c 3)) (+ (* 1/2 (pow c 2)) c)) (- (exp (- (* 1/2 (exp c)) (* 1/2 (exp (- c))))) 1) (- (exp (- (* 1/2 (exp c)) (* 1/2 (exp (* -1 c))))) 1) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (- (* 1/2 (exp c)) (* 1/2 (exp (- c)))) (- (* 1/2 (exp c)) (* 1/2 (exp (* -1 c)))) 8.139 * * [simplify]: iteration 0 : 79 enodes (cost 412 ) 8.150 * * [simplify]: iteration 1 : 142 enodes (cost 282 ) 8.176 * * [simplify]: iteration 2 : 271 enodes (cost 264 ) 8.226 * * [simplify]: iteration 3 : 578 enodes (cost 256 ) 8.429 * * [simplify]: iteration 4 : 1352 enodes (cost 250 ) 8.967 * * [simplify]: iteration 5 : 4584 enodes (cost 214 ) 9.989 * * [simplify]: iteration done : 5000 enodes (cost 214 ) 9.989 * [simplify]: Simplified to: (exp (log1p (sinh c))) (expm1 (sinh c)) (log1p (sinh c)) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (exp (sinh c)) (expm1 (expm1 (sinh c))) (sinh c) (log (expm1 (sinh c))) (exp (expm1 (sinh c))) (* (cbrt (expm1 (sinh c))) (cbrt (expm1 (sinh c)))) (cbrt (expm1 (sinh c))) (pow (expm1 (sinh c)) 3) (sqrt (expm1 (sinh c))) (sqrt (expm1 (sinh c))) (expm1 (sinh c)) (log1p (sinh c)) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (+ 1 (expm1 (sinh c))) (expm1 (sinh c)) (log1p (sinh c)) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (sinh c) (sinh c) (fma (* c c) (fma 1/3 c 1/2) c) (expm1 (sinh c)) (expm1 (sinh c)) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (sinh c) (sinh c) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (sinh c) (sinh c) 9.990 * * * [progress]: adding candidates to table 10.124 * [progress]: [Phase 3 of 3] Extracting. 10.124 * * [regime]: Finding splitpoints for: (# # #) 10.124 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c) 10.124 * * * * [regimes]: Trying to branch on (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) from (# # #) 10.148 * * * * [regimes]: Trying to branch on c from (# # #) 10.161 * * * [regime]: Found split indices: #