30.733 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.222 * * * [progress]: [2/2] Setting up program.
0.226 * [progress]: [Phase 2 of 3] Improving.
0.227 * [simplify]: Simplifying:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
0.227 * * [simplify]: Extracting # 0 : cost  0
0.227 * * [simplify]: Extracting # 1 : cost  0
0.227 * * [simplify]: Extracting # 2 : cost  0
0.227 * * [simplify]: Extracting # 3 : cost  0
0.227 * * [simplify]: Extracting # 4 : cost  0
0.227 * * [simplify]: Extracting # 5 : cost  0
0.227 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
0.230 * * [simplify]: Extracting # 0 : cost  0
0.230 * * [simplify]: Extracting # 1 : cost  0
0.230 * * [simplify]: Extracting # 2 : cost  0
0.230 * * [simplify]: Extracting # 3 : cost  0
0.230 * * [simplify]: Extracting # 4 : cost  0
0.230 * * [simplify]: Extracting # 5 : cost  0
0.230 * * [simplify]: iteration  1 :  18  enodes  (cost  8 )
0.236 * * [simplify]: Extracting # 0 : cost  0
0.237 * * [simplify]: Extracting # 1 : cost  0
0.237 * * [simplify]: Extracting # 2 : cost  0
0.237 * * [simplify]: Extracting # 3 : cost  0
0.237 * * [simplify]: iteration  2 :  34  enodes  (cost  8 )
0.250 * * [simplify]: Extracting # 0 : cost  0
0.250 * * [simplify]: Extracting # 1 : cost  0
0.250 * * [simplify]: Extracting # 2 : cost  0
0.250 * * [simplify]: Extracting # 3 : cost  0
0.250 * * [simplify]: Extracting # 4 : cost  0
0.251 * * [simplify]: iteration  3 :  71  enodes  (cost  8 )
0.280 * * [simplify]: Extracting # 0 : cost  0
0.281 * * [simplify]: Extracting # 1 : cost  0
0.281 * * [simplify]: Extracting # 2 : cost  0
0.281 * * [simplify]: Extracting # 3 : cost  0
0.281 * * [simplify]: Extracting # 4 : cost  0
0.282 * * [simplify]: iteration  4 :  151  enodes  (cost  8 )
0.382 * * [simplify]: Extracting # 0 : cost  0
0.382 * * [simplify]: Extracting # 1 : cost  0
0.382 * * [simplify]: Extracting # 2 : cost  0
0.383 * * [simplify]: Extracting # 3 : cost  0
0.383 * * [simplify]: Extracting # 4 : cost  0
0.383 * * [simplify]: iteration  5 :  360  enodes  (cost  8 )
0.822 * * [simplify]: Extracting # 0 : cost  0
0.824 * * [simplify]: Extracting # 1 : cost  0
0.825 * * [simplify]: Extracting # 2 : cost  0
0.827 * * [simplify]: Extracting # 3 : cost  0
0.828 * * [simplify]: Extracting # 4 : cost  0
0.830 * * [simplify]: iteration  6 :  1154  enodes  (cost  8 )
4.418 * * [simplify]: Extracting # 0 : cost  0
4.426 * * [simplify]: Extracting # 1 : cost  0
4.433 * * [simplify]: Extracting # 2 : cost  0
4.439 * * [simplify]: Extracting # 3 : cost  0
4.450 * * [simplify]: Extracting # 4 : cost  0
4.456 * * [simplify]: iteration  7 :  4429  enodes  (cost  8 )
7.107 * * [simplify]: Extracting # 0 : cost  0
7.110 * * [simplify]: Extracting # 1 : cost  0
7.114 * * [simplify]: Extracting # 2 : cost  0
7.118 * * [simplify]: Extracting # 3 : cost  0
7.121 * * [simplify]: iteration done:  5001  enodes  (cost  8 )
7.121 * [simplify]: Simplified to:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
7.122 * * [progress]: iteration 1 / 4
7.122 * * * [progress]: picking best candidate
7.128 * * * * [pick]: Picked  #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))>
7.128 * * * [progress]: localizing error
7.137 * * * [progress]: generating rewritten candidates
7.137 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
7.138 * * * [progress]: generating series expansions
7.138 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
7.138 * [backup-simplify]: Simplify (sinh c) into (sinh c)
7.138 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
7.138 * [taylor]: Taking taylor expansion of (sinh c) in c
7.139 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
7.139 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
7.139 * [taylor]: Taking taylor expansion of (exp c) in c
7.139 * [taylor]: Taking taylor expansion of c in c
7.139 * [backup-simplify]: Simplify 0 into 0
7.139 * [backup-simplify]: Simplify 1 into 1
7.139 * [backup-simplify]: Simplify (exp 0) into 1
7.139 * [taylor]: Taking taylor expansion of (exp (- c)) in c
7.139 * [taylor]: Taking taylor expansion of (- c) in c
7.139 * [taylor]: Taking taylor expansion of c in c
7.139 * [backup-simplify]: Simplify 0 into 0
7.139 * [backup-simplify]: Simplify 1 into 1
7.139 * [backup-simplify]: Simplify (- 0) into 0
7.140 * [backup-simplify]: Simplify (- 1) into -1
7.140 * [backup-simplify]: Simplify (exp 0) into 1
7.140 * [taylor]: Taking taylor expansion of 2 in c
7.140 * [backup-simplify]: Simplify 2 into 2
7.140 * [backup-simplify]: Simplify (- 1) into -1
7.140 * [backup-simplify]: Simplify (+ 1 -1) into 0
7.141 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
7.141 * [backup-simplify]: Simplify (- 1) into -1
7.142 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
7.142 * [backup-simplify]: Simplify (- -1) into 1
7.142 * [backup-simplify]: Simplify (+ 1 1) into 2
7.142 * [backup-simplify]: Simplify (/ 2 2) into 1
7.142 * [taylor]: Taking taylor expansion of (sinh c) in c
7.142 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
7.142 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
7.142 * [taylor]: Taking taylor expansion of (exp c) in c
7.142 * [taylor]: Taking taylor expansion of c in c
7.143 * [backup-simplify]: Simplify 0 into 0
7.143 * [backup-simplify]: Simplify 1 into 1
7.143 * [backup-simplify]: Simplify (exp 0) into 1
7.143 * [taylor]: Taking taylor expansion of (exp (- c)) in c
7.143 * [taylor]: Taking taylor expansion of (- c) in c
7.143 * [taylor]: Taking taylor expansion of c in c
7.143 * [backup-simplify]: Simplify 0 into 0
7.143 * [backup-simplify]: Simplify 1 into 1
7.143 * [backup-simplify]: Simplify (- 0) into 0
7.143 * [backup-simplify]: Simplify (- 1) into -1
7.143 * [backup-simplify]: Simplify (exp 0) into 1
7.143 * [taylor]: Taking taylor expansion of 2 in c
7.143 * [backup-simplify]: Simplify 2 into 2
7.143 * [backup-simplify]: Simplify (- 1) into -1
7.144 * [backup-simplify]: Simplify (+ 1 -1) into 0
7.144 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
7.144 * [backup-simplify]: Simplify (- 1) into -1
7.145 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
7.145 * [backup-simplify]: Simplify (- -1) into 1
7.146 * [backup-simplify]: Simplify (+ 1 1) into 2
7.146 * [backup-simplify]: Simplify (/ 2 2) into 1
7.146 * [backup-simplify]: Simplify 1 into 1
7.147 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
7.147 * [backup-simplify]: Simplify (- 1) into -1
7.147 * [backup-simplify]: Simplify (- 0) into 0
7.148 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
7.148 * [backup-simplify]: Simplify (- 1/2) into -1/2
7.149 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
7.149 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
7.149 * [backup-simplify]: Simplify 0 into 0
7.151 * [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.151 * [backup-simplify]: Simplify (- 1) into -1
7.151 * [backup-simplify]: Simplify (- 1) into -1
7.151 * [backup-simplify]: Simplify (- 0) into 0
7.152 * [backup-simplify]: Simplify (- 0) into 0
7.153 * [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.153 * [backup-simplify]: Simplify (- -1/6) into 1/6
7.154 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
7.154 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
7.154 * [backup-simplify]: Simplify 1/6 into 1/6
7.156 * [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.157 * [backup-simplify]: Simplify (- 1) into -1
7.157 * [backup-simplify]: Simplify (- 1) into -1
7.157 * [backup-simplify]: Simplify (- 0) into 0
7.157 * [backup-simplify]: Simplify (- 1) into -1
7.158 * [backup-simplify]: Simplify (- 0) into 0
7.158 * [backup-simplify]: Simplify (- 0) into 0
7.158 * [backup-simplify]: Simplify (- 0) into 0
7.161 * [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.161 * [backup-simplify]: Simplify (- 1/24) into -1/24
7.161 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
7.162 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
7.162 * [backup-simplify]: Simplify 0 into 0
7.168 * [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.168 * [backup-simplify]: Simplify (- 1) into -1
7.169 * [backup-simplify]: Simplify (- 1) into -1
7.169 * [backup-simplify]: Simplify (- 0) into 0
7.169 * [backup-simplify]: Simplify (- 1) into -1
7.170 * [backup-simplify]: Simplify (- 0) into 0
7.170 * [backup-simplify]: Simplify (- 1) into -1
7.170 * [backup-simplify]: Simplify (- 0) into 0
7.171 * [backup-simplify]: Simplify (- 1) into -1
7.171 * [backup-simplify]: Simplify (- 0) into 0
7.171 * [backup-simplify]: Simplify (- 0) into 0
7.172 * [backup-simplify]: Simplify (- 0) into 0
7.172 * [backup-simplify]: Simplify (- 0) into 0
7.179 * [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.179 * [backup-simplify]: Simplify (- -1/120) into 1/120
7.180 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
7.181 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
7.181 * [backup-simplify]: Simplify 1/120 into 1/120
7.183 * [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.183 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c))
7.183 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
7.183 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
7.183 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
7.183 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
7.183 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
7.183 * [taylor]: Taking taylor expansion of (/ 1 c) in c
7.183 * [taylor]: Taking taylor expansion of c in c
7.183 * [backup-simplify]: Simplify 0 into 0
7.183 * [backup-simplify]: Simplify 1 into 1
7.184 * [backup-simplify]: Simplify (/ 1 1) into 1
7.184 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
7.184 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
7.184 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
7.184 * [taylor]: Taking taylor expansion of (/ 1 c) in c
7.184 * [taylor]: Taking taylor expansion of c in c
7.184 * [backup-simplify]: Simplify 0 into 0
7.184 * [backup-simplify]: Simplify 1 into 1
7.185 * [backup-simplify]: Simplify (/ 1 1) into 1
7.185 * [backup-simplify]: Simplify (- 1) into -1
7.185 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
7.185 * [taylor]: Taking taylor expansion of 2 in c
7.185 * [backup-simplify]: Simplify 2 into 2
7.185 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
7.186 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
7.186 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
7.186 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
7.186 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
7.186 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
7.186 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
7.186 * [taylor]: Taking taylor expansion of (/ 1 c) in c
7.186 * [taylor]: Taking taylor expansion of c in c
7.186 * [backup-simplify]: Simplify 0 into 0
7.186 * [backup-simplify]: Simplify 1 into 1
7.187 * [backup-simplify]: Simplify (/ 1 1) into 1
7.187 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
7.187 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
7.187 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
7.187 * [taylor]: Taking taylor expansion of (/ 1 c) in c
7.187 * [taylor]: Taking taylor expansion of c in c
7.187 * [backup-simplify]: Simplify 0 into 0
7.187 * [backup-simplify]: Simplify 1 into 1
7.188 * [backup-simplify]: Simplify (/ 1 1) into 1
7.188 * [backup-simplify]: Simplify (- 1) into -1
7.188 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
7.188 * [taylor]: Taking taylor expansion of 2 in c
7.188 * [backup-simplify]: Simplify 2 into 2
7.188 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
7.189 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
7.189 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
7.189 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
7.190 * [backup-simplify]: Simplify (- 0) into 0
7.190 * [backup-simplify]: Simplify (+ 0 0) into 0
7.191 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
7.191 * [backup-simplify]: Simplify 0 into 0
7.192 * [backup-simplify]: Simplify (- 0) into 0
7.192 * [backup-simplify]: Simplify (+ 0 0) into 0
7.194 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
7.194 * [backup-simplify]: Simplify 0 into 0
7.194 * [backup-simplify]: Simplify (- 0) into 0
7.194 * [backup-simplify]: Simplify (+ 0 0) into 0
7.196 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
7.197 * [backup-simplify]: Simplify 0 into 0
7.197 * [backup-simplify]: Simplify (- 0) into 0
7.197 * [backup-simplify]: Simplify (+ 0 0) into 0
7.200 * [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.200 * [backup-simplify]: Simplify 0 into 0
7.200 * [backup-simplify]: Simplify (- 0) into 0
7.201 * [backup-simplify]: Simplify (+ 0 0) into 0
7.204 * [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.204 * [backup-simplify]: Simplify 0 into 0
7.204 * [backup-simplify]: Simplify (- 0) into 0
7.205 * [backup-simplify]: Simplify (+ 0 0) into 0
7.208 * [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.208 * [backup-simplify]: Simplify 0 into 0
7.209 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
7.209 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c))
7.209 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
7.209 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
7.209 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
7.209 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
7.209 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
7.209 * [taylor]: Taking taylor expansion of (/ -1 c) in c
7.209 * [taylor]: Taking taylor expansion of -1 in c
7.209 * [backup-simplify]: Simplify -1 into -1
7.209 * [taylor]: Taking taylor expansion of c in c
7.209 * [backup-simplify]: Simplify 0 into 0
7.209 * [backup-simplify]: Simplify 1 into 1
7.210 * [backup-simplify]: Simplify (/ -1 1) into -1
7.210 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
7.210 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
7.210 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
7.210 * [taylor]: Taking taylor expansion of (/ -1 c) in c
7.210 * [taylor]: Taking taylor expansion of -1 in c
7.211 * [backup-simplify]: Simplify -1 into -1
7.211 * [taylor]: Taking taylor expansion of c in c
7.211 * [backup-simplify]: Simplify 0 into 0
7.211 * [backup-simplify]: Simplify 1 into 1
7.211 * [backup-simplify]: Simplify (/ -1 1) into -1
7.212 * [backup-simplify]: Simplify (- -1) into 1
7.212 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
7.212 * [taylor]: Taking taylor expansion of 2 in c
7.212 * [backup-simplify]: Simplify 2 into 2
7.212 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
7.212 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
7.212 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
7.212 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
7.213 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
7.213 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
7.213 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
7.213 * [taylor]: Taking taylor expansion of (/ -1 c) in c
7.213 * [taylor]: Taking taylor expansion of -1 in c
7.213 * [backup-simplify]: Simplify -1 into -1
7.213 * [taylor]: Taking taylor expansion of c in c
7.213 * [backup-simplify]: Simplify 0 into 0
7.213 * [backup-simplify]: Simplify 1 into 1
7.213 * [backup-simplify]: Simplify (/ -1 1) into -1
7.213 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
7.213 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
7.213 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
7.213 * [taylor]: Taking taylor expansion of (/ -1 c) in c
7.213 * [taylor]: Taking taylor expansion of -1 in c
7.214 * [backup-simplify]: Simplify -1 into -1
7.214 * [taylor]: Taking taylor expansion of c in c
7.214 * [backup-simplify]: Simplify 0 into 0
7.214 * [backup-simplify]: Simplify 1 into 1
7.214 * [backup-simplify]: Simplify (/ -1 1) into -1
7.214 * [backup-simplify]: Simplify (- -1) into 1
7.215 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
7.215 * [taylor]: Taking taylor expansion of 2 in c
7.215 * [backup-simplify]: Simplify 2 into 2
7.215 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
7.215 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
7.215 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
7.215 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
7.216 * [backup-simplify]: Simplify (- 0) into 0
7.216 * [backup-simplify]: Simplify (+ 0 0) into 0
7.217 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
7.218 * [backup-simplify]: Simplify 0 into 0
7.218 * [backup-simplify]: Simplify (- 0) into 0
7.218 * [backup-simplify]: Simplify (+ 0 0) into 0
7.220 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
7.220 * [backup-simplify]: Simplify 0 into 0
7.220 * [backup-simplify]: Simplify (- 0) into 0
7.221 * [backup-simplify]: Simplify (+ 0 0) into 0
7.223 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
7.223 * [backup-simplify]: Simplify 0 into 0
7.223 * [backup-simplify]: Simplify (- 0) into 0
7.223 * [backup-simplify]: Simplify (+ 0 0) into 0
7.226 * [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.226 * [backup-simplify]: Simplify 0 into 0
7.226 * [backup-simplify]: Simplify (- 0) into 0
7.227 * [backup-simplify]: Simplify (+ 0 0) into 0
7.229 * [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.229 * [backup-simplify]: Simplify 0 into 0
7.229 * [backup-simplify]: Simplify (- 0) into 0
7.229 * [backup-simplify]: Simplify (+ 0 0) into 0
7.231 * [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.231 * [backup-simplify]: Simplify 0 into 0
7.231 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
7.231 * * * [progress]: simplifying candidates
7.232 * [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.232 * * [simplify]: Extracting # 0 : cost  0
7.232 * * [simplify]: Extracting # 1 : cost  0
7.232 * * [simplify]: Extracting # 2 : cost  0
7.232 * * [simplify]: Extracting # 3 : cost  0
7.232 * * [simplify]: Extracting # 4 : cost  0
7.232 * * [simplify]: Extracting # 5 : cost  0
7.232 * * [simplify]: Extracting # 6 : cost  0
7.232 * * [simplify]: Extracting # 7 : cost  0
7.232 * * [simplify]: Extracting # 8 : cost  0
7.232 * * [simplify]: iteration  0 :  32  enodes  (cost  72 )
7.238 * * [simplify]: Extracting # 0 : cost  0
7.239 * * [simplify]: Extracting # 1 : cost  0
7.239 * * [simplify]: Extracting # 2 : cost  0
7.239 * * [simplify]: Extracting # 3 : cost  0
7.239 * * [simplify]: Extracting # 4 : cost  0
7.239 * * [simplify]: iteration  1 :  62  enodes  (cost  69 )
7.256 * * [simplify]: Extracting # 0 : cost  0
7.256 * * [simplify]: Extracting # 1 : cost  0
7.257 * * [simplify]: Extracting # 2 : cost  0
7.257 * * [simplify]: Extracting # 3 : cost  0
7.257 * * [simplify]: iteration  2 :  133  enodes  (cost  65 )
7.288 * * [simplify]: Extracting # 0 : cost  0
7.289 * * [simplify]: Extracting # 1 : cost  0
7.289 * * [simplify]: Extracting # 2 : cost  0
7.289 * * [simplify]: Extracting # 3 : cost  0
7.289 * * [simplify]: iteration  3 :  289  enodes  (cost  65 )
7.432 * * [simplify]: Extracting # 0 : cost  0
7.434 * * [simplify]: Extracting # 1 : cost  0
7.435 * * [simplify]: Extracting # 2 : cost  0
7.436 * * [simplify]: Extracting # 3 : cost  0
7.438 * * [simplify]: Extracting # 4 : cost  0
7.439 * * [simplify]: iteration  4 :  679  enodes  (cost  65 )
7.992 * * [simplify]: Extracting # 0 : cost  0
7.995 * * [simplify]: Extracting # 1 : cost  0
8.006 * * [simplify]: Extracting # 2 : cost  0
8.011 * * [simplify]: Extracting # 3 : cost  0
8.016 * * [simplify]: Extracting # 4 : cost  0
8.022 * * [simplify]: iteration  5 :  2680  enodes  (cost  65 )
9.582 * * [simplify]: Extracting # 0 : cost  0
9.588 * * [simplify]: Extracting # 1 : cost  0
9.593 * * [simplify]: Extracting # 2 : cost  0
9.599 * * [simplify]: Extracting # 3 : cost  0
9.605 * * [simplify]: Extracting # 4 : cost  0
9.615 * * [simplify]: iteration done:  5000  enodes  (cost  65 )
9.615 * [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))))
9.615 * * * [progress]: adding candidates to table
9.690 * * [progress]: iteration 2 / 4
9.690 * * * [progress]: picking best candidate
9.700 * * * * [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))))>
9.700 * * * [progress]: localizing error
9.716 * * * [progress]: generating rewritten candidates
9.716 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
9.717 * * * [progress]: generating series expansions
9.717 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
9.717 * [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))
9.717 * [approximate]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in (c) around 0
9.717 * [taylor]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in c
9.717 * [taylor]: Rewrote expression to (+ (* 1/6 (pow c 3)) (fma 1/120 (pow c 5) c))
9.717 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c
9.718 * [taylor]: Taking taylor expansion of 1/6 in c
9.718 * [backup-simplify]: Simplify 1/6 into 1/6
9.718 * [taylor]: Taking taylor expansion of (pow c 3) in c
9.718 * [taylor]: Taking taylor expansion of c in c
9.718 * [backup-simplify]: Simplify 0 into 0
9.718 * [backup-simplify]: Simplify 1 into 1
9.718 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c
9.718 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c)
9.718 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c
9.718 * [taylor]: Taking taylor expansion of 1/120 in c
9.718 * [backup-simplify]: Simplify 1/120 into 1/120
9.718 * [taylor]: Taking taylor expansion of (pow c 5) in c
9.718 * [taylor]: Taking taylor expansion of c in c
9.718 * [backup-simplify]: Simplify 0 into 0
9.718 * [backup-simplify]: Simplify 1 into 1
9.718 * [taylor]: Taking taylor expansion of c in c
9.718 * [backup-simplify]: Simplify 0 into 0
9.718 * [backup-simplify]: Simplify 1 into 1
9.718 * [taylor]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in c
9.718 * [taylor]: Rewrote expression to (+ (* 1/6 (pow c 3)) (fma 1/120 (pow c 5) c))
9.718 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c
9.718 * [taylor]: Taking taylor expansion of 1/6 in c
9.718 * [backup-simplify]: Simplify 1/6 into 1/6
9.718 * [taylor]: Taking taylor expansion of (pow c 3) in c
9.718 * [taylor]: Taking taylor expansion of c in c
9.718 * [backup-simplify]: Simplify 0 into 0
9.718 * [backup-simplify]: Simplify 1 into 1
9.718 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c
9.718 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c)
9.718 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c
9.718 * [taylor]: Taking taylor expansion of 1/120 in c
9.718 * [backup-simplify]: Simplify 1/120 into 1/120
9.719 * [taylor]: Taking taylor expansion of (pow c 5) in c
9.719 * [taylor]: Taking taylor expansion of c in c
9.719 * [backup-simplify]: Simplify 0 into 0
9.719 * [backup-simplify]: Simplify 1 into 1
9.719 * [taylor]: Taking taylor expansion of c in c
9.719 * [backup-simplify]: Simplify 0 into 0
9.719 * [backup-simplify]: Simplify 1 into 1
9.719 * [backup-simplify]: Simplify (+ 0 0) into 0
9.719 * [backup-simplify]: Simplify (+ 0 0) into 0
9.719 * [backup-simplify]: Simplify 0 into 0
9.720 * [backup-simplify]: Simplify (+ 0 1) into 1
9.720 * [backup-simplify]: Simplify (+ 0 1) into 1
9.720 * [backup-simplify]: Simplify 1 into 1
9.720 * [backup-simplify]: Simplify (+ 0 0) into 0
9.720 * [backup-simplify]: Simplify (+ 0 0) into 0
9.720 * [backup-simplify]: Simplify 0 into 0
9.721 * [backup-simplify]: Simplify (* 1 1) into 1
9.721 * [backup-simplify]: Simplify (* 1 1) into 1
9.721 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
9.722 * [backup-simplify]: Simplify (+ 0 0) into 0
9.722 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
9.722 * [backup-simplify]: Simplify 1/6 into 1/6
9.722 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.723 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.723 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
9.723 * [backup-simplify]: Simplify (+ 0 0) into 0
9.723 * [backup-simplify]: Simplify (+ 0 0) into 0
9.723 * [backup-simplify]: Simplify 0 into 0
9.724 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.724 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.725 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
9.725 * [backup-simplify]: Simplify (* 1 1) into 1
9.725 * [backup-simplify]: Simplify (* 1 1) into 1
9.726 * [backup-simplify]: Simplify (* 1 1) into 1
9.726 * [backup-simplify]: Simplify (* 1/120 1) into 1/120
9.726 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120
9.726 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120
9.727 * [backup-simplify]: Simplify 1/120 into 1/120
9.727 * [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))
9.727 * [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)))
9.727 * [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
9.727 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c
9.727 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 c) 3)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))
9.727 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 c) 3)) in c
9.727 * [taylor]: Taking taylor expansion of 1/6 in c
9.727 * [backup-simplify]: Simplify 1/6 into 1/6
9.727 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 3) in c
9.727 * [taylor]: Taking taylor expansion of (/ 1 c) in c
9.727 * [taylor]: Taking taylor expansion of c in c
9.727 * [backup-simplify]: Simplify 0 into 0
9.727 * [backup-simplify]: Simplify 1 into 1
9.728 * [backup-simplify]: Simplify (/ 1 1) into 1
9.728 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c
9.728 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c))
9.728 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c
9.728 * [taylor]: Taking taylor expansion of 1/120 in c
9.728 * [backup-simplify]: Simplify 1/120 into 1/120
9.728 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c
9.728 * [taylor]: Taking taylor expansion of (/ 1 c) in c
9.728 * [taylor]: Taking taylor expansion of c in c
9.728 * [backup-simplify]: Simplify 0 into 0
9.728 * [backup-simplify]: Simplify 1 into 1
9.728 * [backup-simplify]: Simplify (/ 1 1) into 1
9.728 * [taylor]: Taking taylor expansion of (/ 1 c) in c
9.728 * [taylor]: Taking taylor expansion of c in c
9.728 * [backup-simplify]: Simplify 0 into 0
9.728 * [backup-simplify]: Simplify 1 into 1
9.728 * [backup-simplify]: Simplify (/ 1 1) into 1
9.728 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c
9.729 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 c) 3)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))
9.729 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 c) 3)) in c
9.729 * [taylor]: Taking taylor expansion of 1/6 in c
9.729 * [backup-simplify]: Simplify 1/6 into 1/6
9.729 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 3) in c
9.729 * [taylor]: Taking taylor expansion of (/ 1 c) in c
9.729 * [taylor]: Taking taylor expansion of c in c
9.729 * [backup-simplify]: Simplify 0 into 0
9.729 * [backup-simplify]: Simplify 1 into 1
9.729 * [backup-simplify]: Simplify (/ 1 1) into 1
9.729 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c
9.729 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c))
9.729 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c
9.729 * [taylor]: Taking taylor expansion of 1/120 in c
9.729 * [backup-simplify]: Simplify 1/120 into 1/120
9.729 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c
9.729 * [taylor]: Taking taylor expansion of (/ 1 c) in c
9.729 * [taylor]: Taking taylor expansion of c in c
9.729 * [backup-simplify]: Simplify 0 into 0
9.729 * [backup-simplify]: Simplify 1 into 1
9.729 * [backup-simplify]: Simplify (/ 1 1) into 1
9.730 * [taylor]: Taking taylor expansion of (/ 1 c) in c
9.730 * [taylor]: Taking taylor expansion of c in c
9.730 * [backup-simplify]: Simplify 0 into 0
9.730 * [backup-simplify]: Simplify 1 into 1
9.730 * [backup-simplify]: Simplify (/ 1 1) into 1
9.730 * [backup-simplify]: Simplify (* 1 1) into 1
9.730 * [backup-simplify]: Simplify (* 1 1) into 1
9.731 * [backup-simplify]: Simplify (* 1 1) into 1
9.731 * [backup-simplify]: Simplify (* 1/120 1) into 1/120
9.731 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120
9.731 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120
9.731 * [backup-simplify]: Simplify 1/120 into 1/120
9.732 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.732 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.733 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.733 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.733 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0
9.734 * [backup-simplify]: Simplify (+ 0 0) into 0
9.734 * [backup-simplify]: Simplify (+ 0 0) into 0
9.734 * [backup-simplify]: Simplify 0 into 0
9.734 * [backup-simplify]: Simplify (* 1 1) into 1
9.734 * [backup-simplify]: Simplify (* 1 1) into 1
9.735 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
9.735 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.737 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.737 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0
9.737 * [backup-simplify]: Simplify (+ 0 0) into 0
9.738 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
9.738 * [backup-simplify]: Simplify 1/6 into 1/6
9.738 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.739 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.739 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.740 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
9.740 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.741 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.745 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.745 * [backup-simplify]: Simplify (+ 0 0) into 0
9.745 * [backup-simplify]: Simplify (+ 0 0) into 0
9.745 * [backup-simplify]: Simplify 0 into 0
9.746 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.749 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.750 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
9.750 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.754 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.755 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.756 * [backup-simplify]: Simplify (+ 0 1) into 1
9.756 * [backup-simplify]: Simplify (+ 0 1) into 1
9.756 * [backup-simplify]: Simplify 1 into 1
9.757 * [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))
9.757 * [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)))
9.757 * [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
9.757 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c
9.758 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 c) 3)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))
9.758 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 c) 3)) in c
9.758 * [taylor]: Taking taylor expansion of 1/6 in c
9.758 * [backup-simplify]: Simplify 1/6 into 1/6
9.758 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 3) in c
9.758 * [taylor]: Taking taylor expansion of (/ -1 c) in c
9.758 * [taylor]: Taking taylor expansion of -1 in c
9.758 * [backup-simplify]: Simplify -1 into -1
9.758 * [taylor]: Taking taylor expansion of c in c
9.758 * [backup-simplify]: Simplify 0 into 0
9.758 * [backup-simplify]: Simplify 1 into 1
9.758 * [backup-simplify]: Simplify (/ -1 1) into -1
9.758 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c
9.759 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c))
9.759 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c
9.759 * [taylor]: Taking taylor expansion of 1/120 in c
9.759 * [backup-simplify]: Simplify 1/120 into 1/120
9.759 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c
9.759 * [taylor]: Taking taylor expansion of (/ -1 c) in c
9.759 * [taylor]: Taking taylor expansion of -1 in c
9.759 * [backup-simplify]: Simplify -1 into -1
9.759 * [taylor]: Taking taylor expansion of c in c
9.759 * [backup-simplify]: Simplify 0 into 0
9.759 * [backup-simplify]: Simplify 1 into 1
9.759 * [backup-simplify]: Simplify (/ -1 1) into -1
9.759 * [taylor]: Taking taylor expansion of (/ -1 c) in c
9.759 * [taylor]: Taking taylor expansion of -1 in c
9.759 * [backup-simplify]: Simplify -1 into -1
9.759 * [taylor]: Taking taylor expansion of c in c
9.759 * [backup-simplify]: Simplify 0 into 0
9.759 * [backup-simplify]: Simplify 1 into 1
9.760 * [backup-simplify]: Simplify (/ -1 1) into -1
9.760 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c
9.760 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 c) 3)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))
9.760 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 c) 3)) in c
9.760 * [taylor]: Taking taylor expansion of 1/6 in c
9.760 * [backup-simplify]: Simplify 1/6 into 1/6
9.760 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 3) in c
9.760 * [taylor]: Taking taylor expansion of (/ -1 c) in c
9.760 * [taylor]: Taking taylor expansion of -1 in c
9.760 * [backup-simplify]: Simplify -1 into -1
9.760 * [taylor]: Taking taylor expansion of c in c
9.760 * [backup-simplify]: Simplify 0 into 0
9.760 * [backup-simplify]: Simplify 1 into 1
9.761 * [backup-simplify]: Simplify (/ -1 1) into -1
9.761 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c
9.761 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c))
9.761 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c
9.761 * [taylor]: Taking taylor expansion of 1/120 in c
9.761 * [backup-simplify]: Simplify 1/120 into 1/120
9.761 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c
9.761 * [taylor]: Taking taylor expansion of (/ -1 c) in c
9.761 * [taylor]: Taking taylor expansion of -1 in c
9.761 * [backup-simplify]: Simplify -1 into -1
9.761 * [taylor]: Taking taylor expansion of c in c
9.761 * [backup-simplify]: Simplify 0 into 0
9.761 * [backup-simplify]: Simplify 1 into 1
9.762 * [backup-simplify]: Simplify (/ -1 1) into -1
9.762 * [taylor]: Taking taylor expansion of (/ -1 c) in c
9.762 * [taylor]: Taking taylor expansion of -1 in c
9.762 * [backup-simplify]: Simplify -1 into -1
9.762 * [taylor]: Taking taylor expansion of c in c
9.762 * [backup-simplify]: Simplify 0 into 0
9.762 * [backup-simplify]: Simplify 1 into 1
9.762 * [backup-simplify]: Simplify (/ -1 1) into -1
9.763 * [backup-simplify]: Simplify (* -1 -1) into 1
9.763 * [backup-simplify]: Simplify (* 1 1) into 1
9.763 * [backup-simplify]: Simplify (* -1 1) into -1
9.764 * [backup-simplify]: Simplify (* 1/120 -1) into -1/120
9.764 * [backup-simplify]: Simplify (+ -1/120 0) into -1/120
9.765 * [backup-simplify]: Simplify (+ 0 -1/120) into -1/120
9.765 * [backup-simplify]: Simplify -1/120 into -1/120
9.774 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
9.775 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
9.776 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.777 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0
9.778 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 -1)) into 0
9.779 * [backup-simplify]: Simplify (+ 0 0) into 0
9.779 * [backup-simplify]: Simplify (+ 0 0) into 0
9.779 * [backup-simplify]: Simplify 0 into 0
9.780 * [backup-simplify]: Simplify (* -1 -1) into 1
9.780 * [backup-simplify]: Simplify (* -1 1) into -1
9.781 * [backup-simplify]: Simplify (* 1/6 -1) into -1/6
9.782 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.783 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
9.783 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.784 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0
9.784 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 -1))) into 0
9.785 * [backup-simplify]: Simplify (+ 0 0) into 0
9.785 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
9.785 * [backup-simplify]: Simplify -1/6 into -1/6
9.786 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
9.786 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
9.787 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0
9.787 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 -1)) into 0
9.788 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.788 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
9.789 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.790 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.790 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
9.791 * [backup-simplify]: Simplify (+ 0 0) into 0
9.791 * [backup-simplify]: Simplify (+ 0 0) into 0
9.791 * [backup-simplify]: Simplify 0 into 0
9.791 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.792 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
9.793 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0
9.793 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 -1))) into 0
9.794 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.794 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
9.795 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.796 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.797 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
9.797 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.797 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.797 * [backup-simplify]: Simplify -1 into -1
9.798 * [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))
9.798 * * * [progress]: simplifying candidates
9.798 * [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))
9.798 * * [simplify]: Extracting # 0 : cost  0
9.798 * * [simplify]: Extracting # 1 : cost  0
9.799 * * [simplify]: Extracting # 2 : cost  0
9.799 * * [simplify]: Extracting # 3 : cost  0
9.799 * * [simplify]: Extracting # 4 : cost  0
9.799 * * [simplify]: Extracting # 5 : cost  0
9.799 * * [simplify]: Extracting # 6 : cost  0
9.799 * * [simplify]: Extracting # 7 : cost  0
9.799 * * [simplify]: Extracting # 8 : cost  0
9.799 * * [simplify]: iteration  0 :  22  enodes  (cost  188 )
9.804 * * [simplify]: Extracting # 0 : cost  0
9.804 * * [simplify]: Extracting # 1 : cost  0
9.804 * * [simplify]: Extracting # 2 : cost  0
9.804 * * [simplify]: Extracting # 3 : cost  0
9.804 * * [simplify]: Extracting # 4 : cost  0
9.804 * * [simplify]: iteration  1 :  42  enodes  (cost  182 )
9.814 * * [simplify]: Extracting # 0 : cost  0
9.815 * * [simplify]: Extracting # 1 : cost  0
9.815 * * [simplify]: Extracting # 2 : cost  0
9.815 * * [simplify]: Extracting # 3 : cost  0
9.815 * * [simplify]: iteration  2 :  116  enodes  (cost  160 )
9.912 * * [simplify]: Extracting # 0 : cost  0
9.913 * * [simplify]: Extracting # 1 : cost  0
9.914 * * [simplify]: Extracting # 2 : cost  0
9.914 * * [simplify]: Extracting # 3 : cost  0
9.915 * * [simplify]: Extracting # 4 : cost  0
9.915 * * [simplify]: iteration  3 :  558  enodes  (cost  160 )
11.183 * * [simplify]: Extracting # 0 : cost  0
11.193 * * [simplify]: Extracting # 1 : cost  0
11.201 * * [simplify]: Extracting # 2 : cost  0
11.208 * * [simplify]: Extracting # 3 : cost  0
11.215 * * [simplify]: Extracting # 4 : cost  0
11.232 * * [simplify]: Extracting # 5 : cost  0
11.241 * * [simplify]: iteration  4 :  3920  enodes  (cost  160 )
13.692 * * [simplify]: Extracting # 0 : cost  0
13.697 * * [simplify]: Extracting # 1 : cost  0
13.702 * * [simplify]: iteration done:  5000  enodes  (cost  160 )
13.702 * [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))
13.703 * * * [progress]: adding candidates to table
13.753 * * [progress]: iteration 3 / 4
13.753 * * * [progress]: picking best candidate
13.756 * * * * [pick]: Picked  #<alt (λ (c) (fmod (log (exp (sinh c))) (- c (pow -2.9807307601812193e+165 2.0))))>
13.756 * * * [progress]: localizing error
13.768 * * * [progress]: generating rewritten candidates
13.768 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
13.777 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 1)
13.780 * * * [progress]: generating series expansions
13.780 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
13.781 * [backup-simplify]: Simplify (log (exp (sinh c))) into (sinh c)
13.781 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
13.781 * [taylor]: Taking taylor expansion of (sinh c) in c
13.781 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
13.781 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
13.781 * [taylor]: Taking taylor expansion of (exp c) in c
13.781 * [taylor]: Taking taylor expansion of c in c
13.781 * [backup-simplify]: Simplify 0 into 0
13.781 * [backup-simplify]: Simplify 1 into 1
13.781 * [backup-simplify]: Simplify (exp 0) into 1
13.781 * [taylor]: Taking taylor expansion of (exp (- c)) in c
13.781 * [taylor]: Taking taylor expansion of (- c) in c
13.781 * [taylor]: Taking taylor expansion of c in c
13.781 * [backup-simplify]: Simplify 0 into 0
13.781 * [backup-simplify]: Simplify 1 into 1
13.782 * [backup-simplify]: Simplify (- 0) into 0
13.782 * [backup-simplify]: Simplify (- 1) into -1
13.782 * [backup-simplify]: Simplify (exp 0) into 1
13.782 * [taylor]: Taking taylor expansion of 2 in c
13.782 * [backup-simplify]: Simplify 2 into 2
13.783 * [backup-simplify]: Simplify (- 1) into -1
13.783 * [backup-simplify]: Simplify (+ 1 -1) into 0
13.784 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
13.785 * [backup-simplify]: Simplify (- 1) into -1
13.786 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
13.786 * [backup-simplify]: Simplify (- -1) into 1
13.787 * [backup-simplify]: Simplify (+ 1 1) into 2
13.787 * [backup-simplify]: Simplify (/ 2 2) into 1
13.787 * [taylor]: Taking taylor expansion of (sinh c) in c
13.787 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
13.787 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
13.787 * [taylor]: Taking taylor expansion of (exp c) in c
13.787 * [taylor]: Taking taylor expansion of c in c
13.787 * [backup-simplify]: Simplify 0 into 0
13.787 * [backup-simplify]: Simplify 1 into 1
13.787 * [backup-simplify]: Simplify (exp 0) into 1
13.787 * [taylor]: Taking taylor expansion of (exp (- c)) in c
13.787 * [taylor]: Taking taylor expansion of (- c) in c
13.787 * [taylor]: Taking taylor expansion of c in c
13.787 * [backup-simplify]: Simplify 0 into 0
13.788 * [backup-simplify]: Simplify 1 into 1
13.788 * [backup-simplify]: Simplify (- 0) into 0
13.788 * [backup-simplify]: Simplify (- 1) into -1
13.788 * [backup-simplify]: Simplify (exp 0) into 1
13.788 * [taylor]: Taking taylor expansion of 2 in c
13.788 * [backup-simplify]: Simplify 2 into 2
13.789 * [backup-simplify]: Simplify (- 1) into -1
13.789 * [backup-simplify]: Simplify (+ 1 -1) into 0
13.790 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
13.791 * [backup-simplify]: Simplify (- 1) into -1
13.792 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
13.792 * [backup-simplify]: Simplify (- -1) into 1
13.793 * [backup-simplify]: Simplify (+ 1 1) into 2
13.793 * [backup-simplify]: Simplify (/ 2 2) into 1
13.793 * [backup-simplify]: Simplify 1 into 1
13.795 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
13.796 * [backup-simplify]: Simplify (- 1) into -1
13.796 * [backup-simplify]: Simplify (- 0) into 0
13.798 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
13.798 * [backup-simplify]: Simplify (- 1/2) into -1/2
13.798 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
13.799 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
13.799 * [backup-simplify]: Simplify 0 into 0
13.801 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
13.801 * [backup-simplify]: Simplify (- 1) into -1
13.801 * [backup-simplify]: Simplify (- 1) into -1
13.801 * [backup-simplify]: Simplify (- 0) into 0
13.802 * [backup-simplify]: Simplify (- 0) into 0
13.803 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
13.803 * [backup-simplify]: Simplify (- -1/6) into 1/6
13.803 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
13.804 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
13.804 * [backup-simplify]: Simplify 1/6 into 1/6
13.806 * [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
13.807 * [backup-simplify]: Simplify (- 1) into -1
13.807 * [backup-simplify]: Simplify (- 1) into -1
13.807 * [backup-simplify]: Simplify (- 0) into 0
13.807 * [backup-simplify]: Simplify (- 1) into -1
13.808 * [backup-simplify]: Simplify (- 0) into 0
13.808 * [backup-simplify]: Simplify (- 0) into 0
13.808 * [backup-simplify]: Simplify (- 0) into 0
13.810 * [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
13.811 * [backup-simplify]: Simplify (- 1/24) into -1/24
13.811 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
13.811 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
13.811 * [backup-simplify]: Simplify 0 into 0
13.815 * [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
13.815 * [backup-simplify]: Simplify (- 1) into -1
13.815 * [backup-simplify]: Simplify (- 1) into -1
13.815 * [backup-simplify]: Simplify (- 0) into 0
13.816 * [backup-simplify]: Simplify (- 1) into -1
13.816 * [backup-simplify]: Simplify (- 0) into 0
13.816 * [backup-simplify]: Simplify (- 1) into -1
13.816 * [backup-simplify]: Simplify (- 0) into 0
13.817 * [backup-simplify]: Simplify (- 1) into -1
13.817 * [backup-simplify]: Simplify (- 0) into 0
13.817 * [backup-simplify]: Simplify (- 0) into 0
13.817 * [backup-simplify]: Simplify (- 0) into 0
13.817 * [backup-simplify]: Simplify (- 0) into 0
13.821 * [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
13.821 * [backup-simplify]: Simplify (- -1/120) into 1/120
13.821 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
13.822 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
13.822 * [backup-simplify]: Simplify 1/120 into 1/120
13.822 * [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))
13.823 * [backup-simplify]: Simplify (log (exp (sinh (/ 1 c)))) into (sinh (/ 1 c))
13.823 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
13.823 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
13.823 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
13.823 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
13.823 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
13.823 * [taylor]: Taking taylor expansion of (/ 1 c) in c
13.823 * [taylor]: Taking taylor expansion of c in c
13.823 * [backup-simplify]: Simplify 0 into 0
13.823 * [backup-simplify]: Simplify 1 into 1
13.823 * [backup-simplify]: Simplify (/ 1 1) into 1
13.823 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
13.823 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
13.823 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
13.823 * [taylor]: Taking taylor expansion of (/ 1 c) in c
13.823 * [taylor]: Taking taylor expansion of c in c
13.823 * [backup-simplify]: Simplify 0 into 0
13.823 * [backup-simplify]: Simplify 1 into 1
13.823 * [backup-simplify]: Simplify (/ 1 1) into 1
13.824 * [backup-simplify]: Simplify (- 1) into -1
13.824 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
13.824 * [taylor]: Taking taylor expansion of 2 in c
13.824 * [backup-simplify]: Simplify 2 into 2
13.824 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
13.824 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
13.824 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
13.824 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
13.824 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
13.824 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
13.824 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
13.824 * [taylor]: Taking taylor expansion of (/ 1 c) in c
13.824 * [taylor]: Taking taylor expansion of c in c
13.824 * [backup-simplify]: Simplify 0 into 0
13.824 * [backup-simplify]: Simplify 1 into 1
13.825 * [backup-simplify]: Simplify (/ 1 1) into 1
13.825 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
13.825 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
13.825 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
13.825 * [taylor]: Taking taylor expansion of (/ 1 c) in c
13.825 * [taylor]: Taking taylor expansion of c in c
13.825 * [backup-simplify]: Simplify 0 into 0
13.825 * [backup-simplify]: Simplify 1 into 1
13.825 * [backup-simplify]: Simplify (/ 1 1) into 1
13.825 * [backup-simplify]: Simplify (- 1) into -1
13.825 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
13.825 * [taylor]: Taking taylor expansion of 2 in c
13.825 * [backup-simplify]: Simplify 2 into 2
13.825 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
13.826 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
13.826 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
13.826 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
13.831 * [backup-simplify]: Simplify (- 0) into 0
13.831 * [backup-simplify]: Simplify (+ 0 0) into 0
13.832 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
13.832 * [backup-simplify]: Simplify 0 into 0
13.832 * [backup-simplify]: Simplify (- 0) into 0
13.832 * [backup-simplify]: Simplify (+ 0 0) into 0
13.834 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.834 * [backup-simplify]: Simplify 0 into 0
13.834 * [backup-simplify]: Simplify (- 0) into 0
13.834 * [backup-simplify]: Simplify (+ 0 0) into 0
13.835 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.835 * [backup-simplify]: Simplify 0 into 0
13.836 * [backup-simplify]: Simplify (- 0) into 0
13.836 * [backup-simplify]: Simplify (+ 0 0) into 0
13.837 * [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
13.837 * [backup-simplify]: Simplify 0 into 0
13.838 * [backup-simplify]: Simplify (- 0) into 0
13.838 * [backup-simplify]: Simplify (+ 0 0) into 0
13.840 * [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
13.840 * [backup-simplify]: Simplify 0 into 0
13.840 * [backup-simplify]: Simplify (- 0) into 0
13.840 * [backup-simplify]: Simplify (+ 0 0) into 0
13.842 * [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
13.842 * [backup-simplify]: Simplify 0 into 0
13.842 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
13.842 * [backup-simplify]: Simplify (log (exp (sinh (/ 1 (- c))))) into (sinh (/ -1 c))
13.842 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
13.842 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
13.843 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
13.843 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
13.843 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
13.843 * [taylor]: Taking taylor expansion of (/ -1 c) in c
13.843 * [taylor]: Taking taylor expansion of -1 in c
13.843 * [backup-simplify]: Simplify -1 into -1
13.843 * [taylor]: Taking taylor expansion of c in c
13.843 * [backup-simplify]: Simplify 0 into 0
13.843 * [backup-simplify]: Simplify 1 into 1
13.843 * [backup-simplify]: Simplify (/ -1 1) into -1
13.843 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
13.843 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
13.843 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
13.843 * [taylor]: Taking taylor expansion of (/ -1 c) in c
13.843 * [taylor]: Taking taylor expansion of -1 in c
13.843 * [backup-simplify]: Simplify -1 into -1
13.843 * [taylor]: Taking taylor expansion of c in c
13.843 * [backup-simplify]: Simplify 0 into 0
13.844 * [backup-simplify]: Simplify 1 into 1
13.844 * [backup-simplify]: Simplify (/ -1 1) into -1
13.844 * [backup-simplify]: Simplify (- -1) into 1
13.844 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
13.844 * [taylor]: Taking taylor expansion of 2 in c
13.844 * [backup-simplify]: Simplify 2 into 2
13.844 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
13.844 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
13.844 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
13.844 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
13.844 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
13.845 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
13.845 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
13.845 * [taylor]: Taking taylor expansion of (/ -1 c) in c
13.845 * [taylor]: Taking taylor expansion of -1 in c
13.845 * [backup-simplify]: Simplify -1 into -1
13.845 * [taylor]: Taking taylor expansion of c in c
13.845 * [backup-simplify]: Simplify 0 into 0
13.845 * [backup-simplify]: Simplify 1 into 1
13.845 * [backup-simplify]: Simplify (/ -1 1) into -1
13.845 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
13.845 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
13.845 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
13.845 * [taylor]: Taking taylor expansion of (/ -1 c) in c
13.845 * [taylor]: Taking taylor expansion of -1 in c
13.845 * [backup-simplify]: Simplify -1 into -1
13.845 * [taylor]: Taking taylor expansion of c in c
13.845 * [backup-simplify]: Simplify 0 into 0
13.845 * [backup-simplify]: Simplify 1 into 1
13.845 * [backup-simplify]: Simplify (/ -1 1) into -1
13.846 * [backup-simplify]: Simplify (- -1) into 1
13.846 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
13.846 * [taylor]: Taking taylor expansion of 2 in c
13.846 * [backup-simplify]: Simplify 2 into 2
13.846 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
13.846 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
13.846 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
13.846 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
13.846 * [backup-simplify]: Simplify (- 0) into 0
13.847 * [backup-simplify]: Simplify (+ 0 0) into 0
13.847 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
13.847 * [backup-simplify]: Simplify 0 into 0
13.847 * [backup-simplify]: Simplify (- 0) into 0
13.848 * [backup-simplify]: Simplify (+ 0 0) into 0
13.849 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.849 * [backup-simplify]: Simplify 0 into 0
13.849 * [backup-simplify]: Simplify (- 0) into 0
13.849 * [backup-simplify]: Simplify (+ 0 0) into 0
13.850 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.850 * [backup-simplify]: Simplify 0 into 0
13.851 * [backup-simplify]: Simplify (- 0) into 0
13.851 * [backup-simplify]: Simplify (+ 0 0) into 0
13.852 * [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
13.852 * [backup-simplify]: Simplify 0 into 0
13.853 * [backup-simplify]: Simplify (- 0) into 0
13.853 * [backup-simplify]: Simplify (+ 0 0) into 0
13.854 * [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
13.855 * [backup-simplify]: Simplify 0 into 0
13.855 * [backup-simplify]: Simplify (- 0) into 0
13.855 * [backup-simplify]: Simplify (+ 0 0) into 0
13.857 * [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
13.857 * [backup-simplify]: Simplify 0 into 0
13.857 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
13.857 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 1)
13.857 * [backup-simplify]: Simplify (sinh c) into (sinh c)
13.857 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
13.857 * [taylor]: Taking taylor expansion of (sinh c) in c
13.857 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
13.857 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
13.857 * [taylor]: Taking taylor expansion of (exp c) in c
13.857 * [taylor]: Taking taylor expansion of c in c
13.858 * [backup-simplify]: Simplify 0 into 0
13.858 * [backup-simplify]: Simplify 1 into 1
13.858 * [backup-simplify]: Simplify (exp 0) into 1
13.858 * [taylor]: Taking taylor expansion of (exp (- c)) in c
13.858 * [taylor]: Taking taylor expansion of (- c) in c
13.858 * [taylor]: Taking taylor expansion of c in c
13.858 * [backup-simplify]: Simplify 0 into 0
13.858 * [backup-simplify]: Simplify 1 into 1
13.858 * [backup-simplify]: Simplify (- 0) into 0
13.858 * [backup-simplify]: Simplify (- 1) into -1
13.858 * [backup-simplify]: Simplify (exp 0) into 1
13.858 * [taylor]: Taking taylor expansion of 2 in c
13.858 * [backup-simplify]: Simplify 2 into 2
13.858 * [backup-simplify]: Simplify (- 1) into -1
13.859 * [backup-simplify]: Simplify (+ 1 -1) into 0
13.859 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
13.859 * [backup-simplify]: Simplify (- 1) into -1
13.860 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
13.860 * [backup-simplify]: Simplify (- -1) into 1
13.861 * [backup-simplify]: Simplify (+ 1 1) into 2
13.861 * [backup-simplify]: Simplify (/ 2 2) into 1
13.861 * [taylor]: Taking taylor expansion of (sinh c) in c
13.861 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
13.861 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
13.861 * [taylor]: Taking taylor expansion of (exp c) in c
13.861 * [taylor]: Taking taylor expansion of c in c
13.861 * [backup-simplify]: Simplify 0 into 0
13.861 * [backup-simplify]: Simplify 1 into 1
13.861 * [backup-simplify]: Simplify (exp 0) into 1
13.861 * [taylor]: Taking taylor expansion of (exp (- c)) in c
13.861 * [taylor]: Taking taylor expansion of (- c) in c
13.861 * [taylor]: Taking taylor expansion of c in c
13.861 * [backup-simplify]: Simplify 0 into 0
13.861 * [backup-simplify]: Simplify 1 into 1
13.861 * [backup-simplify]: Simplify (- 0) into 0
13.862 * [backup-simplify]: Simplify (- 1) into -1
13.862 * [backup-simplify]: Simplify (exp 0) into 1
13.862 * [taylor]: Taking taylor expansion of 2 in c
13.862 * [backup-simplify]: Simplify 2 into 2
13.862 * [backup-simplify]: Simplify (- 1) into -1
13.862 * [backup-simplify]: Simplify (+ 1 -1) into 0
13.863 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
13.863 * [backup-simplify]: Simplify (- 1) into -1
13.864 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
13.864 * [backup-simplify]: Simplify (- -1) into 1
13.864 * [backup-simplify]: Simplify (+ 1 1) into 2
13.864 * [backup-simplify]: Simplify (/ 2 2) into 1
13.864 * [backup-simplify]: Simplify 1 into 1
13.865 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
13.866 * [backup-simplify]: Simplify (- 1) into -1
13.866 * [backup-simplify]: Simplify (- 0) into 0
13.867 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
13.867 * [backup-simplify]: Simplify (- 1/2) into -1/2
13.867 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
13.868 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
13.868 * [backup-simplify]: Simplify 0 into 0
13.869 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
13.869 * [backup-simplify]: Simplify (- 1) into -1
13.870 * [backup-simplify]: Simplify (- 1) into -1
13.870 * [backup-simplify]: Simplify (- 0) into 0
13.870 * [backup-simplify]: Simplify (- 0) into 0
13.871 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
13.872 * [backup-simplify]: Simplify (- -1/6) into 1/6
13.872 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
13.873 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
13.873 * [backup-simplify]: Simplify 1/6 into 1/6
13.875 * [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
13.875 * [backup-simplify]: Simplify (- 1) into -1
13.875 * [backup-simplify]: Simplify (- 1) into -1
13.876 * [backup-simplify]: Simplify (- 0) into 0
13.876 * [backup-simplify]: Simplify (- 1) into -1
13.876 * [backup-simplify]: Simplify (- 0) into 0
13.876 * [backup-simplify]: Simplify (- 0) into 0
13.877 * [backup-simplify]: Simplify (- 0) into 0
13.879 * [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
13.879 * [backup-simplify]: Simplify (- 1/24) into -1/24
13.879 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
13.880 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
13.880 * [backup-simplify]: Simplify 0 into 0
13.884 * [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
13.884 * [backup-simplify]: Simplify (- 1) into -1
13.884 * [backup-simplify]: Simplify (- 1) into -1
13.884 * [backup-simplify]: Simplify (- 0) into 0
13.885 * [backup-simplify]: Simplify (- 1) into -1
13.885 * [backup-simplify]: Simplify (- 0) into 0
13.885 * [backup-simplify]: Simplify (- 1) into -1
13.885 * [backup-simplify]: Simplify (- 0) into 0
13.885 * [backup-simplify]: Simplify (- 1) into -1
13.886 * [backup-simplify]: Simplify (- 0) into 0
13.886 * [backup-simplify]: Simplify (- 0) into 0
13.886 * [backup-simplify]: Simplify (- 0) into 0
13.886 * [backup-simplify]: Simplify (- 0) into 0
13.890 * [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
13.890 * [backup-simplify]: Simplify (- -1/120) into 1/120
13.890 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
13.891 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
13.891 * [backup-simplify]: Simplify 1/120 into 1/120
13.891 * [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))
13.891 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c))
13.891 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
13.891 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
13.891 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
13.891 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
13.892 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
13.892 * [taylor]: Taking taylor expansion of (/ 1 c) in c
13.892 * [taylor]: Taking taylor expansion of c in c
13.892 * [backup-simplify]: Simplify 0 into 0
13.892 * [backup-simplify]: Simplify 1 into 1
13.892 * [backup-simplify]: Simplify (/ 1 1) into 1
13.892 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
13.892 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
13.892 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
13.892 * [taylor]: Taking taylor expansion of (/ 1 c) in c
13.892 * [taylor]: Taking taylor expansion of c in c
13.892 * [backup-simplify]: Simplify 0 into 0
13.892 * [backup-simplify]: Simplify 1 into 1
13.892 * [backup-simplify]: Simplify (/ 1 1) into 1
13.892 * [backup-simplify]: Simplify (- 1) into -1
13.893 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
13.893 * [taylor]: Taking taylor expansion of 2 in c
13.893 * [backup-simplify]: Simplify 2 into 2
13.893 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
13.893 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
13.893 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
13.893 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
13.893 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
13.893 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
13.893 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
13.893 * [taylor]: Taking taylor expansion of (/ 1 c) in c
13.893 * [taylor]: Taking taylor expansion of c in c
13.893 * [backup-simplify]: Simplify 0 into 0
13.893 * [backup-simplify]: Simplify 1 into 1
13.894 * [backup-simplify]: Simplify (/ 1 1) into 1
13.894 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
13.894 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
13.894 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
13.894 * [taylor]: Taking taylor expansion of (/ 1 c) in c
13.894 * [taylor]: Taking taylor expansion of c in c
13.894 * [backup-simplify]: Simplify 0 into 0
13.894 * [backup-simplify]: Simplify 1 into 1
13.894 * [backup-simplify]: Simplify (/ 1 1) into 1
13.894 * [backup-simplify]: Simplify (- 1) into -1
13.894 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
13.894 * [taylor]: Taking taylor expansion of 2 in c
13.894 * [backup-simplify]: Simplify 2 into 2
13.894 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
13.894 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
13.895 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
13.895 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
13.895 * [backup-simplify]: Simplify (- 0) into 0
13.895 * [backup-simplify]: Simplify (+ 0 0) into 0
13.896 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
13.896 * [backup-simplify]: Simplify 0 into 0
13.896 * [backup-simplify]: Simplify (- 0) into 0
13.896 * [backup-simplify]: Simplify (+ 0 0) into 0
13.897 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.897 * [backup-simplify]: Simplify 0 into 0
13.898 * [backup-simplify]: Simplify (- 0) into 0
13.898 * [backup-simplify]: Simplify (+ 0 0) into 0
13.899 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.899 * [backup-simplify]: Simplify 0 into 0
13.899 * [backup-simplify]: Simplify (- 0) into 0
13.899 * [backup-simplify]: Simplify (+ 0 0) into 0
13.901 * [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
13.901 * [backup-simplify]: Simplify 0 into 0
13.901 * [backup-simplify]: Simplify (- 0) into 0
13.901 * [backup-simplify]: Simplify (+ 0 0) into 0
13.903 * [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
13.903 * [backup-simplify]: Simplify 0 into 0
13.903 * [backup-simplify]: Simplify (- 0) into 0
13.904 * [backup-simplify]: Simplify (+ 0 0) into 0
13.906 * [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
13.906 * [backup-simplify]: Simplify 0 into 0
13.906 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
13.906 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c))
13.906 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
13.906 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
13.906 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
13.906 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
13.906 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
13.906 * [taylor]: Taking taylor expansion of (/ -1 c) in c
13.906 * [taylor]: Taking taylor expansion of -1 in c
13.906 * [backup-simplify]: Simplify -1 into -1
13.906 * [taylor]: Taking taylor expansion of c in c
13.906 * [backup-simplify]: Simplify 0 into 0
13.906 * [backup-simplify]: Simplify 1 into 1
13.907 * [backup-simplify]: Simplify (/ -1 1) into -1
13.907 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
13.907 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
13.907 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
13.907 * [taylor]: Taking taylor expansion of (/ -1 c) in c
13.907 * [taylor]: Taking taylor expansion of -1 in c
13.907 * [backup-simplify]: Simplify -1 into -1
13.907 * [taylor]: Taking taylor expansion of c in c
13.907 * [backup-simplify]: Simplify 0 into 0
13.907 * [backup-simplify]: Simplify 1 into 1
13.907 * [backup-simplify]: Simplify (/ -1 1) into -1
13.907 * [backup-simplify]: Simplify (- -1) into 1
13.907 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
13.907 * [taylor]: Taking taylor expansion of 2 in c
13.907 * [backup-simplify]: Simplify 2 into 2
13.908 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
13.908 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
13.908 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
13.908 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
13.908 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
13.908 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
13.908 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
13.908 * [taylor]: Taking taylor expansion of (/ -1 c) in c
13.908 * [taylor]: Taking taylor expansion of -1 in c
13.908 * [backup-simplify]: Simplify -1 into -1
13.908 * [taylor]: Taking taylor expansion of c in c
13.908 * [backup-simplify]: Simplify 0 into 0
13.908 * [backup-simplify]: Simplify 1 into 1
13.908 * [backup-simplify]: Simplify (/ -1 1) into -1
13.908 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
13.908 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
13.908 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
13.908 * [taylor]: Taking taylor expansion of (/ -1 c) in c
13.908 * [taylor]: Taking taylor expansion of -1 in c
13.908 * [backup-simplify]: Simplify -1 into -1
13.908 * [taylor]: Taking taylor expansion of c in c
13.908 * [backup-simplify]: Simplify 0 into 0
13.909 * [backup-simplify]: Simplify 1 into 1
13.909 * [backup-simplify]: Simplify (/ -1 1) into -1
13.909 * [backup-simplify]: Simplify (- -1) into 1
13.909 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
13.909 * [taylor]: Taking taylor expansion of 2 in c
13.909 * [backup-simplify]: Simplify 2 into 2
13.909 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
13.909 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
13.909 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
13.910 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
13.910 * [backup-simplify]: Simplify (- 0) into 0
13.910 * [backup-simplify]: Simplify (+ 0 0) into 0
13.911 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
13.911 * [backup-simplify]: Simplify 0 into 0
13.911 * [backup-simplify]: Simplify (- 0) into 0
13.911 * [backup-simplify]: Simplify (+ 0 0) into 0
13.912 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.912 * [backup-simplify]: Simplify 0 into 0
13.912 * [backup-simplify]: Simplify (- 0) into 0
13.912 * [backup-simplify]: Simplify (+ 0 0) into 0
13.914 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.914 * [backup-simplify]: Simplify 0 into 0
13.914 * [backup-simplify]: Simplify (- 0) into 0
13.914 * [backup-simplify]: Simplify (+ 0 0) into 0
13.916 * [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
13.916 * [backup-simplify]: Simplify 0 into 0
13.917 * [backup-simplify]: Simplify (- 0) into 0
13.917 * [backup-simplify]: Simplify (+ 0 0) into 0
13.924 * [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
13.924 * [backup-simplify]: Simplify 0 into 0
13.925 * [backup-simplify]: Simplify (- 0) into 0
13.925 * [backup-simplify]: Simplify (+ 0 0) into 0
13.928 * [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
13.929 * [backup-simplify]: Simplify 0 into 0
13.929 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
13.929 * * * [progress]: simplifying candidates
13.930 * [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))))
13.931 * * [simplify]: Extracting # 0 : cost  0
13.931 * * [simplify]: Extracting # 1 : cost  0
13.931 * * [simplify]: Extracting # 2 : cost  0
13.931 * * [simplify]: Extracting # 3 : cost  0
13.931 * * [simplify]: Extracting # 4 : cost  0
13.931 * * [simplify]: Extracting # 5 : cost  0
13.932 * * [simplify]: Extracting # 6 : cost  0
13.932 * * [simplify]: Extracting # 7 : cost  0
13.932 * * [simplify]: Extracting # 8 : cost  0
13.932 * * [simplify]: Extracting # 9 : cost  0
13.932 * * [simplify]: iteration  0 :  56  enodes  (cost  214 )
13.948 * * [simplify]: Extracting # 0 : cost  0
13.949 * * [simplify]: Extracting # 1 : cost  0
13.949 * * [simplify]: Extracting # 2 : cost  0
13.949 * * [simplify]: Extracting # 3 : cost  0
13.949 * * [simplify]: iteration  1 :  91  enodes  (cost  173 )
13.963 * * [simplify]: Extracting # 0 : cost  0
13.963 * * [simplify]: Extracting # 1 : cost  0
13.963 * * [simplify]: Extracting # 2 : cost  0
13.963 * * [simplify]: Extracting # 3 : cost  0
13.964 * * [simplify]: Extracting # 4 : cost  0
13.964 * * [simplify]: iteration  2 :  165  enodes  (cost  162 )
14.010 * * [simplify]: Extracting # 0 : cost  0
14.011 * * [simplify]: Extracting # 1 : cost  0
14.011 * * [simplify]: Extracting # 2 : cost  0
14.011 * * [simplify]: Extracting # 3 : cost  0
14.012 * * [simplify]: iteration  3 :  331  enodes  (cost  162 )
14.121 * * [simplify]: Extracting # 0 : cost  0
14.122 * * [simplify]: Extracting # 1 : cost  0
14.124 * * [simplify]: Extracting # 2 : cost  0
14.125 * * [simplify]: Extracting # 3 : cost  0
14.127 * * [simplify]: Extracting # 4 : cost  0
14.128 * * [simplify]: iteration  4 :  747  enodes  (cost  162 )
14.722 * * [simplify]: Extracting # 0 : cost  0
14.730 * * [simplify]: Extracting # 1 : cost  0
14.736 * * [simplify]: Extracting # 2 : cost  0
14.741 * * [simplify]: Extracting # 3 : cost  0
14.746 * * [simplify]: Extracting # 4 : cost  0
14.752 * * [simplify]: iteration  5 :  2824  enodes  (cost  162 )
16.387 * * [simplify]: Extracting # 0 : cost  0
16.399 * * [simplify]: Extracting # 1 : cost  0
16.405 * * [simplify]: Extracting # 2 : cost  0
16.411 * * [simplify]: Extracting # 3 : cost  0
16.417 * * [simplify]: iteration done:  5001  enodes  (cost  162 )
16.417 * [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))))
16.417 * * * [progress]: adding candidates to table
16.555 * [progress]: [Phase 3 of 3] Extracting.
16.555 * * [regime]: Finding splitpoints for: (#<alt (λ (c) (fmod (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (log (exp (sinh c))) (- c (pow -2.9807307601812193e+165 2.0))))>)
16.555 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c)
16.556 * * * * [regimes]: Trying to branch on (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) from (#<alt (λ (c) (fmod (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (log (exp (sinh c))) (- c (pow -2.9807307601812193e+165 2.0))))>)
16.594 * * * * [regimes]: Trying to branch on c from (#<alt (λ (c) (fmod (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (log (exp (sinh c))) (- c (pow -2.9807307601812193e+165 2.0))))>)
16.611 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
16.611 * [simplify]: Simplifying:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
16.611 * * [simplify]: Extracting # 0 : cost  0
16.611 * * [simplify]: Extracting # 1 : cost  0
16.611 * * [simplify]: Extracting # 2 : cost  0
16.612 * * [simplify]: Extracting # 3 : cost  0
16.612 * * [simplify]: Extracting # 4 : cost  0
16.612 * * [simplify]: Extracting # 5 : cost  0
16.612 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
16.612 * * [simplify]: Extracting # 0 : cost  0
16.612 * * [simplify]: iteration done:  7  enodes  (cost  8 )
16.612 * [simplify]: Simplified to:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
23.779 * [regime-testing]: Baseline error score: 0.007375921990248781
23.780 * [regime-testing]: Oracle error score: 0.0023752969121140144
23.781 * [regime-testing]: End program error score: 0.007375921990248781