0.957 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.270 * * * [progress]: [2/2] Setting up program. 0.277 * [progress]: [Phase 2 of 3] Improving. 0.280 * [simplify]: Simplifying: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 0.282 * * [simplify]: Extracting # 0 : cost 0 0.282 * * [simplify]: Extracting # 1 : cost 0 0.282 * * [simplify]: Extracting # 2 : cost 0 0.282 * * [simplify]: Extracting # 3 : cost 0 0.282 * * [simplify]: Extracting # 4 : cost 0 0.282 * * [simplify]: Extracting # 5 : cost 0 0.283 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.291 * * [simplify]: Extracting # 0 : cost 0 0.291 * * [simplify]: Extracting # 1 : cost 0 0.291 * * [simplify]: Extracting # 2 : cost 0 0.291 * * [simplify]: Extracting # 3 : cost 0 0.291 * * [simplify]: Extracting # 4 : cost 0 0.291 * * [simplify]: Extracting # 5 : cost 0 0.291 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 0.299 * * [simplify]: Extracting # 0 : cost 0 0.299 * * [simplify]: Extracting # 1 : cost 0 0.299 * * [simplify]: Extracting # 2 : cost 0 0.299 * * [simplify]: Extracting # 3 : cost 0 0.299 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 0.313 * * [simplify]: Extracting # 0 : cost 0 0.314 * * [simplify]: Extracting # 1 : cost 0 0.314 * * [simplify]: Extracting # 2 : cost 0 0.314 * * [simplify]: Extracting # 3 : cost 0 0.314 * * [simplify]: Extracting # 4 : cost 0 0.314 * * [simplify]: iteration 3 : 71 enodes (cost 8 ) 0.363 * * [simplify]: Extracting # 0 : cost 0 0.363 * * [simplify]: Extracting # 1 : cost 0 0.363 * * [simplify]: Extracting # 2 : cost 0 0.364 * * [simplify]: Extracting # 3 : cost 0 0.364 * * [simplify]: Extracting # 4 : cost 0 0.364 * * [simplify]: iteration 4 : 151 enodes (cost 8 ) 0.421 * * [simplify]: Extracting # 0 : cost 0 0.422 * * [simplify]: Extracting # 1 : cost 0 0.422 * * [simplify]: Extracting # 2 : cost 0 0.423 * * [simplify]: Extracting # 3 : cost 0 0.423 * * [simplify]: Extracting # 4 : cost 0 0.424 * * [simplify]: iteration 5 : 360 enodes (cost 8 ) 0.784 * * [simplify]: Extracting # 0 : cost 0 0.785 * * [simplify]: Extracting # 1 : cost 0 0.786 * * [simplify]: Extracting # 2 : cost 0 0.787 * * [simplify]: Extracting # 3 : cost 0 0.787 * * [simplify]: Extracting # 4 : cost 0 0.788 * * [simplify]: iteration 6 : 1154 enodes (cost 8 ) 4.527 * * [simplify]: Extracting # 0 : cost 0 4.536 * * [simplify]: Extracting # 1 : cost 0 4.543 * * [simplify]: Extracting # 2 : cost 0 4.549 * * [simplify]: Extracting # 3 : cost 0 4.555 * * [simplify]: Extracting # 4 : cost 0 4.561 * * [simplify]: iteration 7 : 4429 enodes (cost 8 ) 7.440 * * [simplify]: Extracting # 0 : cost 0 7.444 * * [simplify]: Extracting # 1 : cost 0 7.451 * * [simplify]: Extracting # 2 : cost 0 7.458 * * [simplify]: Extracting # 3 : cost 0 7.465 * * [simplify]: iteration done: 5001 enodes (cost 8 ) 7.465 * [simplify]: Simplified to: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 7.468 * * [progress]: iteration 1 / 4 7.468 * * * [progress]: picking best candidate 7.472 * * * * [pick]: Picked # 7.472 * * * [progress]: localizing error 7.495 * * * [progress]: generating rewritten candidates 7.495 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 7.502 * * * [progress]: generating series expansions 7.502 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 7.507 * [backup-simplify]: Simplify (sinh c) into (sinh c) 7.507 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 7.508 * [taylor]: Taking taylor expansion of (sinh c) in c 7.512 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 7.512 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 7.512 * [taylor]: Taking taylor expansion of (exp c) in c 7.512 * [taylor]: Taking taylor expansion of c in c 7.512 * [backup-simplify]: Simplify 0 into 0 7.512 * [backup-simplify]: Simplify 1 into 1 7.513 * [backup-simplify]: Simplify (exp 0) into 1 7.513 * [taylor]: Taking taylor expansion of (exp (- c)) in c 7.513 * [taylor]: Taking taylor expansion of (- c) in c 7.513 * [taylor]: Taking taylor expansion of c in c 7.513 * [backup-simplify]: Simplify 0 into 0 7.513 * [backup-simplify]: Simplify 1 into 1 7.513 * [backup-simplify]: Simplify (- 0) into 0 7.514 * [backup-simplify]: Simplify (- 1) into -1 7.514 * [backup-simplify]: Simplify (exp 0) into 1 7.514 * [taylor]: Taking taylor expansion of 2 in c 7.514 * [backup-simplify]: Simplify 2 into 2 7.515 * [backup-simplify]: Simplify (- 1) into -1 7.515 * [backup-simplify]: Simplify (+ 1 -1) into 0 7.517 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 7.518 * [backup-simplify]: Simplify (- 1) into -1 7.519 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 7.519 * [backup-simplify]: Simplify (- -1) into 1 7.519 * [backup-simplify]: Simplify (+ 1 1) into 2 7.520 * [backup-simplify]: Simplify (/ 2 2) into 1 7.520 * [taylor]: Taking taylor expansion of (sinh c) in c 7.520 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 7.520 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 7.520 * [taylor]: Taking taylor expansion of (exp c) in c 7.520 * [taylor]: Taking taylor expansion of c in c 7.520 * [backup-simplify]: Simplify 0 into 0 7.520 * [backup-simplify]: Simplify 1 into 1 7.520 * [backup-simplify]: Simplify (exp 0) into 1 7.520 * [taylor]: Taking taylor expansion of (exp (- c)) in c 7.520 * [taylor]: Taking taylor expansion of (- c) in c 7.520 * [taylor]: Taking taylor expansion of c in c 7.520 * [backup-simplify]: Simplify 0 into 0 7.520 * [backup-simplify]: Simplify 1 into 1 7.521 * [backup-simplify]: Simplify (- 0) into 0 7.521 * [backup-simplify]: Simplify (- 1) into -1 7.521 * [backup-simplify]: Simplify (exp 0) into 1 7.521 * [taylor]: Taking taylor expansion of 2 in c 7.521 * [backup-simplify]: Simplify 2 into 2 7.521 * [backup-simplify]: Simplify (- 1) into -1 7.522 * [backup-simplify]: Simplify (+ 1 -1) into 0 7.523 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 7.523 * [backup-simplify]: Simplify (- 1) into -1 7.524 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 7.525 * [backup-simplify]: Simplify (- -1) into 1 7.525 * [backup-simplify]: Simplify (+ 1 1) into 2 7.525 * [backup-simplify]: Simplify (/ 2 2) into 1 7.526 * [backup-simplify]: Simplify 1 into 1 7.528 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 7.529 * [backup-simplify]: Simplify (- 1) into -1 7.529 * [backup-simplify]: Simplify (- 0) into 0 7.531 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 7.531 * [backup-simplify]: Simplify (- 1/2) into -1/2 7.532 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 7.533 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 7.533 * [backup-simplify]: Simplify 0 into 0 7.536 * [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.536 * [backup-simplify]: Simplify (- 1) into -1 7.537 * [backup-simplify]: Simplify (- 1) into -1 7.537 * [backup-simplify]: Simplify (- 0) into 0 7.537 * [backup-simplify]: Simplify (- 0) into 0 7.553 * [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.553 * [backup-simplify]: Simplify (- -1/6) into 1/6 7.554 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 7.555 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 7.555 * [backup-simplify]: Simplify 1/6 into 1/6 7.560 * [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.561 * [backup-simplify]: Simplify (- 1) into -1 7.561 * [backup-simplify]: Simplify (- 1) into -1 7.561 * [backup-simplify]: Simplify (- 0) into 0 7.562 * [backup-simplify]: Simplify (- 1) into -1 7.562 * [backup-simplify]: Simplify (- 0) into 0 7.562 * [backup-simplify]: Simplify (- 0) into 0 7.563 * [backup-simplify]: Simplify (- 0) into 0 7.567 * [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.568 * [backup-simplify]: Simplify (- 1/24) into -1/24 7.568 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 7.569 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 7.569 * [backup-simplify]: Simplify 0 into 0 7.576 * [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.576 * [backup-simplify]: Simplify (- 1) into -1 7.577 * [backup-simplify]: Simplify (- 1) into -1 7.577 * [backup-simplify]: Simplify (- 0) into 0 7.578 * [backup-simplify]: Simplify (- 1) into -1 7.578 * [backup-simplify]: Simplify (- 0) into 0 7.579 * [backup-simplify]: Simplify (- 1) into -1 7.579 * [backup-simplify]: Simplify (- 0) into 0 7.579 * [backup-simplify]: Simplify (- 1) into -1 7.580 * [backup-simplify]: Simplify (- 0) into 0 7.580 * [backup-simplify]: Simplify (- 0) into 0 7.581 * [backup-simplify]: Simplify (- 0) into 0 7.581 * [backup-simplify]: Simplify (- 0) into 0 7.587 * [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.588 * [backup-simplify]: Simplify (- -1/120) into 1/120 7.588 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 7.590 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 7.590 * [backup-simplify]: Simplify 1/120 into 1/120 7.595 * [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.595 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 7.595 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 7.595 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 7.595 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 7.595 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 7.595 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 7.595 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.595 * [taylor]: Taking taylor expansion of c in c 7.595 * [backup-simplify]: Simplify 0 into 0 7.595 * [backup-simplify]: Simplify 1 into 1 7.596 * [backup-simplify]: Simplify (/ 1 1) into 1 7.596 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 7.596 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 7.596 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 7.596 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.596 * [taylor]: Taking taylor expansion of c in c 7.596 * [backup-simplify]: Simplify 0 into 0 7.596 * [backup-simplify]: Simplify 1 into 1 7.596 * [backup-simplify]: Simplify (/ 1 1) into 1 7.597 * [backup-simplify]: Simplify (- 1) into -1 7.597 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 7.597 * [taylor]: Taking taylor expansion of 2 in c 7.597 * [backup-simplify]: Simplify 2 into 2 7.597 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 7.597 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 7.597 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 7.597 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 7.597 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 7.597 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 7.597 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 7.597 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.597 * [taylor]: Taking taylor expansion of c in c 7.597 * [backup-simplify]: Simplify 0 into 0 7.597 * [backup-simplify]: Simplify 1 into 1 7.598 * [backup-simplify]: Simplify (/ 1 1) into 1 7.598 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 7.598 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 7.598 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 7.598 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.598 * [taylor]: Taking taylor expansion of c in c 7.598 * [backup-simplify]: Simplify 0 into 0 7.598 * [backup-simplify]: Simplify 1 into 1 7.598 * [backup-simplify]: Simplify (/ 1 1) into 1 7.598 * [backup-simplify]: Simplify (- 1) into -1 7.598 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 7.598 * [taylor]: Taking taylor expansion of 2 in c 7.598 * [backup-simplify]: Simplify 2 into 2 7.599 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 7.599 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 7.599 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 7.599 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 7.599 * [backup-simplify]: Simplify (- 0) into 0 7.600 * [backup-simplify]: Simplify (+ 0 0) into 0 7.600 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 7.600 * [backup-simplify]: Simplify 0 into 0 7.601 * [backup-simplify]: Simplify (- 0) into 0 7.601 * [backup-simplify]: Simplify (+ 0 0) into 0 7.602 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.602 * [backup-simplify]: Simplify 0 into 0 7.602 * [backup-simplify]: Simplify (- 0) into 0 7.602 * [backup-simplify]: Simplify (+ 0 0) into 0 7.604 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.604 * [backup-simplify]: Simplify 0 into 0 7.604 * [backup-simplify]: Simplify (- 0) into 0 7.604 * [backup-simplify]: Simplify (+ 0 0) into 0 7.606 * [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.606 * [backup-simplify]: Simplify 0 into 0 7.606 * [backup-simplify]: Simplify (- 0) into 0 7.606 * [backup-simplify]: Simplify (+ 0 0) into 0 7.608 * [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.608 * [backup-simplify]: Simplify 0 into 0 7.609 * [backup-simplify]: Simplify (- 0) into 0 7.609 * [backup-simplify]: Simplify (+ 0 0) into 0 7.611 * [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.611 * [backup-simplify]: Simplify 0 into 0 7.611 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 7.611 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 7.611 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 7.611 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 7.611 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 7.611 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 7.611 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 7.611 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.611 * [taylor]: Taking taylor expansion of -1 in c 7.612 * [backup-simplify]: Simplify -1 into -1 7.612 * [taylor]: Taking taylor expansion of c in c 7.612 * [backup-simplify]: Simplify 0 into 0 7.612 * [backup-simplify]: Simplify 1 into 1 7.612 * [backup-simplify]: Simplify (/ -1 1) into -1 7.612 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 7.612 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 7.612 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 7.612 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.612 * [taylor]: Taking taylor expansion of -1 in c 7.612 * [backup-simplify]: Simplify -1 into -1 7.612 * [taylor]: Taking taylor expansion of c in c 7.612 * [backup-simplify]: Simplify 0 into 0 7.612 * [backup-simplify]: Simplify 1 into 1 7.612 * [backup-simplify]: Simplify (/ -1 1) into -1 7.613 * [backup-simplify]: Simplify (- -1) into 1 7.613 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 7.613 * [taylor]: Taking taylor expansion of 2 in c 7.613 * [backup-simplify]: Simplify 2 into 2 7.613 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 7.613 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 7.613 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 7.613 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 7.613 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 7.613 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 7.613 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 7.613 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.613 * [taylor]: Taking taylor expansion of -1 in c 7.613 * [backup-simplify]: Simplify -1 into -1 7.613 * [taylor]: Taking taylor expansion of c in c 7.613 * [backup-simplify]: Simplify 0 into 0 7.613 * [backup-simplify]: Simplify 1 into 1 7.613 * [backup-simplify]: Simplify (/ -1 1) into -1 7.614 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 7.614 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 7.614 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 7.614 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.614 * [taylor]: Taking taylor expansion of -1 in c 7.614 * [backup-simplify]: Simplify -1 into -1 7.614 * [taylor]: Taking taylor expansion of c in c 7.614 * [backup-simplify]: Simplify 0 into 0 7.614 * [backup-simplify]: Simplify 1 into 1 7.614 * [backup-simplify]: Simplify (/ -1 1) into -1 7.614 * [backup-simplify]: Simplify (- -1) into 1 7.614 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 7.614 * [taylor]: Taking taylor expansion of 2 in c 7.614 * [backup-simplify]: Simplify 2 into 2 7.614 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 7.614 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 7.615 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 7.615 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 7.615 * [backup-simplify]: Simplify (- 0) into 0 7.615 * [backup-simplify]: Simplify (+ 0 0) into 0 7.616 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 7.616 * [backup-simplify]: Simplify 0 into 0 7.616 * [backup-simplify]: Simplify (- 0) into 0 7.616 * [backup-simplify]: Simplify (+ 0 0) into 0 7.617 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.617 * [backup-simplify]: Simplify 0 into 0 7.618 * [backup-simplify]: Simplify (- 0) into 0 7.618 * [backup-simplify]: Simplify (+ 0 0) into 0 7.619 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.619 * [backup-simplify]: Simplify 0 into 0 7.619 * [backup-simplify]: Simplify (- 0) into 0 7.619 * [backup-simplify]: Simplify (+ 0 0) into 0 7.621 * [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.621 * [backup-simplify]: Simplify 0 into 0 7.621 * [backup-simplify]: Simplify (- 0) into 0 7.621 * [backup-simplify]: Simplify (+ 0 0) into 0 7.623 * [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.623 * [backup-simplify]: Simplify 0 into 0 7.624 * [backup-simplify]: Simplify (- 0) into 0 7.624 * [backup-simplify]: Simplify (+ 0 0) into 0 7.626 * [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.626 * [backup-simplify]: Simplify 0 into 0 7.626 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 7.626 * * * [progress]: simplifying candidates 7.628 * [simplify]: Simplifying: (expm1 (sinh c)) (log1p (sinh c)) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) 7.628 * * [simplify]: Extracting # 0 : cost 0 7.628 * * [simplify]: Extracting # 1 : cost 0 7.629 * * [simplify]: Extracting # 2 : cost 0 7.629 * * [simplify]: Extracting # 3 : cost 0 7.629 * * [simplify]: Extracting # 4 : cost 0 7.629 * * [simplify]: Extracting # 5 : cost 0 7.629 * * [simplify]: Extracting # 6 : cost 0 7.629 * * [simplify]: Extracting # 7 : cost 0 7.629 * * [simplify]: Extracting # 8 : cost 0 7.629 * * [simplify]: iteration 0 : 32 enodes (cost 72 ) 7.635 * * [simplify]: Extracting # 0 : cost 0 7.635 * * [simplify]: Extracting # 1 : cost 0 7.636 * * [simplify]: Extracting # 2 : cost 0 7.636 * * [simplify]: Extracting # 3 : cost 0 7.636 * * [simplify]: Extracting # 4 : cost 0 7.636 * * [simplify]: iteration 1 : 62 enodes (cost 69 ) 7.648 * * [simplify]: Extracting # 0 : cost 0 7.648 * * [simplify]: Extracting # 1 : cost 0 7.648 * * [simplify]: Extracting # 2 : cost 0 7.649 * * [simplify]: Extracting # 3 : cost 0 7.649 * * [simplify]: iteration 2 : 133 enodes (cost 65 ) 7.694 * * [simplify]: Extracting # 0 : cost 0 7.695 * * [simplify]: Extracting # 1 : cost 0 7.695 * * [simplify]: Extracting # 2 : cost 0 7.696 * * [simplify]: Extracting # 3 : cost 0 7.696 * * [simplify]: iteration 3 : 289 enodes (cost 65 ) 7.852 * * [simplify]: Extracting # 0 : cost 0 7.854 * * [simplify]: Extracting # 1 : cost 0 7.855 * * [simplify]: Extracting # 2 : cost 0 7.856 * * [simplify]: Extracting # 3 : cost 0 7.858 * * [simplify]: Extracting # 4 : cost 0 7.859 * * [simplify]: iteration 4 : 679 enodes (cost 65 ) 8.485 * * [simplify]: Extracting # 0 : cost 0 8.492 * * [simplify]: Extracting # 1 : cost 0 8.498 * * [simplify]: Extracting # 2 : cost 0 8.503 * * [simplify]: Extracting # 3 : cost 0 8.509 * * [simplify]: Extracting # 4 : cost 0 8.515 * * [simplify]: iteration 5 : 2680 enodes (cost 65 ) 10.083 * * [simplify]: Extracting # 0 : cost 0 10.094 * * [simplify]: Extracting # 1 : cost 0 10.101 * * [simplify]: Extracting # 2 : cost 0 10.111 * * [simplify]: Extracting # 3 : cost 0 10.117 * * [simplify]: Extracting # 4 : cost 0 10.122 * * [simplify]: iteration done: 5000 enodes (cost 65 ) 10.122 * [simplify]: Simplified to: (expm1 (sinh c)) (log1p (sinh c)) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (- c)))) 10.122 * * * [progress]: adding candidates to table 10.168 * * [progress]: iteration 2 / 4 10.168 * * * [progress]: picking best candidate 10.182 * * * * [pick]: Picked # 10.182 * * * [progress]: localizing error 10.208 * * * [progress]: generating rewritten candidates 10.208 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1) 10.211 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 10.211 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 10.213 * * * [progress]: generating series expansions 10.213 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1) 10.213 * [backup-simplify]: Simplify (sinh c) into (sinh c) 10.213 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 10.213 * [taylor]: Taking taylor expansion of (sinh c) in c 10.213 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 10.213 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 10.213 * [taylor]: Taking taylor expansion of (exp c) in c 10.213 * [taylor]: Taking taylor expansion of c in c 10.213 * [backup-simplify]: Simplify 0 into 0 10.213 * [backup-simplify]: Simplify 1 into 1 10.213 * [backup-simplify]: Simplify (exp 0) into 1 10.213 * [taylor]: Taking taylor expansion of (exp (- c)) in c 10.213 * [taylor]: Taking taylor expansion of (- c) in c 10.213 * [taylor]: Taking taylor expansion of c in c 10.214 * [backup-simplify]: Simplify 0 into 0 10.214 * [backup-simplify]: Simplify 1 into 1 10.214 * [backup-simplify]: Simplify (- 0) into 0 10.215 * [backup-simplify]: Simplify (- 1) into -1 10.215 * [backup-simplify]: Simplify (exp 0) into 1 10.215 * [taylor]: Taking taylor expansion of 2 in c 10.215 * [backup-simplify]: Simplify 2 into 2 10.215 * [backup-simplify]: Simplify (- 1) into -1 10.216 * [backup-simplify]: Simplify (+ 1 -1) into 0 10.217 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 10.217 * [backup-simplify]: Simplify (- 1) into -1 10.219 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 10.219 * [backup-simplify]: Simplify (- -1) into 1 10.219 * [backup-simplify]: Simplify (+ 1 1) into 2 10.220 * [backup-simplify]: Simplify (/ 2 2) into 1 10.220 * [taylor]: Taking taylor expansion of (sinh c) in c 10.220 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 10.220 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 10.220 * [taylor]: Taking taylor expansion of (exp c) in c 10.220 * [taylor]: Taking taylor expansion of c in c 10.220 * [backup-simplify]: Simplify 0 into 0 10.220 * [backup-simplify]: Simplify 1 into 1 10.220 * [backup-simplify]: Simplify (exp 0) into 1 10.220 * [taylor]: Taking taylor expansion of (exp (- c)) in c 10.220 * [taylor]: Taking taylor expansion of (- c) in c 10.220 * [taylor]: Taking taylor expansion of c in c 10.220 * [backup-simplify]: Simplify 0 into 0 10.220 * [backup-simplify]: Simplify 1 into 1 10.221 * [backup-simplify]: Simplify (- 0) into 0 10.221 * [backup-simplify]: Simplify (- 1) into -1 10.221 * [backup-simplify]: Simplify (exp 0) into 1 10.221 * [taylor]: Taking taylor expansion of 2 in c 10.221 * [backup-simplify]: Simplify 2 into 2 10.221 * [backup-simplify]: Simplify (- 1) into -1 10.222 * [backup-simplify]: Simplify (+ 1 -1) into 0 10.223 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 10.223 * [backup-simplify]: Simplify (- 1) into -1 10.225 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 10.225 * [backup-simplify]: Simplify (- -1) into 1 10.226 * [backup-simplify]: Simplify (+ 1 1) into 2 10.226 * [backup-simplify]: Simplify (/ 2 2) into 1 10.226 * [backup-simplify]: Simplify 1 into 1 10.228 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.228 * [backup-simplify]: Simplify (- 1) into -1 10.229 * [backup-simplify]: Simplify (- 0) into 0 10.230 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.231 * [backup-simplify]: Simplify (- 1/2) into -1/2 10.231 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 10.232 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 10.232 * [backup-simplify]: Simplify 0 into 0 10.235 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 10.235 * [backup-simplify]: Simplify (- 1) into -1 10.236 * [backup-simplify]: Simplify (- 1) into -1 10.236 * [backup-simplify]: Simplify (- 0) into 0 10.236 * [backup-simplify]: Simplify (- 0) into 0 10.239 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 10.239 * [backup-simplify]: Simplify (- -1/6) into 1/6 10.240 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 10.241 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 10.241 * [backup-simplify]: Simplify 1/6 into 1/6 10.245 * [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 10.246 * [backup-simplify]: Simplify (- 1) into -1 10.246 * [backup-simplify]: Simplify (- 1) into -1 10.247 * [backup-simplify]: Simplify (- 0) into 0 10.247 * [backup-simplify]: Simplify (- 1) into -1 10.247 * [backup-simplify]: Simplify (- 0) into 0 10.248 * [backup-simplify]: Simplify (- 0) into 0 10.248 * [backup-simplify]: Simplify (- 0) into 0 10.253 * [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 10.253 * [backup-simplify]: Simplify (- 1/24) into -1/24 10.254 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 10.255 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 10.255 * [backup-simplify]: Simplify 0 into 0 10.262 * [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 10.262 * [backup-simplify]: Simplify (- 1) into -1 10.263 * [backup-simplify]: Simplify (- 1) into -1 10.263 * [backup-simplify]: Simplify (- 0) into 0 10.263 * [backup-simplify]: Simplify (- 1) into -1 10.264 * [backup-simplify]: Simplify (- 0) into 0 10.264 * [backup-simplify]: Simplify (- 1) into -1 10.264 * [backup-simplify]: Simplify (- 0) into 0 10.265 * [backup-simplify]: Simplify (- 1) into -1 10.265 * [backup-simplify]: Simplify (- 0) into 0 10.266 * [backup-simplify]: Simplify (- 0) into 0 10.266 * [backup-simplify]: Simplify (- 0) into 0 10.266 * [backup-simplify]: Simplify (- 0) into 0 10.273 * [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 10.273 * [backup-simplify]: Simplify (- -1/120) into 1/120 10.274 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 10.276 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 10.276 * [backup-simplify]: Simplify 1/120 into 1/120 10.276 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 10.276 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 10.276 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 10.276 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 10.277 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 10.277 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 10.277 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 10.277 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.277 * [taylor]: Taking taylor expansion of c in c 10.277 * [backup-simplify]: Simplify 0 into 0 10.277 * [backup-simplify]: Simplify 1 into 1 10.277 * [backup-simplify]: Simplify (/ 1 1) into 1 10.277 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 10.277 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 10.277 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 10.277 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.277 * [taylor]: Taking taylor expansion of c in c 10.277 * [backup-simplify]: Simplify 0 into 0 10.278 * [backup-simplify]: Simplify 1 into 1 10.278 * [backup-simplify]: Simplify (/ 1 1) into 1 10.278 * [backup-simplify]: Simplify (- 1) into -1 10.278 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 10.278 * [taylor]: Taking taylor expansion of 2 in c 10.278 * [backup-simplify]: Simplify 2 into 2 10.279 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 10.279 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 10.279 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 10.279 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 10.279 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 10.279 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 10.279 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 10.279 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.279 * [taylor]: Taking taylor expansion of c in c 10.279 * [backup-simplify]: Simplify 0 into 0 10.279 * [backup-simplify]: Simplify 1 into 1 10.280 * [backup-simplify]: Simplify (/ 1 1) into 1 10.280 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 10.280 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 10.280 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 10.280 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.280 * [taylor]: Taking taylor expansion of c in c 10.280 * [backup-simplify]: Simplify 0 into 0 10.280 * [backup-simplify]: Simplify 1 into 1 10.281 * [backup-simplify]: Simplify (/ 1 1) into 1 10.281 * [backup-simplify]: Simplify (- 1) into -1 10.281 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 10.281 * [taylor]: Taking taylor expansion of 2 in c 10.281 * [backup-simplify]: Simplify 2 into 2 10.281 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 10.282 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 10.282 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 10.282 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 10.283 * [backup-simplify]: Simplify (- 0) into 0 10.283 * [backup-simplify]: Simplify (+ 0 0) into 0 10.284 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 10.284 * [backup-simplify]: Simplify 0 into 0 10.285 * [backup-simplify]: Simplify (- 0) into 0 10.285 * [backup-simplify]: Simplify (+ 0 0) into 0 10.287 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 10.287 * [backup-simplify]: Simplify 0 into 0 10.288 * [backup-simplify]: Simplify (- 0) into 0 10.288 * [backup-simplify]: Simplify (+ 0 0) into 0 10.290 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 10.290 * [backup-simplify]: Simplify 0 into 0 10.291 * [backup-simplify]: Simplify (- 0) into 0 10.291 * [backup-simplify]: Simplify (+ 0 0) into 0 10.293 * [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 10.294 * [backup-simplify]: Simplify 0 into 0 10.294 * [backup-simplify]: Simplify (- 0) into 0 10.294 * [backup-simplify]: Simplify (+ 0 0) into 0 10.297 * [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 10.297 * [backup-simplify]: Simplify 0 into 0 10.298 * [backup-simplify]: Simplify (- 0) into 0 10.298 * [backup-simplify]: Simplify (+ 0 0) into 0 10.302 * [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 10.302 * [backup-simplify]: Simplify 0 into 0 10.302 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 10.302 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 10.302 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 10.302 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 10.303 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 10.303 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 10.303 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 10.303 * [taylor]: Taking taylor expansion of (/ -1 c) in c 10.303 * [taylor]: Taking taylor expansion of -1 in c 10.303 * [backup-simplify]: Simplify -1 into -1 10.303 * [taylor]: Taking taylor expansion of c in c 10.303 * [backup-simplify]: Simplify 0 into 0 10.303 * [backup-simplify]: Simplify 1 into 1 10.303 * [backup-simplify]: Simplify (/ -1 1) into -1 10.303 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 10.304 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 10.304 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 10.304 * [taylor]: Taking taylor expansion of (/ -1 c) in c 10.304 * [taylor]: Taking taylor expansion of -1 in c 10.304 * [backup-simplify]: Simplify -1 into -1 10.304 * [taylor]: Taking taylor expansion of c in c 10.304 * [backup-simplify]: Simplify 0 into 0 10.304 * [backup-simplify]: Simplify 1 into 1 10.304 * [backup-simplify]: Simplify (/ -1 1) into -1 10.305 * [backup-simplify]: Simplify (- -1) into 1 10.305 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 10.305 * [taylor]: Taking taylor expansion of 2 in c 10.305 * [backup-simplify]: Simplify 2 into 2 10.305 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 10.305 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 10.305 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 10.305 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 10.305 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 10.305 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 10.305 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 10.306 * [taylor]: Taking taylor expansion of (/ -1 c) in c 10.306 * [taylor]: Taking taylor expansion of -1 in c 10.306 * [backup-simplify]: Simplify -1 into -1 10.306 * [taylor]: Taking taylor expansion of c in c 10.306 * [backup-simplify]: Simplify 0 into 0 10.306 * [backup-simplify]: Simplify 1 into 1 10.306 * [backup-simplify]: Simplify (/ -1 1) into -1 10.306 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 10.306 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 10.306 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 10.306 * [taylor]: Taking taylor expansion of (/ -1 c) in c 10.306 * [taylor]: Taking taylor expansion of -1 in c 10.306 * [backup-simplify]: Simplify -1 into -1 10.306 * [taylor]: Taking taylor expansion of c in c 10.306 * [backup-simplify]: Simplify 0 into 0 10.306 * [backup-simplify]: Simplify 1 into 1 10.307 * [backup-simplify]: Simplify (/ -1 1) into -1 10.307 * [backup-simplify]: Simplify (- -1) into 1 10.307 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 10.307 * [taylor]: Taking taylor expansion of 2 in c 10.307 * [backup-simplify]: Simplify 2 into 2 10.308 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 10.308 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 10.308 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 10.308 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 10.309 * [backup-simplify]: Simplify (- 0) into 0 10.309 * [backup-simplify]: Simplify (+ 0 0) into 0 10.310 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 10.310 * [backup-simplify]: Simplify 0 into 0 10.311 * [backup-simplify]: Simplify (- 0) into 0 10.311 * [backup-simplify]: Simplify (+ 0 0) into 0 10.313 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 10.313 * [backup-simplify]: Simplify 0 into 0 10.313 * [backup-simplify]: Simplify (- 0) into 0 10.313 * [backup-simplify]: Simplify (+ 0 0) into 0 10.315 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 10.316 * [backup-simplify]: Simplify 0 into 0 10.316 * [backup-simplify]: Simplify (- 0) into 0 10.316 * [backup-simplify]: Simplify (+ 0 0) into 0 10.327 * [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 10.327 * [backup-simplify]: Simplify 0 into 0 10.327 * [backup-simplify]: Simplify (- 0) into 0 10.327 * [backup-simplify]: Simplify (+ 0 0) into 0 10.331 * [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 10.331 * [backup-simplify]: Simplify 0 into 0 10.331 * [backup-simplify]: Simplify (- 0) into 0 10.331 * [backup-simplify]: Simplify (+ 0 0) into 0 10.335 * [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 10.335 * [backup-simplify]: Simplify 0 into 0 10.336 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 10.336 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 10.336 * [backup-simplify]: Simplify (log1p (expm1 (sinh c))) into (log1p (expm1 (sinh c))) 10.336 * [approximate]: Taking taylor expansion of (log1p (expm1 (sinh c))) in (c) around 0 10.336 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh c))) in c 10.336 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh c)))) 10.337 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh c))) in c 10.337 * [taylor]: Taking taylor expansion of 1 in c 10.337 * [backup-simplify]: Simplify 1 into 1 10.337 * [taylor]: Taking taylor expansion of (expm1 (sinh c)) in c 10.337 * [taylor]: Rewrote expression to (- (exp (sinh c)) 1) 10.337 * [taylor]: Taking taylor expansion of (exp (sinh c)) in c 10.337 * [taylor]: Taking taylor expansion of (sinh c) in c 10.337 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 10.337 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 10.337 * [taylor]: Taking taylor expansion of (exp c) in c 10.337 * [taylor]: Taking taylor expansion of c in c 10.337 * [backup-simplify]: Simplify 0 into 0 10.337 * [backup-simplify]: Simplify 1 into 1 10.337 * [backup-simplify]: Simplify (exp 0) into 1 10.337 * [taylor]: Taking taylor expansion of (exp (- c)) in c 10.337 * [taylor]: Taking taylor expansion of (- c) in c 10.337 * [taylor]: Taking taylor expansion of c in c 10.337 * [backup-simplify]: Simplify 0 into 0 10.337 * [backup-simplify]: Simplify 1 into 1 10.338 * [backup-simplify]: Simplify (- 0) into 0 10.338 * [backup-simplify]: Simplify (- 1) into -1 10.338 * [backup-simplify]: Simplify (exp 0) into 1 10.338 * [taylor]: Taking taylor expansion of 2 in c 10.338 * [backup-simplify]: Simplify 2 into 2 10.339 * [backup-simplify]: Simplify (- 1) into -1 10.339 * [backup-simplify]: Simplify (+ 1 -1) into 0 10.340 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 10.341 * [backup-simplify]: Simplify (- 1) into -1 10.342 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 10.342 * [backup-simplify]: Simplify (- -1) into 1 10.342 * [backup-simplify]: Simplify (+ 1 1) into 2 10.343 * [backup-simplify]: Simplify (/ 2 2) into 1 10.343 * [backup-simplify]: Simplify (exp 0) into 1 10.343 * [taylor]: Taking taylor expansion of 1 in c 10.343 * [backup-simplify]: Simplify 1 into 1 10.343 * [backup-simplify]: Simplify (- 1) into -1 10.344 * [backup-simplify]: Simplify (+ 1 -1) into 0 10.344 * [backup-simplify]: Simplify (+ 1 0) into 1 10.345 * [backup-simplify]: Simplify (log 1) into 0 10.345 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh c))) in c 10.345 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh c)))) 10.345 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh c))) in c 10.345 * [taylor]: Taking taylor expansion of 1 in c 10.345 * [backup-simplify]: Simplify 1 into 1 10.345 * [taylor]: Taking taylor expansion of (expm1 (sinh c)) in c 10.345 * [taylor]: Rewrote expression to (- (exp (sinh c)) 1) 10.345 * [taylor]: Taking taylor expansion of (exp (sinh c)) in c 10.345 * [taylor]: Taking taylor expansion of (sinh c) in c 10.345 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 10.345 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 10.345 * [taylor]: Taking taylor expansion of (exp c) in c 10.345 * [taylor]: Taking taylor expansion of c in c 10.345 * [backup-simplify]: Simplify 0 into 0 10.345 * [backup-simplify]: Simplify 1 into 1 10.345 * [backup-simplify]: Simplify (exp 0) into 1 10.345 * [taylor]: Taking taylor expansion of (exp (- c)) in c 10.345 * [taylor]: Taking taylor expansion of (- c) in c 10.345 * [taylor]: Taking taylor expansion of c in c 10.346 * [backup-simplify]: Simplify 0 into 0 10.346 * [backup-simplify]: Simplify 1 into 1 10.346 * [backup-simplify]: Simplify (- 0) into 0 10.346 * [backup-simplify]: Simplify (- 1) into -1 10.346 * [backup-simplify]: Simplify (exp 0) into 1 10.346 * [taylor]: Taking taylor expansion of 2 in c 10.346 * [backup-simplify]: Simplify 2 into 2 10.347 * [backup-simplify]: Simplify (- 1) into -1 10.347 * [backup-simplify]: Simplify (+ 1 -1) into 0 10.348 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 10.349 * [backup-simplify]: Simplify (- 1) into -1 10.350 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 10.350 * [backup-simplify]: Simplify (- -1) into 1 10.351 * [backup-simplify]: Simplify (+ 1 1) into 2 10.351 * [backup-simplify]: Simplify (/ 2 2) into 1 10.351 * [backup-simplify]: Simplify (exp 0) into 1 10.351 * [taylor]: Taking taylor expansion of 1 in c 10.351 * [backup-simplify]: Simplify 1 into 1 10.351 * [backup-simplify]: Simplify (- 1) into -1 10.352 * [backup-simplify]: Simplify (+ 1 -1) into 0 10.352 * [backup-simplify]: Simplify (+ 1 0) into 1 10.352 * [backup-simplify]: Simplify (log 1) into 0 10.353 * [backup-simplify]: Simplify 0 into 0 10.353 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 10.354 * [backup-simplify]: Simplify (- 0) into 0 10.354 * [backup-simplify]: Simplify (+ 1 0) into 1 10.354 * [backup-simplify]: Simplify (+ 0 1) into 1 10.355 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 10.355 * [backup-simplify]: Simplify 1 into 1 10.356 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.357 * [backup-simplify]: Simplify (- 1) into -1 10.357 * [backup-simplify]: Simplify (- 0) into 0 10.358 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.358 * [backup-simplify]: Simplify (- 1/2) into -1/2 10.358 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 10.359 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 10.360 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.360 * [backup-simplify]: Simplify (- 0) into 0 10.360 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 10.360 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 10.362 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 10.362 * [backup-simplify]: Simplify 0 into 0 10.363 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 10.364 * [backup-simplify]: Simplify (- 1) into -1 10.364 * [backup-simplify]: Simplify (- 1) into -1 10.364 * [backup-simplify]: Simplify (- 0) into 0 10.364 * [backup-simplify]: Simplify (- 0) into 0 10.366 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 10.366 * [backup-simplify]: Simplify (- -1/6) into 1/6 10.366 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 10.367 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 10.369 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1/6 1) 1)))) into 1/3 10.369 * [backup-simplify]: Simplify (- 0) into 0 10.369 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 10.369 * [backup-simplify]: Simplify (+ 0 1/3) into 1/3 10.372 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 1/2) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/3) 1)) (pow 1 1)))) 6) into 1/6 10.373 * [backup-simplify]: Simplify 1/6 into 1/6 10.375 * [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 10.375 * [backup-simplify]: Simplify (- 1) into -1 10.376 * [backup-simplify]: Simplify (- 1) into -1 10.376 * [backup-simplify]: Simplify (- 0) into 0 10.376 * [backup-simplify]: Simplify (- 1) into -1 10.376 * [backup-simplify]: Simplify (- 0) into 0 10.376 * [backup-simplify]: Simplify (- 0) into 0 10.377 * [backup-simplify]: Simplify (- 0) into 0 10.379 * [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 10.379 * [backup-simplify]: Simplify (- 1/24) into -1/24 10.380 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 10.381 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 10.386 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 1/6 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 5/24 10.387 * [backup-simplify]: Simplify (- 0) into 0 10.387 * [backup-simplify]: Simplify (+ 5/24 0) into 5/24 10.388 * [backup-simplify]: Simplify (+ 0 5/24) into 5/24 10.400 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 1) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 1) 2) (pow (* 2 1/2) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 1/2) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 1) 1) 1 (pow (* 6 1/3) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 5/24) 1)) (pow 1 1)))) 24) into 0 10.400 * [backup-simplify]: Simplify 0 into 0 10.408 * [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 10.408 * [backup-simplify]: Simplify (- 1) into -1 10.409 * [backup-simplify]: Simplify (- 1) into -1 10.409 * [backup-simplify]: Simplify (- 0) into 0 10.409 * [backup-simplify]: Simplify (- 1) into -1 10.410 * [backup-simplify]: Simplify (- 0) into 0 10.410 * [backup-simplify]: Simplify (- 1) into -1 10.410 * [backup-simplify]: Simplify (- 0) into 0 10.411 * [backup-simplify]: Simplify (- 1) into -1 10.411 * [backup-simplify]: Simplify (- 0) into 0 10.412 * [backup-simplify]: Simplify (- 0) into 0 10.412 * [backup-simplify]: Simplify (- 0) into 0 10.412 * [backup-simplify]: Simplify (- 0) into 0 10.419 * [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 10.419 * [backup-simplify]: Simplify (- -1/120) into 1/120 10.420 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 10.421 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 10.430 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 1/6 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 1/6 1) 1)) (* (/ (pow 1/120 1) 1)))) into 1/10 10.430 * [backup-simplify]: Simplify (- 0) into 0 10.431 * [backup-simplify]: Simplify (+ 1/10 0) into 1/10 10.431 * [backup-simplify]: Simplify (+ 0 1/10) into 1/10 10.450 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 1) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 1) 3) (pow (* 2 1/2) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 1) 1) (pow (* 2 1/2) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 1) 2) 1 (pow (* 6 1/3) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 1/2) 1) (pow (* 6 1/3) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 1) 1) 1 1 (pow (* 24 5/24) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 1/10) 1)) (pow 1 1)))) 120) into 1/120 10.451 * [backup-simplify]: Simplify 1/120 into 1/120 10.451 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 10.451 * [backup-simplify]: Simplify (log1p (expm1 (sinh (/ 1 c)))) into (log1p (expm1 (sinh (/ 1 c)))) 10.452 * [approximate]: Taking taylor expansion of (log1p (expm1 (sinh (/ 1 c)))) in (c) around 0 10.452 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh (/ 1 c)))) in c 10.452 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh (/ 1 c))))) 10.452 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh (/ 1 c)))) in c 10.452 * [taylor]: Taking taylor expansion of 1 in c 10.452 * [backup-simplify]: Simplify 1 into 1 10.452 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in c 10.452 * [taylor]: Rewrote expression to (- (exp (sinh (/ 1 c))) 1) 10.452 * [taylor]: Taking taylor expansion of (exp (sinh (/ 1 c))) in c 10.452 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 10.452 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 10.452 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 10.452 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 10.452 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.452 * [taylor]: Taking taylor expansion of c in c 10.452 * [backup-simplify]: Simplify 0 into 0 10.452 * [backup-simplify]: Simplify 1 into 1 10.453 * [backup-simplify]: Simplify (/ 1 1) into 1 10.453 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 10.453 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 10.453 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 10.453 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.453 * [taylor]: Taking taylor expansion of c in c 10.453 * [backup-simplify]: Simplify 0 into 0 10.453 * [backup-simplify]: Simplify 1 into 1 10.453 * [backup-simplify]: Simplify (/ 1 1) into 1 10.454 * [backup-simplify]: Simplify (- 1) into -1 10.454 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 10.454 * [taylor]: Taking taylor expansion of 2 in c 10.454 * [backup-simplify]: Simplify 2 into 2 10.454 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 10.454 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 10.455 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 10.455 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 10.455 * [taylor]: Taking taylor expansion of 1 in c 10.455 * [backup-simplify]: Simplify 1 into 1 10.455 * [backup-simplify]: Simplify (- 1) into -1 10.456 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) -1) into (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1) 10.456 * [backup-simplify]: Simplify (+ 1 (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 10.456 * [backup-simplify]: Simplify (log (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 10.456 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh (/ 1 c)))) in c 10.456 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh (/ 1 c))))) 10.457 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh (/ 1 c)))) in c 10.457 * [taylor]: Taking taylor expansion of 1 in c 10.457 * [backup-simplify]: Simplify 1 into 1 10.457 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in c 10.457 * [taylor]: Rewrote expression to (- (exp (sinh (/ 1 c))) 1) 10.457 * [taylor]: Taking taylor expansion of (exp (sinh (/ 1 c))) in c 10.457 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 10.457 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 10.457 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 10.457 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 10.457 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.457 * [taylor]: Taking taylor expansion of c in c 10.457 * [backup-simplify]: Simplify 0 into 0 10.457 * [backup-simplify]: Simplify 1 into 1 10.458 * [backup-simplify]: Simplify (/ 1 1) into 1 10.458 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 10.458 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 10.458 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 10.458 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.458 * [taylor]: Taking taylor expansion of c in c 10.458 * [backup-simplify]: Simplify 0 into 0 10.458 * [backup-simplify]: Simplify 1 into 1 10.458 * [backup-simplify]: Simplify (/ 1 1) into 1 10.459 * [backup-simplify]: Simplify (- 1) into -1 10.459 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 10.459 * [taylor]: Taking taylor expansion of 2 in c 10.459 * [backup-simplify]: Simplify 2 into 2 10.459 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 10.459 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 10.459 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 10.460 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 10.460 * [taylor]: Taking taylor expansion of 1 in c 10.460 * [backup-simplify]: Simplify 1 into 1 10.464 * [backup-simplify]: Simplify (- 1) into -1 10.465 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) -1) into (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1) 10.465 * [backup-simplify]: Simplify (+ 1 (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 10.465 * [backup-simplify]: Simplify (log (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 10.465 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 10.466 * [backup-simplify]: Simplify (- 0) into 0 10.467 * [backup-simplify]: Simplify (+ 0 0) into 0 10.468 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 10.468 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 1) 1)))) into 0 10.469 * [backup-simplify]: Simplify (- 0) into 0 10.469 * [backup-simplify]: Simplify (+ 0 0) into 0 10.469 * [backup-simplify]: Simplify (+ 0 0) into 0 10.470 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)))) 1) into 0 10.470 * [backup-simplify]: Simplify 0 into 0 10.471 * [backup-simplify]: Simplify (- 0) into 0 10.471 * [backup-simplify]: Simplify (+ 0 0) into 0 10.472 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 10.473 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.473 * [backup-simplify]: Simplify (- 0) into 0 10.474 * [backup-simplify]: Simplify (+ 0 0) into 0 10.474 * [backup-simplify]: Simplify (+ 0 0) into 0 10.475 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)))) 2) into 0 10.475 * [backup-simplify]: Simplify 0 into 0 10.476 * [backup-simplify]: Simplify (- 0) into 0 10.476 * [backup-simplify]: Simplify (+ 0 0) into 0 10.477 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 10.478 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 10.478 * [backup-simplify]: Simplify (- 0) into 0 10.479 * [backup-simplify]: Simplify (+ 0 0) into 0 10.479 * [backup-simplify]: Simplify (+ 0 0) into 0 10.481 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)))) 6) into 0 10.481 * [backup-simplify]: Simplify 0 into 0 10.481 * [backup-simplify]: Simplify (- 0) into 0 10.482 * [backup-simplify]: Simplify (+ 0 0) into 0 10.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)))) into 0 10.485 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.485 * [backup-simplify]: Simplify (- 0) into 0 10.485 * [backup-simplify]: Simplify (+ 0 0) into 0 10.485 * [backup-simplify]: Simplify (+ 0 0) into 0 10.489 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)))) 24) into 0 10.489 * [backup-simplify]: Simplify 0 into 0 10.490 * [backup-simplify]: Simplify (- 0) into 0 10.490 * [backup-simplify]: Simplify (+ 0 0) into 0 10.492 * [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 10.494 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 10.494 * [backup-simplify]: Simplify (- 0) into 0 10.495 * [backup-simplify]: Simplify (+ 0 0) into 0 10.495 * [backup-simplify]: Simplify (+ 0 0) into 0 10.503 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)))) 120) into 0 10.503 * [backup-simplify]: Simplify 0 into 0 10.504 * [backup-simplify]: Simplify (- 0) into 0 10.504 * [backup-simplify]: Simplify (+ 0 0) into 0 10.508 * [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 10.513 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.514 * [backup-simplify]: Simplify (- 0) into 0 10.514 * [backup-simplify]: Simplify (+ 0 0) into 0 10.514 * [backup-simplify]: Simplify (+ 0 0) into 0 10.523 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)))) 720) into 0 10.523 * [backup-simplify]: Simplify 0 into 0 10.523 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 10.523 * [backup-simplify]: Simplify (log1p (expm1 (sinh (/ 1 (- c))))) into (log1p (expm1 (sinh (/ -1 c)))) 10.523 * [approximate]: Taking taylor expansion of (log1p (expm1 (sinh (/ -1 c)))) in (c) around 0 10.523 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh (/ -1 c)))) in c 10.523 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh (/ -1 c))))) 10.523 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh (/ -1 c)))) in c 10.523 * [taylor]: Taking taylor expansion of 1 in c 10.523 * [backup-simplify]: Simplify 1 into 1 10.523 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in c 10.523 * [taylor]: Rewrote expression to (- (exp (sinh (/ -1 c))) 1) 10.523 * [taylor]: Taking taylor expansion of (exp (sinh (/ -1 c))) in c 10.523 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 10.523 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 10.523 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 10.523 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 10.523 * [taylor]: Taking taylor expansion of (/ -1 c) in c 10.523 * [taylor]: Taking taylor expansion of -1 in c 10.523 * [backup-simplify]: Simplify -1 into -1 10.523 * [taylor]: Taking taylor expansion of c in c 10.523 * [backup-simplify]: Simplify 0 into 0 10.523 * [backup-simplify]: Simplify 1 into 1 10.524 * [backup-simplify]: Simplify (/ -1 1) into -1 10.524 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 10.524 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 10.524 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 10.524 * [taylor]: Taking taylor expansion of (/ -1 c) in c 10.524 * [taylor]: Taking taylor expansion of -1 in c 10.524 * [backup-simplify]: Simplify -1 into -1 10.524 * [taylor]: Taking taylor expansion of c in c 10.524 * [backup-simplify]: Simplify 0 into 0 10.524 * [backup-simplify]: Simplify 1 into 1 10.524 * [backup-simplify]: Simplify (/ -1 1) into -1 10.524 * [backup-simplify]: Simplify (- -1) into 1 10.525 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 10.525 * [taylor]: Taking taylor expansion of 2 in c 10.525 * [backup-simplify]: Simplify 2 into 2 10.525 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 10.525 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 10.525 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 10.525 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 10.525 * [taylor]: Taking taylor expansion of 1 in c 10.525 * [backup-simplify]: Simplify 1 into 1 10.525 * [backup-simplify]: Simplify (- 1) into -1 10.525 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) -1) into (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1) 10.526 * [backup-simplify]: Simplify (+ 1 (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 10.526 * [backup-simplify]: Simplify (log (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 10.526 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh (/ -1 c)))) in c 10.526 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh (/ -1 c))))) 10.526 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh (/ -1 c)))) in c 10.526 * [taylor]: Taking taylor expansion of 1 in c 10.526 * [backup-simplify]: Simplify 1 into 1 10.526 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in c 10.526 * [taylor]: Rewrote expression to (- (exp (sinh (/ -1 c))) 1) 10.526 * [taylor]: Taking taylor expansion of (exp (sinh (/ -1 c))) in c 10.526 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 10.526 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 10.526 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 10.526 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 10.526 * [taylor]: Taking taylor expansion of (/ -1 c) in c 10.526 * [taylor]: Taking taylor expansion of -1 in c 10.526 * [backup-simplify]: Simplify -1 into -1 10.526 * [taylor]: Taking taylor expansion of c in c 10.526 * [backup-simplify]: Simplify 0 into 0 10.526 * [backup-simplify]: Simplify 1 into 1 10.526 * [backup-simplify]: Simplify (/ -1 1) into -1 10.527 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 10.527 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 10.527 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 10.527 * [taylor]: Taking taylor expansion of (/ -1 c) in c 10.527 * [taylor]: Taking taylor expansion of -1 in c 10.527 * [backup-simplify]: Simplify -1 into -1 10.527 * [taylor]: Taking taylor expansion of c in c 10.527 * [backup-simplify]: Simplify 0 into 0 10.527 * [backup-simplify]: Simplify 1 into 1 10.527 * [backup-simplify]: Simplify (/ -1 1) into -1 10.527 * [backup-simplify]: Simplify (- -1) into 1 10.527 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 10.527 * [taylor]: Taking taylor expansion of 2 in c 10.527 * [backup-simplify]: Simplify 2 into 2 10.527 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 10.527 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 10.528 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 10.528 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 10.528 * [taylor]: Taking taylor expansion of 1 in c 10.528 * [backup-simplify]: Simplify 1 into 1 10.528 * [backup-simplify]: Simplify (- 1) into -1 10.528 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) -1) into (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1) 10.528 * [backup-simplify]: Simplify (+ 1 (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 10.528 * [backup-simplify]: Simplify (log (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 10.529 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 10.529 * [backup-simplify]: Simplify (- 0) into 0 10.529 * [backup-simplify]: Simplify (+ 0 0) into 0 10.530 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 10.530 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 1) 1)))) into 0 10.531 * [backup-simplify]: Simplify (- 0) into 0 10.531 * [backup-simplify]: Simplify (+ 0 0) into 0 10.531 * [backup-simplify]: Simplify (+ 0 0) into 0 10.532 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)))) 1) into 0 10.532 * [backup-simplify]: Simplify 0 into 0 10.532 * [backup-simplify]: Simplify (- 0) into 0 10.532 * [backup-simplify]: Simplify (+ 0 0) into 0 10.533 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 10.534 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.534 * [backup-simplify]: Simplify (- 0) into 0 10.535 * [backup-simplify]: Simplify (+ 0 0) into 0 10.535 * [backup-simplify]: Simplify (+ 0 0) into 0 10.536 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)))) 2) into 0 10.536 * [backup-simplify]: Simplify 0 into 0 10.536 * [backup-simplify]: Simplify (- 0) into 0 10.537 * [backup-simplify]: Simplify (+ 0 0) into 0 10.538 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 10.539 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 10.540 * [backup-simplify]: Simplify (- 0) into 0 10.540 * [backup-simplify]: Simplify (+ 0 0) into 0 10.540 * [backup-simplify]: Simplify (+ 0 0) into 0 10.544 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)))) 6) into 0 10.544 * [backup-simplify]: Simplify 0 into 0 10.545 * [backup-simplify]: Simplify (- 0) into 0 10.545 * [backup-simplify]: Simplify (+ 0 0) into 0 10.548 * [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 10.551 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.551 * [backup-simplify]: Simplify (- 0) into 0 10.552 * [backup-simplify]: Simplify (+ 0 0) into 0 10.552 * [backup-simplify]: Simplify (+ 0 0) into 0 10.558 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)))) 24) into 0 10.559 * [backup-simplify]: Simplify 0 into 0 10.559 * [backup-simplify]: Simplify (- 0) into 0 10.559 * [backup-simplify]: Simplify (+ 0 0) into 0 10.562 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 10.567 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 10.567 * [backup-simplify]: Simplify (- 0) into 0 10.568 * [backup-simplify]: Simplify (+ 0 0) into 0 10.568 * [backup-simplify]: Simplify (+ 0 0) into 0 10.577 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)))) 120) into 0 10.578 * [backup-simplify]: Simplify 0 into 0 10.578 * [backup-simplify]: Simplify (- 0) into 0 10.579 * [backup-simplify]: Simplify (+ 0 0) into 0 10.586 * [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 10.592 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.593 * [backup-simplify]: Simplify (- 0) into 0 10.593 * [backup-simplify]: Simplify (+ 0 0) into 0 10.594 * [backup-simplify]: Simplify (+ 0 0) into 0 10.608 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)))) 720) into 0 10.609 * [backup-simplify]: Simplify 0 into 0 10.609 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 10.609 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 10.609 * [backup-simplify]: Simplify (expm1 (sinh c)) into (expm1 (sinh c)) 10.609 * [approximate]: Taking taylor expansion of (expm1 (sinh c)) in (c) around 0 10.609 * [taylor]: Taking taylor expansion of (expm1 (sinh c)) in c 10.609 * [taylor]: Rewrote expression to (- (exp (sinh c)) 1) 10.609 * [taylor]: Taking taylor expansion of (exp (sinh c)) in c 10.609 * [taylor]: Taking taylor expansion of (sinh c) in c 10.610 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 10.610 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 10.610 * [taylor]: Taking taylor expansion of (exp c) in c 10.610 * [taylor]: Taking taylor expansion of c in c 10.610 * [backup-simplify]: Simplify 0 into 0 10.610 * [backup-simplify]: Simplify 1 into 1 10.610 * [backup-simplify]: Simplify (exp 0) into 1 10.610 * [taylor]: Taking taylor expansion of (exp (- c)) in c 10.610 * [taylor]: Taking taylor expansion of (- c) in c 10.610 * [taylor]: Taking taylor expansion of c in c 10.610 * [backup-simplify]: Simplify 0 into 0 10.610 * [backup-simplify]: Simplify 1 into 1 10.610 * [backup-simplify]: Simplify (- 0) into 0 10.611 * [backup-simplify]: Simplify (- 1) into -1 10.611 * [backup-simplify]: Simplify (exp 0) into 1 10.611 * [taylor]: Taking taylor expansion of 2 in c 10.611 * [backup-simplify]: Simplify 2 into 2 10.611 * [backup-simplify]: Simplify (- 1) into -1 10.611 * [backup-simplify]: Simplify (+ 1 -1) into 0 10.613 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 10.613 * [backup-simplify]: Simplify (- 1) into -1 10.614 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 10.614 * [backup-simplify]: Simplify (- -1) into 1 10.615 * [backup-simplify]: Simplify (+ 1 1) into 2 10.615 * [backup-simplify]: Simplify (/ 2 2) into 1 10.615 * [backup-simplify]: Simplify (exp 0) into 1 10.615 * [taylor]: Taking taylor expansion of 1 in c 10.615 * [backup-simplify]: Simplify 1 into 1 10.615 * [taylor]: Taking taylor expansion of (expm1 (sinh c)) in c 10.615 * [taylor]: Rewrote expression to (- (exp (sinh c)) 1) 10.615 * [taylor]: Taking taylor expansion of (exp (sinh c)) in c 10.616 * [taylor]: Taking taylor expansion of (sinh c) in c 10.616 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 10.616 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 10.616 * [taylor]: Taking taylor expansion of (exp c) in c 10.616 * [taylor]: Taking taylor expansion of c in c 10.616 * [backup-simplify]: Simplify 0 into 0 10.616 * [backup-simplify]: Simplify 1 into 1 10.616 * [backup-simplify]: Simplify (exp 0) into 1 10.616 * [taylor]: Taking taylor expansion of (exp (- c)) in c 10.616 * [taylor]: Taking taylor expansion of (- c) in c 10.616 * [taylor]: Taking taylor expansion of c in c 10.616 * [backup-simplify]: Simplify 0 into 0 10.616 * [backup-simplify]: Simplify 1 into 1 10.616 * [backup-simplify]: Simplify (- 0) into 0 10.617 * [backup-simplify]: Simplify (- 1) into -1 10.617 * [backup-simplify]: Simplify (exp 0) into 1 10.617 * [taylor]: Taking taylor expansion of 2 in c 10.617 * [backup-simplify]: Simplify 2 into 2 10.617 * [backup-simplify]: Simplify (- 1) into -1 10.618 * [backup-simplify]: Simplify (+ 1 -1) into 0 10.619 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 10.619 * [backup-simplify]: Simplify (- 1) into -1 10.620 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 10.620 * [backup-simplify]: Simplify (- -1) into 1 10.621 * [backup-simplify]: Simplify (+ 1 1) into 2 10.621 * [backup-simplify]: Simplify (/ 2 2) into 1 10.621 * [backup-simplify]: Simplify (exp 0) into 1 10.621 * [taylor]: Taking taylor expansion of 1 in c 10.621 * [backup-simplify]: Simplify 1 into 1 10.622 * [backup-simplify]: Simplify (- 1) into -1 10.622 * [backup-simplify]: Simplify (+ 1 -1) into 0 10.622 * [backup-simplify]: Simplify 0 into 0 10.623 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 10.624 * [backup-simplify]: Simplify (- 0) into 0 10.624 * [backup-simplify]: Simplify (+ 1 0) into 1 10.624 * [backup-simplify]: Simplify 1 into 1 10.625 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.626 * [backup-simplify]: Simplify (- 1) into -1 10.626 * [backup-simplify]: Simplify (- 0) into 0 10.628 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.628 * [backup-simplify]: Simplify (- 1/2) into -1/2 10.629 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 10.630 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 10.631 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.632 * [backup-simplify]: Simplify (- 0) into 0 10.632 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 10.632 * [backup-simplify]: Simplify 1/2 into 1/2 10.634 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 10.635 * [backup-simplify]: Simplify (- 1) into -1 10.635 * [backup-simplify]: Simplify (- 1) into -1 10.636 * [backup-simplify]: Simplify (- 0) into 0 10.636 * [backup-simplify]: Simplify (- 0) into 0 10.639 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 10.639 * [backup-simplify]: Simplify (- -1/6) into 1/6 10.640 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 10.641 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 10.644 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1/6 1) 1)))) into 1/3 10.644 * [backup-simplify]: Simplify (- 0) into 0 10.645 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 10.645 * [backup-simplify]: Simplify 1/3 into 1/3 10.645 * [backup-simplify]: Simplify (+ (* 1/3 (pow c 3)) (+ (* 1/2 (pow c 2)) (* 1 c))) into (+ (* 1/3 (pow c 3)) (+ (* 1/2 (pow c 2)) c)) 10.646 * [backup-simplify]: Simplify (expm1 (sinh (/ 1 c))) into (expm1 (sinh (/ 1 c))) 10.646 * [approximate]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in (c) around 0 10.646 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in c 10.646 * [taylor]: Rewrote expression to (- (exp (sinh (/ 1 c))) 1) 10.646 * [taylor]: Taking taylor expansion of (exp (sinh (/ 1 c))) in c 10.646 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 10.646 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 10.646 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 10.646 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 10.646 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.646 * [taylor]: Taking taylor expansion of c in c 10.646 * [backup-simplify]: Simplify 0 into 0 10.646 * [backup-simplify]: Simplify 1 into 1 10.646 * [backup-simplify]: Simplify (/ 1 1) into 1 10.647 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 10.647 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 10.647 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 10.647 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.647 * [taylor]: Taking taylor expansion of c in c 10.647 * [backup-simplify]: Simplify 0 into 0 10.647 * [backup-simplify]: Simplify 1 into 1 10.647 * [backup-simplify]: Simplify (/ 1 1) into 1 10.647 * [backup-simplify]: Simplify (- 1) into -1 10.648 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 10.648 * [taylor]: Taking taylor expansion of 2 in c 10.648 * [backup-simplify]: Simplify 2 into 2 10.648 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 10.648 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 10.648 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 10.648 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 10.648 * [taylor]: Taking taylor expansion of 1 in c 10.648 * [backup-simplify]: Simplify 1 into 1 10.648 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in c 10.649 * [taylor]: Rewrote expression to (- (exp (sinh (/ 1 c))) 1) 10.649 * [taylor]: Taking taylor expansion of (exp (sinh (/ 1 c))) in c 10.649 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 10.649 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 10.649 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 10.649 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 10.649 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.649 * [taylor]: Taking taylor expansion of c in c 10.649 * [backup-simplify]: Simplify 0 into 0 10.649 * [backup-simplify]: Simplify 1 into 1 10.649 * [backup-simplify]: Simplify (/ 1 1) into 1 10.649 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 10.650 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 10.650 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 10.650 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.650 * [taylor]: Taking taylor expansion of c in c 10.650 * [backup-simplify]: Simplify 0 into 0 10.650 * [backup-simplify]: Simplify 1 into 1 10.650 * [backup-simplify]: Simplify (/ 1 1) into 1 10.650 * [backup-simplify]: Simplify (- 1) into -1 10.650 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 10.651 * [taylor]: Taking taylor expansion of 2 in c 10.651 * [backup-simplify]: Simplify 2 into 2 10.651 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 10.651 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 10.651 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 10.651 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 10.651 * [taylor]: Taking taylor expansion of 1 in c 10.651 * [backup-simplify]: Simplify 1 into 1 10.652 * [backup-simplify]: Simplify (- 1) into -1 10.652 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) -1) into (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1) 10.652 * [backup-simplify]: Simplify (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1) into (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1) 10.653 * [backup-simplify]: Simplify (- 0) into 0 10.653 * [backup-simplify]: Simplify (+ 0 0) into 0 10.654 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 10.655 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 1) 1)))) into 0 10.656 * [backup-simplify]: Simplify (- 0) into 0 10.656 * [backup-simplify]: Simplify (+ 0 0) into 0 10.656 * [backup-simplify]: Simplify 0 into 0 10.657 * [backup-simplify]: Simplify (- 0) into 0 10.657 * [backup-simplify]: Simplify (+ 0 0) into 0 10.659 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 10.661 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.661 * [backup-simplify]: Simplify (- 0) into 0 10.662 * [backup-simplify]: Simplify (+ 0 0) into 0 10.662 * [backup-simplify]: Simplify 0 into 0 10.662 * [backup-simplify]: Simplify (- 0) into 0 10.662 * [backup-simplify]: Simplify (+ 0 0) into 0 10.665 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 10.666 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 10.667 * [backup-simplify]: Simplify (- 0) into 0 10.667 * [backup-simplify]: Simplify (+ 0 0) into 0 10.667 * [backup-simplify]: Simplify 0 into 0 10.668 * [backup-simplify]: Simplify (- 0) into 0 10.668 * [backup-simplify]: Simplify (+ 0 0) into 0 10.672 * [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 10.675 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.675 * [backup-simplify]: Simplify (- 0) into 0 10.675 * [backup-simplify]: Simplify (+ 0 0) into 0 10.675 * [backup-simplify]: Simplify 0 into 0 10.676 * [backup-simplify]: Simplify (- 0) into 0 10.676 * [backup-simplify]: Simplify (+ 0 0) into 0 10.678 * [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 10.680 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 10.680 * [backup-simplify]: Simplify (- 0) into 0 10.681 * [backup-simplify]: Simplify (+ 0 0) into 0 10.681 * [backup-simplify]: Simplify 0 into 0 10.681 * [backup-simplify]: Simplify (- 0) into 0 10.681 * [backup-simplify]: Simplify (+ 0 0) into 0 10.683 * [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 10.687 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.687 * [backup-simplify]: Simplify (- 0) into 0 10.687 * [backup-simplify]: Simplify (+ 0 0) into 0 10.687 * [backup-simplify]: Simplify 0 into 0 10.687 * [backup-simplify]: Simplify (- (exp (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c))))))) 1) into (- (exp (* 1/2 (- (exp c) (exp (- c))))) 1) 10.688 * [backup-simplify]: Simplify (expm1 (sinh (/ 1 (- c)))) into (expm1 (sinh (/ -1 c))) 10.688 * [approximate]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in (c) around 0 10.688 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in c 10.688 * [taylor]: Rewrote expression to (- (exp (sinh (/ -1 c))) 1) 10.688 * [taylor]: Taking taylor expansion of (exp (sinh (/ -1 c))) in c 10.688 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 10.688 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 10.688 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 10.688 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 10.688 * [taylor]: Taking taylor expansion of (/ -1 c) in c 10.688 * [taylor]: Taking taylor expansion of -1 in c 10.688 * [backup-simplify]: Simplify -1 into -1 10.688 * [taylor]: Taking taylor expansion of c in c 10.688 * [backup-simplify]: Simplify 0 into 0 10.688 * [backup-simplify]: Simplify 1 into 1 10.688 * [backup-simplify]: Simplify (/ -1 1) into -1 10.688 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 10.688 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 10.688 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 10.688 * [taylor]: Taking taylor expansion of (/ -1 c) in c 10.688 * [taylor]: Taking taylor expansion of -1 in c 10.688 * [backup-simplify]: Simplify -1 into -1 10.689 * [taylor]: Taking taylor expansion of c in c 10.689 * [backup-simplify]: Simplify 0 into 0 10.689 * [backup-simplify]: Simplify 1 into 1 10.689 * [backup-simplify]: Simplify (/ -1 1) into -1 10.689 * [backup-simplify]: Simplify (- -1) into 1 10.689 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 10.689 * [taylor]: Taking taylor expansion of 2 in c 10.689 * [backup-simplify]: Simplify 2 into 2 10.689 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 10.689 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 10.689 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 10.690 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 10.690 * [taylor]: Taking taylor expansion of 1 in c 10.690 * [backup-simplify]: Simplify 1 into 1 10.690 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in c 10.690 * [taylor]: Rewrote expression to (- (exp (sinh (/ -1 c))) 1) 10.690 * [taylor]: Taking taylor expansion of (exp (sinh (/ -1 c))) in c 10.690 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 10.690 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 10.690 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 10.690 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 10.690 * [taylor]: Taking taylor expansion of (/ -1 c) in c 10.690 * [taylor]: Taking taylor expansion of -1 in c 10.690 * [backup-simplify]: Simplify -1 into -1 10.690 * [taylor]: Taking taylor expansion of c in c 10.690 * [backup-simplify]: Simplify 0 into 0 10.690 * [backup-simplify]: Simplify 1 into 1 10.690 * [backup-simplify]: Simplify (/ -1 1) into -1 10.690 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 10.690 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 10.690 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 10.690 * [taylor]: Taking taylor expansion of (/ -1 c) in c 10.690 * [taylor]: Taking taylor expansion of -1 in c 10.690 * [backup-simplify]: Simplify -1 into -1 10.690 * [taylor]: Taking taylor expansion of c in c 10.690 * [backup-simplify]: Simplify 0 into 0 10.690 * [backup-simplify]: Simplify 1 into 1 10.691 * [backup-simplify]: Simplify (/ -1 1) into -1 10.691 * [backup-simplify]: Simplify (- -1) into 1 10.691 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 10.691 * [taylor]: Taking taylor expansion of 2 in c 10.691 * [backup-simplify]: Simplify 2 into 2 10.691 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 10.691 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 10.691 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 10.691 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 10.691 * [taylor]: Taking taylor expansion of 1 in c 10.691 * [backup-simplify]: Simplify 1 into 1 10.692 * [backup-simplify]: Simplify (- 1) into -1 10.692 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) -1) into (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1) 10.692 * [backup-simplify]: Simplify (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1) into (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1) 10.692 * [backup-simplify]: Simplify (- 0) into 0 10.693 * [backup-simplify]: Simplify (+ 0 0) into 0 10.693 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 10.694 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 1) 1)))) into 0 10.694 * [backup-simplify]: Simplify (- 0) into 0 10.694 * [backup-simplify]: Simplify (+ 0 0) into 0 10.694 * [backup-simplify]: Simplify 0 into 0 10.694 * [backup-simplify]: Simplify (- 0) into 0 10.695 * [backup-simplify]: Simplify (+ 0 0) into 0 10.696 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 10.696 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.697 * [backup-simplify]: Simplify (- 0) into 0 10.697 * [backup-simplify]: Simplify (+ 0 0) into 0 10.697 * [backup-simplify]: Simplify 0 into 0 10.697 * [backup-simplify]: Simplify (- 0) into 0 10.697 * [backup-simplify]: Simplify (+ 0 0) into 0 10.699 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 10.700 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 10.700 * [backup-simplify]: Simplify (- 0) into 0 10.700 * [backup-simplify]: Simplify (+ 0 0) into 0 10.700 * [backup-simplify]: Simplify 0 into 0 10.701 * [backup-simplify]: Simplify (- 0) into 0 10.701 * [backup-simplify]: Simplify (+ 0 0) into 0 10.702 * [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 10.704 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.704 * [backup-simplify]: Simplify (- 0) into 0 10.704 * [backup-simplify]: Simplify (+ 0 0) into 0 10.704 * [backup-simplify]: Simplify 0 into 0 10.705 * [backup-simplify]: Simplify (- 0) into 0 10.705 * [backup-simplify]: Simplify (+ 0 0) into 0 10.707 * [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 10.709 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 10.709 * [backup-simplify]: Simplify (- 0) into 0 10.709 * [backup-simplify]: Simplify (+ 0 0) into 0 10.709 * [backup-simplify]: Simplify 0 into 0 10.710 * [backup-simplify]: Simplify (- 0) into 0 10.710 * [backup-simplify]: Simplify (+ 0 0) into 0 10.715 * [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 10.718 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.719 * [backup-simplify]: Simplify (- 0) into 0 10.719 * [backup-simplify]: Simplify (+ 0 0) into 0 10.719 * [backup-simplify]: Simplify 0 into 0 10.719 * [backup-simplify]: Simplify (- (exp (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c))))))) 1) into (- (exp (* 1/2 (- (exp c) (exp (* -1 c))))) 1) 10.719 * * * [progress]: simplifying candidates 10.720 * [simplify]: Simplifying: (expm1 (sinh c)) (log1p (sinh c)) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (+ 1 (expm1 (sinh c))) (expm1 (log1p (expm1 (sinh c)))) (log1p (log1p (expm1 (sinh c)))) (log (log1p (expm1 (sinh c)))) (exp (log1p (expm1 (sinh c)))) (* (cbrt (log1p (expm1 (sinh c)))) (cbrt (log1p (expm1 (sinh c))))) (cbrt (log1p (expm1 (sinh c)))) (* (* (log1p (expm1 (sinh c))) (log1p (expm1 (sinh c)))) (log1p (expm1 (sinh c)))) (sqrt (log1p (expm1 (sinh c)))) (sqrt (log1p (expm1 (sinh c)))) (exp (sinh c)) (expm1 (expm1 (sinh c))) (log1p (expm1 (sinh c))) (log (expm1 (sinh c))) (exp (expm1 (sinh c))) (* (cbrt (expm1 (sinh c))) (cbrt (expm1 (sinh c)))) (cbrt (expm1 (sinh c))) (* (* (expm1 (sinh c)) (expm1 (sinh c))) (expm1 (sinh c))) (sqrt (expm1 (sinh c))) (sqrt (expm1 (sinh c))) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) (+ (* 1/3 (pow c 3)) (+ (* 1/2 (pow c 2)) c)) (- (exp (* 1/2 (- (exp c) (exp (- c))))) 1) (- (exp (* 1/2 (- (exp c) (exp (* -1 c))))) 1) 10.721 * * [simplify]: Extracting # 0 : cost 0 10.721 * * [simplify]: Extracting # 1 : cost 0 10.721 * * [simplify]: Extracting # 2 : cost 0 10.721 * * [simplify]: Extracting # 3 : cost 0 10.721 * * [simplify]: Extracting # 4 : cost 0 10.721 * * [simplify]: Extracting # 5 : cost 0 10.722 * * [simplify]: Extracting # 6 : cost 0 10.722 * * [simplify]: Extracting # 7 : cost 0 10.722 * * [simplify]: Extracting # 8 : cost 0 10.722 * * [simplify]: Extracting # 9 : cost 0 10.722 * * [simplify]: Extracting # 10 : cost 0 10.722 * * [simplify]: iteration 0 : 63 enodes (cost 254 ) 10.741 * * [simplify]: Extracting # 0 : cost 0 10.742 * * [simplify]: Extracting # 1 : cost 0 10.742 * * [simplify]: Extracting # 2 : cost 0 10.742 * * [simplify]: Extracting # 3 : cost 0 10.742 * * [simplify]: Extracting # 4 : cost 0 10.742 * * [simplify]: iteration 1 : 113 enodes (cost 215 ) 10.780 * * [simplify]: Extracting # 0 : cost 0 10.780 * * [simplify]: Extracting # 1 : cost 0 10.781 * * [simplify]: Extracting # 2 : cost 0 10.781 * * [simplify]: Extracting # 3 : cost 0 10.782 * * [simplify]: Extracting # 4 : cost 0 10.782 * * [simplify]: iteration 2 : 220 enodes (cost 201 ) 10.881 * * [simplify]: Extracting # 0 : cost 0 10.882 * * [simplify]: Extracting # 1 : cost 0 10.882 * * [simplify]: Extracting # 2 : cost 0 10.882 * * [simplify]: Extracting # 3 : cost 0 10.883 * * [simplify]: Extracting # 4 : cost 0 10.883 * * [simplify]: iteration 3 : 461 enodes (cost 193 ) 11.040 * * [simplify]: Extracting # 0 : cost 0 11.042 * * [simplify]: Extracting # 1 : cost 0 11.044 * * [simplify]: Extracting # 2 : cost 0 11.046 * * [simplify]: Extracting # 3 : cost 0 11.048 * * [simplify]: Extracting # 4 : cost 0 11.050 * * [simplify]: iteration 4 : 979 enodes (cost 187 ) 11.964 * * [simplify]: Extracting # 0 : cost 0 11.972 * * [simplify]: Extracting # 1 : cost 0 11.980 * * [simplify]: Extracting # 2 : cost 0 11.987 * * [simplify]: Extracting # 3 : cost 0 11.995 * * [simplify]: Extracting # 4 : cost 0 12.001 * * [simplify]: iteration 5 : 3393 enodes (cost 163 ) 13.655 * * [simplify]: Extracting # 0 : cost 0 13.663 * * [simplify]: Extracting # 1 : cost 0 13.669 * * [simplify]: Extracting # 2 : cost 0 13.680 * * [simplify]: Extracting # 3 : cost 0 13.686 * * [simplify]: Extracting # 4 : cost 0 13.693 * * [simplify]: iteration done: 5000 enodes (cost 163 ) 13.693 * [simplify]: Simplified to: (expm1 (sinh c)) (log1p (sinh c)) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (+ 1 (expm1 (sinh c))) (expm1 (sinh c)) (log1p (sinh 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)) (exp (sinh c)) (expm1 (expm1 (sinh c))) (sinh c) (log (expm1 (sinh c))) (exp (expm1 (sinh c))) (* (cbrt (expm1 (sinh c))) (cbrt (expm1 (sinh c)))) (cbrt (expm1 (sinh c))) (pow (expm1 (sinh c)) 3) (sqrt (expm1 (sinh c))) (sqrt (expm1 (sinh c))) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (sinh c) (sinh c) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (sinh c) (sinh c) (fma c (* c (fma c 1/3 1/2)) c) (expm1 (sinh c)) (expm1 (sinh c)) 13.694 * * * [progress]: adding candidates to table 13.859 * * [progress]: iteration 3 / 4 13.859 * * * [progress]: picking best candidate 13.870 * * * * [pick]: Picked # 13.871 * * * [progress]: localizing error 13.889 * * * [progress]: generating rewritten candidates 13.889 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 13.893 * * * [progress]: generating series expansions 13.893 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 13.893 * [backup-simplify]: Simplify (sinh c) into (sinh c) 13.893 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 13.893 * [taylor]: Taking taylor expansion of (sinh c) in c 13.893 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 13.893 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 13.894 * [taylor]: Taking taylor expansion of (exp c) in c 13.894 * [taylor]: Taking taylor expansion of c in c 13.894 * [backup-simplify]: Simplify 0 into 0 13.894 * [backup-simplify]: Simplify 1 into 1 13.894 * [backup-simplify]: Simplify (exp 0) into 1 13.894 * [taylor]: Taking taylor expansion of (exp (- c)) in c 13.894 * [taylor]: Taking taylor expansion of (- c) in c 13.894 * [taylor]: Taking taylor expansion of c in c 13.894 * [backup-simplify]: Simplify 0 into 0 13.894 * [backup-simplify]: Simplify 1 into 1 13.894 * [backup-simplify]: Simplify (- 0) into 0 13.895 * [backup-simplify]: Simplify (- 1) into -1 13.895 * [backup-simplify]: Simplify (exp 0) into 1 13.895 * [taylor]: Taking taylor expansion of 2 in c 13.895 * [backup-simplify]: Simplify 2 into 2 13.895 * [backup-simplify]: Simplify (- 1) into -1 13.896 * [backup-simplify]: Simplify (+ 1 -1) into 0 13.897 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 13.897 * [backup-simplify]: Simplify (- 1) into -1 13.898 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 13.899 * [backup-simplify]: Simplify (- -1) into 1 13.899 * [backup-simplify]: Simplify (+ 1 1) into 2 13.900 * [backup-simplify]: Simplify (/ 2 2) into 1 13.900 * [taylor]: Taking taylor expansion of (sinh c) in c 13.900 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 13.900 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 13.900 * [taylor]: Taking taylor expansion of (exp c) in c 13.900 * [taylor]: Taking taylor expansion of c in c 13.900 * [backup-simplify]: Simplify 0 into 0 13.900 * [backup-simplify]: Simplify 1 into 1 13.900 * [backup-simplify]: Simplify (exp 0) into 1 13.900 * [taylor]: Taking taylor expansion of (exp (- c)) in c 13.900 * [taylor]: Taking taylor expansion of (- c) in c 13.900 * [taylor]: Taking taylor expansion of c in c 13.900 * [backup-simplify]: Simplify 0 into 0 13.900 * [backup-simplify]: Simplify 1 into 1 13.900 * [backup-simplify]: Simplify (- 0) into 0 13.901 * [backup-simplify]: Simplify (- 1) into -1 13.901 * [backup-simplify]: Simplify (exp 0) into 1 13.901 * [taylor]: Taking taylor expansion of 2 in c 13.901 * [backup-simplify]: Simplify 2 into 2 13.901 * [backup-simplify]: Simplify (- 1) into -1 13.901 * [backup-simplify]: Simplify (+ 1 -1) into 0 13.902 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 13.902 * [backup-simplify]: Simplify (- 1) into -1 13.903 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 13.903 * [backup-simplify]: Simplify (- -1) into 1 13.903 * [backup-simplify]: Simplify (+ 1 1) into 2 13.903 * [backup-simplify]: Simplify (/ 2 2) into 1 13.903 * [backup-simplify]: Simplify 1 into 1 13.904 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 13.904 * [backup-simplify]: Simplify (- 1) into -1 13.905 * [backup-simplify]: Simplify (- 0) into 0 13.906 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 13.906 * [backup-simplify]: Simplify (- 1/2) into -1/2 13.906 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 13.907 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 13.907 * [backup-simplify]: Simplify 0 into 0 13.908 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 13.908 * [backup-simplify]: Simplify (- 1) into -1 13.908 * [backup-simplify]: Simplify (- 1) into -1 13.909 * [backup-simplify]: Simplify (- 0) into 0 13.909 * [backup-simplify]: Simplify (- 0) into 0 13.910 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 13.911 * [backup-simplify]: Simplify (- -1/6) into 1/6 13.911 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 13.911 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 13.911 * [backup-simplify]: Simplify 1/6 into 1/6 13.914 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 13.914 * [backup-simplify]: Simplify (- 1) into -1 13.914 * [backup-simplify]: Simplify (- 1) into -1 13.915 * [backup-simplify]: Simplify (- 0) into 0 13.915 * [backup-simplify]: Simplify (- 1) into -1 13.915 * [backup-simplify]: Simplify (- 0) into 0 13.915 * [backup-simplify]: Simplify (- 0) into 0 13.916 * [backup-simplify]: Simplify (- 0) into 0 13.918 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 13.918 * [backup-simplify]: Simplify (- 1/24) into -1/24 13.918 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 13.919 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 13.919 * [backup-simplify]: Simplify 0 into 0 13.922 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 13.922 * [backup-simplify]: Simplify (- 1) into -1 13.923 * [backup-simplify]: Simplify (- 1) into -1 13.923 * [backup-simplify]: Simplify (- 0) into 0 13.923 * [backup-simplify]: Simplify (- 1) into -1 13.923 * [backup-simplify]: Simplify (- 0) into 0 13.924 * [backup-simplify]: Simplify (- 1) into -1 13.924 * [backup-simplify]: Simplify (- 0) into 0 13.924 * [backup-simplify]: Simplify (- 1) into -1 13.924 * [backup-simplify]: Simplify (- 0) into 0 13.925 * [backup-simplify]: Simplify (- 0) into 0 13.925 * [backup-simplify]: Simplify (- 0) into 0 13.925 * [backup-simplify]: Simplify (- 0) into 0 13.928 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 13.929 * [backup-simplify]: Simplify (- -1/120) into 1/120 13.929 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 13.931 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 13.931 * [backup-simplify]: Simplify 1/120 into 1/120 13.931 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 13.931 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 13.931 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 13.932 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 13.932 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 13.932 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 13.932 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 13.932 * [taylor]: Taking taylor expansion of (/ 1 c) in c 13.932 * [taylor]: Taking taylor expansion of c in c 13.932 * [backup-simplify]: Simplify 0 into 0 13.932 * [backup-simplify]: Simplify 1 into 1 13.932 * [backup-simplify]: Simplify (/ 1 1) into 1 13.932 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 13.932 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 13.932 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 13.933 * [taylor]: Taking taylor expansion of (/ 1 c) in c 13.933 * [taylor]: Taking taylor expansion of c in c 13.933 * [backup-simplify]: Simplify 0 into 0 13.933 * [backup-simplify]: Simplify 1 into 1 13.933 * [backup-simplify]: Simplify (/ 1 1) into 1 13.933 * [backup-simplify]: Simplify (- 1) into -1 13.933 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 13.934 * [taylor]: Taking taylor expansion of 2 in c 13.934 * [backup-simplify]: Simplify 2 into 2 13.934 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 13.934 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 13.934 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 13.934 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 13.934 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 13.934 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 13.934 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 13.934 * [taylor]: Taking taylor expansion of (/ 1 c) in c 13.934 * [taylor]: Taking taylor expansion of c in c 13.934 * [backup-simplify]: Simplify 0 into 0 13.934 * [backup-simplify]: Simplify 1 into 1 13.935 * [backup-simplify]: Simplify (/ 1 1) into 1 13.935 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 13.935 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 13.935 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 13.935 * [taylor]: Taking taylor expansion of (/ 1 c) in c 13.935 * [taylor]: Taking taylor expansion of c in c 13.935 * [backup-simplify]: Simplify 0 into 0 13.935 * [backup-simplify]: Simplify 1 into 1 13.936 * [backup-simplify]: Simplify (/ 1 1) into 1 13.936 * [backup-simplify]: Simplify (- 1) into -1 13.936 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 13.936 * [taylor]: Taking taylor expansion of 2 in c 13.936 * [backup-simplify]: Simplify 2 into 2 13.936 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 13.936 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 13.937 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 13.937 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 13.937 * [backup-simplify]: Simplify (- 0) into 0 13.938 * [backup-simplify]: Simplify (+ 0 0) into 0 13.939 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 13.939 * [backup-simplify]: Simplify 0 into 0 13.939 * [backup-simplify]: Simplify (- 0) into 0 13.940 * [backup-simplify]: Simplify (+ 0 0) into 0 13.941 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.941 * [backup-simplify]: Simplify 0 into 0 13.942 * [backup-simplify]: Simplify (- 0) into 0 13.942 * [backup-simplify]: Simplify (+ 0 0) into 0 13.944 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.944 * [backup-simplify]: Simplify 0 into 0 13.944 * [backup-simplify]: Simplify (- 0) into 0 13.945 * [backup-simplify]: Simplify (+ 0 0) into 0 13.946 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.946 * [backup-simplify]: Simplify 0 into 0 13.946 * [backup-simplify]: Simplify (- 0) into 0 13.947 * [backup-simplify]: Simplify (+ 0 0) into 0 13.948 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.948 * [backup-simplify]: Simplify 0 into 0 13.949 * [backup-simplify]: Simplify (- 0) into 0 13.949 * [backup-simplify]: Simplify (+ 0 0) into 0 13.951 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.951 * [backup-simplify]: Simplify 0 into 0 13.951 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 13.951 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 13.952 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 13.952 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 13.952 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 13.952 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 13.952 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 13.952 * [taylor]: Taking taylor expansion of (/ -1 c) in c 13.952 * [taylor]: Taking taylor expansion of -1 in c 13.952 * [backup-simplify]: Simplify -1 into -1 13.952 * [taylor]: Taking taylor expansion of c in c 13.952 * [backup-simplify]: Simplify 0 into 0 13.952 * [backup-simplify]: Simplify 1 into 1 13.952 * [backup-simplify]: Simplify (/ -1 1) into -1 13.952 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 13.952 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 13.952 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 13.952 * [taylor]: Taking taylor expansion of (/ -1 c) in c 13.952 * [taylor]: Taking taylor expansion of -1 in c 13.952 * [backup-simplify]: Simplify -1 into -1 13.952 * [taylor]: Taking taylor expansion of c in c 13.952 * [backup-simplify]: Simplify 0 into 0 13.952 * [backup-simplify]: Simplify 1 into 1 13.953 * [backup-simplify]: Simplify (/ -1 1) into -1 13.953 * [backup-simplify]: Simplify (- -1) into 1 13.953 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 13.953 * [taylor]: Taking taylor expansion of 2 in c 13.953 * [backup-simplify]: Simplify 2 into 2 13.953 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 13.953 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 13.953 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 13.953 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 13.954 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 13.954 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 13.954 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 13.954 * [taylor]: Taking taylor expansion of (/ -1 c) in c 13.954 * [taylor]: Taking taylor expansion of -1 in c 13.954 * [backup-simplify]: Simplify -1 into -1 13.954 * [taylor]: Taking taylor expansion of c in c 13.954 * [backup-simplify]: Simplify 0 into 0 13.954 * [backup-simplify]: Simplify 1 into 1 13.954 * [backup-simplify]: Simplify (/ -1 1) into -1 13.954 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 13.954 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 13.954 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 13.954 * [taylor]: Taking taylor expansion of (/ -1 c) in c 13.954 * [taylor]: Taking taylor expansion of -1 in c 13.954 * [backup-simplify]: Simplify -1 into -1 13.954 * [taylor]: Taking taylor expansion of c in c 13.954 * [backup-simplify]: Simplify 0 into 0 13.954 * [backup-simplify]: Simplify 1 into 1 13.954 * [backup-simplify]: Simplify (/ -1 1) into -1 13.955 * [backup-simplify]: Simplify (- -1) into 1 13.955 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 13.955 * [taylor]: Taking taylor expansion of 2 in c 13.955 * [backup-simplify]: Simplify 2 into 2 13.955 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 13.955 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 13.955 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 13.955 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 13.955 * [backup-simplify]: Simplify (- 0) into 0 13.956 * [backup-simplify]: Simplify (+ 0 0) into 0 13.956 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 13.956 * [backup-simplify]: Simplify 0 into 0 13.957 * [backup-simplify]: Simplify (- 0) into 0 13.957 * [backup-simplify]: Simplify (+ 0 0) into 0 13.958 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.958 * [backup-simplify]: Simplify 0 into 0 13.958 * [backup-simplify]: Simplify (- 0) into 0 13.958 * [backup-simplify]: Simplify (+ 0 0) into 0 13.959 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.959 * [backup-simplify]: Simplify 0 into 0 13.960 * [backup-simplify]: Simplify (- 0) into 0 13.960 * [backup-simplify]: Simplify (+ 0 0) into 0 13.967 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.967 * [backup-simplify]: Simplify 0 into 0 13.967 * [backup-simplify]: Simplify (- 0) into 0 13.968 * [backup-simplify]: Simplify (+ 0 0) into 0 13.971 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.971 * [backup-simplify]: Simplify 0 into 0 13.972 * [backup-simplify]: Simplify (- 0) into 0 13.973 * [backup-simplify]: Simplify (+ 0 0) into 0 13.976 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.976 * [backup-simplify]: Simplify 0 into 0 13.976 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 13.976 * * * [progress]: simplifying candidates 13.977 * [simplify]: Simplifying: (expm1 (sinh c)) (log1p (sinh c)) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) 13.977 * * [simplify]: Extracting # 0 : cost 0 13.978 * * [simplify]: Extracting # 1 : cost 0 13.978 * * [simplify]: Extracting # 2 : cost 0 13.978 * * [simplify]: Extracting # 3 : cost 0 13.978 * * [simplify]: Extracting # 4 : cost 0 13.978 * * [simplify]: Extracting # 5 : cost 0 13.978 * * [simplify]: Extracting # 6 : cost 0 13.978 * * [simplify]: Extracting # 7 : cost 0 13.978 * * [simplify]: Extracting # 8 : cost 0 13.978 * * [simplify]: iteration 0 : 32 enodes (cost 72 ) 13.990 * * [simplify]: Extracting # 0 : cost 0 13.990 * * [simplify]: Extracting # 1 : cost 0 13.991 * * [simplify]: Extracting # 2 : cost 0 13.991 * * [simplify]: Extracting # 3 : cost 0 13.991 * * [simplify]: Extracting # 4 : cost 0 13.991 * * [simplify]: iteration 1 : 62 enodes (cost 69 ) 14.017 * * [simplify]: Extracting # 0 : cost 0 14.017 * * [simplify]: Extracting # 1 : cost 0 14.017 * * [simplify]: Extracting # 2 : cost 0 14.018 * * [simplify]: Extracting # 3 : cost 0 14.018 * * [simplify]: iteration 2 : 133 enodes (cost 65 ) 14.078 * * [simplify]: Extracting # 0 : cost 0 14.079 * * [simplify]: Extracting # 1 : cost 0 14.079 * * [simplify]: Extracting # 2 : cost 0 14.080 * * [simplify]: Extracting # 3 : cost 0 14.080 * * [simplify]: iteration 3 : 289 enodes (cost 65 ) 14.168 * * [simplify]: Extracting # 0 : cost 0 14.170 * * [simplify]: Extracting # 1 : cost 0 14.171 * * [simplify]: Extracting # 2 : cost 0 14.177 * * [simplify]: Extracting # 3 : cost 0 14.178 * * [simplify]: Extracting # 4 : cost 0 14.180 * * [simplify]: iteration 4 : 679 enodes (cost 65 ) 14.645 * * [simplify]: Extracting # 0 : cost 0 14.652 * * [simplify]: Extracting # 1 : cost 0 14.657 * * [simplify]: Extracting # 2 : cost 0 14.663 * * [simplify]: Extracting # 3 : cost 0 14.668 * * [simplify]: Extracting # 4 : cost 0 14.673 * * [simplify]: iteration 5 : 2680 enodes (cost 65 ) 16.600 * * [simplify]: Extracting # 0 : cost 0 16.605 * * [simplify]: Extracting # 1 : cost 0 16.611 * * [simplify]: Extracting # 2 : cost 0 16.617 * * [simplify]: Extracting # 3 : cost 0 16.622 * * [simplify]: Extracting # 4 : cost 0 16.630 * * [simplify]: iteration done: 5000 enodes (cost 65 ) 16.631 * [simplify]: Simplified to: (expm1 (sinh c)) (log1p (sinh c)) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (- c)))) 16.631 * * * [progress]: adding candidates to table 16.676 * * [progress]: iteration 4 / 4 16.676 * * * [progress]: picking best candidate 16.683 * * * * [pick]: Picked # 16.683 * * * [progress]: localizing error 16.703 * * * [progress]: generating rewritten candidates 16.703 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 16.704 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 16.704 * * * [progress]: generating series expansions 16.704 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 16.705 * [backup-simplify]: Simplify (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) into (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) 16.705 * [approximate]: Taking taylor expansion of (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) in (c) around 0 16.705 * [taylor]: Taking taylor expansion of (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) in c 16.705 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) 16.705 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) in c 16.705 * [taylor]: Taking taylor expansion of 1 in c 16.705 * [backup-simplify]: Simplify 1 into 1 16.705 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in c 16.705 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 1) 16.705 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in c 16.705 * [taylor]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in c 16.705 * [taylor]: Rewrote expression to (+ (* 1/6 (pow c 3)) (fma 1/120 (pow c 5) c)) 16.705 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 16.705 * [taylor]: Taking taylor expansion of 1/6 in c 16.705 * [backup-simplify]: Simplify 1/6 into 1/6 16.705 * [taylor]: Taking taylor expansion of (pow c 3) in c 16.705 * [taylor]: Taking taylor expansion of c in c 16.705 * [backup-simplify]: Simplify 0 into 0 16.705 * [backup-simplify]: Simplify 1 into 1 16.706 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c 16.706 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c) 16.706 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 16.706 * [taylor]: Taking taylor expansion of 1/120 in c 16.706 * [backup-simplify]: Simplify 1/120 into 1/120 16.706 * [taylor]: Taking taylor expansion of (pow c 5) in c 16.706 * [taylor]: Taking taylor expansion of c in c 16.706 * [backup-simplify]: Simplify 0 into 0 16.706 * [backup-simplify]: Simplify 1 into 1 16.706 * [taylor]: Taking taylor expansion of c in c 16.706 * [backup-simplify]: Simplify 0 into 0 16.706 * [backup-simplify]: Simplify 1 into 1 16.706 * [backup-simplify]: Simplify (+ 0 0) into 0 16.707 * [backup-simplify]: Simplify (+ 0 0) into 0 16.707 * [backup-simplify]: Simplify (+ 0 1) into 1 16.707 * [backup-simplify]: Simplify (+ 0 1) into 1 16.707 * [backup-simplify]: Simplify (exp 0) into 1 16.707 * [taylor]: Taking taylor expansion of 1 in c 16.707 * [backup-simplify]: Simplify 1 into 1 16.708 * [backup-simplify]: Simplify (- 1) into -1 16.708 * [backup-simplify]: Simplify (+ 1 -1) into 0 16.708 * [backup-simplify]: Simplify (+ 1 0) into 1 16.708 * [backup-simplify]: Simplify (log 1) into 0 16.708 * [taylor]: Taking taylor expansion of (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) in c 16.709 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) 16.709 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) in c 16.709 * [taylor]: Taking taylor expansion of 1 in c 16.709 * [backup-simplify]: Simplify 1 into 1 16.709 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in c 16.709 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 1) 16.709 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in c 16.709 * [taylor]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in c 16.709 * [taylor]: Rewrote expression to (+ (* 1/6 (pow c 3)) (fma 1/120 (pow c 5) c)) 16.709 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 16.709 * [taylor]: Taking taylor expansion of 1/6 in c 16.709 * [backup-simplify]: Simplify 1/6 into 1/6 16.709 * [taylor]: Taking taylor expansion of (pow c 3) in c 16.709 * [taylor]: Taking taylor expansion of c in c 16.709 * [backup-simplify]: Simplify 0 into 0 16.709 * [backup-simplify]: Simplify 1 into 1 16.709 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c 16.709 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c) 16.709 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 16.709 * [taylor]: Taking taylor expansion of 1/120 in c 16.709 * [backup-simplify]: Simplify 1/120 into 1/120 16.709 * [taylor]: Taking taylor expansion of (pow c 5) in c 16.709 * [taylor]: Taking taylor expansion of c in c 16.709 * [backup-simplify]: Simplify 0 into 0 16.709 * [backup-simplify]: Simplify 1 into 1 16.709 * [taylor]: Taking taylor expansion of c in c 16.709 * [backup-simplify]: Simplify 0 into 0 16.709 * [backup-simplify]: Simplify 1 into 1 16.709 * [backup-simplify]: Simplify (+ 0 0) into 0 16.710 * [backup-simplify]: Simplify (+ 0 0) into 0 16.710 * [backup-simplify]: Simplify (+ 0 1) into 1 16.710 * [backup-simplify]: Simplify (+ 0 1) into 1 16.710 * [backup-simplify]: Simplify (exp 0) into 1 16.710 * [taylor]: Taking taylor expansion of 1 in c 16.710 * [backup-simplify]: Simplify 1 into 1 16.710 * [backup-simplify]: Simplify (- 1) into -1 16.711 * [backup-simplify]: Simplify (+ 1 -1) into 0 16.711 * [backup-simplify]: Simplify (+ 1 0) into 1 16.711 * [backup-simplify]: Simplify (log 1) into 0 16.711 * [backup-simplify]: Simplify 0 into 0 16.712 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 16.712 * [backup-simplify]: Simplify (- 0) into 0 16.713 * [backup-simplify]: Simplify (+ 1 0) into 1 16.713 * [backup-simplify]: Simplify (+ 0 1) into 1 16.714 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 16.714 * [backup-simplify]: Simplify 1 into 1 16.715 * [backup-simplify]: Simplify (+ 0 0) into 0 16.715 * [backup-simplify]: Simplify (+ 0 0) into 0 16.717 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 16.717 * [backup-simplify]: Simplify (- 0) into 0 16.717 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 16.718 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 16.721 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 16.721 * [backup-simplify]: Simplify 0 into 0 16.722 * [backup-simplify]: Simplify (* 1 1) into 1 16.722 * [backup-simplify]: Simplify (* 1 1) into 1 16.723 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 16.723 * [backup-simplify]: Simplify (+ 0 0) into 0 16.723 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 16.726 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1/6 1) 1)))) into 1/3 16.727 * [backup-simplify]: Simplify (- 0) into 0 16.727 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 16.728 * [backup-simplify]: Simplify (+ 0 1/3) into 1/3 16.743 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 1/2) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/3) 1)) (pow 1 1)))) 6) into 1/6 16.743 * [backup-simplify]: Simplify 1/6 into 1/6 16.744 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 16.744 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 16.745 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 16.745 * [backup-simplify]: Simplify (+ 0 0) into 0 16.746 * [backup-simplify]: Simplify (+ 0 0) into 0 16.751 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 1/6 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 5/24 16.752 * [backup-simplify]: Simplify (- 0) into 0 16.752 * [backup-simplify]: Simplify (+ 5/24 0) into 5/24 16.753 * [backup-simplify]: Simplify (+ 0 5/24) into 5/24 16.764 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 1) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 1) 2) (pow (* 2 1/2) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 1/2) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 1) 1) 1 (pow (* 6 1/3) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 5/24) 1)) (pow 1 1)))) 24) into 0 16.764 * [backup-simplify]: Simplify 0 into 0 16.765 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 16.766 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 16.767 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 16.768 * [backup-simplify]: Simplify (* 1 1) into 1 16.768 * [backup-simplify]: Simplify (* 1 1) into 1 16.768 * [backup-simplify]: Simplify (* 1 1) into 1 16.769 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 16.769 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 16.769 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 16.775 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 1/6 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 1/6 1) 1)) (* (/ (pow 1/120 1) 1)))) into 1/10 16.775 * [backup-simplify]: Simplify (- 0) into 0 16.775 * [backup-simplify]: Simplify (+ 1/10 0) into 1/10 16.776 * [backup-simplify]: Simplify (+ 0 1/10) into 1/10 16.786 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 1) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 1) 3) (pow (* 2 1/2) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 1) 1) (pow (* 2 1/2) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 1) 2) 1 (pow (* 6 1/3) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 1/2) 1) (pow (* 6 1/3) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 1) 1) 1 1 (pow (* 24 5/24) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 1/10) 1)) (pow 1 1)))) 120) into 1/120 16.786 * [backup-simplify]: Simplify 1/120 into 1/120 16.786 * [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)) 16.786 * [backup-simplify]: Simplify (log1p (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))))) into (log1p (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))))) 16.786 * [approximate]: Taking taylor expansion of (log1p (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))))) in (c) around 0 16.786 * [taylor]: Taking taylor expansion of (log1p (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))))) in c 16.786 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))))) 16.786 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))))) in c 16.787 * [taylor]: Taking taylor expansion of 1 in c 16.787 * [backup-simplify]: Simplify 1 into 1 16.787 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in c 16.787 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1) 16.787 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in c 16.787 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c 16.787 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 c) 3)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 16.787 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 c) 3)) in c 16.787 * [taylor]: Taking taylor expansion of 1/6 in c 16.787 * [backup-simplify]: Simplify 1/6 into 1/6 16.787 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 3) in c 16.787 * [taylor]: Taking taylor expansion of (/ 1 c) in c 16.787 * [taylor]: Taking taylor expansion of c in c 16.787 * [backup-simplify]: Simplify 0 into 0 16.787 * [backup-simplify]: Simplify 1 into 1 16.787 * [backup-simplify]: Simplify (/ 1 1) into 1 16.787 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c 16.787 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) 16.787 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c 16.787 * [taylor]: Taking taylor expansion of 1/120 in c 16.787 * [backup-simplify]: Simplify 1/120 into 1/120 16.787 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c 16.787 * [taylor]: Taking taylor expansion of (/ 1 c) in c 16.787 * [taylor]: Taking taylor expansion of c in c 16.787 * [backup-simplify]: Simplify 0 into 0 16.787 * [backup-simplify]: Simplify 1 into 1 16.788 * [backup-simplify]: Simplify (/ 1 1) into 1 16.788 * [taylor]: Taking taylor expansion of (/ 1 c) in c 16.788 * [taylor]: Taking taylor expansion of c in c 16.788 * [backup-simplify]: Simplify 0 into 0 16.788 * [backup-simplify]: Simplify 1 into 1 16.788 * [backup-simplify]: Simplify (/ 1 1) into 1 16.788 * [backup-simplify]: Simplify (* 1 1) into 1 16.789 * [backup-simplify]: Simplify (* 1 1) into 1 16.789 * [backup-simplify]: Simplify (* 1 1) into 1 16.789 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 16.789 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 16.789 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 16.790 * [backup-simplify]: Simplify (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) into (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 16.790 * [taylor]: Taking taylor expansion of 1 in c 16.790 * [backup-simplify]: Simplify 1 into 1 16.790 * [backup-simplify]: Simplify (- 1) into -1 16.790 * [backup-simplify]: Simplify (+ (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) -1) into (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1) 16.791 * [backup-simplify]: Simplify (+ 1 (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1)) into (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 16.791 * [backup-simplify]: Simplify (log (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))))) into (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 16.791 * [taylor]: Taking taylor expansion of (log1p (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))))) in c 16.791 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))))) 16.791 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))))) in c 16.791 * [taylor]: Taking taylor expansion of 1 in c 16.791 * [backup-simplify]: Simplify 1 into 1 16.791 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in c 16.791 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1) 16.791 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in c 16.791 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c 16.791 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 c) 3)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 16.791 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 c) 3)) in c 16.791 * [taylor]: Taking taylor expansion of 1/6 in c 16.791 * [backup-simplify]: Simplify 1/6 into 1/6 16.791 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 3) in c 16.791 * [taylor]: Taking taylor expansion of (/ 1 c) in c 16.791 * [taylor]: Taking taylor expansion of c in c 16.791 * [backup-simplify]: Simplify 0 into 0 16.791 * [backup-simplify]: Simplify 1 into 1 16.792 * [backup-simplify]: Simplify (/ 1 1) into 1 16.792 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c 16.792 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) 16.792 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c 16.792 * [taylor]: Taking taylor expansion of 1/120 in c 16.792 * [backup-simplify]: Simplify 1/120 into 1/120 16.792 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c 16.792 * [taylor]: Taking taylor expansion of (/ 1 c) in c 16.792 * [taylor]: Taking taylor expansion of c in c 16.792 * [backup-simplify]: Simplify 0 into 0 16.792 * [backup-simplify]: Simplify 1 into 1 16.792 * [backup-simplify]: Simplify (/ 1 1) into 1 16.792 * [taylor]: Taking taylor expansion of (/ 1 c) in c 16.792 * [taylor]: Taking taylor expansion of c in c 16.792 * [backup-simplify]: Simplify 0 into 0 16.792 * [backup-simplify]: Simplify 1 into 1 16.792 * [backup-simplify]: Simplify (/ 1 1) into 1 16.793 * [backup-simplify]: Simplify (* 1 1) into 1 16.793 * [backup-simplify]: Simplify (* 1 1) into 1 16.793 * [backup-simplify]: Simplify (* 1 1) into 1 16.793 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 16.794 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 16.794 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 16.794 * [backup-simplify]: Simplify (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) into (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 16.794 * [taylor]: Taking taylor expansion of 1 in c 16.794 * [backup-simplify]: Simplify 1 into 1 16.794 * [backup-simplify]: Simplify (- 1) into -1 16.795 * [backup-simplify]: Simplify (+ (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) -1) into (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1) 16.795 * [backup-simplify]: Simplify (+ 1 (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1)) into (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 16.795 * [backup-simplify]: Simplify (log (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))))) into (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 16.795 * [backup-simplify]: Simplify (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) into (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 16.796 * [backup-simplify]: Simplify (- 0) into 0 16.796 * [backup-simplify]: Simplify (+ 0 0) into 0 16.796 * [backup-simplify]: Simplify (+ 0 0) into 0 16.797 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1)))) 1) into 0 16.797 * [backup-simplify]: Simplify 0 into 0 16.797 * [backup-simplify]: Simplify (- 0) into 0 16.797 * [backup-simplify]: Simplify (+ 0 0) into 0 16.798 * [backup-simplify]: Simplify (+ 0 0) into 0 16.799 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1)))) 2) into 0 16.799 * [backup-simplify]: Simplify 0 into 0 16.799 * [backup-simplify]: Simplify (- 0) into 0 16.800 * [backup-simplify]: Simplify (+ 0 0) into 0 16.800 * [backup-simplify]: Simplify (+ 0 0) into 0 16.804 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1)))) 6) into 0 16.804 * [backup-simplify]: Simplify 0 into 0 16.804 * [backup-simplify]: Simplify (- 0) into 0 16.805 * [backup-simplify]: Simplify (+ 0 0) into 0 16.805 * [backup-simplify]: Simplify (+ 0 0) into 0 16.812 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1)))) 24) into 0 16.812 * [backup-simplify]: Simplify 0 into 0 16.813 * [backup-simplify]: Simplify (- 0) into 0 16.813 * [backup-simplify]: Simplify (+ 0 0) into 0 16.813 * [backup-simplify]: Simplify (+ 0 0) into 0 16.824 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1)))) 120) into 0 16.824 * [backup-simplify]: Simplify 0 into 0 16.825 * [backup-simplify]: Simplify (- 0) into 0 16.825 * [backup-simplify]: Simplify (+ 0 0) into 0 16.826 * [backup-simplify]: Simplify (+ 0 0) into 0 16.842 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1)))) 720) into 0 16.842 * [backup-simplify]: Simplify 0 into 0 16.842 * [backup-simplify]: Simplify (fma 1/6 (pow (/ 1 (/ 1 c)) 3) (fma 1/120 (pow (/ 1 (/ 1 c)) 5) (/ 1 (/ 1 c)))) into (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) 16.843 * [backup-simplify]: Simplify (log1p (expm1 (fma 1/6 (pow (/ 1 (- c)) 3) (fma 1/120 (pow (/ 1 (- c)) 5) (/ 1 (- c)))))) into (log1p (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))))) 16.843 * [approximate]: Taking taylor expansion of (log1p (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))))) in (c) around 0 16.843 * [taylor]: Taking taylor expansion of (log1p (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))))) in c 16.843 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))))) 16.843 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))))) in c 16.843 * [taylor]: Taking taylor expansion of 1 in c 16.843 * [backup-simplify]: Simplify 1 into 1 16.843 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in c 16.843 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1) 16.843 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in c 16.843 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c 16.844 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 c) 3)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 16.844 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 c) 3)) in c 16.844 * [taylor]: Taking taylor expansion of 1/6 in c 16.844 * [backup-simplify]: Simplify 1/6 into 1/6 16.844 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 3) in c 16.844 * [taylor]: Taking taylor expansion of (/ -1 c) in c 16.844 * [taylor]: Taking taylor expansion of -1 in c 16.844 * [backup-simplify]: Simplify -1 into -1 16.844 * [taylor]: Taking taylor expansion of c in c 16.844 * [backup-simplify]: Simplify 0 into 0 16.844 * [backup-simplify]: Simplify 1 into 1 16.844 * [backup-simplify]: Simplify (/ -1 1) into -1 16.844 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c 16.845 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c)) 16.845 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c 16.845 * [taylor]: Taking taylor expansion of 1/120 in c 16.845 * [backup-simplify]: Simplify 1/120 into 1/120 16.845 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c 16.845 * [taylor]: Taking taylor expansion of (/ -1 c) in c 16.845 * [taylor]: Taking taylor expansion of -1 in c 16.845 * [backup-simplify]: Simplify -1 into -1 16.845 * [taylor]: Taking taylor expansion of c in c 16.845 * [backup-simplify]: Simplify 0 into 0 16.845 * [backup-simplify]: Simplify 1 into 1 16.845 * [backup-simplify]: Simplify (/ -1 1) into -1 16.845 * [taylor]: Taking taylor expansion of (/ -1 c) in c 16.845 * [taylor]: Taking taylor expansion of -1 in c 16.845 * [backup-simplify]: Simplify -1 into -1 16.845 * [taylor]: Taking taylor expansion of c in c 16.845 * [backup-simplify]: Simplify 0 into 0 16.845 * [backup-simplify]: Simplify 1 into 1 16.846 * [backup-simplify]: Simplify (/ -1 1) into -1 16.846 * [backup-simplify]: Simplify (* -1 -1) into 1 16.846 * [backup-simplify]: Simplify (* 1 1) into 1 16.847 * [backup-simplify]: Simplify (* -1 1) into -1 16.847 * [backup-simplify]: Simplify (* 1/120 -1) into -1/120 16.848 * [backup-simplify]: Simplify (+ -1/120 0) into -1/120 16.848 * [backup-simplify]: Simplify (+ 0 -1/120) into -1/120 16.848 * [backup-simplify]: Simplify (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) into (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 16.849 * [taylor]: Taking taylor expansion of 1 in c 16.849 * [backup-simplify]: Simplify 1 into 1 16.849 * [backup-simplify]: Simplify (- 1) into -1 16.849 * [backup-simplify]: Simplify (+ (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) -1) into (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1) 16.850 * [backup-simplify]: Simplify (+ 1 (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1)) into (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 16.850 * [backup-simplify]: Simplify (log (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))))) into (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 16.850 * [taylor]: Taking taylor expansion of (log1p (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))))) in c 16.850 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))))) 16.850 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))))) in c 16.850 * [taylor]: Taking taylor expansion of 1 in c 16.850 * [backup-simplify]: Simplify 1 into 1 16.850 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in c 16.851 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1) 16.851 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in c 16.851 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c 16.851 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 c) 3)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 16.851 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 c) 3)) in c 16.851 * [taylor]: Taking taylor expansion of 1/6 in c 16.851 * [backup-simplify]: Simplify 1/6 into 1/6 16.851 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 3) in c 16.851 * [taylor]: Taking taylor expansion of (/ -1 c) in c 16.851 * [taylor]: Taking taylor expansion of -1 in c 16.851 * [backup-simplify]: Simplify -1 into -1 16.851 * [taylor]: Taking taylor expansion of c in c 16.851 * [backup-simplify]: Simplify 0 into 0 16.851 * [backup-simplify]: Simplify 1 into 1 16.852 * [backup-simplify]: Simplify (/ -1 1) into -1 16.852 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c 16.852 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c)) 16.852 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c 16.852 * [taylor]: Taking taylor expansion of 1/120 in c 16.852 * [backup-simplify]: Simplify 1/120 into 1/120 16.852 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c 16.852 * [taylor]: Taking taylor expansion of (/ -1 c) in c 16.852 * [taylor]: Taking taylor expansion of -1 in c 16.852 * [backup-simplify]: Simplify -1 into -1 16.852 * [taylor]: Taking taylor expansion of c in c 16.852 * [backup-simplify]: Simplify 0 into 0 16.852 * [backup-simplify]: Simplify 1 into 1 16.853 * [backup-simplify]: Simplify (/ -1 1) into -1 16.853 * [taylor]: Taking taylor expansion of (/ -1 c) in c 16.853 * [taylor]: Taking taylor expansion of -1 in c 16.853 * [backup-simplify]: Simplify -1 into -1 16.853 * [taylor]: Taking taylor expansion of c in c 16.853 * [backup-simplify]: Simplify 0 into 0 16.853 * [backup-simplify]: Simplify 1 into 1 16.853 * [backup-simplify]: Simplify (/ -1 1) into -1 16.853 * [backup-simplify]: Simplify (* -1 -1) into 1 16.854 * [backup-simplify]: Simplify (* 1 1) into 1 16.854 * [backup-simplify]: Simplify (* -1 1) into -1 16.855 * [backup-simplify]: Simplify (* 1/120 -1) into -1/120 16.855 * [backup-simplify]: Simplify (+ -1/120 0) into -1/120 16.856 * [backup-simplify]: Simplify (+ 0 -1/120) into -1/120 16.856 * [backup-simplify]: Simplify (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) into (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 16.856 * [taylor]: Taking taylor expansion of 1 in c 16.856 * [backup-simplify]: Simplify 1 into 1 16.856 * [backup-simplify]: Simplify (- 1) into -1 16.857 * [backup-simplify]: Simplify (+ (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) -1) into (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1) 16.857 * [backup-simplify]: Simplify (+ 1 (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1)) into (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 16.858 * [backup-simplify]: Simplify (log (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))))) into (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 16.858 * [backup-simplify]: Simplify (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) into (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 16.858 * [backup-simplify]: Simplify (- 0) into 0 16.859 * [backup-simplify]: Simplify (+ 0 0) into 0 16.859 * [backup-simplify]: Simplify (+ 0 0) into 0 16.860 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1)))) 1) into 0 16.860 * [backup-simplify]: Simplify 0 into 0 16.861 * [backup-simplify]: Simplify (- 0) into 0 16.861 * [backup-simplify]: Simplify (+ 0 0) into 0 16.861 * [backup-simplify]: Simplify (+ 0 0) into 0 16.864 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1)))) 2) into 0 16.864 * [backup-simplify]: Simplify 0 into 0 16.864 * [backup-simplify]: Simplify (- 0) into 0 16.865 * [backup-simplify]: Simplify (+ 0 0) into 0 16.865 * [backup-simplify]: Simplify (+ 0 0) into 0 16.868 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1)))) 6) into 0 16.869 * [backup-simplify]: Simplify 0 into 0 16.869 * [backup-simplify]: Simplify (- 0) into 0 16.869 * [backup-simplify]: Simplify (+ 0 0) into 0 16.869 * [backup-simplify]: Simplify (+ 0 0) into 0 16.877 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1)))) 24) into 0 16.877 * [backup-simplify]: Simplify 0 into 0 16.877 * [backup-simplify]: Simplify (- 0) into 0 16.877 * [backup-simplify]: Simplify (+ 0 0) into 0 16.877 * [backup-simplify]: Simplify (+ 0 0) into 0 16.883 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1)))) 120) into 0 16.883 * [backup-simplify]: Simplify 0 into 0 16.884 * [backup-simplify]: Simplify (- 0) into 0 16.884 * [backup-simplify]: Simplify (+ 0 0) into 0 16.884 * [backup-simplify]: Simplify (+ 0 0) into 0 16.893 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1)))) 720) into 0 16.893 * [backup-simplify]: Simplify 0 into 0 16.894 * [backup-simplify]: Simplify (fma 1/6 (pow (/ -1 (/ 1 (- c))) 3) (fma 1/120 (pow (/ -1 (/ 1 (- c))) 5) (/ -1 (/ 1 (- c))))) into (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) 16.894 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 16.894 * [backup-simplify]: Simplify (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) into (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 16.894 * [approximate]: Taking taylor expansion of (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in (c) around 0 16.894 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in c 16.894 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 1) 16.894 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in c 16.894 * [taylor]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in c 16.894 * [taylor]: Rewrote expression to (+ (* 1/6 (pow c 3)) (fma 1/120 (pow c 5) c)) 16.894 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 16.894 * [taylor]: Taking taylor expansion of 1/6 in c 16.894 * [backup-simplify]: Simplify 1/6 into 1/6 16.894 * [taylor]: Taking taylor expansion of (pow c 3) in c 16.894 * [taylor]: Taking taylor expansion of c in c 16.894 * [backup-simplify]: Simplify 0 into 0 16.894 * [backup-simplify]: Simplify 1 into 1 16.894 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c 16.894 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c) 16.895 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 16.895 * [taylor]: Taking taylor expansion of 1/120 in c 16.895 * [backup-simplify]: Simplify 1/120 into 1/120 16.895 * [taylor]: Taking taylor expansion of (pow c 5) in c 16.895 * [taylor]: Taking taylor expansion of c in c 16.895 * [backup-simplify]: Simplify 0 into 0 16.895 * [backup-simplify]: Simplify 1 into 1 16.895 * [taylor]: Taking taylor expansion of c in c 16.895 * [backup-simplify]: Simplify 0 into 0 16.895 * [backup-simplify]: Simplify 1 into 1 16.895 * [backup-simplify]: Simplify (+ 0 0) into 0 16.895 * [backup-simplify]: Simplify (+ 0 0) into 0 16.895 * [backup-simplify]: Simplify (+ 0 1) into 1 16.896 * [backup-simplify]: Simplify (+ 0 1) into 1 16.896 * [backup-simplify]: Simplify (exp 0) into 1 16.896 * [taylor]: Taking taylor expansion of 1 in c 16.896 * [backup-simplify]: Simplify 1 into 1 16.896 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in c 16.896 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 1) 16.896 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in c 16.896 * [taylor]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in c 16.896 * [taylor]: Rewrote expression to (+ (* 1/6 (pow c 3)) (fma 1/120 (pow c 5) c)) 16.896 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 16.896 * [taylor]: Taking taylor expansion of 1/6 in c 16.896 * [backup-simplify]: Simplify 1/6 into 1/6 16.896 * [taylor]: Taking taylor expansion of (pow c 3) in c 16.896 * [taylor]: Taking taylor expansion of c in c 16.896 * [backup-simplify]: Simplify 0 into 0 16.896 * [backup-simplify]: Simplify 1 into 1 16.896 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c 16.896 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c) 16.896 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 16.896 * [taylor]: Taking taylor expansion of 1/120 in c 16.896 * [backup-simplify]: Simplify 1/120 into 1/120 16.896 * [taylor]: Taking taylor expansion of (pow c 5) in c 16.897 * [taylor]: Taking taylor expansion of c in c 16.897 * [backup-simplify]: Simplify 0 into 0 16.897 * [backup-simplify]: Simplify 1 into 1 16.897 * [taylor]: Taking taylor expansion of c in c 16.897 * [backup-simplify]: Simplify 0 into 0 16.897 * [backup-simplify]: Simplify 1 into 1 16.897 * [backup-simplify]: Simplify (+ 0 0) into 0 16.897 * [backup-simplify]: Simplify (+ 0 0) into 0 16.898 * [backup-simplify]: Simplify (+ 0 1) into 1 16.898 * [backup-simplify]: Simplify (+ 0 1) into 1 16.898 * [backup-simplify]: Simplify (exp 0) into 1 16.898 * [taylor]: Taking taylor expansion of 1 in c 16.898 * [backup-simplify]: Simplify 1 into 1 16.899 * [backup-simplify]: Simplify (- 1) into -1 16.899 * [backup-simplify]: Simplify (+ 1 -1) into 0 16.899 * [backup-simplify]: Simplify 0 into 0 16.900 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 16.900 * [backup-simplify]: Simplify (- 0) into 0 16.901 * [backup-simplify]: Simplify (+ 1 0) into 1 16.901 * [backup-simplify]: Simplify 1 into 1 16.901 * [backup-simplify]: Simplify (+ 0 0) into 0 16.902 * [backup-simplify]: Simplify (+ 0 0) into 0 16.903 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 16.904 * [backup-simplify]: Simplify (- 0) into 0 16.904 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 16.904 * [backup-simplify]: Simplify 1/2 into 1/2 16.905 * [backup-simplify]: Simplify (* 1 1) into 1 16.905 * [backup-simplify]: Simplify (* 1 1) into 1 16.905 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 16.906 * [backup-simplify]: Simplify (+ 0 0) into 0 16.906 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 16.909 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1/6 1) 1)))) into 1/3 16.909 * [backup-simplify]: Simplify (- 0) into 0 16.910 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 16.910 * [backup-simplify]: Simplify 1/3 into 1/3 16.910 * [backup-simplify]: Simplify (+ (* 1/3 (pow c 3)) (+ (* 1/2 (pow c 2)) (* 1 c))) into (+ (* 1/3 (pow c 3)) (+ (* 1/2 (pow c 2)) c)) 16.911 * [backup-simplify]: Simplify (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) into (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 16.911 * [approximate]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in (c) around 0 16.911 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in c 16.911 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1) 16.911 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in c 16.911 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c 16.911 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 c) 3)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 16.911 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 c) 3)) in c 16.911 * [taylor]: Taking taylor expansion of 1/6 in c 16.911 * [backup-simplify]: Simplify 1/6 into 1/6 16.911 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 3) in c 16.912 * [taylor]: Taking taylor expansion of (/ 1 c) in c 16.912 * [taylor]: Taking taylor expansion of c in c 16.912 * [backup-simplify]: Simplify 0 into 0 16.912 * [backup-simplify]: Simplify 1 into 1 16.912 * [backup-simplify]: Simplify (/ 1 1) into 1 16.912 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c 16.912 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) 16.912 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c 16.912 * [taylor]: Taking taylor expansion of 1/120 in c 16.912 * [backup-simplify]: Simplify 1/120 into 1/120 16.912 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c 16.912 * [taylor]: Taking taylor expansion of (/ 1 c) in c 16.912 * [taylor]: Taking taylor expansion of c in c 16.912 * [backup-simplify]: Simplify 0 into 0 16.913 * [backup-simplify]: Simplify 1 into 1 16.913 * [backup-simplify]: Simplify (/ 1 1) into 1 16.913 * [taylor]: Taking taylor expansion of (/ 1 c) in c 16.913 * [taylor]: Taking taylor expansion of c in c 16.913 * [backup-simplify]: Simplify 0 into 0 16.913 * [backup-simplify]: Simplify 1 into 1 16.913 * [backup-simplify]: Simplify (/ 1 1) into 1 16.914 * [backup-simplify]: Simplify (* 1 1) into 1 16.914 * [backup-simplify]: Simplify (* 1 1) into 1 16.914 * [backup-simplify]: Simplify (* 1 1) into 1 16.915 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 16.915 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 16.916 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 16.916 * [backup-simplify]: Simplify (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) into (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 16.916 * [taylor]: Taking taylor expansion of 1 in c 16.916 * [backup-simplify]: Simplify 1 into 1 16.916 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in c 16.916 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1) 16.916 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in c 16.916 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c 16.916 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 c) 3)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 16.917 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 c) 3)) in c 16.917 * [taylor]: Taking taylor expansion of 1/6 in c 16.917 * [backup-simplify]: Simplify 1/6 into 1/6 16.917 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 3) in c 16.917 * [taylor]: Taking taylor expansion of (/ 1 c) in c 16.917 * [taylor]: Taking taylor expansion of c in c 16.917 * [backup-simplify]: Simplify 0 into 0 16.917 * [backup-simplify]: Simplify 1 into 1 16.917 * [backup-simplify]: Simplify (/ 1 1) into 1 16.917 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c 16.917 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) 16.917 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c 16.917 * [taylor]: Taking taylor expansion of 1/120 in c 16.917 * [backup-simplify]: Simplify 1/120 into 1/120 16.917 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c 16.917 * [taylor]: Taking taylor expansion of (/ 1 c) in c 16.918 * [taylor]: Taking taylor expansion of c in c 16.918 * [backup-simplify]: Simplify 0 into 0 16.918 * [backup-simplify]: Simplify 1 into 1 16.918 * [backup-simplify]: Simplify (/ 1 1) into 1 16.918 * [taylor]: Taking taylor expansion of (/ 1 c) in c 16.918 * [taylor]: Taking taylor expansion of c in c 16.918 * [backup-simplify]: Simplify 0 into 0 16.918 * [backup-simplify]: Simplify 1 into 1 16.918 * [backup-simplify]: Simplify (/ 1 1) into 1 16.919 * [backup-simplify]: Simplify (* 1 1) into 1 16.919 * [backup-simplify]: Simplify (* 1 1) into 1 16.919 * [backup-simplify]: Simplify (* 1 1) into 1 16.920 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 16.920 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 16.921 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 16.921 * [backup-simplify]: Simplify (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) into (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 16.921 * [taylor]: Taking taylor expansion of 1 in c 16.921 * [backup-simplify]: Simplify 1 into 1 16.922 * [backup-simplify]: Simplify (- 1) into -1 16.922 * [backup-simplify]: Simplify (+ (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) -1) into (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1) 16.923 * [backup-simplify]: Simplify (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1) into (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1) 16.923 * [backup-simplify]: Simplify (- 0) into 0 16.923 * [backup-simplify]: Simplify (+ 0 0) into 0 16.923 * [backup-simplify]: Simplify 0 into 0 16.924 * [backup-simplify]: Simplify (- 0) into 0 16.924 * [backup-simplify]: Simplify (+ 0 0) into 0 16.924 * [backup-simplify]: Simplify 0 into 0 16.924 * [backup-simplify]: Simplify (- 0) into 0 16.925 * [backup-simplify]: Simplify (+ 0 0) into 0 16.925 * [backup-simplify]: Simplify 0 into 0 16.925 * [backup-simplify]: Simplify (- 0) into 0 16.926 * [backup-simplify]: Simplify (+ 0 0) into 0 16.926 * [backup-simplify]: Simplify 0 into 0 16.926 * [backup-simplify]: Simplify (- 0) into 0 16.926 * [backup-simplify]: Simplify (+ 0 0) into 0 16.926 * [backup-simplify]: Simplify 0 into 0 16.927 * [backup-simplify]: Simplify (- 0) into 0 16.927 * [backup-simplify]: Simplify (+ 0 0) into 0 16.927 * [backup-simplify]: Simplify 0 into 0 16.928 * [backup-simplify]: Simplify (- (exp (fma 1/6 (pow (/ 1 (/ 1 c)) 3) (fma 1/120 (pow (/ 1 (/ 1 c)) 5) (/ 1 (/ 1 c))))) 1) into (- (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 1) 16.928 * [backup-simplify]: Simplify (expm1 (fma 1/6 (pow (/ 1 (- c)) 3) (fma 1/120 (pow (/ 1 (- c)) 5) (/ 1 (- c))))) into (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 16.928 * [approximate]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in (c) around 0 16.928 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in c 16.928 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1) 16.928 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in c 16.928 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c 16.928 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 c) 3)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 16.928 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 c) 3)) in c 16.928 * [taylor]: Taking taylor expansion of 1/6 in c 16.928 * [backup-simplify]: Simplify 1/6 into 1/6 16.928 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 3) in c 16.928 * [taylor]: Taking taylor expansion of (/ -1 c) in c 16.928 * [taylor]: Taking taylor expansion of -1 in c 16.929 * [backup-simplify]: Simplify -1 into -1 16.929 * [taylor]: Taking taylor expansion of c in c 16.929 * [backup-simplify]: Simplify 0 into 0 16.929 * [backup-simplify]: Simplify 1 into 1 16.929 * [backup-simplify]: Simplify (/ -1 1) into -1 16.929 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c 16.929 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c)) 16.929 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c 16.929 * [taylor]: Taking taylor expansion of 1/120 in c 16.929 * [backup-simplify]: Simplify 1/120 into 1/120 16.929 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c 16.929 * [taylor]: Taking taylor expansion of (/ -1 c) in c 16.929 * [taylor]: Taking taylor expansion of -1 in c 16.929 * [backup-simplify]: Simplify -1 into -1 16.929 * [taylor]: Taking taylor expansion of c in c 16.929 * [backup-simplify]: Simplify 0 into 0 16.929 * [backup-simplify]: Simplify 1 into 1 16.930 * [backup-simplify]: Simplify (/ -1 1) into -1 16.930 * [taylor]: Taking taylor expansion of (/ -1 c) in c 16.930 * [taylor]: Taking taylor expansion of -1 in c 16.930 * [backup-simplify]: Simplify -1 into -1 16.930 * [taylor]: Taking taylor expansion of c in c 16.930 * [backup-simplify]: Simplify 0 into 0 16.930 * [backup-simplify]: Simplify 1 into 1 16.930 * [backup-simplify]: Simplify (/ -1 1) into -1 16.931 * [backup-simplify]: Simplify (* -1 -1) into 1 16.931 * [backup-simplify]: Simplify (* 1 1) into 1 16.932 * [backup-simplify]: Simplify (* -1 1) into -1 16.932 * [backup-simplify]: Simplify (* 1/120 -1) into -1/120 16.933 * [backup-simplify]: Simplify (+ -1/120 0) into -1/120 16.933 * [backup-simplify]: Simplify (+ 0 -1/120) into -1/120 16.933 * [backup-simplify]: Simplify (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) into (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 16.933 * [taylor]: Taking taylor expansion of 1 in c 16.934 * [backup-simplify]: Simplify 1 into 1 16.934 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in c 16.934 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1) 16.934 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in c 16.934 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c 16.934 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 c) 3)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 16.934 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 c) 3)) in c 16.934 * [taylor]: Taking taylor expansion of 1/6 in c 16.934 * [backup-simplify]: Simplify 1/6 into 1/6 16.934 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 3) in c 16.934 * [taylor]: Taking taylor expansion of (/ -1 c) in c 16.934 * [taylor]: Taking taylor expansion of -1 in c 16.934 * [backup-simplify]: Simplify -1 into -1 16.934 * [taylor]: Taking taylor expansion of c in c 16.934 * [backup-simplify]: Simplify 0 into 0 16.934 * [backup-simplify]: Simplify 1 into 1 16.935 * [backup-simplify]: Simplify (/ -1 1) into -1 16.935 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c 16.935 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c)) 16.935 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c 16.935 * [taylor]: Taking taylor expansion of 1/120 in c 16.935 * [backup-simplify]: Simplify 1/120 into 1/120 16.935 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c 16.935 * [taylor]: Taking taylor expansion of (/ -1 c) in c 16.935 * [taylor]: Taking taylor expansion of -1 in c 16.935 * [backup-simplify]: Simplify -1 into -1 16.935 * [taylor]: Taking taylor expansion of c in c 16.935 * [backup-simplify]: Simplify 0 into 0 16.935 * [backup-simplify]: Simplify 1 into 1 16.935 * [backup-simplify]: Simplify (/ -1 1) into -1 16.936 * [taylor]: Taking taylor expansion of (/ -1 c) in c 16.936 * [taylor]: Taking taylor expansion of -1 in c 16.936 * [backup-simplify]: Simplify -1 into -1 16.936 * [taylor]: Taking taylor expansion of c in c 16.936 * [backup-simplify]: Simplify 0 into 0 16.936 * [backup-simplify]: Simplify 1 into 1 16.936 * [backup-simplify]: Simplify (/ -1 1) into -1 16.936 * [backup-simplify]: Simplify (* -1 -1) into 1 16.937 * [backup-simplify]: Simplify (* 1 1) into 1 16.937 * [backup-simplify]: Simplify (* -1 1) into -1 16.938 * [backup-simplify]: Simplify (* 1/120 -1) into -1/120 16.938 * [backup-simplify]: Simplify (+ -1/120 0) into -1/120 16.938 * [backup-simplify]: Simplify (+ 0 -1/120) into -1/120 16.939 * [backup-simplify]: Simplify (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) into (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 16.939 * [taylor]: Taking taylor expansion of 1 in c 16.939 * [backup-simplify]: Simplify 1 into 1 16.939 * [backup-simplify]: Simplify (- 1) into -1 16.940 * [backup-simplify]: Simplify (+ (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) -1) into (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1) 16.940 * [backup-simplify]: Simplify (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1) into (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1) 16.941 * [backup-simplify]: Simplify (- 0) into 0 16.941 * [backup-simplify]: Simplify (+ 0 0) into 0 16.941 * [backup-simplify]: Simplify 0 into 0 16.941 * [backup-simplify]: Simplify (- 0) into 0 16.942 * [backup-simplify]: Simplify (+ 0 0) into 0 16.942 * [backup-simplify]: Simplify 0 into 0 16.942 * [backup-simplify]: Simplify (- 0) into 0 16.943 * [backup-simplify]: Simplify (+ 0 0) into 0 16.943 * [backup-simplify]: Simplify 0 into 0 16.943 * [backup-simplify]: Simplify (- 0) into 0 16.943 * [backup-simplify]: Simplify (+ 0 0) into 0 16.943 * [backup-simplify]: Simplify 0 into 0 16.944 * [backup-simplify]: Simplify (- 0) into 0 16.944 * [backup-simplify]: Simplify (+ 0 0) into 0 16.944 * [backup-simplify]: Simplify 0 into 0 16.944 * [backup-simplify]: Simplify (- 0) into 0 16.945 * [backup-simplify]: Simplify (+ 0 0) into 0 16.945 * [backup-simplify]: Simplify 0 into 0 16.945 * [backup-simplify]: Simplify (- (exp (fma 1/6 (pow (/ -1 (/ 1 (- c))) 3) (fma 1/120 (pow (/ -1 (/ 1 (- c))) 5) (/ -1 (/ 1 (- c)))))) 1) into (- (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 1) 16.945 * * * [progress]: simplifying candidates 16.946 * [simplify]: Simplifying: (+ 1 (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (expm1 (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) (log1p (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) (log (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) (exp (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) (* (cbrt (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) (cbrt (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))))) (cbrt (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) (* (* (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) (sqrt (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) (sqrt (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (expm1 (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (log (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (exp (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (* (cbrt (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (cbrt (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) (cbrt (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (* (* (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (sqrt (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (sqrt (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (+ (* 1/3 (pow c 3)) (+ (* 1/2 (pow c 2)) c)) (- (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 1) (- (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 1) 16.947 * * [simplify]: Extracting # 0 : cost 0 16.948 * * [simplify]: Extracting # 1 : cost 0 16.948 * * [simplify]: Extracting # 2 : cost 0 16.948 * * [simplify]: Extracting # 3 : cost 0 16.948 * * [simplify]: Extracting # 4 : cost 0 16.948 * * [simplify]: Extracting # 5 : cost 0 16.948 * * [simplify]: Extracting # 6 : cost 0 16.948 * * [simplify]: Extracting # 7 : cost 0 16.948 * * [simplify]: iteration 0 : 44 enodes (cost 426 ) 16.965 * * [simplify]: Extracting # 0 : cost 0 16.965 * * [simplify]: Extracting # 1 : cost 0 16.965 * * [simplify]: Extracting # 2 : cost 0 16.965 * * [simplify]: Extracting # 3 : cost 0 16.965 * * [simplify]: Extracting # 4 : cost 0 16.965 * * [simplify]: iteration 1 : 80 enodes (cost 392 ) 16.988 * * [simplify]: Extracting # 0 : cost 0 16.988 * * [simplify]: Extracting # 1 : cost 0 16.989 * * [simplify]: Extracting # 2 : cost 0 16.989 * * [simplify]: Extracting # 3 : cost 0 16.989 * * [simplify]: Extracting # 4 : cost 0 16.989 * * [simplify]: iteration 2 : 214 enodes (cost 346 ) 17.123 * * [simplify]: Extracting # 0 : cost 0 17.125 * * [simplify]: Extracting # 1 : cost 0 17.127 * * [simplify]: Extracting # 2 : cost 0 17.128 * * [simplify]: Extracting # 3 : cost 0 17.130 * * [simplify]: Extracting # 4 : cost 0 17.131 * * [simplify]: iteration 3 : 835 enodes (cost 344 ) 18.792 * * [simplify]: Extracting # 0 : cost 0 18.798 * * [simplify]: Extracting # 1 : cost 0 18.802 * * [simplify]: Extracting # 2 : cost 0 18.806 * * [simplify]: Extracting # 3 : cost 0 18.810 * * [simplify]: Extracting # 4 : cost 0 18.815 * * [simplify]: iteration 4 : 4895 enodes (cost 342 ) 21.301 * * [simplify]: Extracting # 0 : cost 0 21.310 * * [simplify]: Extracting # 1 : cost 0 21.319 * * [simplify]: iteration done: 5000 enodes (cost 342 ) 21.320 * [simplify]: Simplified to: (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (log1p (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (log (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (* (cbrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (cbrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (cbrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (pow (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) 3) (sqrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (sqrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (expm1 (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (log (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (exp (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (* (cbrt (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (cbrt (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) (cbrt (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (pow (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 3) (sqrt (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (sqrt (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (fma (pow c 2) (fma 1/3 c 1/2) c) (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 21.320 * * * [progress]: adding candidates to table 21.441 * [progress]: [Phase 3 of 3] Extracting. 21.442 * * [regime]: Finding splitpoints for: (# # #) 21.445 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c) 21.446 * * * * [regimes]: Trying to branch on (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) from (# # #) 21.506 * * * * [regimes]: Trying to branch on c from (# # #) 21.536 * * * [regime]: Found split indices: #