48.114 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.168 * * * [progress]: [2/2] Setting up program. 0.171 * [progress]: [Phase 2 of 3] Improving. 0.172 * [simplify]: Simplifying: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 0.172 * [simplify]: Sending expressions to egg_math: (fmod (sinh h0) (- h0 (pow -2.9807307601812193e+165 2.0))) 1.150 * * [progress]: iteration 1 / 4 1.150 * * * [progress]: picking best candidate 1.153 * * * * [pick]: Picked # 1.153 * * * [progress]: localizing error 1.162 * * * [progress]: generating rewritten candidates 1.162 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 1.164 * * * [progress]: generating series expansions 1.164 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 1.164 * [backup-simplify]: Simplify (sinh c) into (sinh c) 1.164 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 1.164 * [taylor]: Taking taylor expansion of (sinh c) in c 1.165 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1.165 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1.165 * [taylor]: Taking taylor expansion of (exp c) in c 1.165 * [taylor]: Taking taylor expansion of c in c 1.165 * [backup-simplify]: Simplify 0 into 0 1.165 * [backup-simplify]: Simplify 1 into 1 1.165 * [backup-simplify]: Simplify (exp 0) into 1 1.165 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.165 * [taylor]: Taking taylor expansion of (- c) in c 1.165 * [taylor]: Taking taylor expansion of c in c 1.165 * [backup-simplify]: Simplify 0 into 0 1.165 * [backup-simplify]: Simplify 1 into 1 1.165 * [backup-simplify]: Simplify (- 0) into 0 1.166 * [backup-simplify]: Simplify (- 1) into -1 1.166 * [backup-simplify]: Simplify (exp 0) into 1 1.166 * [taylor]: Taking taylor expansion of 2 in c 1.166 * [backup-simplify]: Simplify 2 into 2 1.166 * [backup-simplify]: Simplify (- 1) into -1 1.166 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.167 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.167 * [backup-simplify]: Simplify (- 1) into -1 1.168 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1.168 * [backup-simplify]: Simplify (- -1) into 1 1.168 * [backup-simplify]: Simplify (+ 1 1) into 2 1.169 * [backup-simplify]: Simplify (/ 2 2) into 1 1.169 * [taylor]: Taking taylor expansion of (sinh c) in c 1.169 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1.169 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1.169 * [taylor]: Taking taylor expansion of (exp c) in c 1.169 * [taylor]: Taking taylor expansion of c in c 1.169 * [backup-simplify]: Simplify 0 into 0 1.169 * [backup-simplify]: Simplify 1 into 1 1.169 * [backup-simplify]: Simplify (exp 0) into 1 1.169 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.169 * [taylor]: Taking taylor expansion of (- c) in c 1.169 * [taylor]: Taking taylor expansion of c in c 1.169 * [backup-simplify]: Simplify 0 into 0 1.169 * [backup-simplify]: Simplify 1 into 1 1.169 * [backup-simplify]: Simplify (- 0) into 0 1.169 * [backup-simplify]: Simplify (- 1) into -1 1.169 * [backup-simplify]: Simplify (exp 0) into 1 1.169 * [taylor]: Taking taylor expansion of 2 in c 1.169 * [backup-simplify]: Simplify 2 into 2 1.170 * [backup-simplify]: Simplify (- 1) into -1 1.170 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.171 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.171 * [backup-simplify]: Simplify (- 1) into -1 1.172 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1.172 * [backup-simplify]: Simplify (- -1) into 1 1.173 * [backup-simplify]: Simplify (+ 1 1) into 2 1.173 * [backup-simplify]: Simplify (/ 2 2) into 1 1.173 * [backup-simplify]: Simplify 1 into 1 1.175 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.175 * [backup-simplify]: Simplify (- 1) into -1 1.176 * [backup-simplify]: Simplify (- 0) into 0 1.177 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.178 * [backup-simplify]: Simplify (- 1/2) into -1/2 1.178 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1.179 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1.179 * [backup-simplify]: Simplify 0 into 0 1.181 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1.182 * [backup-simplify]: Simplify (- 1) into -1 1.182 * [backup-simplify]: Simplify (- 1) into -1 1.182 * [backup-simplify]: Simplify (- 0) into 0 1.183 * [backup-simplify]: Simplify (- 0) into 0 1.185 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1.186 * [backup-simplify]: Simplify (- -1/6) into 1/6 1.186 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1.187 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1.187 * [backup-simplify]: Simplify 1/6 into 1/6 1.191 * [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 1.192 * [backup-simplify]: Simplify (- 1) into -1 1.192 * [backup-simplify]: Simplify (- 1) into -1 1.193 * [backup-simplify]: Simplify (- 0) into 0 1.193 * [backup-simplify]: Simplify (- 1) into -1 1.193 * [backup-simplify]: Simplify (- 0) into 0 1.194 * [backup-simplify]: Simplify (- 0) into 0 1.194 * [backup-simplify]: Simplify (- 0) into 0 1.198 * [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 1.199 * [backup-simplify]: Simplify (- 1/24) into -1/24 1.199 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 1.200 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1.200 * [backup-simplify]: Simplify 0 into 0 1.206 * [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 1.207 * [backup-simplify]: Simplify (- 1) into -1 1.207 * [backup-simplify]: Simplify (- 1) into -1 1.208 * [backup-simplify]: Simplify (- 0) into 0 1.208 * [backup-simplify]: Simplify (- 1) into -1 1.231 * [backup-simplify]: Simplify (- 0) into 0 1.231 * [backup-simplify]: Simplify (- 1) into -1 1.232 * [backup-simplify]: Simplify (- 0) into 0 1.232 * [backup-simplify]: Simplify (- 1) into -1 1.232 * [backup-simplify]: Simplify (- 0) into 0 1.233 * [backup-simplify]: Simplify (- 0) into 0 1.233 * [backup-simplify]: Simplify (- 0) into 0 1.233 * [backup-simplify]: Simplify (- 0) into 0 1.236 * [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 1.237 * [backup-simplify]: Simplify (- -1/120) into 1/120 1.237 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 1.238 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1.238 * [backup-simplify]: Simplify 1/120 into 1/120 1.240 * [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)) 1.240 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 1.240 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1.240 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1.240 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.240 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.240 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.240 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.240 * [taylor]: Taking taylor expansion of c in c 1.241 * [backup-simplify]: Simplify 0 into 0 1.241 * [backup-simplify]: Simplify 1 into 1 1.243 * [backup-simplify]: Simplify (/ 1 1) into 1 1.244 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.244 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.244 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.244 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.244 * [taylor]: Taking taylor expansion of c in c 1.244 * [backup-simplify]: Simplify 0 into 0 1.244 * [backup-simplify]: Simplify 1 into 1 1.244 * [backup-simplify]: Simplify (/ 1 1) into 1 1.245 * [backup-simplify]: Simplify (- 1) into -1 1.245 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.245 * [taylor]: Taking taylor expansion of 2 in c 1.245 * [backup-simplify]: Simplify 2 into 2 1.245 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1.245 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1.246 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.246 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1.246 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.246 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.246 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.246 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.246 * [taylor]: Taking taylor expansion of c in c 1.246 * [backup-simplify]: Simplify 0 into 0 1.246 * [backup-simplify]: Simplify 1 into 1 1.246 * [backup-simplify]: Simplify (/ 1 1) into 1 1.247 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.247 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.247 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.247 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.247 * [taylor]: Taking taylor expansion of c in c 1.247 * [backup-simplify]: Simplify 0 into 0 1.247 * [backup-simplify]: Simplify 1 into 1 1.247 * [backup-simplify]: Simplify (/ 1 1) into 1 1.247 * [backup-simplify]: Simplify (- 1) into -1 1.248 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.248 * [taylor]: Taking taylor expansion of 2 in c 1.248 * [backup-simplify]: Simplify 2 into 2 1.248 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1.248 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1.248 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.248 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.249 * [backup-simplify]: Simplify (- 0) into 0 1.249 * [backup-simplify]: Simplify (+ 0 0) into 0 1.250 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1.250 * [backup-simplify]: Simplify 0 into 0 1.251 * [backup-simplify]: Simplify (- 0) into 0 1.251 * [backup-simplify]: Simplify (+ 0 0) into 0 1.252 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.252 * [backup-simplify]: Simplify 0 into 0 1.253 * [backup-simplify]: Simplify (- 0) into 0 1.253 * [backup-simplify]: Simplify (+ 0 0) into 0 1.255 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.255 * [backup-simplify]: Simplify 0 into 0 1.255 * [backup-simplify]: Simplify (- 0) into 0 1.256 * [backup-simplify]: Simplify (+ 0 0) into 0 1.258 * [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 1.258 * [backup-simplify]: Simplify 0 into 0 1.259 * [backup-simplify]: Simplify (- 0) into 0 1.259 * [backup-simplify]: Simplify (+ 0 0) into 0 1.262 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.262 * [backup-simplify]: Simplify 0 into 0 1.262 * [backup-simplify]: Simplify (- 0) into 0 1.263 * [backup-simplify]: Simplify (+ 0 0) into 0 1.266 * [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 1.266 * [backup-simplify]: Simplify 0 into 0 1.266 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1.266 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 1.266 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1.266 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1.267 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.267 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.267 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.267 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.267 * [taylor]: Taking taylor expansion of -1 in c 1.267 * [backup-simplify]: Simplify -1 into -1 1.267 * [taylor]: Taking taylor expansion of c in c 1.267 * [backup-simplify]: Simplify 0 into 0 1.267 * [backup-simplify]: Simplify 1 into 1 1.267 * [backup-simplify]: Simplify (/ -1 1) into -1 1.267 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.267 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.267 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.267 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.267 * [taylor]: Taking taylor expansion of -1 in c 1.267 * [backup-simplify]: Simplify -1 into -1 1.267 * [taylor]: Taking taylor expansion of c in c 1.267 * [backup-simplify]: Simplify 0 into 0 1.267 * [backup-simplify]: Simplify 1 into 1 1.268 * [backup-simplify]: Simplify (/ -1 1) into -1 1.268 * [backup-simplify]: Simplify (- -1) into 1 1.268 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.268 * [taylor]: Taking taylor expansion of 2 in c 1.268 * [backup-simplify]: Simplify 2 into 2 1.268 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1.269 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1.269 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.269 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1.269 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.269 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.269 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.269 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.269 * [taylor]: Taking taylor expansion of -1 in c 1.269 * [backup-simplify]: Simplify -1 into -1 1.269 * [taylor]: Taking taylor expansion of c in c 1.269 * [backup-simplify]: Simplify 0 into 0 1.269 * [backup-simplify]: Simplify 1 into 1 1.270 * [backup-simplify]: Simplify (/ -1 1) into -1 1.270 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.270 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.270 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.270 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.270 * [taylor]: Taking taylor expansion of -1 in c 1.270 * [backup-simplify]: Simplify -1 into -1 1.270 * [taylor]: Taking taylor expansion of c in c 1.270 * [backup-simplify]: Simplify 0 into 0 1.270 * [backup-simplify]: Simplify 1 into 1 1.270 * [backup-simplify]: Simplify (/ -1 1) into -1 1.271 * [backup-simplify]: Simplify (- -1) into 1 1.271 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.271 * [taylor]: Taking taylor expansion of 2 in c 1.271 * [backup-simplify]: Simplify 2 into 2 1.271 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1.271 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1.272 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.272 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.272 * [backup-simplify]: Simplify (- 0) into 0 1.273 * [backup-simplify]: Simplify (+ 0 0) into 0 1.274 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1.274 * [backup-simplify]: Simplify 0 into 0 1.274 * [backup-simplify]: Simplify (- 0) into 0 1.275 * [backup-simplify]: Simplify (+ 0 0) into 0 1.276 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.276 * [backup-simplify]: Simplify 0 into 0 1.277 * [backup-simplify]: Simplify (- 0) into 0 1.277 * [backup-simplify]: Simplify (+ 0 0) into 0 1.279 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.279 * [backup-simplify]: Simplify 0 into 0 1.279 * [backup-simplify]: Simplify (- 0) into 0 1.280 * [backup-simplify]: Simplify (+ 0 0) into 0 1.282 * [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 1.282 * [backup-simplify]: Simplify 0 into 0 1.283 * [backup-simplify]: Simplify (- 0) into 0 1.283 * [backup-simplify]: Simplify (+ 0 0) into 0 1.286 * [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 1.286 * [backup-simplify]: Simplify 0 into 0 1.286 * [backup-simplify]: Simplify (- 0) into 0 1.287 * [backup-simplify]: Simplify (+ 0 0) into 0 1.290 * [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 1.290 * [backup-simplify]: Simplify 0 into 0 1.290 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1.290 * * * [progress]: simplifying candidates 1.291 * [simplify]: Simplifying: (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) 1.291 * [simplify]: Sending expressions to egg_math: (- (exp h0) (exp (- h0))) (log (sinh h0)) (exp (sinh h0)) (* (cbrt (sinh h0)) (cbrt (sinh h0))) (cbrt (sinh h0)) (* (* (sinh h0) (sinh h0)) (sinh h0)) (sqrt (sinh h0)) (sqrt (sinh h0)) (+ (* (/ 1 6) (pow h0 3)) (+ (* (/ 1 120) (pow h0 5)) h0)) (* (/ 1 2) (- (exp h0) (exp (- h0)))) (* (/ 1 2) (- (exp h0) (exp (* -1 h0)))) 2.411 * * * [progress]: adding candidates to table 2.450 * * [progress]: iteration 2 / 4 2.450 * * * [progress]: picking best candidate 2.455 * * * * [pick]: Picked # 2.455 * * * [progress]: localizing error 2.484 * * * [progress]: generating rewritten candidates 2.484 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 1) 2.495 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 2.509 * * * [progress]: generating series expansions 2.509 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 1) 2.509 * [backup-simplify]: Simplify (/ (pow c 3) 6) into (* 1/6 (pow c 3)) 2.509 * [approximate]: Taking taylor expansion of (* 1/6 (pow c 3)) in (c) around 0 2.509 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 2.509 * [taylor]: Taking taylor expansion of 1/6 in c 2.509 * [backup-simplify]: Simplify 1/6 into 1/6 2.510 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.510 * [taylor]: Taking taylor expansion of c in c 2.510 * [backup-simplify]: Simplify 0 into 0 2.510 * [backup-simplify]: Simplify 1 into 1 2.510 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 2.510 * [taylor]: Taking taylor expansion of 1/6 in c 2.510 * [backup-simplify]: Simplify 1/6 into 1/6 2.510 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.510 * [taylor]: Taking taylor expansion of c in c 2.510 * [backup-simplify]: Simplify 0 into 0 2.510 * [backup-simplify]: Simplify 1 into 1 2.511 * [backup-simplify]: Simplify (* 1 1) into 1 2.511 * [backup-simplify]: Simplify (* 1 1) into 1 2.512 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 2.512 * [backup-simplify]: Simplify 1/6 into 1/6 2.512 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.513 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.514 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 2.514 * [backup-simplify]: Simplify 0 into 0 2.515 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.516 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.517 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 2.517 * [backup-simplify]: Simplify 0 into 0 2.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.520 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.520 * [backup-simplify]: Simplify 0 into 0 2.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.524 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.524 * [backup-simplify]: Simplify 0 into 0 2.526 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.529 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.529 * [backup-simplify]: Simplify 0 into 0 2.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.532 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.534 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.534 * [backup-simplify]: Simplify 0 into 0 2.534 * [backup-simplify]: Simplify (* 1/6 (pow c 3)) into (* 1/6 (pow c 3)) 2.534 * [backup-simplify]: Simplify (/ (pow (/ 1 c) 3) 6) into (/ 1/6 (pow c 3)) 2.534 * [approximate]: Taking taylor expansion of (/ 1/6 (pow c 3)) in (c) around 0 2.534 * [taylor]: Taking taylor expansion of (/ 1/6 (pow c 3)) in c 2.534 * [taylor]: Taking taylor expansion of 1/6 in c 2.534 * [backup-simplify]: Simplify 1/6 into 1/6 2.534 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.534 * [taylor]: Taking taylor expansion of c in c 2.534 * [backup-simplify]: Simplify 0 into 0 2.535 * [backup-simplify]: Simplify 1 into 1 2.535 * [backup-simplify]: Simplify (* 1 1) into 1 2.535 * [backup-simplify]: Simplify (* 1 1) into 1 2.536 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 2.536 * [taylor]: Taking taylor expansion of (/ 1/6 (pow c 3)) in c 2.536 * [taylor]: Taking taylor expansion of 1/6 in c 2.536 * [backup-simplify]: Simplify 1/6 into 1/6 2.536 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.536 * [taylor]: Taking taylor expansion of c in c 2.536 * [backup-simplify]: Simplify 0 into 0 2.536 * [backup-simplify]: Simplify 1 into 1 2.536 * [backup-simplify]: Simplify (* 1 1) into 1 2.537 * [backup-simplify]: Simplify (* 1 1) into 1 2.537 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 2.537 * [backup-simplify]: Simplify 1/6 into 1/6 2.538 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.539 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.540 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 2.540 * [backup-simplify]: Simplify 0 into 0 2.541 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.542 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.543 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.543 * [backup-simplify]: Simplify 0 into 0 2.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.547 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.547 * [backup-simplify]: Simplify 0 into 0 2.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.549 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.550 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.550 * [backup-simplify]: Simplify 0 into 0 2.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.554 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.554 * [backup-simplify]: Simplify 0 into 0 2.556 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.558 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.559 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.559 * [backup-simplify]: Simplify 0 into 0 2.559 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (/ 1 c)) 3)) into (* 1/6 (pow c 3)) 2.559 * [backup-simplify]: Simplify (/ (pow (/ 1 (- c)) 3) 6) into (/ -1/6 (pow c 3)) 2.559 * [approximate]: Taking taylor expansion of (/ -1/6 (pow c 3)) in (c) around 0 2.559 * [taylor]: Taking taylor expansion of (/ -1/6 (pow c 3)) in c 2.559 * [taylor]: Taking taylor expansion of -1/6 in c 2.559 * [backup-simplify]: Simplify -1/6 into -1/6 2.559 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.559 * [taylor]: Taking taylor expansion of c in c 2.559 * [backup-simplify]: Simplify 0 into 0 2.559 * [backup-simplify]: Simplify 1 into 1 2.560 * [backup-simplify]: Simplify (* 1 1) into 1 2.560 * [backup-simplify]: Simplify (* 1 1) into 1 2.560 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 2.560 * [taylor]: Taking taylor expansion of (/ -1/6 (pow c 3)) in c 2.561 * [taylor]: Taking taylor expansion of -1/6 in c 2.561 * [backup-simplify]: Simplify -1/6 into -1/6 2.561 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.561 * [taylor]: Taking taylor expansion of c in c 2.561 * [backup-simplify]: Simplify 0 into 0 2.561 * [backup-simplify]: Simplify 1 into 1 2.561 * [backup-simplify]: Simplify (* 1 1) into 1 2.561 * [backup-simplify]: Simplify (* 1 1) into 1 2.562 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 2.562 * [backup-simplify]: Simplify -1/6 into -1/6 2.562 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.563 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.564 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0 2.564 * [backup-simplify]: Simplify 0 into 0 2.565 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.565 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.566 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.566 * [backup-simplify]: Simplify 0 into 0 2.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.568 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.569 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.570 * [backup-simplify]: Simplify 0 into 0 2.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.572 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.573 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.573 * [backup-simplify]: Simplify 0 into 0 2.587 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.588 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.588 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.589 * [backup-simplify]: Simplify 0 into 0 2.590 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.590 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.591 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.591 * [backup-simplify]: Simplify 0 into 0 2.591 * [backup-simplify]: Simplify (* -1/6 (pow (/ 1 (/ 1 (- c))) 3)) into (* 1/6 (pow c 3)) 2.591 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 2.592 * [backup-simplify]: Simplify (/ (pow c 5) 120) into (* 1/120 (pow c 5)) 2.592 * [approximate]: Taking taylor expansion of (* 1/120 (pow c 5)) in (c) around 0 2.592 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 2.592 * [taylor]: Taking taylor expansion of 1/120 in c 2.592 * [backup-simplify]: Simplify 1/120 into 1/120 2.592 * [taylor]: Taking taylor expansion of (pow c 5) in c 2.592 * [taylor]: Taking taylor expansion of c in c 2.592 * [backup-simplify]: Simplify 0 into 0 2.592 * [backup-simplify]: Simplify 1 into 1 2.592 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 2.592 * [taylor]: Taking taylor expansion of 1/120 in c 2.592 * [backup-simplify]: Simplify 1/120 into 1/120 2.592 * [taylor]: Taking taylor expansion of (pow c 5) in c 2.592 * [taylor]: Taking taylor expansion of c in c 2.592 * [backup-simplify]: Simplify 0 into 0 2.592 * [backup-simplify]: Simplify 1 into 1 2.592 * [backup-simplify]: Simplify (* 1 1) into 1 2.592 * [backup-simplify]: Simplify (* 1 1) into 1 2.593 * [backup-simplify]: Simplify (* 1 1) into 1 2.593 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 2.593 * [backup-simplify]: Simplify 1/120 into 1/120 2.593 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.594 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.594 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.595 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 2.595 * [backup-simplify]: Simplify 0 into 0 2.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.597 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 2.597 * [backup-simplify]: Simplify 0 into 0 2.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.598 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.598 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.599 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.599 * [backup-simplify]: Simplify 0 into 0 2.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.602 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.602 * [backup-simplify]: Simplify 0 into 0 2.603 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.603 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.604 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.605 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.605 * [backup-simplify]: Simplify 0 into 0 2.606 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.608 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.608 * [backup-simplify]: Simplify 0 into 0 2.609 * [backup-simplify]: Simplify (* 1/120 (pow c 5)) into (* 1/120 (pow c 5)) 2.609 * [backup-simplify]: Simplify (/ (pow (/ 1 c) 5) 120) into (/ 1/120 (pow c 5)) 2.609 * [approximate]: Taking taylor expansion of (/ 1/120 (pow c 5)) in (c) around 0 2.609 * [taylor]: Taking taylor expansion of (/ 1/120 (pow c 5)) in c 2.609 * [taylor]: Taking taylor expansion of 1/120 in c 2.609 * [backup-simplify]: Simplify 1/120 into 1/120 2.609 * [taylor]: Taking taylor expansion of (pow c 5) in c 2.609 * [taylor]: Taking taylor expansion of c in c 2.609 * [backup-simplify]: Simplify 0 into 0 2.609 * [backup-simplify]: Simplify 1 into 1 2.609 * [backup-simplify]: Simplify (* 1 1) into 1 2.609 * [backup-simplify]: Simplify (* 1 1) into 1 2.610 * [backup-simplify]: Simplify (* 1 1) into 1 2.610 * [backup-simplify]: Simplify (/ 1/120 1) into 1/120 2.610 * [taylor]: Taking taylor expansion of (/ 1/120 (pow c 5)) in c 2.610 * [taylor]: Taking taylor expansion of 1/120 in c 2.610 * [backup-simplify]: Simplify 1/120 into 1/120 2.610 * [taylor]: Taking taylor expansion of (pow c 5) in c 2.610 * [taylor]: Taking taylor expansion of c in c 2.610 * [backup-simplify]: Simplify 0 into 0 2.610 * [backup-simplify]: Simplify 1 into 1 2.610 * [backup-simplify]: Simplify (* 1 1) into 1 2.611 * [backup-simplify]: Simplify (* 1 1) into 1 2.611 * [backup-simplify]: Simplify (* 1 1) into 1 2.611 * [backup-simplify]: Simplify (/ 1/120 1) into 1/120 2.611 * [backup-simplify]: Simplify 1/120 into 1/120 2.611 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.612 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.612 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.613 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)))) into 0 2.613 * [backup-simplify]: Simplify 0 into 0 2.613 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.615 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.615 * [backup-simplify]: Simplify 0 into 0 2.616 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.617 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.619 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.619 * [backup-simplify]: Simplify 0 into 0 2.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.622 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.623 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.624 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.624 * [backup-simplify]: Simplify 0 into 0 2.626 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.627 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.628 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.629 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.630 * [backup-simplify]: Simplify 0 into 0 2.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.635 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.635 * [backup-simplify]: Simplify 0 into 0 2.635 * [backup-simplify]: Simplify (* 1/120 (pow (/ 1 (/ 1 c)) 5)) into (* 1/120 (pow c 5)) 2.636 * [backup-simplify]: Simplify (/ (pow (/ 1 (- c)) 5) 120) into (/ -1/120 (pow c 5)) 2.636 * [approximate]: Taking taylor expansion of (/ -1/120 (pow c 5)) in (c) around 0 2.636 * [taylor]: Taking taylor expansion of (/ -1/120 (pow c 5)) in c 2.636 * [taylor]: Taking taylor expansion of -1/120 in c 2.636 * [backup-simplify]: Simplify -1/120 into -1/120 2.636 * [taylor]: Taking taylor expansion of (pow c 5) in c 2.636 * [taylor]: Taking taylor expansion of c in c 2.636 * [backup-simplify]: Simplify 0 into 0 2.636 * [backup-simplify]: Simplify 1 into 1 2.636 * [backup-simplify]: Simplify (* 1 1) into 1 2.637 * [backup-simplify]: Simplify (* 1 1) into 1 2.637 * [backup-simplify]: Simplify (* 1 1) into 1 2.637 * [backup-simplify]: Simplify (/ -1/120 1) into -1/120 2.638 * [taylor]: Taking taylor expansion of (/ -1/120 (pow c 5)) in c 2.638 * [taylor]: Taking taylor expansion of -1/120 in c 2.638 * [backup-simplify]: Simplify -1/120 into -1/120 2.638 * [taylor]: Taking taylor expansion of (pow c 5) in c 2.638 * [taylor]: Taking taylor expansion of c in c 2.638 * [backup-simplify]: Simplify 0 into 0 2.638 * [backup-simplify]: Simplify 1 into 1 2.638 * [backup-simplify]: Simplify (* 1 1) into 1 2.638 * [backup-simplify]: Simplify (* 1 1) into 1 2.639 * [backup-simplify]: Simplify (* 1 1) into 1 2.639 * [backup-simplify]: Simplify (/ -1/120 1) into -1/120 2.639 * [backup-simplify]: Simplify -1/120 into -1/120 2.640 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.641 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.641 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.642 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)))) into 0 2.642 * [backup-simplify]: Simplify 0 into 0 2.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.645 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.645 * [backup-simplify]: Simplify 0 into 0 2.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.648 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.649 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.649 * [backup-simplify]: Simplify 0 into 0 2.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.651 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.653 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.653 * [backup-simplify]: Simplify 0 into 0 2.655 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.657 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.658 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.658 * [backup-simplify]: Simplify 0 into 0 2.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.662 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.663 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.663 * [backup-simplify]: Simplify 0 into 0 2.664 * [backup-simplify]: Simplify (* -1/120 (pow (/ 1 (/ 1 (- c))) 5)) into (* 1/120 (pow c 5)) 2.664 * * * [progress]: simplifying candidates 2.667 * [simplify]: Simplifying: (- (* (log c) 3) (log 6)) (- (* (log c) 3) (log 6)) (- (log (pow c 3)) (log 6)) (log (/ (pow c 3) 6)) (exp (/ (pow c 3) 6)) (/ (* (* (pow c 3) (pow c 3)) (pow c 3)) (* (* 6 6) 6)) (* (cbrt (/ (pow c 3) 6)) (cbrt (/ (pow c 3) 6))) (cbrt (/ (pow c 3) 6)) (* (* (/ (pow c 3) 6) (/ (pow c 3) 6)) (/ (pow c 3) 6)) (sqrt (/ (pow c 3) 6)) (sqrt (/ (pow c 3) 6)) (- (pow c 3)) (- 6) (/ (pow (* (cbrt c) (cbrt c)) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (cbrt c) 3) (cbrt 6)) (/ (pow (* (cbrt c) (cbrt c)) 3) (sqrt 6)) (/ (pow (cbrt c) 3) (sqrt 6)) (/ (pow (* (cbrt c) (cbrt c)) 3) 1) (/ (pow (cbrt c) 3) 6) (/ (pow (sqrt c) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (sqrt c) 3) (cbrt 6)) (/ (pow (sqrt c) 3) (sqrt 6)) (/ (pow (sqrt c) 3) (sqrt 6)) (/ (pow (sqrt c) 3) 1) (/ (pow (sqrt c) 3) 6) (/ (pow 1 3) (* (cbrt 6) (cbrt 6))) (/ (pow c 3) (cbrt 6)) (/ (pow 1 3) (sqrt 6)) (/ (pow c 3) (sqrt 6)) (/ (pow 1 3) 1) (/ (pow c 3) 6) (/ (* c c) (* (cbrt 6) (cbrt 6))) (/ c (cbrt 6)) (/ (* c c) (sqrt 6)) (/ c (sqrt 6)) (/ (* c c) 1) (/ c 6) (/ (* (cbrt (pow c 3)) (cbrt (pow c 3))) (* (cbrt 6) (cbrt 6))) (/ (cbrt (pow c 3)) (cbrt 6)) (/ (* (cbrt (pow c 3)) (cbrt (pow c 3))) (sqrt 6)) (/ (cbrt (pow c 3)) (sqrt 6)) (/ (* (cbrt (pow c 3)) (cbrt (pow c 3))) 1) (/ (cbrt (pow c 3)) 6) (/ (pow (* (cbrt c) (cbrt c)) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (cbrt c) 3) (cbrt 6)) (/ (pow (* (cbrt c) (cbrt c)) 3) (sqrt 6)) (/ (pow (cbrt c) 3) (sqrt 6)) (/ (pow (* (cbrt c) (cbrt c)) 3) 1) (/ (pow (cbrt c) 3) 6) (/ (pow (sqrt c) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (sqrt c) 3) (cbrt 6)) (/ (pow (sqrt c) 3) (sqrt 6)) (/ (pow (sqrt c) 3) (sqrt 6)) (/ (pow (sqrt c) 3) 1) (/ (pow (sqrt c) 3) 6) (/ (pow 1 3) (* (cbrt 6) (cbrt 6))) (/ (pow c 3) (cbrt 6)) (/ (pow 1 3) (sqrt 6)) (/ (pow c 3) (sqrt 6)) (/ (pow 1 3) 1) (/ (pow c 3) 6) (/ c (* (cbrt 6) (cbrt 6))) (/ (* c c) (cbrt 6)) (/ c (sqrt 6)) (/ (* c c) (sqrt 6)) (/ c 1) (/ (* c c) 6) (/ (sqrt (pow c 3)) (* (cbrt 6) (cbrt 6))) (/ (sqrt (pow c 3)) (cbrt 6)) (/ (sqrt (pow c 3)) (sqrt 6)) (/ (sqrt (pow c 3)) (sqrt 6)) (/ (sqrt (pow c 3)) 1) (/ (sqrt (pow c 3)) 6) (/ 1 (* (cbrt 6) (cbrt 6))) (/ (pow c 3) (cbrt 6)) (/ 1 (sqrt 6)) (/ (pow c 3) (sqrt 6)) (/ 1 1) (/ (pow c 3) 6) (/ (pow c (/ 3 2)) (* (cbrt 6) (cbrt 6))) (/ (pow c (/ 3 2)) (cbrt 6)) (/ (pow c (/ 3 2)) (sqrt 6)) (/ (pow c (/ 3 2)) (sqrt 6)) (/ (pow c (/ 3 2)) 1) (/ (pow c (/ 3 2)) 6) (/ 1 6) (/ 6 (pow c 3)) (/ (pow c 3) (* (cbrt 6) (cbrt 6))) (/ (pow c 3) (sqrt 6)) (/ (pow c 3) 1) (/ 6 (pow (cbrt c) 3)) (/ 6 (pow (sqrt c) 3)) (/ 6 (pow c 3)) (/ 6 c) (/ 6 (cbrt (pow c 3))) (/ 6 (pow (cbrt c) 3)) (/ 6 (pow (sqrt c) 3)) (/ 6 (pow c 3)) (/ 6 (* c c)) (/ 6 (sqrt (pow c 3))) (/ 6 (pow c 3)) (/ 6 (pow c (/ 3 2))) (- (* (log c) 5) (log 120)) (- (* (log c) 5) (log 120)) (- (log (pow c 5)) (log 120)) (log (/ (pow c 5) 120)) (exp (/ (pow c 5) 120)) (/ (* (* (pow c 5) (pow c 5)) (pow c 5)) (* (* 120 120) 120)) (* (cbrt (/ (pow c 5) 120)) (cbrt (/ (pow c 5) 120))) (cbrt (/ (pow c 5) 120)) (* (* (/ (pow c 5) 120) (/ (pow c 5) 120)) (/ (pow c 5) 120)) (sqrt (/ (pow c 5) 120)) (sqrt (/ (pow c 5) 120)) (- (pow c 5)) (- 120) (/ (pow (* (cbrt c) (cbrt c)) 5) (* (cbrt 120) (cbrt 120))) (/ (pow (cbrt c) 5) (cbrt 120)) (/ (pow (* (cbrt c) (cbrt c)) 5) (sqrt 120)) (/ (pow (cbrt c) 5) (sqrt 120)) (/ (pow (* (cbrt c) (cbrt c)) 5) 1) (/ (pow (cbrt c) 5) 120) (/ (pow (sqrt c) 5) (* (cbrt 120) (cbrt 120))) (/ (pow (sqrt c) 5) (cbrt 120)) (/ (pow (sqrt c) 5) (sqrt 120)) (/ (pow (sqrt c) 5) (sqrt 120)) (/ (pow (sqrt c) 5) 1) (/ (pow (sqrt c) 5) 120) (/ (pow 1 5) (* (cbrt 120) (cbrt 120))) (/ (pow c 5) (cbrt 120)) (/ (pow 1 5) (sqrt 120)) (/ (pow c 5) (sqrt 120)) (/ (pow 1 5) 1) (/ (pow c 5) 120) (/ (* (cbrt (pow c 5)) (cbrt (pow c 5))) (* (cbrt 120) (cbrt 120))) (/ (cbrt (pow c 5)) (cbrt 120)) (/ (* (cbrt (pow c 5)) (cbrt (pow c 5))) (sqrt 120)) (/ (cbrt (pow c 5)) (sqrt 120)) (/ (* (cbrt (pow c 5)) (cbrt (pow c 5))) 1) (/ (cbrt (pow c 5)) 120) (/ (sqrt (pow c 5)) (* (cbrt 120) (cbrt 120))) (/ (sqrt (pow c 5)) (cbrt 120)) (/ (sqrt (pow c 5)) (sqrt 120)) (/ (sqrt (pow c 5)) (sqrt 120)) (/ (sqrt (pow c 5)) 1) (/ (sqrt (pow c 5)) 120) (/ 1 (* (cbrt 120) (cbrt 120))) (/ (pow c 5) (cbrt 120)) (/ 1 (sqrt 120)) (/ (pow c 5) (sqrt 120)) (/ 1 1) (/ (pow c 5) 120) (/ (pow c (/ 5 2)) (* (cbrt 120) (cbrt 120))) (/ (pow c (/ 5 2)) (cbrt 120)) (/ (pow c (/ 5 2)) (sqrt 120)) (/ (pow c (/ 5 2)) (sqrt 120)) (/ (pow c (/ 5 2)) 1) (/ (pow c (/ 5 2)) 120) (/ 1 120) (/ 120 (pow c 5)) (/ (pow c 5) (* (cbrt 120) (cbrt 120))) (/ (pow c 5) (sqrt 120)) (/ (pow c 5) 1) (/ 120 (pow (cbrt c) 5)) (/ 120 (pow (sqrt c) 5)) (/ 120 (pow c 5)) (/ 120 (cbrt (pow c 5))) (/ 120 (sqrt (pow c 5))) (/ 120 (pow c 5)) (/ 120 (pow c (/ 5 2))) (* 1/6 (pow c 3)) (* 1/6 (pow c 3)) (* 1/6 (pow c 3)) (* 1/120 (pow c 5)) (* 1/120 (pow c 5)) (* 1/120 (pow c 5)) 2.668 * [simplify]: Sending expressions to egg_math: (- (* (log h0) 3) (log 6)) (- (* (log h0) 3) (log 6)) (- (log (pow h0 3)) (log 6)) (log (/ (pow h0 3) 6)) (exp (/ (pow h0 3) 6)) (/ (* (* (pow h0 3) (pow h0 3)) (pow h0 3)) (* (* 6 6) 6)) (* (cbrt (/ (pow h0 3) 6)) (cbrt (/ (pow h0 3) 6))) (cbrt (/ (pow h0 3) 6)) (* (* (/ (pow h0 3) 6) (/ (pow h0 3) 6)) (/ (pow h0 3) 6)) (sqrt (/ (pow h0 3) 6)) (sqrt (/ (pow h0 3) 6)) (- (pow h0 3)) (- 6) (/ (pow (* (cbrt h0) (cbrt h0)) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (cbrt h0) 3) (cbrt 6)) (/ (pow (* (cbrt h0) (cbrt h0)) 3) (sqrt 6)) (/ (pow (cbrt h0) 3) (sqrt 6)) (/ (pow (* (cbrt h0) (cbrt h0)) 3) 1) (/ (pow (cbrt h0) 3) 6) (/ (pow (sqrt h0) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (sqrt h0) 3) (cbrt 6)) (/ (pow (sqrt h0) 3) (sqrt 6)) (/ (pow (sqrt h0) 3) (sqrt 6)) (/ (pow (sqrt h0) 3) 1) (/ (pow (sqrt h0) 3) 6) (/ (pow 1 3) (* (cbrt 6) (cbrt 6))) (/ (pow h0 3) (cbrt 6)) (/ (pow 1 3) (sqrt 6)) (/ (pow h0 3) (sqrt 6)) (/ (pow 1 3) 1) (/ (pow h0 3) 6) (/ (* h0 h0) (* (cbrt 6) (cbrt 6))) (/ h0 (cbrt 6)) (/ (* h0 h0) (sqrt 6)) (/ h0 (sqrt 6)) (/ (* h0 h0) 1) (/ h0 6) (/ (* (cbrt (pow h0 3)) (cbrt (pow h0 3))) (* (cbrt 6) (cbrt 6))) (/ (cbrt (pow h0 3)) (cbrt 6)) (/ (* (cbrt (pow h0 3)) (cbrt (pow h0 3))) (sqrt 6)) (/ (cbrt (pow h0 3)) (sqrt 6)) (/ (* (cbrt (pow h0 3)) (cbrt (pow h0 3))) 1) (/ (cbrt (pow h0 3)) 6) (/ (pow (* (cbrt h0) (cbrt h0)) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (cbrt h0) 3) (cbrt 6)) (/ (pow (* (cbrt h0) (cbrt h0)) 3) (sqrt 6)) (/ (pow (cbrt h0) 3) (sqrt 6)) (/ (pow (* (cbrt h0) (cbrt h0)) 3) 1) (/ (pow (cbrt h0) 3) 6) (/ (pow (sqrt h0) 3) (* (cbrt 6) (cbrt 6))) (/ (pow (sqrt h0) 3) (cbrt 6)) (/ (pow (sqrt h0) 3) (sqrt 6)) (/ (pow (sqrt h0) 3) (sqrt 6)) (/ (pow (sqrt h0) 3) 1) (/ (pow (sqrt h0) 3) 6) (/ (pow 1 3) (* (cbrt 6) (cbrt 6))) (/ (pow h0 3) (cbrt 6)) (/ (pow 1 3) (sqrt 6)) (/ (pow h0 3) (sqrt 6)) (/ (pow 1 3) 1) (/ (pow h0 3) 6) (/ h0 (* (cbrt 6) (cbrt 6))) (/ (* h0 h0) (cbrt 6)) (/ h0 (sqrt 6)) (/ (* h0 h0) (sqrt 6)) (/ h0 1) (/ (* h0 h0) 6) (/ (sqrt (pow h0 3)) (* (cbrt 6) (cbrt 6))) (/ (sqrt (pow h0 3)) (cbrt 6)) (/ (sqrt (pow h0 3)) (sqrt 6)) (/ (sqrt (pow h0 3)) (sqrt 6)) (/ (sqrt (pow h0 3)) 1) (/ (sqrt (pow h0 3)) 6) (/ 1 (* (cbrt 6) (cbrt 6))) (/ (pow h0 3) (cbrt 6)) (/ 1 (sqrt 6)) (/ (pow h0 3) (sqrt 6)) (/ 1 1) (/ (pow h0 3) 6) (/ (pow h0 (/ 3 2)) (* (cbrt 6) (cbrt 6))) (/ (pow h0 (/ 3 2)) (cbrt 6)) (/ (pow h0 (/ 3 2)) (sqrt 6)) (/ (pow h0 (/ 3 2)) (sqrt 6)) (/ (pow h0 (/ 3 2)) 1) (/ (pow h0 (/ 3 2)) 6) (/ 1 6) (/ 6 (pow h0 3)) (/ (pow h0 3) (* (cbrt 6) (cbrt 6))) (/ (pow h0 3) (sqrt 6)) (/ (pow h0 3) 1) (/ 6 (pow (cbrt h0) 3)) (/ 6 (pow (sqrt h0) 3)) (/ 6 (pow h0 3)) (/ 6 h0) (/ 6 (cbrt (pow h0 3))) (/ 6 (pow (cbrt h0) 3)) (/ 6 (pow (sqrt h0) 3)) (/ 6 (pow h0 3)) (/ 6 (* h0 h0)) (/ 6 (sqrt (pow h0 3))) (/ 6 (pow h0 3)) (/ 6 (pow h0 (/ 3 2))) (- (* (log h0) 5) (log 120)) (- (* (log h0) 5) (log 120)) (- (log (pow h0 5)) (log 120)) (log (/ (pow h0 5) 120)) (exp (/ (pow h0 5) 120)) (/ (* (* (pow h0 5) (pow h0 5)) (pow h0 5)) (* (* 120 120) 120)) (* (cbrt (/ (pow h0 5) 120)) (cbrt (/ (pow h0 5) 120))) (cbrt (/ (pow h0 5) 120)) (* (* (/ (pow h0 5) 120) (/ (pow h0 5) 120)) (/ (pow h0 5) 120)) (sqrt (/ (pow h0 5) 120)) (sqrt (/ (pow h0 5) 120)) (- (pow h0 5)) (- 120) (/ (pow (* (cbrt h0) (cbrt h0)) 5) (* (cbrt 120) (cbrt 120))) (/ (pow (cbrt h0) 5) (cbrt 120)) (/ (pow (* (cbrt h0) (cbrt h0)) 5) (sqrt 120)) (/ (pow (cbrt h0) 5) (sqrt 120)) (/ (pow (* (cbrt h0) (cbrt h0)) 5) 1) (/ (pow (cbrt h0) 5) 120) (/ (pow (sqrt h0) 5) (* (cbrt 120) (cbrt 120))) (/ (pow (sqrt h0) 5) (cbrt 120)) (/ (pow (sqrt h0) 5) (sqrt 120)) (/ (pow (sqrt h0) 5) (sqrt 120)) (/ (pow (sqrt h0) 5) 1) (/ (pow (sqrt h0) 5) 120) (/ (pow 1 5) (* (cbrt 120) (cbrt 120))) (/ (pow h0 5) (cbrt 120)) (/ (pow 1 5) (sqrt 120)) (/ (pow h0 5) (sqrt 120)) (/ (pow 1 5) 1) (/ (pow h0 5) 120) (/ (* (cbrt (pow h0 5)) (cbrt (pow h0 5))) (* (cbrt 120) (cbrt 120))) (/ (cbrt (pow h0 5)) (cbrt 120)) (/ (* (cbrt (pow h0 5)) (cbrt (pow h0 5))) (sqrt 120)) (/ (cbrt (pow h0 5)) (sqrt 120)) (/ (* (cbrt (pow h0 5)) (cbrt (pow h0 5))) 1) (/ (cbrt (pow h0 5)) 120) (/ (sqrt (pow h0 5)) (* (cbrt 120) (cbrt 120))) (/ (sqrt (pow h0 5)) (cbrt 120)) (/ (sqrt (pow h0 5)) (sqrt 120)) (/ (sqrt (pow h0 5)) (sqrt 120)) (/ (sqrt (pow h0 5)) 1) (/ (sqrt (pow h0 5)) 120) (/ 1 (* (cbrt 120) (cbrt 120))) (/ (pow h0 5) (cbrt 120)) (/ 1 (sqrt 120)) (/ (pow h0 5) (sqrt 120)) (/ 1 1) (/ (pow h0 5) 120) (/ (pow h0 (/ 5 2)) (* (cbrt 120) (cbrt 120))) (/ (pow h0 (/ 5 2)) (cbrt 120)) (/ (pow h0 (/ 5 2)) (sqrt 120)) (/ (pow h0 (/ 5 2)) (sqrt 120)) (/ (pow h0 (/ 5 2)) 1) (/ (pow h0 (/ 5 2)) 120) (/ 1 120) (/ 120 (pow h0 5)) (/ (pow h0 5) (* (cbrt 120) (cbrt 120))) (/ (pow h0 5) (sqrt 120)) (/ (pow h0 5) 1) (/ 120 (pow (cbrt h0) 5)) (/ 120 (pow (sqrt h0) 5)) (/ 120 (pow h0 5)) (/ 120 (cbrt (pow h0 5))) (/ 120 (sqrt (pow h0 5))) (/ 120 (pow h0 5)) (/ 120 (pow h0 (/ 5 2))) (* (/ 1 6) (pow h0 3)) (* (/ 1 6) (pow h0 3)) (* (/ 1 6) (pow h0 3)) (* (/ 1 120) (pow h0 5)) (* (/ 1 120) (pow h0 5)) (* (/ 1 120) (pow h0 5)) 3.334 * * * [progress]: adding candidates to table 3.797 * * [progress]: iteration 3 / 4 3.797 * * * [progress]: picking best candidate 3.802 * * * * [pick]: Picked # 3.802 * * * [progress]: localizing error 3.831 * * * [progress]: generating rewritten candidates 3.831 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1) 3.857 * * * [progress]: generating series expansions 3.857 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1) 3.857 * [backup-simplify]: Simplify (- (exp c) (exp (* -1 c))) into (- (exp c) (exp (* -1 c))) 3.857 * [approximate]: Taking taylor expansion of (- (exp c) (exp (* -1 c))) in (c) around 0 3.857 * [taylor]: Taking taylor expansion of (- (exp c) (exp (* -1 c))) in c 3.857 * [taylor]: Taking taylor expansion of (exp c) in c 3.857 * [taylor]: Taking taylor expansion of c in c 3.857 * [backup-simplify]: Simplify 0 into 0 3.857 * [backup-simplify]: Simplify 1 into 1 3.857 * [backup-simplify]: Simplify (exp 0) into 1 3.857 * [taylor]: Taking taylor expansion of (exp (* -1 c)) in c 3.858 * [taylor]: Taking taylor expansion of (* -1 c) in c 3.858 * [taylor]: Taking taylor expansion of -1 in c 3.858 * [backup-simplify]: Simplify -1 into -1 3.858 * [taylor]: Taking taylor expansion of c in c 3.858 * [backup-simplify]: Simplify 0 into 0 3.858 * [backup-simplify]: Simplify 1 into 1 3.858 * [backup-simplify]: Simplify (* -1 0) into 0 3.859 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1 3.859 * [backup-simplify]: Simplify (exp 0) into 1 3.859 * [taylor]: Taking taylor expansion of (- (exp c) (exp (* -1 c))) in c 3.859 * [taylor]: Taking taylor expansion of (exp c) in c 3.859 * [taylor]: Taking taylor expansion of c in c 3.859 * [backup-simplify]: Simplify 0 into 0 3.859 * [backup-simplify]: Simplify 1 into 1 3.859 * [backup-simplify]: Simplify (exp 0) into 1 3.859 * [taylor]: Taking taylor expansion of (exp (* -1 c)) in c 3.859 * [taylor]: Taking taylor expansion of (* -1 c) in c 3.860 * [taylor]: Taking taylor expansion of -1 in c 3.860 * [backup-simplify]: Simplify -1 into -1 3.860 * [taylor]: Taking taylor expansion of c in c 3.860 * [backup-simplify]: Simplify 0 into 0 3.860 * [backup-simplify]: Simplify 1 into 1 3.860 * [backup-simplify]: Simplify (* -1 0) into 0 3.861 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1 3.861 * [backup-simplify]: Simplify (exp 0) into 1 3.861 * [backup-simplify]: Simplify (- 1) into -1 3.862 * [backup-simplify]: Simplify (+ 1 -1) into 0 3.862 * [backup-simplify]: Simplify 0 into 0 3.863 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 3.864 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 3.864 * [backup-simplify]: Simplify (- -1) into 1 3.865 * [backup-simplify]: Simplify (+ 1 1) into 2 3.865 * [backup-simplify]: Simplify 2 into 2 3.867 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 3.868 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 3.869 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 3.870 * [backup-simplify]: Simplify (- 1/2) into -1/2 3.870 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 3.870 * [backup-simplify]: Simplify 0 into 0 3.873 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 3.874 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.876 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 3.877 * [backup-simplify]: Simplify (- -1/6) into 1/6 3.877 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 3.877 * [backup-simplify]: Simplify 1/3 into 1/3 3.881 * [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 3.883 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 3.887 * [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 3.887 * [backup-simplify]: Simplify (- 1/24) into -1/24 3.888 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 3.888 * [backup-simplify]: Simplify 0 into 0 3.894 * [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 3.896 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 3.902 * [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 3.903 * [backup-simplify]: Simplify (- -1/120) into 1/120 3.903 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 3.903 * [backup-simplify]: Simplify 1/60 into 1/60 3.904 * [backup-simplify]: Simplify (+ (* 1/60 (pow c 5)) (+ (* 1/3 (pow c 3)) (* 2 c))) into (+ (* 1/3 (pow c 3)) (+ (* 1/60 (pow c 5)) (* 2 c))) 3.904 * [backup-simplify]: Simplify (- (exp (/ 1 c)) (exp (* -1 (/ 1 c)))) into (- (exp (/ 1 c)) (exp (/ -1 c))) 3.904 * [approximate]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (/ -1 c))) in (c) around 0 3.904 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (/ -1 c))) in c 3.904 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 3.904 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.904 * [taylor]: Taking taylor expansion of c in c 3.904 * [backup-simplify]: Simplify 0 into 0 3.904 * [backup-simplify]: Simplify 1 into 1 3.905 * [backup-simplify]: Simplify (/ 1 1) into 1 3.905 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 3.905 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 3.905 * [taylor]: Taking taylor expansion of (/ -1 c) in c 3.905 * [taylor]: Taking taylor expansion of -1 in c 3.905 * [backup-simplify]: Simplify -1 into -1 3.905 * [taylor]: Taking taylor expansion of c in c 3.905 * [backup-simplify]: Simplify 0 into 0 3.905 * [backup-simplify]: Simplify 1 into 1 3.905 * [backup-simplify]: Simplify (/ -1 1) into -1 3.906 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 3.906 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (/ -1 c))) in c 3.906 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 3.906 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.906 * [taylor]: Taking taylor expansion of c in c 3.906 * [backup-simplify]: Simplify 0 into 0 3.906 * [backup-simplify]: Simplify 1 into 1 3.906 * [backup-simplify]: Simplify (/ 1 1) into 1 3.906 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 3.906 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 3.906 * [taylor]: Taking taylor expansion of (/ -1 c) in c 3.906 * [taylor]: Taking taylor expansion of -1 in c 3.906 * [backup-simplify]: Simplify -1 into -1 3.906 * [taylor]: Taking taylor expansion of c in c 3.906 * [backup-simplify]: Simplify 0 into 0 3.906 * [backup-simplify]: Simplify 1 into 1 3.907 * [backup-simplify]: Simplify (/ -1 1) into -1 3.907 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 3.907 * [backup-simplify]: Simplify (- (exp (/ -1 c))) into (- (exp (/ -1 c))) 3.907 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (/ -1 c)))) into (- (exp (/ 1 c)) (exp (/ -1 c))) 3.908 * [backup-simplify]: Simplify (- (exp (/ 1 c)) (exp (/ -1 c))) into (- (exp (/ 1 c)) (exp (/ -1 c))) 3.908 * [backup-simplify]: Simplify (- 0) into 0 3.908 * [backup-simplify]: Simplify (+ 0 0) into 0 3.908 * [backup-simplify]: Simplify 0 into 0 3.909 * [backup-simplify]: Simplify (- 0) into 0 3.909 * [backup-simplify]: Simplify (+ 0 0) into 0 3.909 * [backup-simplify]: Simplify 0 into 0 3.910 * [backup-simplify]: Simplify (- 0) into 0 3.910 * [backup-simplify]: Simplify (+ 0 0) into 0 3.910 * [backup-simplify]: Simplify 0 into 0 3.910 * [backup-simplify]: Simplify (- 0) into 0 3.911 * [backup-simplify]: Simplify (+ 0 0) into 0 3.911 * [backup-simplify]: Simplify 0 into 0 3.911 * [backup-simplify]: Simplify (- 0) into 0 3.912 * [backup-simplify]: Simplify (+ 0 0) into 0 3.912 * [backup-simplify]: Simplify 0 into 0 3.912 * [backup-simplify]: Simplify (- 0) into 0 3.912 * [backup-simplify]: Simplify (+ 0 0) into 0 3.912 * [backup-simplify]: Simplify 0 into 0 3.913 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 c))) (exp (/ -1 (/ 1 c)))) into (- (exp c) (exp (* -1 c))) 3.913 * [backup-simplify]: Simplify (- (exp (/ 1 (- c))) (exp (* -1 (/ 1 (- c))))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 3.913 * [approximate]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (/ 1 c))) in (c) around 0 3.913 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (/ 1 c))) in c 3.913 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 3.913 * [taylor]: Taking taylor expansion of (/ -1 c) in c 3.913 * [taylor]: Taking taylor expansion of -1 in c 3.913 * [backup-simplify]: Simplify -1 into -1 3.913 * [taylor]: Taking taylor expansion of c in c 3.913 * [backup-simplify]: Simplify 0 into 0 3.913 * [backup-simplify]: Simplify 1 into 1 3.914 * [backup-simplify]: Simplify (/ -1 1) into -1 3.914 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 3.914 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 3.914 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.914 * [taylor]: Taking taylor expansion of c in c 3.914 * [backup-simplify]: Simplify 0 into 0 3.914 * [backup-simplify]: Simplify 1 into 1 3.914 * [backup-simplify]: Simplify (/ 1 1) into 1 3.914 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 3.914 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (/ 1 c))) in c 3.914 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 3.915 * [taylor]: Taking taylor expansion of (/ -1 c) in c 3.915 * [taylor]: Taking taylor expansion of -1 in c 3.915 * [backup-simplify]: Simplify -1 into -1 3.915 * [taylor]: Taking taylor expansion of c in c 3.915 * [backup-simplify]: Simplify 0 into 0 3.915 * [backup-simplify]: Simplify 1 into 1 3.925 * [backup-simplify]: Simplify (/ -1 1) into -1 3.925 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 3.925 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 3.925 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.925 * [taylor]: Taking taylor expansion of c in c 3.925 * [backup-simplify]: Simplify 0 into 0 3.925 * [backup-simplify]: Simplify 1 into 1 3.926 * [backup-simplify]: Simplify (/ 1 1) into 1 3.926 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 3.926 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 3.926 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 3.926 * [backup-simplify]: Simplify (- (exp (/ -1 c)) (exp (/ 1 c))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 3.927 * [backup-simplify]: Simplify (- 0) into 0 3.927 * [backup-simplify]: Simplify (+ 0 0) into 0 3.927 * [backup-simplify]: Simplify 0 into 0 3.928 * [backup-simplify]: Simplify (- 0) into 0 3.928 * [backup-simplify]: Simplify (+ 0 0) into 0 3.928 * [backup-simplify]: Simplify 0 into 0 3.928 * [backup-simplify]: Simplify (- 0) into 0 3.929 * [backup-simplify]: Simplify (+ 0 0) into 0 3.929 * [backup-simplify]: Simplify 0 into 0 3.929 * [backup-simplify]: Simplify (- 0) into 0 3.930 * [backup-simplify]: Simplify (+ 0 0) into 0 3.930 * [backup-simplify]: Simplify 0 into 0 3.930 * [backup-simplify]: Simplify (- 0) into 0 3.931 * [backup-simplify]: Simplify (+ 0 0) into 0 3.931 * [backup-simplify]: Simplify 0 into 0 3.931 * [backup-simplify]: Simplify (- 0) into 0 3.931 * [backup-simplify]: Simplify (+ 0 0) into 0 3.931 * [backup-simplify]: Simplify 0 into 0 3.932 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c))))) into (- (exp c) (exp (* -1 c))) 3.932 * * * [progress]: simplifying candidates 3.932 * [simplify]: Simplifying: (/ (exp (exp c)) (exp (exp (* -1 c)))) (log (- (exp c) (exp (* -1 c)))) (exp (- (exp c) (exp (* -1 c)))) (* (cbrt (- (exp c) (exp (* -1 c)))) (cbrt (- (exp c) (exp (* -1 c))))) (cbrt (- (exp c) (exp (* -1 c)))) (* (* (- (exp c) (exp (* -1 c))) (- (exp c) (exp (* -1 c)))) (- (exp c) (exp (* -1 c)))) (sqrt (- (exp c) (exp (* -1 c)))) (sqrt (- (exp c) (exp (* -1 c)))) (- (pow (exp c) 3) (pow (exp (* -1 c)) 3)) (+ (* (exp c) (exp c)) (+ (* (exp (* -1 c)) (exp (* -1 c))) (* (exp c) (exp (* -1 c))))) (- (exp (* -1 c))) (- (* (exp c) (exp c)) (* (exp (* -1 c)) (exp (* -1 c)))) (+ (exp c) (exp (* -1 c))) (+ (sqrt (exp c)) (sqrt (exp (* -1 c)))) (- (sqrt (exp c)) (sqrt (exp (* -1 c)))) (- (exp c) (exp (* -1 c))) (- (exp (* -1 c))) (+ (* 1/3 (pow c 3)) (+ (* 1/60 (pow c 5)) (* 2 c))) (- (exp c) (exp (* -1 c))) (- (exp c) (exp (* -1 c))) 3.933 * [simplify]: Sending expressions to egg_math: (/ (exp (exp h0)) (exp (exp (* -1 h0)))) (log (- (exp h0) (exp (* -1 h0)))) (exp (- (exp h0) (exp (* -1 h0)))) (* (cbrt (- (exp h0) (exp (* -1 h0)))) (cbrt (- (exp h0) (exp (* -1 h0))))) (cbrt (- (exp h0) (exp (* -1 h0)))) (* (* (- (exp h0) (exp (* -1 h0))) (- (exp h0) (exp (* -1 h0)))) (- (exp h0) (exp (* -1 h0)))) (sqrt (- (exp h0) (exp (* -1 h0)))) (sqrt (- (exp h0) (exp (* -1 h0)))) (- (pow (exp h0) 3) (pow (exp (* -1 h0)) 3)) (+ (* (exp h0) (exp h0)) (+ (* (exp (* -1 h0)) (exp (* -1 h0))) (* (exp h0) (exp (* -1 h0))))) (- (exp (* -1 h0))) (- (* (exp h0) (exp h0)) (* (exp (* -1 h0)) (exp (* -1 h0)))) (+ (exp h0) (exp (* -1 h0))) (+ (sqrt (exp h0)) (sqrt (exp (* -1 h0)))) (- (sqrt (exp h0)) (sqrt (exp (* -1 h0)))) (- (exp h0) (exp (* -1 h0))) (- (exp (* -1 h0))) (+ (* (/ 1 3) (pow h0 3)) (+ (* (/ 1 60) (pow h0 5)) (* 2 h0))) (- (exp h0) (exp (* -1 h0))) (- (exp h0) (exp (* -1 h0))) 5.930 * * * [progress]: adding candidates to table 5.973 * [progress]: [Phase 3 of 3] Extracting. 5.973 * * [regime]: Finding splitpoints for: (# #) 5.974 * * * [regime-changes]: Trying 1 branch expressions: (c) 5.974 * * * * [regimes]: Trying to branch on c from (# #) 5.998 * * * [regime]: Found split indices: #