0.700 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.438 * * * [progress]: [2/2] Setting up program.
0.445 * [progress]: [Phase 2 of 3] Improving.
0.450 * [simplify]: Simplifying:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
0.452 * * [simplify]: Extracting # 0 : cost  0
0.452 * * [simplify]: Extracting # 1 : cost  0
0.452 * * [simplify]: Extracting # 2 : cost  0
0.453 * * [simplify]: Extracting # 3 : cost  0
0.453 * * [simplify]: Extracting # 4 : cost  0
0.453 * * [simplify]: Extracting # 5 : cost  0
0.453 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
0.461 * * [simplify]: Extracting # 0 : cost  0
0.461 * * [simplify]: Extracting # 1 : cost  0
0.461 * * [simplify]: Extracting # 2 : cost  0
0.461 * * [simplify]: Extracting # 3 : cost  0
0.461 * * [simplify]: Extracting # 4 : cost  0
0.461 * * [simplify]: Extracting # 5 : cost  0
0.462 * * [simplify]: iteration  1 :  18  enodes  (cost  8 )
0.468 * * [simplify]: Extracting # 0 : cost  0
0.468 * * [simplify]: Extracting # 1 : cost  0
0.468 * * [simplify]: Extracting # 2 : cost  0
0.468 * * [simplify]: Extracting # 3 : cost  0
0.468 * * [simplify]: iteration  2 :  34  enodes  (cost  8 )
0.476 * * [simplify]: Extracting # 0 : cost  0
0.476 * * [simplify]: Extracting # 1 : cost  0
0.476 * * [simplify]: Extracting # 2 : cost  0
0.476 * * [simplify]: Extracting # 3 : cost  0
0.476 * * [simplify]: Extracting # 4 : cost  0
0.476 * * [simplify]: iteration  3 :  71  enodes  (cost  8 )
0.493 * * [simplify]: Extracting # 0 : cost  0
0.493 * * [simplify]: Extracting # 1 : cost  0
0.493 * * [simplify]: Extracting # 2 : cost  0
0.493 * * [simplify]: Extracting # 3 : cost  0
0.493 * * [simplify]: Extracting # 4 : cost  0
0.493 * * [simplify]: iteration  4 :  151  enodes  (cost  8 )
0.661 * * [simplify]: Extracting # 0 : cost  0
0.662 * * [simplify]: Extracting # 1 : cost  0
0.663 * * [simplify]: Extracting # 2 : cost  0
0.664 * * [simplify]: Extracting # 3 : cost  0
0.665 * * [simplify]: Extracting # 4 : cost  0
0.666 * * [simplify]: iteration  5 :  360  enodes  (cost  8 )
1.658 * * [simplify]: Extracting # 0 : cost  0
1.660 * * [simplify]: Extracting # 1 : cost  0
1.661 * * [simplify]: Extracting # 2 : cost  0
1.663 * * [simplify]: Extracting # 3 : cost  0
1.664 * * [simplify]: Extracting # 4 : cost  0
1.671 * * [simplify]: iteration  6 :  1154  enodes  (cost  8 )
5.292 * * [simplify]: Extracting # 0 : cost  0
5.300 * * [simplify]: Extracting # 1 : cost  0
5.305 * * [simplify]: Extracting # 2 : cost  0
5.311 * * [simplify]: Extracting # 3 : cost  0
5.317 * * [simplify]: Extracting # 4 : cost  0
5.323 * * [simplify]: iteration  7 :  4429  enodes  (cost  8 )
8.232 * * [simplify]: Extracting # 0 : cost  0
8.237 * * [simplify]: Extracting # 1 : cost  0
8.244 * * [simplify]: Extracting # 2 : cost  0
8.248 * * [simplify]: Extracting # 3 : cost  0
8.251 * * [simplify]: iteration done:  5001  enodes  (cost  8 )
8.252 * [simplify]: Simplified to:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
8.253 * * [progress]: iteration 1 / 4
8.253 * * * [progress]: picking best candidate
8.256 * * * * [pick]: Picked  #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))>
8.256 * * * [progress]: localizing error
8.266 * * * [progress]: generating rewritten candidates
8.267 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
8.273 * * * [progress]: generating series expansions
8.273 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
8.275 * [backup-simplify]: Simplify (sinh c) into (sinh c)
8.275 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
8.276 * [taylor]: Taking taylor expansion of (sinh c) in c
8.278 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
8.278 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
8.278 * [taylor]: Taking taylor expansion of (exp c) in c
8.278 * [taylor]: Taking taylor expansion of c in c
8.278 * [backup-simplify]: Simplify 0 into 0
8.278 * [backup-simplify]: Simplify 1 into 1
8.278 * [backup-simplify]: Simplify (exp 0) into 1
8.278 * [taylor]: Taking taylor expansion of (exp (- c)) in c
8.278 * [taylor]: Taking taylor expansion of (- c) in c
8.278 * [taylor]: Taking taylor expansion of c in c
8.279 * [backup-simplify]: Simplify 0 into 0
8.279 * [backup-simplify]: Simplify 1 into 1
8.279 * [backup-simplify]: Simplify (- 0) into 0
8.279 * [backup-simplify]: Simplify (- 1) into -1
8.279 * [backup-simplify]: Simplify (exp 0) into 1
8.279 * [taylor]: Taking taylor expansion of 2 in c
8.279 * [backup-simplify]: Simplify 2 into 2
8.280 * [backup-simplify]: Simplify (- 1) into -1
8.280 * [backup-simplify]: Simplify (+ 1 -1) into 0
8.281 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
8.282 * [backup-simplify]: Simplify (- 1) into -1
8.283 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
8.284 * [backup-simplify]: Simplify (- -1) into 1
8.284 * [backup-simplify]: Simplify (+ 1 1) into 2
8.284 * [backup-simplify]: Simplify (/ 2 2) into 1
8.284 * [taylor]: Taking taylor expansion of (sinh c) in c
8.285 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
8.285 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
8.285 * [taylor]: Taking taylor expansion of (exp c) in c
8.285 * [taylor]: Taking taylor expansion of c in c
8.285 * [backup-simplify]: Simplify 0 into 0
8.285 * [backup-simplify]: Simplify 1 into 1
8.285 * [backup-simplify]: Simplify (exp 0) into 1
8.285 * [taylor]: Taking taylor expansion of (exp (- c)) in c
8.285 * [taylor]: Taking taylor expansion of (- c) in c
8.285 * [taylor]: Taking taylor expansion of c in c
8.285 * [backup-simplify]: Simplify 0 into 0
8.285 * [backup-simplify]: Simplify 1 into 1
8.285 * [backup-simplify]: Simplify (- 0) into 0
8.286 * [backup-simplify]: Simplify (- 1) into -1
8.286 * [backup-simplify]: Simplify (exp 0) into 1
8.286 * [taylor]: Taking taylor expansion of 2 in c
8.286 * [backup-simplify]: Simplify 2 into 2
8.286 * [backup-simplify]: Simplify (- 1) into -1
8.286 * [backup-simplify]: Simplify (+ 1 -1) into 0
8.287 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
8.288 * [backup-simplify]: Simplify (- 1) into -1
8.289 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
8.289 * [backup-simplify]: Simplify (- -1) into 1
8.290 * [backup-simplify]: Simplify (+ 1 1) into 2
8.290 * [backup-simplify]: Simplify (/ 2 2) into 1
8.291 * [backup-simplify]: Simplify 1 into 1
8.293 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
8.293 * [backup-simplify]: Simplify (- 1) into -1
8.294 * [backup-simplify]: Simplify (- 0) into 0
8.295 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
8.296 * [backup-simplify]: Simplify (- 1/2) into -1/2
8.296 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
8.297 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
8.297 * [backup-simplify]: Simplify 0 into 0
8.299 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
8.299 * [backup-simplify]: Simplify (- 1) into -1
8.299 * [backup-simplify]: Simplify (- 1) into -1
8.300 * [backup-simplify]: Simplify (- 0) into 0
8.300 * [backup-simplify]: Simplify (- 0) into 0
8.301 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
8.301 * [backup-simplify]: Simplify (- -1/6) into 1/6
8.302 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
8.302 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
8.302 * [backup-simplify]: Simplify 1/6 into 1/6
8.305 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
8.305 * [backup-simplify]: Simplify (- 1) into -1
8.305 * [backup-simplify]: Simplify (- 1) into -1
8.305 * [backup-simplify]: Simplify (- 0) into 0
8.306 * [backup-simplify]: Simplify (- 1) into -1
8.306 * [backup-simplify]: Simplify (- 0) into 0
8.306 * [backup-simplify]: Simplify (- 0) into 0
8.306 * [backup-simplify]: Simplify (- 0) into 0
8.309 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
8.309 * [backup-simplify]: Simplify (- 1/24) into -1/24
8.309 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
8.310 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
8.310 * [backup-simplify]: Simplify 0 into 0
8.313 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120
8.313 * [backup-simplify]: Simplify (- 1) into -1
8.314 * [backup-simplify]: Simplify (- 1) into -1
8.314 * [backup-simplify]: Simplify (- 0) into 0
8.314 * [backup-simplify]: Simplify (- 1) into -1
8.314 * [backup-simplify]: Simplify (- 0) into 0
8.314 * [backup-simplify]: Simplify (- 1) into -1
8.315 * [backup-simplify]: Simplify (- 0) into 0
8.315 * [backup-simplify]: Simplify (- 1) into -1
8.315 * [backup-simplify]: Simplify (- 0) into 0
8.315 * [backup-simplify]: Simplify (- 0) into 0
8.316 * [backup-simplify]: Simplify (- 0) into 0
8.316 * [backup-simplify]: Simplify (- 0) into 0
8.319 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120
8.319 * [backup-simplify]: Simplify (- -1/120) into 1/120
8.319 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
8.320 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
8.320 * [backup-simplify]: Simplify 1/120 into 1/120
8.323 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
8.324 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c))
8.324 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
8.324 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
8.324 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
8.324 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
8.324 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
8.324 * [taylor]: Taking taylor expansion of (/ 1 c) in c
8.324 * [taylor]: Taking taylor expansion of c in c
8.324 * [backup-simplify]: Simplify 0 into 0
8.324 * [backup-simplify]: Simplify 1 into 1
8.324 * [backup-simplify]: Simplify (/ 1 1) into 1
8.324 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
8.324 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
8.324 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
8.324 * [taylor]: Taking taylor expansion of (/ 1 c) in c
8.324 * [taylor]: Taking taylor expansion of c in c
8.324 * [backup-simplify]: Simplify 0 into 0
8.324 * [backup-simplify]: Simplify 1 into 1
8.336 * [backup-simplify]: Simplify (/ 1 1) into 1
8.337 * [backup-simplify]: Simplify (- 1) into -1
8.338 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
8.338 * [taylor]: Taking taylor expansion of 2 in c
8.338 * [backup-simplify]: Simplify 2 into 2
8.338 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
8.338 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
8.339 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
8.339 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
8.339 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
8.339 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
8.339 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
8.339 * [taylor]: Taking taylor expansion of (/ 1 c) in c
8.339 * [taylor]: Taking taylor expansion of c in c
8.339 * [backup-simplify]: Simplify 0 into 0
8.339 * [backup-simplify]: Simplify 1 into 1
8.340 * [backup-simplify]: Simplify (/ 1 1) into 1
8.340 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
8.340 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
8.340 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
8.340 * [taylor]: Taking taylor expansion of (/ 1 c) in c
8.340 * [taylor]: Taking taylor expansion of c in c
8.340 * [backup-simplify]: Simplify 0 into 0
8.340 * [backup-simplify]: Simplify 1 into 1
8.340 * [backup-simplify]: Simplify (/ 1 1) into 1
8.341 * [backup-simplify]: Simplify (- 1) into -1
8.341 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
8.341 * [taylor]: Taking taylor expansion of 2 in c
8.341 * [backup-simplify]: Simplify 2 into 2
8.341 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
8.341 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
8.341 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
8.342 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
8.342 * [backup-simplify]: Simplify (- 0) into 0
8.342 * [backup-simplify]: Simplify (+ 0 0) into 0
8.344 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
8.344 * [backup-simplify]: Simplify 0 into 0
8.344 * [backup-simplify]: Simplify (- 0) into 0
8.345 * [backup-simplify]: Simplify (+ 0 0) into 0
8.346 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
8.346 * [backup-simplify]: Simplify 0 into 0
8.347 * [backup-simplify]: Simplify (- 0) into 0
8.347 * [backup-simplify]: Simplify (+ 0 0) into 0
8.349 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
8.349 * [backup-simplify]: Simplify 0 into 0
8.350 * [backup-simplify]: Simplify (- 0) into 0
8.350 * [backup-simplify]: Simplify (+ 0 0) into 0
8.353 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
8.353 * [backup-simplify]: Simplify 0 into 0
8.353 * [backup-simplify]: Simplify (- 0) into 0
8.354 * [backup-simplify]: Simplify (+ 0 0) into 0
8.356 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
8.357 * [backup-simplify]: Simplify 0 into 0
8.357 * [backup-simplify]: Simplify (- 0) into 0
8.357 * [backup-simplify]: Simplify (+ 0 0) into 0
8.361 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
8.361 * [backup-simplify]: Simplify 0 into 0
8.361 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
8.361 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c))
8.361 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
8.361 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
8.362 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
8.362 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
8.362 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
8.362 * [taylor]: Taking taylor expansion of (/ -1 c) in c
8.362 * [taylor]: Taking taylor expansion of -1 in c
8.362 * [backup-simplify]: Simplify -1 into -1
8.362 * [taylor]: Taking taylor expansion of c in c
8.362 * [backup-simplify]: Simplify 0 into 0
8.362 * [backup-simplify]: Simplify 1 into 1
8.362 * [backup-simplify]: Simplify (/ -1 1) into -1
8.362 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
8.362 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
8.362 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
8.362 * [taylor]: Taking taylor expansion of (/ -1 c) in c
8.362 * [taylor]: Taking taylor expansion of -1 in c
8.362 * [backup-simplify]: Simplify -1 into -1
8.362 * [taylor]: Taking taylor expansion of c in c
8.362 * [backup-simplify]: Simplify 0 into 0
8.362 * [backup-simplify]: Simplify 1 into 1
8.363 * [backup-simplify]: Simplify (/ -1 1) into -1
8.363 * [backup-simplify]: Simplify (- -1) into 1
8.363 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
8.363 * [taylor]: Taking taylor expansion of 2 in c
8.363 * [backup-simplify]: Simplify 2 into 2
8.363 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
8.363 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
8.363 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
8.363 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
8.363 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
8.363 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
8.363 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
8.363 * [taylor]: Taking taylor expansion of (/ -1 c) in c
8.363 * [taylor]: Taking taylor expansion of -1 in c
8.363 * [backup-simplify]: Simplify -1 into -1
8.363 * [taylor]: Taking taylor expansion of c in c
8.363 * [backup-simplify]: Simplify 0 into 0
8.363 * [backup-simplify]: Simplify 1 into 1
8.364 * [backup-simplify]: Simplify (/ -1 1) into -1
8.364 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
8.364 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
8.364 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
8.364 * [taylor]: Taking taylor expansion of (/ -1 c) in c
8.364 * [taylor]: Taking taylor expansion of -1 in c
8.364 * [backup-simplify]: Simplify -1 into -1
8.364 * [taylor]: Taking taylor expansion of c in c
8.364 * [backup-simplify]: Simplify 0 into 0
8.364 * [backup-simplify]: Simplify 1 into 1
8.364 * [backup-simplify]: Simplify (/ -1 1) into -1
8.364 * [backup-simplify]: Simplify (- -1) into 1
8.364 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
8.365 * [taylor]: Taking taylor expansion of 2 in c
8.365 * [backup-simplify]: Simplify 2 into 2
8.365 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
8.365 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
8.365 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
8.365 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
8.365 * [backup-simplify]: Simplify (- 0) into 0
8.365 * [backup-simplify]: Simplify (+ 0 0) into 0
8.366 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
8.366 * [backup-simplify]: Simplify 0 into 0
8.366 * [backup-simplify]: Simplify (- 0) into 0
8.367 * [backup-simplify]: Simplify (+ 0 0) into 0
8.367 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
8.367 * [backup-simplify]: Simplify 0 into 0
8.368 * [backup-simplify]: Simplify (- 0) into 0
8.368 * [backup-simplify]: Simplify (+ 0 0) into 0
8.369 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
8.369 * [backup-simplify]: Simplify 0 into 0
8.369 * [backup-simplify]: Simplify (- 0) into 0
8.369 * [backup-simplify]: Simplify (+ 0 0) into 0
8.371 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
8.371 * [backup-simplify]: Simplify 0 into 0
8.371 * [backup-simplify]: Simplify (- 0) into 0
8.371 * [backup-simplify]: Simplify (+ 0 0) into 0
8.373 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
8.373 * [backup-simplify]: Simplify 0 into 0
8.373 * [backup-simplify]: Simplify (- 0) into 0
8.374 * [backup-simplify]: Simplify (+ 0 0) into 0
8.376 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
8.376 * [backup-simplify]: Simplify 0 into 0
8.376 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
8.376 * * * [progress]: simplifying candidates
8.376 * [simplify]: Simplifying:
  (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))))
