0.550 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.384 * * * [progress]: [2/2] Setting up program. 0.390 * [progress]: [Phase 2 of 3] Improving. 0.394 * [simplify]: Simplifying: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 0.394 * [simplify]: Sending expressions to egg_math: (fmod (sinh h0) (- h0 (pow -2.9807307601812193e+165 2.0))) 1.287 * * [progress]: iteration 1 / 4 1.287 * * * [progress]: picking best candidate 1.292 * * * * [pick]: Picked # 1.292 * * * [progress]: localizing error 1.315 * * * [progress]: generating rewritten candidates 1.315 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 1.322 * * * [progress]: generating series expansions 1.322 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 1.327 * [backup-simplify]: Simplify (sinh c) into (sinh c) 1.327 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 1.328 * [taylor]: Taking taylor expansion of (sinh c) in c 1.331 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1.331 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1.331 * [taylor]: Taking taylor expansion of (exp c) in c 1.331 * [taylor]: Taking taylor expansion of c in c 1.331 * [backup-simplify]: Simplify 0 into 0 1.331 * [backup-simplify]: Simplify 1 into 1 1.331 * [backup-simplify]: Simplify (exp 0) into 1 1.331 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.331 * [taylor]: Taking taylor expansion of (- c) in c 1.331 * [taylor]: Taking taylor expansion of c in c 1.331 * [backup-simplify]: Simplify 0 into 0 1.331 * [backup-simplify]: Simplify 1 into 1 1.332 * [backup-simplify]: Simplify (- 0) into 0 1.333 * [backup-simplify]: Simplify (- 1) into -1 1.333 * [backup-simplify]: Simplify (exp 0) into 1 1.333 * [taylor]: Taking taylor expansion of 2 in c 1.333 * [backup-simplify]: Simplify 2 into 2 1.334 * [backup-simplify]: Simplify (- 1) into -1 1.334 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.336 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.337 * [backup-simplify]: Simplify (- 1) into -1 1.338 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1.338 * [backup-simplify]: Simplify (- -1) into 1 1.338 * [backup-simplify]: Simplify (+ 1 1) into 2 1.339 * [backup-simplify]: Simplify (/ 2 2) into 1 1.339 * [taylor]: Taking taylor expansion of (sinh c) in c 1.339 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1.339 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1.339 * [taylor]: Taking taylor expansion of (exp c) in c 1.339 * [taylor]: Taking taylor expansion of c in c 1.339 * [backup-simplify]: Simplify 0 into 0 1.339 * [backup-simplify]: Simplify 1 into 1 1.339 * [backup-simplify]: Simplify (exp 0) into 1 1.339 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.339 * [taylor]: Taking taylor expansion of (- c) in c 1.339 * [taylor]: Taking taylor expansion of c in c 1.339 * [backup-simplify]: Simplify 0 into 0 1.339 * [backup-simplify]: Simplify 1 into 1 1.340 * [backup-simplify]: Simplify (- 0) into 0 1.340 * [backup-simplify]: Simplify (- 1) into -1 1.340 * [backup-simplify]: Simplify (exp 0) into 1 1.340 * [taylor]: Taking taylor expansion of 2 in c 1.340 * [backup-simplify]: Simplify 2 into 2 1.341 * [backup-simplify]: Simplify (- 1) into -1 1.341 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.342 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.343 * [backup-simplify]: Simplify (- 1) into -1 1.343 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1.344 * [backup-simplify]: Simplify (- -1) into 1 1.365 * [backup-simplify]: Simplify (+ 1 1) into 2 1.366 * [backup-simplify]: Simplify (/ 2 2) into 1 1.366 * [backup-simplify]: Simplify 1 into 1 1.368 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.368 * [backup-simplify]: Simplify (- 1) into -1 1.368 * [backup-simplify]: Simplify (- 0) into 0 1.369 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.369 * [backup-simplify]: Simplify (- 1/2) into -1/2 1.369 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1.370 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1.370 * [backup-simplify]: Simplify 0 into 0 1.371 * [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.372 * [backup-simplify]: Simplify (- 1) into -1 1.372 * [backup-simplify]: Simplify (- 1) into -1 1.372 * [backup-simplify]: Simplify (- 0) into 0 1.372 * [backup-simplify]: Simplify (- 0) into 0 1.374 * [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.374 * [backup-simplify]: Simplify (- -1/6) into 1/6 1.374 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1.375 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1.375 * [backup-simplify]: Simplify 1/6 into 1/6 1.378 * [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.378 * [backup-simplify]: Simplify (- 1) into -1 1.379 * [backup-simplify]: Simplify (- 1) into -1 1.379 * [backup-simplify]: Simplify (- 0) into 0 1.379 * [backup-simplify]: Simplify (- 1) into -1 1.379 * [backup-simplify]: Simplify (- 0) into 0 1.380 * [backup-simplify]: Simplify (- 0) into 0 1.380 * [backup-simplify]: Simplify (- 0) into 0 1.384 * [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.385 * [backup-simplify]: Simplify (- 1/24) into -1/24 1.385 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 1.386 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1.386 * [backup-simplify]: Simplify 0 into 0 1.392 * [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.393 * [backup-simplify]: Simplify (- 1) into -1 1.393 * [backup-simplify]: Simplify (- 1) into -1 1.393 * [backup-simplify]: Simplify (- 0) into 0 1.394 * [backup-simplify]: Simplify (- 1) into -1 1.394 * [backup-simplify]: Simplify (- 0) into 0 1.394 * [backup-simplify]: Simplify (- 1) into -1 1.395 * [backup-simplify]: Simplify (- 0) into 0 1.395 * [backup-simplify]: Simplify (- 1) into -1 1.396 * [backup-simplify]: Simplify (- 0) into 0 1.396 * [backup-simplify]: Simplify (- 0) into 0 1.397 * [backup-simplify]: Simplify (- 0) into 0 1.397 * [backup-simplify]: Simplify (- 0) into 0 1.403 * [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.403 * [backup-simplify]: Simplify (- -1/120) into 1/120 1.404 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 1.405 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1.405 * [backup-simplify]: Simplify 1/120 into 1/120 1.410 * [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.410 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 1.410 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1.410 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1.410 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.410 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.410 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.410 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.410 * [taylor]: Taking taylor expansion of c in c 1.410 * [backup-simplify]: Simplify 0 into 0 1.411 * [backup-simplify]: Simplify 1 into 1 1.411 * [backup-simplify]: Simplify (/ 1 1) into 1 1.411 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.411 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.411 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.411 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.411 * [taylor]: Taking taylor expansion of c in c 1.411 * [backup-simplify]: Simplify 0 into 0 1.411 * [backup-simplify]: Simplify 1 into 1 1.412 * [backup-simplify]: Simplify (/ 1 1) into 1 1.412 * [backup-simplify]: Simplify (- 1) into -1 1.412 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.412 * [taylor]: Taking taylor expansion of 2 in c 1.412 * [backup-simplify]: Simplify 2 into 2 1.413 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1.413 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1.413 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.413 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1.413 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.413 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.413 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.413 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.413 * [taylor]: Taking taylor expansion of c in c 1.413 * [backup-simplify]: Simplify 0 into 0 1.413 * [backup-simplify]: Simplify 1 into 1 1.414 * [backup-simplify]: Simplify (/ 1 1) into 1 1.414 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.414 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.414 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.414 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.414 * [taylor]: Taking taylor expansion of c in c 1.414 * [backup-simplify]: Simplify 0 into 0 1.414 * [backup-simplify]: Simplify 1 into 1 1.414 * [backup-simplify]: Simplify (/ 1 1) into 1 1.415 * [backup-simplify]: Simplify (- 1) into -1 1.415 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.415 * [taylor]: Taking taylor expansion of 2 in c 1.415 * [backup-simplify]: Simplify 2 into 2 1.415 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1.415 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1.416 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.416 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.416 * [backup-simplify]: Simplify (- 0) into 0 1.417 * [backup-simplify]: Simplify (+ 0 0) into 0 1.418 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1.418 * [backup-simplify]: Simplify 0 into 0 1.418 * [backup-simplify]: Simplify (- 0) into 0 1.418 * [backup-simplify]: Simplify (+ 0 0) into 0 1.420 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.420 * [backup-simplify]: Simplify 0 into 0 1.420 * [backup-simplify]: Simplify (- 0) into 0 1.421 * [backup-simplify]: Simplify (+ 0 0) into 0 1.423 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.423 * [backup-simplify]: Simplify 0 into 0 1.423 * [backup-simplify]: Simplify (- 0) into 0 1.424 * [backup-simplify]: Simplify (+ 0 0) into 0 1.426 * [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.427 * [backup-simplify]: Simplify 0 into 0 1.427 * [backup-simplify]: Simplify (- 0) into 0 1.427 * [backup-simplify]: Simplify (+ 0 0) into 0 1.430 * [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.430 * [backup-simplify]: Simplify 0 into 0 1.431 * [backup-simplify]: Simplify (- 0) into 0 1.431 * [backup-simplify]: Simplify (+ 0 0) into 0 1.433 * [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.433 * [backup-simplify]: Simplify 0 into 0 1.433 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1.433 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 1.433 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1.433 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1.433 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.434 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.434 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.434 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.434 * [taylor]: Taking taylor expansion of -1 in c 1.434 * [backup-simplify]: Simplify -1 into -1 1.434 * [taylor]: Taking taylor expansion of c in c 1.434 * [backup-simplify]: Simplify 0 into 0 1.434 * [backup-simplify]: Simplify 1 into 1 1.434 * [backup-simplify]: Simplify (/ -1 1) into -1 1.434 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.434 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.434 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.434 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.434 * [taylor]: Taking taylor expansion of -1 in c 1.434 * [backup-simplify]: Simplify -1 into -1 1.434 * [taylor]: Taking taylor expansion of c in c 1.434 * [backup-simplify]: Simplify 0 into 0 1.434 * [backup-simplify]: Simplify 1 into 1 1.434 * [backup-simplify]: Simplify (/ -1 1) into -1 1.435 * [backup-simplify]: Simplify (- -1) into 1 1.435 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.435 * [taylor]: Taking taylor expansion of 2 in c 1.435 * [backup-simplify]: Simplify 2 into 2 1.435 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1.435 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1.435 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.435 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1.435 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.435 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.435 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.435 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.435 * [taylor]: Taking taylor expansion of -1 in c 1.435 * [backup-simplify]: Simplify -1 into -1 1.435 * [taylor]: Taking taylor expansion of c in c 1.435 * [backup-simplify]: Simplify 0 into 0 1.435 * [backup-simplify]: Simplify 1 into 1 1.435 * [backup-simplify]: Simplify (/ -1 1) into -1 1.436 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.436 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.436 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.436 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.436 * [taylor]: Taking taylor expansion of -1 in c 1.436 * [backup-simplify]: Simplify -1 into -1 1.436 * [taylor]: Taking taylor expansion of c in c 1.436 * [backup-simplify]: Simplify 0 into 0 1.436 * [backup-simplify]: Simplify 1 into 1 1.436 * [backup-simplify]: Simplify (/ -1 1) into -1 1.436 * [backup-simplify]: Simplify (- -1) into 1 1.436 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.436 * [taylor]: Taking taylor expansion of 2 in c 1.436 * [backup-simplify]: Simplify 2 into 2 1.436 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1.436 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1.437 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.437 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.437 * [backup-simplify]: Simplify (- 0) into 0 1.437 * [backup-simplify]: Simplify (+ 0 0) into 0 1.438 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1.438 * [backup-simplify]: Simplify 0 into 0 1.438 * [backup-simplify]: Simplify (- 0) into 0 1.438 * [backup-simplify]: Simplify (+ 0 0) into 0 1.439 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.439 * [backup-simplify]: Simplify 0 into 0 1.439 * [backup-simplify]: Simplify (- 0) into 0 1.440 * [backup-simplify]: Simplify (+ 0 0) into 0 1.441 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.441 * [backup-simplify]: Simplify 0 into 0 1.441 * [backup-simplify]: Simplify (- 0) into 0 1.441 * [backup-simplify]: Simplify (+ 0 0) into 0 1.443 * [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.443 * [backup-simplify]: Simplify 0 into 0 1.443 * [backup-simplify]: Simplify (- 0) into 0 1.443 * [backup-simplify]: Simplify (+ 0 0) into 0 1.445 * [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.445 * [backup-simplify]: Simplify 0 into 0 1.445 * [backup-simplify]: Simplify (- 0) into 0 1.445 * [backup-simplify]: Simplify (+ 0 0) into 0 1.447 * [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.447 * [backup-simplify]: Simplify 0 into 0 1.448 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1.448 * * * [progress]: simplifying candidates 1.448 * [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.448 * [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.475 * * * [progress]: adding candidates to table 2.521 * * [progress]: iteration 2 / 4 2.521 * * * [progress]: picking best candidate 2.529 * * * * [pick]: Picked # 2.529 * * * [progress]: localizing error 2.546 * * * [progress]: generating rewritten candidates 2.546 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 1) 2.556 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 2.578 * * * [progress]: generating series expansions 2.578 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 1) 2.579 * [backup-simplify]: Simplify (/ (pow c 3) 6) into (* 1/6 (pow c 3)) 2.579 * [approximate]: Taking taylor expansion of (* 1/6 (pow c 3)) in (c) around 0 2.579 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 2.579 * [taylor]: Taking taylor expansion of 1/6 in c 2.579 * [backup-simplify]: Simplify 1/6 into 1/6 2.579 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.579 * [taylor]: Taking taylor expansion of c in c 2.579 * [backup-simplify]: Simplify 0 into 0 2.579 * [backup-simplify]: Simplify 1 into 1 2.579 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 2.579 * [taylor]: Taking taylor expansion of 1/6 in c 2.579 * [backup-simplify]: Simplify 1/6 into 1/6 2.579 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.579 * [taylor]: Taking taylor expansion of c in c 2.579 * [backup-simplify]: Simplify 0 into 0 2.579 * [backup-simplify]: Simplify 1 into 1 2.580 * [backup-simplify]: Simplify (* 1 1) into 1 2.581 * [backup-simplify]: Simplify (* 1 1) into 1 2.581 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 2.581 * [backup-simplify]: Simplify 1/6 into 1/6 2.582 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.583 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.584 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 2.584 * [backup-simplify]: Simplify 0 into 0 2.585 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.586 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.587 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 2.587 * [backup-simplify]: Simplify 0 into 0 2.587 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.588 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.589 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 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 1))))) into 0 2.590 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.591 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.591 * [backup-simplify]: Simplify 0 into 0 2.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.598 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.599 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 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 0) (+ (* 0 0) (* 0 1))))))) into 0 2.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.602 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.602 * [backup-simplify]: Simplify 0 into 0 2.602 * [backup-simplify]: Simplify (* 1/6 (pow c 3)) into (* 1/6 (pow c 3)) 2.602 * [backup-simplify]: Simplify (/ (pow (/ 1 c) 3) 6) into (/ 1/6 (pow c 3)) 2.602 * [approximate]: Taking taylor expansion of (/ 1/6 (pow c 3)) in (c) around 0 2.602 * [taylor]: Taking taylor expansion of (/ 1/6 (pow c 3)) in c 2.602 * [taylor]: Taking taylor expansion of 1/6 in c 2.602 * [backup-simplify]: Simplify 1/6 into 1/6 2.602 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.602 * [taylor]: Taking taylor expansion of c in c 2.602 * [backup-simplify]: Simplify 0 into 0 2.602 * [backup-simplify]: Simplify 1 into 1 2.602 * [backup-simplify]: Simplify (* 1 1) into 1 2.603 * [backup-simplify]: Simplify (* 1 1) into 1 2.603 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 2.603 * [taylor]: Taking taylor expansion of (/ 1/6 (pow c 3)) in c 2.603 * [taylor]: Taking taylor expansion of 1/6 in c 2.603 * [backup-simplify]: Simplify 1/6 into 1/6 2.603 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.603 * [taylor]: Taking taylor expansion of c in c 2.603 * [backup-simplify]: Simplify 0 into 0 2.603 * [backup-simplify]: Simplify 1 into 1 2.603 * [backup-simplify]: Simplify (* 1 1) into 1 2.604 * [backup-simplify]: Simplify (* 1 1) into 1 2.604 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 2.604 * [backup-simplify]: Simplify 1/6 into 1/6 2.604 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.605 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.605 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 2.605 * [backup-simplify]: Simplify 0 into 0 2.606 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.606 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.607 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.607 * [backup-simplify]: Simplify 0 into 0 2.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.608 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.608 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.608 * [backup-simplify]: Simplify 0 into 0 2.609 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.610 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.610 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.610 * [backup-simplify]: Simplify 0 into 0 2.611 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.612 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.612 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.612 * [backup-simplify]: Simplify 0 into 0 2.613 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.615 * [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.615 * [backup-simplify]: Simplify 0 into 0 2.615 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (/ 1 c)) 3)) into (* 1/6 (pow c 3)) 2.615 * [backup-simplify]: Simplify (/ (pow (/ 1 (- c)) 3) 6) into (/ -1/6 (pow c 3)) 2.615 * [approximate]: Taking taylor expansion of (/ -1/6 (pow c 3)) in (c) around 0 2.615 * [taylor]: Taking taylor expansion of (/ -1/6 (pow c 3)) in c 2.615 * [taylor]: Taking taylor expansion of -1/6 in c 2.615 * [backup-simplify]: Simplify -1/6 into -1/6 2.615 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.615 * [taylor]: Taking taylor expansion of c in c 2.615 * [backup-simplify]: Simplify 0 into 0 2.615 * [backup-simplify]: Simplify 1 into 1 2.615 * [backup-simplify]: Simplify (* 1 1) into 1 2.616 * [backup-simplify]: Simplify (* 1 1) into 1 2.616 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 2.616 * [taylor]: Taking taylor expansion of (/ -1/6 (pow c 3)) in c 2.616 * [taylor]: Taking taylor expansion of -1/6 in c 2.616 * [backup-simplify]: Simplify -1/6 into -1/6 2.616 * [taylor]: Taking taylor expansion of (pow c 3) in c 2.616 * [taylor]: Taking taylor expansion of c in c 2.616 * [backup-simplify]: Simplify 0 into 0 2.616 * [backup-simplify]: Simplify 1 into 1 2.616 * [backup-simplify]: Simplify (* 1 1) into 1 2.616 * [backup-simplify]: Simplify (* 1 1) into 1 2.617 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 2.617 * [backup-simplify]: Simplify -1/6 into -1/6 2.617 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.617 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.618 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0 2.618 * [backup-simplify]: Simplify 0 into 0 2.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.619 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.620 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.620 * [backup-simplify]: Simplify 0 into 0 2.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.622 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.623 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.623 * [backup-simplify]: Simplify 0 into 0 2.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.626 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.626 * [backup-simplify]: Simplify 0 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 (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.630 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 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.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.634 * [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.634 * [backup-simplify]: Simplify 0 into 0 2.635 * [backup-simplify]: Simplify (* -1/6 (pow (/ 1 (/ 1 (- c))) 3)) into (* 1/6 (pow c 3)) 2.635 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 2.635 * [backup-simplify]: Simplify (/ (pow c 5) 120) into (* 1/120 (pow c 5)) 2.635 * [approximate]: Taking taylor expansion of (* 1/120 (pow c 5)) in (c) around 0 2.635 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 2.635 * [taylor]: Taking taylor expansion of 1/120 in c 2.635 * [backup-simplify]: Simplify 1/120 into 1/120 2.635 * [taylor]: Taking taylor expansion of (pow c 5) in c 2.635 * [taylor]: Taking taylor expansion of c in c 2.635 * [backup-simplify]: Simplify 0 into 0 2.635 * [backup-simplify]: Simplify 1 into 1 2.635 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 2.635 * [taylor]: Taking taylor expansion of 1/120 in c 2.635 * [backup-simplify]: Simplify 1/120 into 1/120 2.635 * [taylor]: Taking taylor expansion of (pow c 5) in c 2.635 * [taylor]: Taking taylor expansion of c in c 2.635 * [backup-simplify]: Simplify 0 into 0 2.635 * [backup-simplify]: Simplify 1 into 1 2.636 * [backup-simplify]: Simplify (* 1 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/120 1) into 1/120 2.637 * [backup-simplify]: Simplify 1/120 into 1/120 2.638 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.638 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.639 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.640 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 2.640 * [backup-simplify]: Simplify 0 into 0 2.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.643 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 2.643 * [backup-simplify]: Simplify 0 into 0 2.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.645 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.648 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.648 * [backup-simplify]: Simplify 0 into 0 2.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) 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.652 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.652 * [backup-simplify]: Simplify 0 into 0 2.654 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) 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.658 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 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.664 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.664 * [backup-simplify]: Simplify 0 into 0 2.664 * [backup-simplify]: Simplify (* 1/120 (pow c 5)) into (* 1/120 (pow c 5)) 2.665 * [backup-simplify]: Simplify (/ (pow (/ 1 c) 5) 120) into (/ 1/120 (pow c 5)) 2.665 * [approximate]: Taking taylor expansion of (/ 1/120 (pow c 5)) in (c) around 0 2.665 * [taylor]: Taking taylor expansion of (/ 1/120 (pow c 5)) in c 2.665 * [taylor]: Taking taylor expansion of 1/120 in c 2.665 * [backup-simplify]: Simplify 1/120 into 1/120 2.665 * [taylor]: Taking taylor expansion of (pow c 5) in c 2.665 * [taylor]: Taking taylor expansion of c in c 2.665 * [backup-simplify]: Simplify 0 into 0 2.665 * [backup-simplify]: Simplify 1 into 1 2.665 * [backup-simplify]: Simplify (* 1 1) into 1 2.666 * [backup-simplify]: Simplify (* 1 1) into 1 2.666 * [backup-simplify]: Simplify (* 1 1) into 1 2.666 * [backup-simplify]: Simplify (/ 1/120 1) into 1/120 2.666 * [taylor]: Taking taylor expansion of (/ 1/120 (pow c 5)) in c 2.666 * [taylor]: Taking taylor expansion of 1/120 in c 2.666 * [backup-simplify]: Simplify 1/120 into 1/120 2.667 * [taylor]: Taking taylor expansion of (pow c 5) in c 2.667 * [taylor]: Taking taylor expansion of c in c 2.667 * [backup-simplify]: Simplify 0 into 0 2.667 * [backup-simplify]: Simplify 1 into 1 2.667 * [backup-simplify]: Simplify (* 1 1) into 1 2.667 * [backup-simplify]: Simplify (* 1 1) into 1 2.667 * [backup-simplify]: Simplify (* 1 1) into 1 2.668 * [backup-simplify]: Simplify (/ 1/120 1) into 1/120 2.668 * [backup-simplify]: Simplify 1/120 into 1/120 2.668 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.669 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.669 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.669 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)))) into 0 2.669 * [backup-simplify]: Simplify 0 into 0 2.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.671 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.671 * [backup-simplify]: Simplify 0 into 0 2.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.674 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.674 * [backup-simplify]: Simplify 0 into 0 2.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.676 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.676 * [backup-simplify]: Simplify 0 into 0 2.677 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.679 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.679 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.679 * [backup-simplify]: Simplify 0 into 0 2.680 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.681 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.682 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.682 * [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.682 * [backup-simplify]: Simplify 0 into 0 2.682 * [backup-simplify]: Simplify (* 1/120 (pow (/ 1 (/ 1 c)) 5)) into (* 1/120 (pow c 5)) 2.683 * [backup-simplify]: Simplify (/ (pow (/ 1 (- c)) 5) 120) into (/ -1/120 (pow c 5)) 2.683 * [approximate]: Taking taylor expansion of (/ -1/120 (pow c 5)) in (c) around 0 2.683 * [taylor]: Taking taylor expansion of (/ -1/120 (pow c 5)) in c 2.683 * [taylor]: Taking taylor expansion of -1/120 in c 2.683 * [backup-simplify]: Simplify -1/120 into -1/120 2.683 * [taylor]: Taking taylor expansion of (pow c 5) in c 2.683 * [taylor]: Taking taylor expansion of c in c 2.683 * [backup-simplify]: Simplify 0 into 0 2.683 * [backup-simplify]: Simplify 1 into 1 2.683 * [backup-simplify]: Simplify (* 1 1) into 1 2.683 * [backup-simplify]: Simplify (* 1 1) into 1 2.683 * [backup-simplify]: Simplify (* 1 1) into 1 2.684 * [backup-simplify]: Simplify (/ -1/120 1) into -1/120 2.684 * [taylor]: Taking taylor expansion of (/ -1/120 (pow c 5)) in c 2.684 * [taylor]: Taking taylor expansion of -1/120 in c 2.684 * [backup-simplify]: Simplify -1/120 into -1/120 2.684 * [taylor]: Taking taylor expansion of (pow c 5) in c 2.684 * [taylor]: Taking taylor expansion of c in c 2.684 * [backup-simplify]: Simplify 0 into 0 2.684 * [backup-simplify]: Simplify 1 into 1 2.684 * [backup-simplify]: Simplify (* 1 1) into 1 2.684 * [backup-simplify]: Simplify (* 1 1) into 1 2.684 * [backup-simplify]: Simplify (* 1 1) into 1 2.685 * [backup-simplify]: Simplify (/ -1/120 1) into -1/120 2.685 * [backup-simplify]: Simplify -1/120 into -1/120 2.685 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.686 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.686 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.686 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)))) into 0 2.686 * [backup-simplify]: Simplify 0 into 0 2.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.688 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.688 * [backup-simplify]: Simplify 0 into 0 2.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.691 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.691 * [backup-simplify]: Simplify 0 into 0 2.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.692 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.693 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.693 * [backup-simplify]: Simplify 0 into 0 2.694 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.695 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.697 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.697 * [backup-simplify]: Simplify 0 into 0 2.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.702 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.709 * [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.709 * [backup-simplify]: Simplify 0 into 0 2.710 * [backup-simplify]: Simplify (* -1/120 (pow (/ 1 (/ 1 (- c))) 5)) into (* 1/120 (pow c 5)) 2.710 * * * [progress]: simplifying candidates 2.713 * [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.714 * [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.444 * * * [progress]: adding candidates to table 3.881 * * [progress]: iteration 3 / 4 3.881 * * * [progress]: picking best candidate 3.886 * * * * [pick]: Picked # 3.886 * * * [progress]: localizing error 3.913 * * * [progress]: generating rewritten candidates 3.913 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1) 3.931 * * * [progress]: generating series expansions 3.931 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1) 3.931 * [backup-simplify]: Simplify (- (exp c) (exp (* -1 c))) into (- (exp c) (exp (* -1 c))) 3.931 * [approximate]: Taking taylor expansion of (- (exp c) (exp (* -1 c))) in (c) around 0 3.931 * [taylor]: Taking taylor expansion of (- (exp c) (exp (* -1 c))) in c 3.931 * [taylor]: Taking taylor expansion of (exp c) in c 3.931 * [taylor]: Taking taylor expansion of c in c 3.931 * [backup-simplify]: Simplify 0 into 0 3.931 * [backup-simplify]: Simplify 1 into 1 3.931 * [backup-simplify]: Simplify (exp 0) into 1 3.931 * [taylor]: Taking taylor expansion of (exp (* -1 c)) in c 3.931 * [taylor]: Taking taylor expansion of (* -1 c) in c 3.931 * [taylor]: Taking taylor expansion of -1 in c 3.931 * [backup-simplify]: Simplify -1 into -1 3.931 * [taylor]: Taking taylor expansion of c in c 3.931 * [backup-simplify]: Simplify 0 into 0 3.931 * [backup-simplify]: Simplify 1 into 1 3.932 * [backup-simplify]: Simplify (* -1 0) into 0 3.932 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1 3.932 * [backup-simplify]: Simplify (exp 0) into 1 3.932 * [taylor]: Taking taylor expansion of (- (exp c) (exp (* -1 c))) in c 3.932 * [taylor]: Taking taylor expansion of (exp c) in c 3.932 * [taylor]: Taking taylor expansion of c in c 3.932 * [backup-simplify]: Simplify 0 into 0 3.932 * [backup-simplify]: Simplify 1 into 1 3.932 * [backup-simplify]: Simplify (exp 0) into 1 3.932 * [taylor]: Taking taylor expansion of (exp (* -1 c)) in c 3.932 * [taylor]: Taking taylor expansion of (* -1 c) in c 3.932 * [taylor]: Taking taylor expansion of -1 in c 3.932 * [backup-simplify]: Simplify -1 into -1 3.932 * [taylor]: Taking taylor expansion of c in c 3.932 * [backup-simplify]: Simplify 0 into 0 3.932 * [backup-simplify]: Simplify 1 into 1 3.933 * [backup-simplify]: Simplify (* -1 0) into 0 3.933 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1 3.933 * [backup-simplify]: Simplify (exp 0) into 1 3.933 * [backup-simplify]: Simplify (- 1) into -1 3.934 * [backup-simplify]: Simplify (+ 1 -1) into 0 3.934 * [backup-simplify]: Simplify 0 into 0 3.934 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 3.942 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 3.942 * [backup-simplify]: Simplify (- -1) into 1 3.943 * [backup-simplify]: Simplify (+ 1 1) into 2 3.943 * [backup-simplify]: Simplify 2 into 2 3.944 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 3.944 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 3.945 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 3.945 * [backup-simplify]: Simplify (- 1/2) into -1/2 3.946 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 3.946 * [backup-simplify]: Simplify 0 into 0 3.947 * [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.948 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.949 * [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.949 * [backup-simplify]: Simplify (- -1/6) into 1/6 3.949 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 3.949 * [backup-simplify]: Simplify 1/3 into 1/3 3.952 * [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.952 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 3.955 * [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.955 * [backup-simplify]: Simplify (- 1/24) into -1/24 3.955 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 3.955 * [backup-simplify]: Simplify 0 into 0 3.962 * [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.964 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 3.970 * [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.970 * [backup-simplify]: Simplify (- -1/120) into 1/120 3.971 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 3.971 * [backup-simplify]: Simplify 1/60 into 1/60 3.971 * [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.971 * [backup-simplify]: Simplify (- (exp (/ 1 c)) (exp (* -1 (/ 1 c)))) into (- (exp (/ 1 c)) (exp (/ -1 c))) 3.972 * [approximate]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (/ -1 c))) in (c) around 0 3.972 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (/ -1 c))) in c 3.972 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 3.972 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.972 * [taylor]: Taking taylor expansion of c in c 3.972 * [backup-simplify]: Simplify 0 into 0 3.972 * [backup-simplify]: Simplify 1 into 1 3.972 * [backup-simplify]: Simplify (/ 1 1) into 1 3.972 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 3.972 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 3.972 * [taylor]: Taking taylor expansion of (/ -1 c) in c 3.972 * [taylor]: Taking taylor expansion of -1 in c 3.972 * [backup-simplify]: Simplify -1 into -1 3.972 * [taylor]: Taking taylor expansion of c in c 3.972 * [backup-simplify]: Simplify 0 into 0 3.972 * [backup-simplify]: Simplify 1 into 1 3.973 * [backup-simplify]: Simplify (/ -1 1) into -1 3.973 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 3.973 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (/ -1 c))) in c 3.973 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 3.973 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.973 * [taylor]: Taking taylor expansion of c in c 3.973 * [backup-simplify]: Simplify 0 into 0 3.973 * [backup-simplify]: Simplify 1 into 1 3.974 * [backup-simplify]: Simplify (/ 1 1) into 1 3.974 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 3.974 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 3.974 * [taylor]: Taking taylor expansion of (/ -1 c) in c 3.974 * [taylor]: Taking taylor expansion of -1 in c 3.974 * [backup-simplify]: Simplify -1 into -1 3.974 * [taylor]: Taking taylor expansion of c in c 3.974 * [backup-simplify]: Simplify 0 into 0 3.974 * [backup-simplify]: Simplify 1 into 1 3.975 * [backup-simplify]: Simplify (/ -1 1) into -1 3.975 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 3.975 * [backup-simplify]: Simplify (- (exp (/ -1 c))) into (- (exp (/ -1 c))) 3.975 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (/ -1 c)))) into (- (exp (/ 1 c)) (exp (/ -1 c))) 3.975 * [backup-simplify]: Simplify (- (exp (/ 1 c)) (exp (/ -1 c))) into (- (exp (/ 1 c)) (exp (/ -1 c))) 3.976 * [backup-simplify]: Simplify (- 0) into 0 3.976 * [backup-simplify]: Simplify (+ 0 0) into 0 3.976 * [backup-simplify]: Simplify 0 into 0 3.976 * [backup-simplify]: Simplify (- 0) into 0 3.977 * [backup-simplify]: Simplify (+ 0 0) into 0 3.977 * [backup-simplify]: Simplify 0 into 0 3.977 * [backup-simplify]: Simplify (- 0) into 0 3.978 * [backup-simplify]: Simplify (+ 0 0) into 0 3.978 * [backup-simplify]: Simplify 0 into 0 3.978 * [backup-simplify]: Simplify (- 0) into 0 3.978 * [backup-simplify]: Simplify (+ 0 0) into 0 3.978 * [backup-simplify]: Simplify 0 into 0 3.979 * [backup-simplify]: Simplify (- 0) into 0 3.979 * [backup-simplify]: Simplify (+ 0 0) into 0 3.979 * [backup-simplify]: Simplify 0 into 0 3.980 * [backup-simplify]: Simplify (- 0) into 0 3.980 * [backup-simplify]: Simplify (+ 0 0) into 0 3.980 * [backup-simplify]: Simplify 0 into 0 3.980 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 c))) (exp (/ -1 (/ 1 c)))) into (- (exp c) (exp (* -1 c))) 3.981 * [backup-simplify]: Simplify (- (exp (/ 1 (- c))) (exp (* -1 (/ 1 (- c))))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 3.981 * [approximate]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (/ 1 c))) in (c) around 0 3.981 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (/ 1 c))) in c 3.981 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 3.981 * [taylor]: Taking taylor expansion of (/ -1 c) in c 3.981 * [taylor]: Taking taylor expansion of -1 in c 3.981 * [backup-simplify]: Simplify -1 into -1 3.981 * [taylor]: Taking taylor expansion of c in c 3.981 * [backup-simplify]: Simplify 0 into 0 3.981 * [backup-simplify]: Simplify 1 into 1 3.981 * [backup-simplify]: Simplify (/ -1 1) into -1 3.981 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 3.981 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 3.981 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.981 * [taylor]: Taking taylor expansion of c in c 3.981 * [backup-simplify]: Simplify 0 into 0 3.982 * [backup-simplify]: Simplify 1 into 1 3.982 * [backup-simplify]: Simplify (/ 1 1) into 1 3.982 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 3.982 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (/ 1 c))) in c 3.982 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 3.982 * [taylor]: Taking taylor expansion of (/ -1 c) in c 3.982 * [taylor]: Taking taylor expansion of -1 in c 3.982 * [backup-simplify]: Simplify -1 into -1 3.982 * [taylor]: Taking taylor expansion of c in c 3.982 * [backup-simplify]: Simplify 0 into 0 3.982 * [backup-simplify]: Simplify 1 into 1 3.983 * [backup-simplify]: Simplify (/ -1 1) into -1 3.983 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 3.983 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 3.983 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.983 * [taylor]: Taking taylor expansion of c in c 3.983 * [backup-simplify]: Simplify 0 into 0 3.983 * [backup-simplify]: Simplify 1 into 1 3.984 * [backup-simplify]: Simplify (/ 1 1) into 1 3.984 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 3.984 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 3.984 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 3.984 * [backup-simplify]: Simplify (- (exp (/ -1 c)) (exp (/ 1 c))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 3.985 * [backup-simplify]: Simplify (- 0) into 0 3.985 * [backup-simplify]: Simplify (+ 0 0) into 0 3.985 * [backup-simplify]: Simplify 0 into 0 3.985 * [backup-simplify]: Simplify (- 0) into 0 3.986 * [backup-simplify]: Simplify (+ 0 0) into 0 3.986 * [backup-simplify]: Simplify 0 into 0 3.986 * [backup-simplify]: Simplify (- 0) into 0 3.986 * [backup-simplify]: Simplify (+ 0 0) into 0 3.987 * [backup-simplify]: Simplify 0 into 0 3.987 * [backup-simplify]: Simplify (- 0) into 0 3.987 * [backup-simplify]: Simplify (+ 0 0) into 0 3.987 * [backup-simplify]: Simplify 0 into 0 3.988 * [backup-simplify]: Simplify (- 0) into 0 3.988 * [backup-simplify]: Simplify (+ 0 0) into 0 3.988 * [backup-simplify]: Simplify 0 into 0 3.988 * [backup-simplify]: Simplify (- 0) into 0 3.989 * [backup-simplify]: Simplify (+ 0 0) into 0 3.989 * [backup-simplify]: Simplify 0 into 0 3.989 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c))))) into (- (exp c) (exp (* -1 c))) 3.989 * * * [progress]: simplifying candidates 3.990 * [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.990 * [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))) 6.084 * * * [progress]: adding candidates to table 6.141 * [progress]: [Phase 3 of 3] Extracting. 6.147 * * [regime]: Finding splitpoints for: (# #) 6.149 * * * [regime-changes]: Trying 1 branch expressions: (c) 6.149 * * * * [regimes]: Trying to branch on c from (# #) 6.176 * * * [regime]: Found split indices: #