14.718 * [progress]: [Phase 1 of 3] Setting up.
0.070 * * * [progress]: [1/2] Preparing points
4.222 * * * [progress]: [2/2] Setting up program.
4.300 * [progress]: [Phase 2 of 3] Improving.
4.371 * [simplify]: Simplifying:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
4.406 * * [simplify]: Extracting # 0 : cost  0
4.410 * * [simplify]: Extracting # 1 : cost  0
4.411 * * [simplify]: Extracting # 2 : cost  0
4.411 * * [simplify]: Extracting # 3 : cost  0
4.411 * * [simplify]: Extracting # 4 : cost  0
4.411 * * [simplify]: Extracting # 5 : cost  0
4.411 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
4.495 * * [simplify]: Extracting # 0 : cost  0
4.495 * * [simplify]: Extracting # 1 : cost  0
4.495 * * [simplify]: Extracting # 2 : cost  0
4.495 * * [simplify]: Extracting # 3 : cost  0
4.496 * * [simplify]: Extracting # 4 : cost  0
4.496 * * [simplify]: Extracting # 5 : cost  0
4.496 * * [simplify]: iteration  1 :  18  enodes  (cost  8 )
4.519 * * [simplify]: Extracting # 0 : cost  0
4.519 * * [simplify]: Extracting # 1 : cost  0
4.519 * * [simplify]: Extracting # 2 : cost  0
4.519 * * [simplify]: Extracting # 3 : cost  0
4.519 * * [simplify]: iteration  2 :  34  enodes  (cost  8 )
4.532 * * [simplify]: Extracting # 0 : cost  0
4.532 * * [simplify]: Extracting # 1 : cost  0
4.532 * * [simplify]: Extracting # 2 : cost  0
4.532 * * [simplify]: Extracting # 3 : cost  0
4.532 * * [simplify]: Extracting # 4 : cost  0
4.533 * * [simplify]: iteration  3 :  69  enodes  (cost  8 )
4.584 * * [simplify]: Extracting # 0 : cost  0
4.584 * * [simplify]: Extracting # 1 : cost  0
4.584 * * [simplify]: Extracting # 2 : cost  0
4.584 * * [simplify]: Extracting # 3 : cost  0
4.585 * * [simplify]: Extracting # 4 : cost  0
4.585 * * [simplify]: iteration  4 :  150  enodes  (cost  8 )
6.023 * * [simplify]: Extracting # 0 : cost  0
6.026 * * [simplify]: Extracting # 1 : cost  0
6.027 * * [simplify]: Extracting # 2 : cost  0
6.029 * * [simplify]: Extracting # 3 : cost  0
6.030 * * [simplify]: Extracting # 4 : cost  0
6.031 * * [simplify]: Extracting # 5 : cost  0
6.033 * * [simplify]: iteration  5 :  671  enodes  (cost  8 )
13.363 * * [simplify]: Extracting # 0 : cost  0
13.386 * * [simplify]: Extracting # 1 : cost  0
13.397 * * [simplify]: Extracting # 2 : cost  0
13.409 * * [simplify]: Extracting # 3 : cost  0
13.459 * * [simplify]: Extracting # 4 : cost  0
13.493 * * [simplify]: iteration done:  5001  enodes  (cost  8 )
13.568 * [simplify]: Simplified to:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
13.663 * * [progress]: iteration 1 / 4
13.664 * * * [progress]: picking best candidate
13.691 * * * * [pick]: Picked  #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))>
13.695 * * * [progress]: localizing error
13.895 * * * [progress]: generating rewritten candidates
13.904 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
14.065 * * * [progress]: generating series expansions
14.096 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
14.160 * [backup-simplify]: Simplify (sinh c) into (sinh c)
14.160 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
14.170 * [taylor]: Taking taylor expansion of (sinh c) in c
14.306 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
14.309 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
14.309 * [taylor]: Taking taylor expansion of (exp c) in c
14.309 * [taylor]: Taking taylor expansion of c in c
14.310 * [backup-simplify]: Simplify 0 into 0
14.310 * [backup-simplify]: Simplify 1 into 1
14.317 * [backup-simplify]: Simplify (exp 0) into 1
14.318 * [taylor]: Taking taylor expansion of (exp (- c)) in c
14.318 * [taylor]: Taking taylor expansion of (- c) in c
14.318 * [taylor]: Taking taylor expansion of c in c
14.318 * [backup-simplify]: Simplify 0 into 0
14.318 * [backup-simplify]: Simplify 1 into 1
14.319 * [backup-simplify]: Simplify (- 0) into 0
14.320 * [backup-simplify]: Simplify (- 1) into -1
14.320 * [backup-simplify]: Simplify (exp 0) into 1
14.360 * [taylor]: Taking taylor expansion of 2 in c
14.360 * [backup-simplify]: Simplify 2 into 2
14.385 * [backup-simplify]: Simplify (- 1) into -1
14.405 * [backup-simplify]: Simplify (+ 1 -1) into 0
14.441 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
14.442 * [backup-simplify]: Simplify (- 1) into -1
14.443 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
14.451 * [backup-simplify]: Simplify (- -1) into 1
14.451 * [backup-simplify]: Simplify (+ 1 1) into 2
14.452 * [backup-simplify]: Simplify (/ 2 2) into 1
14.452 * [taylor]: Taking taylor expansion of (sinh c) in c
14.452 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
14.452 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
14.452 * [taylor]: Taking taylor expansion of (exp c) in c
14.452 * [taylor]: Taking taylor expansion of c in c
14.452 * [backup-simplify]: Simplify 0 into 0
14.452 * [backup-simplify]: Simplify 1 into 1
14.452 * [backup-simplify]: Simplify (exp 0) into 1
14.453 * [taylor]: Taking taylor expansion of (exp (- c)) in c
14.453 * [taylor]: Taking taylor expansion of (- c) in c
14.453 * [taylor]: Taking taylor expansion of c in c
14.453 * [backup-simplify]: Simplify 0 into 0
14.453 * [backup-simplify]: Simplify 1 into 1
14.458 * [backup-simplify]: Simplify (- 0) into 0
14.459 * [backup-simplify]: Simplify (- 1) into -1
14.459 * [backup-simplify]: Simplify (exp 0) into 1
14.459 * [taylor]: Taking taylor expansion of 2 in c
14.459 * [backup-simplify]: Simplify 2 into 2
14.459 * [backup-simplify]: Simplify (- 1) into -1
14.460 * [backup-simplify]: Simplify (+ 1 -1) into 0
14.461 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
14.462 * [backup-simplify]: Simplify (- 1) into -1
14.465 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
14.466 * [backup-simplify]: Simplify (- -1) into 1
14.466 * [backup-simplify]: Simplify (+ 1 1) into 2
14.467 * [backup-simplify]: Simplify (/ 2 2) into 1
14.476 * [backup-simplify]: Simplify 1 into 1
14.497 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
14.498 * [backup-simplify]: Simplify (- 1) into -1
14.499 * [backup-simplify]: Simplify (- 0) into 0
14.501 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
14.502 * [backup-simplify]: Simplify (- 1/2) into -1/2
14.502 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
14.509 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
14.510 * [backup-simplify]: Simplify 0 into 0
14.530 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
14.530 * [backup-simplify]: Simplify (- 1) into -1
14.540 * [backup-simplify]: Simplify (- 1) into -1
14.540 * [backup-simplify]: Simplify (- 0) into 0
14.541 * [backup-simplify]: Simplify (- 0) into 0
14.552 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
14.553 * [backup-simplify]: Simplify (- -1/6) into 1/6
14.554 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
14.568 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
14.568 * [backup-simplify]: Simplify 1/6 into 1/6
14.597 * [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
14.598 * [backup-simplify]: Simplify (- 1) into -1
14.599 * [backup-simplify]: Simplify (- 1) into -1
14.601 * [backup-simplify]: Simplify (- 0) into 0
14.602 * [backup-simplify]: Simplify (- 1) into -1
14.608 * [backup-simplify]: Simplify (- 0) into 0
14.609 * [backup-simplify]: Simplify (- 0) into 0
14.609 * [backup-simplify]: Simplify (- 0) into 0
14.613 * [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
14.613 * [backup-simplify]: Simplify (- 1/24) into -1/24
14.614 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
14.619 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
14.620 * [backup-simplify]: Simplify 0 into 0
14.636 * [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
14.638 * [backup-simplify]: Simplify (- 1) into -1
14.639 * [backup-simplify]: Simplify (- 1) into -1
14.640 * [backup-simplify]: Simplify (- 0) into 0
14.641 * [backup-simplify]: Simplify (- 1) into -1
14.641 * [backup-simplify]: Simplify (- 0) into 0
14.641 * [backup-simplify]: Simplify (- 1) into -1
14.642 * [backup-simplify]: Simplify (- 0) into 0
14.642 * [backup-simplify]: Simplify (- 1) into -1
14.651 * [backup-simplify]: Simplify (- 0) into 0
14.651 * [backup-simplify]: Simplify (- 0) into 0
14.652 * [backup-simplify]: Simplify (- 0) into 0
14.652 * [backup-simplify]: Simplify (- 0) into 0
14.657 * [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
14.658 * [backup-simplify]: Simplify (- -1/120) into 1/120
14.658 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
14.659 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
14.659 * [backup-simplify]: Simplify 1/120 into 1/120
14.839 * [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))
14.843 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c))
14.843 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
14.843 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
14.844 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
14.844 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
14.844 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
14.844 * [taylor]: Taking taylor expansion of (/ 1 c) in c
14.844 * [taylor]: Taking taylor expansion of c in c
14.844 * [backup-simplify]: Simplify 0 into 0
14.844 * [backup-simplify]: Simplify 1 into 1
15.217 * [backup-simplify]: Simplify (/ 1 1) into 1
15.229 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
15.230 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
15.230 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
15.230 * [taylor]: Taking taylor expansion of (/ 1 c) in c
15.230 * [taylor]: Taking taylor expansion of c in c
15.230 * [backup-simplify]: Simplify 0 into 0
15.230 * [backup-simplify]: Simplify 1 into 1
15.231 * [backup-simplify]: Simplify (/ 1 1) into 1
15.231 * [backup-simplify]: Simplify (- 1) into -1
15.251 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
15.252 * [taylor]: Taking taylor expansion of 2 in c
15.252 * [backup-simplify]: Simplify 2 into 2
15.279 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
15.280 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
15.280 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
15.280 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
15.283 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
15.283 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
15.283 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
15.283 * [taylor]: Taking taylor expansion of (/ 1 c) in c
15.284 * [taylor]: Taking taylor expansion of c in c
15.284 * [backup-simplify]: Simplify 0 into 0
15.284 * [backup-simplify]: Simplify 1 into 1
15.285 * [backup-simplify]: Simplify (/ 1 1) into 1
15.286 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
15.286 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
15.286 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
15.286 * [taylor]: Taking taylor expansion of (/ 1 c) in c
15.286 * [taylor]: Taking taylor expansion of c in c
15.286 * [backup-simplify]: Simplify 0 into 0
15.286 * [backup-simplify]: Simplify 1 into 1
15.288 * [backup-simplify]: Simplify (/ 1 1) into 1
15.290 * [backup-simplify]: Simplify (- 1) into -1
15.290 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
15.290 * [taylor]: Taking taylor expansion of 2 in c
15.290 * [backup-simplify]: Simplify 2 into 2
15.290 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
15.291 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
15.291 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
15.292 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
15.296 * [backup-simplify]: Simplify (- 0) into 0
15.297 * [backup-simplify]: Simplify (+ 0 0) into 0
15.298 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
15.298 * [backup-simplify]: Simplify 0 into 0
15.299 * [backup-simplify]: Simplify (- 0) into 0
15.299 * [backup-simplify]: Simplify (+ 0 0) into 0
15.301 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.301 * [backup-simplify]: Simplify 0 into 0
15.302 * [backup-simplify]: Simplify (- 0) into 0
15.302 * [backup-simplify]: Simplify (+ 0 0) into 0
15.331 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.331 * [backup-simplify]: Simplify 0 into 0
15.332 * [backup-simplify]: Simplify (- 0) into 0
15.333 * [backup-simplify]: Simplify (+ 0 0) into 0
15.344 * [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.344 * [backup-simplify]: Simplify 0 into 0
15.345 * [backup-simplify]: Simplify (- 0) into 0
15.345 * [backup-simplify]: Simplify (+ 0 0) into 0
15.357 * [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.357 * [backup-simplify]: Simplify 0 into 0
15.358 * [backup-simplify]: Simplify (- 0) into 0
15.359 * [backup-simplify]: Simplify (+ 0 0) into 0
15.380 * [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.381 * [backup-simplify]: Simplify 0 into 0
15.386 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
15.392 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c))
15.392 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
15.392 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
15.392 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
15.392 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
15.392 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
15.392 * [taylor]: Taking taylor expansion of (/ -1 c) in c
15.392 * [taylor]: Taking taylor expansion of -1 in c
15.392 * [backup-simplify]: Simplify -1 into -1
15.392 * [taylor]: Taking taylor expansion of c in c
15.393 * [backup-simplify]: Simplify 0 into 0
15.393 * [backup-simplify]: Simplify 1 into 1
15.393 * [backup-simplify]: Simplify (/ -1 1) into -1
15.394 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
15.394 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
15.394 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
15.394 * [taylor]: Taking taylor expansion of (/ -1 c) in c
15.394 * [taylor]: Taking taylor expansion of -1 in c
15.394 * [backup-simplify]: Simplify -1 into -1
15.394 * [taylor]: Taking taylor expansion of c in c
15.394 * [backup-simplify]: Simplify 0 into 0
15.394 * [backup-simplify]: Simplify 1 into 1
15.394 * [backup-simplify]: Simplify (/ -1 1) into -1
15.395 * [backup-simplify]: Simplify (- -1) into 1
15.395 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
15.395 * [taylor]: Taking taylor expansion of 2 in c
15.395 * [backup-simplify]: Simplify 2 into 2
15.395 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
15.395 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
15.396 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
15.396 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
15.396 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
15.396 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
15.396 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
15.396 * [taylor]: Taking taylor expansion of (/ -1 c) in c
15.396 * [taylor]: Taking taylor expansion of -1 in c
15.396 * [backup-simplify]: Simplify -1 into -1
15.396 * [taylor]: Taking taylor expansion of c in c
15.396 * [backup-simplify]: Simplify 0 into 0
15.396 * [backup-simplify]: Simplify 1 into 1
15.397 * [backup-simplify]: Simplify (/ -1 1) into -1
15.397 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
15.397 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
15.397 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
15.397 * [taylor]: Taking taylor expansion of (/ -1 c) in c
15.397 * [taylor]: Taking taylor expansion of -1 in c
15.397 * [backup-simplify]: Simplify -1 into -1
15.397 * [taylor]: Taking taylor expansion of c in c
15.397 * [backup-simplify]: Simplify 0 into 0
15.397 * [backup-simplify]: Simplify 1 into 1
15.397 * [backup-simplify]: Simplify (/ -1 1) into -1
15.398 * [backup-simplify]: Simplify (- -1) into 1
15.398 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
15.398 * [taylor]: Taking taylor expansion of 2 in c
15.398 * [backup-simplify]: Simplify 2 into 2
15.398 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
15.398 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
15.398 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
15.400 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
15.400 * [backup-simplify]: Simplify (- 0) into 0
15.401 * [backup-simplify]: Simplify (+ 0 0) into 0
15.402 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
15.402 * [backup-simplify]: Simplify 0 into 0
15.403 * [backup-simplify]: Simplify (- 0) into 0
15.403 * [backup-simplify]: Simplify (+ 0 0) into 0
15.405 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.405 * [backup-simplify]: Simplify 0 into 0
15.405 * [backup-simplify]: Simplify (- 0) into 0
15.406 * [backup-simplify]: Simplify (+ 0 0) into 0
15.408 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
15.408 * [backup-simplify]: Simplify 0 into 0
15.409 * [backup-simplify]: Simplify (- 0) into 0
15.410 * [backup-simplify]: Simplify (+ 0 0) into 0
15.420 * [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.421 * [backup-simplify]: Simplify 0 into 0
15.421 * [backup-simplify]: Simplify (- 0) into 0
15.422 * [backup-simplify]: Simplify (+ 0 0) into 0
15.437 * [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.437 * [backup-simplify]: Simplify 0 into 0
15.438 * [backup-simplify]: Simplify (- 0) into 0
15.439 * [backup-simplify]: Simplify (+ 0 0) into 0
15.460 * [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.461 * [backup-simplify]: Simplify 0 into 0
15.461 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
15.462 * * * [progress]: simplifying candidates
15.467 * [simplify]: Simplifying:
  (- (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))))
15.470 * * [simplify]: Extracting # 0 : cost  0
15.470 * * [simplify]: Extracting # 1 : cost  0
15.470 * * [simplify]: Extracting # 2 : cost  0
15.470 * * [simplify]: Extracting # 3 : cost  0
15.471 * * [simplify]: Extracting # 4 : cost  0
15.471 * * [simplify]: Extracting # 5 : cost  0
15.471 * * [simplify]: Extracting # 6 : cost  0
15.471 * * [simplify]: Extracting # 7 : cost  0
15.471 * * [simplify]: Extracting # 8 : cost  0
15.471 * * [simplify]: iteration  0 :  30  enodes  (cost  66 )
15.506 * * [simplify]: Extracting # 0 : cost  0
15.506 * * [simplify]: Extracting # 1 : cost  0
15.507 * * [simplify]: Extracting # 2 : cost  0
15.507 * * [simplify]: Extracting # 3 : cost  0
15.507 * * [simplify]: Extracting # 4 : cost  0
15.508 * * [simplify]: iteration  1 :  59  enodes  (cost  65 )
15.534 * * [simplify]: Extracting # 0 : cost  0
15.534 * * [simplify]: Extracting # 1 : cost  0
15.534 * * [simplify]: Extracting # 2 : cost  0
15.534 * * [simplify]: Extracting # 3 : cost  0
15.535 * * [simplify]: Extracting # 4 : cost  0
15.535 * * [simplify]: iteration  2 :  131  enodes  (cost  61 )
15.662 * * [simplify]: Extracting # 0 : cost  0
15.662 * * [simplify]: Extracting # 1 : cost  0
15.663 * * [simplify]: Extracting # 2 : cost  0
15.663 * * [simplify]: Extracting # 3 : cost  0
15.664 * * [simplify]: iteration  3 :  309  enodes  (cost  61 )
16.250 * * [simplify]: Extracting # 0 : cost  0
16.268 * * [simplify]: Extracting # 1 : cost  0
16.270 * * [simplify]: Extracting # 2 : cost  0
16.283 * * [simplify]: Extracting # 3 : cost  0
16.285 * * [simplify]: Extracting # 4 : cost  0
16.286 * * [simplify]: iteration  4 :  808  enodes  (cost  61 )
19.688 * * [simplify]: Extracting # 0 : cost  0
19.706 * * [simplify]: Extracting # 1 : cost  0
19.712 * * [simplify]: Extracting # 2 : cost  0
19.718 * * [simplify]: Extracting # 3 : cost  0
19.731 * * [simplify]: Extracting # 4 : cost  0
19.738 * * [simplify]: iteration  5 :  3331  enodes  (cost  61 )
27.060 * * [simplify]: Extracting # 0 : cost  0
27.107 * * [simplify]: Extracting # 1 : cost  0
27.166 * * [simplify]: Extracting # 2 : cost  0
27.222 * * [simplify]: Extracting # 3 : cost  0
27.254 * * [simplify]: Extracting # 4 : cost  0
27.272 * * [simplify]: iteration done:  5001  enodes  (cost  61 )
27.298 * [simplify]: Simplified to:
  (- (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/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (* 1/2 (- (exp c) (exp (- c))))
  (* 1/2 (- (exp c) (exp (- c))))
27.345 * * * [progress]: adding candidates to table
27.516 * * [progress]: iteration 2 / 4
27.516 * * * [progress]: picking best candidate
27.521 * * * * [pick]: Picked  #<alt (λ (c) (fmod (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (- c (pow -2.9807307601812193e+165 2.0))))>
27.521 * * * [progress]: localizing error
27.554 * * * [progress]: generating rewritten candidates
27.554 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
27.583 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
28.108 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
28.245 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
28.399 * * * [progress]: generating series expansions
28.400 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
28.401 * [backup-simplify]: Simplify (* 1/6 (pow c 3)) into (* 1/6 (pow c 3))
28.401 * [approximate]: Taking taylor expansion of (* 1/6 (pow c 3)) in (c) around 0
28.401 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c
28.401 * [taylor]: Taking taylor expansion of 1/6 in c
28.401 * [backup-simplify]: Simplify 1/6 into 1/6
28.401 * [taylor]: Taking taylor expansion of (pow c 3) in c
28.401 * [taylor]: Taking taylor expansion of c in c
28.401 * [backup-simplify]: Simplify 0 into 0
28.401 * [backup-simplify]: Simplify 1 into 1
28.415 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c
28.415 * [taylor]: Taking taylor expansion of 1/6 in c
28.415 * [backup-simplify]: Simplify 1/6 into 1/6
28.415 * [taylor]: Taking taylor expansion of (pow c 3) in c
28.415 * [taylor]: Taking taylor expansion of c in c
28.415 * [backup-simplify]: Simplify 0 into 0
28.415 * [backup-simplify]: Simplify 1 into 1
28.428 * [backup-simplify]: Simplify (* 1 1) into 1
28.430 * [backup-simplify]: Simplify (* 1 1) into 1
28.430 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
28.430 * [backup-simplify]: Simplify 1/6 into 1/6
28.439 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
28.440 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
28.441 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
28.441 * [backup-simplify]: Simplify 0 into 0
28.448 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
28.449 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
28.450 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
28.450 * [backup-simplify]: Simplify 0 into 0
28.451 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
28.485 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
28.502 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
28.502 * [backup-simplify]: Simplify 0 into 0
28.504 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
28.505 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
28.507 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
28.507 * [backup-simplify]: Simplify 0 into 0
28.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
28.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
28.523 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
28.523 * [backup-simplify]: Simplify 0 into 0
28.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
28.526 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
28.528 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
28.528 * [backup-simplify]: Simplify 0 into 0
28.529 * [backup-simplify]: Simplify (* 1/6 (pow c 3)) into (* 1/6 (pow c 3))
28.529 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 c) 3)) into (/ 1/6 (pow c 3))
28.529 * [approximate]: Taking taylor expansion of (/ 1/6 (pow c 3)) in (c) around 0
28.529 * [taylor]: Taking taylor expansion of (/ 1/6 (pow c 3)) in c
28.529 * [taylor]: Taking taylor expansion of 1/6 in c
28.529 * [backup-simplify]: Simplify 1/6 into 1/6
28.529 * [taylor]: Taking taylor expansion of (pow c 3) in c
28.529 * [taylor]: Taking taylor expansion of c in c
28.529 * [backup-simplify]: Simplify 0 into 0
28.529 * [backup-simplify]: Simplify 1 into 1
28.530 * [backup-simplify]: Simplify (* 1 1) into 1
28.530 * [backup-simplify]: Simplify (* 1 1) into 1
28.530 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6
28.530 * [taylor]: Taking taylor expansion of (/ 1/6 (pow c 3)) in c
28.530 * [taylor]: Taking taylor expansion of 1/6 in c
28.530 * [backup-simplify]: Simplify 1/6 into 1/6
28.530 * [taylor]: Taking taylor expansion of (pow c 3) in c
28.530 * [taylor]: Taking taylor expansion of c in c
28.530 * [backup-simplify]: Simplify 0 into 0
28.530 * [backup-simplify]: Simplify 1 into 1
28.531 * [backup-simplify]: Simplify (* 1 1) into 1
28.531 * [backup-simplify]: Simplify (* 1 1) into 1
28.532 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6
28.532 * [backup-simplify]: Simplify 1/6 into 1/6
28.533 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
28.533 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
28.534 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0
28.534 * [backup-simplify]: Simplify 0 into 0
28.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
28.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
28.538 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.539 * [backup-simplify]: Simplify 0 into 0
28.540 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
28.541 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
28.542 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.542 * [backup-simplify]: Simplify 0 into 0
28.543 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
28.544 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
28.545 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.545 * [backup-simplify]: Simplify 0 into 0
28.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
28.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
28.549 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.549 * [backup-simplify]: Simplify 0 into 0
28.551 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
28.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
28.726 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.735 * [backup-simplify]: Simplify 0 into 0
28.736 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (/ 1 c)) 3)) into (* 1/6 (pow c 3))
28.737 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (- c)) 3)) into (/ -1/6 (pow c 3))
28.737 * [approximate]: Taking taylor expansion of (/ -1/6 (pow c 3)) in (c) around 0
28.737 * [taylor]: Taking taylor expansion of (/ -1/6 (pow c 3)) in c
28.737 * [taylor]: Taking taylor expansion of -1/6 in c
28.737 * [backup-simplify]: Simplify -1/6 into -1/6
28.737 * [taylor]: Taking taylor expansion of (pow c 3) in c
28.737 * [taylor]: Taking taylor expansion of c in c
28.737 * [backup-simplify]: Simplify 0 into 0
28.737 * [backup-simplify]: Simplify 1 into 1
28.739 * [backup-simplify]: Simplify (* 1 1) into 1
28.740 * [backup-simplify]: Simplify (* 1 1) into 1
28.742 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6
28.742 * [taylor]: Taking taylor expansion of (/ -1/6 (pow c 3)) in c
28.742 * [taylor]: Taking taylor expansion of -1/6 in c
28.742 * [backup-simplify]: Simplify -1/6 into -1/6
28.742 * [taylor]: Taking taylor expansion of (pow c 3) in c
28.742 * [taylor]: Taking taylor expansion of c in c
28.742 * [backup-simplify]: Simplify 0 into 0
28.742 * [backup-simplify]: Simplify 1 into 1
28.754 * [backup-simplify]: Simplify (* 1 1) into 1
28.755 * [backup-simplify]: Simplify (* 1 1) into 1
28.755 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6
28.755 * [backup-simplify]: Simplify -1/6 into -1/6
28.761 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
28.761 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
28.771 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0
28.771 * [backup-simplify]: Simplify 0 into 0
28.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
28.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
28.788 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.788 * [backup-simplify]: Simplify 0 into 0
28.790 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
28.795 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
28.796 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.796 * [backup-simplify]: Simplify 0 into 0
28.797 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
28.799 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
28.801 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.801 * [backup-simplify]: Simplify 0 into 0
28.802 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
28.804 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
28.806 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.806 * [backup-simplify]: Simplify 0 into 0
28.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
28.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
28.812 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.813 * [backup-simplify]: Simplify 0 into 0
28.813 * [backup-simplify]: Simplify (* -1/6 (pow (/ 1 (/ 1 (- c))) 3)) into (* 1/6 (pow c 3))
28.813 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
28.813 * [backup-simplify]: Simplify (* 1/120 (pow c 5)) into (* 1/120 (pow c 5))
28.813 * [approximate]: Taking taylor expansion of (* 1/120 (pow c 5)) in (c) around 0
28.813 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c
28.814 * [taylor]: Taking taylor expansion of 1/120 in c
28.814 * [backup-simplify]: Simplify 1/120 into 1/120
28.814 * [taylor]: Taking taylor expansion of (pow c 5) in c
28.814 * [taylor]: Taking taylor expansion of c in c
28.814 * [backup-simplify]: Simplify 0 into 0
28.814 * [backup-simplify]: Simplify 1 into 1
28.814 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c
28.814 * [taylor]: Taking taylor expansion of 1/120 in c
28.814 * [backup-simplify]: Simplify 1/120 into 1/120
28.814 * [taylor]: Taking taylor expansion of (pow c 5) in c
28.814 * [taylor]: Taking taylor expansion of c in c
28.814 * [backup-simplify]: Simplify 0 into 0
28.814 * [backup-simplify]: Simplify 1 into 1
28.818 * [backup-simplify]: Simplify (* 1 1) into 1
28.819 * [backup-simplify]: Simplify (* 1 1) into 1
28.820 * [backup-simplify]: Simplify (* 1 1) into 1
28.820 * [backup-simplify]: Simplify (* 1/120 1) into 1/120
28.820 * [backup-simplify]: Simplify 1/120 into 1/120
28.822 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
28.823 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
28.824 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
28.825 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0
28.825 * [backup-simplify]: Simplify 0 into 0
28.827 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
28.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
28.843 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
28.844 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0
28.844 * [backup-simplify]: Simplify 0 into 0
28.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
28.847 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
28.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
28.849 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
28.850 * [backup-simplify]: Simplify 0 into 0
28.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
28.853 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
28.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
28.857 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
28.857 * [backup-simplify]: Simplify 0 into 0
28.859 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
28.861 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
28.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
28.865 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
28.865 * [backup-simplify]: Simplify 0 into 0
28.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
28.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
28.871 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
28.873 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
28.874 * [backup-simplify]: Simplify 0 into 0
28.874 * [backup-simplify]: Simplify (* 1/120 (pow c 5)) into (* 1/120 (pow c 5))
28.875 * [backup-simplify]: Simplify (* 1/120 (pow (/ 1 c) 5)) into (/ 1/120 (pow c 5))
28.875 * [approximate]: Taking taylor expansion of (/ 1/120 (pow c 5)) in (c) around 0
28.875 * [taylor]: Taking taylor expansion of (/ 1/120 (pow c 5)) in c
28.875 * [taylor]: Taking taylor expansion of 1/120 in c
28.875 * [backup-simplify]: Simplify 1/120 into 1/120
28.875 * [taylor]: Taking taylor expansion of (pow c 5) in c
28.875 * [taylor]: Taking taylor expansion of c in c
28.875 * [backup-simplify]: Simplify 0 into 0
28.875 * [backup-simplify]: Simplify 1 into 1
28.875 * [backup-simplify]: Simplify (* 1 1) into 1
28.876 * [backup-simplify]: Simplify (* 1 1) into 1
28.876 * [backup-simplify]: Simplify (* 1 1) into 1
28.877 * [backup-simplify]: Simplify (/ 1/120 1) into 1/120
28.877 * [taylor]: Taking taylor expansion of (/ 1/120 (pow c 5)) in c
28.877 * [taylor]: Taking taylor expansion of 1/120 in c
28.877 * [backup-simplify]: Simplify 1/120 into 1/120
28.877 * [taylor]: Taking taylor expansion of (pow c 5) in c
28.877 * [taylor]: Taking taylor expansion of c in c
28.877 * [backup-simplify]: Simplify 0 into 0
28.877 * [backup-simplify]: Simplify 1 into 1
28.877 * [backup-simplify]: Simplify (* 1 1) into 1
28.877 * [backup-simplify]: Simplify (* 1 1) into 1
28.878 * [backup-simplify]: Simplify (* 1 1) into 1
28.878 * [backup-simplify]: Simplify (/ 1/120 1) into 1/120
28.878 * [backup-simplify]: Simplify 1/120 into 1/120
28.879 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
28.880 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
28.881 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
28.882 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)))) into 0
28.882 * [backup-simplify]: Simplify 0 into 0
28.883 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
28.884 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
28.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
28.886 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.886 * [backup-simplify]: Simplify 0 into 0
28.887 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
28.888 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
28.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
28.904 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.904 * [backup-simplify]: Simplify 0 into 0
28.908 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
28.910 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
28.912 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
28.913 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.913 * [backup-simplify]: Simplify 0 into 0
28.914 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
28.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
28.923 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
28.924 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.924 * [backup-simplify]: Simplify 0 into 0
28.927 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
28.929 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
28.931 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
28.932 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.933 * [backup-simplify]: Simplify 0 into 0
28.933 * [backup-simplify]: Simplify (* 1/120 (pow (/ 1 (/ 1 c)) 5)) into (* 1/120 (pow c 5))
28.933 * [backup-simplify]: Simplify (* 1/120 (pow (/ 1 (- c)) 5)) into (/ -1/120 (pow c 5))
28.933 * [approximate]: Taking taylor expansion of (/ -1/120 (pow c 5)) in (c) around 0
28.933 * [taylor]: Taking taylor expansion of (/ -1/120 (pow c 5)) in c
28.933 * [taylor]: Taking taylor expansion of -1/120 in c
28.933 * [backup-simplify]: Simplify -1/120 into -1/120
28.933 * [taylor]: Taking taylor expansion of (pow c 5) in c
28.933 * [taylor]: Taking taylor expansion of c in c
28.933 * [backup-simplify]: Simplify 0 into 0
28.933 * [backup-simplify]: Simplify 1 into 1
28.934 * [backup-simplify]: Simplify (* 1 1) into 1
28.934 * [backup-simplify]: Simplify (* 1 1) into 1
28.935 * [backup-simplify]: Simplify (* 1 1) into 1
28.936 * [backup-simplify]: Simplify (/ -1/120 1) into -1/120
28.936 * [taylor]: Taking taylor expansion of (/ -1/120 (pow c 5)) in c
28.936 * [taylor]: Taking taylor expansion of -1/120 in c
28.936 * [backup-simplify]: Simplify -1/120 into -1/120
28.936 * [taylor]: Taking taylor expansion of (pow c 5) in c
28.936 * [taylor]: Taking taylor expansion of c in c
28.936 * [backup-simplify]: Simplify 0 into 0
28.936 * [backup-simplify]: Simplify 1 into 1
28.936 * [backup-simplify]: Simplify (* 1 1) into 1
28.937 * [backup-simplify]: Simplify (* 1 1) into 1
28.937 * [backup-simplify]: Simplify (* 1 1) into 1
28.938 * [backup-simplify]: Simplify (/ -1/120 1) into -1/120
28.938 * [backup-simplify]: Simplify -1/120 into -1/120
28.939 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
28.940 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
28.941 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
28.943 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)))) into 0
28.943 * [backup-simplify]: Simplify 0 into 0
28.943 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
28.944 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
28.944 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
28.945 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.945 * [backup-simplify]: Simplify 0 into 0
28.946 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
28.946 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
28.951 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
28.953 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.953 * [backup-simplify]: Simplify 0 into 0
28.954 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
28.956 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
28.958 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
28.961 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.961 * [backup-simplify]: Simplify 0 into 0
28.963 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
28.965 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
28.967 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
28.969 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.969 * [backup-simplify]: Simplify 0 into 0
28.972 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
28.974 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
28.977 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
28.979 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
28.979 * [backup-simplify]: Simplify 0 into 0
28.979 * [backup-simplify]: Simplify (* -1/120 (pow (/ 1 (/ 1 (- c))) 5)) into (* 1/120 (pow c 5))
28.990 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
28.991 * [backup-simplify]: Simplify (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
28.991 * [approximate]: Taking taylor expansion of (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) in (c) around 0
28.991 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) in c
28.992 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c
28.992 * [taylor]: Taking taylor expansion of 1/6 in c
28.992 * [backup-simplify]: Simplify 1/6 into 1/6
28.992 * [taylor]: Taking taylor expansion of (pow c 3) in c
28.992 * [taylor]: Taking taylor expansion of c in c
28.992 * [backup-simplify]: Simplify 0 into 0
28.992 * [backup-simplify]: Simplify 1 into 1
28.992 * [taylor]: Taking taylor expansion of (+ (* 1/120 (pow c 5)) c) in c
28.992 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c
28.992 * [taylor]: Taking taylor expansion of 1/120 in c
28.992 * [backup-simplify]: Simplify 1/120 into 1/120
28.992 * [taylor]: Taking taylor expansion of (pow c 5) in c
28.992 * [taylor]: Taking taylor expansion of c in c
28.992 * [backup-simplify]: Simplify 0 into 0
28.992 * [backup-simplify]: Simplify 1 into 1
28.992 * [taylor]: Taking taylor expansion of c in c
28.992 * [backup-simplify]: Simplify 0 into 0
28.992 * [backup-simplify]: Simplify 1 into 1
28.992 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) in c
28.992 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c
28.992 * [taylor]: Taking taylor expansion of 1/6 in c
28.993 * [backup-simplify]: Simplify 1/6 into 1/6
28.993 * [taylor]: Taking taylor expansion of (pow c 3) in c
28.993 * [taylor]: Taking taylor expansion of c in c
28.993 * [backup-simplify]: Simplify 0 into 0
28.993 * [backup-simplify]: Simplify 1 into 1
28.993 * [taylor]: Taking taylor expansion of (+ (* 1/120 (pow c 5)) c) in c
28.993 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c
28.993 * [taylor]: Taking taylor expansion of 1/120 in c
28.993 * [backup-simplify]: Simplify 1/120 into 1/120
28.993 * [taylor]: Taking taylor expansion of (pow c 5) in c
28.993 * [taylor]: Taking taylor expansion of c in c
28.993 * [backup-simplify]: Simplify 0 into 0
28.993 * [backup-simplify]: Simplify 1 into 1
28.993 * [taylor]: Taking taylor expansion of c in c
28.993 * [backup-simplify]: Simplify 0 into 0
28.993 * [backup-simplify]: Simplify 1 into 1
29.005 * [backup-simplify]: Simplify (+ 0 0) into 0
29.006 * [backup-simplify]: Simplify (+ 0 0) into 0
29.006 * [backup-simplify]: Simplify 0 into 0
29.007 * [backup-simplify]: Simplify (+ 0 1) into 1
29.007 * [backup-simplify]: Simplify (+ 0 1) into 1
29.007 * [backup-simplify]: Simplify 1 into 1
29.008 * [backup-simplify]: Simplify (+ 0 0) into 0
29.008 * [backup-simplify]: Simplify (+ 0 0) into 0
29.008 * [backup-simplify]: Simplify 0 into 0
29.009 * [backup-simplify]: Simplify (* 1 1) into 1
29.009 * [backup-simplify]: Simplify (* 1 1) into 1
29.010 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
29.010 * [backup-simplify]: Simplify (+ 0 0) into 0
29.011 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
29.011 * [backup-simplify]: Simplify 1/6 into 1/6
29.012 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.012 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.013 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
29.014 * [backup-simplify]: Simplify (+ 0 0) into 0
29.014 * [backup-simplify]: Simplify (+ 0 0) into 0
29.014 * [backup-simplify]: Simplify 0 into 0
29.015 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.023 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.025 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
29.026 * [backup-simplify]: Simplify (* 1 1) into 1
29.026 * [backup-simplify]: Simplify (* 1 1) into 1
29.027 * [backup-simplify]: Simplify (* 1 1) into 1
29.036 * [backup-simplify]: Simplify (* 1/120 1) into 1/120
29.037 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120
29.038 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120
29.038 * [backup-simplify]: Simplify 1/120 into 1/120
29.038 * [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))
29.048 * [backup-simplify]: Simplify (+ (* 1/6 (pow (/ 1 c) 3)) (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c))) into (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)))
29.048 * [approximate]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c))) in (c) around 0
29.048 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c))) in c
29.048 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c
29.049 * [taylor]: Taking taylor expansion of 1/120 in c
29.049 * [backup-simplify]: Simplify 1/120 into 1/120
29.049 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c
29.049 * [taylor]: Taking taylor expansion of (pow c 5) in c
29.049 * [taylor]: Taking taylor expansion of c in c
29.049 * [backup-simplify]: Simplify 0 into 0
29.049 * [backup-simplify]: Simplify 1 into 1
29.050 * [backup-simplify]: Simplify (* 1 1) into 1
29.059 * [backup-simplify]: Simplify (* 1 1) into 1
29.068 * [backup-simplify]: Simplify (* 1 1) into 1
29.068 * [backup-simplify]: Simplify (/ 1 1) into 1
29.068 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)) in c
29.068 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow c 3))) in c
29.068 * [taylor]: Taking taylor expansion of 1/6 in c
29.068 * [backup-simplify]: Simplify 1/6 into 1/6
29.068 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c
29.068 * [taylor]: Taking taylor expansion of (pow c 3) in c
29.068 * [taylor]: Taking taylor expansion of c in c
29.068 * [backup-simplify]: Simplify 0 into 0
29.068 * [backup-simplify]: Simplify 1 into 1
29.069 * [backup-simplify]: Simplify (* 1 1) into 1
29.069 * [backup-simplify]: Simplify (* 1 1) into 1
29.069 * [backup-simplify]: Simplify (/ 1 1) into 1
29.069 * [taylor]: Taking taylor expansion of (/ 1 c) in c
29.069 * [taylor]: Taking taylor expansion of c in c
29.069 * [backup-simplify]: Simplify 0 into 0
29.069 * [backup-simplify]: Simplify 1 into 1
29.070 * [backup-simplify]: Simplify (/ 1 1) into 1
29.070 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c))) in c
29.070 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c
29.070 * [taylor]: Taking taylor expansion of 1/120 in c
29.070 * [backup-simplify]: Simplify 1/120 into 1/120
29.070 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c
29.070 * [taylor]: Taking taylor expansion of (pow c 5) in c
29.070 * [taylor]: Taking taylor expansion of c in c
29.070 * [backup-simplify]: Simplify 0 into 0
29.070 * [backup-simplify]: Simplify 1 into 1
29.070 * [backup-simplify]: Simplify (* 1 1) into 1
29.071 * [backup-simplify]: Simplify (* 1 1) into 1
29.074 * [backup-simplify]: Simplify (* 1 1) into 1
29.076 * [backup-simplify]: Simplify (/ 1 1) into 1
29.076 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)) in c
29.076 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow c 3))) in c
29.076 * [taylor]: Taking taylor expansion of 1/6 in c
29.076 * [backup-simplify]: Simplify 1/6 into 1/6
29.076 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c
29.076 * [taylor]: Taking taylor expansion of (pow c 3) in c
29.076 * [taylor]: Taking taylor expansion of c in c
29.076 * [backup-simplify]: Simplify 0 into 0
29.076 * [backup-simplify]: Simplify 1 into 1
29.077 * [backup-simplify]: Simplify (* 1 1) into 1
29.079 * [backup-simplify]: Simplify (* 1 1) into 1
29.079 * [backup-simplify]: Simplify (/ 1 1) into 1
29.079 * [taylor]: Taking taylor expansion of (/ 1 c) in c
29.079 * [taylor]: Taking taylor expansion of c in c
29.079 * [backup-simplify]: Simplify 0 into 0
29.079 * [backup-simplify]: Simplify 1 into 1
29.080 * [backup-simplify]: Simplify (/ 1 1) into 1
29.080 * [backup-simplify]: Simplify (* 1/120 1) into 1/120
29.081 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120
29.083 * [backup-simplify]: Simplify 1/120 into 1/120
29.088 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.089 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.089 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.090 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
29.091 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0
29.091 * [backup-simplify]: Simplify (+ 0 0) into 0
29.091 * [backup-simplify]: Simplify 0 into 0
29.092 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.093 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.094 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.212 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.216 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0
29.224 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
29.225 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
29.226 * [backup-simplify]: Simplify (+ 0 1/6) into 1/6
29.226 * [backup-simplify]: Simplify 1/6 into 1/6
29.239 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.241 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.256 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.258 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.259 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.261 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
29.273 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
29.274 * [backup-simplify]: Simplify (+ 0 0) into 0
29.274 * [backup-simplify]: Simplify (+ 0 0) into 0
29.274 * [backup-simplify]: Simplify 0 into 0
29.280 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.282 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.285 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.287 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.289 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.291 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.292 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
29.293 * [backup-simplify]: Simplify (+ 0 1) into 1
29.293 * [backup-simplify]: Simplify (+ 0 1) into 1
29.293 * [backup-simplify]: Simplify 1 into 1
29.294 * [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))
29.295 * [backup-simplify]: Simplify (+ (* 1/6 (pow (/ 1 (- c)) 3)) (+ (* 1/120 (pow (/ 1 (- c)) 5)) (/ 1 (- c)))) into (- (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c))))
29.295 * [approximate]: Taking taylor expansion of (- (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)))) in (c) around 0
29.295 * [taylor]: Taking taylor expansion of (- (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)))) in c
29.295 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c))) in c
29.295 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c
29.295 * [taylor]: Taking taylor expansion of 1/120 in c
29.295 * [backup-simplify]: Simplify 1/120 into 1/120
29.295 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c
29.295 * [taylor]: Taking taylor expansion of (pow c 5) in c
29.296 * [taylor]: Taking taylor expansion of c in c
29.296 * [backup-simplify]: Simplify 0 into 0
29.296 * [backup-simplify]: Simplify 1 into 1
29.296 * [backup-simplify]: Simplify (* 1 1) into 1
29.297 * [backup-simplify]: Simplify (* 1 1) into 1
29.297 * [backup-simplify]: Simplify (* 1 1) into 1
29.298 * [backup-simplify]: Simplify (/ 1 1) into 1
29.298 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)) in c
29.298 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow c 3))) in c
29.298 * [taylor]: Taking taylor expansion of 1/6 in c
29.298 * [backup-simplify]: Simplify 1/6 into 1/6
29.298 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c
29.298 * [taylor]: Taking taylor expansion of (pow c 3) in c
29.298 * [taylor]: Taking taylor expansion of c in c
29.298 * [backup-simplify]: Simplify 0 into 0
29.298 * [backup-simplify]: Simplify 1 into 1
29.299 * [backup-simplify]: Simplify (* 1 1) into 1
29.299 * [backup-simplify]: Simplify (* 1 1) into 1
29.300 * [backup-simplify]: Simplify (/ 1 1) into 1
29.300 * [taylor]: Taking taylor expansion of (/ 1 c) in c
29.300 * [taylor]: Taking taylor expansion of c in c
29.300 * [backup-simplify]: Simplify 0 into 0
29.300 * [backup-simplify]: Simplify 1 into 1
29.300 * [backup-simplify]: Simplify (/ 1 1) into 1
29.300 * [taylor]: Taking taylor expansion of (- (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)))) in c
29.300 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c))) in c
29.300 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c
29.301 * [taylor]: Taking taylor expansion of 1/120 in c
29.301 * [backup-simplify]: Simplify 1/120 into 1/120
29.301 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c
29.301 * [taylor]: Taking taylor expansion of (pow c 5) in c
29.301 * [taylor]: Taking taylor expansion of c in c
29.301 * [backup-simplify]: Simplify 0 into 0
29.301 * [backup-simplify]: Simplify 1 into 1
29.301 * [backup-simplify]: Simplify (* 1 1) into 1
29.302 * [backup-simplify]: Simplify (* 1 1) into 1
29.302 * [backup-simplify]: Simplify (* 1 1) into 1
29.303 * [backup-simplify]: Simplify (/ 1 1) into 1
29.303 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)) in c
29.303 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow c 3))) in c
29.303 * [taylor]: Taking taylor expansion of 1/6 in c
29.304 * [backup-simplify]: Simplify 1/6 into 1/6
29.304 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c
29.304 * [taylor]: Taking taylor expansion of (pow c 3) in c
29.304 * [taylor]: Taking taylor expansion of c in c
29.304 * [backup-simplify]: Simplify 0 into 0
29.304 * [backup-simplify]: Simplify 1 into 1
29.304 * [backup-simplify]: Simplify (* 1 1) into 1
29.305 * [backup-simplify]: Simplify (* 1 1) into 1
29.305 * [backup-simplify]: Simplify (/ 1 1) into 1
29.305 * [taylor]: Taking taylor expansion of (/ 1 c) in c
29.305 * [taylor]: Taking taylor expansion of c in c
29.305 * [backup-simplify]: Simplify 0 into 0
29.305 * [backup-simplify]: Simplify 1 into 1
29.306 * [backup-simplify]: Simplify (/ 1 1) into 1
29.306 * [backup-simplify]: Simplify (* 1/120 1) into 1/120
29.306 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120
29.307 * [backup-simplify]: Simplify (- 1/120) into -1/120
29.307 * [backup-simplify]: Simplify -1/120 into -1/120
29.307 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.308 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.309 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.309 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
29.310 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0
29.310 * [backup-simplify]: Simplify (+ 0 0) into 0
29.311 * [backup-simplify]: Simplify (- 0) into 0
29.311 * [backup-simplify]: Simplify 0 into 0
29.312 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.317 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.319 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0
29.320 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
29.321 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
29.321 * [backup-simplify]: Simplify (+ 0 1/6) into 1/6
29.322 * [backup-simplify]: Simplify (- 1/6) into -1/6
29.322 * [backup-simplify]: Simplify -1/6 into -1/6
29.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.335 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.349 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.350 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.350 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.351 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
29.352 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
29.359 * [backup-simplify]: Simplify (+ 0 0) into 0
29.360 * [backup-simplify]: Simplify (+ 0 0) into 0
29.361 * [backup-simplify]: Simplify (- 0) into 0
29.361 * [backup-simplify]: Simplify 0 into 0
29.363 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.365 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.368 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.369 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.370 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.375 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.376 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.377 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.379 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
29.380 * [backup-simplify]: Simplify (+ 0 1) into 1
29.380 * [backup-simplify]: Simplify (+ 0 1) into 1
29.380 * [backup-simplify]: Simplify (- 1) into -1
29.380 * [backup-simplify]: Simplify -1 into -1
29.381 * [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))
29.387 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
29.388 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) c) into (+ (* 1/120 (pow c 5)) c)
29.388 * [approximate]: Taking taylor expansion of (+ (* 1/120 (pow c 5)) c) in (c) around 0
29.389 * [taylor]: Taking taylor expansion of (+ (* 1/120 (pow c 5)) c) in c
29.389 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c
29.389 * [taylor]: Taking taylor expansion of 1/120 in c
29.389 * [backup-simplify]: Simplify 1/120 into 1/120
29.389 * [taylor]: Taking taylor expansion of (pow c 5) in c
29.389 * [taylor]: Taking taylor expansion of c in c
29.389 * [backup-simplify]: Simplify 0 into 0
29.389 * [backup-simplify]: Simplify 1 into 1
29.389 * [taylor]: Taking taylor expansion of c in c
29.389 * [backup-simplify]: Simplify 0 into 0
29.389 * [backup-simplify]: Simplify 1 into 1
29.389 * [taylor]: Taking taylor expansion of (+ (* 1/120 (pow c 5)) c) in c
29.389 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c
29.389 * [taylor]: Taking taylor expansion of 1/120 in c
29.389 * [backup-simplify]: Simplify 1/120 into 1/120
29.389 * [taylor]: Taking taylor expansion of (pow c 5) in c
29.389 * [taylor]: Taking taylor expansion of c in c
29.389 * [backup-simplify]: Simplify 0 into 0
29.389 * [backup-simplify]: Simplify 1 into 1
29.389 * [taylor]: Taking taylor expansion of c in c
29.389 * [backup-simplify]: Simplify 0 into 0
29.389 * [backup-simplify]: Simplify 1 into 1
29.395 * [backup-simplify]: Simplify (+ 0 0) into 0
29.395 * [backup-simplify]: Simplify 0 into 0
29.398 * [backup-simplify]: Simplify (+ 0 1) into 1
29.399 * [backup-simplify]: Simplify 1 into 1
29.404 * [backup-simplify]: Simplify (+ 0 0) into 0
29.404 * [backup-simplify]: Simplify 0 into 0
29.405 * [backup-simplify]: Simplify (+ 0 0) into 0
29.405 * [backup-simplify]: Simplify 0 into 0
29.406 * [backup-simplify]: Simplify (+ 0 0) into 0
29.406 * [backup-simplify]: Simplify 0 into 0
29.406 * [backup-simplify]: Simplify (* 1 1) into 1
29.407 * [backup-simplify]: Simplify (* 1 1) into 1
29.407 * [backup-simplify]: Simplify (* 1 1) into 1
29.408 * [backup-simplify]: Simplify (* 1/120 1) into 1/120
29.408 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120
29.408 * [backup-simplify]: Simplify 1/120 into 1/120
29.409 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.410 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.410 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.411 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0
29.413 * [backup-simplify]: Simplify (+ 0 0) into 0
29.413 * [backup-simplify]: Simplify 0 into 0
29.415 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.430 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0
29.431 * [backup-simplify]: Simplify (+ 0 0) into 0
29.431 * [backup-simplify]: Simplify 0 into 0
29.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.438 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.438 * [backup-simplify]: Simplify (+ 0 0) into 0
29.438 * [backup-simplify]: Simplify 0 into 0
29.444 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.450 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.455 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.457 * [backup-simplify]: Simplify (+ 0 0) into 0
29.457 * [backup-simplify]: Simplify 0 into 0
29.462 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
29.467 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
29.470 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
29.472 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
29.474 * [backup-simplify]: Simplify (+ 0 0) into 0
29.474 * [backup-simplify]: Simplify 0 into 0
29.478 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
29.481 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
29.485 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
29.488 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
29.489 * [backup-simplify]: Simplify (+ 0 0) into 0
29.489 * [backup-simplify]: Simplify 0 into 0
29.490 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (* 1 c)) into (+ (* 1/120 (pow c 5)) c)
29.490 * [backup-simplify]: Simplify (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) into (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c))
29.491 * [approximate]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c)) in (c) around 0
29.491 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c)) in c
29.491 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c
29.491 * [taylor]: Taking taylor expansion of 1/120 in c
29.491 * [backup-simplify]: Simplify 1/120 into 1/120
29.491 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c
29.491 * [taylor]: Taking taylor expansion of (pow c 5) in c
29.491 * [taylor]: Taking taylor expansion of c in c
29.491 * [backup-simplify]: Simplify 0 into 0
29.491 * [backup-simplify]: Simplify 1 into 1
29.492 * [backup-simplify]: Simplify (* 1 1) into 1
29.493 * [backup-simplify]: Simplify (* 1 1) into 1
29.494 * [backup-simplify]: Simplify (* 1 1) into 1
29.494 * [backup-simplify]: Simplify (/ 1 1) into 1
29.494 * [taylor]: Taking taylor expansion of (/ 1 c) in c
29.494 * [taylor]: Taking taylor expansion of c in c
29.495 * [backup-simplify]: Simplify 0 into 0
29.495 * [backup-simplify]: Simplify 1 into 1
29.497 * [backup-simplify]: Simplify (/ 1 1) into 1
29.497 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c)) in c
29.497 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c
29.497 * [taylor]: Taking taylor expansion of 1/120 in c
29.497 * [backup-simplify]: Simplify 1/120 into 1/120
29.497 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c
29.497 * [taylor]: Taking taylor expansion of (pow c 5) in c
29.497 * [taylor]: Taking taylor expansion of c in c
29.498 * [backup-simplify]: Simplify 0 into 0
29.498 * [backup-simplify]: Simplify 1 into 1
29.499 * [backup-simplify]: Simplify (* 1 1) into 1
29.501 * [backup-simplify]: Simplify (* 1 1) into 1
29.504 * [backup-simplify]: Simplify (* 1 1) into 1
29.506 * [backup-simplify]: Simplify (/ 1 1) into 1
29.506 * [taylor]: Taking taylor expansion of (/ 1 c) in c
29.506 * [taylor]: Taking taylor expansion of c in c
29.506 * [backup-simplify]: Simplify 0 into 0
29.506 * [backup-simplify]: Simplify 1 into 1
29.508 * [backup-simplify]: Simplify (/ 1 1) into 1
29.511 * [backup-simplify]: Simplify (* 1/120 1) into 1/120
29.512 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120
29.513 * [backup-simplify]: Simplify 1/120 into 1/120
29.514 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.517 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.519 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.520 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
29.521 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0
29.531 * [backup-simplify]: Simplify (+ 0 0) into 0
29.531 * [backup-simplify]: Simplify 0 into 0
29.534 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.539 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.546 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0
29.547 * [backup-simplify]: Simplify (+ 0 0) into 0
29.547 * [backup-simplify]: Simplify 0 into 0
29.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.555 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.558 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.561 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.562 * [backup-simplify]: Simplify (+ 0 0) into 0
29.562 * [backup-simplify]: Simplify 0 into 0
29.564 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.566 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.568 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.570 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.572 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.573 * [backup-simplify]: Simplify (+ 0 1) into 1
29.573 * [backup-simplify]: Simplify 1 into 1
29.575 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
29.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
29.583 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
29.585 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.587 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
29.588 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
29.588 * [backup-simplify]: Simplify (+ 0 0) into 0
29.589 * [backup-simplify]: Simplify 0 into 0
29.590 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
29.592 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
29.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
29.596 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.598 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
29.599 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.599 * [backup-simplify]: Simplify (+ 0 0) into 0
29.599 * [backup-simplify]: Simplify 0 into 0
29.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
29.604 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
29.611 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
29.612 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.614 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
29.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.616 * [backup-simplify]: Simplify (+ 0 0) into 0
29.616 * [backup-simplify]: Simplify 0 into 0
29.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
29.620 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
29.622 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
29.623 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.625 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
29.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.627 * [backup-simplify]: Simplify (+ 0 0) into 0
29.627 * [backup-simplify]: Simplify 0 into 0
29.629 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0
29.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0
29.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0
29.634 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.636 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0
29.637 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.637 * [backup-simplify]: Simplify (+ 0 0) into 0
29.637 * [backup-simplify]: Simplify 0 into 0
29.639 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0
29.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0
29.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0
29.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.648 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0
29.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.649 * [backup-simplify]: Simplify (+ 0 0) into 0
29.649 * [backup-simplify]: Simplify 0 into 0
29.649 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 c))) (* 1/120 (pow (/ 1 (/ 1 c)) 5))) into (+ (* 1/120 (pow c 5)) c)
29.650 * [backup-simplify]: Simplify (+ (* 1/120 (pow (/ 1 (- c)) 5)) (/ 1 (- c))) into (- (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c)))
29.650 * [approximate]: Taking taylor expansion of (- (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c))) in (c) around 0
29.650 * [taylor]: Taking taylor expansion of (- (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c))) in c
29.650 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c)) in c
29.650 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c
29.650 * [taylor]: Taking taylor expansion of 1/120 in c
29.650 * [backup-simplify]: Simplify 1/120 into 1/120
29.650 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c
29.650 * [taylor]: Taking taylor expansion of (pow c 5) in c
29.650 * [taylor]: Taking taylor expansion of c in c
29.650 * [backup-simplify]: Simplify 0 into 0
29.650 * [backup-simplify]: Simplify 1 into 1
29.650 * [backup-simplify]: Simplify (* 1 1) into 1
29.651 * [backup-simplify]: Simplify (* 1 1) into 1
29.651 * [backup-simplify]: Simplify (* 1 1) into 1
29.651 * [backup-simplify]: Simplify (/ 1 1) into 1
29.651 * [taylor]: Taking taylor expansion of (/ 1 c) in c
29.651 * [taylor]: Taking taylor expansion of c in c
29.652 * [backup-simplify]: Simplify 0 into 0
29.652 * [backup-simplify]: Simplify 1 into 1
29.652 * [backup-simplify]: Simplify (/ 1 1) into 1
29.652 * [taylor]: Taking taylor expansion of (- (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c))) in c
29.652 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c)) in c
29.652 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c
29.652 * [taylor]: Taking taylor expansion of 1/120 in c
29.652 * [backup-simplify]: Simplify 1/120 into 1/120
29.652 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c
29.652 * [taylor]: Taking taylor expansion of (pow c 5) in c
29.652 * [taylor]: Taking taylor expansion of c in c
29.652 * [backup-simplify]: Simplify 0 into 0
29.652 * [backup-simplify]: Simplify 1 into 1
29.652 * [backup-simplify]: Simplify (* 1 1) into 1
29.653 * [backup-simplify]: Simplify (* 1 1) into 1
29.653 * [backup-simplify]: Simplify (* 1 1) into 1
29.653 * [backup-simplify]: Simplify (/ 1 1) into 1
29.653 * [taylor]: Taking taylor expansion of (/ 1 c) in c
29.653 * [taylor]: Taking taylor expansion of c in c
29.653 * [backup-simplify]: Simplify 0 into 0
29.654 * [backup-simplify]: Simplify 1 into 1
29.654 * [backup-simplify]: Simplify (/ 1 1) into 1
29.654 * [backup-simplify]: Simplify (* 1/120 1) into 1/120
29.655 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120
29.655 * [backup-simplify]: Simplify (- 1/120) into -1/120
29.655 * [backup-simplify]: Simplify -1/120 into -1/120
29.656 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.656 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.657 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
29.658 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0
29.658 * [backup-simplify]: Simplify (+ 0 0) into 0
29.659 * [backup-simplify]: Simplify (- 0) into 0
29.659 * [backup-simplify]: Simplify 0 into 0
29.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.662 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.663 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0
29.663 * [backup-simplify]: Simplify (+ 0 0) into 0
29.664 * [backup-simplify]: Simplify (- 0) into 0
29.664 * [backup-simplify]: Simplify 0 into 0
29.665 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.667 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.668 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.669 * [backup-simplify]: Simplify (+ 0 0) into 0
29.669 * [backup-simplify]: Simplify (- 0) into 0
29.669 * [backup-simplify]: Simplify 0 into 0
29.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.674 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.675 * [backup-simplify]: Simplify (+ 0 1) into 1
29.675 * [backup-simplify]: Simplify (- 1) into -1
29.675 * [backup-simplify]: Simplify -1 into -1
29.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
29.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
29.680 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
29.681 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.683 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
29.684 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
29.684 * [backup-simplify]: Simplify (+ 0 0) into 0
29.685 * [backup-simplify]: Simplify (- 0) into 0
29.685 * [backup-simplify]: Simplify 0 into 0
29.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
29.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
29.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
29.690 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.692 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
29.692 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.693 * [backup-simplify]: Simplify (+ 0 0) into 0
29.693 * [backup-simplify]: Simplify (- 0) into 0
29.693 * [backup-simplify]: Simplify 0 into 0
29.695 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
29.697 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
29.698 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
29.700 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.703 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
29.704 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.705 * [backup-simplify]: Simplify (+ 0 0) into 0
29.705 * [backup-simplify]: Simplify (- 0) into 0
29.705 * [backup-simplify]: Simplify 0 into 0
29.707 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
29.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
29.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
29.713 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.715 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
29.716 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.716 * [backup-simplify]: Simplify (+ 0 0) into 0
29.717 * [backup-simplify]: Simplify (- 0) into 0
29.717 * [backup-simplify]: Simplify 0 into 0
29.718 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0
29.721 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0
29.723 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0
29.724 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.726 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0
29.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.728 * [backup-simplify]: Simplify (+ 0 0) into 0
29.729 * [backup-simplify]: Simplify (- 0) into 0
29.729 * [backup-simplify]: Simplify 0 into 0
29.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0
29.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0
29.735 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0
29.736 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.739 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0
29.741 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.741 * [backup-simplify]: Simplify (+ 0 0) into 0
29.741 * [backup-simplify]: Simplify (- 0) into 0
29.741 * [backup-simplify]: Simplify 0 into 0
29.742 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- c)))) (* -1/120 (pow (/ 1 (/ 1 (- c))) 5))) into (+ (* 1/120 (pow c 5)) c)
29.742 * * * [progress]: simplifying candidates
29.744 * [simplify]: Simplifying:
  (+ (log 1/6) (* (log c) 3))
  (+ (log 1/6) (* (log c) 3))
  (+ (log 1/6) (log (pow c 3)))
  (log (* 1/6 (pow c 3)))
  (exp (* 1/6 (pow c 3)))
  (* (* (* 1/6 1/6) 1/6) (* (* (pow c 3) (pow c 3)) (pow c 3)))
  (* (cbrt (* 1/6 (pow c 3))) (cbrt (* 1/6 (pow c 3))))
  (cbrt (* 1/6 (pow c 3)))
  (* (* (* 1/6 (pow c 3)) (* 1/6 (pow c 3))) (* 1/6 (pow c 3)))
  (sqrt (* 1/6 (pow c 3)))
  (sqrt (* 1/6 (pow c 3)))
  (* (sqrt 1/6) (pow (sqrt c) 3))
  (* (sqrt 1/6) (pow (sqrt c) 3))
  (* (sqrt 1/6) (pow (sqrt c) 3))
  (* (sqrt 1/6) (pow (sqrt c) 3))
  (* (sqrt 1/6) (sqrt (pow c 3)))
  (* (sqrt 1/6) (sqrt (pow c 3)))
  (* (sqrt 1/6) (pow c (/ 3 2)))
  (* (sqrt 1/6) (pow c (/ 3 2)))
  (* 1/6 (pow (* (cbrt c) (cbrt c)) 3))
  (* 1/6 (pow (sqrt c) 3))
  (* 1/6 (pow 1 3))
  (* 1/6 (* c c))
  (* 1/6 (* (cbrt (pow c 3)) (cbrt (pow c 3))))
  (* 1/6 (pow (* (cbrt c) (cbrt c)) 3))
  (* 1/6 (pow (sqrt c) 3))
  (* 1/6 (pow 1 3))
  (* 1/6 c)
  (* 1/6 (sqrt (pow c 3)))
  (* 1/6 1)
  (* 1/6 (pow c (/ 3 2)))
  (* (cbrt 1/6) (pow c 3))
  (* (sqrt 1/6) (pow c 3))
  (* 1/6 (pow c 3))
  (+ (log 1/120) (* (log c) 5))
  (+ (log 1/120) (* (log c) 5))
  (+ (log 1/120) (log (pow c 5)))
  (log (* 1/120 (pow c 5)))
  (exp (* 1/120 (pow c 5)))
  (* (* (* 1/120 1/120) 1/120) (* (* (pow c 5) (pow c 5)) (pow c 5)))
  (* (cbrt (* 1/120 (pow c 5))) (cbrt (* 1/120 (pow c 5))))
  (cbrt (* 1/120 (pow c 5)))
  (* (* (* 1/120 (pow c 5)) (* 1/120 (pow c 5))) (* 1/120 (pow c 5)))
  (sqrt (* 1/120 (pow c 5)))
  (sqrt (* 1/120 (pow c 5)))
  (* (sqrt 1/120) (pow (sqrt c) 5))
  (* (sqrt 1/120) (pow (sqrt c) 5))
  (* (sqrt 1/120) (sqrt (pow c 5)))
  (* (sqrt 1/120) (sqrt (pow c 5)))
  (* (sqrt 1/120) (pow c (/ 5 2)))
  (* (sqrt 1/120) (pow c (/ 5 2)))
  (* 1/120 (pow (* (cbrt c) (cbrt c)) 5))
  (* 1/120 (pow (sqrt c) 5))
  (* 1/120 (pow 1 5))
  (* 1/120 (* (cbrt (pow c 5)) (cbrt (pow c 5))))
  (* 1/120 (sqrt (pow c 5)))
  (* 1/120 1)
  (* 1/120 (pow c (/ 5 2)))
  (* (cbrt 1/120) (pow c 5))
  (* (sqrt 1/120) (pow c 5))
  (* 1/120 (pow c 5))
  (* (exp (* 1/6 (pow c 3))) (* (exp (* 1/120 (pow c 5))) (exp c)))
  (* (exp (* 1/6 (pow c 3))) (exp (+ (* 1/120 (pow c 5)) c)))
  (log (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))
  (exp (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))
  (* (cbrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (cbrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))))
  (cbrt (+ (* 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))) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))
  (sqrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))
  (sqrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))
  (+ (pow (* 1/6 (pow c 3)) 3) (pow (+ (* 1/120 (pow c 5)) c) 3))
  (+ (* (* 1/6 (pow c 3)) (* 1/6 (pow c 3))) (- (* (+ (* 1/120 (pow c 5)) c) (+ (* 1/120 (pow c 5)) c)) (* (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))))
  (- (* (* 1/6 (pow c 3)) (* 1/6 (pow c 3))) (* (+ (* 1/120 (pow c 5)) c) (+ (* 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)))
  (* (exp (* 1/120 (pow c 5))) (exp c))
  (log (+ (* 1/120 (pow c 5)) c))
  (exp (+ (* 1/120 (pow c 5)) c))
  (* (cbrt (+ (* 1/120 (pow c 5)) c)) (cbrt (+ (* 1/120 (pow c 5)) c)))
  (cbrt (+ (* 1/120 (pow c 5)) c))
  (* (* (+ (* 1/120 (pow c 5)) c) (+ (* 1/120 (pow c 5)) c)) (+ (* 1/120 (pow c 5)) c))
  (sqrt (+ (* 1/120 (pow c 5)) c))
  (sqrt (+ (* 1/120 (pow c 5)) c))
  (+ (pow (* 1/120 (pow c 5)) 3) (pow c 3))
  (+ (* (* 1/120 (pow c 5)) (* 1/120 (pow c 5))) (- (* c c) (* (* 1/120 (pow c 5)) c)))
  (- (* (* 1/120 (pow c 5)) (* 1/120 (pow c 5))) (* c c))
  (- (* 1/120 (pow c 5)) c)
  (* 1/6 (pow c 3))
  (* 1/6 (pow c 3))
  (* 1/6 (pow c 3))
  (* 1/120 (pow c 5))
  (* 1/120 (pow c 5))
  (* 1/120 (pow c 5))
  (+ (* 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))
  (+ (* 1/120 (pow c 5)) c)
  (+ (* 1/120 (pow c 5)) c)
  (+ (* 1/120 (pow c 5)) c)
29.747 * * [simplify]: Extracting # 0 : cost  0
29.747 * * [simplify]: Extracting # 1 : cost  0
29.748 * * [simplify]: Extracting # 2 : cost  0
29.748 * * [simplify]: Extracting # 3 : cost  0
29.748 * * [simplify]: Extracting # 4 : cost  0
29.749 * * [simplify]: Extracting # 5 : cost  0
29.749 * * [simplify]: Extracting # 6 : cost  0
29.749 * * [simplify]: Extracting # 7 : cost  0
29.750 * * [simplify]: iteration  0 :  132  enodes  (cost  969 )
29.933 * * [simplify]: Extracting # 0 : cost  0
29.939 * * [simplify]: Extracting # 1 : cost  0
29.940 * * [simplify]: Extracting # 2 : cost  0
29.941 * * [simplify]: Extracting # 3 : cost  0
29.942 * * [simplify]: Extracting # 4 : cost  0
29.943 * * [simplify]: iteration  1 :  361  enodes  (cost  841 )
31.131 * * [simplify]: Extracting # 0 : cost  0
31.206 * * [simplify]: Extracting # 1 : cost  0
31.222 * * [simplify]: Extracting # 2 : cost  0
31.226 * * [simplify]: Extracting # 3 : cost  0
31.241 * * [simplify]: Extracting # 4 : cost  0
31.270 * * [simplify]: iteration  2 :  1397  enodes  (cost  803 )
33.680 * * [simplify]: Extracting # 0 : cost  0
34.054 * * [simplify]: Extracting # 1 : cost  0
34.089 * * [simplify]: Extracting # 2 : cost  0
34.141 * * [simplify]: Extracting # 3 : cost  0
34.185 * * [simplify]: Extracting # 4 : cost  0
34.224 * * [simplify]: iteration done:  5001  enodes  (cost  803 )
34.315 * [simplify]: Simplified to:
  (log (* 1/6 (pow c 3)))
  (log (* 1/6 (pow c 3)))
  (log (* 1/6 (pow c 3)))
  (log (* 1/6 (pow c 3)))
  (exp (* 1/6 (pow c 3)))
  (pow (* 1/6 (pow c 3)) 3)
  (* (cbrt (* 1/6 (pow c 3))) (cbrt (* 1/6 (pow c 3))))
  (cbrt (* 1/6 (pow c 3)))
  (pow (* 1/6 (pow c 3)) 3)
  (sqrt (* 1/6 (pow c 3)))
  (sqrt (* 1/6 (pow c 3)))
  (* (sqrt 1/6) (pow (sqrt c) 3))
  (* (sqrt 1/6) (pow (sqrt c) 3))
  (* (sqrt 1/6) (pow (sqrt c) 3))
  (* (sqrt 1/6) (pow (sqrt c) 3))
  (* (sqrt 1/6) (sqrt (pow c 3)))
  (* (sqrt 1/6) (sqrt (pow c 3)))
  (* (sqrt 1/6) (pow c 3/2))
  (* (sqrt 1/6) (pow c 3/2))
  (* 1/6 (* c c))
  (* 1/6 (pow (sqrt c) 3))
  1/6
  (* 1/6 (* c c))
  (* 1/6 (* c c))
  (* 1/6 (* c c))
  (* 1/6 (pow (sqrt c) 3))
  1/6
  (* 1/6 c)
  (* 1/6 (sqrt (pow c 3)))
  1/6
  (* 1/6 (pow c 3/2))
  (* (cbrt 1/6) (pow c 3))
  (* (sqrt 1/6) (pow c 3))
  (* 1/6 (pow c 3))
  (log (* 1/120 (pow c 5)))
  (log (* 1/120 (pow c 5)))
  (log (* 1/120 (pow c 5)))
  (log (* 1/120 (pow c 5)))
  (exp (* 1/120 (pow c 5)))
  (pow (* 1/120 (pow c 5)) 3)
  (* (cbrt (* 1/120 (pow c 5))) (cbrt (* 1/120 (pow c 5))))
  (cbrt (* 1/120 (pow c 5)))
  (pow (* 1/120 (pow c 5)) 3)
  (sqrt (* 1/120 (pow c 5)))
  (sqrt (* 1/120 (pow c 5)))
  (* (sqrt 1/120) (pow (sqrt c) 5))
  (* (sqrt 1/120) (pow (sqrt c) 5))
  (* (sqrt 1/120) (sqrt (pow c 5)))
  (* (sqrt 1/120) (sqrt (pow c 5)))
  (* (sqrt 1/120) (pow c 5/2))
  (* (sqrt 1/120) (pow c 5/2))
  (* 1/120 (pow (* (cbrt c) (cbrt c)) 5))
  (* 1/120 (pow (sqrt c) 5))
  1/120
  (* 1/120 (* (cbrt (pow c 5)) (cbrt (pow c 5))))
  (* 1/120 (sqrt (pow c 5)))
  1/120
  (* (pow c 5/2) 1/120)
  (* (cbrt 1/120) (pow c 5))
  (* (sqrt 1/120) (pow c 5))
  (* 1/120 (pow c 5))
  (exp (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))
  (exp (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))
  (log (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))
  (exp (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))
  (* (cbrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (cbrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))))
  (cbrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))
  (pow (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 3)
  (sqrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))
  (sqrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))
  (+ (pow (* 1/6 (pow c 3)) 3) (pow (+ (* 1/120 (pow c 5)) c) 3))
  (+ (* (+ (* 1/120 (pow c 5)) c) (- (+ (* 1/120 (pow c 5)) c) (* 1/6 (pow c 3)))) (* 1/36 (pow c 6)))
  (- (* 1/36 (pow c 6)) (* (+ (* 1/120 (pow c 5)) c) (+ (* 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)))
  (exp (+ (* 1/120 (pow c 5)) c))
  (log (+ (* 1/120 (pow c 5)) c))
  (exp (+ (* 1/120 (pow c 5)) c))
  (* (cbrt (+ (* 1/120 (pow c 5)) c)) (cbrt (+ (* 1/120 (pow c 5)) c)))
  (cbrt (+ (* 1/120 (pow c 5)) c))
  (pow (+ (* 1/120 (pow c 5)) c) 3)
  (sqrt (+ (* 1/120 (pow c 5)) c))
  (sqrt (+ (* 1/120 (pow c 5)) c))
  (+ (pow (* 1/120 (pow c 5)) 3) (pow c 3))
  (+ (* 1/14400 (pow c 10)) (* c (- c (* 1/120 (pow c 5)))))
  (- (* 1/14400 (pow c 10)) (* c c))
  (- (* 1/120 (pow c 5)) c)
  (* 1/6 (pow c 3))
  (* 1/6 (pow c 3))
  (* 1/6 (pow c 3))
  (* 1/120 (pow c 5))
  (* 1/120 (pow c 5))
  (* 1/120 (pow c 5))
  (+ (* 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))
  (+ (* 1/120 (pow c 5)) c)
  (+ (* 1/120 (pow c 5)) c)
  (+ (* 1/120 (pow c 5)) c)
34.357 * * * [progress]: adding candidates to table
36.106 * [progress]: [Phase 3 of 3] Extracting.
36.106 * * [regime]: Finding splitpoints for: (#<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (- c (pow -2.9807307601812193e+165 2.0))))>)
36.137 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c)
36.137 * * * * [regimes]: Trying to branch on (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) from (#<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (- c (pow -2.9807307601812193e+165 2.0))))>)
36.183 * * * * [regimes]: Trying to branch on c from (#<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (- c (pow -2.9807307601812193e+165 2.0))))>)
36.205 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
36.206 * [simplify]: Simplifying:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
36.207 * * [simplify]: Extracting # 0 : cost  0
36.207 * * [simplify]: Extracting # 1 : cost  0
36.207 * * [simplify]: Extracting # 2 : cost  0
36.239 * * [simplify]: Extracting # 3 : cost  0
36.239 * * [simplify]: Extracting # 4 : cost  0
36.239 * * [simplify]: Extracting # 5 : cost  0
36.239 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
36.240 * * [simplify]: Extracting # 0 : cost  0
36.240 * * [simplify]: iteration done:  7  enodes  (cost  8 )
36.240 * [simplify]: Simplified to:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
106.218 * [regime-testing]: Baseline error score: 0.007250906363295412
106.356 * [regime-testing]: Oracle error score: 0.0032504063007875983
106.446 * [regime-testing]: End program error score: 0.007250906363295412