8.377 * * [simplify]: Extracting # 0 : cost  0
8.377 * * [simplify]: Extracting # 1 : cost  0
8.377 * * [simplify]: Extracting # 2 : cost  0
8.377 * * [simplify]: Extracting # 3 : cost  0
8.377 * * [simplify]: Extracting # 4 : cost  0
8.377 * * [simplify]: Extracting # 5 : cost  0
8.377 * * [simplify]: Extracting # 6 : cost  0
8.377 * * [simplify]: Extracting # 7 : cost  0
8.377 * * [simplify]: Extracting # 8 : cost  0
8.377 * * [simplify]: iteration  0 :  32  enodes  (cost  72 )
8.383 * * [simplify]: Extracting # 0 : cost  0
8.383 * * [simplify]: Extracting # 1 : cost  0
8.384 * * [simplify]: Extracting # 2 : cost  0
8.384 * * [simplify]: Extracting # 3 : cost  0
8.384 * * [simplify]: Extracting # 4 : cost  0
8.384 * * [simplify]: iteration  1 :  62  enodes  (cost  69 )
8.402 * * [simplify]: Extracting # 0 : cost  0
8.402 * * [simplify]: Extracting # 1 : cost  0
8.402 * * [simplify]: Extracting # 2 : cost  0
8.403 * * [simplify]: Extracting # 3 : cost  0
8.403 * * [simplify]: iteration  2 :  133  enodes  (cost  65 )
8.440 * * [simplify]: Extracting # 0 : cost  0
8.441 * * [simplify]: Extracting # 1 : cost  0
8.441 * * [simplify]: Extracting # 2 : cost  0
8.442 * * [simplify]: Extracting # 3 : cost  0
8.442 * * [simplify]: iteration  3 :  289  enodes  (cost  65 )
8.536 * * [simplify]: Extracting # 0 : cost  0
8.538 * * [simplify]: Extracting # 1 : cost  0
8.539 * * [simplify]: Extracting # 2 : cost  0
8.540 * * [simplify]: Extracting # 3 : cost  0
8.542 * * [simplify]: Extracting # 4 : cost  0
8.543 * * [simplify]: iteration  4 :  679  enodes  (cost  65 )
9.175 * * [simplify]: Extracting # 0 : cost  0
9.182 * * [simplify]: Extracting # 1 : cost  0
9.187 * * [simplify]: Extracting # 2 : cost  0
9.193 * * [simplify]: Extracting # 3 : cost  0
9.199 * * [simplify]: Extracting # 4 : cost  0
9.205 * * [simplify]: iteration  5 :  2680  enodes  (cost  65 )
10.893 * * [simplify]: Extracting # 0 : cost  0
10.904 * * [simplify]: Extracting # 1 : cost  0
10.916 * * [simplify]: Extracting # 2 : cost  0
10.927 * * [simplify]: Extracting # 3 : cost  0
10.944 * * [simplify]: Extracting # 4 : cost  0
10.955 * * [simplify]: iteration done:  5000  enodes  (cost  65 )
10.955 * [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))))
10.956 * * * [progress]: adding candidates to table
11.027 * * [progress]: iteration 2 / 4
11.027 * * * [progress]: picking best candidate
11.036 * * * * [pick]: Picked  #<alt (λ (c) (fmod (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (- c (pow -2.9807307601812193e+165 2.0))))>
11.036 * * * [progress]: localizing error
11.061 * * * [progress]: generating rewritten candidates
11.061 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
11.063 * * * [progress]: generating series expansions
11.063 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
11.063 * [backup-simplify]: Simplify (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) into (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))
11.063 * [approximate]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in (c) around 0
11.063 * [taylor]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in c
11.063 * [taylor]: Rewrote expression to (+ (* 1/6 (pow c 3)) (fma 1/120 (pow c 5) c))
11.063 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c
11.063 * [taylor]: Taking taylor expansion of 1/6 in c
11.063 * [backup-simplify]: Simplify 1/6 into 1/6
11.063 * [taylor]: Taking taylor expansion of (pow c 3) in c
11.064 * [taylor]: Taking taylor expansion of c in c
11.064 * [backup-simplify]: Simplify 0 into 0
11.064 * [backup-simplify]: Simplify 1 into 1
11.064 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c
11.064 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c)
11.064 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c
11.064 * [taylor]: Taking taylor expansion of 1/120 in c
11.064 * [backup-simplify]: Simplify 1/120 into 1/120
11.064 * [taylor]: Taking taylor expansion of (pow c 5) in c
11.064 * [taylor]: Taking taylor expansion of c in c
11.064 * [backup-simplify]: Simplify 0 into 0
11.064 * [backup-simplify]: Simplify 1 into 1
11.064 * [taylor]: Taking taylor expansion of c in c
11.064 * [backup-simplify]: Simplify 0 into 0
11.064 * [backup-simplify]: Simplify 1 into 1
11.064 * [taylor]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in c
11.065 * [taylor]: Rewrote expression to (+ (* 1/6 (pow c 3)) (fma 1/120 (pow c 5) c))
11.065 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c
11.065 * [taylor]: Taking taylor expansion of 1/6 in c
11.065 * [backup-simplify]: Simplify 1/6 into 1/6
11.065 * [taylor]: Taking taylor expansion of (pow c 3) in c
11.065 * [taylor]: Taking taylor expansion of c in c
11.065 * [backup-simplify]: Simplify 0 into 0
11.065 * [backup-simplify]: Simplify 1 into 1
11.065 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c
11.065 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c)
11.065 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c
11.065 * [taylor]: Taking taylor expansion of 1/120 in c
11.065 * [backup-simplify]: Simplify 1/120 into 1/120
11.065 * [taylor]: Taking taylor expansion of (pow c 5) in c
11.065 * [taylor]: Taking taylor expansion of c in c
11.065 * [backup-simplify]: Simplify 0 into 0
11.065 * [backup-simplify]: Simplify 1 into 1
11.065 * [taylor]: Taking taylor expansion of c in c
11.065 * [backup-simplify]: Simplify 0 into 0
11.066 * [backup-simplify]: Simplify 1 into 1
11.066 * [backup-simplify]: Simplify (+ 0 0) into 0
11.067 * [backup-simplify]: Simplify (+ 0 0) into 0
11.067 * [backup-simplify]: Simplify 0 into 0
11.067 * [backup-simplify]: Simplify (+ 0 1) into 1
11.068 * [backup-simplify]: Simplify (+ 0 1) into 1
11.068 * [backup-simplify]: Simplify 1 into 1
11.068 * [backup-simplify]: Simplify (+ 0 0) into 0
11.069 * [backup-simplify]: Simplify (+ 0 0) into 0
11.069 * [backup-simplify]: Simplify 0 into 0
11.069 * [backup-simplify]: Simplify (* 1 1) into 1
11.070 * [backup-simplify]: Simplify (* 1 1) into 1
11.071 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
11.071 * [backup-simplify]: Simplify (+ 0 0) into 0
11.071 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
11.071 * [backup-simplify]: Simplify 1/6 into 1/6
11.072 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.073 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.074 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
11.074 * [backup-simplify]: Simplify (+ 0 0) into 0
11.075 * [backup-simplify]: Simplify (+ 0 0) into 0
11.075 * [backup-simplify]: Simplify 0 into 0
11.076 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.076 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.077 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
11.078 * [backup-simplify]: Simplify (* 1 1) into 1
11.078 * [backup-simplify]: Simplify (* 1 1) into 1
11.079 * [backup-simplify]: Simplify (* 1 1) into 1
11.079 * [backup-simplify]: Simplify (* 1/120 1) into 1/120
11.079 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120
11.080 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120
11.080 * [backup-simplify]: Simplify 1/120 into 1/120
11.080 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
11.081 * [backup-simplify]: Simplify (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) into (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))
11.081 * [approximate]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in (c) around 0
11.081 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c
11.081 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 c) 3)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))
11.081 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 c) 3)) in c
11.081 * [taylor]: Taking taylor expansion of 1/6 in c
11.081 * [backup-simplify]: Simplify 1/6 into 1/6
11.081 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 3) in c
11.081 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.081 * [taylor]: Taking taylor expansion of c in c
11.081 * [backup-simplify]: Simplify 0 into 0
11.081 * [backup-simplify]: Simplify 1 into 1
11.082 * [backup-simplify]: Simplify (/ 1 1) into 1
11.082 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c
11.082 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c))
11.082 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c
11.082 * [taylor]: Taking taylor expansion of 1/120 in c
11.082 * [backup-simplify]: Simplify 1/120 into 1/120
11.082 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c
11.082 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.082 * [taylor]: Taking taylor expansion of c in c
11.082 * [backup-simplify]: Simplify 0 into 0
11.082 * [backup-simplify]: Simplify 1 into 1
11.083 * [backup-simplify]: Simplify (/ 1 1) into 1
11.083 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.083 * [taylor]: Taking taylor expansion of c in c
11.083 * [backup-simplify]: Simplify 0 into 0
11.083 * [backup-simplify]: Simplify 1 into 1
11.083 * [backup-simplify]: Simplify (/ 1 1) into 1
11.083 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c
11.083 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 c) 3)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))
11.083 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 c) 3)) in c
11.083 * [taylor]: Taking taylor expansion of 1/6 in c
11.083 * [backup-simplify]: Simplify 1/6 into 1/6
11.083 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 3) in c
11.083 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.084 * [taylor]: Taking taylor expansion of c in c
11.084 * [backup-simplify]: Simplify 0 into 0
11.084 * [backup-simplify]: Simplify 1 into 1
11.084 * [backup-simplify]: Simplify (/ 1 1) into 1
11.084 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c
11.084 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c))
11.084 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c
11.084 * [taylor]: Taking taylor expansion of 1/120 in c
11.084 * [backup-simplify]: Simplify 1/120 into 1/120
11.084 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c
11.084 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.084 * [taylor]: Taking taylor expansion of c in c
11.084 * [backup-simplify]: Simplify 0 into 0
11.084 * [backup-simplify]: Simplify 1 into 1
11.085 * [backup-simplify]: Simplify (/ 1 1) into 1
11.085 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.085 * [taylor]: Taking taylor expansion of c in c
11.085 * [backup-simplify]: Simplify 0 into 0
11.085 * [backup-simplify]: Simplify 1 into 1
11.085 * [backup-simplify]: Simplify (/ 1 1) into 1
11.086 * [backup-simplify]: Simplify (* 1 1) into 1
11.086 * [backup-simplify]: Simplify (* 1 1) into 1
11.086 * [backup-simplify]: Simplify (* 1 1) into 1
11.087 * [backup-simplify]: Simplify (* 1/120 1) into 1/120
11.087 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120
11.088 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120
11.088 * [backup-simplify]: Simplify 1/120 into 1/120
11.089 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.089 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.090 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.091 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.091 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0
11.092 * [backup-simplify]: Simplify (+ 0 0) into 0
11.092 * [backup-simplify]: Simplify (+ 0 0) into 0
11.092 * [backup-simplify]: Simplify 0 into 0
11.092 * [backup-simplify]: Simplify (* 1 1) into 1
11.093 * [backup-simplify]: Simplify (* 1 1) into 1
11.093 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
11.094 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.095 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.096 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.096 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.097 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0
11.098 * [backup-simplify]: Simplify (+ 0 0) into 0
11.098 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
11.098 * [backup-simplify]: Simplify 1/6 into 1/6
11.099 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.100 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.100 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.101 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
11.102 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.102 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.103 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.104 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.104 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.105 * [backup-simplify]: Simplify (+ 0 0) into 0
11.105 * [backup-simplify]: Simplify (+ 0 0) into 0
11.105 * [backup-simplify]: Simplify 0 into 0
11.105 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.106 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.106 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.107 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
11.107 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.108 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.109 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.110 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.110 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.111 * [backup-simplify]: Simplify (+ 0 1) into 1
11.111 * [backup-simplify]: Simplify (+ 0 1) into 1
11.111 * [backup-simplify]: Simplify 1 into 1
11.111 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 c))) (+ (* 1/6 (pow (/ 1 (/ 1 c)) 3)) (* 1/120 (pow (/ 1 (/ 1 c)) 5)))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
11.112 * [backup-simplify]: Simplify (fma 1/6 (pow (/ 1 (- c)) 3) (fma 1/120 (pow (/ 1 (- c)) 5) (/ 1 (- c)))) into (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))
11.112 * [approximate]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in (c) around 0
11.112 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c
11.112 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 c) 3)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))
11.112 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 c) 3)) in c
11.112 * [taylor]: Taking taylor expansion of 1/6 in c
11.112 * [backup-simplify]: Simplify 1/6 into 1/6
11.112 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 3) in c
11.112 * [taylor]: Taking taylor expansion of (/ -1 c) in c
11.112 * [taylor]: Taking taylor expansion of -1 in c
11.112 * [backup-simplify]: Simplify -1 into -1
11.112 * [taylor]: Taking taylor expansion of c in c
11.112 * [backup-simplify]: Simplify 0 into 0
11.112 * [backup-simplify]: Simplify 1 into 1
11.112 * [backup-simplify]: Simplify (/ -1 1) into -1
11.112 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c
11.112 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c))
11.112 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c
11.112 * [taylor]: Taking taylor expansion of 1/120 in c
11.113 * [backup-simplify]: Simplify 1/120 into 1/120
11.113 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c
11.113 * [taylor]: Taking taylor expansion of (/ -1 c) in c
11.113 * [taylor]: Taking taylor expansion of -1 in c
11.113 * [backup-simplify]: Simplify -1 into -1
11.113 * [taylor]: Taking taylor expansion of c in c
11.113 * [backup-simplify]: Simplify 0 into 0
11.113 * [backup-simplify]: Simplify 1 into 1
11.113 * [backup-simplify]: Simplify (/ -1 1) into -1
11.113 * [taylor]: Taking taylor expansion of (/ -1 c) in c
11.113 * [taylor]: Taking taylor expansion of -1 in c
11.113 * [backup-simplify]: Simplify -1 into -1
11.113 * [taylor]: Taking taylor expansion of c in c
11.113 * [backup-simplify]: Simplify 0 into 0
11.113 * [backup-simplify]: Simplify 1 into 1
11.113 * [backup-simplify]: Simplify (/ -1 1) into -1
11.113 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c
11.113 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 c) 3)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))
11.113 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 c) 3)) in c
11.113 * [taylor]: Taking taylor expansion of 1/6 in c
11.113 * [backup-simplify]: Simplify 1/6 into 1/6
11.113 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 3) in c
11.114 * [taylor]: Taking taylor expansion of (/ -1 c) in c
11.114 * [taylor]: Taking taylor expansion of -1 in c
11.114 * [backup-simplify]: Simplify -1 into -1
11.114 * [taylor]: Taking taylor expansion of c in c
11.114 * [backup-simplify]: Simplify 0 into 0
11.114 * [backup-simplify]: Simplify 1 into 1
11.114 * [backup-simplify]: Simplify (/ -1 1) into -1
11.114 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c
11.114 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c))
11.114 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c
11.114 * [taylor]: Taking taylor expansion of 1/120 in c
11.114 * [backup-simplify]: Simplify 1/120 into 1/120
11.114 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c
11.114 * [taylor]: Taking taylor expansion of (/ -1 c) in c
11.114 * [taylor]: Taking taylor expansion of -1 in c
11.114 * [backup-simplify]: Simplify -1 into -1
11.114 * [taylor]: Taking taylor expansion of c in c
11.114 * [backup-simplify]: Simplify 0 into 0
11.114 * [backup-simplify]: Simplify 1 into 1
11.114 * [backup-simplify]: Simplify (/ -1 1) into -1
11.114 * [taylor]: Taking taylor expansion of (/ -1 c) in c
11.114 * [taylor]: Taking taylor expansion of -1 in c
11.115 * [backup-simplify]: Simplify -1 into -1
11.115 * [taylor]: Taking taylor expansion of c in c
11.115 * [backup-simplify]: Simplify 0 into 0
11.115 * [backup-simplify]: Simplify 1 into 1
11.115 * [backup-simplify]: Simplify (/ -1 1) into -1
11.115 * [backup-simplify]: Simplify (* -1 -1) into 1
11.115 * [backup-simplify]: Simplify (* 1 1) into 1
11.116 * [backup-simplify]: Simplify (* -1 1) into -1
11.116 * [backup-simplify]: Simplify (* 1/120 -1) into -1/120
11.116 * [backup-simplify]: Simplify (+ -1/120 0) into -1/120
11.116 * [backup-simplify]: Simplify (+ 0 -1/120) into -1/120
11.116 * [backup-simplify]: Simplify -1/120 into -1/120
11.117 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
11.117 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
11.118 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.118 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0
11.119 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 -1)) into 0
11.119 * [backup-simplify]: Simplify (+ 0 0) into 0
11.119 * [backup-simplify]: Simplify (+ 0 0) into 0
11.119 * [backup-simplify]: Simplify 0 into 0
11.120 * [backup-simplify]: Simplify (* -1 -1) into 1
11.120 * [backup-simplify]: Simplify (* -1 1) into -1
11.120 * [backup-simplify]: Simplify (* 1/6 -1) into -1/6
11.121 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.121 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
11.122 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.122 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0
11.123 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 -1))) into 0
11.123 * [backup-simplify]: Simplify (+ 0 0) into 0
11.123 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
11.123 * [backup-simplify]: Simplify -1/6 into -1/6
11.124 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
11.124 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
11.125 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0
11.125 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 -1)) into 0
11.126 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.126 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
11.127 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.127 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.128 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
11.128 * [backup-simplify]: Simplify (+ 0 0) into 0
11.128 * [backup-simplify]: Simplify (+ 0 0) into 0
11.128 * [backup-simplify]: Simplify 0 into 0
11.129 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.129 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
11.130 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0
11.131 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 -1))) into 0
11.132 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.133 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
11.135 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.136 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.137 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
11.138 * [backup-simplify]: Simplify (+ 0 -1) into -1
11.138 * [backup-simplify]: Simplify (+ 0 -1) into -1
11.138 * [backup-simplify]: Simplify -1 into -1
11.139 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- c)))) (+ (* -1/6 (pow (/ 1 (/ 1 (- c))) 3)) (* -1/120 (pow (/ 1 (/ 1 (- c))) 5)))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
11.139 * * * [progress]: simplifying candidates
11.139 * [simplify]: Simplifying:
  (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (log1p (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (* 1/6 (pow c 3))
  (log (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (* (cbrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (cbrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))
  (cbrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (* (* (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (sqrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (sqrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
11.140 * * [simplify]: Extracting # 0 : cost  0
11.140 * * [simplify]: Extracting # 1 : cost  0
11.140 * * [simplify]: Extracting # 2 : cost  0
11.140 * * [simplify]: Extracting # 3 : cost  0
11.140 * * [simplify]: Extracting # 4 : cost  0
11.140 * * [simplify]: Extracting # 5 : cost  0
11.140 * * [simplify]: Extracting # 6 : cost  0
11.141 * * [simplify]: Extracting # 7 : cost  0
11.141 * * [simplify]: Extracting # 8 : cost  0
11.141 * * [simplify]: iteration  0 :  22  enodes  (cost  188 )
11.149 * * [simplify]: Extracting # 0 : cost  0
11.149 * * [simplify]: Extracting # 1 : cost  0
11.150 * * [simplify]: Extracting # 2 : cost  0
11.150 * * [simplify]: Extracting # 3 : cost  0
11.150 * * [simplify]: Extracting # 4 : cost  0
11.150 * * [simplify]: iteration  1 :  42  enodes  (cost  182 )
11.169 * * [simplify]: Extracting # 0 : cost  0
11.169 * * [simplify]: Extracting # 1 : cost  0
11.170 * * [simplify]: Extracting # 2 : cost  0
11.170 * * [simplify]: Extracting # 3 : cost  0
11.170 * * [simplify]: iteration  2 :  116  enodes  (cost  160 )
11.241 * * [simplify]: Extracting # 0 : cost  0
11.242 * * [simplify]: Extracting # 1 : cost  0
11.242 * * [simplify]: Extracting # 2 : cost  0
11.243 * * [simplify]: Extracting # 3 : cost  0
11.243 * * [simplify]: Extracting # 4 : cost  0
11.244 * * [simplify]: iteration  3 :  558  enodes  (cost  160 )
12.489 * * [simplify]: Extracting # 0 : cost  0
12.498 * * [simplify]: Extracting # 1 : cost  0
12.506 * * [simplify]: Extracting # 2 : cost  0
12.513 * * [simplify]: Extracting # 3 : cost  0
12.520 * * [simplify]: Extracting # 4 : cost  0
12.527 * * [simplify]: Extracting # 5 : cost  0
12.534 * * [simplify]: iteration  4 :  3920  enodes  (cost  160 )
15.078 * * [simplify]: Extracting # 0 : cost  0
15.088 * * [simplify]: Extracting # 1 : cost  0
15.097 * * [simplify]: iteration done:  5000  enodes  (cost  160 )
15.097 * [simplify]: Simplified to:
  (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (log1p (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (* 1/6 (pow c 3))
  (log (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (* (cbrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (cbrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))
  (cbrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (pow (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) 3)
  (sqrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (sqrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))
  (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))
  (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))
15.097 * * * [progress]: adding candidates to table
15.146 * * [progress]: iteration 3 / 4
15.146 * * * [progress]: picking best candidate
15.149 * * * * [pick]: Picked  #<alt (λ (c) (fmod (log (exp (sinh c))) (- c (pow -2.9807307601812193e+165 2.0))))>
15.149 * * * [progress]: localizing error
15.162 * * * [progress]: generating rewritten candidates
15.162 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
15.173 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 1)
15.177 * * * [progress]: generating series expansions
15.177 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
15.177 * [backup-simplify]: Simplify (log (exp (sinh c))) into (sinh c)
15.177 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
15.177 * [taylor]: Taking taylor expansion of (sinh c) in c
15.178 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
15.178 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
15.178 * [taylor]: Taking taylor expansion of (exp c) in c
15.178 * [taylor]: Taking taylor expansion of c in c
15.178 * [backup-simplify]: Simplify 0 into 0
15.178 * [backup-simplify]: Simplify 1 into 1
15.178 * [backup-simplify]: Simplify (exp 0) into 1
15.178 * [taylor]: Taking taylor expansion of (exp (- c)) in c
15.178 * [taylor]: Taking taylor expansion of (- c) in c
15.178 * [taylor]: Taking taylor expansion of c in c
15.178 * [backup-simplify]: Simplify 0 into 0
15.178 * [backup-simplify]: Simplify 1 into 1
15.179 * [backup-simplify]: Simplify (- 0) into 0
15.179 * [backup-simplify]: Simplify (- 1) into -1
15.179 * [backup-simplify]: Simplify (exp 0) into 1
15.179 * [taylor]: Taking taylor expansion of 2 in c
15.179 * [backup-simplify]: Simplify 2 into 2
15.179 * [backup-simplify]: Simplify (- 1) into -1
15.180 * [backup-simplify]: Simplify (+ 1 -1) into 0
15.181 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
15.181 * [backup-simplify]: Simplify (- 1) into -1
15.182 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
15.182 * [backup-simplify]: Simplify (- -1) into 1
15.183 * [backup-simplify]: Simplify (+ 1 1) into 2
15.183 * [backup-simplify]: Simplify (/ 2 2) into 1
15.183 * [taylor]: Taking taylor expansion of (sinh c) in c
15.183 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
15.183 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
15.183 * [taylor]: Taking taylor expansion of (exp c) in c
15.183 * [taylor]: Taking taylor expansion of c in c
15.183 * [backup-simplify]: Simplify 0 into 0
15.183 * [backup-simplify]: Simplify 1 into 1
15.183 * [backup-simplify]: Simplify (exp 0) into 1
15.183 * [taylor]: Taking taylor expansion of (exp (- c)) in c
15.183 * [taylor]: Taking taylor expansion of (- c) in c
15.183 * [taylor]: Taking taylor expansion of c in c
15.183 * [backup-simplify]: Simplify 0 into 0
15.183 * [backup-simplify]: Simplify 1 into 1
15.183 * [backup-simplify]: Simplify (- 0) into 0
15.184 * [backup-simplify]: Simplify (- 1) into -1
15.184 * [backup-simplify]: Simplify (exp 0) into 1
15.184 * [taylor]: Taking taylor expansion of 2 in c
15.184 * [backup-simplify]: Simplify 2 into 2
15.184 * [backup-simplify]: Simplify (- 1) into -1
15.184 * [backup-simplify]: Simplify (+ 1 -1) into 0
15.185 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
15.185 * [backup-simplify]: Simplify (- 1) into -1
15.186 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
15.186 * [backup-simplify]: Simplify (- -1) into 1
15.186 * [backup-simplify]: Simplify (+ 1 1) into 2
15.186 * [backup-simplify]: Simplify (/ 2 2) into 1
15.186 * [backup-simplify]: Simplify 1 into 1
15.187 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
15.188 * [backup-simplify]: Simplify (- 1) into -1
15.188 * [backup-simplify]: Simplify (- 0) into 0
15.189 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
15.189 * [backup-simplify]: Simplify (- 1/2) into -1/2
15.189 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
15.190 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
15.190 * [backup-simplify]: Simplify 0 into 0
15.191 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
15.191 * [backup-simplify]: Simplify (- 1) into -1
15.192 * [backup-simplify]: Simplify (- 1) into -1
15.192 * [backup-simplify]: Simplify (- 0) into 0
15.192 * [backup-simplify]: Simplify (- 0) into 0
15.193 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
15.194 * [backup-simplify]: Simplify (- -1/6) into 1/6
15.194 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
15.194 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
15.194 * [backup-simplify]: Simplify 1/6 into 1/6
15.197 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
15.197 * [backup-simplify]: Simplify (- 1) into -1
15.197 * [backup-simplify]: Simplify (- 1) into -1
15.197 * [backup-simplify]: Simplify (- 0) into 0
15.198 * [backup-simplify]: Simplify (- 1) into -1
15.198 * [backup-simplify]: Simplify (- 0) into 0
15.198 * [backup-simplify]: Simplify (- 0) into 0
15.198 * [backup-simplify]: Simplify (- 0) into 0
15.201 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
15.201 * [backup-simplify]: Simplify (- 1/24) into -1/24
15.201 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
15.202 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
15.202 * [backup-simplify]: Simplify 0 into 0
15.205 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120
15.206 * [backup-simplify]: Simplify (- 1) into -1
15.206 * [backup-simplify]: Simplify (- 1) into -1
15.206 * [backup-simplify]: Simplify (- 0) into 0
15.207 * [backup-simplify]: Simplify (- 1) into -1
15.207 * [backup-simplify]: Simplify (- 0) into 0
15.207 * [backup-simplify]: Simplify (- 1) into -1
15.207 * [backup-simplify]: Simplify (- 0) into 0
15.207 * [backup-simplify]: Simplify (- 1) into -1
15.208 * [backup-simplify]: Simplify (- 0) into 0
15.208 * [backup-simplify]: Simplify (- 0) into 0
15.208 * [backup-simplify]: Simplify (- 0) into 0
15.208 * [backup-simplify]: Simplify (- 0) into 0
15.213 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120
15.214 * [backup-simplify]: Simplify (- -1/120) into 1/120
15.214 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
15.216 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
15.216 * [backup-simplify]: Simplify 1/120 into 1/120
15.217 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
15.217 * [backup-simplify]: Simplify (log (exp (sinh (/ 1 c)))) into (sinh (/ 1 c))
15.217 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
15.217 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
15.217 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
15.217 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
15.217 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
15.217 * [taylor]: Taking taylor expansion of (/ 1 c) in c
15.217 * [taylor]: Taking taylor expansion of c in c
15.217 * [backup-simplify]: Simplify 0 into 0
15.217 * [backup-simplify]: Simplify 1 into 1
15.218 * [backup-simplify]: Simplify (/ 1 1) into 1
15.218 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
15.218 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
15.218 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
15.218 * [taylor]: Taking taylor expansion of (/ 1 c) in c
15.218 * [taylor]: Taking taylor expansion of c in c
15.218 * [backup-simplify]: Simplify 0 into 0
15.218 * [backup-simplify]: Simplify 1 into 1
15.218 * [backup-simplify]: Simplify (/ 1 1) into 1
15.219 * [backup-simplify]: Simplify (- 1) into -1
15.219 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
15.219 * [taylor]: Taking taylor expansion of 2 in c
15.219 * [backup-simplify]: Simplify 2 into 2
15.219 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
15.219 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
15.219 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
15.219 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
15.220 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
15.220 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
15.220 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
15.220 * [taylor]: Taking taylor expansion of (/ 1 c) in c
15.220 * [taylor]: Taking taylor expansion of c in c
15.220 * [backup-simplify]: Simplify 0 into 0
15.220 * [backup-simplify]: Simplify 1 into 1
15.220 * [backup-simplify]: Simplify (/ 1 1) into 1
15.220 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
15.220 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
15.220 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
15.220 * [taylor]: Taking taylor expansion of (/ 1 c) in c
15.220 * [taylor]: Taking taylor expansion of c in c
15.220 * [backup-simplify]: Simplify 0 into 0
15.220 * [backup-simplify]: Simplify 1 into 1
15.221 * [backup-simplify]: Simplify (/ 1 1) into 1
15.221 * [backup-simplify]: Simplify (- 1) into -1
15.221 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
15.221 * [taylor]: Taking taylor expansion of 2 in c
15.221 * [backup-simplify]: Simplify 2 into 2
15.221 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
15.222 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
15.222 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
15.222 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
15.223 * [backup-simplify]: Simplify (- 0) into 0
15.223 * [backup-simplify]: Simplify (+ 0 0) into 0
15.224 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
15.224 * [backup-simplify]: Simplify 0 into 0
15.225 * [backup-simplify]: Simplify (- 0) into 0
15.225 * [backup-simplify]: Simplify (+ 0 0) into 0
15.226 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.226 * [backup-simplify]: Simplify 0 into 0
15.227 * [backup-simplify]: Simplify (- 0) into 0
15.227 * [backup-simplify]: Simplify (+ 0 0) into 0
15.229 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.229 * [backup-simplify]: Simplify 0 into 0
15.230 * [backup-simplify]: Simplify (- 0) into 0
15.230 * [backup-simplify]: Simplify (+ 0 0) into 0
15.232 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.232 * [backup-simplify]: Simplify 0 into 0
15.233 * [backup-simplify]: Simplify (- 0) into 0
15.233 * [backup-simplify]: Simplify (+ 0 0) into 0
15.236 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.236 * [backup-simplify]: Simplify 0 into 0
15.237 * [backup-simplify]: Simplify (- 0) into 0
15.237 * [backup-simplify]: Simplify (+ 0 0) into 0
15.241 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.241 * [backup-simplify]: Simplify 0 into 0
15.241 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
15.241 * [backup-simplify]: Simplify (log (exp (sinh (/ 1 (- c))))) into (sinh (/ -1 c))
15.241 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
15.241 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
15.241 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
15.241 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
15.242 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
15.242 * [taylor]: Taking taylor expansion of (/ -1 c) in c
15.242 * [taylor]: Taking taylor expansion of -1 in c
15.242 * [backup-simplify]: Simplify -1 into -1
15.242 * [taylor]: Taking taylor expansion of c in c
15.242 * [backup-simplify]: Simplify 0 into 0
15.242 * [backup-simplify]: Simplify 1 into 1
15.242 * [backup-simplify]: Simplify (/ -1 1) into -1
15.242 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
15.242 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
15.242 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
15.242 * [taylor]: Taking taylor expansion of (/ -1 c) in c
15.242 * [taylor]: Taking taylor expansion of -1 in c
15.242 * [backup-simplify]: Simplify -1 into -1
15.242 * [taylor]: Taking taylor expansion of c in c
15.242 * [backup-simplify]: Simplify 0 into 0
15.242 * [backup-simplify]: Simplify 1 into 1
15.243 * [backup-simplify]: Simplify (/ -1 1) into -1
15.243 * [backup-simplify]: Simplify (- -1) into 1
15.243 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
15.243 * [taylor]: Taking taylor expansion of 2 in c
15.243 * [backup-simplify]: Simplify 2 into 2
15.244 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
15.244 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
15.244 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
15.244 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
15.244 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
15.244 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
15.244 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
15.244 * [taylor]: Taking taylor expansion of (/ -1 c) in c
15.244 * [taylor]: Taking taylor expansion of -1 in c
15.244 * [backup-simplify]: Simplify -1 into -1
15.244 * [taylor]: Taking taylor expansion of c in c
15.244 * [backup-simplify]: Simplify 0 into 0
15.244 * [backup-simplify]: Simplify 1 into 1
15.245 * [backup-simplify]: Simplify (/ -1 1) into -1
15.245 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
15.245 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
15.245 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
15.245 * [taylor]: Taking taylor expansion of (/ -1 c) in c
15.245 * [taylor]: Taking taylor expansion of -1 in c
15.245 * [backup-simplify]: Simplify -1 into -1
15.245 * [taylor]: Taking taylor expansion of c in c
15.245 * [backup-simplify]: Simplify 0 into 0
15.245 * [backup-simplify]: Simplify 1 into 1
15.246 * [backup-simplify]: Simplify (/ -1 1) into -1
15.246 * [backup-simplify]: Simplify (- -1) into 1
15.246 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
15.246 * [taylor]: Taking taylor expansion of 2 in c
15.246 * [backup-simplify]: Simplify 2 into 2
15.246 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
15.246 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
15.247 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
15.247 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
15.247 * [backup-simplify]: Simplify (- 0) into 0
15.248 * [backup-simplify]: Simplify (+ 0 0) into 0
15.249 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
15.249 * [backup-simplify]: Simplify 0 into 0
15.249 * [backup-simplify]: Simplify (- 0) into 0
15.249 * [backup-simplify]: Simplify (+ 0 0) into 0
15.251 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.251 * [backup-simplify]: Simplify 0 into 0
15.251 * [backup-simplify]: Simplify (- 0) into 0
15.252 * [backup-simplify]: Simplify (+ 0 0) into 0
15.254 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.254 * [backup-simplify]: Simplify 0 into 0
15.254 * [backup-simplify]: Simplify (- 0) into 0
15.255 * [backup-simplify]: Simplify (+ 0 0) into 0
15.257 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.257 * [backup-simplify]: Simplify 0 into 0
15.258 * [backup-simplify]: Simplify (- 0) into 0
15.258 * [backup-simplify]: Simplify (+ 0 0) into 0
15.260 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.260 * [backup-simplify]: Simplify 0 into 0
15.260 * [backup-simplify]: Simplify (- 0) into 0
15.260 * [backup-simplify]: Simplify (+ 0 0) into 0
15.262 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.262 * [backup-simplify]: Simplify 0 into 0
15.263 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
15.263 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 1)
15.263 * [backup-simplify]: Simplify (sinh c) into (sinh c)
15.263 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
15.263 * [taylor]: Taking taylor expansion of (sinh c) in c
15.263 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
15.263 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
15.263 * [taylor]: Taking taylor expansion of (exp c) in c
15.263 * [taylor]: Taking taylor expansion of c in c
15.263 * [backup-simplify]: Simplify 0 into 0
15.263 * [backup-simplify]: Simplify 1 into 1
15.263 * [backup-simplify]: Simplify (exp 0) into 1
15.263 * [taylor]: Taking taylor expansion of (exp (- c)) in c
15.263 * [taylor]: Taking taylor expansion of (- c) in c
15.263 * [taylor]: Taking taylor expansion of c in c
15.263 * [backup-simplify]: Simplify 0 into 0
15.263 * [backup-simplify]: Simplify 1 into 1
15.263 * [backup-simplify]: Simplify (- 0) into 0
15.263 * [backup-simplify]: Simplify (- 1) into -1
15.263 * [backup-simplify]: Simplify (exp 0) into 1
15.263 * [taylor]: Taking taylor expansion of 2 in c
15.263 * [backup-simplify]: Simplify 2 into 2
15.264 * [backup-simplify]: Simplify (- 1) into -1
15.264 * [backup-simplify]: Simplify (+ 1 -1) into 0
15.265 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
15.265 * [backup-simplify]: Simplify (- 1) into -1
15.265 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
15.266 * [backup-simplify]: Simplify (- -1) into 1
15.266 * [backup-simplify]: Simplify (+ 1 1) into 2
15.266 * [backup-simplify]: Simplify (/ 2 2) into 1
15.266 * [taylor]: Taking taylor expansion of (sinh c) in c
15.266 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
15.266 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
15.266 * [taylor]: Taking taylor expansion of (exp c) in c
15.266 * [taylor]: Taking taylor expansion of c in c
15.266 * [backup-simplify]: Simplify 0 into 0
15.266 * [backup-simplify]: Simplify 1 into 1
15.266 * [backup-simplify]: Simplify (exp 0) into 1
15.266 * [taylor]: Taking taylor expansion of (exp (- c)) in c
15.266 * [taylor]: Taking taylor expansion of (- c) in c
15.267 * [taylor]: Taking taylor expansion of c in c
15.267 * [backup-simplify]: Simplify 0 into 0
15.267 * [backup-simplify]: Simplify 1 into 1
15.267 * [backup-simplify]: Simplify (- 0) into 0
15.267 * [backup-simplify]: Simplify (- 1) into -1
15.267 * [backup-simplify]: Simplify (exp 0) into 1
15.267 * [taylor]: Taking taylor expansion of 2 in c
15.267 * [backup-simplify]: Simplify 2 into 2
15.267 * [backup-simplify]: Simplify (- 1) into -1
15.268 * [backup-simplify]: Simplify (+ 1 -1) into 0
15.268 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
15.268 * [backup-simplify]: Simplify (- 1) into -1
15.269 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
15.269 * [backup-simplify]: Simplify (- -1) into 1
15.270 * [backup-simplify]: Simplify (+ 1 1) into 2
15.270 * [backup-simplify]: Simplify (/ 2 2) into 1
15.270 * [backup-simplify]: Simplify 1 into 1
15.271 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
15.271 * [backup-simplify]: Simplify (- 1) into -1
15.271 * [backup-simplify]: Simplify (- 0) into 0
15.272 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
15.273 * [backup-simplify]: Simplify (- 1/2) into -1/2
15.273 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
15.273 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
15.273 * [backup-simplify]: Simplify 0 into 0
15.275 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
15.275 * [backup-simplify]: Simplify (- 1) into -1
15.275 * [backup-simplify]: Simplify (- 1) into -1
15.276 * [backup-simplify]: Simplify (- 0) into 0
15.276 * [backup-simplify]: Simplify (- 0) into 0
15.277 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
15.278 * [backup-simplify]: Simplify (- -1/6) into 1/6
15.278 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
15.279 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
15.279 * [backup-simplify]: Simplify 1/6 into 1/6
15.288 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
15.289 * [backup-simplify]: Simplify (- 1) into -1
15.289 * [backup-simplify]: Simplify (- 1) into -1
15.290 * [backup-simplify]: Simplify (- 0) into 0
15.290 * [backup-simplify]: Simplify (- 1) into -1
15.291 * [backup-simplify]: Simplify (- 0) into 0
15.291 * [backup-simplify]: Simplify (- 0) into 0
15.291 * [backup-simplify]: Simplify (- 0) into 0
15.296 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
15.296 * [backup-simplify]: Simplify (- 1/24) into -1/24
15.297 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
15.298 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
15.298 * [backup-simplify]: Simplify 0 into 0
15.303 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120
15.303 * [backup-simplify]: Simplify (- 1) into -1
15.304 * [backup-simplify]: Simplify (- 1) into -1
15.304 * [backup-simplify]: Simplify (- 0) into 0
15.304 * [backup-simplify]: Simplify (- 1) into -1
15.304 * [backup-simplify]: Simplify (- 0) into 0
15.305 * [backup-simplify]: Simplify (- 1) into -1
15.305 * [backup-simplify]: Simplify (- 0) into 0
15.305 * [backup-simplify]: Simplify (- 1) into -1
15.305 * [backup-simplify]: Simplify (- 0) into 0
15.306 * [backup-simplify]: Simplify (- 0) into 0
15.306 * [backup-simplify]: Simplify (- 0) into 0
15.306 * [backup-simplify]: Simplify (- 0) into 0
15.309 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120
15.309 * [backup-simplify]: Simplify (- -1/120) into 1/120
15.310 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
15.310 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
15.311 * [backup-simplify]: Simplify 1/120 into 1/120
15.311 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
15.311 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c))
15.311 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
15.311 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
15.311 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
15.311 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
15.311 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
15.311 * [taylor]: Taking taylor expansion of (/ 1 c) in c
15.311 * [taylor]: Taking taylor expansion of c in c
15.311 * [backup-simplify]: Simplify 0 into 0
15.311 * [backup-simplify]: Simplify 1 into 1
15.311 * [backup-simplify]: Simplify (/ 1 1) into 1
15.312 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
15.312 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
15.312 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
15.312 * [taylor]: Taking taylor expansion of (/ 1 c) in c
15.312 * [taylor]: Taking taylor expansion of c in c
15.312 * [backup-simplify]: Simplify 0 into 0
15.312 * [backup-simplify]: Simplify 1 into 1
15.312 * [backup-simplify]: Simplify (/ 1 1) into 1
15.312 * [backup-simplify]: Simplify (- 1) into -1
15.312 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
15.312 * [taylor]: Taking taylor expansion of 2 in c
15.312 * [backup-simplify]: Simplify 2 into 2
15.312 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
15.312 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
15.313 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
15.313 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
15.313 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
15.313 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
15.313 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
15.313 * [taylor]: Taking taylor expansion of (/ 1 c) in c
15.313 * [taylor]: Taking taylor expansion of c in c
15.313 * [backup-simplify]: Simplify 0 into 0
15.313 * [backup-simplify]: Simplify 1 into 1
15.313 * [backup-simplify]: Simplify (/ 1 1) into 1
15.313 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
15.313 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
15.313 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
15.313 * [taylor]: Taking taylor expansion of (/ 1 c) in c
15.313 * [taylor]: Taking taylor expansion of c in c
15.313 * [backup-simplify]: Simplify 0 into 0
15.313 * [backup-simplify]: Simplify 1 into 1
15.313 * [backup-simplify]: Simplify (/ 1 1) into 1
15.314 * [backup-simplify]: Simplify (- 1) into -1
15.314 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
15.314 * [taylor]: Taking taylor expansion of 2 in c
15.314 * [backup-simplify]: Simplify 2 into 2
15.314 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
15.314 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
15.314 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
15.314 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
15.314 * [backup-simplify]: Simplify (- 0) into 0
15.315 * [backup-simplify]: Simplify (+ 0 0) into 0
15.315 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
15.315 * [backup-simplify]: Simplify 0 into 0
15.316 * [backup-simplify]: Simplify (- 0) into 0
15.316 * [backup-simplify]: Simplify (+ 0 0) into 0
15.317 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.317 * [backup-simplify]: Simplify 0 into 0
15.317 * [backup-simplify]: Simplify (- 0) into 0
15.317 * [backup-simplify]: Simplify (+ 0 0) into 0
15.319 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.319 * [backup-simplify]: Simplify 0 into 0
15.319 * [backup-simplify]: Simplify (- 0) into 0
15.319 * [backup-simplify]: Simplify (+ 0 0) into 0
15.321 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.321 * [backup-simplify]: Simplify 0 into 0
15.321 * [backup-simplify]: Simplify (- 0) into 0
15.321 * [backup-simplify]: Simplify (+ 0 0) into 0
15.323 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.323 * [backup-simplify]: Simplify 0 into 0
15.323 * [backup-simplify]: Simplify (- 0) into 0
15.323 * [backup-simplify]: Simplify (+ 0 0) into 0
15.325 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.325 * [backup-simplify]: Simplify 0 into 0
15.326 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
15.326 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c))
15.326 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
15.326 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
15.326 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
15.326 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
15.326 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
15.326 * [taylor]: Taking taylor expansion of (/ -1 c) in c
15.326 * [taylor]: Taking taylor expansion of -1 in c
15.326 * [backup-simplify]: Simplify -1 into -1
15.326 * [taylor]: Taking taylor expansion of c in c
15.326 * [backup-simplify]: Simplify 0 into 0
15.326 * [backup-simplify]: Simplify 1 into 1
15.326 * [backup-simplify]: Simplify (/ -1 1) into -1
15.326 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
15.326 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
15.326 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
15.326 * [taylor]: Taking taylor expansion of (/ -1 c) in c
15.326 * [taylor]: Taking taylor expansion of -1 in c
15.326 * [backup-simplify]: Simplify -1 into -1
15.326 * [taylor]: Taking taylor expansion of c in c
15.326 * [backup-simplify]: Simplify 0 into 0
15.326 * [backup-simplify]: Simplify 1 into 1
15.327 * [backup-simplify]: Simplify (/ -1 1) into -1
15.327 * [backup-simplify]: Simplify (- -1) into 1
15.327 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
15.327 * [taylor]: Taking taylor expansion of 2 in c
15.327 * [backup-simplify]: Simplify 2 into 2
15.327 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
15.327 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
15.327 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
15.327 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
15.327 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
15.327 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
15.328 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
15.328 * [taylor]: Taking taylor expansion of (/ -1 c) in c
15.328 * [taylor]: Taking taylor expansion of -1 in c
15.328 * [backup-simplify]: Simplify -1 into -1
15.328 * [taylor]: Taking taylor expansion of c in c
15.328 * [backup-simplify]: Simplify 0 into 0
15.328 * [backup-simplify]: Simplify 1 into 1
15.328 * [backup-simplify]: Simplify (/ -1 1) into -1
15.328 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
15.328 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
15.328 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
15.328 * [taylor]: Taking taylor expansion of (/ -1 c) in c
15.328 * [taylor]: Taking taylor expansion of -1 in c
15.328 * [backup-simplify]: Simplify -1 into -1
15.328 * [taylor]: Taking taylor expansion of c in c
15.328 * [backup-simplify]: Simplify 0 into 0
15.328 * [backup-simplify]: Simplify 1 into 1
15.328 * [backup-simplify]: Simplify (/ -1 1) into -1
15.329 * [backup-simplify]: Simplify (- -1) into 1
15.329 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
15.329 * [taylor]: Taking taylor expansion of 2 in c
15.329 * [backup-simplify]: Simplify 2 into 2
15.329 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
15.329 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
15.329 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
15.329 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
15.329 * [backup-simplify]: Simplify (- 0) into 0
15.330 * [backup-simplify]: Simplify (+ 0 0) into 0
15.330 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
15.331 * [backup-simplify]: Simplify 0 into 0
15.331 * [backup-simplify]: Simplify (- 0) into 0
15.331 * [backup-simplify]: Simplify (+ 0 0) into 0
15.333 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.333 * [backup-simplify]: Simplify 0 into 0
15.333 * [backup-simplify]: Simplify (- 0) into 0
15.334 * [backup-simplify]: Simplify (+ 0 0) into 0
15.336 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.336 * [backup-simplify]: Simplify 0 into 0
15.336 * [backup-simplify]: Simplify (- 0) into 0
15.336 * [backup-simplify]: Simplify (+ 0 0) into 0
15.339 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.339 * [backup-simplify]: Simplify 0 into 0
15.339 * [backup-simplify]: Simplify (- 0) into 0
15.340 * [backup-simplify]: Simplify (+ 0 0) into 0
15.343 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.343 * [backup-simplify]: Simplify 0 into 0
15.343 * [backup-simplify]: Simplify (- 0) into 0
15.344 * [backup-simplify]: Simplify (+ 0 0) into 0
15.347 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.347 * [backup-simplify]: Simplify 0 into 0
15.347 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
15.348 * * * [progress]: simplifying candidates
15.348 * [simplify]: Simplifying:
  (expm1 (log (exp (sinh c))))
  (log1p (log (exp (sinh c))))
  (log (* (cbrt (exp (sinh c))) (cbrt (exp (sinh c)))))
  (log (cbrt (exp (sinh c))))
  (log (sqrt (exp (sinh c))))
  (log (sqrt (exp (sinh c))))
  (log 1)
  (log (exp (sinh c)))
  (log (exp (sinh c)))
  (log (exp (* (cbrt (sinh c)) (cbrt (sinh c)))))
  (log (exp (sqrt (sinh c))))
  (log (exp 1))
  (log (log (exp (sinh c))))
  (exp (log (exp (sinh c))))
  (* (cbrt (log (exp (sinh c)))) (cbrt (log (exp (sinh c)))))
  (cbrt (log (exp (sinh c))))
  (* (* (log (exp (sinh c))) (log (exp (sinh c)))) (log (exp (sinh c))))
  (sqrt (log (exp (sinh c))))
  (sqrt (log (exp (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/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))))
15.349 * * [simplify]: Extracting # 0 : cost  0
15.350 * * [simplify]: Extracting # 1 : cost  0
15.350 * * [simplify]: Extracting # 2 : cost  0
15.350 * * [simplify]: Extracting # 3 : cost  0
15.350 * * [simplify]: Extracting # 4 : cost  0
15.350 * * [simplify]: Extracting # 5 : cost  0
15.350 * * [simplify]: Extracting # 6 : cost  0
15.350 * * [simplify]: Extracting # 7 : cost  0
15.351 * * [simplify]: Extracting # 8 : cost  0
15.351 * * [simplify]: Extracting # 9 : cost  0
15.351 * * [simplify]: iteration  0 :  56  enodes  (cost  214 )
15.374 * * [simplify]: Extracting # 0 : cost  0
15.374 * * [simplify]: Extracting # 1 : cost  0
15.374 * * [simplify]: Extracting # 2 : cost  0
15.374 * * [simplify]: Extracting # 3 : cost  0
15.374 * * [simplify]: iteration  1 :  91  enodes  (cost  173 )
15.404 * * [simplify]: Extracting # 0 : cost  0
15.404 * * [simplify]: Extracting # 1 : cost  0
15.404 * * [simplify]: Extracting # 2 : cost  0
15.405 * * [simplify]: Extracting # 3 : cost  0
15.405 * * [simplify]: Extracting # 4 : cost  0
15.405 * * [simplify]: iteration  2 :  165  enodes  (cost  162 )
15.477 * * [simplify]: Extracting # 0 : cost  0
15.478 * * [simplify]: Extracting # 1 : cost  0
15.478 * * [simplify]: Extracting # 2 : cost  0
15.479 * * [simplify]: Extracting # 3 : cost  0
15.480 * * [simplify]: iteration  3 :  331  enodes  (cost  162 )
15.647 * * [simplify]: Extracting # 0 : cost  0
15.649 * * [simplify]: Extracting # 1 : cost  0
15.651 * * [simplify]: Extracting # 2 : cost  0
15.652 * * [simplify]: Extracting # 3 : cost  0
15.653 * * [simplify]: Extracting # 4 : cost  0
15.655 * * [simplify]: iteration  4 :  747  enodes  (cost  162 )
16.212 * * [simplify]: Extracting # 0 : cost  0
16.221 * * [simplify]: Extracting # 1 : cost  0
16.226 * * [simplify]: Extracting # 2 : cost  0
16.232 * * [simplify]: Extracting # 3 : cost  0
16.237 * * [simplify]: Extracting # 4 : cost  0
16.243 * * [simplify]: iteration  5 :  2824  enodes  (cost  162 )
18.001 * * [simplify]: Extracting # 0 : cost  0
18.007 * * [simplify]: Extracting # 1 : cost  0
18.019 * * [simplify]: Extracting # 2 : cost  0
18.025 * * [simplify]: Extracting # 3 : cost  0
18.030 * * [simplify]: iteration done:  5001  enodes  (cost  162 )
18.030 * [simplify]: Simplified to:
  (expm1 (sinh c))
  (log1p (sinh c))
  (* 2 (log (cbrt (exp (sinh c)))))
  (log (cbrt (exp (sinh c))))
  (log (sqrt (exp (sinh c))))
  (log (sqrt (exp (sinh c))))
  0
  (sinh c)
  (sinh c)
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (sqrt (sinh c))
  1
  (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))
  (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))))
  (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))))
18.031 * * * [progress]: adding candidates to table
18.173 * [progress]: [Phase 3 of 3] Extracting.
18.173 * * [regime]: Finding splitpoints for: (#<alt (λ (c) (fmod (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (log (exp (sinh c))) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))>)
18.174 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c)
18.174 * * * * [regimes]: Trying to branch on (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) from (#<alt (λ (c) (fmod (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (log (exp (sinh c))) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))>)
18.205 * * * * [regimes]: Trying to branch on c from (#<alt (λ (c) (fmod (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (log (exp (sinh c))) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))>)
18.233 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
18.234 * [simplify]: Simplifying:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
18.234 * * [simplify]: Extracting # 0 : cost  0
18.234 * * [simplify]: Extracting # 1 : cost  0
18.234 * * [simplify]: Extracting # 2 : cost  0
18.234 * * [simplify]: Extracting # 3 : cost  0
18.234 * * [simplify]: Extracting # 4 : cost  0
18.234 * * [simplify]: Extracting # 5 : cost  0
18.234 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
18.235 * * [simplify]: Extracting # 0 : cost  0
18.235 * * [simplify]: iteration done:  7  enodes  (cost  8 )
18.235 * [simplify]: Simplified to:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
26.454 * [regime-testing]: Baseline error score: 0.007375921990248781
26.455 * [regime-testing]: Oracle error score: 0.0023752969121140144
26.457 * [regime-testing]: End program error score: 0.007375921990248781