0.484 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.374 * * * [progress]: [2/2] Setting up program. 0.378 * [progress]: [Phase 2 of 3] Improving. 0.380 * [simplify]: Simplifying: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 0.381 * * [simplify]: Extracting # 0 : cost 0 0.381 * * [simplify]: Extracting # 1 : cost 0 0.381 * * [simplify]: Extracting # 2 : cost 0 0.382 * * [simplify]: Extracting # 3 : cost 0 0.382 * * [simplify]: Extracting # 4 : cost 0 0.382 * * [simplify]: Extracting # 5 : cost 0 0.382 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.387 * * [simplify]: Extracting # 0 : cost 0 0.387 * * [simplify]: Extracting # 1 : cost 0 0.387 * * [simplify]: Extracting # 2 : cost 0 0.387 * * [simplify]: Extracting # 3 : cost 0 0.387 * * [simplify]: Extracting # 4 : cost 0 0.388 * * [simplify]: Extracting # 5 : cost 0 0.388 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 0.391 * * [simplify]: Extracting # 0 : cost 0 0.392 * * [simplify]: Extracting # 1 : cost 0 0.392 * * [simplify]: Extracting # 2 : cost 0 0.392 * * [simplify]: Extracting # 3 : cost 0 0.392 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 0.400 * * [simplify]: Extracting # 0 : cost 0 0.400 * * [simplify]: Extracting # 1 : cost 0 0.400 * * [simplify]: Extracting # 2 : cost 0 0.401 * * [simplify]: Extracting # 3 : cost 0 0.401 * * [simplify]: Extracting # 4 : cost 0 0.401 * * [simplify]: iteration 3 : 69 enodes (cost 8 ) 0.429 * * [simplify]: Extracting # 0 : cost 0 0.429 * * [simplify]: Extracting # 1 : cost 0 0.430 * * [simplify]: Extracting # 2 : cost 0 0.430 * * [simplify]: Extracting # 3 : cost 0 0.430 * * [simplify]: Extracting # 4 : cost 0 0.431 * * [simplify]: iteration 4 : 147 enodes (cost 8 ) 0.531 * * [simplify]: Extracting # 0 : cost 0 0.532 * * [simplify]: Extracting # 1 : cost 0 0.533 * * [simplify]: Extracting # 2 : cost 0 0.533 * * [simplify]: Extracting # 3 : cost 0 0.534 * * [simplify]: Extracting # 4 : cost 0 0.535 * * [simplify]: iteration 5 : 347 enodes (cost 8 ) 0.837 * * [simplify]: Extracting # 0 : cost 0 0.838 * * [simplify]: Extracting # 1 : cost 0 0.839 * * [simplify]: Extracting # 2 : cost 0 0.840 * * [simplify]: Extracting # 3 : cost 0 0.841 * * [simplify]: Extracting # 4 : cost 0 0.841 * * [simplify]: iteration 6 : 1152 enodes (cost 8 ) 4.539 * * [simplify]: Extracting # 0 : cost 0 4.548 * * [simplify]: Extracting # 1 : cost 0 4.551 * * [simplify]: Extracting # 2 : cost 0 4.554 * * [simplify]: Extracting # 3 : cost 0 4.558 * * [simplify]: Extracting # 4 : cost 0 4.563 * * [simplify]: Extracting # 5 : cost 0 4.568 * * [simplify]: iteration 7 : 4414 enodes (cost 8 ) 7.318 * * [simplify]: Extracting # 0 : cost 0 7.326 * * [simplify]: Extracting # 1 : cost 0 7.333 * * [simplify]: Extracting # 2 : cost 0 7.340 * * [simplify]: Extracting # 3 : cost 0 7.353 * * [simplify]: iteration done: 5000 enodes (cost 8 ) 7.354 * [simplify]: Simplified to: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 7.356 * * [progress]: iteration 1 / 4 7.356 * * * [progress]: picking best candidate 7.358 * * * * [pick]: Picked # 7.358 * * * [progress]: localizing error 7.368 * * * [progress]: generating rewritten candidates 7.368 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 7.372 * * * [progress]: generating series expansions 7.372 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 7.375 * [backup-simplify]: Simplify (sinh c) into (sinh c) 7.375 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 7.375 * [taylor]: Taking taylor expansion of (sinh c) in c 7.377 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 7.378 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 7.378 * [taylor]: Taking taylor expansion of (exp c) in c 7.378 * [taylor]: Taking taylor expansion of c in c 7.378 * [backup-simplify]: Simplify 0 into 0 7.378 * [backup-simplify]: Simplify 1 into 1 7.378 * [backup-simplify]: Simplify (exp 0) into 1 7.378 * [taylor]: Taking taylor expansion of (exp (- c)) in c 7.378 * [taylor]: Taking taylor expansion of (- c) in c 7.378 * [taylor]: Taking taylor expansion of c in c 7.378 * [backup-simplify]: Simplify 0 into 0 7.378 * [backup-simplify]: Simplify 1 into 1 7.378 * [backup-simplify]: Simplify (- 0) into 0 7.378 * [backup-simplify]: Simplify (- 1) into -1 7.379 * [backup-simplify]: Simplify (exp 0) into 1 7.379 * [taylor]: Taking taylor expansion of 2 in c 7.379 * [backup-simplify]: Simplify 2 into 2 7.379 * [backup-simplify]: Simplify (- 1) into -1 7.380 * [backup-simplify]: Simplify (+ 1 -1) into 0 7.381 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 7.381 * [backup-simplify]: Simplify (- 1) into -1 7.382 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 7.382 * [backup-simplify]: Simplify (- -1) into 1 7.382 * [backup-simplify]: Simplify (+ 1 1) into 2 7.382 * [backup-simplify]: Simplify (/ 2 2) into 1 7.382 * [taylor]: Taking taylor expansion of (sinh c) in c 7.383 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 7.383 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 7.383 * [taylor]: Taking taylor expansion of (exp c) in c 7.383 * [taylor]: Taking taylor expansion of c in c 7.383 * [backup-simplify]: Simplify 0 into 0 7.383 * [backup-simplify]: Simplify 1 into 1 7.383 * [backup-simplify]: Simplify (exp 0) into 1 7.383 * [taylor]: Taking taylor expansion of (exp (- c)) in c 7.383 * [taylor]: Taking taylor expansion of (- c) in c 7.383 * [taylor]: Taking taylor expansion of c in c 7.383 * [backup-simplify]: Simplify 0 into 0 7.383 * [backup-simplify]: Simplify 1 into 1 7.383 * [backup-simplify]: Simplify (- 0) into 0 7.383 * [backup-simplify]: Simplify (- 1) into -1 7.383 * [backup-simplify]: Simplify (exp 0) into 1 7.383 * [taylor]: Taking taylor expansion of 2 in c 7.383 * [backup-simplify]: Simplify 2 into 2 7.383 * [backup-simplify]: Simplify (- 1) into -1 7.384 * [backup-simplify]: Simplify (+ 1 -1) into 0 7.384 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 7.385 * [backup-simplify]: Simplify (- 1) into -1 7.385 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 7.385 * [backup-simplify]: Simplify (- -1) into 1 7.386 * [backup-simplify]: Simplify (+ 1 1) into 2 7.386 * [backup-simplify]: Simplify (/ 2 2) into 1 7.386 * [backup-simplify]: Simplify 1 into 1 7.387 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 7.388 * [backup-simplify]: Simplify (- 1) into -1 7.388 * [backup-simplify]: Simplify (- 0) into 0 7.389 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 7.389 * [backup-simplify]: Simplify (- 1/2) into -1/2 7.389 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 7.390 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 7.390 * [backup-simplify]: Simplify 0 into 0 7.391 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 7.391 * [backup-simplify]: Simplify (- 1) into -1 7.392 * [backup-simplify]: Simplify (- 1) into -1 7.392 * [backup-simplify]: Simplify (- 0) into 0 7.392 * [backup-simplify]: Simplify (- 0) into 0 7.395 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 7.395 * [backup-simplify]: Simplify (- -1/6) into 1/6 7.395 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 7.396 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 7.396 * [backup-simplify]: Simplify 1/6 into 1/6 7.400 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 7.401 * [backup-simplify]: Simplify (- 1) into -1 7.401 * [backup-simplify]: Simplify (- 1) into -1 7.401 * [backup-simplify]: Simplify (- 0) into 0 7.402 * [backup-simplify]: Simplify (- 1) into -1 7.402 * [backup-simplify]: Simplify (- 0) into 0 7.402 * [backup-simplify]: Simplify (- 0) into 0 7.403 * [backup-simplify]: Simplify (- 0) into 0 7.406 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 7.407 * [backup-simplify]: Simplify (- 1/24) into -1/24 7.407 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 7.409 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 7.409 * [backup-simplify]: Simplify 0 into 0 7.414 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 7.415 * [backup-simplify]: Simplify (- 1) into -1 7.415 * [backup-simplify]: Simplify (- 1) into -1 7.415 * [backup-simplify]: Simplify (- 0) into 0 7.416 * [backup-simplify]: Simplify (- 1) into -1 7.416 * [backup-simplify]: Simplify (- 0) into 0 7.416 * [backup-simplify]: Simplify (- 1) into -1 7.417 * [backup-simplify]: Simplify (- 0) into 0 7.417 * [backup-simplify]: Simplify (- 1) into -1 7.417 * [backup-simplify]: Simplify (- 0) into 0 7.418 * [backup-simplify]: Simplify (- 0) into 0 7.418 * [backup-simplify]: Simplify (- 0) into 0 7.418 * [backup-simplify]: Simplify (- 0) into 0 7.423 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 7.424 * [backup-simplify]: Simplify (- -1/120) into 1/120 7.424 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 7.426 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 7.426 * [backup-simplify]: Simplify 1/120 into 1/120 7.431 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 7.431 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 7.431 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 7.431 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 7.431 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 7.431 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 7.431 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 7.431 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.431 * [taylor]: Taking taylor expansion of c in c 7.431 * [backup-simplify]: Simplify 0 into 0 7.431 * [backup-simplify]: Simplify 1 into 1 7.432 * [backup-simplify]: Simplify (/ 1 1) into 1 7.432 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 7.432 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 7.432 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 7.432 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.432 * [taylor]: Taking taylor expansion of c in c 7.432 * [backup-simplify]: Simplify 0 into 0 7.432 * [backup-simplify]: Simplify 1 into 1 7.433 * [backup-simplify]: Simplify (/ 1 1) into 1 7.433 * [backup-simplify]: Simplify (- 1) into -1 7.433 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 7.433 * [taylor]: Taking taylor expansion of 2 in c 7.433 * [backup-simplify]: Simplify 2 into 2 7.434 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 7.434 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 7.434 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 7.434 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 7.434 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 7.434 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 7.434 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 7.434 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.434 * [taylor]: Taking taylor expansion of c in c 7.434 * [backup-simplify]: Simplify 0 into 0 7.434 * [backup-simplify]: Simplify 1 into 1 7.435 * [backup-simplify]: Simplify (/ 1 1) into 1 7.435 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 7.435 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 7.435 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 7.435 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.435 * [taylor]: Taking taylor expansion of c in c 7.435 * [backup-simplify]: Simplify 0 into 0 7.435 * [backup-simplify]: Simplify 1 into 1 7.435 * [backup-simplify]: Simplify (/ 1 1) into 1 7.436 * [backup-simplify]: Simplify (- 1) into -1 7.436 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 7.436 * [taylor]: Taking taylor expansion of 2 in c 7.436 * [backup-simplify]: Simplify 2 into 2 7.436 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 7.436 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 7.436 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 7.437 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 7.437 * [backup-simplify]: Simplify (- 0) into 0 7.438 * [backup-simplify]: Simplify (+ 0 0) into 0 7.439 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 7.439 * [backup-simplify]: Simplify 0 into 0 7.439 * [backup-simplify]: Simplify (- 0) into 0 7.439 * [backup-simplify]: Simplify (+ 0 0) into 0 7.441 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.441 * [backup-simplify]: Simplify 0 into 0 7.441 * [backup-simplify]: Simplify (- 0) into 0 7.442 * [backup-simplify]: Simplify (+ 0 0) into 0 7.444 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.444 * [backup-simplify]: Simplify 0 into 0 7.444 * [backup-simplify]: Simplify (- 0) into 0 7.445 * [backup-simplify]: Simplify (+ 0 0) into 0 7.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)))) into 0 7.447 * [backup-simplify]: Simplify 0 into 0 7.448 * [backup-simplify]: Simplify (- 0) into 0 7.448 * [backup-simplify]: Simplify (+ 0 0) into 0 7.451 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.451 * [backup-simplify]: Simplify 0 into 0 7.451 * [backup-simplify]: Simplify (- 0) into 0 7.452 * [backup-simplify]: Simplify (+ 0 0) into 0 7.455 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.455 * [backup-simplify]: Simplify 0 into 0 7.455 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 7.455 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 7.455 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 7.455 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 7.455 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 7.455 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 7.455 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 7.455 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.455 * [taylor]: Taking taylor expansion of -1 in c 7.455 * [backup-simplify]: Simplify -1 into -1 7.455 * [taylor]: Taking taylor expansion of c in c 7.455 * [backup-simplify]: Simplify 0 into 0 7.455 * [backup-simplify]: Simplify 1 into 1 7.456 * [backup-simplify]: Simplify (/ -1 1) into -1 7.456 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 7.456 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 7.456 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 7.456 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.456 * [taylor]: Taking taylor expansion of -1 in c 7.456 * [backup-simplify]: Simplify -1 into -1 7.456 * [taylor]: Taking taylor expansion of c in c 7.456 * [backup-simplify]: Simplify 0 into 0 7.456 * [backup-simplify]: Simplify 1 into 1 7.456 * [backup-simplify]: Simplify (/ -1 1) into -1 7.457 * [backup-simplify]: Simplify (- -1) into 1 7.457 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 7.457 * [taylor]: Taking taylor expansion of 2 in c 7.457 * [backup-simplify]: Simplify 2 into 2 7.457 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 7.457 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 7.457 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 7.457 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 7.458 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 7.458 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 7.458 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 7.458 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.458 * [taylor]: Taking taylor expansion of -1 in c 7.458 * [backup-simplify]: Simplify -1 into -1 7.458 * [taylor]: Taking taylor expansion of c in c 7.458 * [backup-simplify]: Simplify 0 into 0 7.458 * [backup-simplify]: Simplify 1 into 1 7.458 * [backup-simplify]: Simplify (/ -1 1) into -1 7.458 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 7.458 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 7.458 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 7.458 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.458 * [taylor]: Taking taylor expansion of -1 in c 7.458 * [backup-simplify]: Simplify -1 into -1 7.458 * [taylor]: Taking taylor expansion of c in c 7.458 * [backup-simplify]: Simplify 0 into 0 7.458 * [backup-simplify]: Simplify 1 into 1 7.459 * [backup-simplify]: Simplify (/ -1 1) into -1 7.459 * [backup-simplify]: Simplify (- -1) into 1 7.459 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 7.459 * [taylor]: Taking taylor expansion of 2 in c 7.460 * [backup-simplify]: Simplify 2 into 2 7.460 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 7.460 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 7.460 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 7.460 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 7.461 * [backup-simplify]: Simplify (- 0) into 0 7.461 * [backup-simplify]: Simplify (+ 0 0) into 0 7.462 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 7.462 * [backup-simplify]: Simplify 0 into 0 7.462 * [backup-simplify]: Simplify (- 0) into 0 7.471 * [backup-simplify]: Simplify (+ 0 0) into 0 7.473 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.473 * [backup-simplify]: Simplify 0 into 0 7.474 * [backup-simplify]: Simplify (- 0) into 0 7.474 * [backup-simplify]: Simplify (+ 0 0) into 0 7.476 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.476 * [backup-simplify]: Simplify 0 into 0 7.476 * [backup-simplify]: Simplify (- 0) into 0 7.477 * [backup-simplify]: Simplify (+ 0 0) into 0 7.479 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.479 * [backup-simplify]: Simplify 0 into 0 7.480 * [backup-simplify]: Simplify (- 0) into 0 7.480 * [backup-simplify]: Simplify (+ 0 0) into 0 7.483 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.483 * [backup-simplify]: Simplify 0 into 0 7.483 * [backup-simplify]: Simplify (- 0) into 0 7.484 * [backup-simplify]: Simplify (+ 0 0) into 0 7.487 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.487 * [backup-simplify]: Simplify 0 into 0 7.487 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 7.488 * * * [progress]: simplifying candidates 7.489 * [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)))) 7.489 * * [simplify]: Extracting # 0 : cost 0 7.489 * * [simplify]: Extracting # 1 : cost 0 7.489 * * [simplify]: Extracting # 2 : cost 0 7.489 * * [simplify]: Extracting # 3 : cost 0 7.489 * * [simplify]: Extracting # 4 : cost 0 7.490 * * [simplify]: Extracting # 5 : cost 0 7.490 * * [simplify]: Extracting # 6 : cost 0 7.490 * * [simplify]: Extracting # 7 : cost 0 7.490 * * [simplify]: Extracting # 8 : cost 0 7.490 * * [simplify]: iteration 0 : 30 enodes (cost 66 ) 7.501 * * [simplify]: Extracting # 0 : cost 0 7.502 * * [simplify]: Extracting # 1 : cost 0 7.502 * * [simplify]: Extracting # 2 : cost 0 7.502 * * [simplify]: Extracting # 3 : cost 0 7.502 * * [simplify]: Extracting # 4 : cost 0 7.502 * * [simplify]: iteration 1 : 58 enodes (cost 65 ) 7.526 * * [simplify]: Extracting # 0 : cost 0 7.526 * * [simplify]: Extracting # 1 : cost 0 7.526 * * [simplify]: Extracting # 2 : cost 0 7.526 * * [simplify]: Extracting # 3 : cost 0 7.526 * * [simplify]: Extracting # 4 : cost 0 7.527 * * [simplify]: iteration 2 : 125 enodes (cost 61 ) 7.577 * * [simplify]: Extracting # 0 : cost 0 7.577 * * [simplify]: Extracting # 1 : cost 0 7.578 * * [simplify]: Extracting # 2 : cost 0 7.578 * * [simplify]: Extracting # 3 : cost 0 7.578 * * [simplify]: Extracting # 4 : cost 0 7.579 * * [simplify]: iteration 3 : 252 enodes (cost 61 ) 7.688 * * [simplify]: Extracting # 0 : cost 0 7.689 * * [simplify]: Extracting # 1 : cost 0 7.689 * * [simplify]: Extracting # 2 : cost 0 7.690 * * [simplify]: Extracting # 3 : cost 0 7.690 * * [simplify]: Extracting # 4 : cost 0 7.691 * * [simplify]: iteration 4 : 613 enodes (cost 61 ) 8.181 * * [simplify]: Extracting # 0 : cost 0 8.184 * * [simplify]: Extracting # 1 : cost 0 8.187 * * [simplify]: Extracting # 2 : cost 0 8.189 * * [simplify]: Extracting # 3 : cost 0 8.192 * * [simplify]: Extracting # 4 : cost 0 8.194 * * [simplify]: iteration 5 : 2545 enodes (cost 61 ) 9.494 * * [simplify]: Extracting # 0 : cost 0 9.505 * * [simplify]: Extracting # 1 : cost 0 9.515 * * [simplify]: Extracting # 2 : cost 0 9.525 * * [simplify]: Extracting # 3 : cost 0 9.544 * * [simplify]: Extracting # 4 : cost 0 9.555 * * [simplify]: iteration done: 5000 enodes (cost 61 ) 9.555 * [simplify]: Simplified to: (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (- c)))) 9.555 * * * [progress]: adding candidates to table 9.594 * * [progress]: iteration 2 / 4 9.594 * * * [progress]: picking best candidate 9.596 * * * * [pick]: Picked # 9.596 * * * [progress]: localizing error 9.620 * * * [progress]: generating rewritten candidates 9.620 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 9.643 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2 1) 9.655 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 9.703 * * * [progress]: generating series expansions 9.703 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 9.703 * [backup-simplify]: Simplify (* 1/6 (pow c 3)) into (* 1/6 (pow c 3)) 9.703 * [approximate]: Taking taylor expansion of (* 1/6 (pow c 3)) in (c) around 0 9.703 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 9.703 * [taylor]: Taking taylor expansion of 1/6 in c 9.703 * [backup-simplify]: Simplify 1/6 into 1/6 9.703 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.703 * [taylor]: Taking taylor expansion of c in c 9.703 * [backup-simplify]: Simplify 0 into 0 9.703 * [backup-simplify]: Simplify 1 into 1 9.704 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 9.704 * [taylor]: Taking taylor expansion of 1/6 in c 9.704 * [backup-simplify]: Simplify 1/6 into 1/6 9.704 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.704 * [taylor]: Taking taylor expansion of c in c 9.704 * [backup-simplify]: Simplify 0 into 0 9.704 * [backup-simplify]: Simplify 1 into 1 9.705 * [backup-simplify]: Simplify (* 1 1) into 1 9.705 * [backup-simplify]: Simplify (* 1 1) into 1 9.706 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 9.706 * [backup-simplify]: Simplify 1/6 into 1/6 9.707 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.707 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.708 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 9.708 * [backup-simplify]: Simplify 0 into 0 9.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.710 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.710 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 9.711 * [backup-simplify]: Simplify 0 into 0 9.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.713 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.714 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.714 * [backup-simplify]: Simplify 0 into 0 9.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.717 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.717 * [backup-simplify]: Simplify 0 into 0 9.718 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.721 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.721 * [backup-simplify]: Simplify 0 into 0 9.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.723 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.725 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.725 * [backup-simplify]: Simplify 0 into 0 9.725 * [backup-simplify]: Simplify (* 1/6 (pow c 3)) into (* 1/6 (pow c 3)) 9.725 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 c) 3)) into (/ 1/6 (pow c 3)) 9.725 * [approximate]: Taking taylor expansion of (/ 1/6 (pow c 3)) in (c) around 0 9.725 * [taylor]: Taking taylor expansion of (/ 1/6 (pow c 3)) in c 9.725 * [taylor]: Taking taylor expansion of 1/6 in c 9.725 * [backup-simplify]: Simplify 1/6 into 1/6 9.725 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.725 * [taylor]: Taking taylor expansion of c in c 9.726 * [backup-simplify]: Simplify 0 into 0 9.726 * [backup-simplify]: Simplify 1 into 1 9.726 * [backup-simplify]: Simplify (* 1 1) into 1 9.726 * [backup-simplify]: Simplify (* 1 1) into 1 9.727 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 9.727 * [taylor]: Taking taylor expansion of (/ 1/6 (pow c 3)) in c 9.727 * [taylor]: Taking taylor expansion of 1/6 in c 9.727 * [backup-simplify]: Simplify 1/6 into 1/6 9.727 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.727 * [taylor]: Taking taylor expansion of c in c 9.727 * [backup-simplify]: Simplify 0 into 0 9.727 * [backup-simplify]: Simplify 1 into 1 9.727 * [backup-simplify]: Simplify (* 1 1) into 1 9.728 * [backup-simplify]: Simplify (* 1 1) into 1 9.728 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 9.728 * [backup-simplify]: Simplify 1/6 into 1/6 9.729 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.730 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.730 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 9.730 * [backup-simplify]: Simplify 0 into 0 9.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.733 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.733 * [backup-simplify]: Simplify 0 into 0 9.734 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.735 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.736 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.736 * [backup-simplify]: Simplify 0 into 0 9.737 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.738 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.739 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.739 * [backup-simplify]: Simplify 0 into 0 9.741 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.743 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.743 * [backup-simplify]: Simplify 0 into 0 9.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.747 * [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 9.747 * [backup-simplify]: Simplify 0 into 0 9.747 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (/ 1 c)) 3)) into (* 1/6 (pow c 3)) 9.747 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (- c)) 3)) into (/ -1/6 (pow c 3)) 9.748 * [approximate]: Taking taylor expansion of (/ -1/6 (pow c 3)) in (c) around 0 9.748 * [taylor]: Taking taylor expansion of (/ -1/6 (pow c 3)) in c 9.748 * [taylor]: Taking taylor expansion of -1/6 in c 9.748 * [backup-simplify]: Simplify -1/6 into -1/6 9.748 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.748 * [taylor]: Taking taylor expansion of c in c 9.748 * [backup-simplify]: Simplify 0 into 0 9.748 * [backup-simplify]: Simplify 1 into 1 9.748 * [backup-simplify]: Simplify (* 1 1) into 1 9.753 * [backup-simplify]: Simplify (* 1 1) into 1 9.755 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 9.755 * [taylor]: Taking taylor expansion of (/ -1/6 (pow c 3)) in c 9.755 * [taylor]: Taking taylor expansion of -1/6 in c 9.755 * [backup-simplify]: Simplify -1/6 into -1/6 9.755 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.755 * [taylor]: Taking taylor expansion of c in c 9.755 * [backup-simplify]: Simplify 0 into 0 9.755 * [backup-simplify]: Simplify 1 into 1 9.755 * [backup-simplify]: Simplify (* 1 1) into 1 9.756 * [backup-simplify]: Simplify (* 1 1) into 1 9.756 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 9.756 * [backup-simplify]: Simplify -1/6 into -1/6 9.757 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.758 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.758 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0 9.758 * [backup-simplify]: Simplify 0 into 0 9.759 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.760 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.761 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.761 * [backup-simplify]: Simplify 0 into 0 9.762 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.763 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.764 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.764 * [backup-simplify]: Simplify 0 into 0 9.765 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.766 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.767 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.767 * [backup-simplify]: Simplify 0 into 0 9.768 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.769 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.770 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.770 * [backup-simplify]: Simplify 0 into 0 9.772 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.774 * [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 9.774 * [backup-simplify]: Simplify 0 into 0 9.775 * [backup-simplify]: Simplify (* -1/6 (pow (/ 1 (/ 1 (- c))) 3)) into (* 1/6 (pow c 3)) 9.775 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2 1) 9.775 * [backup-simplify]: Simplify (* 1/120 (pow c 5)) into (* 1/120 (pow c 5)) 9.775 * [approximate]: Taking taylor expansion of (* 1/120 (pow c 5)) in (c) around 0 9.775 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 9.775 * [taylor]: Taking taylor expansion of 1/120 in c 9.775 * [backup-simplify]: Simplify 1/120 into 1/120 9.775 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.775 * [taylor]: Taking taylor expansion of c in c 9.775 * [backup-simplify]: Simplify 0 into 0 9.775 * [backup-simplify]: Simplify 1 into 1 9.775 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 9.775 * [taylor]: Taking taylor expansion of 1/120 in c 9.775 * [backup-simplify]: Simplify 1/120 into 1/120 9.775 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.775 * [taylor]: Taking taylor expansion of c in c 9.775 * [backup-simplify]: Simplify 0 into 0 9.775 * [backup-simplify]: Simplify 1 into 1 9.776 * [backup-simplify]: Simplify (* 1 1) into 1 9.776 * [backup-simplify]: Simplify (* 1 1) into 1 9.777 * [backup-simplify]: Simplify (* 1 1) into 1 9.777 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 9.777 * [backup-simplify]: Simplify 1/120 into 1/120 9.778 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.778 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.779 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.780 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 9.780 * [backup-simplify]: Simplify 0 into 0 9.780 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.781 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.782 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.783 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 9.783 * [backup-simplify]: Simplify 0 into 0 9.784 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.785 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.786 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.787 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.787 * [backup-simplify]: Simplify 0 into 0 9.788 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.789 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.790 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.791 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.791 * [backup-simplify]: Simplify 0 into 0 9.792 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.794 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.795 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.796 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.796 * [backup-simplify]: Simplify 0 into 0 9.797 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.799 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.800 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.802 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.802 * [backup-simplify]: Simplify 0 into 0 9.802 * [backup-simplify]: Simplify (* 1/120 (pow c 5)) into (* 1/120 (pow c 5)) 9.802 * [backup-simplify]: Simplify (* 1/120 (pow (/ 1 c) 5)) into (/ 1/120 (pow c 5)) 9.802 * [approximate]: Taking taylor expansion of (/ 1/120 (pow c 5)) in (c) around 0 9.802 * [taylor]: Taking taylor expansion of (/ 1/120 (pow c 5)) in c 9.802 * [taylor]: Taking taylor expansion of 1/120 in c 9.802 * [backup-simplify]: Simplify 1/120 into 1/120 9.802 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.802 * [taylor]: Taking taylor expansion of c in c 9.802 * [backup-simplify]: Simplify 0 into 0 9.802 * [backup-simplify]: Simplify 1 into 1 9.803 * [backup-simplify]: Simplify (* 1 1) into 1 9.803 * [backup-simplify]: Simplify (* 1 1) into 1 9.804 * [backup-simplify]: Simplify (* 1 1) into 1 9.804 * [backup-simplify]: Simplify (/ 1/120 1) into 1/120 9.804 * [taylor]: Taking taylor expansion of (/ 1/120 (pow c 5)) in c 9.804 * [taylor]: Taking taylor expansion of 1/120 in c 9.804 * [backup-simplify]: Simplify 1/120 into 1/120 9.804 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.804 * [taylor]: Taking taylor expansion of c in c 9.804 * [backup-simplify]: Simplify 0 into 0 9.804 * [backup-simplify]: Simplify 1 into 1 9.804 * [backup-simplify]: Simplify (* 1 1) into 1 9.805 * [backup-simplify]: Simplify (* 1 1) into 1 9.805 * [backup-simplify]: Simplify (* 1 1) into 1 9.806 * [backup-simplify]: Simplify (/ 1/120 1) into 1/120 9.806 * [backup-simplify]: Simplify 1/120 into 1/120 9.806 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.807 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.807 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.808 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)))) into 0 9.808 * [backup-simplify]: Simplify 0 into 0 9.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.810 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.811 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.812 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.812 * [backup-simplify]: Simplify 0 into 0 9.813 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.814 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.815 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.816 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.816 * [backup-simplify]: Simplify 0 into 0 9.817 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.819 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.820 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.820 * [backup-simplify]: Simplify 0 into 0 9.821 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.822 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.824 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.825 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.825 * [backup-simplify]: Simplify 0 into 0 9.826 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.828 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.829 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.830 * [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 9.830 * [backup-simplify]: Simplify 0 into 0 9.830 * [backup-simplify]: Simplify (* 1/120 (pow (/ 1 (/ 1 c)) 5)) into (* 1/120 (pow c 5)) 9.831 * [backup-simplify]: Simplify (* 1/120 (pow (/ 1 (- c)) 5)) into (/ -1/120 (pow c 5)) 9.831 * [approximate]: Taking taylor expansion of (/ -1/120 (pow c 5)) in (c) around 0 9.831 * [taylor]: Taking taylor expansion of (/ -1/120 (pow c 5)) in c 9.831 * [taylor]: Taking taylor expansion of -1/120 in c 9.831 * [backup-simplify]: Simplify -1/120 into -1/120 9.831 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.831 * [taylor]: Taking taylor expansion of c in c 9.831 * [backup-simplify]: Simplify 0 into 0 9.831 * [backup-simplify]: Simplify 1 into 1 9.831 * [backup-simplify]: Simplify (* 1 1) into 1 9.832 * [backup-simplify]: Simplify (* 1 1) into 1 9.832 * [backup-simplify]: Simplify (* 1 1) into 1 9.832 * [backup-simplify]: Simplify (/ -1/120 1) into -1/120 9.832 * [taylor]: Taking taylor expansion of (/ -1/120 (pow c 5)) in c 9.832 * [taylor]: Taking taylor expansion of -1/120 in c 9.833 * [backup-simplify]: Simplify -1/120 into -1/120 9.833 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.833 * [taylor]: Taking taylor expansion of c in c 9.833 * [backup-simplify]: Simplify 0 into 0 9.833 * [backup-simplify]: Simplify 1 into 1 9.833 * [backup-simplify]: Simplify (* 1 1) into 1 9.833 * [backup-simplify]: Simplify (* 1 1) into 1 9.834 * [backup-simplify]: Simplify (* 1 1) into 1 9.834 * [backup-simplify]: Simplify (/ -1/120 1) into -1/120 9.834 * [backup-simplify]: Simplify -1/120 into -1/120 9.835 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.836 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.836 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.837 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)))) into 0 9.837 * [backup-simplify]: Simplify 0 into 0 9.838 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.839 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.841 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.841 * [backup-simplify]: Simplify 0 into 0 9.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.843 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.843 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.844 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.844 * [backup-simplify]: Simplify 0 into 0 9.846 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.847 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.849 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.849 * [backup-simplify]: Simplify 0 into 0 9.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.853 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.853 * [backup-simplify]: Simplify 0 into 0 9.854 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.854 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.856 * [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 9.856 * [backup-simplify]: Simplify 0 into 0 9.856 * [backup-simplify]: Simplify (* -1/120 (pow (/ 1 (/ 1 (- c))) 5)) into (* 1/120 (pow c 5)) 9.856 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 9.856 * [backup-simplify]: Simplify (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 9.856 * [approximate]: Taking taylor expansion of (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) in (c) around 0 9.856 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) in c 9.856 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 9.856 * [taylor]: Taking taylor expansion of 1/6 in c 9.856 * [backup-simplify]: Simplify 1/6 into 1/6 9.856 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.856 * [taylor]: Taking taylor expansion of c in c 9.857 * [backup-simplify]: Simplify 0 into 0 9.857 * [backup-simplify]: Simplify 1 into 1 9.857 * [taylor]: Taking taylor expansion of (+ (* 1/120 (pow c 5)) c) in c 9.857 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 9.857 * [taylor]: Taking taylor expansion of 1/120 in c 9.857 * [backup-simplify]: Simplify 1/120 into 1/120 9.857 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.857 * [taylor]: Taking taylor expansion of c in c 9.857 * [backup-simplify]: Simplify 0 into 0 9.857 * [backup-simplify]: Simplify 1 into 1 9.857 * [taylor]: Taking taylor expansion of c in c 9.857 * [backup-simplify]: Simplify 0 into 0 9.857 * [backup-simplify]: Simplify 1 into 1 9.857 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) in c 9.857 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 9.857 * [taylor]: Taking taylor expansion of 1/6 in c 9.857 * [backup-simplify]: Simplify 1/6 into 1/6 9.857 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.857 * [taylor]: Taking taylor expansion of c in c 9.857 * [backup-simplify]: Simplify 0 into 0 9.857 * [backup-simplify]: Simplify 1 into 1 9.857 * [taylor]: Taking taylor expansion of (+ (* 1/120 (pow c 5)) c) in c 9.857 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 9.857 * [taylor]: Taking taylor expansion of 1/120 in c 9.857 * [backup-simplify]: Simplify 1/120 into 1/120 9.857 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.857 * [taylor]: Taking taylor expansion of c in c 9.857 * [backup-simplify]: Simplify 0 into 0 9.857 * [backup-simplify]: Simplify 1 into 1 9.857 * [taylor]: Taking taylor expansion of c in c 9.857 * [backup-simplify]: Simplify 0 into 0 9.857 * [backup-simplify]: Simplify 1 into 1 9.857 * [backup-simplify]: Simplify (+ 0 0) into 0 9.858 * [backup-simplify]: Simplify (+ 0 0) into 0 9.858 * [backup-simplify]: Simplify 0 into 0 9.858 * [backup-simplify]: Simplify (+ 0 1) into 1 9.858 * [backup-simplify]: Simplify (+ 0 1) into 1 9.858 * [backup-simplify]: Simplify 1 into 1 9.858 * [backup-simplify]: Simplify (+ 0 0) into 0 9.859 * [backup-simplify]: Simplify (+ 0 0) into 0 9.859 * [backup-simplify]: Simplify 0 into 0 9.859 * [backup-simplify]: Simplify (* 1 1) into 1 9.859 * [backup-simplify]: Simplify (* 1 1) into 1 9.859 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 9.860 * [backup-simplify]: Simplify (+ 0 0) into 0 9.860 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 9.860 * [backup-simplify]: Simplify 1/6 into 1/6 9.860 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.861 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.861 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 9.861 * [backup-simplify]: Simplify (+ 0 0) into 0 9.862 * [backup-simplify]: Simplify (+ 0 0) into 0 9.862 * [backup-simplify]: Simplify 0 into 0 9.862 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.863 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 9.863 * [backup-simplify]: Simplify (* 1 1) into 1 9.864 * [backup-simplify]: Simplify (* 1 1) into 1 9.864 * [backup-simplify]: Simplify (* 1 1) into 1 9.864 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 9.864 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 9.865 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 9.865 * [backup-simplify]: Simplify 1/120 into 1/120 9.865 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 9.865 * [backup-simplify]: Simplify (+ (* 1/6 (pow (/ 1 c) 3)) (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c))) into (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c))) 9.865 * [approximate]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c))) in (c) around 0 9.865 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c))) in c 9.865 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c 9.865 * [taylor]: Taking taylor expansion of 1/120 in c 9.865 * [backup-simplify]: Simplify 1/120 into 1/120 9.865 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c 9.865 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.865 * [taylor]: Taking taylor expansion of c in c 9.865 * [backup-simplify]: Simplify 0 into 0 9.865 * [backup-simplify]: Simplify 1 into 1 9.866 * [backup-simplify]: Simplify (* 1 1) into 1 9.866 * [backup-simplify]: Simplify (* 1 1) into 1 9.866 * [backup-simplify]: Simplify (* 1 1) into 1 9.866 * [backup-simplify]: Simplify (/ 1 1) into 1 9.866 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)) in c 9.866 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow c 3))) in c 9.866 * [taylor]: Taking taylor expansion of 1/6 in c 9.866 * [backup-simplify]: Simplify 1/6 into 1/6 9.866 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c 9.866 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.866 * [taylor]: Taking taylor expansion of c in c 9.866 * [backup-simplify]: Simplify 0 into 0 9.866 * [backup-simplify]: Simplify 1 into 1 9.867 * [backup-simplify]: Simplify (* 1 1) into 1 9.867 * [backup-simplify]: Simplify (* 1 1) into 1 9.867 * [backup-simplify]: Simplify (/ 1 1) into 1 9.867 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.867 * [taylor]: Taking taylor expansion of c in c 9.867 * [backup-simplify]: Simplify 0 into 0 9.867 * [backup-simplify]: Simplify 1 into 1 9.867 * [backup-simplify]: Simplify (/ 1 1) into 1 9.868 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c))) in c 9.868 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c 9.868 * [taylor]: Taking taylor expansion of 1/120 in c 9.868 * [backup-simplify]: Simplify 1/120 into 1/120 9.868 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c 9.868 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.868 * [taylor]: Taking taylor expansion of c in c 9.868 * [backup-simplify]: Simplify 0 into 0 9.868 * [backup-simplify]: Simplify 1 into 1 9.868 * [backup-simplify]: Simplify (* 1 1) into 1 9.868 * [backup-simplify]: Simplify (* 1 1) into 1 9.868 * [backup-simplify]: Simplify (* 1 1) into 1 9.869 * [backup-simplify]: Simplify (/ 1 1) into 1 9.869 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)) in c 9.869 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow c 3))) in c 9.869 * [taylor]: Taking taylor expansion of 1/6 in c 9.869 * [backup-simplify]: Simplify 1/6 into 1/6 9.869 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c 9.869 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.869 * [taylor]: Taking taylor expansion of c in c 9.869 * [backup-simplify]: Simplify 0 into 0 9.869 * [backup-simplify]: Simplify 1 into 1 9.869 * [backup-simplify]: Simplify (* 1 1) into 1 9.869 * [backup-simplify]: Simplify (* 1 1) into 1 9.869 * [backup-simplify]: Simplify (/ 1 1) into 1 9.869 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.869 * [taylor]: Taking taylor expansion of c in c 9.869 * [backup-simplify]: Simplify 0 into 0 9.869 * [backup-simplify]: Simplify 1 into 1 9.870 * [backup-simplify]: Simplify (/ 1 1) into 1 9.870 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 9.870 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 9.870 * [backup-simplify]: Simplify 1/120 into 1/120 9.871 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.871 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.872 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.872 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.873 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 9.873 * [backup-simplify]: Simplify (+ 0 0) into 0 9.873 * [backup-simplify]: Simplify 0 into 0 9.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.874 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.874 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.875 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.875 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 9.876 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 9.878 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 9.879 * [backup-simplify]: Simplify (+ 0 1/6) into 1/6 9.879 * [backup-simplify]: Simplify 1/6 into 1/6 9.880 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.880 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.881 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.881 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.882 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.882 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.883 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.883 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.883 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 9.884 * [backup-simplify]: Simplify (+ 0 0) into 0 9.884 * [backup-simplify]: Simplify (+ 0 0) into 0 9.884 * [backup-simplify]: Simplify 0 into 0 9.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.887 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.888 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.889 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.890 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.891 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.892 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.892 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.893 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 9.894 * [backup-simplify]: Simplify (+ 0 1) into 1 9.894 * [backup-simplify]: Simplify (+ 0 1) into 1 9.894 * [backup-simplify]: Simplify 1 into 1 9.895 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 c))) (+ (* 1/6 (pow (/ 1 (/ 1 c)) 3)) (* 1/120 (pow (/ 1 (/ 1 c)) 5)))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 9.896 * [backup-simplify]: Simplify (+ (* 1/6 (pow (/ 1 (- c)) 3)) (+ (* 1/120 (pow (/ 1 (- c)) 5)) (/ 1 (- c)))) into (- (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)))) 9.896 * [approximate]: Taking taylor expansion of (- (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)))) in (c) around 0 9.896 * [taylor]: Taking taylor expansion of (- (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)))) in c 9.896 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c))) in c 9.896 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c 9.896 * [taylor]: Taking taylor expansion of 1/120 in c 9.896 * [backup-simplify]: Simplify 1/120 into 1/120 9.896 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c 9.896 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.896 * [taylor]: Taking taylor expansion of c in c 9.896 * [backup-simplify]: Simplify 0 into 0 9.896 * [backup-simplify]: Simplify 1 into 1 9.897 * [backup-simplify]: Simplify (* 1 1) into 1 9.897 * [backup-simplify]: Simplify (* 1 1) into 1 9.897 * [backup-simplify]: Simplify (* 1 1) into 1 9.898 * [backup-simplify]: Simplify (/ 1 1) into 1 9.898 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)) in c 9.898 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow c 3))) in c 9.898 * [taylor]: Taking taylor expansion of 1/6 in c 9.898 * [backup-simplify]: Simplify 1/6 into 1/6 9.898 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c 9.898 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.898 * [taylor]: Taking taylor expansion of c in c 9.898 * [backup-simplify]: Simplify 0 into 0 9.898 * [backup-simplify]: Simplify 1 into 1 9.898 * [backup-simplify]: Simplify (* 1 1) into 1 9.899 * [backup-simplify]: Simplify (* 1 1) into 1 9.899 * [backup-simplify]: Simplify (/ 1 1) into 1 9.899 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.899 * [taylor]: Taking taylor expansion of c in c 9.899 * [backup-simplify]: Simplify 0 into 0 9.899 * [backup-simplify]: Simplify 1 into 1 9.899 * [backup-simplify]: Simplify (/ 1 1) into 1 9.900 * [taylor]: Taking taylor expansion of (- (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)))) in c 9.900 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c))) in c 9.900 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c 9.900 * [taylor]: Taking taylor expansion of 1/120 in c 9.900 * [backup-simplify]: Simplify 1/120 into 1/120 9.900 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c 9.900 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.900 * [taylor]: Taking taylor expansion of c in c 9.900 * [backup-simplify]: Simplify 0 into 0 9.900 * [backup-simplify]: Simplify 1 into 1 9.900 * [backup-simplify]: Simplify (* 1 1) into 1 9.901 * [backup-simplify]: Simplify (* 1 1) into 1 9.901 * [backup-simplify]: Simplify (* 1 1) into 1 9.901 * [backup-simplify]: Simplify (/ 1 1) into 1 9.901 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)) in c 9.901 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow c 3))) in c 9.901 * [taylor]: Taking taylor expansion of 1/6 in c 9.901 * [backup-simplify]: Simplify 1/6 into 1/6 9.901 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c 9.901 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.901 * [taylor]: Taking taylor expansion of c in c 9.902 * [backup-simplify]: Simplify 0 into 0 9.902 * [backup-simplify]: Simplify 1 into 1 9.902 * [backup-simplify]: Simplify (* 1 1) into 1 9.902 * [backup-simplify]: Simplify (* 1 1) into 1 9.903 * [backup-simplify]: Simplify (/ 1 1) into 1 9.903 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.903 * [taylor]: Taking taylor expansion of c in c 9.903 * [backup-simplify]: Simplify 0 into 0 9.903 * [backup-simplify]: Simplify 1 into 1 9.903 * [backup-simplify]: Simplify (/ 1 1) into 1 9.904 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 9.904 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 9.904 * [backup-simplify]: Simplify (- 1/120) into -1/120 9.904 * [backup-simplify]: Simplify -1/120 into -1/120 9.905 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.906 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.906 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.907 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.908 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 9.908 * [backup-simplify]: Simplify (+ 0 0) into 0 9.909 * [backup-simplify]: Simplify (- 0) into 0 9.909 * [backup-simplify]: Simplify 0 into 0 9.910 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.910 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.911 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.912 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.913 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 9.913 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 9.914 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 9.914 * [backup-simplify]: Simplify (+ 0 1/6) into 1/6 9.915 * [backup-simplify]: Simplify (- 1/6) into -1/6 9.915 * [backup-simplify]: Simplify -1/6 into -1/6 9.916 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.917 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.919 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.920 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.920 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.921 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.922 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.922 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 9.923 * [backup-simplify]: Simplify (+ 0 0) into 0 9.923 * [backup-simplify]: Simplify (+ 0 0) into 0 9.924 * [backup-simplify]: Simplify (- 0) into 0 9.924 * [backup-simplify]: Simplify 0 into 0 9.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.926 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.927 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.928 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.929 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.930 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.931 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.932 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.933 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 9.933 * [backup-simplify]: Simplify (+ 0 1) into 1 9.934 * [backup-simplify]: Simplify (+ 0 1) into 1 9.934 * [backup-simplify]: Simplify (- 1) into -1 9.934 * [backup-simplify]: Simplify -1 into -1 9.935 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- c)))) (+ (* -1/6 (pow (/ 1 (/ 1 (- c))) 3)) (* -1/120 (pow (/ 1 (/ 1 (- c))) 5)))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 9.935 * * * [progress]: simplifying candidates 9.936 * [simplify]: Simplifying: (+ (log 1/6) (* (log c) 3)) (+ (log 1/6) (* (log c) 3)) (+ (log 1/6) (log (pow c 3))) (log (* 1/6 (pow c 3))) (exp (* 1/6 (pow c 3))) (* (* (* 1/6 1/6) 1/6) (* (* (pow c 3) (pow c 3)) (pow c 3))) (* (cbrt (* 1/6 (pow c 3))) (cbrt (* 1/6 (pow c 3)))) (cbrt (* 1/6 (pow c 3))) (* (* (* 1/6 (pow c 3)) (* 1/6 (pow c 3))) (* 1/6 (pow c 3))) (sqrt (* 1/6 (pow c 3))) (sqrt (* 1/6 (pow c 3))) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (sqrt (pow c 3))) (* (sqrt 1/6) (sqrt (pow c 3))) (* (sqrt 1/6) (pow c (/ 3 2))) (* (sqrt 1/6) (pow c (/ 3 2))) (* 1/6 (pow (* (cbrt c) (cbrt c)) 3)) (* 1/6 (pow (sqrt c) 3)) (* 1/6 (pow 1 3)) (* 1/6 (* c c)) (* 1/6 (* (cbrt (pow c 3)) (cbrt (pow c 3)))) (* 1/6 (pow (* (cbrt c) (cbrt c)) 3)) (* 1/6 (pow (sqrt c) 3)) (* 1/6 (pow 1 3)) (* 1/6 c) (* 1/6 (sqrt (pow c 3))) (* 1/6 1) (* 1/6 (pow c (/ 3 2))) (* (cbrt 1/6) (pow c 3)) (* (sqrt 1/6) (pow c 3)) (* 1/6 (pow c 3)) (+ (log 1/120) (* (log c) 5)) (+ (log 1/120) (* (log c) 5)) (+ (log 1/120) (log (pow c 5))) (log (* 1/120 (pow c 5))) (exp (* 1/120 (pow c 5))) (* (* (* 1/120 1/120) 1/120) (* (* (pow c 5) (pow c 5)) (pow c 5))) (* (cbrt (* 1/120 (pow c 5))) (cbrt (* 1/120 (pow c 5)))) (cbrt (* 1/120 (pow c 5))) (* (* (* 1/120 (pow c 5)) (* 1/120 (pow c 5))) (* 1/120 (pow c 5))) (sqrt (* 1/120 (pow c 5))) (sqrt (* 1/120 (pow c 5))) (* (sqrt 1/120) (pow (sqrt c) 5)) (* (sqrt 1/120) (pow (sqrt c) 5)) (* (sqrt 1/120) (sqrt (pow c 5))) (* (sqrt 1/120) (sqrt (pow c 5))) (* (sqrt 1/120) (pow c (/ 5 2))) (* (sqrt 1/120) (pow c (/ 5 2))) (* 1/120 (pow (* (cbrt c) (cbrt c)) 5)) (* 1/120 (pow (sqrt c) 5)) (* 1/120 (pow 1 5)) (* 1/120 (* (cbrt (pow c 5)) (cbrt (pow c 5)))) (* 1/120 (sqrt (pow c 5))) (* 1/120 1) (* 1/120 (pow c (/ 5 2))) (* (cbrt 1/120) (pow c 5)) (* (sqrt 1/120) (pow c 5)) (* 1/120 (pow c 5)) (* (exp (* 1/6 (pow c 3))) (* (exp (* 1/120 (pow c 5))) (exp c))) (* (exp (* 1/6 (pow c 3))) (exp (+ (* 1/120 (pow c 5)) c))) (log (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (exp (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (* (cbrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (cbrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))) (cbrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (* (* (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (sqrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (sqrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (+ (pow (* 1/6 (pow c 3)) 3) (pow (+ (* 1/120 (pow c 5)) c) 3)) (+ (* (* 1/6 (pow c 3)) (* 1/6 (pow c 3))) (- (* (+ (* 1/120 (pow c 5)) c) (+ (* 1/120 (pow c 5)) c)) (* (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))) (- (* (* 1/6 (pow c 3)) (* 1/6 (pow c 3))) (* (+ (* 1/120 (pow c 5)) c) (+ (* 1/120 (pow c 5)) c))) (- (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (+ (* 1/6 (pow c 3)) (* 1/120 (pow c 5))) (* 1/6 (pow c 3)) (* 1/6 (pow c 3)) (* 1/6 (pow c 3)) (* 1/120 (pow c 5)) (* 1/120 (pow c 5)) (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 9.938 * * [simplify]: Extracting # 0 : cost 0 9.938 * * [simplify]: Extracting # 1 : cost 0 9.938 * * [simplify]: Extracting # 2 : cost 0 9.938 * * [simplify]: Extracting # 3 : cost 0 9.938 * * [simplify]: Extracting # 4 : cost 0 9.938 * * [simplify]: Extracting # 5 : cost 0 9.938 * * [simplify]: Extracting # 6 : cost 0 9.939 * * [simplify]: Extracting # 7 : cost 0 9.939 * * [simplify]: iteration 0 : 120 enodes (cost 803 ) 9.979 * * [simplify]: Extracting # 0 : cost 0 9.980 * * [simplify]: Extracting # 1 : cost 0 9.980 * * [simplify]: Extracting # 2 : cost 0 9.981 * * [simplify]: Extracting # 3 : cost 0 9.982 * * [simplify]: Extracting # 4 : cost 0 9.982 * * [simplify]: iteration 1 : 296 enodes (cost 708 ) 10.073 * * [simplify]: Extracting # 0 : cost 0 10.074 * * [simplify]: Extracting # 1 : cost 0 10.075 * * [simplify]: Extracting # 2 : cost 0 10.076 * * [simplify]: Extracting # 3 : cost 0 10.077 * * [simplify]: Extracting # 4 : cost 0 10.078 * * [simplify]: iteration 2 : 889 enodes (cost 666 ) 11.001 * * [simplify]: Extracting # 0 : cost 0 11.014 * * [simplify]: Extracting # 1 : cost 0 11.022 * * [simplify]: Extracting # 2 : cost 0 11.033 * * [simplify]: Extracting # 3 : cost 0 11.043 * * [simplify]: Extracting # 4 : cost 0 11.053 * * [simplify]: iteration 3 : 4371 enodes (cost 666 ) 13.579 * * [simplify]: Extracting # 0 : cost 0 13.585 * * [simplify]: Extracting # 1 : cost 0 13.590 * * [simplify]: Extracting # 2 : cost 0 13.599 * * [simplify]: iteration done: 5001 enodes (cost 666 ) 13.599 * [simplify]: Simplified to: (log (* 1/6 (pow c 3))) (log (* 1/6 (pow c 3))) (log (* 1/6 (pow c 3))) (log (* 1/6 (pow c 3))) (exp (* 1/6 (pow c 3))) (pow (* 1/6 (pow c 3)) 3) (* (cbrt (* 1/6 (pow c 3))) (cbrt (* 1/6 (pow c 3)))) (cbrt (* 1/6 (pow c 3))) (pow (* 1/6 (pow c 3)) 3) (sqrt (* 1/6 (pow c 3))) (sqrt (* 1/6 (pow c 3))) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (sqrt (pow c 3))) (* (sqrt 1/6) (sqrt (pow c 3))) (* (sqrt 1/6) (pow c 3/2)) (* (sqrt 1/6) (pow c 3/2)) (* 1/6 (* c c)) (* 1/6 (pow (sqrt c) 3)) 1/6 (* 1/6 (* c c)) (* 1/6 (* c c)) (* 1/6 (* c c)) (* 1/6 (pow (sqrt c) 3)) 1/6 (* 1/6 c) (* 1/6 (sqrt (pow c 3))) 1/6 (* 1/6 (pow c 3/2)) (* (cbrt 1/6) (pow c 3)) (* (sqrt 1/6) (pow c 3)) (* 1/6 (pow c 3)) (log (* 1/120 (pow c 5))) (log (* 1/120 (pow c 5))) (log (* 1/120 (pow c 5))) (log (* 1/120 (pow c 5))) (exp (* 1/120 (pow c 5))) (* (pow (pow c 5) 3) 1/1728000) (* (cbrt (* 1/120 (pow c 5))) (cbrt (* 1/120 (pow c 5)))) (cbrt (* 1/120 (pow c 5))) (* (pow (pow c 5) 3) 1/1728000) (sqrt (* 1/120 (pow c 5))) (sqrt (* 1/120 (pow c 5))) (* (sqrt 1/120) (pow (sqrt c) 5)) (* (sqrt 1/120) (pow (sqrt c) 5)) (* (sqrt 1/120) (sqrt (pow c 5))) (* (sqrt 1/120) (sqrt (pow c 5))) (* (sqrt 1/120) (pow c 5/2)) (* (sqrt 1/120) (pow c 5/2)) (* 1/120 (pow (* (cbrt c) (cbrt c)) 5)) (* 1/120 (pow (sqrt c) 5)) 1/120 (* 1/120 (* (cbrt (pow c 5)) (cbrt (pow c 5)))) (* 1/120 (sqrt (pow c 5))) 1/120 (* (pow c 5/2) 1/120) (* (cbrt 1/120) (pow c 5)) (* (sqrt 1/120) (pow c 5)) (* 1/120 (pow c 5)) (exp (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (exp (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (log (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (exp (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (* (cbrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (cbrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))) (cbrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (pow (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 3) (sqrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (sqrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (+ (pow (* 1/6 (pow c 3)) 3) (pow (+ (* 1/120 (pow c 5)) c) 3)) (+ (* (+ (* 1/120 (pow c 5)) c) (- (+ (* 1/120 (pow c 5)) c) (* 1/6 (pow c 3)))) (* 1/36 (pow c 6))) (- (* 1/36 (pow c 6)) (* (+ (* 1/120 (pow c 5)) c) (+ (* 1/120 (pow c 5)) c))) (- (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (+ (* 1/6 (pow c 3)) (* 1/120 (pow c 5))) (* 1/6 (pow c 3)) (* 1/6 (pow c 3)) (* 1/6 (pow c 3)) (* 1/120 (pow c 5)) (* 1/120 (pow c 5)) (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 13.600 * * * [progress]: adding candidates to table 13.916 * [progress]: [Phase 3 of 3] Extracting. 13.917 * * [regime]: Finding splitpoints for: (# #) 13.918 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c) 13.918 * * * * [regimes]: Trying to branch on (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) from (# #) 13.951 * * * * [regimes]: Trying to branch on c from (# #) 13.975 * * * [regime]: Found split indices: #