29.865 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.150 * * * [progress]: [2/2] Setting up program.
0.155 * [progress]: [Phase 2 of 3] Improving.
0.155 * [simplify]: Simplifying:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
0.155 * * [simplify]: Extracting # 0 : cost  0
0.155 * * [simplify]: Extracting # 1 : cost  0
0.155 * * [simplify]: Extracting # 2 : cost  0
0.156 * * [simplify]: Extracting # 3 : cost  0
0.156 * * [simplify]: Extracting # 4 : cost  0
0.156 * * [simplify]: Extracting # 5 : cost  0
0.156 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
0.159 * * [simplify]: Extracting # 0 : cost  0
0.159 * * [simplify]: Extracting # 1 : cost  0
0.159 * * [simplify]: Extracting # 2 : cost  0
0.159 * * [simplify]: Extracting # 3 : cost  0
0.159 * * [simplify]: Extracting # 4 : cost  0
0.159 * * [simplify]: Extracting # 5 : cost  0
0.159 * * [simplify]: iteration  1 :  18  enodes  (cost  8 )
0.166 * * [simplify]: Extracting # 0 : cost  0
0.166 * * [simplify]: Extracting # 1 : cost  0
0.167 * * [simplify]: Extracting # 2 : cost  0
0.167 * * [simplify]: Extracting # 3 : cost  0
0.167 * * [simplify]: iteration  2 :  34  enodes  (cost  8 )
0.224 * * [simplify]: Extracting # 0 : cost  0
0.224 * * [simplify]: Extracting # 1 : cost  0
0.224 * * [simplify]: Extracting # 2 : cost  0
0.224 * * [simplify]: Extracting # 3 : cost  0
0.224 * * [simplify]: Extracting # 4 : cost  0
0.225 * * [simplify]: iteration  3 :  71  enodes  (cost  8 )
0.258 * * [simplify]: Extracting # 0 : cost  0
0.259 * * [simplify]: Extracting # 1 : cost  0
0.259 * * [simplify]: Extracting # 2 : cost  0
0.259 * * [simplify]: Extracting # 3 : cost  0
0.259 * * [simplify]: Extracting # 4 : cost  0
0.260 * * [simplify]: iteration  4 :  151  enodes  (cost  8 )
0.371 * * [simplify]: Extracting # 0 : cost  0
0.372 * * [simplify]: Extracting # 1 : cost  0
0.372 * * [simplify]: Extracting # 2 : cost  0
0.373 * * [simplify]: Extracting # 3 : cost  0
0.374 * * [simplify]: Extracting # 4 : cost  0
0.374 * * [simplify]: iteration  5 :  360  enodes  (cost  8 )
0.805 * * [simplify]: Extracting # 0 : cost  0
0.806 * * [simplify]: Extracting # 1 : cost  0
0.807 * * [simplify]: Extracting # 2 : cost  0
0.807 * * [simplify]: Extracting # 3 : cost  0
0.808 * * [simplify]: Extracting # 4 : cost  0
0.809 * * [simplify]: iteration  6 :  1154  enodes  (cost  8 )
4.549 * * [simplify]: Extracting # 0 : cost  0
4.558 * * [simplify]: Extracting # 1 : cost  0
4.564 * * [simplify]: Extracting # 2 : cost  0
4.569 * * [simplify]: Extracting # 3 : cost  0
4.575 * * [simplify]: Extracting # 4 : cost  0
4.580 * * [simplify]: iteration  7 :  4429  enodes  (cost  8 )
7.419 * * [simplify]: Extracting # 0 : cost  0
7.427 * * [simplify]: Extracting # 1 : cost  0
7.434 * * [simplify]: Extracting # 2 : cost  0
7.441 * * [simplify]: Extracting # 3 : cost  0
7.448 * * [simplify]: iteration done:  5001  enodes  (cost  8 )
7.448 * [simplify]: Simplified to:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
7.449 * * [progress]: iteration 1 / 4
7.449 * * * [progress]: picking best candidate
7.453 * * * * [pick]: Picked  #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))>
7.453 * * * [progress]: localizing error
7.471 * * * [progress]: generating rewritten candidates
7.471 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
7.474 * * * [progress]: generating series expansions
7.474 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
7.475 * [backup-simplify]: Simplify (sinh c) into (sinh c)
7.475 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
7.475 * [taylor]: Taking taylor expansion of (sinh c) in c
7.475 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
7.475 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
7.475 * [taylor]: Taking taylor expansion of (exp c) in c
7.475 * [taylor]: Taking taylor expansion of c in c
7.475 * [backup-simplify]: Simplify 0 into 0
7.475 * [backup-simplify]: Simplify 1 into 1
7.475 * [backup-simplify]: Simplify (exp 0) into 1
7.475 * [taylor]: Taking taylor expansion of (exp (- c)) in c
7.475 * [taylor]: Taking taylor expansion of (- c) in c
7.475 * [taylor]: Taking taylor expansion of c in c
7.475 * [backup-simplify]: Simplify 0 into 0
7.475 * [backup-simplify]: Simplify 1 into 1
7.476 * [backup-simplify]: Simplify (- 0) into 0
7.476 * [backup-simplify]: Simplify (- 1) into -1
7.476 * [backup-simplify]: Simplify (exp 0) into 1
7.476 * [taylor]: Taking taylor expansion of 2 in c
7.476 * [backup-simplify]: Simplify 2 into 2
7.477 * [backup-simplify]: Simplify (- 1) into -1
7.477 * [backup-simplify]: Simplify (+ 1 -1) into 0
7.478 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
7.479 * [backup-simplify]: Simplify (- 1) into -1
7.480 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
7.481 * [backup-simplify]: Simplify (- -1) into 1
7.481 * [backup-simplify]: Simplify (+ 1 1) into 2
7.481 * [backup-simplify]: Simplify (/ 2 2) into 1
7.481 * [taylor]: Taking taylor expansion of (sinh c) in c
7.482 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
7.482 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
7.482 * [taylor]: Taking taylor expansion of (exp c) in c
7.482 * [taylor]: Taking taylor expansion of c in c
7.482 * [backup-simplify]: Simplify 0 into 0
7.482 * [backup-simplify]: Simplify 1 into 1
7.482 * [backup-simplify]: Simplify (exp 0) into 1
7.482 * [taylor]: Taking taylor expansion of (exp (- c)) in c
7.482 * [taylor]: Taking taylor expansion of (- c) in c
7.482 * [taylor]: Taking taylor expansion of c in c
7.482 * [backup-simplify]: Simplify 0 into 0
7.482 * [backup-simplify]: Simplify 1 into 1
7.482 * [backup-simplify]: Simplify (- 0) into 0
7.483 * [backup-simplify]: Simplify (- 1) into -1
7.483 * [backup-simplify]: Simplify (exp 0) into 1
7.483 * [taylor]: Taking taylor expansion of 2 in c
7.483 * [backup-simplify]: Simplify 2 into 2
7.483 * [backup-simplify]: Simplify (- 1) into -1
7.484 * [backup-simplify]: Simplify (+ 1 -1) into 0
7.485 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
7.485 * [backup-simplify]: Simplify (- 1) into -1
7.486 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
7.487 * [backup-simplify]: Simplify (- -1) into 1
7.487 * [backup-simplify]: Simplify (+ 1 1) into 2
7.487 * [backup-simplify]: Simplify (/ 2 2) into 1
7.488 * [backup-simplify]: Simplify 1 into 1
7.489 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
7.490 * [backup-simplify]: Simplify (- 1) into -1
7.490 * [backup-simplify]: Simplify (- 0) into 0
7.492 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
7.493 * [backup-simplify]: Simplify (- 1/2) into -1/2
7.493 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
7.493 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
7.493 * [backup-simplify]: Simplify 0 into 0
7.495 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
7.495 * [backup-simplify]: Simplify (- 1) into -1
7.496 * [backup-simplify]: Simplify (- 1) into -1
7.496 * [backup-simplify]: Simplify (- 0) into 0
7.496 * [backup-simplify]: Simplify (- 0) into 0
7.497 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
7.498 * [backup-simplify]: Simplify (- -1/6) into 1/6
7.504 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
7.505 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
7.505 * [backup-simplify]: Simplify 1/6 into 1/6
7.508 * [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
7.508 * [backup-simplify]: Simplify (- 1) into -1
7.509 * [backup-simplify]: Simplify (- 1) into -1
7.509 * [backup-simplify]: Simplify (- 0) into 0
7.509 * [backup-simplify]: Simplify (- 1) into -1
7.509 * [backup-simplify]: Simplify (- 0) into 0
7.510 * [backup-simplify]: Simplify (- 0) into 0
7.510 * [backup-simplify]: Simplify (- 0) into 0
7.512 * [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
7.513 * [backup-simplify]: Simplify (- 1/24) into -1/24
7.513 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
7.514 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
7.514 * [backup-simplify]: Simplify 0 into 0
7.517 * [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
7.518 * [backup-simplify]: Simplify (- 1) into -1
7.518 * [backup-simplify]: Simplify (- 1) into -1
7.518 * [backup-simplify]: Simplify (- 0) into 0
7.519 * [backup-simplify]: Simplify (- 1) into -1
7.519 * [backup-simplify]: Simplify (- 0) into 0
7.519 * [backup-simplify]: Simplify (- 1) into -1
7.519 * [backup-simplify]: Simplify (- 0) into 0
7.519 * [backup-simplify]: Simplify (- 1) into -1
7.520 * [backup-simplify]: Simplify (- 0) into 0
7.520 * [backup-simplify]: Simplify (- 0) into 0
7.520 * [backup-simplify]: Simplify (- 0) into 0
7.520 * [backup-simplify]: Simplify (- 0) into 0
7.524 * [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
7.524 * [backup-simplify]: Simplify (- -1/120) into 1/120
7.524 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
7.525 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
7.525 * [backup-simplify]: Simplify 1/120 into 1/120
7.526 * [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))
7.527 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c))
7.527 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
7.527 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
7.527 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
7.527 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
7.527 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
7.527 * [taylor]: Taking taylor expansion of (/ 1 c) in c
7.527 * [taylor]: Taking taylor expansion of c in c
7.527 * [backup-simplify]: Simplify 0 into 0
7.527 * [backup-simplify]: Simplify 1 into 1
7.527 * [backup-simplify]: Simplify (/ 1 1) into 1
7.527 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
7.527 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
7.527 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
7.527 * [taylor]: Taking taylor expansion of (/ 1 c) in c
7.527 * [taylor]: Taking taylor expansion of c in c
7.527 * [backup-simplify]: Simplify 0 into 0
7.528 * [backup-simplify]: Simplify 1 into 1
7.528 * [backup-simplify]: Simplify (/ 1 1) into 1
7.528 * [backup-simplify]: Simplify (- 1) into -1
7.528 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
7.528 * [taylor]: Taking taylor expansion of 2 in c
7.528 * [backup-simplify]: Simplify 2 into 2
7.528 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
7.529 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
7.529 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
7.529 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
7.529 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
7.529 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
7.529 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
7.529 * [taylor]: Taking taylor expansion of (/ 1 c) in c
7.529 * [taylor]: Taking taylor expansion of c in c
7.529 * [backup-simplify]: Simplify 0 into 0
7.529 * [backup-simplify]: Simplify 1 into 1
7.529 * [backup-simplify]: Simplify (/ 1 1) into 1
7.530 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
7.530 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
7.530 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
7.530 * [taylor]: Taking taylor expansion of (/ 1 c) in c
7.530 * [taylor]: Taking taylor expansion of c in c
7.530 * [backup-simplify]: Simplify 0 into 0
7.530 * [backup-simplify]: Simplify 1 into 1
7.530 * [backup-simplify]: Simplify (/ 1 1) into 1
7.530 * [backup-simplify]: Simplify (- 1) into -1
7.530 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
7.531 * [taylor]: Taking taylor expansion of 2 in c
7.531 * [backup-simplify]: Simplify 2 into 2
7.531 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
7.531 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
7.531 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
7.531 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
7.532 * [backup-simplify]: Simplify (- 0) into 0
7.532 * [backup-simplify]: Simplify (+ 0 0) into 0
7.533 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
7.533 * [backup-simplify]: Simplify 0 into 0
7.533 * [backup-simplify]: Simplify (- 0) into 0
7.534 * [backup-simplify]: Simplify (+ 0 0) into 0
7.535 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
7.535 * [backup-simplify]: Simplify 0 into 0
7.535 * [backup-simplify]: Simplify (- 0) into 0
7.536 * [backup-simplify]: Simplify (+ 0 0) into 0
7.537 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
7.537 * [backup-simplify]: Simplify 0 into 0
7.538 * [backup-simplify]: Simplify (- 0) into 0
7.538 * [backup-simplify]: Simplify (+ 0 0) into 0
7.540 * [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
7.540 * [backup-simplify]: Simplify 0 into 0
7.541 * [backup-simplify]: Simplify (- 0) into 0
7.541 * [backup-simplify]: Simplify (+ 0 0) into 0
7.544 * [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
7.544 * [backup-simplify]: Simplify 0 into 0
7.544 * [backup-simplify]: Simplify (- 0) into 0
7.544 * [backup-simplify]: Simplify (+ 0 0) into 0
7.547 * [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
7.547 * [backup-simplify]: Simplify 0 into 0
7.548 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
7.548 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c))
7.548 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
7.548 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
7.548 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
7.548 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
7.548 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
7.548 * [taylor]: Taking taylor expansion of (/ -1 c) in c
7.548 * [taylor]: Taking taylor expansion of -1 in c
7.548 * [backup-simplify]: Simplify -1 into -1
7.548 * [taylor]: Taking taylor expansion of c in c
7.548 * [backup-simplify]: Simplify 0 into 0
7.548 * [backup-simplify]: Simplify 1 into 1
7.549 * [backup-simplify]: Simplify (/ -1 1) into -1
7.549 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
7.549 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
7.549 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
7.549 * [taylor]: Taking taylor expansion of (/ -1 c) in c
7.549 * [taylor]: Taking taylor expansion of -1 in c
7.549 * [backup-simplify]: Simplify -1 into -1
7.549 * [taylor]: Taking taylor expansion of c in c
7.549 * [backup-simplify]: Simplify 0 into 0
7.549 * [backup-simplify]: Simplify 1 into 1
7.549 * [backup-simplify]: Simplify (/ -1 1) into -1
7.550 * [backup-simplify]: Simplify (- -1) into 1
7.550 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
7.550 * [taylor]: Taking taylor expansion of 2 in c
7.550 * [backup-simplify]: Simplify 2 into 2
7.550 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
7.550 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
7.550 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
7.550 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
7.550 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
7.550 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
7.550 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
7.550 * [taylor]: Taking taylor expansion of (/ -1 c) in c
7.551 * [taylor]: Taking taylor expansion of -1 in c
7.551 * [backup-simplify]: Simplify -1 into -1
7.551 * [taylor]: Taking taylor expansion of c in c
7.551 * [backup-simplify]: Simplify 0 into 0
7.551 * [backup-simplify]: Simplify 1 into 1
7.551 * [backup-simplify]: Simplify (/ -1 1) into -1
7.551 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
7.551 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
7.551 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
7.551 * [taylor]: Taking taylor expansion of (/ -1 c) in c
7.551 * [taylor]: Taking taylor expansion of -1 in c
7.551 * [backup-simplify]: Simplify -1 into -1
7.551 * [taylor]: Taking taylor expansion of c in c
7.551 * [backup-simplify]: Simplify 0 into 0
7.551 * [backup-simplify]: Simplify 1 into 1
7.552 * [backup-simplify]: Simplify (/ -1 1) into -1
7.552 * [backup-simplify]: Simplify (- -1) into 1
7.552 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
7.552 * [taylor]: Taking taylor expansion of 2 in c
7.552 * [backup-simplify]: Simplify 2 into 2
7.552 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
7.553 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
7.553 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
7.553 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
7.553 * [backup-simplify]: Simplify (- 0) into 0
7.554 * [backup-simplify]: Simplify (+ 0 0) into 0
7.555 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
7.555 * [backup-simplify]: Simplify 0 into 0
7.555 * [backup-simplify]: Simplify (- 0) into 0
7.555 * [backup-simplify]: Simplify (+ 0 0) into 0
7.557 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
7.557 * [backup-simplify]: Simplify 0 into 0
7.557 * [backup-simplify]: Simplify (- 0) into 0
7.557 * [backup-simplify]: Simplify (+ 0 0) into 0
7.559 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
7.559 * [backup-simplify]: Simplify 0 into 0
7.559 * [backup-simplify]: Simplify (- 0) into 0
7.560 * [backup-simplify]: Simplify (+ 0 0) into 0
7.562 * [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
7.562 * [backup-simplify]: Simplify 0 into 0
7.562 * [backup-simplify]: Simplify (- 0) into 0
7.563 * [backup-simplify]: Simplify (+ 0 0) into 0
7.565 * [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
7.566 * [backup-simplify]: Simplify 0 into 0
7.566 * [backup-simplify]: Simplify (- 0) into 0
7.566 * [backup-simplify]: Simplify (+ 0 0) into 0
7.569 * [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
7.569 * [backup-simplify]: Simplify 0 into 0
7.570 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
7.570 * * * [progress]: simplifying candidates
7.570 * [simplify]: Simplifying:
  (expm1 (sinh c))
  (log1p (sinh c))
  (- (exp c) (exp (- c)))
  (log (sinh c))
  (exp (sinh c))
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (* (* (sinh c) (sinh c)) (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (* 1/2 (- (exp c) (exp (- c))))
  (* 1/2 (- (exp c) (exp (* -1 c))))
7.571 * * [simplify]: Extracting # 0 : cost  0
7.571 * * [simplify]: Extracting # 1 : cost  0
7.571 * * [simplify]: Extracting # 2 : cost  0
7.571 * * [simplify]: Extracting # 3 : cost  0
7.571 * * [simplify]: Extracting # 4 : cost  0
7.571 * * [simplify]: Extracting # 5 : cost  0
7.571 * * [simplify]: Extracting # 6 : cost  0
7.571 * * [simplify]: Extracting # 7 : cost  0
7.571 * * [simplify]: Extracting # 8 : cost  0
7.571 * * [simplify]: iteration  0 :  32  enodes  (cost  72 )
7.582 * * [simplify]: Extracting # 0 : cost  0
7.582 * * [simplify]: Extracting # 1 : cost  0
7.582 * * [simplify]: Extracting # 2 : cost  0
7.582 * * [simplify]: Extracting # 3 : cost  0
7.582 * * [simplify]: Extracting # 4 : cost  0
7.582 * * [simplify]: iteration  1 :  62  enodes  (cost  69 )
7.603 * * [simplify]: Extracting # 0 : cost  0
7.603 * * [simplify]: Extracting # 1 : cost  0
7.604 * * [simplify]: Extracting # 2 : cost  0
7.604 * * [simplify]: Extracting # 3 : cost  0
7.604 * * [simplify]: iteration  2 :  133  enodes  (cost  65 )
7.656 * * [simplify]: Extracting # 0 : cost  0
7.656 * * [simplify]: Extracting # 1 : cost  0
7.657 * * [simplify]: Extracting # 2 : cost  0
7.657 * * [simplify]: Extracting # 3 : cost  0
7.657 * * [simplify]: iteration  3 :  289  enodes  (cost  65 )
7.757 * * [simplify]: Extracting # 0 : cost  0
7.758 * * [simplify]: Extracting # 1 : cost  0
7.760 * * [simplify]: Extracting # 2 : cost  0
7.761 * * [simplify]: Extracting # 3 : cost  0
7.762 * * [simplify]: Extracting # 4 : cost  0
7.764 * * [simplify]: iteration  4 :  679  enodes  (cost  65 )
8.629 * * [simplify]: Extracting # 0 : cost  0
8.636 * * [simplify]: Extracting # 1 : cost  0
8.642 * * [simplify]: Extracting # 2 : cost  0
8.647 * * [simplify]: Extracting # 3 : cost  0
8.652 * * [simplify]: Extracting # 4 : cost  0
8.658 * * [simplify]: iteration  5 :  2680  enodes  (cost  65 )
10.198 * * [simplify]: Extracting # 0 : cost  0
10.208 * * [simplify]: Extracting # 1 : cost  0
10.219 * * [simplify]: Extracting # 2 : cost  0
10.238 * * [simplify]: Extracting # 3 : cost  0
10.248 * * [simplify]: Extracting # 4 : cost  0
10.258 * * [simplify]: iteration done:  5000  enodes  (cost  65 )
10.258 * [simplify]: Simplified to:
  (expm1 (sinh c))
  (log1p (sinh c))
  (- (exp c) (exp (- c)))
  (log (sinh c))
  (exp (sinh c))
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (pow (sinh c) 3)
  (sqrt (sinh c))
  (sqrt (sinh c))
  (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))
  (* 1/2 (- (exp c) (exp (- c))))
  (* 1/2 (- (exp c) (exp (- c))))
10.258 * * * [progress]: adding candidates to table
10.329 * * [progress]: iteration 2 / 4
10.330 * * * [progress]: picking best candidate
10.341 * * * * [pick]: Picked  #<alt (λ (c) (fmod (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (- c (pow -2.9807307601812193e+165 2.0))))>
10.341 * * * [progress]: localizing error
10.372 * * * [progress]: generating rewritten candidates
10.372 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
10.373 * * * [progress]: generating series expansions
10.373 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
10.373 * [backup-simplify]: Simplify (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) into (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))
10.373 * [approximate]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in (c) around 0
10.373 * [taylor]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in c
10.373 * [taylor]: Rewrote expression to (+ (* 1/6 (pow c 3)) (fma 1/120 (pow c 5) c))
10.373 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c
10.373 * [taylor]: Taking taylor expansion of 1/6 in c
10.373 * [backup-simplify]: Simplify 1/6 into 1/6
10.374 * [taylor]: Taking taylor expansion of (pow c 3) in c
10.374 * [taylor]: Taking taylor expansion of c in c
10.374 * [backup-simplify]: Simplify 0 into 0
10.374 * [backup-simplify]: Simplify 1 into 1
10.374 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c
10.374 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c)
10.374 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c
10.374 * [taylor]: Taking taylor expansion of 1/120 in c
10.374 * [backup-simplify]: Simplify 1/120 into 1/120
10.374 * [taylor]: Taking taylor expansion of (pow c 5) in c
10.374 * [taylor]: Taking taylor expansion of c in c
10.374 * [backup-simplify]: Simplify 0 into 0
10.374 * [backup-simplify]: Simplify 1 into 1
10.374 * [taylor]: Taking taylor expansion of c in c
10.374 * [backup-simplify]: Simplify 0 into 0
10.374 * [backup-simplify]: Simplify 1 into 1
10.374 * [taylor]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in c
10.375 * [taylor]: Rewrote expression to (+ (* 1/6 (pow c 3)) (fma 1/120 (pow c 5) c))
10.375 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c
10.375 * [taylor]: Taking taylor expansion of 1/6 in c
10.375 * [backup-simplify]: Simplify 1/6 into 1/6
10.375 * [taylor]: Taking taylor expansion of (pow c 3) in c
10.375 * [taylor]: Taking taylor expansion of c in c
10.375 * [backup-simplify]: Simplify 0 into 0
10.375 * [backup-simplify]: Simplify 1 into 1
10.375 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c
10.375 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c)
10.375 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c
10.375 * [taylor]: Taking taylor expansion of 1/120 in c
10.375 * [backup-simplify]: Simplify 1/120 into 1/120
10.375 * [taylor]: Taking taylor expansion of (pow c 5) in c
10.375 * [taylor]: Taking taylor expansion of c in c
10.375 * [backup-simplify]: Simplify 0 into 0
10.375 * [backup-simplify]: Simplify 1 into 1
10.375 * [taylor]: Taking taylor expansion of c in c
10.375 * [backup-simplify]: Simplify 0 into 0
10.375 * [backup-simplify]: Simplify 1 into 1
10.376 * [backup-simplify]: Simplify (+ 0 0) into 0
10.377 * [backup-simplify]: Simplify (+ 0 0) into 0
10.377 * [backup-simplify]: Simplify 0 into 0
10.377 * [backup-simplify]: Simplify (+ 0 1) into 1
10.377 * [backup-simplify]: Simplify (+ 0 1) into 1
10.377 * [backup-simplify]: Simplify 1 into 1
10.378 * [backup-simplify]: Simplify (+ 0 0) into 0
10.378 * [backup-simplify]: Simplify (+ 0 0) into 0
10.378 * [backup-simplify]: Simplify 0 into 0
10.379 * [backup-simplify]: Simplify (* 1 1) into 1
10.379 * [backup-simplify]: Simplify (* 1 1) into 1
10.380 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
10.380 * [backup-simplify]: Simplify (+ 0 0) into 0
10.381 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
10.381 * [backup-simplify]: Simplify 1/6 into 1/6
10.381 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.382 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.383 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
10.383 * [backup-simplify]: Simplify (+ 0 0) into 0
10.383 * [backup-simplify]: Simplify (+ 0 0) into 0
10.383 * [backup-simplify]: Simplify 0 into 0
10.384 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.386 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
10.386 * [backup-simplify]: Simplify (* 1 1) into 1
10.387 * [backup-simplify]: Simplify (* 1 1) into 1
10.387 * [backup-simplify]: Simplify (* 1 1) into 1
10.388 * [backup-simplify]: Simplify (* 1/120 1) into 1/120
10.388 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120
10.388 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120
10.388 * [backup-simplify]: Simplify 1/120 into 1/120
10.389 * [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))
10.389 * [backup-simplify]: Simplify (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) into (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))
10.389 * [approximate]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in (c) around 0
10.389 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c
10.389 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 c) 3)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))
10.389 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 c) 3)) in c
10.389 * [taylor]: Taking taylor expansion of 1/6 in c
10.389 * [backup-simplify]: Simplify 1/6 into 1/6
10.389 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 3) in c
10.389 * [taylor]: Taking taylor expansion of (/ 1 c) in c
10.389 * [taylor]: Taking taylor expansion of c in c
10.389 * [backup-simplify]: Simplify 0 into 0
10.389 * [backup-simplify]: Simplify 1 into 1
10.390 * [backup-simplify]: Simplify (/ 1 1) into 1
10.390 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c
10.390 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c))
10.390 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c
10.390 * [taylor]: Taking taylor expansion of 1/120 in c
10.390 * [backup-simplify]: Simplify 1/120 into 1/120
10.390 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c
10.390 * [taylor]: Taking taylor expansion of (/ 1 c) in c
10.390 * [taylor]: Taking taylor expansion of c in c
10.390 * [backup-simplify]: Simplify 0 into 0
10.390 * [backup-simplify]: Simplify 1 into 1
10.390 * [backup-simplify]: Simplify (/ 1 1) into 1
10.390 * [taylor]: Taking taylor expansion of (/ 1 c) in c
10.390 * [taylor]: Taking taylor expansion of c in c
10.390 * [backup-simplify]: Simplify 0 into 0
10.390 * [backup-simplify]: Simplify 1 into 1
10.391 * [backup-simplify]: Simplify (/ 1 1) into 1
10.391 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c
10.391 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 c) 3)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))
10.391 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 c) 3)) in c
10.391 * [taylor]: Taking taylor expansion of 1/6 in c
10.391 * [backup-simplify]: Simplify 1/6 into 1/6
10.391 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 3) in c
10.391 * [taylor]: Taking taylor expansion of (/ 1 c) in c
10.391 * [taylor]: Taking taylor expansion of c in c
10.391 * [backup-simplify]: Simplify 0 into 0
10.391 * [backup-simplify]: Simplify 1 into 1
10.391 * [backup-simplify]: Simplify (/ 1 1) into 1
10.391 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c
10.391 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c))
10.391 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c
10.391 * [taylor]: Taking taylor expansion of 1/120 in c
10.391 * [backup-simplify]: Simplify 1/120 into 1/120
10.391 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c
10.391 * [taylor]: Taking taylor expansion of (/ 1 c) in c
10.391 * [taylor]: Taking taylor expansion of c in c
10.391 * [backup-simplify]: Simplify 0 into 0
10.391 * [backup-simplify]: Simplify 1 into 1
10.392 * [backup-simplify]: Simplify (/ 1 1) into 1
10.392 * [taylor]: Taking taylor expansion of (/ 1 c) in c
10.392 * [taylor]: Taking taylor expansion of c in c
10.392 * [backup-simplify]: Simplify 0 into 0
10.392 * [backup-simplify]: Simplify 1 into 1
10.392 * [backup-simplify]: Simplify (/ 1 1) into 1
10.392 * [backup-simplify]: Simplify (* 1 1) into 1
10.392 * [backup-simplify]: Simplify (* 1 1) into 1
10.393 * [backup-simplify]: Simplify (* 1 1) into 1
10.393 * [backup-simplify]: Simplify (* 1/120 1) into 1/120
10.393 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120
10.393 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120
10.393 * [backup-simplify]: Simplify 1/120 into 1/120
10.394 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.394 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.395 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.395 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.395 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0
10.396 * [backup-simplify]: Simplify (+ 0 0) into 0
10.396 * [backup-simplify]: Simplify (+ 0 0) into 0
10.396 * [backup-simplify]: Simplify 0 into 0
10.396 * [backup-simplify]: Simplify (* 1 1) into 1
10.396 * [backup-simplify]: Simplify (* 1 1) into 1
10.397 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
10.397 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.398 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.398 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.399 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.399 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0
10.399 * [backup-simplify]: Simplify (+ 0 0) into 0
10.400 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
10.400 * [backup-simplify]: Simplify 1/6 into 1/6
10.400 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.400 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.401 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.401 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
10.402 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.402 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.403 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.403 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.404 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.404 * [backup-simplify]: Simplify (+ 0 0) into 0
10.404 * [backup-simplify]: Simplify (+ 0 0) into 0
10.404 * [backup-simplify]: Simplify 0 into 0
10.405 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.405 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.406 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.406 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
10.407 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.408 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.408 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.410 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.410 * [backup-simplify]: Simplify (+ 0 1) into 1
10.410 * [backup-simplify]: Simplify (+ 0 1) into 1
10.410 * [backup-simplify]: Simplify 1 into 1
10.411 * [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))
10.411 * [backup-simplify]: Simplify (fma 1/6 (pow (/ 1 (- c)) 3) (fma 1/120 (pow (/ 1 (- c)) 5) (/ 1 (- c)))) into (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))
10.411 * [approximate]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in (c) around 0
10.411 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c
10.411 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 c) 3)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))
10.411 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 c) 3)) in c
10.411 * [taylor]: Taking taylor expansion of 1/6 in c
10.411 * [backup-simplify]: Simplify 1/6 into 1/6
10.411 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 3) in c
10.411 * [taylor]: Taking taylor expansion of (/ -1 c) in c
10.411 * [taylor]: Taking taylor expansion of -1 in c
10.411 * [backup-simplify]: Simplify -1 into -1
10.411 * [taylor]: Taking taylor expansion of c in c
10.411 * [backup-simplify]: Simplify 0 into 0
10.411 * [backup-simplify]: Simplify 1 into 1
10.411 * [backup-simplify]: Simplify (/ -1 1) into -1
10.411 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c
10.412 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c))
10.412 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c
10.412 * [taylor]: Taking taylor expansion of 1/120 in c
10.412 * [backup-simplify]: Simplify 1/120 into 1/120
10.412 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c
10.412 * [taylor]: Taking taylor expansion of (/ -1 c) in c
10.412 * [taylor]: Taking taylor expansion of -1 in c
10.412 * [backup-simplify]: Simplify -1 into -1
10.412 * [taylor]: Taking taylor expansion of c in c
10.412 * [backup-simplify]: Simplify 0 into 0
10.412 * [backup-simplify]: Simplify 1 into 1
10.412 * [backup-simplify]: Simplify (/ -1 1) into -1
10.412 * [taylor]: Taking taylor expansion of (/ -1 c) in c
10.412 * [taylor]: Taking taylor expansion of -1 in c
10.412 * [backup-simplify]: Simplify -1 into -1
10.412 * [taylor]: Taking taylor expansion of c in c
10.412 * [backup-simplify]: Simplify 0 into 0
10.412 * [backup-simplify]: Simplify 1 into 1
10.412 * [backup-simplify]: Simplify (/ -1 1) into -1
10.412 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c
10.413 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 c) 3)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))
10.413 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 c) 3)) in c
10.413 * [taylor]: Taking taylor expansion of 1/6 in c
10.413 * [backup-simplify]: Simplify 1/6 into 1/6
10.413 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 3) in c
10.413 * [taylor]: Taking taylor expansion of (/ -1 c) in c
10.413 * [taylor]: Taking taylor expansion of -1 in c
10.413 * [backup-simplify]: Simplify -1 into -1
10.413 * [taylor]: Taking taylor expansion of c in c
10.413 * [backup-simplify]: Simplify 0 into 0
10.413 * [backup-simplify]: Simplify 1 into 1
10.413 * [backup-simplify]: Simplify (/ -1 1) into -1
10.413 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c
10.413 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c))
10.413 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c
10.413 * [taylor]: Taking taylor expansion of 1/120 in c
10.413 * [backup-simplify]: Simplify 1/120 into 1/120
10.413 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c
10.413 * [taylor]: Taking taylor expansion of (/ -1 c) in c
10.413 * [taylor]: Taking taylor expansion of -1 in c
10.413 * [backup-simplify]: Simplify -1 into -1
10.413 * [taylor]: Taking taylor expansion of c in c
10.413 * [backup-simplify]: Simplify 0 into 0
10.413 * [backup-simplify]: Simplify 1 into 1
10.414 * [backup-simplify]: Simplify (/ -1 1) into -1
10.414 * [taylor]: Taking taylor expansion of (/ -1 c) in c
10.414 * [taylor]: Taking taylor expansion of -1 in c
10.414 * [backup-simplify]: Simplify -1 into -1
10.414 * [taylor]: Taking taylor expansion of c in c
10.414 * [backup-simplify]: Simplify 0 into 0
10.414 * [backup-simplify]: Simplify 1 into 1
10.414 * [backup-simplify]: Simplify (/ -1 1) into -1
10.414 * [backup-simplify]: Simplify (* -1 -1) into 1
10.414 * [backup-simplify]: Simplify (* 1 1) into 1
10.415 * [backup-simplify]: Simplify (* -1 1) into -1
10.415 * [backup-simplify]: Simplify (* 1/120 -1) into -1/120
10.415 * [backup-simplify]: Simplify (+ -1/120 0) into -1/120
10.415 * [backup-simplify]: Simplify (+ 0 -1/120) into -1/120
10.415 * [backup-simplify]: Simplify -1/120 into -1/120
10.416 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
10.416 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
10.417 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.417 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0
10.418 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 -1)) into 0
10.418 * [backup-simplify]: Simplify (+ 0 0) into 0
10.419 * [backup-simplify]: Simplify (+ 0 0) into 0
10.419 * [backup-simplify]: Simplify 0 into 0
10.419 * [backup-simplify]: Simplify (* -1 -1) into 1
10.420 * [backup-simplify]: Simplify (* -1 1) into -1
10.420 * [backup-simplify]: Simplify (* 1/6 -1) into -1/6
10.421 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.422 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
10.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.424 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0
10.425 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 -1))) into 0
10.425 * [backup-simplify]: Simplify (+ 0 0) into 0
10.426 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
10.426 * [backup-simplify]: Simplify -1/6 into -1/6
10.426 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
10.427 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
10.428 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0
10.429 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 -1)) into 0
10.430 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.431 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
10.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.433 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.434 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
10.434 * [backup-simplify]: Simplify (+ 0 0) into 0
10.435 * [backup-simplify]: Simplify (+ 0 0) into 0
10.435 * [backup-simplify]: Simplify 0 into 0
10.436 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.437 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
10.438 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0
10.439 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 -1))) into 0
10.440 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.441 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
10.442 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.444 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.445 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
10.446 * [backup-simplify]: Simplify (+ 0 -1) into -1
10.446 * [backup-simplify]: Simplify (+ 0 -1) into -1
10.446 * [backup-simplify]: Simplify -1 into -1
10.447 * [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))
10.447 * * * [progress]: simplifying candidates
10.448 * [simplify]: Simplifying:
  (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (log1p (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (* 1/6 (pow c 3))
  (log (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (* (cbrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (cbrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))
  (cbrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (* (* (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (sqrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (sqrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
10.448 * * [simplify]: Extracting # 0 : cost  0
10.448 * * [simplify]: Extracting # 1 : cost  0
10.448 * * [simplify]: Extracting # 2 : cost  0
10.448 * * [simplify]: Extracting # 3 : cost  0
10.448 * * [simplify]: Extracting # 4 : cost  0
10.448 * * [simplify]: Extracting # 5 : cost  0
10.448 * * [simplify]: Extracting # 6 : cost  0
10.449 * * [simplify]: Extracting # 7 : cost  0
10.449 * * [simplify]: Extracting # 8 : cost  0
10.449 * * [simplify]: iteration  0 :  22  enodes  (cost  188 )
10.463 * * [simplify]: Extracting # 0 : cost  0
10.463 * * [simplify]: Extracting # 1 : cost  0
10.463 * * [simplify]: Extracting # 2 : cost  0
10.463 * * [simplify]: Extracting # 3 : cost  0
10.463 * * [simplify]: Extracting # 4 : cost  0
10.463 * * [simplify]: iteration  1 :  42  enodes  (cost  182 )
10.473 * * [simplify]: Extracting # 0 : cost  0
10.473 * * [simplify]: Extracting # 1 : cost  0
10.473 * * [simplify]: Extracting # 2 : cost  0
10.473 * * [simplify]: Extracting # 3 : cost  0
10.473 * * [simplify]: iteration  2 :  116  enodes  (cost  160 )
10.537 * * [simplify]: Extracting # 0 : cost  0
10.538 * * [simplify]: Extracting # 1 : cost  0
10.539 * * [simplify]: Extracting # 2 : cost  0
10.539 * * [simplify]: Extracting # 3 : cost  0
10.540 * * [simplify]: Extracting # 4 : cost  0
10.540 * * [simplify]: iteration  3 :  558  enodes  (cost  160 )
11.920 * * [simplify]: Extracting # 0 : cost  0
11.928 * * [simplify]: Extracting # 1 : cost  0
11.935 * * [simplify]: Extracting # 2 : cost  0
11.941 * * [simplify]: Extracting # 3 : cost  0
11.948 * * [simplify]: Extracting # 4 : cost  0
11.954 * * [simplify]: Extracting # 5 : cost  0
11.961 * * [simplify]: iteration  4 :  3920  enodes  (cost  160 )
14.460 * * [simplify]: Extracting # 0 : cost  0
14.465 * * [simplify]: Extracting # 1 : cost  0
14.470 * * [simplify]: iteration done:  5000  enodes  (cost  160 )
14.470 * [simplify]: Simplified to:
  (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (log1p (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (* 1/6 (pow c 3))
  (log (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (* (cbrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (cbrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))
  (cbrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (pow (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) 3)
  (sqrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (sqrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))
  (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))
  (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))
  (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))
14.470 * * * [progress]: adding candidates to table
14.518 * * [progress]: iteration 3 / 4
14.518 * * * [progress]: picking best candidate
14.521 * * * * [pick]: Picked  #<alt (λ (c) (fmod (log (exp (sinh c))) (- c (pow -2.9807307601812193e+165 2.0))))>
14.521 * * * [progress]: localizing error
14.544 * * * [progress]: generating rewritten candidates
14.544 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
14.552 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 1)
14.556 * * * [progress]: generating series expansions
14.556 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
14.556 * [backup-simplify]: Simplify (log (exp (sinh c))) into (sinh c)
14.557 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
14.557 * [taylor]: Taking taylor expansion of (sinh c) in c
14.557 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
14.557 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
14.557 * [taylor]: Taking taylor expansion of (exp c) in c
14.557 * [taylor]: Taking taylor expansion of c in c
14.557 * [backup-simplify]: Simplify 0 into 0
14.557 * [backup-simplify]: Simplify 1 into 1
14.557 * [backup-simplify]: Simplify (exp 0) into 1
14.557 * [taylor]: Taking taylor expansion of (exp (- c)) in c
14.557 * [taylor]: Taking taylor expansion of (- c) in c
14.557 * [taylor]: Taking taylor expansion of c in c
14.557 * [backup-simplify]: Simplify 0 into 0
14.557 * [backup-simplify]: Simplify 1 into 1
14.558 * [backup-simplify]: Simplify (- 0) into 0
14.558 * [backup-simplify]: Simplify (- 1) into -1
14.558 * [backup-simplify]: Simplify (exp 0) into 1
14.558 * [taylor]: Taking taylor expansion of 2 in c
14.558 * [backup-simplify]: Simplify 2 into 2
14.559 * [backup-simplify]: Simplify (- 1) into -1
14.559 * [backup-simplify]: Simplify (+ 1 -1) into 0
14.560 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
14.560 * [backup-simplify]: Simplify (- 1) into -1
14.562 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
14.562 * [backup-simplify]: Simplify (- -1) into 1
14.563 * [backup-simplify]: Simplify (+ 1 1) into 2
14.563 * [backup-simplify]: Simplify (/ 2 2) into 1
14.563 * [taylor]: Taking taylor expansion of (sinh c) in c
14.563 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
14.563 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
14.563 * [taylor]: Taking taylor expansion of (exp c) in c
14.563 * [taylor]: Taking taylor expansion of c in c
14.563 * [backup-simplify]: Simplify 0 into 0
14.563 * [backup-simplify]: Simplify 1 into 1
14.563 * [backup-simplify]: Simplify (exp 0) into 1
14.563 * [taylor]: Taking taylor expansion of (exp (- c)) in c
14.563 * [taylor]: Taking taylor expansion of (- c) in c
14.563 * [taylor]: Taking taylor expansion of c in c
14.563 * [backup-simplify]: Simplify 0 into 0
14.564 * [backup-simplify]: Simplify 1 into 1
14.564 * [backup-simplify]: Simplify (- 0) into 0
14.564 * [backup-simplify]: Simplify (- 1) into -1
14.564 * [backup-simplify]: Simplify (exp 0) into 1
14.564 * [taylor]: Taking taylor expansion of 2 in c
14.564 * [backup-simplify]: Simplify 2 into 2
14.565 * [backup-simplify]: Simplify (- 1) into -1
14.565 * [backup-simplify]: Simplify (+ 1 -1) into 0
14.566 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
14.567 * [backup-simplify]: Simplify (- 1) into -1
14.568 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
14.568 * [backup-simplify]: Simplify (- -1) into 1
14.569 * [backup-simplify]: Simplify (+ 1 1) into 2
14.569 * [backup-simplify]: Simplify (/ 2 2) into 1
14.569 * [backup-simplify]: Simplify 1 into 1
14.571 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
14.571 * [backup-simplify]: Simplify (- 1) into -1
14.572 * [backup-simplify]: Simplify (- 0) into 0
14.573 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
14.574 * [backup-simplify]: Simplify (- 1/2) into -1/2
14.574 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
14.575 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
14.575 * [backup-simplify]: Simplify 0 into 0
14.578 * [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.578 * [backup-simplify]: Simplify (- 1) into -1
14.578 * [backup-simplify]: Simplify (- 1) into -1
14.579 * [backup-simplify]: Simplify (- 0) into 0
14.579 * [backup-simplify]: Simplify (- 0) into 0
14.582 * [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.582 * [backup-simplify]: Simplify (- -1/6) into 1/6
14.582 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
14.584 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
14.584 * [backup-simplify]: Simplify 1/6 into 1/6
14.588 * [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.589 * [backup-simplify]: Simplify (- 1) into -1
14.589 * [backup-simplify]: Simplify (- 1) into -1
14.590 * [backup-simplify]: Simplify (- 0) into 0
14.590 * [backup-simplify]: Simplify (- 1) into -1
14.590 * [backup-simplify]: Simplify (- 0) into 0
14.591 * [backup-simplify]: Simplify (- 0) into 0
14.591 * [backup-simplify]: Simplify (- 0) into 0
14.596 * [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.596 * [backup-simplify]: Simplify (- 1/24) into -1/24
14.597 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
14.598 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
14.598 * [backup-simplify]: Simplify 0 into 0
14.604 * [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.605 * [backup-simplify]: Simplify (- 1) into -1
14.605 * [backup-simplify]: Simplify (- 1) into -1
14.606 * [backup-simplify]: Simplify (- 0) into 0
14.606 * [backup-simplify]: Simplify (- 1) into -1
14.607 * [backup-simplify]: Simplify (- 0) into 0
14.607 * [backup-simplify]: Simplify (- 1) into -1
14.607 * [backup-simplify]: Simplify (- 0) into 0
14.608 * [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.610 * [backup-simplify]: Simplify (- 0) into 0
14.616 * [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.616 * [backup-simplify]: Simplify (- -1/120) into 1/120
14.617 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
14.618 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
14.618 * [backup-simplify]: Simplify 1/120 into 1/120
14.619 * [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.619 * [backup-simplify]: Simplify (log (exp (sinh (/ 1 c)))) into (sinh (/ 1 c))
14.619 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
14.619 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
14.619 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
14.619 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
14.619 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
14.619 * [taylor]: Taking taylor expansion of (/ 1 c) in c
14.619 * [taylor]: Taking taylor expansion of c in c
14.620 * [backup-simplify]: Simplify 0 into 0
14.620 * [backup-simplify]: Simplify 1 into 1
14.620 * [backup-simplify]: Simplify (/ 1 1) into 1
14.620 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
14.620 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
14.620 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
14.620 * [taylor]: Taking taylor expansion of (/ 1 c) in c
14.620 * [taylor]: Taking taylor expansion of c in c
14.620 * [backup-simplify]: Simplify 0 into 0
14.620 * [backup-simplify]: Simplify 1 into 1
14.621 * [backup-simplify]: Simplify (/ 1 1) into 1
14.621 * [backup-simplify]: Simplify (- 1) into -1
14.621 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
14.621 * [taylor]: Taking taylor expansion of 2 in c
14.621 * [backup-simplify]: Simplify 2 into 2
14.621 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
14.622 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
14.622 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
14.622 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
14.622 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
14.622 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
14.622 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
14.622 * [taylor]: Taking taylor expansion of (/ 1 c) in c
14.622 * [taylor]: Taking taylor expansion of c in c
14.622 * [backup-simplify]: Simplify 0 into 0
14.622 * [backup-simplify]: Simplify 1 into 1
14.623 * [backup-simplify]: Simplify (/ 1 1) into 1
14.623 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
14.623 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
14.623 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
14.623 * [taylor]: Taking taylor expansion of (/ 1 c) in c
14.623 * [taylor]: Taking taylor expansion of c in c
14.623 * [backup-simplify]: Simplify 0 into 0
14.623 * [backup-simplify]: Simplify 1 into 1
14.623 * [backup-simplify]: Simplify (/ 1 1) into 1
14.624 * [backup-simplify]: Simplify (- 1) into -1
14.624 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
14.624 * [taylor]: Taking taylor expansion of 2 in c
14.624 * [backup-simplify]: Simplify 2 into 2
14.624 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
14.624 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
14.624 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
14.625 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
14.625 * [backup-simplify]: Simplify (- 0) into 0
14.625 * [backup-simplify]: Simplify (+ 0 0) into 0
14.626 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
14.627 * [backup-simplify]: Simplify 0 into 0
14.627 * [backup-simplify]: Simplify (- 0) into 0
14.627 * [backup-simplify]: Simplify (+ 0 0) into 0
14.629 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
14.629 * [backup-simplify]: Simplify 0 into 0
14.629 * [backup-simplify]: Simplify (- 0) into 0
14.630 * [backup-simplify]: Simplify (+ 0 0) into 0
14.632 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
14.632 * [backup-simplify]: Simplify 0 into 0
14.632 * [backup-simplify]: Simplify (- 0) into 0
14.632 * [backup-simplify]: Simplify (+ 0 0) into 0
14.635 * [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
14.635 * [backup-simplify]: Simplify 0 into 0
14.635 * [backup-simplify]: Simplify (- 0) into 0
14.636 * [backup-simplify]: Simplify (+ 0 0) into 0
14.639 * [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
14.639 * [backup-simplify]: Simplify 0 into 0
14.639 * [backup-simplify]: Simplify (- 0) into 0
14.640 * [backup-simplify]: Simplify (+ 0 0) into 0
14.643 * [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
14.644 * [backup-simplify]: Simplify 0 into 0
14.644 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
14.644 * [backup-simplify]: Simplify (log (exp (sinh (/ 1 (- c))))) into (sinh (/ -1 c))
14.644 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
14.644 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
14.644 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
14.644 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
14.644 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
14.644 * [taylor]: Taking taylor expansion of (/ -1 c) in c
14.644 * [taylor]: Taking taylor expansion of -1 in c
14.644 * [backup-simplify]: Simplify -1 into -1
14.645 * [taylor]: Taking taylor expansion of c in c
14.645 * [backup-simplify]: Simplify 0 into 0
14.645 * [backup-simplify]: Simplify 1 into 1
14.645 * [backup-simplify]: Simplify (/ -1 1) into -1
14.645 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
14.645 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
14.645 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
14.645 * [taylor]: Taking taylor expansion of (/ -1 c) in c
14.645 * [taylor]: Taking taylor expansion of -1 in c
14.645 * [backup-simplify]: Simplify -1 into -1
14.645 * [taylor]: Taking taylor expansion of c in c
14.645 * [backup-simplify]: Simplify 0 into 0
14.645 * [backup-simplify]: Simplify 1 into 1
14.646 * [backup-simplify]: Simplify (/ -1 1) into -1
14.646 * [backup-simplify]: Simplify (- -1) into 1
14.646 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
14.646 * [taylor]: Taking taylor expansion of 2 in c
14.646 * [backup-simplify]: Simplify 2 into 2
14.646 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
14.647 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
14.647 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
14.647 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
14.647 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
14.647 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
14.647 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
14.647 * [taylor]: Taking taylor expansion of (/ -1 c) in c
14.647 * [taylor]: Taking taylor expansion of -1 in c
14.647 * [backup-simplify]: Simplify -1 into -1
14.647 * [taylor]: Taking taylor expansion of c in c
14.647 * [backup-simplify]: Simplify 0 into 0
14.647 * [backup-simplify]: Simplify 1 into 1
14.648 * [backup-simplify]: Simplify (/ -1 1) into -1
14.648 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
14.648 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
14.648 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
14.648 * [taylor]: Taking taylor expansion of (/ -1 c) in c
14.648 * [taylor]: Taking taylor expansion of -1 in c
14.648 * [backup-simplify]: Simplify -1 into -1
14.648 * [taylor]: Taking taylor expansion of c in c
14.648 * [backup-simplify]: Simplify 0 into 0
14.648 * [backup-simplify]: Simplify 1 into 1
14.648 * [backup-simplify]: Simplify (/ -1 1) into -1
14.649 * [backup-simplify]: Simplify (- -1) into 1
14.649 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
14.649 * [taylor]: Taking taylor expansion of 2 in c
14.649 * [backup-simplify]: Simplify 2 into 2
14.649 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
14.649 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
14.649 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
14.650 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
14.650 * [backup-simplify]: Simplify (- 0) into 0
14.650 * [backup-simplify]: Simplify (+ 0 0) into 0
14.651 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
14.651 * [backup-simplify]: Simplify 0 into 0
14.652 * [backup-simplify]: Simplify (- 0) into 0
14.652 * [backup-simplify]: Simplify (+ 0 0) into 0
14.654 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
14.654 * [backup-simplify]: Simplify 0 into 0
14.654 * [backup-simplify]: Simplify (- 0) into 0
14.655 * [backup-simplify]: Simplify (+ 0 0) into 0
14.657 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
14.657 * [backup-simplify]: Simplify 0 into 0
14.657 * [backup-simplify]: Simplify (- 0) into 0
14.657 * [backup-simplify]: Simplify (+ 0 0) into 0
14.660 * [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
14.660 * [backup-simplify]: Simplify 0 into 0
14.660 * [backup-simplify]: Simplify (- 0) into 0
14.661 * [backup-simplify]: Simplify (+ 0 0) into 0
14.674 * [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
14.674 * [backup-simplify]: Simplify 0 into 0
14.675 * [backup-simplify]: Simplify (- 0) into 0
14.675 * [backup-simplify]: Simplify (+ 0 0) into 0
14.679 * [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
14.679 * [backup-simplify]: Simplify 0 into 0
14.680 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
14.680 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 1)
14.680 * [backup-simplify]: Simplify (sinh c) into (sinh c)
14.680 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
14.680 * [taylor]: Taking taylor expansion of (sinh c) in c
14.680 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
14.680 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
14.680 * [taylor]: Taking taylor expansion of (exp c) in c
14.680 * [taylor]: Taking taylor expansion of c in c
14.680 * [backup-simplify]: Simplify 0 into 0
14.680 * [backup-simplify]: Simplify 1 into 1
14.680 * [backup-simplify]: Simplify (exp 0) into 1
14.680 * [taylor]: Taking taylor expansion of (exp (- c)) in c
14.680 * [taylor]: Taking taylor expansion of (- c) in c
14.680 * [taylor]: Taking taylor expansion of c in c
14.680 * [backup-simplify]: Simplify 0 into 0
14.680 * [backup-simplify]: Simplify 1 into 1
14.681 * [backup-simplify]: Simplify (- 0) into 0
14.681 * [backup-simplify]: Simplify (- 1) into -1
14.681 * [backup-simplify]: Simplify (exp 0) into 1
14.681 * [taylor]: Taking taylor expansion of 2 in c
14.681 * [backup-simplify]: Simplify 2 into 2
14.682 * [backup-simplify]: Simplify (- 1) into -1
14.682 * [backup-simplify]: Simplify (+ 1 -1) into 0
14.683 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
14.683 * [backup-simplify]: Simplify (- 1) into -1
14.685 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
14.685 * [backup-simplify]: Simplify (- -1) into 1
14.685 * [backup-simplify]: Simplify (+ 1 1) into 2
14.686 * [backup-simplify]: Simplify (/ 2 2) into 1
14.686 * [taylor]: Taking taylor expansion of (sinh c) in c
14.686 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
14.686 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
14.686 * [taylor]: Taking taylor expansion of (exp c) in c
14.686 * [taylor]: Taking taylor expansion of c in c
14.686 * [backup-simplify]: Simplify 0 into 0
14.686 * [backup-simplify]: Simplify 1 into 1
14.686 * [backup-simplify]: Simplify (exp 0) into 1
14.686 * [taylor]: Taking taylor expansion of (exp (- c)) in c
14.687 * [taylor]: Taking taylor expansion of (- c) in c
14.687 * [taylor]: Taking taylor expansion of c in c
14.687 * [backup-simplify]: Simplify 0 into 0
14.687 * [backup-simplify]: Simplify 1 into 1
14.687 * [backup-simplify]: Simplify (- 0) into 0
14.687 * [backup-simplify]: Simplify (- 1) into -1
14.687 * [backup-simplify]: Simplify (exp 0) into 1
14.687 * [taylor]: Taking taylor expansion of 2 in c
14.687 * [backup-simplify]: Simplify 2 into 2
14.688 * [backup-simplify]: Simplify (- 1) into -1
14.688 * [backup-simplify]: Simplify (+ 1 -1) into 0
14.689 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
14.690 * [backup-simplify]: Simplify (- 1) into -1
14.691 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
14.691 * [backup-simplify]: Simplify (- -1) into 1
14.692 * [backup-simplify]: Simplify (+ 1 1) into 2
14.692 * [backup-simplify]: Simplify (/ 2 2) into 1
14.692 * [backup-simplify]: Simplify 1 into 1
14.694 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
14.694 * [backup-simplify]: Simplify (- 1) into -1
14.695 * [backup-simplify]: Simplify (- 0) into 0
14.696 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
14.697 * [backup-simplify]: Simplify (- 1/2) into -1/2
14.697 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
14.698 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
14.698 * [backup-simplify]: Simplify 0 into 0
14.701 * [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.701 * [backup-simplify]: Simplify (- 1) into -1
14.702 * [backup-simplify]: Simplify (- 1) into -1
14.702 * [backup-simplify]: Simplify (- 0) into 0
14.703 * [backup-simplify]: Simplify (- 0) into 0
14.705 * [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.706 * [backup-simplify]: Simplify (- -1/6) into 1/6
14.706 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
14.707 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
14.707 * [backup-simplify]: Simplify 1/6 into 1/6
14.711 * [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.712 * [backup-simplify]: Simplify (- 1) into -1
14.712 * [backup-simplify]: Simplify (- 1) into -1
14.713 * [backup-simplify]: Simplify (- 0) into 0
14.713 * [backup-simplify]: Simplify (- 1) into -1
14.713 * [backup-simplify]: Simplify (- 0) into 0
14.714 * [backup-simplify]: Simplify (- 0) into 0
14.714 * [backup-simplify]: Simplify (- 0) into 0
14.718 * [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.719 * [backup-simplify]: Simplify (- 1/24) into -1/24
14.719 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
14.720 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
14.720 * [backup-simplify]: Simplify 0 into 0
14.724 * [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.724 * [backup-simplify]: Simplify (- 1) into -1
14.724 * [backup-simplify]: Simplify (- 1) into -1
14.725 * [backup-simplify]: Simplify (- 0) into 0
14.725 * [backup-simplify]: Simplify (- 1) into -1
14.725 * [backup-simplify]: Simplify (- 0) into 0
14.725 * [backup-simplify]: Simplify (- 1) into -1
14.726 * [backup-simplify]: Simplify (- 0) into 0
14.726 * [backup-simplify]: Simplify (- 1) into -1
14.726 * [backup-simplify]: Simplify (- 0) into 0
14.726 * [backup-simplify]: Simplify (- 0) into 0
14.727 * [backup-simplify]: Simplify (- 0) into 0
14.727 * [backup-simplify]: Simplify (- 0) into 0
14.730 * [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.731 * [backup-simplify]: Simplify (- -1/120) into 1/120
14.731 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
14.732 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
14.732 * [backup-simplify]: Simplify 1/120 into 1/120
14.732 * [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.732 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c))
14.732 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
14.732 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
14.732 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
14.732 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
14.732 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
14.732 * [taylor]: Taking taylor expansion of (/ 1 c) in c
14.732 * [taylor]: Taking taylor expansion of c in c
14.732 * [backup-simplify]: Simplify 0 into 0
14.732 * [backup-simplify]: Simplify 1 into 1
14.733 * [backup-simplify]: Simplify (/ 1 1) into 1
14.733 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
14.733 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
14.733 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
14.733 * [taylor]: Taking taylor expansion of (/ 1 c) in c
14.733 * [taylor]: Taking taylor expansion of c in c
14.733 * [backup-simplify]: Simplify 0 into 0
14.733 * [backup-simplify]: Simplify 1 into 1
14.733 * [backup-simplify]: Simplify (/ 1 1) into 1
14.733 * [backup-simplify]: Simplify (- 1) into -1
14.733 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
14.733 * [taylor]: Taking taylor expansion of 2 in c
14.733 * [backup-simplify]: Simplify 2 into 2
14.734 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
14.734 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
14.734 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
14.734 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
14.734 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
14.734 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
14.734 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
14.734 * [taylor]: Taking taylor expansion of (/ 1 c) in c
14.734 * [taylor]: Taking taylor expansion of c in c
14.734 * [backup-simplify]: Simplify 0 into 0
14.734 * [backup-simplify]: Simplify 1 into 1
14.734 * [backup-simplify]: Simplify (/ 1 1) into 1
14.734 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
14.734 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
14.734 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
14.734 * [taylor]: Taking taylor expansion of (/ 1 c) in c
14.734 * [taylor]: Taking taylor expansion of c in c
14.734 * [backup-simplify]: Simplify 0 into 0
14.734 * [backup-simplify]: Simplify 1 into 1
14.735 * [backup-simplify]: Simplify (/ 1 1) into 1
14.735 * [backup-simplify]: Simplify (- 1) into -1
14.735 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
14.735 * [taylor]: Taking taylor expansion of 2 in c
14.735 * [backup-simplify]: Simplify 2 into 2
14.735 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
14.735 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
14.735 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
14.735 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
14.736 * [backup-simplify]: Simplify (- 0) into 0
14.736 * [backup-simplify]: Simplify (+ 0 0) into 0
14.737 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
14.737 * [backup-simplify]: Simplify 0 into 0
14.737 * [backup-simplify]: Simplify (- 0) into 0
14.737 * [backup-simplify]: Simplify (+ 0 0) into 0
14.738 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
14.738 * [backup-simplify]: Simplify 0 into 0
14.738 * [backup-simplify]: Simplify (- 0) into 0
14.738 * [backup-simplify]: Simplify (+ 0 0) into 0
14.740 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
14.740 * [backup-simplify]: Simplify 0 into 0
14.740 * [backup-simplify]: Simplify (- 0) into 0
14.740 * [backup-simplify]: Simplify (+ 0 0) into 0
14.742 * [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
14.742 * [backup-simplify]: Simplify 0 into 0
14.742 * [backup-simplify]: Simplify (- 0) into 0
14.742 * [backup-simplify]: Simplify (+ 0 0) into 0
14.744 * [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
14.744 * [backup-simplify]: Simplify 0 into 0
14.744 * [backup-simplify]: Simplify (- 0) into 0
14.744 * [backup-simplify]: Simplify (+ 0 0) into 0
14.747 * [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
14.747 * [backup-simplify]: Simplify 0 into 0
14.747 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
14.747 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c))
14.747 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
14.747 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
14.747 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
14.747 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
14.747 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
14.747 * [taylor]: Taking taylor expansion of (/ -1 c) in c
14.747 * [taylor]: Taking taylor expansion of -1 in c
14.747 * [backup-simplify]: Simplify -1 into -1
14.747 * [taylor]: Taking taylor expansion of c in c
14.747 * [backup-simplify]: Simplify 0 into 0
14.747 * [backup-simplify]: Simplify 1 into 1
14.748 * [backup-simplify]: Simplify (/ -1 1) into -1
14.748 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
14.748 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
14.748 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
14.748 * [taylor]: Taking taylor expansion of (/ -1 c) in c
14.748 * [taylor]: Taking taylor expansion of -1 in c
14.748 * [backup-simplify]: Simplify -1 into -1
14.748 * [taylor]: Taking taylor expansion of c in c
14.748 * [backup-simplify]: Simplify 0 into 0
14.748 * [backup-simplify]: Simplify 1 into 1
14.748 * [backup-simplify]: Simplify (/ -1 1) into -1
14.748 * [backup-simplify]: Simplify (- -1) into 1
14.748 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
14.748 * [taylor]: Taking taylor expansion of 2 in c
14.748 * [backup-simplify]: Simplify 2 into 2
14.748 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
14.748 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
14.749 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
14.749 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
14.749 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
14.749 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
14.749 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
14.749 * [taylor]: Taking taylor expansion of (/ -1 c) in c
14.749 * [taylor]: Taking taylor expansion of -1 in c
14.749 * [backup-simplify]: Simplify -1 into -1
14.749 * [taylor]: Taking taylor expansion of c in c
14.749 * [backup-simplify]: Simplify 0 into 0
14.749 * [backup-simplify]: Simplify 1 into 1
14.749 * [backup-simplify]: Simplify (/ -1 1) into -1
14.749 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
14.749 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
14.749 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
14.749 * [taylor]: Taking taylor expansion of (/ -1 c) in c
14.749 * [taylor]: Taking taylor expansion of -1 in c
14.749 * [backup-simplify]: Simplify -1 into -1
14.749 * [taylor]: Taking taylor expansion of c in c
14.749 * [backup-simplify]: Simplify 0 into 0
14.749 * [backup-simplify]: Simplify 1 into 1
14.750 * [backup-simplify]: Simplify (/ -1 1) into -1
14.750 * [backup-simplify]: Simplify (- -1) into 1
14.750 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
14.750 * [taylor]: Taking taylor expansion of 2 in c
14.750 * [backup-simplify]: Simplify 2 into 2
14.750 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
14.750 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
14.750 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
14.750 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
14.751 * [backup-simplify]: Simplify (- 0) into 0
14.751 * [backup-simplify]: Simplify (+ 0 0) into 0
14.751 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
14.751 * [backup-simplify]: Simplify 0 into 0
14.752 * [backup-simplify]: Simplify (- 0) into 0
14.752 * [backup-simplify]: Simplify (+ 0 0) into 0
14.753 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
14.753 * [backup-simplify]: Simplify 0 into 0
14.753 * [backup-simplify]: Simplify (- 0) into 0
14.753 * [backup-simplify]: Simplify (+ 0 0) into 0
14.754 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
14.755 * [backup-simplify]: Simplify 0 into 0
14.755 * [backup-simplify]: Simplify (- 0) into 0
14.755 * [backup-simplify]: Simplify (+ 0 0) into 0
14.756 * [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
14.756 * [backup-simplify]: Simplify 0 into 0
14.757 * [backup-simplify]: Simplify (- 0) into 0
14.757 * [backup-simplify]: Simplify (+ 0 0) into 0
14.759 * [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
14.759 * [backup-simplify]: Simplify 0 into 0
14.759 * [backup-simplify]: Simplify (- 0) into 0
14.759 * [backup-simplify]: Simplify (+ 0 0) into 0
14.761 * [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
14.762 * [backup-simplify]: Simplify 0 into 0
14.762 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
14.762 * * * [progress]: simplifying candidates
14.763 * [simplify]: Simplifying:
  (expm1 (log (exp (sinh c))))
  (log1p (log (exp (sinh c))))
  (log (* (cbrt (exp (sinh c))) (cbrt (exp (sinh c)))))
  (log (cbrt (exp (sinh c))))
  (log (sqrt (exp (sinh c))))
  (log (sqrt (exp (sinh c))))
  (log 1)
  (log (exp (sinh c)))
  (log (exp (sinh c)))
  (log (exp (* (cbrt (sinh c)) (cbrt (sinh c)))))
  (log (exp (sqrt (sinh c))))
  (log (exp 1))
  (log (log (exp (sinh c))))
  (exp (log (exp (sinh c))))
  (* (cbrt (log (exp (sinh c)))) (cbrt (log (exp (sinh c)))))
  (cbrt (log (exp (sinh c))))
  (* (* (log (exp (sinh c))) (log (exp (sinh c)))) (log (exp (sinh c))))
  (sqrt (log (exp (sinh c))))
  (sqrt (log (exp (sinh c))))
  (expm1 (sinh c))
  (log1p (sinh c))
  (- (exp c) (exp (- c)))
  (log (sinh c))
  (exp (sinh c))
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (* (* (sinh c) (sinh c)) (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (* 1/2 (- (exp c) (exp (- c))))
  (* 1/2 (- (exp c) (exp (* -1 c))))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (* 1/2 (- (exp c) (exp (- c))))
  (* 1/2 (- (exp c) (exp (* -1 c))))
14.764 * * [simplify]: Extracting # 0 : cost  0
14.764 * * [simplify]: Extracting # 1 : cost  0
14.764 * * [simplify]: Extracting # 2 : cost  0
14.764 * * [simplify]: Extracting # 3 : cost  0
14.764 * * [simplify]: Extracting # 4 : cost  0
14.764 * * [simplify]: Extracting # 5 : cost  0
14.764 * * [simplify]: Extracting # 6 : cost  0
14.765 * * [simplify]: Extracting # 7 : cost  0
14.765 * * [simplify]: Extracting # 8 : cost  0
14.765 * * [simplify]: Extracting # 9 : cost  0
14.765 * * [simplify]: iteration  0 :  56  enodes  (cost  214 )
14.786 * * [simplify]: Extracting # 0 : cost  0
14.786 * * [simplify]: Extracting # 1 : cost  0
14.786 * * [simplify]: Extracting # 2 : cost  0
14.787 * * [simplify]: Extracting # 3 : cost  0
14.787 * * [simplify]: iteration  1 :  91  enodes  (cost  173 )
14.814 * * [simplify]: Extracting # 0 : cost  0
14.814 * * [simplify]: Extracting # 1 : cost  0
14.814 * * [simplify]: Extracting # 2 : cost  0
14.815 * * [simplify]: Extracting # 3 : cost  0
14.815 * * [simplify]: Extracting # 4 : cost  0
14.815 * * [simplify]: iteration  2 :  165  enodes  (cost  162 )
14.865 * * [simplify]: Extracting # 0 : cost  0
14.865 * * [simplify]: Extracting # 1 : cost  0
14.866 * * [simplify]: Extracting # 2 : cost  0
14.866 * * [simplify]: Extracting # 3 : cost  0
14.867 * * [simplify]: iteration  3 :  331  enodes  (cost  162 )
14.991 * * [simplify]: Extracting # 0 : cost  0
14.992 * * [simplify]: Extracting # 1 : cost  0
14.994 * * [simplify]: Extracting # 2 : cost  0
14.995 * * [simplify]: Extracting # 3 : cost  0
14.997 * * [simplify]: Extracting # 4 : cost  0
14.998 * * [simplify]: iteration  4 :  747  enodes  (cost  162 )
15.559 * * [simplify]: Extracting # 0 : cost  0
15.566 * * [simplify]: Extracting # 1 : cost  0
15.571 * * [simplify]: Extracting # 2 : cost  0
15.577 * * [simplify]: Extracting # 3 : cost  0
15.583 * * [simplify]: Extracting # 4 : cost  0
15.588 * * [simplify]: iteration  5 :  2824  enodes  (cost  162 )
17.117 * * [simplify]: Extracting # 0 : cost  0
17.123 * * [simplify]: Extracting # 1 : cost  0
17.132 * * [simplify]: Extracting # 2 : cost  0
17.142 * * [simplify]: Extracting # 3 : cost  0
17.153 * * [simplify]: iteration done:  5001  enodes  (cost  162 )
17.153 * [simplify]: Simplified to:
  (expm1 (sinh c))
  (log1p (sinh c))
  (* 2 (log (cbrt (exp (sinh c)))))
  (log (cbrt (exp (sinh c))))
  (log (sqrt (exp (sinh c))))
  (log (sqrt (exp (sinh c))))
  0
  (sinh c)
  (sinh c)
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (sqrt (sinh c))
  1
  (log (sinh c))
  (exp (sinh c))
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (pow (sinh c) 3)
  (sqrt (sinh c))
  (sqrt (sinh c))
  (expm1 (sinh c))
  (log1p (sinh c))
  (- (exp c) (exp (- c)))
  (log (sinh c))
  (exp (sinh c))
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (pow (sinh c) 3)
  (sqrt (sinh c))
  (sqrt (sinh c))
  (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))
  (* 1/2 (- (exp c) (exp (- c))))
  (* 1/2 (- (exp c) (exp (- c))))
  (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))
  (* 1/2 (- (exp c) (exp (- c))))
  (* 1/2 (- (exp c) (exp (- c))))
17.153 * * * [progress]: adding candidates to table
17.301 * [progress]: [Phase 3 of 3] Extracting.
17.302 * * [regime]: Finding splitpoints for: (#<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (log (exp (sinh c))) (- c (pow -2.9807307601812193e+165 2.0))))>)
17.354 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c)
17.354 * * * * [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 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (log (exp (sinh c))) (- c (pow -2.9807307601812193e+165 2.0))))>)
17.410 * * * * [regimes]: Trying to branch on c from (#<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (log (exp (sinh c))) (- c (pow -2.9807307601812193e+165 2.0))))>)
17.440 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
17.441 * [simplify]: Simplifying:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
17.441 * * [simplify]: Extracting # 0 : cost  0
17.441 * * [simplify]: Extracting # 1 : cost  0
17.441 * * [simplify]: Extracting # 2 : cost  0
17.441 * * [simplify]: Extracting # 3 : cost  0
17.441 * * [simplify]: Extracting # 4 : cost  0
17.441 * * [simplify]: Extracting # 5 : cost  0
17.441 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
17.443 * * [simplify]: Extracting # 0 : cost  0
17.443 * * [simplify]: iteration done:  7  enodes  (cost  8 )
17.443 * [simplify]: Simplified to:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
24.792 * [regime-testing]: Baseline error score: 0.007375921990248781
24.792 * [regime-testing]: Oracle error score: 0.0023752969121140144
24.793 * [regime-testing]: End program error score: 0.007375921990248781