0.624 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.412 * * * [progress]: [2/2] Setting up program. 0.417 * [progress]: [Phase 2 of 3] Improving. 0.420 * [simplify]: Simplifying: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 0.421 * * [simplify]: Extracting # 0 : cost 0 0.421 * * [simplify]: Extracting # 1 : cost 0 0.421 * * [simplify]: Extracting # 2 : cost 0 0.421 * * [simplify]: Extracting # 3 : cost 0 0.421 * * [simplify]: Extracting # 4 : cost 0 0.421 * * [simplify]: Extracting # 5 : cost 0 0.421 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.427 * * [simplify]: Extracting # 0 : cost 0 0.427 * * [simplify]: Extracting # 1 : cost 0 0.427 * * [simplify]: Extracting # 2 : cost 0 0.427 * * [simplify]: Extracting # 3 : cost 0 0.427 * * [simplify]: Extracting # 4 : cost 0 0.427 * * [simplify]: Extracting # 5 : cost 0 0.427 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 0.431 * * [simplify]: Extracting # 0 : cost 0 0.431 * * [simplify]: Extracting # 1 : cost 0 0.431 * * [simplify]: Extracting # 2 : cost 0 0.431 * * [simplify]: Extracting # 3 : cost 0 0.431 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 0.439 * * [simplify]: Extracting # 0 : cost 0 0.439 * * [simplify]: Extracting # 1 : cost 0 0.439 * * [simplify]: Extracting # 2 : cost 0 0.439 * * [simplify]: Extracting # 3 : cost 0 0.439 * * [simplify]: Extracting # 4 : cost 0 0.439 * * [simplify]: iteration 3 : 71 enodes (cost 8 ) 0.460 * * [simplify]: Extracting # 0 : cost 0 0.461 * * [simplify]: Extracting # 1 : cost 0 0.461 * * [simplify]: Extracting # 2 : cost 0 0.461 * * [simplify]: Extracting # 3 : cost 0 0.461 * * [simplify]: Extracting # 4 : cost 0 0.461 * * [simplify]: iteration 4 : 154 enodes (cost 8 ) 0.590 * * [simplify]: Extracting # 0 : cost 0 0.591 * * [simplify]: Extracting # 1 : cost 0 0.592 * * [simplify]: Extracting # 2 : cost 0 0.593 * * [simplify]: Extracting # 3 : cost 0 0.594 * * [simplify]: Extracting # 4 : cost 0 0.595 * * [simplify]: iteration 5 : 673 enodes (cost 8 ) 1.504 * * [simplify]: Extracting # 0 : cost 0 1.517 * * [simplify]: Extracting # 1 : cost 0 1.522 * * [simplify]: Extracting # 2 : cost 0 1.527 * * [simplify]: Extracting # 3 : cost 0 1.536 * * [simplify]: Extracting # 4 : cost 0 1.541 * * [simplify]: iteration done: 5000 enodes (cost 8 ) 1.541 * [simplify]: Simplified to: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 1.543 * * [progress]: iteration 1 / 4 1.543 * * * [progress]: picking best candidate 1.546 * * * * [pick]: Picked # 1.546 * * * [progress]: localizing error 1.565 * * * [progress]: generating rewritten candidates 1.565 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 1.572 * * * [progress]: generating series expansions 1.572 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 1.577 * [backup-simplify]: Simplify (sinh c) into (sinh c) 1.577 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 1.578 * [taylor]: Taking taylor expansion of (sinh c) in c 1.581 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1.581 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1.581 * [taylor]: Taking taylor expansion of (exp c) in c 1.581 * [taylor]: Taking taylor expansion of c in c 1.581 * [backup-simplify]: Simplify 0 into 0 1.581 * [backup-simplify]: Simplify 1 into 1 1.582 * [backup-simplify]: Simplify (exp 0) into 1 1.582 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.582 * [taylor]: Taking taylor expansion of (- c) in c 1.582 * [taylor]: Taking taylor expansion of c in c 1.582 * [backup-simplify]: Simplify 0 into 0 1.582 * [backup-simplify]: Simplify 1 into 1 1.582 * [backup-simplify]: Simplify (- 0) into 0 1.583 * [backup-simplify]: Simplify (- 1) into -1 1.583 * [backup-simplify]: Simplify (exp 0) into 1 1.583 * [taylor]: Taking taylor expansion of 2 in c 1.583 * [backup-simplify]: Simplify 2 into 2 1.584 * [backup-simplify]: Simplify (- 1) into -1 1.585 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.586 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.587 * [backup-simplify]: Simplify (- 1) into -1 1.588 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1.588 * [backup-simplify]: Simplify (- -1) into 1 1.589 * [backup-simplify]: Simplify (+ 1 1) into 2 1.589 * [backup-simplify]: Simplify (/ 2 2) into 1 1.589 * [taylor]: Taking taylor expansion of (sinh c) in c 1.589 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1.590 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1.590 * [taylor]: Taking taylor expansion of (exp c) in c 1.590 * [taylor]: Taking taylor expansion of c in c 1.590 * [backup-simplify]: Simplify 0 into 0 1.590 * [backup-simplify]: Simplify 1 into 1 1.590 * [backup-simplify]: Simplify (exp 0) into 1 1.590 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.590 * [taylor]: Taking taylor expansion of (- c) in c 1.590 * [taylor]: Taking taylor expansion of c in c 1.590 * [backup-simplify]: Simplify 0 into 0 1.590 * [backup-simplify]: Simplify 1 into 1 1.590 * [backup-simplify]: Simplify (- 0) into 0 1.591 * [backup-simplify]: Simplify (- 1) into -1 1.591 * [backup-simplify]: Simplify (exp 0) into 1 1.591 * [taylor]: Taking taylor expansion of 2 in c 1.591 * [backup-simplify]: Simplify 2 into 2 1.591 * [backup-simplify]: Simplify (- 1) into -1 1.591 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.593 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.593 * [backup-simplify]: Simplify (- 1) into -1 1.594 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1.594 * [backup-simplify]: Simplify (- -1) into 1 1.595 * [backup-simplify]: Simplify (+ 1 1) into 2 1.595 * [backup-simplify]: Simplify (/ 2 2) into 1 1.596 * [backup-simplify]: Simplify 1 into 1 1.598 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.598 * [backup-simplify]: Simplify (- 1) into -1 1.599 * [backup-simplify]: Simplify (- 0) into 0 1.600 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.601 * [backup-simplify]: Simplify (- 1/2) into -1/2 1.601 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1.602 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1.602 * [backup-simplify]: Simplify 0 into 0 1.605 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1.605 * [backup-simplify]: Simplify (- 1) into -1 1.605 * [backup-simplify]: Simplify (- 1) into -1 1.606 * [backup-simplify]: Simplify (- 0) into 0 1.606 * [backup-simplify]: Simplify (- 0) into 0 1.609 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1.609 * [backup-simplify]: Simplify (- -1/6) into 1/6 1.610 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1.611 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1.611 * [backup-simplify]: Simplify 1/6 into 1/6 1.615 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1.616 * [backup-simplify]: Simplify (- 1) into -1 1.616 * [backup-simplify]: Simplify (- 1) into -1 1.617 * [backup-simplify]: Simplify (- 0) into 0 1.617 * [backup-simplify]: Simplify (- 1) into -1 1.617 * [backup-simplify]: Simplify (- 0) into 0 1.618 * [backup-simplify]: Simplify (- 0) into 0 1.618 * [backup-simplify]: Simplify (- 0) into 0 1.622 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1.623 * [backup-simplify]: Simplify (- 1/24) into -1/24 1.623 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 1.624 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1.624 * [backup-simplify]: Simplify 0 into 0 1.631 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 1.631 * [backup-simplify]: Simplify (- 1) into -1 1.632 * [backup-simplify]: Simplify (- 1) into -1 1.632 * [backup-simplify]: Simplify (- 0) into 0 1.633 * [backup-simplify]: Simplify (- 1) into -1 1.633 * [backup-simplify]: Simplify (- 0) into 0 1.633 * [backup-simplify]: Simplify (- 1) into -1 1.634 * [backup-simplify]: Simplify (- 0) into 0 1.634 * [backup-simplify]: Simplify (- 1) into -1 1.635 * [backup-simplify]: Simplify (- 0) into 0 1.635 * [backup-simplify]: Simplify (- 0) into 0 1.635 * [backup-simplify]: Simplify (- 0) into 0 1.636 * [backup-simplify]: Simplify (- 0) into 0 1.643 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 1.643 * [backup-simplify]: Simplify (- -1/120) into 1/120 1.644 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 1.658 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1.658 * [backup-simplify]: Simplify 1/120 into 1/120 1.667 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1.667 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 1.667 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1.667 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1.667 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.667 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.667 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.667 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.667 * [taylor]: Taking taylor expansion of c in c 1.667 * [backup-simplify]: Simplify 0 into 0 1.667 * [backup-simplify]: Simplify 1 into 1 1.668 * [backup-simplify]: Simplify (/ 1 1) into 1 1.669 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.669 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.669 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.669 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.669 * [taylor]: Taking taylor expansion of c in c 1.669 * [backup-simplify]: Simplify 0 into 0 1.669 * [backup-simplify]: Simplify 1 into 1 1.669 * [backup-simplify]: Simplify (/ 1 1) into 1 1.670 * [backup-simplify]: Simplify (- 1) into -1 1.670 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.670 * [taylor]: Taking taylor expansion of 2 in c 1.670 * [backup-simplify]: Simplify 2 into 2 1.670 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1.670 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1.671 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.671 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1.671 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.671 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.671 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.671 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.671 * [taylor]: Taking taylor expansion of c in c 1.671 * [backup-simplify]: Simplify 0 into 0 1.671 * [backup-simplify]: Simplify 1 into 1 1.671 * [backup-simplify]: Simplify (/ 1 1) into 1 1.671 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1.671 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.672 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.672 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.672 * [taylor]: Taking taylor expansion of c in c 1.672 * [backup-simplify]: Simplify 0 into 0 1.672 * [backup-simplify]: Simplify 1 into 1 1.672 * [backup-simplify]: Simplify (/ 1 1) into 1 1.672 * [backup-simplify]: Simplify (- 1) into -1 1.673 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1.673 * [taylor]: Taking taylor expansion of 2 in c 1.673 * [backup-simplify]: Simplify 2 into 2 1.673 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1.673 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1.673 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.673 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1.674 * [backup-simplify]: Simplify (- 0) into 0 1.674 * [backup-simplify]: Simplify (+ 0 0) into 0 1.675 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1.675 * [backup-simplify]: Simplify 0 into 0 1.676 * [backup-simplify]: Simplify (- 0) into 0 1.676 * [backup-simplify]: Simplify (+ 0 0) into 0 1.678 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.678 * [backup-simplify]: Simplify 0 into 0 1.678 * [backup-simplify]: Simplify (- 0) into 0 1.678 * [backup-simplify]: Simplify (+ 0 0) into 0 1.681 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.681 * [backup-simplify]: Simplify 0 into 0 1.681 * [backup-simplify]: Simplify (- 0) into 0 1.682 * [backup-simplify]: Simplify (+ 0 0) into 0 1.684 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.684 * [backup-simplify]: Simplify 0 into 0 1.685 * [backup-simplify]: Simplify (- 0) into 0 1.685 * [backup-simplify]: Simplify (+ 0 0) into 0 1.688 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.688 * [backup-simplify]: Simplify 0 into 0 1.689 * [backup-simplify]: Simplify (- 0) into 0 1.689 * [backup-simplify]: Simplify (+ 0 0) into 0 1.693 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.693 * [backup-simplify]: Simplify 0 into 0 1.693 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1.693 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 1.693 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1.693 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1.693 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.693 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.694 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.694 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.694 * [taylor]: Taking taylor expansion of -1 in c 1.694 * [backup-simplify]: Simplify -1 into -1 1.694 * [taylor]: Taking taylor expansion of c in c 1.694 * [backup-simplify]: Simplify 0 into 0 1.694 * [backup-simplify]: Simplify 1 into 1 1.694 * [backup-simplify]: Simplify (/ -1 1) into -1 1.694 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.694 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.694 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.694 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.694 * [taylor]: Taking taylor expansion of -1 in c 1.694 * [backup-simplify]: Simplify -1 into -1 1.694 * [taylor]: Taking taylor expansion of c in c 1.694 * [backup-simplify]: Simplify 0 into 0 1.695 * [backup-simplify]: Simplify 1 into 1 1.695 * [backup-simplify]: Simplify (/ -1 1) into -1 1.695 * [backup-simplify]: Simplify (- -1) into 1 1.695 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.695 * [taylor]: Taking taylor expansion of 2 in c 1.696 * [backup-simplify]: Simplify 2 into 2 1.696 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1.696 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1.696 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.696 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1.696 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.696 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.696 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.696 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.696 * [taylor]: Taking taylor expansion of -1 in c 1.696 * [backup-simplify]: Simplify -1 into -1 1.696 * [taylor]: Taking taylor expansion of c in c 1.696 * [backup-simplify]: Simplify 0 into 0 1.696 * [backup-simplify]: Simplify 1 into 1 1.697 * [backup-simplify]: Simplify (/ -1 1) into -1 1.697 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1.697 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.697 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.697 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.697 * [taylor]: Taking taylor expansion of -1 in c 1.697 * [backup-simplify]: Simplify -1 into -1 1.697 * [taylor]: Taking taylor expansion of c in c 1.697 * [backup-simplify]: Simplify 0 into 0 1.697 * [backup-simplify]: Simplify 1 into 1 1.698 * [backup-simplify]: Simplify (/ -1 1) into -1 1.698 * [backup-simplify]: Simplify (- -1) into 1 1.698 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1.698 * [taylor]: Taking taylor expansion of 2 in c 1.698 * [backup-simplify]: Simplify 2 into 2 1.698 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1.698 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1.699 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.699 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1.699 * [backup-simplify]: Simplify (- 0) into 0 1.700 * [backup-simplify]: Simplify (+ 0 0) into 0 1.701 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1.701 * [backup-simplify]: Simplify 0 into 0 1.701 * [backup-simplify]: Simplify (- 0) into 0 1.702 * [backup-simplify]: Simplify (+ 0 0) into 0 1.703 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.703 * [backup-simplify]: Simplify 0 into 0 1.704 * [backup-simplify]: Simplify (- 0) into 0 1.704 * [backup-simplify]: Simplify (+ 0 0) into 0 1.706 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.706 * [backup-simplify]: Simplify 0 into 0 1.707 * [backup-simplify]: Simplify (- 0) into 0 1.707 * [backup-simplify]: Simplify (+ 0 0) into 0 1.710 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.710 * [backup-simplify]: Simplify 0 into 0 1.710 * [backup-simplify]: Simplify (- 0) into 0 1.711 * [backup-simplify]: Simplify (+ 0 0) into 0 1.714 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.714 * [backup-simplify]: Simplify 0 into 0 1.715 * [backup-simplify]: Simplify (- 0) into 0 1.715 * [backup-simplify]: Simplify (+ 0 0) into 0 1.719 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1.719 * [backup-simplify]: Simplify 0 into 0 1.719 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1.719 * * * [progress]: simplifying candidates 1.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/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) 1.721 * * [simplify]: Extracting # 0 : cost 0 1.721 * * [simplify]: Extracting # 1 : cost 0 1.721 * * [simplify]: Extracting # 2 : cost 0 1.721 * * [simplify]: Extracting # 3 : cost 0 1.721 * * [simplify]: Extracting # 4 : cost 0 1.721 * * [simplify]: Extracting # 5 : cost 0 1.721 * * [simplify]: Extracting # 6 : cost 0 1.721 * * [simplify]: Extracting # 7 : cost 0 1.722 * * [simplify]: Extracting # 8 : cost 0 1.722 * * [simplify]: iteration 0 : 32 enodes (cost 72 ) 1.734 * * [simplify]: Extracting # 0 : cost 0 1.734 * * [simplify]: Extracting # 1 : cost 0 1.735 * * [simplify]: Extracting # 2 : cost 0 1.735 * * [simplify]: Extracting # 3 : cost 0 1.735 * * [simplify]: Extracting # 4 : cost 0 1.735 * * [simplify]: iteration 1 : 63 enodes (cost 69 ) 1.761 * * [simplify]: Extracting # 0 : cost 0 1.762 * * [simplify]: Extracting # 1 : cost 0 1.762 * * [simplify]: Extracting # 2 : cost 0 1.762 * * [simplify]: Extracting # 3 : cost 0 1.762 * * [simplify]: Extracting # 4 : cost 0 1.762 * * [simplify]: iteration 2 : 139 enodes (cost 65 ) 1.815 * * [simplify]: Extracting # 0 : cost 0 1.816 * * [simplify]: Extracting # 1 : cost 0 1.817 * * [simplify]: Extracting # 2 : cost 0 1.817 * * [simplify]: Extracting # 3 : cost 0 1.818 * * [simplify]: Extracting # 4 : cost 0 1.818 * * [simplify]: iteration 3 : 349 enodes (cost 65 ) 1.987 * * [simplify]: Extracting # 0 : cost 0 1.988 * * [simplify]: Extracting # 1 : cost 0 1.988 * * [simplify]: Extracting # 2 : cost 0 1.989 * * [simplify]: Extracting # 3 : cost 0 1.990 * * [simplify]: Extracting # 4 : cost 0 1.990 * * [simplify]: iteration 4 : 919 enodes (cost 65 ) 2.606 * * [simplify]: Extracting # 0 : cost 0 2.610 * * [simplify]: Extracting # 1 : cost 0 2.614 * * [simplify]: Extracting # 2 : cost 0 2.616 * * [simplify]: Extracting # 3 : cost 0 2.620 * * [simplify]: Extracting # 4 : cost 0 2.622 * * [simplify]: iteration 5 : 3605 enodes (cost 65 ) 4.554 * * [simplify]: Extracting # 0 : cost 0 4.566 * * [simplify]: Extracting # 1 : cost 0 4.575 * * [simplify]: Extracting # 2 : cost 0 4.584 * * [simplify]: Extracting # 3 : cost 0 4.593 * * [simplify]: Extracting # 4 : cost 0 4.603 * * [simplify]: iteration done: 5000 enodes (cost 65 ) 4.603 * [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)))) 4.604 * * * [progress]: adding candidates to table 4.681 * * [progress]: iteration 2 / 4 4.681 * * * [progress]: picking best candidate 4.695 * * * * [pick]: Picked # 4.695 * * * [progress]: localizing error 4.729 * * * [progress]: generating rewritten candidates 4.729 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 4.730 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1) 4.733 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 4.735 * * * [progress]: generating series expansions 4.735 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 4.735 * [backup-simplify]: Simplify (log1p (expm1 (sinh c))) into (log1p (expm1 (sinh c))) 4.735 * [approximate]: Taking taylor expansion of (log1p (expm1 (sinh c))) in (c) around 0 4.735 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh c))) in c 4.735 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh c)))) 4.735 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh c))) in c 4.735 * [taylor]: Taking taylor expansion of 1 in c 4.735 * [backup-simplify]: Simplify 1 into 1 4.736 * [taylor]: Taking taylor expansion of (expm1 (sinh c)) in c 4.736 * [taylor]: Rewrote expression to (- (exp (sinh c)) 1) 4.736 * [taylor]: Taking taylor expansion of (exp (sinh c)) in c 4.736 * [taylor]: Taking taylor expansion of (sinh c) in c 4.736 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 4.736 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 4.736 * [taylor]: Taking taylor expansion of (exp c) in c 4.736 * [taylor]: Taking taylor expansion of c in c 4.736 * [backup-simplify]: Simplify 0 into 0 4.736 * [backup-simplify]: Simplify 1 into 1 4.736 * [backup-simplify]: Simplify (exp 0) into 1 4.736 * [taylor]: Taking taylor expansion of (exp (- c)) in c 4.736 * [taylor]: Taking taylor expansion of (- c) in c 4.736 * [taylor]: Taking taylor expansion of c in c 4.736 * [backup-simplify]: Simplify 0 into 0 4.736 * [backup-simplify]: Simplify 1 into 1 4.737 * [backup-simplify]: Simplify (- 0) into 0 4.737 * [backup-simplify]: Simplify (- 1) into -1 4.737 * [backup-simplify]: Simplify (exp 0) into 1 4.737 * [taylor]: Taking taylor expansion of 2 in c 4.737 * [backup-simplify]: Simplify 2 into 2 4.738 * [backup-simplify]: Simplify (- 1) into -1 4.738 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.739 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.739 * [backup-simplify]: Simplify (- 1) into -1 4.740 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 4.741 * [backup-simplify]: Simplify (- -1) into 1 4.741 * [backup-simplify]: Simplify (+ 1 1) into 2 4.742 * [backup-simplify]: Simplify (/ 2 2) into 1 4.742 * [backup-simplify]: Simplify (exp 0) into 1 4.742 * [taylor]: Taking taylor expansion of 1 in c 4.742 * [backup-simplify]: Simplify 1 into 1 4.742 * [backup-simplify]: Simplify (- 1) into -1 4.743 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.743 * [backup-simplify]: Simplify (+ 1 0) into 1 4.743 * [backup-simplify]: Simplify (log 1) into 0 4.743 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh c))) in c 4.744 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh c)))) 4.744 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh c))) in c 4.744 * [taylor]: Taking taylor expansion of 1 in c 4.744 * [backup-simplify]: Simplify 1 into 1 4.744 * [taylor]: Taking taylor expansion of (expm1 (sinh c)) in c 4.744 * [taylor]: Rewrote expression to (- (exp (sinh c)) 1) 4.744 * [taylor]: Taking taylor expansion of (exp (sinh c)) in c 4.744 * [taylor]: Taking taylor expansion of (sinh c) in c 4.744 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 4.744 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 4.744 * [taylor]: Taking taylor expansion of (exp c) in c 4.744 * [taylor]: Taking taylor expansion of c in c 4.744 * [backup-simplify]: Simplify 0 into 0 4.744 * [backup-simplify]: Simplify 1 into 1 4.744 * [backup-simplify]: Simplify (exp 0) into 1 4.744 * [taylor]: Taking taylor expansion of (exp (- c)) in c 4.744 * [taylor]: Taking taylor expansion of (- c) in c 4.744 * [taylor]: Taking taylor expansion of c in c 4.744 * [backup-simplify]: Simplify 0 into 0 4.744 * [backup-simplify]: Simplify 1 into 1 4.745 * [backup-simplify]: Simplify (- 0) into 0 4.745 * [backup-simplify]: Simplify (- 1) into -1 4.745 * [backup-simplify]: Simplify (exp 0) into 1 4.745 * [taylor]: Taking taylor expansion of 2 in c 4.745 * [backup-simplify]: Simplify 2 into 2 4.745 * [backup-simplify]: Simplify (- 1) into -1 4.746 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.747 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.747 * [backup-simplify]: Simplify (- 1) into -1 4.748 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 4.749 * [backup-simplify]: Simplify (- -1) into 1 4.749 * [backup-simplify]: Simplify (+ 1 1) into 2 4.749 * [backup-simplify]: Simplify (/ 2 2) into 1 4.749 * [backup-simplify]: Simplify (exp 0) into 1 4.749 * [taylor]: Taking taylor expansion of 1 in c 4.750 * [backup-simplify]: Simplify 1 into 1 4.750 * [backup-simplify]: Simplify (- 1) into -1 4.750 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.751 * [backup-simplify]: Simplify (+ 1 0) into 1 4.751 * [backup-simplify]: Simplify (log 1) into 0 4.751 * [backup-simplify]: Simplify 0 into 0 4.753 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.753 * [backup-simplify]: Simplify (- 0) into 0 4.753 * [backup-simplify]: Simplify (+ 1 0) into 1 4.754 * [backup-simplify]: Simplify (+ 0 1) into 1 4.755 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 4.755 * [backup-simplify]: Simplify 1 into 1 4.758 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.758 * [backup-simplify]: Simplify (- 1) into -1 4.758 * [backup-simplify]: Simplify (- 0) into 0 4.759 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.759 * [backup-simplify]: Simplify (- 1/2) into -1/2 4.760 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 4.760 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 4.767 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.767 * [backup-simplify]: Simplify (- 0) into 0 4.767 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 4.768 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 4.769 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 4.769 * [backup-simplify]: Simplify 0 into 0 4.771 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 4.771 * [backup-simplify]: Simplify (- 1) into -1 4.771 * [backup-simplify]: Simplify (- 1) into -1 4.771 * [backup-simplify]: Simplify (- 0) into 0 4.772 * [backup-simplify]: Simplify (- 0) into 0 4.773 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 4.773 * [backup-simplify]: Simplify (- -1/6) into 1/6 4.774 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 4.774 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 4.776 * [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 4.776 * [backup-simplify]: Simplify (- 0) into 0 4.777 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 4.777 * [backup-simplify]: Simplify (+ 0 1/3) into 1/3 4.780 * [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 4.780 * [backup-simplify]: Simplify 1/6 into 1/6 4.782 * [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 4.783 * [backup-simplify]: Simplify (- 1) into -1 4.783 * [backup-simplify]: Simplify (- 1) into -1 4.783 * [backup-simplify]: Simplify (- 0) into 0 4.783 * [backup-simplify]: Simplify (- 1) into -1 4.784 * [backup-simplify]: Simplify (- 0) into 0 4.784 * [backup-simplify]: Simplify (- 0) into 0 4.784 * [backup-simplify]: Simplify (- 0) into 0 4.787 * [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 4.787 * [backup-simplify]: Simplify (- 1/24) into -1/24 4.787 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 4.788 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 4.791 * [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 4.791 * [backup-simplify]: Simplify (- 0) into 0 4.791 * [backup-simplify]: Simplify (+ 5/24 0) into 5/24 4.792 * [backup-simplify]: Simplify (+ 0 5/24) into 5/24 4.798 * [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 4.798 * [backup-simplify]: Simplify 0 into 0 4.801 * [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 4.802 * [backup-simplify]: Simplify (- 1) into -1 4.802 * [backup-simplify]: Simplify (- 1) into -1 4.802 * [backup-simplify]: Simplify (- 0) into 0 4.803 * [backup-simplify]: Simplify (- 1) into -1 4.803 * [backup-simplify]: Simplify (- 0) into 0 4.803 * [backup-simplify]: Simplify (- 1) into -1 4.804 * [backup-simplify]: Simplify (- 0) into 0 4.804 * [backup-simplify]: Simplify (- 1) into -1 4.804 * [backup-simplify]: Simplify (- 0) into 0 4.805 * [backup-simplify]: Simplify (- 0) into 0 4.805 * [backup-simplify]: Simplify (- 0) into 0 4.806 * [backup-simplify]: Simplify (- 0) into 0 4.812 * [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 4.812 * [backup-simplify]: Simplify (- -1/120) into 1/120 4.813 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 4.815 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 4.822 * [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 4.823 * [backup-simplify]: Simplify (- 0) into 0 4.823 * [backup-simplify]: Simplify (+ 1/10 0) into 1/10 4.824 * [backup-simplify]: Simplify (+ 0 1/10) into 1/10 4.842 * [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 4.842 * [backup-simplify]: Simplify 1/120 into 1/120 4.843 * [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)) 4.843 * [backup-simplify]: Simplify (log1p (expm1 (sinh (/ 1 c)))) into (log1p (expm1 (sinh (/ 1 c)))) 4.843 * [approximate]: Taking taylor expansion of (log1p (expm1 (sinh (/ 1 c)))) in (c) around 0 4.843 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh (/ 1 c)))) in c 4.843 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh (/ 1 c))))) 4.843 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh (/ 1 c)))) in c 4.843 * [taylor]: Taking taylor expansion of 1 in c 4.843 * [backup-simplify]: Simplify 1 into 1 4.843 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in c 4.843 * [taylor]: Rewrote expression to (- (exp (sinh (/ 1 c))) 1) 4.843 * [taylor]: Taking taylor expansion of (exp (sinh (/ 1 c))) in c 4.843 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 4.844 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 4.844 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 4.844 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 4.844 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.844 * [taylor]: Taking taylor expansion of c in c 4.844 * [backup-simplify]: Simplify 0 into 0 4.844 * [backup-simplify]: Simplify 1 into 1 4.844 * [backup-simplify]: Simplify (/ 1 1) into 1 4.844 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 4.844 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 4.844 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 4.844 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.844 * [taylor]: Taking taylor expansion of c in c 4.845 * [backup-simplify]: Simplify 0 into 0 4.845 * [backup-simplify]: Simplify 1 into 1 4.845 * [backup-simplify]: Simplify (/ 1 1) into 1 4.845 * [backup-simplify]: Simplify (- 1) into -1 4.845 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 4.845 * [taylor]: Taking taylor expansion of 2 in c 4.845 * [backup-simplify]: Simplify 2 into 2 4.846 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 4.846 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 4.846 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 4.846 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 4.846 * [taylor]: Taking taylor expansion of 1 in c 4.846 * [backup-simplify]: Simplify 1 into 1 4.846 * [backup-simplify]: Simplify (- 1) into -1 4.847 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) -1) into (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1) 4.847 * [backup-simplify]: Simplify (+ 1 (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 4.847 * [backup-simplify]: Simplify (log (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 4.847 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh (/ 1 c)))) in c 4.847 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh (/ 1 c))))) 4.847 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh (/ 1 c)))) in c 4.847 * [taylor]: Taking taylor expansion of 1 in c 4.847 * [backup-simplify]: Simplify 1 into 1 4.847 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in c 4.847 * [taylor]: Rewrote expression to (- (exp (sinh (/ 1 c))) 1) 4.847 * [taylor]: Taking taylor expansion of (exp (sinh (/ 1 c))) in c 4.847 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 4.847 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 4.847 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 4.847 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 4.847 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.847 * [taylor]: Taking taylor expansion of c in c 4.847 * [backup-simplify]: Simplify 0 into 0 4.847 * [backup-simplify]: Simplify 1 into 1 4.848 * [backup-simplify]: Simplify (/ 1 1) into 1 4.848 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 4.848 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 4.848 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 4.848 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.848 * [taylor]: Taking taylor expansion of c in c 4.848 * [backup-simplify]: Simplify 0 into 0 4.848 * [backup-simplify]: Simplify 1 into 1 4.848 * [backup-simplify]: Simplify (/ 1 1) into 1 4.848 * [backup-simplify]: Simplify (- 1) into -1 4.848 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 4.848 * [taylor]: Taking taylor expansion of 2 in c 4.848 * [backup-simplify]: Simplify 2 into 2 4.848 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 4.848 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 4.849 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 4.849 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 4.849 * [taylor]: Taking taylor expansion of 1 in c 4.849 * [backup-simplify]: Simplify 1 into 1 4.849 * [backup-simplify]: Simplify (- 1) into -1 4.849 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) -1) into (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1) 4.849 * [backup-simplify]: Simplify (+ 1 (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 4.850 * [backup-simplify]: Simplify (log (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 4.850 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 4.850 * [backup-simplify]: Simplify (- 0) into 0 4.850 * [backup-simplify]: Simplify (+ 0 0) into 0 4.851 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 4.851 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 1) 1)))) into 0 4.852 * [backup-simplify]: Simplify (- 0) into 0 4.852 * [backup-simplify]: Simplify (+ 0 0) into 0 4.852 * [backup-simplify]: Simplify (+ 0 0) into 0 4.853 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)))) 1) into 0 4.853 * [backup-simplify]: Simplify 0 into 0 4.853 * [backup-simplify]: Simplify (- 0) into 0 4.853 * [backup-simplify]: Simplify (+ 0 0) into 0 4.854 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.855 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.856 * [backup-simplify]: Simplify (- 0) into 0 4.856 * [backup-simplify]: Simplify (+ 0 0) into 0 4.856 * [backup-simplify]: Simplify (+ 0 0) into 0 4.857 * [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 4.857 * [backup-simplify]: Simplify 0 into 0 4.858 * [backup-simplify]: Simplify (- 0) into 0 4.858 * [backup-simplify]: Simplify (+ 0 0) into 0 4.859 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.860 * [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 4.861 * [backup-simplify]: Simplify (- 0) into 0 4.861 * [backup-simplify]: Simplify (+ 0 0) into 0 4.861 * [backup-simplify]: Simplify (+ 0 0) into 0 4.863 * [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 4.863 * [backup-simplify]: Simplify 0 into 0 4.864 * [backup-simplify]: Simplify (- 0) into 0 4.864 * [backup-simplify]: Simplify (+ 0 0) into 0 4.866 * [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 4.868 * [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 4.868 * [backup-simplify]: Simplify (- 0) into 0 4.868 * [backup-simplify]: Simplify (+ 0 0) into 0 4.869 * [backup-simplify]: Simplify (+ 0 0) into 0 4.872 * [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 4.872 * [backup-simplify]: Simplify 0 into 0 4.873 * [backup-simplify]: Simplify (- 0) into 0 4.876 * [backup-simplify]: Simplify (+ 0 0) into 0 4.878 * [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 4.882 * [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 4.882 * [backup-simplify]: Simplify (- 0) into 0 4.882 * [backup-simplify]: Simplify (+ 0 0) into 0 4.883 * [backup-simplify]: Simplify (+ 0 0) into 0 4.893 * [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 4.893 * [backup-simplify]: Simplify 0 into 0 4.894 * [backup-simplify]: Simplify (- 0) into 0 4.894 * [backup-simplify]: Simplify (+ 0 0) into 0 4.898 * [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 4.905 * [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 4.905 * [backup-simplify]: Simplify (- 0) into 0 4.906 * [backup-simplify]: Simplify (+ 0 0) into 0 4.906 * [backup-simplify]: Simplify (+ 0 0) into 0 4.921 * [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 4.922 * [backup-simplify]: Simplify 0 into 0 4.922 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 4.922 * [backup-simplify]: Simplify (log1p (expm1 (sinh (/ 1 (- c))))) into (log1p (expm1 (sinh (/ -1 c)))) 4.922 * [approximate]: Taking taylor expansion of (log1p (expm1 (sinh (/ -1 c)))) in (c) around 0 4.922 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh (/ -1 c)))) in c 4.922 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh (/ -1 c))))) 4.922 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh (/ -1 c)))) in c 4.922 * [taylor]: Taking taylor expansion of 1 in c 4.922 * [backup-simplify]: Simplify 1 into 1 4.922 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in c 4.922 * [taylor]: Rewrote expression to (- (exp (sinh (/ -1 c))) 1) 4.922 * [taylor]: Taking taylor expansion of (exp (sinh (/ -1 c))) in c 4.923 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 4.923 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 4.923 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 4.923 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 4.923 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.923 * [taylor]: Taking taylor expansion of -1 in c 4.923 * [backup-simplify]: Simplify -1 into -1 4.923 * [taylor]: Taking taylor expansion of c in c 4.923 * [backup-simplify]: Simplify 0 into 0 4.923 * [backup-simplify]: Simplify 1 into 1 4.923 * [backup-simplify]: Simplify (/ -1 1) into -1 4.924 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 4.924 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 4.924 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 4.924 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.924 * [taylor]: Taking taylor expansion of -1 in c 4.924 * [backup-simplify]: Simplify -1 into -1 4.924 * [taylor]: Taking taylor expansion of c in c 4.924 * [backup-simplify]: Simplify 0 into 0 4.924 * [backup-simplify]: Simplify 1 into 1 4.924 * [backup-simplify]: Simplify (/ -1 1) into -1 4.925 * [backup-simplify]: Simplify (- -1) into 1 4.925 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 4.925 * [taylor]: Taking taylor expansion of 2 in c 4.925 * [backup-simplify]: Simplify 2 into 2 4.925 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 4.925 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 4.925 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 4.925 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 4.925 * [taylor]: Taking taylor expansion of 1 in c 4.925 * [backup-simplify]: Simplify 1 into 1 4.926 * [backup-simplify]: Simplify (- 1) into -1 4.926 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) -1) into (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1) 4.926 * [backup-simplify]: Simplify (+ 1 (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 4.927 * [backup-simplify]: Simplify (log (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 4.927 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh (/ -1 c)))) in c 4.927 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh (/ -1 c))))) 4.927 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh (/ -1 c)))) in c 4.927 * [taylor]: Taking taylor expansion of 1 in c 4.927 * [backup-simplify]: Simplify 1 into 1 4.927 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in c 4.927 * [taylor]: Rewrote expression to (- (exp (sinh (/ -1 c))) 1) 4.927 * [taylor]: Taking taylor expansion of (exp (sinh (/ -1 c))) in c 4.927 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 4.927 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 4.927 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 4.927 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 4.927 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.927 * [taylor]: Taking taylor expansion of -1 in c 4.927 * [backup-simplify]: Simplify -1 into -1 4.928 * [taylor]: Taking taylor expansion of c in c 4.928 * [backup-simplify]: Simplify 0 into 0 4.928 * [backup-simplify]: Simplify 1 into 1 4.928 * [backup-simplify]: Simplify (/ -1 1) into -1 4.928 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 4.928 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 4.928 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 4.928 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.928 * [taylor]: Taking taylor expansion of -1 in c 4.928 * [backup-simplify]: Simplify -1 into -1 4.928 * [taylor]: Taking taylor expansion of c in c 4.928 * [backup-simplify]: Simplify 0 into 0 4.928 * [backup-simplify]: Simplify 1 into 1 4.929 * [backup-simplify]: Simplify (/ -1 1) into -1 4.929 * [backup-simplify]: Simplify (- -1) into 1 4.929 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 4.929 * [taylor]: Taking taylor expansion of 2 in c 4.929 * [backup-simplify]: Simplify 2 into 2 4.930 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 4.930 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 4.930 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 4.930 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 4.930 * [taylor]: Taking taylor expansion of 1 in c 4.930 * [backup-simplify]: Simplify 1 into 1 4.931 * [backup-simplify]: Simplify (- 1) into -1 4.931 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) -1) into (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1) 4.931 * [backup-simplify]: Simplify (+ 1 (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 4.931 * [backup-simplify]: Simplify (log (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 4.932 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 4.932 * [backup-simplify]: Simplify (- 0) into 0 4.933 * [backup-simplify]: Simplify (+ 0 0) into 0 4.934 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 4.935 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 1) 1)))) into 0 4.935 * [backup-simplify]: Simplify (- 0) into 0 4.935 * [backup-simplify]: Simplify (+ 0 0) into 0 4.936 * [backup-simplify]: Simplify (+ 0 0) into 0 4.937 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)))) 1) into 0 4.937 * [backup-simplify]: Simplify 0 into 0 4.937 * [backup-simplify]: Simplify (- 0) into 0 4.938 * [backup-simplify]: Simplify (+ 0 0) into 0 4.939 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.941 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.941 * [backup-simplify]: Simplify (- 0) into 0 4.941 * [backup-simplify]: Simplify (+ 0 0) into 0 4.942 * [backup-simplify]: Simplify (+ 0 0) into 0 4.944 * [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 4.944 * [backup-simplify]: Simplify 0 into 0 4.945 * [backup-simplify]: Simplify (- 0) into 0 4.945 * [backup-simplify]: Simplify (+ 0 0) into 0 4.947 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.949 * [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 4.949 * [backup-simplify]: Simplify (- 0) into 0 4.950 * [backup-simplify]: Simplify (+ 0 0) into 0 4.950 * [backup-simplify]: Simplify (+ 0 0) into 0 4.954 * [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 4.954 * [backup-simplify]: Simplify 0 into 0 4.954 * [backup-simplify]: Simplify (- 0) into 0 4.955 * [backup-simplify]: Simplify (+ 0 0) into 0 4.958 * [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 4.961 * [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 4.961 * [backup-simplify]: Simplify (- 0) into 0 4.961 * [backup-simplify]: Simplify (+ 0 0) into 0 4.962 * [backup-simplify]: Simplify (+ 0 0) into 0 4.968 * [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 4.968 * [backup-simplify]: Simplify 0 into 0 4.969 * [backup-simplify]: Simplify (- 0) into 0 4.969 * [backup-simplify]: Simplify (+ 0 0) into 0 4.972 * [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 4.975 * [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 4.975 * [backup-simplify]: Simplify (- 0) into 0 4.976 * [backup-simplify]: Simplify (+ 0 0) into 0 4.976 * [backup-simplify]: Simplify (+ 0 0) into 0 4.981 * [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 4.982 * [backup-simplify]: Simplify 0 into 0 4.982 * [backup-simplify]: Simplify (- 0) into 0 4.982 * [backup-simplify]: Simplify (+ 0 0) into 0 4.984 * [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 4.988 * [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 4.988 * [backup-simplify]: Simplify (- 0) into 0 4.988 * [backup-simplify]: Simplify (+ 0 0) into 0 4.988 * [backup-simplify]: Simplify (+ 0 0) into 0 4.999 * [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 5.000 * [backup-simplify]: Simplify 0 into 0 5.000 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 5.000 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1) 5.000 * [backup-simplify]: Simplify (sinh c) into (sinh c) 5.000 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 5.000 * [taylor]: Taking taylor expansion of (sinh c) in c 5.000 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 5.000 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 5.000 * [taylor]: Taking taylor expansion of (exp c) in c 5.000 * [taylor]: Taking taylor expansion of c in c 5.000 * [backup-simplify]: Simplify 0 into 0 5.000 * [backup-simplify]: Simplify 1 into 1 5.000 * [backup-simplify]: Simplify (exp 0) into 1 5.000 * [taylor]: Taking taylor expansion of (exp (- c)) in c 5.000 * [taylor]: Taking taylor expansion of (- c) in c 5.000 * [taylor]: Taking taylor expansion of c in c 5.000 * [backup-simplify]: Simplify 0 into 0 5.000 * [backup-simplify]: Simplify 1 into 1 5.001 * [backup-simplify]: Simplify (- 0) into 0 5.001 * [backup-simplify]: Simplify (- 1) into -1 5.001 * [backup-simplify]: Simplify (exp 0) into 1 5.001 * [taylor]: Taking taylor expansion of 2 in c 5.001 * [backup-simplify]: Simplify 2 into 2 5.002 * [backup-simplify]: Simplify (- 1) into -1 5.002 * [backup-simplify]: Simplify (+ 1 -1) into 0 5.003 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 5.004 * [backup-simplify]: Simplify (- 1) into -1 5.005 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 5.005 * [backup-simplify]: Simplify (- -1) into 1 5.005 * [backup-simplify]: Simplify (+ 1 1) into 2 5.006 * [backup-simplify]: Simplify (/ 2 2) into 1 5.006 * [taylor]: Taking taylor expansion of (sinh c) in c 5.006 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 5.006 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 5.006 * [taylor]: Taking taylor expansion of (exp c) in c 5.006 * [taylor]: Taking taylor expansion of c in c 5.006 * [backup-simplify]: Simplify 0 into 0 5.006 * [backup-simplify]: Simplify 1 into 1 5.006 * [backup-simplify]: Simplify (exp 0) into 1 5.006 * [taylor]: Taking taylor expansion of (exp (- c)) in c 5.006 * [taylor]: Taking taylor expansion of (- c) in c 5.006 * [taylor]: Taking taylor expansion of c in c 5.006 * [backup-simplify]: Simplify 0 into 0 5.006 * [backup-simplify]: Simplify 1 into 1 5.007 * [backup-simplify]: Simplify (- 0) into 0 5.007 * [backup-simplify]: Simplify (- 1) into -1 5.007 * [backup-simplify]: Simplify (exp 0) into 1 5.007 * [taylor]: Taking taylor expansion of 2 in c 5.007 * [backup-simplify]: Simplify 2 into 2 5.008 * [backup-simplify]: Simplify (- 1) into -1 5.008 * [backup-simplify]: Simplify (+ 1 -1) into 0 5.009 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 5.010 * [backup-simplify]: Simplify (- 1) into -1 5.011 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 5.011 * [backup-simplify]: Simplify (- -1) into 1 5.011 * [backup-simplify]: Simplify (+ 1 1) into 2 5.012 * [backup-simplify]: Simplify (/ 2 2) into 1 5.012 * [backup-simplify]: Simplify 1 into 1 5.014 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 5.014 * [backup-simplify]: Simplify (- 1) into -1 5.018 * [backup-simplify]: Simplify (- 0) into 0 5.020 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 5.020 * [backup-simplify]: Simplify (- 1/2) into -1/2 5.021 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 5.022 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 5.022 * [backup-simplify]: Simplify 0 into 0 5.024 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 5.025 * [backup-simplify]: Simplify (- 1) into -1 5.025 * [backup-simplify]: Simplify (- 1) into -1 5.025 * [backup-simplify]: Simplify (- 0) into 0 5.026 * [backup-simplify]: Simplify (- 0) into 0 5.028 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 5.029 * [backup-simplify]: Simplify (- -1/6) into 1/6 5.029 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 5.030 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 5.030 * [backup-simplify]: Simplify 1/6 into 1/6 5.034 * [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 5.035 * [backup-simplify]: Simplify (- 1) into -1 5.035 * [backup-simplify]: Simplify (- 1) into -1 5.036 * [backup-simplify]: Simplify (- 0) into 0 5.036 * [backup-simplify]: Simplify (- 1) into -1 5.036 * [backup-simplify]: Simplify (- 0) into 0 5.037 * [backup-simplify]: Simplify (- 0) into 0 5.037 * [backup-simplify]: Simplify (- 0) into 0 5.041 * [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 5.042 * [backup-simplify]: Simplify (- 1/24) into -1/24 5.042 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 5.044 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 5.044 * [backup-simplify]: Simplify 0 into 0 5.050 * [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 5.050 * [backup-simplify]: Simplify (- 1) into -1 5.051 * [backup-simplify]: Simplify (- 1) into -1 5.051 * [backup-simplify]: Simplify (- 0) into 0 5.051 * [backup-simplify]: Simplify (- 1) into -1 5.052 * [backup-simplify]: Simplify (- 0) into 0 5.052 * [backup-simplify]: Simplify (- 1) into -1 5.052 * [backup-simplify]: Simplify (- 0) into 0 5.053 * [backup-simplify]: Simplify (- 1) into -1 5.053 * [backup-simplify]: Simplify (- 0) into 0 5.053 * [backup-simplify]: Simplify (- 0) into 0 5.054 * [backup-simplify]: Simplify (- 0) into 0 5.054 * [backup-simplify]: Simplify (- 0) into 0 5.061 * [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 5.061 * [backup-simplify]: Simplify (- -1/120) into 1/120 5.061 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 5.063 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 5.063 * [backup-simplify]: Simplify 1/120 into 1/120 5.064 * [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)) 5.064 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 5.064 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 5.064 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 5.064 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 5.064 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 5.064 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 5.064 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.064 * [taylor]: Taking taylor expansion of c in c 5.064 * [backup-simplify]: Simplify 0 into 0 5.064 * [backup-simplify]: Simplify 1 into 1 5.065 * [backup-simplify]: Simplify (/ 1 1) into 1 5.065 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 5.065 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 5.065 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 5.065 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.065 * [taylor]: Taking taylor expansion of c in c 5.065 * [backup-simplify]: Simplify 0 into 0 5.065 * [backup-simplify]: Simplify 1 into 1 5.065 * [backup-simplify]: Simplify (/ 1 1) into 1 5.066 * [backup-simplify]: Simplify (- 1) into -1 5.066 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 5.066 * [taylor]: Taking taylor expansion of 2 in c 5.066 * [backup-simplify]: Simplify 2 into 2 5.066 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 5.066 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 5.066 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 5.066 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 5.066 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 5.066 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 5.067 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 5.067 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.067 * [taylor]: Taking taylor expansion of c in c 5.067 * [backup-simplify]: Simplify 0 into 0 5.067 * [backup-simplify]: Simplify 1 into 1 5.067 * [backup-simplify]: Simplify (/ 1 1) into 1 5.067 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 5.067 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 5.067 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 5.067 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.067 * [taylor]: Taking taylor expansion of c in c 5.067 * [backup-simplify]: Simplify 0 into 0 5.067 * [backup-simplify]: Simplify 1 into 1 5.068 * [backup-simplify]: Simplify (/ 1 1) into 1 5.068 * [backup-simplify]: Simplify (- 1) into -1 5.068 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 5.068 * [taylor]: Taking taylor expansion of 2 in c 5.068 * [backup-simplify]: Simplify 2 into 2 5.068 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 5.069 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 5.069 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 5.069 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 5.069 * [backup-simplify]: Simplify (- 0) into 0 5.070 * [backup-simplify]: Simplify (+ 0 0) into 0 5.071 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 5.071 * [backup-simplify]: Simplify 0 into 0 5.071 * [backup-simplify]: Simplify (- 0) into 0 5.072 * [backup-simplify]: Simplify (+ 0 0) into 0 5.073 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 5.073 * [backup-simplify]: Simplify 0 into 0 5.074 * [backup-simplify]: Simplify (- 0) into 0 5.074 * [backup-simplify]: Simplify (+ 0 0) into 0 5.076 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 5.076 * [backup-simplify]: Simplify 0 into 0 5.077 * [backup-simplify]: Simplify (- 0) into 0 5.077 * [backup-simplify]: Simplify (+ 0 0) into 0 5.080 * [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 5.080 * [backup-simplify]: Simplify 0 into 0 5.080 * [backup-simplify]: Simplify (- 0) into 0 5.080 * [backup-simplify]: Simplify (+ 0 0) into 0 5.083 * [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 5.083 * [backup-simplify]: Simplify 0 into 0 5.084 * [backup-simplify]: Simplify (- 0) into 0 5.084 * [backup-simplify]: Simplify (+ 0 0) into 0 5.088 * [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 5.088 * [backup-simplify]: Simplify 0 into 0 5.088 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 5.088 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 5.089 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 5.089 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 5.089 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 5.089 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 5.089 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 5.089 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.089 * [taylor]: Taking taylor expansion of -1 in c 5.089 * [backup-simplify]: Simplify -1 into -1 5.089 * [taylor]: Taking taylor expansion of c in c 5.089 * [backup-simplify]: Simplify 0 into 0 5.089 * [backup-simplify]: Simplify 1 into 1 5.089 * [backup-simplify]: Simplify (/ -1 1) into -1 5.090 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 5.090 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 5.090 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 5.090 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.090 * [taylor]: Taking taylor expansion of -1 in c 5.090 * [backup-simplify]: Simplify -1 into -1 5.090 * [taylor]: Taking taylor expansion of c in c 5.090 * [backup-simplify]: Simplify 0 into 0 5.090 * [backup-simplify]: Simplify 1 into 1 5.090 * [backup-simplify]: Simplify (/ -1 1) into -1 5.091 * [backup-simplify]: Simplify (- -1) into 1 5.091 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 5.091 * [taylor]: Taking taylor expansion of 2 in c 5.091 * [backup-simplify]: Simplify 2 into 2 5.091 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 5.091 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 5.091 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 5.091 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 5.091 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 5.091 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 5.091 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 5.091 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.092 * [taylor]: Taking taylor expansion of -1 in c 5.092 * [backup-simplify]: Simplify -1 into -1 5.092 * [taylor]: Taking taylor expansion of c in c 5.092 * [backup-simplify]: Simplify 0 into 0 5.092 * [backup-simplify]: Simplify 1 into 1 5.092 * [backup-simplify]: Simplify (/ -1 1) into -1 5.092 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 5.092 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 5.092 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 5.092 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.092 * [taylor]: Taking taylor expansion of -1 in c 5.092 * [backup-simplify]: Simplify -1 into -1 5.092 * [taylor]: Taking taylor expansion of c in c 5.092 * [backup-simplify]: Simplify 0 into 0 5.092 * [backup-simplify]: Simplify 1 into 1 5.093 * [backup-simplify]: Simplify (/ -1 1) into -1 5.093 * [backup-simplify]: Simplify (- -1) into 1 5.093 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 5.093 * [taylor]: Taking taylor expansion of 2 in c 5.093 * [backup-simplify]: Simplify 2 into 2 5.094 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 5.094 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 5.094 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 5.094 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 5.095 * [backup-simplify]: Simplify (- 0) into 0 5.095 * [backup-simplify]: Simplify (+ 0 0) into 0 5.096 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 5.096 * [backup-simplify]: Simplify 0 into 0 5.096 * [backup-simplify]: Simplify (- 0) into 0 5.097 * [backup-simplify]: Simplify (+ 0 0) into 0 5.098 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 5.098 * [backup-simplify]: Simplify 0 into 0 5.099 * [backup-simplify]: Simplify (- 0) into 0 5.099 * [backup-simplify]: Simplify (+ 0 0) into 0 5.101 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 5.101 * [backup-simplify]: Simplify 0 into 0 5.101 * [backup-simplify]: Simplify (- 0) into 0 5.102 * [backup-simplify]: Simplify (+ 0 0) into 0 5.104 * [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 5.104 * [backup-simplify]: Simplify 0 into 0 5.104 * [backup-simplify]: Simplify (- 0) into 0 5.105 * [backup-simplify]: Simplify (+ 0 0) into 0 5.108 * [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 5.108 * [backup-simplify]: Simplify 0 into 0 5.108 * [backup-simplify]: Simplify (- 0) into 0 5.109 * [backup-simplify]: Simplify (+ 0 0) into 0 5.112 * [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 5.112 * [backup-simplify]: Simplify 0 into 0 5.113 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 5.113 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 5.113 * [backup-simplify]: Simplify (expm1 (sinh c)) into (expm1 (sinh c)) 5.113 * [approximate]: Taking taylor expansion of (expm1 (sinh c)) in (c) around 0 5.113 * [taylor]: Taking taylor expansion of (expm1 (sinh c)) in c 5.113 * [taylor]: Rewrote expression to (- (exp (sinh c)) 1) 5.113 * [taylor]: Taking taylor expansion of (exp (sinh c)) in c 5.113 * [taylor]: Taking taylor expansion of (sinh c) in c 5.113 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 5.113 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 5.113 * [taylor]: Taking taylor expansion of (exp c) in c 5.113 * [taylor]: Taking taylor expansion of c in c 5.113 * [backup-simplify]: Simplify 0 into 0 5.113 * [backup-simplify]: Simplify 1 into 1 5.113 * [backup-simplify]: Simplify (exp 0) into 1 5.113 * [taylor]: Taking taylor expansion of (exp (- c)) in c 5.113 * [taylor]: Taking taylor expansion of (- c) in c 5.113 * [taylor]: Taking taylor expansion of c in c 5.113 * [backup-simplify]: Simplify 0 into 0 5.113 * [backup-simplify]: Simplify 1 into 1 5.114 * [backup-simplify]: Simplify (- 0) into 0 5.114 * [backup-simplify]: Simplify (- 1) into -1 5.114 * [backup-simplify]: Simplify (exp 0) into 1 5.114 * [taylor]: Taking taylor expansion of 2 in c 5.114 * [backup-simplify]: Simplify 2 into 2 5.115 * [backup-simplify]: Simplify (- 1) into -1 5.115 * [backup-simplify]: Simplify (+ 1 -1) into 0 5.116 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 5.116 * [backup-simplify]: Simplify (- 1) into -1 5.118 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 5.118 * [backup-simplify]: Simplify (- -1) into 1 5.119 * [backup-simplify]: Simplify (+ 1 1) into 2 5.119 * [backup-simplify]: Simplify (/ 2 2) into 1 5.119 * [backup-simplify]: Simplify (exp 0) into 1 5.119 * [taylor]: Taking taylor expansion of 1 in c 5.119 * [backup-simplify]: Simplify 1 into 1 5.119 * [taylor]: Taking taylor expansion of (expm1 (sinh c)) in c 5.119 * [taylor]: Rewrote expression to (- (exp (sinh c)) 1) 5.119 * [taylor]: Taking taylor expansion of (exp (sinh c)) in c 5.119 * [taylor]: Taking taylor expansion of (sinh c) in c 5.119 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 5.119 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 5.119 * [taylor]: Taking taylor expansion of (exp c) in c 5.120 * [taylor]: Taking taylor expansion of c in c 5.120 * [backup-simplify]: Simplify 0 into 0 5.120 * [backup-simplify]: Simplify 1 into 1 5.120 * [backup-simplify]: Simplify (exp 0) into 1 5.120 * [taylor]: Taking taylor expansion of (exp (- c)) in c 5.120 * [taylor]: Taking taylor expansion of (- c) in c 5.120 * [taylor]: Taking taylor expansion of c in c 5.120 * [backup-simplify]: Simplify 0 into 0 5.120 * [backup-simplify]: Simplify 1 into 1 5.120 * [backup-simplify]: Simplify (- 0) into 0 5.120 * [backup-simplify]: Simplify (- 1) into -1 5.120 * [backup-simplify]: Simplify (exp 0) into 1 5.121 * [taylor]: Taking taylor expansion of 2 in c 5.121 * [backup-simplify]: Simplify 2 into 2 5.121 * [backup-simplify]: Simplify (- 1) into -1 5.121 * [backup-simplify]: Simplify (+ 1 -1) into 0 5.122 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 5.123 * [backup-simplify]: Simplify (- 1) into -1 5.124 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 5.124 * [backup-simplify]: Simplify (- -1) into 1 5.125 * [backup-simplify]: Simplify (+ 1 1) into 2 5.125 * [backup-simplify]: Simplify (/ 2 2) into 1 5.125 * [backup-simplify]: Simplify (exp 0) into 1 5.125 * [taylor]: Taking taylor expansion of 1 in c 5.125 * [backup-simplify]: Simplify 1 into 1 5.125 * [backup-simplify]: Simplify (- 1) into -1 5.126 * [backup-simplify]: Simplify (+ 1 -1) into 0 5.126 * [backup-simplify]: Simplify 0 into 0 5.127 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 5.127 * [backup-simplify]: Simplify (- 0) into 0 5.128 * [backup-simplify]: Simplify (+ 1 0) into 1 5.128 * [backup-simplify]: Simplify 1 into 1 5.130 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 5.130 * [backup-simplify]: Simplify (- 1) into -1 5.130 * [backup-simplify]: Simplify (- 0) into 0 5.132 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 5.133 * [backup-simplify]: Simplify (- 1/2) into -1/2 5.133 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 5.134 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 5.135 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 5.136 * [backup-simplify]: Simplify (- 0) into 0 5.136 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 5.136 * [backup-simplify]: Simplify 1/2 into 1/2 5.139 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 5.139 * [backup-simplify]: Simplify (- 1) into -1 5.140 * [backup-simplify]: Simplify (- 1) into -1 5.140 * [backup-simplify]: Simplify (- 0) into 0 5.140 * [backup-simplify]: Simplify (- 0) into 0 5.143 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 5.143 * [backup-simplify]: Simplify (- -1/6) into 1/6 5.144 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 5.145 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 5.148 * [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 5.148 * [backup-simplify]: Simplify (- 0) into 0 5.149 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 5.149 * [backup-simplify]: Simplify 1/3 into 1/3 5.149 * [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)) 5.149 * [backup-simplify]: Simplify (expm1 (sinh (/ 1 c))) into (expm1 (sinh (/ 1 c))) 5.149 * [approximate]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in (c) around 0 5.150 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in c 5.150 * [taylor]: Rewrote expression to (- (exp (sinh (/ 1 c))) 1) 5.150 * [taylor]: Taking taylor expansion of (exp (sinh (/ 1 c))) in c 5.150 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 5.150 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 5.150 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 5.150 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 5.150 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.150 * [taylor]: Taking taylor expansion of c in c 5.150 * [backup-simplify]: Simplify 0 into 0 5.150 * [backup-simplify]: Simplify 1 into 1 5.150 * [backup-simplify]: Simplify (/ 1 1) into 1 5.150 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 5.151 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 5.151 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 5.151 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.151 * [taylor]: Taking taylor expansion of c in c 5.151 * [backup-simplify]: Simplify 0 into 0 5.151 * [backup-simplify]: Simplify 1 into 1 5.151 * [backup-simplify]: Simplify (/ 1 1) into 1 5.151 * [backup-simplify]: Simplify (- 1) into -1 5.152 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 5.152 * [taylor]: Taking taylor expansion of 2 in c 5.152 * [backup-simplify]: Simplify 2 into 2 5.152 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 5.152 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 5.152 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 5.152 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 5.152 * [taylor]: Taking taylor expansion of 1 in c 5.152 * [backup-simplify]: Simplify 1 into 1 5.152 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in c 5.153 * [taylor]: Rewrote expression to (- (exp (sinh (/ 1 c))) 1) 5.153 * [taylor]: Taking taylor expansion of (exp (sinh (/ 1 c))) in c 5.153 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 5.153 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 5.153 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 5.153 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 5.153 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.153 * [taylor]: Taking taylor expansion of c in c 5.153 * [backup-simplify]: Simplify 0 into 0 5.153 * [backup-simplify]: Simplify 1 into 1 5.153 * [backup-simplify]: Simplify (/ 1 1) into 1 5.153 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 5.153 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 5.153 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 5.153 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.154 * [taylor]: Taking taylor expansion of c in c 5.154 * [backup-simplify]: Simplify 0 into 0 5.154 * [backup-simplify]: Simplify 1 into 1 5.154 * [backup-simplify]: Simplify (/ 1 1) into 1 5.154 * [backup-simplify]: Simplify (- 1) into -1 5.154 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 5.154 * [taylor]: Taking taylor expansion of 2 in c 5.155 * [backup-simplify]: Simplify 2 into 2 5.155 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 5.155 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 5.155 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 5.155 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 5.155 * [taylor]: Taking taylor expansion of 1 in c 5.155 * [backup-simplify]: Simplify 1 into 1 5.156 * [backup-simplify]: Simplify (- 1) into -1 5.156 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) -1) into (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1) 5.156 * [backup-simplify]: Simplify (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1) into (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1) 5.157 * [backup-simplify]: Simplify (- 0) into 0 5.157 * [backup-simplify]: Simplify (+ 0 0) into 0 5.158 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 5.159 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 1) 1)))) into 0 5.160 * [backup-simplify]: Simplify (- 0) into 0 5.160 * [backup-simplify]: Simplify (+ 0 0) into 0 5.160 * [backup-simplify]: Simplify 0 into 0 5.161 * [backup-simplify]: Simplify (- 0) into 0 5.161 * [backup-simplify]: Simplify (+ 0 0) into 0 5.162 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 5.164 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.164 * [backup-simplify]: Simplify (- 0) into 0 5.165 * [backup-simplify]: Simplify (+ 0 0) into 0 5.165 * [backup-simplify]: Simplify 0 into 0 5.165 * [backup-simplify]: Simplify (- 0) into 0 5.166 * [backup-simplify]: Simplify (+ 0 0) into 0 5.171 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 5.173 * [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 5.174 * [backup-simplify]: Simplify (- 0) into 0 5.174 * [backup-simplify]: Simplify (+ 0 0) into 0 5.174 * [backup-simplify]: Simplify 0 into 0 5.174 * [backup-simplify]: Simplify (- 0) into 0 5.174 * [backup-simplify]: Simplify (+ 0 0) into 0 5.176 * [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 5.178 * [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 5.178 * [backup-simplify]: Simplify (- 0) into 0 5.178 * [backup-simplify]: Simplify (+ 0 0) into 0 5.178 * [backup-simplify]: Simplify 0 into 0 5.178 * [backup-simplify]: Simplify (- 0) into 0 5.179 * [backup-simplify]: Simplify (+ 0 0) into 0 5.181 * [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 5.183 * [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 5.183 * [backup-simplify]: Simplify (- 0) into 0 5.183 * [backup-simplify]: Simplify (+ 0 0) into 0 5.183 * [backup-simplify]: Simplify 0 into 0 5.184 * [backup-simplify]: Simplify (- 0) into 0 5.184 * [backup-simplify]: Simplify (+ 0 0) into 0 5.186 * [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 5.189 * [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 5.189 * [backup-simplify]: Simplify (- 0) into 0 5.190 * [backup-simplify]: Simplify (+ 0 0) into 0 5.190 * [backup-simplify]: Simplify 0 into 0 5.190 * [backup-simplify]: Simplify (- (exp (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c))))))) 1) into (- (exp (* 1/2 (- (exp c) (exp (- c))))) 1) 5.190 * [backup-simplify]: Simplify (expm1 (sinh (/ 1 (- c)))) into (expm1 (sinh (/ -1 c))) 5.190 * [approximate]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in (c) around 0 5.190 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in c 5.190 * [taylor]: Rewrote expression to (- (exp (sinh (/ -1 c))) 1) 5.190 * [taylor]: Taking taylor expansion of (exp (sinh (/ -1 c))) in c 5.190 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 5.190 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 5.190 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 5.190 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 5.190 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.190 * [taylor]: Taking taylor expansion of -1 in c 5.190 * [backup-simplify]: Simplify -1 into -1 5.190 * [taylor]: Taking taylor expansion of c in c 5.190 * [backup-simplify]: Simplify 0 into 0 5.190 * [backup-simplify]: Simplify 1 into 1 5.191 * [backup-simplify]: Simplify (/ -1 1) into -1 5.191 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 5.191 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 5.191 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 5.191 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.191 * [taylor]: Taking taylor expansion of -1 in c 5.191 * [backup-simplify]: Simplify -1 into -1 5.191 * [taylor]: Taking taylor expansion of c in c 5.191 * [backup-simplify]: Simplify 0 into 0 5.191 * [backup-simplify]: Simplify 1 into 1 5.191 * [backup-simplify]: Simplify (/ -1 1) into -1 5.191 * [backup-simplify]: Simplify (- -1) into 1 5.191 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 5.192 * [taylor]: Taking taylor expansion of 2 in c 5.192 * [backup-simplify]: Simplify 2 into 2 5.192 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 5.192 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 5.192 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 5.192 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 5.192 * [taylor]: Taking taylor expansion of 1 in c 5.192 * [backup-simplify]: Simplify 1 into 1 5.192 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in c 5.192 * [taylor]: Rewrote expression to (- (exp (sinh (/ -1 c))) 1) 5.192 * [taylor]: Taking taylor expansion of (exp (sinh (/ -1 c))) in c 5.192 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 5.192 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 5.192 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 5.192 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 5.192 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.192 * [taylor]: Taking taylor expansion of -1 in c 5.192 * [backup-simplify]: Simplify -1 into -1 5.192 * [taylor]: Taking taylor expansion of c in c 5.192 * [backup-simplify]: Simplify 0 into 0 5.192 * [backup-simplify]: Simplify 1 into 1 5.193 * [backup-simplify]: Simplify (/ -1 1) into -1 5.193 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 5.193 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 5.193 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 5.193 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.193 * [taylor]: Taking taylor expansion of -1 in c 5.193 * [backup-simplify]: Simplify -1 into -1 5.193 * [taylor]: Taking taylor expansion of c in c 5.193 * [backup-simplify]: Simplify 0 into 0 5.193 * [backup-simplify]: Simplify 1 into 1 5.193 * [backup-simplify]: Simplify (/ -1 1) into -1 5.193 * [backup-simplify]: Simplify (- -1) into 1 5.193 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 5.193 * [taylor]: Taking taylor expansion of 2 in c 5.193 * [backup-simplify]: Simplify 2 into 2 5.194 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 5.194 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 5.194 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 5.194 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 5.194 * [taylor]: Taking taylor expansion of 1 in c 5.194 * [backup-simplify]: Simplify 1 into 1 5.194 * [backup-simplify]: Simplify (- 1) into -1 5.194 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) -1) into (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1) 5.194 * [backup-simplify]: Simplify (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1) into (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1) 5.195 * [backup-simplify]: Simplify (- 0) into 0 5.195 * [backup-simplify]: Simplify (+ 0 0) into 0 5.196 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 5.196 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 1) 1)))) into 0 5.196 * [backup-simplify]: Simplify (- 0) into 0 5.197 * [backup-simplify]: Simplify (+ 0 0) into 0 5.197 * [backup-simplify]: Simplify 0 into 0 5.197 * [backup-simplify]: Simplify (- 0) into 0 5.197 * [backup-simplify]: Simplify (+ 0 0) into 0 5.198 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 5.199 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 5.199 * [backup-simplify]: Simplify (- 0) into 0 5.199 * [backup-simplify]: Simplify (+ 0 0) into 0 5.199 * [backup-simplify]: Simplify 0 into 0 5.200 * [backup-simplify]: Simplify (- 0) into 0 5.200 * [backup-simplify]: Simplify (+ 0 0) into 0 5.201 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 5.203 * [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 5.203 * [backup-simplify]: Simplify (- 0) into 0 5.203 * [backup-simplify]: Simplify (+ 0 0) into 0 5.203 * [backup-simplify]: Simplify 0 into 0 5.204 * [backup-simplify]: Simplify (- 0) into 0 5.204 * [backup-simplify]: Simplify (+ 0 0) into 0 5.207 * [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 5.210 * [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 5.210 * [backup-simplify]: Simplify (- 0) into 0 5.210 * [backup-simplify]: Simplify (+ 0 0) into 0 5.211 * [backup-simplify]: Simplify 0 into 0 5.211 * [backup-simplify]: Simplify (- 0) into 0 5.211 * [backup-simplify]: Simplify (+ 0 0) into 0 5.214 * [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 5.218 * [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 5.219 * [backup-simplify]: Simplify (- 0) into 0 5.219 * [backup-simplify]: Simplify (+ 0 0) into 0 5.219 * [backup-simplify]: Simplify 0 into 0 5.220 * [backup-simplify]: Simplify (- 0) into 0 5.220 * [backup-simplify]: Simplify (+ 0 0) into 0 5.224 * [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 5.230 * [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 5.230 * [backup-simplify]: Simplify (- 0) into 0 5.231 * [backup-simplify]: Simplify (+ 0 0) into 0 5.231 * [backup-simplify]: Simplify 0 into 0 5.231 * [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) 5.231 * * * [progress]: simplifying candidates 5.231 * [simplify]: Simplifying: (+ 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)))) (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)) (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) 5.232 * * [simplify]: Extracting # 0 : cost 0 5.232 * * [simplify]: Extracting # 1 : cost 0 5.232 * * [simplify]: Extracting # 2 : cost 0 5.232 * * [simplify]: Extracting # 3 : cost 0 5.232 * * [simplify]: Extracting # 4 : cost 0 5.232 * * [simplify]: Extracting # 5 : cost 0 5.232 * * [simplify]: Extracting # 6 : cost 0 5.232 * * [simplify]: Extracting # 7 : cost 0 5.233 * * [simplify]: Extracting # 8 : cost 0 5.233 * * [simplify]: Extracting # 9 : cost 0 5.233 * * [simplify]: Extracting # 10 : cost 0 5.233 * * [simplify]: iteration 0 : 63 enodes (cost 254 ) 5.245 * * [simplify]: Extracting # 0 : cost 0 5.245 * * [simplify]: Extracting # 1 : cost 0 5.245 * * [simplify]: Extracting # 2 : cost 0 5.245 * * [simplify]: Extracting # 3 : cost 0 5.246 * * [simplify]: Extracting # 4 : cost 0 5.246 * * [simplify]: iteration 1 : 122 enodes (cost 215 ) 5.277 * * [simplify]: Extracting # 0 : cost 0 5.277 * * [simplify]: Extracting # 1 : cost 0 5.277 * * [simplify]: Extracting # 2 : cost 0 5.278 * * [simplify]: Extracting # 3 : cost 0 5.278 * * [simplify]: Extracting # 4 : cost 0 5.278 * * [simplify]: iteration 2 : 312 enodes (cost 201 ) 5.521 * * [simplify]: Extracting # 0 : cost 0 5.522 * * [simplify]: Extracting # 1 : cost 0 5.523 * * [simplify]: Extracting # 2 : cost 0 5.524 * * [simplify]: Extracting # 3 : cost 0 5.525 * * [simplify]: Extracting # 4 : cost 0 5.526 * * [simplify]: iteration 3 : 1027 enodes (cost 193 ) 6.563 * * [simplify]: Extracting # 0 : cost 0 6.569 * * [simplify]: Extracting # 1 : cost 0 6.575 * * [simplify]: Extracting # 2 : cost 0 6.591 * * [simplify]: Extracting # 3 : cost 0 6.601 * * [simplify]: Extracting # 4 : cost 0 6.612 * * [simplify]: Extracting # 5 : cost 0 6.622 * * [simplify]: iteration 4 : 4904 enodes (cost 187 ) 8.648 * * [simplify]: Extracting # 0 : cost 0 8.659 * * [simplify]: Extracting # 1 : cost 0 8.670 * * [simplify]: iteration done: 5000 enodes (cost 163 ) 8.671 * [simplify]: Simplified to: (+ 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)) (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)) (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 (pow c 2) (fma 1/3 c 1/2) c) (expm1 (sinh c)) (expm1 (sinh c)) 8.671 * * * [progress]: adding candidates to table 8.890 * * [progress]: iteration 3 / 4 8.890 * * * [progress]: picking best candidate 8.901 * * * * [pick]: Picked # 8.901 * * * [progress]: localizing error 8.957 * * * [progress]: generating rewritten candidates 8.957 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 8.957 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 8.958 * * * [progress]: generating series expansions 8.958 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 8.959 * [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)))) 8.959 * [approximate]: Taking taylor expansion of (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) in (c) around 0 8.959 * [taylor]: Taking taylor expansion of (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) in c 8.959 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) 8.959 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) in c 8.959 * [taylor]: Taking taylor expansion of 1 in c 8.959 * [backup-simplify]: Simplify 1 into 1 8.959 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in c 8.959 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 1) 8.959 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in c 8.959 * [taylor]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in c 8.959 * [taylor]: Rewrote expression to (+ (* 1/6 (pow c 3)) (fma 1/120 (pow c 5) c)) 8.959 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 8.959 * [taylor]: Taking taylor expansion of 1/6 in c 8.959 * [backup-simplify]: Simplify 1/6 into 1/6 8.959 * [taylor]: Taking taylor expansion of (pow c 3) in c 8.959 * [taylor]: Taking taylor expansion of c in c 8.959 * [backup-simplify]: Simplify 0 into 0 8.959 * [backup-simplify]: Simplify 1 into 1 8.960 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c 8.960 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c) 8.960 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 8.960 * [taylor]: Taking taylor expansion of 1/120 in c 8.960 * [backup-simplify]: Simplify 1/120 into 1/120 8.960 * [taylor]: Taking taylor expansion of (pow c 5) in c 8.960 * [taylor]: Taking taylor expansion of c in c 8.960 * [backup-simplify]: Simplify 0 into 0 8.960 * [backup-simplify]: Simplify 1 into 1 8.960 * [taylor]: Taking taylor expansion of c in c 8.960 * [backup-simplify]: Simplify 0 into 0 8.960 * [backup-simplify]: Simplify 1 into 1 8.960 * [backup-simplify]: Simplify (+ 0 0) into 0 8.961 * [backup-simplify]: Simplify (+ 0 0) into 0 8.961 * [backup-simplify]: Simplify (+ 0 1) into 1 8.961 * [backup-simplify]: Simplify (+ 0 1) into 1 8.961 * [backup-simplify]: Simplify (exp 0) into 1 8.961 * [taylor]: Taking taylor expansion of 1 in c 8.961 * [backup-simplify]: Simplify 1 into 1 8.962 * [backup-simplify]: Simplify (- 1) into -1 8.962 * [backup-simplify]: Simplify (+ 1 -1) into 0 8.962 * [backup-simplify]: Simplify (+ 1 0) into 1 8.962 * [backup-simplify]: Simplify (log 1) into 0 8.963 * [taylor]: Taking taylor expansion of (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) in c 8.963 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) 8.963 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) in c 8.963 * [taylor]: Taking taylor expansion of 1 in c 8.963 * [backup-simplify]: Simplify 1 into 1 8.963 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in c 8.963 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 1) 8.963 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in c 8.963 * [taylor]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in c 8.963 * [taylor]: Rewrote expression to (+ (* 1/6 (pow c 3)) (fma 1/120 (pow c 5) c)) 8.963 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 8.963 * [taylor]: Taking taylor expansion of 1/6 in c 8.963 * [backup-simplify]: Simplify 1/6 into 1/6 8.963 * [taylor]: Taking taylor expansion of (pow c 3) in c 8.963 * [taylor]: Taking taylor expansion of c in c 8.963 * [backup-simplify]: Simplify 0 into 0 8.963 * [backup-simplify]: Simplify 1 into 1 8.963 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c 8.963 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c) 8.963 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 8.963 * [taylor]: Taking taylor expansion of 1/120 in c 8.963 * [backup-simplify]: Simplify 1/120 into 1/120 8.963 * [taylor]: Taking taylor expansion of (pow c 5) in c 8.963 * [taylor]: Taking taylor expansion of c in c 8.963 * [backup-simplify]: Simplify 0 into 0 8.963 * [backup-simplify]: Simplify 1 into 1 8.963 * [taylor]: Taking taylor expansion of c in c 8.963 * [backup-simplify]: Simplify 0 into 0 8.963 * [backup-simplify]: Simplify 1 into 1 8.964 * [backup-simplify]: Simplify (+ 0 0) into 0 8.964 * [backup-simplify]: Simplify (+ 0 0) into 0 8.964 * [backup-simplify]: Simplify (+ 0 1) into 1 8.964 * [backup-simplify]: Simplify (+ 0 1) into 1 8.964 * [backup-simplify]: Simplify (exp 0) into 1 8.964 * [taylor]: Taking taylor expansion of 1 in c 8.965 * [backup-simplify]: Simplify 1 into 1 8.965 * [backup-simplify]: Simplify (- 1) into -1 8.965 * [backup-simplify]: Simplify (+ 1 -1) into 0 8.965 * [backup-simplify]: Simplify (+ 1 0) into 1 8.966 * [backup-simplify]: Simplify (log 1) into 0 8.966 * [backup-simplify]: Simplify 0 into 0 8.966 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.967 * [backup-simplify]: Simplify (- 0) into 0 8.967 * [backup-simplify]: Simplify (+ 1 0) into 1 8.967 * [backup-simplify]: Simplify (+ 0 1) into 1 8.968 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 8.968 * [backup-simplify]: Simplify 1 into 1 8.968 * [backup-simplify]: Simplify (+ 0 0) into 0 8.968 * [backup-simplify]: Simplify (+ 0 0) into 0 8.969 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.970 * [backup-simplify]: Simplify (- 0) into 0 8.970 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 8.970 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 8.972 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 8.972 * [backup-simplify]: Simplify 0 into 0 8.973 * [backup-simplify]: Simplify (* 1 1) into 1 8.973 * [backup-simplify]: Simplify (* 1 1) into 1 8.973 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 8.973 * [backup-simplify]: Simplify (+ 0 0) into 0 8.974 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 8.975 * [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 8.976 * [backup-simplify]: Simplify (- 0) into 0 8.976 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 8.976 * [backup-simplify]: Simplify (+ 0 1/3) into 1/3 8.980 * [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 8.980 * [backup-simplify]: Simplify 1/6 into 1/6 8.981 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.982 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.982 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 8.983 * [backup-simplify]: Simplify (+ 0 0) into 0 8.983 * [backup-simplify]: Simplify (+ 0 0) into 0 8.988 * [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 8.988 * [backup-simplify]: Simplify (- 0) into 0 8.989 * [backup-simplify]: Simplify (+ 5/24 0) into 5/24 8.989 * [backup-simplify]: Simplify (+ 0 5/24) into 5/24 9.002 * [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 9.002 * [backup-simplify]: Simplify 0 into 0 9.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.004 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.005 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 9.005 * [backup-simplify]: Simplify (* 1 1) into 1 9.006 * [backup-simplify]: Simplify (* 1 1) into 1 9.006 * [backup-simplify]: Simplify (* 1 1) into 1 9.007 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 9.007 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 9.008 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 9.016 * [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 9.017 * [backup-simplify]: Simplify (- 0) into 0 9.017 * [backup-simplify]: Simplify (+ 1/10 0) into 1/10 9.018 * [backup-simplify]: Simplify (+ 0 1/10) into 1/10 9.028 * [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 9.028 * [backup-simplify]: Simplify 1/120 into 1/120 9.028 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 9.029 * [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))))) 9.029 * [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 9.029 * [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 9.029 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))))) 9.029 * [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 9.029 * [taylor]: Taking taylor expansion of 1 in c 9.029 * [backup-simplify]: Simplify 1 into 1 9.029 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in c 9.029 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1) 9.029 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in c 9.029 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c 9.029 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 c) 3)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 9.029 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 c) 3)) in c 9.029 * [taylor]: Taking taylor expansion of 1/6 in c 9.029 * [backup-simplify]: Simplify 1/6 into 1/6 9.029 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 3) in c 9.029 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.029 * [taylor]: Taking taylor expansion of c in c 9.029 * [backup-simplify]: Simplify 0 into 0 9.029 * [backup-simplify]: Simplify 1 into 1 9.029 * [backup-simplify]: Simplify (/ 1 1) into 1 9.029 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c 9.030 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) 9.030 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c 9.030 * [taylor]: Taking taylor expansion of 1/120 in c 9.030 * [backup-simplify]: Simplify 1/120 into 1/120 9.030 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c 9.030 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.030 * [taylor]: Taking taylor expansion of c in c 9.030 * [backup-simplify]: Simplify 0 into 0 9.030 * [backup-simplify]: Simplify 1 into 1 9.030 * [backup-simplify]: Simplify (/ 1 1) into 1 9.030 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.030 * [taylor]: Taking taylor expansion of c in c 9.030 * [backup-simplify]: Simplify 0 into 0 9.030 * [backup-simplify]: Simplify 1 into 1 9.030 * [backup-simplify]: Simplify (/ 1 1) into 1 9.031 * [backup-simplify]: Simplify (* 1 1) into 1 9.031 * [backup-simplify]: Simplify (* 1 1) into 1 9.031 * [backup-simplify]: Simplify (* 1 1) into 1 9.031 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 9.032 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 9.032 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 9.032 * [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)))) 9.032 * [taylor]: Taking taylor expansion of 1 in c 9.032 * [backup-simplify]: Simplify 1 into 1 9.033 * [backup-simplify]: Simplify (- 1) into -1 9.033 * [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) 9.033 * [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)))) 9.033 * [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))) 9.033 * [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 9.033 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))))) 9.033 * [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 9.033 * [taylor]: Taking taylor expansion of 1 in c 9.033 * [backup-simplify]: Simplify 1 into 1 9.033 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in c 9.034 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1) 9.034 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in c 9.034 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c 9.034 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 c) 3)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 9.034 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 c) 3)) in c 9.034 * [taylor]: Taking taylor expansion of 1/6 in c 9.034 * [backup-simplify]: Simplify 1/6 into 1/6 9.034 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 3) in c 9.034 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.034 * [taylor]: Taking taylor expansion of c in c 9.034 * [backup-simplify]: Simplify 0 into 0 9.034 * [backup-simplify]: Simplify 1 into 1 9.034 * [backup-simplify]: Simplify (/ 1 1) into 1 9.034 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c 9.034 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) 9.034 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c 9.034 * [taylor]: Taking taylor expansion of 1/120 in c 9.034 * [backup-simplify]: Simplify 1/120 into 1/120 9.034 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c 9.034 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.034 * [taylor]: Taking taylor expansion of c in c 9.034 * [backup-simplify]: Simplify 0 into 0 9.034 * [backup-simplify]: Simplify 1 into 1 9.035 * [backup-simplify]: Simplify (/ 1 1) into 1 9.035 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.035 * [taylor]: Taking taylor expansion of c in c 9.035 * [backup-simplify]: Simplify 0 into 0 9.035 * [backup-simplify]: Simplify 1 into 1 9.035 * [backup-simplify]: Simplify (/ 1 1) into 1 9.035 * [backup-simplify]: Simplify (* 1 1) into 1 9.035 * [backup-simplify]: Simplify (* 1 1) into 1 9.036 * [backup-simplify]: Simplify (* 1 1) into 1 9.036 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 9.036 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 9.037 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 9.037 * [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)))) 9.037 * [taylor]: Taking taylor expansion of 1 in c 9.037 * [backup-simplify]: Simplify 1 into 1 9.037 * [backup-simplify]: Simplify (- 1) into -1 9.037 * [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) 9.038 * [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)))) 9.038 * [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))) 9.038 * [backup-simplify]: Simplify (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) into (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 9.038 * [backup-simplify]: Simplify (- 0) into 0 9.039 * [backup-simplify]: Simplify (+ 0 0) into 0 9.039 * [backup-simplify]: Simplify (+ 0 0) into 0 9.040 * [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 9.040 * [backup-simplify]: Simplify 0 into 0 9.040 * [backup-simplify]: Simplify (- 0) into 0 9.040 * [backup-simplify]: Simplify (+ 0 0) into 0 9.040 * [backup-simplify]: Simplify (+ 0 0) into 0 9.042 * [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 9.042 * [backup-simplify]: Simplify 0 into 0 9.042 * [backup-simplify]: Simplify (- 0) into 0 9.042 * [backup-simplify]: Simplify (+ 0 0) into 0 9.043 * [backup-simplify]: Simplify (+ 0 0) into 0 9.045 * [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 9.045 * [backup-simplify]: Simplify 0 into 0 9.045 * [backup-simplify]: Simplify (- 0) into 0 9.046 * [backup-simplify]: Simplify (+ 0 0) into 0 9.046 * [backup-simplify]: Simplify (+ 0 0) into 0 9.053 * [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 9.053 * [backup-simplify]: Simplify 0 into 0 9.054 * [backup-simplify]: Simplify (- 0) into 0 9.054 * [backup-simplify]: Simplify (+ 0 0) into 0 9.055 * [backup-simplify]: Simplify (+ 0 0) into 0 9.076 * [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 9.076 * [backup-simplify]: Simplify 0 into 0 9.076 * [backup-simplify]: Simplify (- 0) into 0 9.077 * [backup-simplify]: Simplify (+ 0 0) into 0 9.077 * [backup-simplify]: Simplify (+ 0 0) into 0 9.093 * [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 9.093 * [backup-simplify]: Simplify 0 into 0 9.093 * [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)) 9.094 * [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))))) 9.094 * [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 9.094 * [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 9.094 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))))) 9.094 * [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 9.094 * [taylor]: Taking taylor expansion of 1 in c 9.094 * [backup-simplify]: Simplify 1 into 1 9.094 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in c 9.094 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1) 9.094 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in c 9.094 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c 9.095 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 c) 3)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 9.095 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 c) 3)) in c 9.095 * [taylor]: Taking taylor expansion of 1/6 in c 9.095 * [backup-simplify]: Simplify 1/6 into 1/6 9.095 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 3) in c 9.095 * [taylor]: Taking taylor expansion of (/ -1 c) in c 9.095 * [taylor]: Taking taylor expansion of -1 in c 9.095 * [backup-simplify]: Simplify -1 into -1 9.095 * [taylor]: Taking taylor expansion of c in c 9.095 * [backup-simplify]: Simplify 0 into 0 9.095 * [backup-simplify]: Simplify 1 into 1 9.095 * [backup-simplify]: Simplify (/ -1 1) into -1 9.095 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c 9.096 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c)) 9.096 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c 9.096 * [taylor]: Taking taylor expansion of 1/120 in c 9.096 * [backup-simplify]: Simplify 1/120 into 1/120 9.096 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c 9.096 * [taylor]: Taking taylor expansion of (/ -1 c) in c 9.096 * [taylor]: Taking taylor expansion of -1 in c 9.096 * [backup-simplify]: Simplify -1 into -1 9.096 * [taylor]: Taking taylor expansion of c in c 9.096 * [backup-simplify]: Simplify 0 into 0 9.096 * [backup-simplify]: Simplify 1 into 1 9.096 * [backup-simplify]: Simplify (/ -1 1) into -1 9.096 * [taylor]: Taking taylor expansion of (/ -1 c) in c 9.096 * [taylor]: Taking taylor expansion of -1 in c 9.096 * [backup-simplify]: Simplify -1 into -1 9.096 * [taylor]: Taking taylor expansion of c in c 9.096 * [backup-simplify]: Simplify 0 into 0 9.096 * [backup-simplify]: Simplify 1 into 1 9.097 * [backup-simplify]: Simplify (/ -1 1) into -1 9.097 * [backup-simplify]: Simplify (* -1 -1) into 1 9.098 * [backup-simplify]: Simplify (* 1 1) into 1 9.098 * [backup-simplify]: Simplify (* -1 1) into -1 9.098 * [backup-simplify]: Simplify (* 1/120 -1) into -1/120 9.099 * [backup-simplify]: Simplify (+ -1/120 0) into -1/120 9.099 * [backup-simplify]: Simplify (+ 0 -1/120) into -1/120 9.100 * [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)))) 9.100 * [taylor]: Taking taylor expansion of 1 in c 9.100 * [backup-simplify]: Simplify 1 into 1 9.100 * [backup-simplify]: Simplify (- 1) into -1 9.100 * [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) 9.101 * [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)))) 9.101 * [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))) 9.101 * [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 9.101 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))))) 9.101 * [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 9.102 * [taylor]: Taking taylor expansion of 1 in c 9.102 * [backup-simplify]: Simplify 1 into 1 9.102 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in c 9.102 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1) 9.102 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in c 9.102 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c 9.102 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 c) 3)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 9.102 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 c) 3)) in c 9.102 * [taylor]: Taking taylor expansion of 1/6 in c 9.102 * [backup-simplify]: Simplify 1/6 into 1/6 9.102 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 3) in c 9.102 * [taylor]: Taking taylor expansion of (/ -1 c) in c 9.102 * [taylor]: Taking taylor expansion of -1 in c 9.102 * [backup-simplify]: Simplify -1 into -1 9.102 * [taylor]: Taking taylor expansion of c in c 9.102 * [backup-simplify]: Simplify 0 into 0 9.102 * [backup-simplify]: Simplify 1 into 1 9.103 * [backup-simplify]: Simplify (/ -1 1) into -1 9.103 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c 9.103 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c)) 9.103 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c 9.103 * [taylor]: Taking taylor expansion of 1/120 in c 9.103 * [backup-simplify]: Simplify 1/120 into 1/120 9.103 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c 9.103 * [taylor]: Taking taylor expansion of (/ -1 c) in c 9.103 * [taylor]: Taking taylor expansion of -1 in c 9.103 * [backup-simplify]: Simplify -1 into -1 9.103 * [taylor]: Taking taylor expansion of c in c 9.103 * [backup-simplify]: Simplify 0 into 0 9.103 * [backup-simplify]: Simplify 1 into 1 9.103 * [backup-simplify]: Simplify (/ -1 1) into -1 9.104 * [taylor]: Taking taylor expansion of (/ -1 c) in c 9.104 * [taylor]: Taking taylor expansion of -1 in c 9.104 * [backup-simplify]: Simplify -1 into -1 9.104 * [taylor]: Taking taylor expansion of c in c 9.104 * [backup-simplify]: Simplify 0 into 0 9.104 * [backup-simplify]: Simplify 1 into 1 9.104 * [backup-simplify]: Simplify (/ -1 1) into -1 9.104 * [backup-simplify]: Simplify (* -1 -1) into 1 9.105 * [backup-simplify]: Simplify (* 1 1) into 1 9.105 * [backup-simplify]: Simplify (* -1 1) into -1 9.106 * [backup-simplify]: Simplify (* 1/120 -1) into -1/120 9.106 * [backup-simplify]: Simplify (+ -1/120 0) into -1/120 9.106 * [backup-simplify]: Simplify (+ 0 -1/120) into -1/120 9.107 * [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)))) 9.107 * [taylor]: Taking taylor expansion of 1 in c 9.107 * [backup-simplify]: Simplify 1 into 1 9.107 * [backup-simplify]: Simplify (- 1) into -1 9.108 * [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) 9.108 * [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)))) 9.108 * [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))) 9.109 * [backup-simplify]: Simplify (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) into (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 9.109 * [backup-simplify]: Simplify (- 0) into 0 9.110 * [backup-simplify]: Simplify (+ 0 0) into 0 9.110 * [backup-simplify]: Simplify (+ 0 0) into 0 9.111 * [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 9.111 * [backup-simplify]: Simplify 0 into 0 9.112 * [backup-simplify]: Simplify (- 0) into 0 9.112 * [backup-simplify]: Simplify (+ 0 0) into 0 9.112 * [backup-simplify]: Simplify (+ 0 0) into 0 9.114 * [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 9.114 * [backup-simplify]: Simplify 0 into 0 9.115 * [backup-simplify]: Simplify (- 0) into 0 9.115 * [backup-simplify]: Simplify (+ 0 0) into 0 9.115 * [backup-simplify]: Simplify (+ 0 0) into 0 9.118 * [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 9.118 * [backup-simplify]: Simplify 0 into 0 9.118 * [backup-simplify]: Simplify (- 0) into 0 9.118 * [backup-simplify]: Simplify (+ 0 0) into 0 9.118 * [backup-simplify]: Simplify (+ 0 0) into 0 9.123 * [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 9.123 * [backup-simplify]: Simplify 0 into 0 9.123 * [backup-simplify]: Simplify (- 0) into 0 9.123 * [backup-simplify]: Simplify (+ 0 0) into 0 9.124 * [backup-simplify]: Simplify (+ 0 0) into 0 9.130 * [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 9.130 * [backup-simplify]: Simplify 0 into 0 9.131 * [backup-simplify]: Simplify (- 0) into 0 9.131 * [backup-simplify]: Simplify (+ 0 0) into 0 9.131 * [backup-simplify]: Simplify (+ 0 0) into 0 9.141 * [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 9.141 * [backup-simplify]: Simplify 0 into 0 9.141 * [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)) 9.141 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 9.141 * [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))) 9.141 * [approximate]: Taking taylor expansion of (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in (c) around 0 9.141 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in c 9.141 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 1) 9.142 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in c 9.142 * [taylor]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in c 9.142 * [taylor]: Rewrote expression to (+ (* 1/6 (pow c 3)) (fma 1/120 (pow c 5) c)) 9.142 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 9.142 * [taylor]: Taking taylor expansion of 1/6 in c 9.142 * [backup-simplify]: Simplify 1/6 into 1/6 9.142 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.142 * [taylor]: Taking taylor expansion of c in c 9.142 * [backup-simplify]: Simplify 0 into 0 9.142 * [backup-simplify]: Simplify 1 into 1 9.142 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c 9.142 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c) 9.142 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 9.142 * [taylor]: Taking taylor expansion of 1/120 in c 9.142 * [backup-simplify]: Simplify 1/120 into 1/120 9.142 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.142 * [taylor]: Taking taylor expansion of c in c 9.142 * [backup-simplify]: Simplify 0 into 0 9.142 * [backup-simplify]: Simplify 1 into 1 9.142 * [taylor]: Taking taylor expansion of c in c 9.142 * [backup-simplify]: Simplify 0 into 0 9.142 * [backup-simplify]: Simplify 1 into 1 9.143 * [backup-simplify]: Simplify (+ 0 0) into 0 9.143 * [backup-simplify]: Simplify (+ 0 0) into 0 9.143 * [backup-simplify]: Simplify (+ 0 1) into 1 9.144 * [backup-simplify]: Simplify (+ 0 1) into 1 9.144 * [backup-simplify]: Simplify (exp 0) into 1 9.144 * [taylor]: Taking taylor expansion of 1 in c 9.144 * [backup-simplify]: Simplify 1 into 1 9.144 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in c 9.144 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 1) 9.144 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in c 9.144 * [taylor]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in c 9.144 * [taylor]: Rewrote expression to (+ (* 1/6 (pow c 3)) (fma 1/120 (pow c 5) c)) 9.144 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 9.144 * [taylor]: Taking taylor expansion of 1/6 in c 9.144 * [backup-simplify]: Simplify 1/6 into 1/6 9.144 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.144 * [taylor]: Taking taylor expansion of c in c 9.144 * [backup-simplify]: Simplify 0 into 0 9.145 * [backup-simplify]: Simplify 1 into 1 9.145 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c 9.145 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c) 9.145 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 9.145 * [taylor]: Taking taylor expansion of 1/120 in c 9.145 * [backup-simplify]: Simplify 1/120 into 1/120 9.145 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.145 * [taylor]: Taking taylor expansion of c in c 9.145 * [backup-simplify]: Simplify 0 into 0 9.145 * [backup-simplify]: Simplify 1 into 1 9.145 * [taylor]: Taking taylor expansion of c in c 9.145 * [backup-simplify]: Simplify 0 into 0 9.145 * [backup-simplify]: Simplify 1 into 1 9.145 * [backup-simplify]: Simplify (+ 0 0) into 0 9.146 * [backup-simplify]: Simplify (+ 0 0) into 0 9.146 * [backup-simplify]: Simplify (+ 0 1) into 1 9.146 * [backup-simplify]: Simplify (+ 0 1) into 1 9.147 * [backup-simplify]: Simplify (exp 0) into 1 9.147 * [taylor]: Taking taylor expansion of 1 in c 9.147 * [backup-simplify]: Simplify 1 into 1 9.147 * [backup-simplify]: Simplify (- 1) into -1 9.147 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.147 * [backup-simplify]: Simplify 0 into 0 9.148 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 9.149 * [backup-simplify]: Simplify (- 0) into 0 9.149 * [backup-simplify]: Simplify (+ 1 0) into 1 9.149 * [backup-simplify]: Simplify 1 into 1 9.150 * [backup-simplify]: Simplify (+ 0 0) into 0 9.150 * [backup-simplify]: Simplify (+ 0 0) into 0 9.152 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 9.152 * [backup-simplify]: Simplify (- 0) into 0 9.152 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 9.153 * [backup-simplify]: Simplify 1/2 into 1/2 9.153 * [backup-simplify]: Simplify (* 1 1) into 1 9.153 * [backup-simplify]: Simplify (* 1 1) into 1 9.154 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 9.154 * [backup-simplify]: Simplify (+ 0 0) into 0 9.154 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 9.157 * [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 9.158 * [backup-simplify]: Simplify (- 0) into 0 9.158 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 9.158 * [backup-simplify]: Simplify 1/3 into 1/3 9.159 * [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)) 9.159 * [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)))) 9.159 * [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 9.159 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in c 9.159 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1) 9.159 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in c 9.159 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c 9.160 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 c) 3)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 9.160 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 c) 3)) in c 9.160 * [taylor]: Taking taylor expansion of 1/6 in c 9.160 * [backup-simplify]: Simplify 1/6 into 1/6 9.160 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 3) in c 9.160 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.160 * [taylor]: Taking taylor expansion of c in c 9.160 * [backup-simplify]: Simplify 0 into 0 9.160 * [backup-simplify]: Simplify 1 into 1 9.160 * [backup-simplify]: Simplify (/ 1 1) into 1 9.160 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c 9.160 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) 9.160 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c 9.160 * [taylor]: Taking taylor expansion of 1/120 in c 9.160 * [backup-simplify]: Simplify 1/120 into 1/120 9.160 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c 9.160 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.160 * [taylor]: Taking taylor expansion of c in c 9.161 * [backup-simplify]: Simplify 0 into 0 9.161 * [backup-simplify]: Simplify 1 into 1 9.161 * [backup-simplify]: Simplify (/ 1 1) into 1 9.161 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.161 * [taylor]: Taking taylor expansion of c in c 9.161 * [backup-simplify]: Simplify 0 into 0 9.161 * [backup-simplify]: Simplify 1 into 1 9.161 * [backup-simplify]: Simplify (/ 1 1) into 1 9.162 * [backup-simplify]: Simplify (* 1 1) into 1 9.162 * [backup-simplify]: Simplify (* 1 1) into 1 9.162 * [backup-simplify]: Simplify (* 1 1) into 1 9.163 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 9.163 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 9.164 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 9.164 * [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)))) 9.164 * [taylor]: Taking taylor expansion of 1 in c 9.164 * [backup-simplify]: Simplify 1 into 1 9.164 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in c 9.164 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1) 9.164 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in c 9.164 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c 9.164 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 c) 3)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 9.165 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 c) 3)) in c 9.165 * [taylor]: Taking taylor expansion of 1/6 in c 9.165 * [backup-simplify]: Simplify 1/6 into 1/6 9.165 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 3) in c 9.165 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.165 * [taylor]: Taking taylor expansion of c in c 9.165 * [backup-simplify]: Simplify 0 into 0 9.165 * [backup-simplify]: Simplify 1 into 1 9.165 * [backup-simplify]: Simplify (/ 1 1) into 1 9.165 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c 9.165 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) 9.165 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c 9.165 * [taylor]: Taking taylor expansion of 1/120 in c 9.165 * [backup-simplify]: Simplify 1/120 into 1/120 9.165 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c 9.165 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.165 * [taylor]: Taking taylor expansion of c in c 9.165 * [backup-simplify]: Simplify 0 into 0 9.165 * [backup-simplify]: Simplify 1 into 1 9.166 * [backup-simplify]: Simplify (/ 1 1) into 1 9.166 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.166 * [taylor]: Taking taylor expansion of c in c 9.166 * [backup-simplify]: Simplify 0 into 0 9.166 * [backup-simplify]: Simplify 1 into 1 9.166 * [backup-simplify]: Simplify (/ 1 1) into 1 9.167 * [backup-simplify]: Simplify (* 1 1) into 1 9.167 * [backup-simplify]: Simplify (* 1 1) into 1 9.167 * [backup-simplify]: Simplify (* 1 1) into 1 9.168 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 9.168 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 9.169 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 9.169 * [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)))) 9.169 * [taylor]: Taking taylor expansion of 1 in c 9.169 * [backup-simplify]: Simplify 1 into 1 9.169 * [backup-simplify]: Simplify (- 1) into -1 9.170 * [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) 9.170 * [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) 9.171 * [backup-simplify]: Simplify (- 0) into 0 9.171 * [backup-simplify]: Simplify (+ 0 0) into 0 9.171 * [backup-simplify]: Simplify 0 into 0 9.172 * [backup-simplify]: Simplify (- 0) into 0 9.172 * [backup-simplify]: Simplify (+ 0 0) into 0 9.172 * [backup-simplify]: Simplify 0 into 0 9.172 * [backup-simplify]: Simplify (- 0) into 0 9.173 * [backup-simplify]: Simplify (+ 0 0) into 0 9.173 * [backup-simplify]: Simplify 0 into 0 9.173 * [backup-simplify]: Simplify (- 0) into 0 9.174 * [backup-simplify]: Simplify (+ 0 0) into 0 9.174 * [backup-simplify]: Simplify 0 into 0 9.174 * [backup-simplify]: Simplify (- 0) into 0 9.174 * [backup-simplify]: Simplify (+ 0 0) into 0 9.174 * [backup-simplify]: Simplify 0 into 0 9.175 * [backup-simplify]: Simplify (- 0) into 0 9.175 * [backup-simplify]: Simplify (+ 0 0) into 0 9.175 * [backup-simplify]: Simplify 0 into 0 9.176 * [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) 9.176 * [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)))) 9.176 * [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 9.176 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in c 9.176 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1) 9.176 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in c 9.176 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c 9.176 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 c) 3)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 9.176 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 c) 3)) in c 9.176 * [taylor]: Taking taylor expansion of 1/6 in c 9.176 * [backup-simplify]: Simplify 1/6 into 1/6 9.177 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 3) in c 9.177 * [taylor]: Taking taylor expansion of (/ -1 c) in c 9.177 * [taylor]: Taking taylor expansion of -1 in c 9.177 * [backup-simplify]: Simplify -1 into -1 9.177 * [taylor]: Taking taylor expansion of c in c 9.177 * [backup-simplify]: Simplify 0 into 0 9.177 * [backup-simplify]: Simplify 1 into 1 9.177 * [backup-simplify]: Simplify (/ -1 1) into -1 9.177 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c 9.177 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c)) 9.177 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c 9.177 * [taylor]: Taking taylor expansion of 1/120 in c 9.177 * [backup-simplify]: Simplify 1/120 into 1/120 9.177 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c 9.177 * [taylor]: Taking taylor expansion of (/ -1 c) in c 9.178 * [taylor]: Taking taylor expansion of -1 in c 9.178 * [backup-simplify]: Simplify -1 into -1 9.178 * [taylor]: Taking taylor expansion of c in c 9.178 * [backup-simplify]: Simplify 0 into 0 9.178 * [backup-simplify]: Simplify 1 into 1 9.178 * [backup-simplify]: Simplify (/ -1 1) into -1 9.178 * [taylor]: Taking taylor expansion of (/ -1 c) in c 9.178 * [taylor]: Taking taylor expansion of -1 in c 9.178 * [backup-simplify]: Simplify -1 into -1 9.178 * [taylor]: Taking taylor expansion of c in c 9.178 * [backup-simplify]: Simplify 0 into 0 9.178 * [backup-simplify]: Simplify 1 into 1 9.179 * [backup-simplify]: Simplify (/ -1 1) into -1 9.179 * [backup-simplify]: Simplify (* -1 -1) into 1 9.180 * [backup-simplify]: Simplify (* 1 1) into 1 9.180 * [backup-simplify]: Simplify (* -1 1) into -1 9.180 * [backup-simplify]: Simplify (* 1/120 -1) into -1/120 9.181 * [backup-simplify]: Simplify (+ -1/120 0) into -1/120 9.181 * [backup-simplify]: Simplify (+ 0 -1/120) into -1/120 9.182 * [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)))) 9.182 * [taylor]: Taking taylor expansion of 1 in c 9.182 * [backup-simplify]: Simplify 1 into 1 9.182 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in c 9.182 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1) 9.182 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in c 9.182 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c 9.182 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 c) 3)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 9.182 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 c) 3)) in c 9.182 * [taylor]: Taking taylor expansion of 1/6 in c 9.182 * [backup-simplify]: Simplify 1/6 into 1/6 9.182 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 3) in c 9.182 * [taylor]: Taking taylor expansion of (/ -1 c) in c 9.182 * [taylor]: Taking taylor expansion of -1 in c 9.182 * [backup-simplify]: Simplify -1 into -1 9.182 * [taylor]: Taking taylor expansion of c in c 9.182 * [backup-simplify]: Simplify 0 into 0 9.182 * [backup-simplify]: Simplify 1 into 1 9.183 * [backup-simplify]: Simplify (/ -1 1) into -1 9.183 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c 9.183 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c)) 9.183 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c 9.183 * [taylor]: Taking taylor expansion of 1/120 in c 9.183 * [backup-simplify]: Simplify 1/120 into 1/120 9.183 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c 9.183 * [taylor]: Taking taylor expansion of (/ -1 c) in c 9.183 * [taylor]: Taking taylor expansion of -1 in c 9.183 * [backup-simplify]: Simplify -1 into -1 9.183 * [taylor]: Taking taylor expansion of c in c 9.183 * [backup-simplify]: Simplify 0 into 0 9.183 * [backup-simplify]: Simplify 1 into 1 9.184 * [backup-simplify]: Simplify (/ -1 1) into -1 9.184 * [taylor]: Taking taylor expansion of (/ -1 c) in c 9.184 * [taylor]: Taking taylor expansion of -1 in c 9.184 * [backup-simplify]: Simplify -1 into -1 9.184 * [taylor]: Taking taylor expansion of c in c 9.184 * [backup-simplify]: Simplify 0 into 0 9.184 * [backup-simplify]: Simplify 1 into 1 9.184 * [backup-simplify]: Simplify (/ -1 1) into -1 9.185 * [backup-simplify]: Simplify (* -1 -1) into 1 9.185 * [backup-simplify]: Simplify (* 1 1) into 1 9.185 * [backup-simplify]: Simplify (* -1 1) into -1 9.186 * [backup-simplify]: Simplify (* 1/120 -1) into -1/120 9.186 * [backup-simplify]: Simplify (+ -1/120 0) into -1/120 9.187 * [backup-simplify]: Simplify (+ 0 -1/120) into -1/120 9.187 * [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)))) 9.187 * [taylor]: Taking taylor expansion of 1 in c 9.187 * [backup-simplify]: Simplify 1 into 1 9.188 * [backup-simplify]: Simplify (- 1) into -1 9.188 * [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) 9.188 * [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) 9.189 * [backup-simplify]: Simplify (- 0) into 0 9.189 * [backup-simplify]: Simplify (+ 0 0) into 0 9.189 * [backup-simplify]: Simplify 0 into 0 9.190 * [backup-simplify]: Simplify (- 0) into 0 9.190 * [backup-simplify]: Simplify (+ 0 0) into 0 9.190 * [backup-simplify]: Simplify 0 into 0 9.190 * [backup-simplify]: Simplify (- 0) into 0 9.191 * [backup-simplify]: Simplify (+ 0 0) into 0 9.191 * [backup-simplify]: Simplify 0 into 0 9.191 * [backup-simplify]: Simplify (- 0) into 0 9.192 * [backup-simplify]: Simplify (+ 0 0) into 0 9.192 * [backup-simplify]: Simplify 0 into 0 9.192 * [backup-simplify]: Simplify (- 0) into 0 9.192 * [backup-simplify]: Simplify (+ 0 0) into 0 9.192 * [backup-simplify]: Simplify 0 into 0 9.193 * [backup-simplify]: Simplify (- 0) into 0 9.193 * [backup-simplify]: Simplify (+ 0 0) into 0 9.193 * [backup-simplify]: Simplify 0 into 0 9.194 * [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) 9.194 * * * [progress]: simplifying candidates 9.195 * [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) 9.196 * * [simplify]: Extracting # 0 : cost 0 9.196 * * [simplify]: Extracting # 1 : cost 0 9.196 * * [simplify]: Extracting # 2 : cost 0 9.196 * * [simplify]: Extracting # 3 : cost 0 9.196 * * [simplify]: Extracting # 4 : cost 0 9.196 * * [simplify]: Extracting # 5 : cost 0 9.197 * * [simplify]: Extracting # 6 : cost 0 9.197 * * [simplify]: Extracting # 7 : cost 0 9.197 * * [simplify]: iteration 0 : 44 enodes (cost 426 ) 9.218 * * [simplify]: Extracting # 0 : cost 0 9.218 * * [simplify]: Extracting # 1 : cost 0 9.218 * * [simplify]: Extracting # 2 : cost 0 9.219 * * [simplify]: Extracting # 3 : cost 0 9.219 * * [simplify]: Extracting # 4 : cost 0 9.219 * * [simplify]: iteration 1 : 84 enodes (cost 392 ) 9.266 * * [simplify]: Extracting # 0 : cost 0 9.266 * * [simplify]: Extracting # 1 : cost 0 9.267 * * [simplify]: Extracting # 2 : cost 0 9.267 * * [simplify]: Extracting # 3 : cost 0 9.268 * * [simplify]: Extracting # 4 : cost 0 9.268 * * [simplify]: iteration 2 : 282 enodes (cost 346 ) 9.583 * * [simplify]: Extracting # 0 : cost 0 9.586 * * [simplify]: Extracting # 1 : cost 0 9.589 * * [simplify]: Extracting # 2 : cost 0 9.593 * * [simplify]: Extracting # 3 : cost 0 9.596 * * [simplify]: Extracting # 4 : cost 0 9.599 * * [simplify]: iteration 3 : 1599 enodes (cost 344 ) 10.534 * * [simplify]: Extracting # 0 : cost 0 10.545 * * [simplify]: Extracting # 1 : cost 0 10.553 * * [simplify]: Extracting # 2 : cost 0 10.565 * * [simplify]: Extracting # 3 : cost 0 10.571 * * [simplify]: Extracting # 4 : cost 0 10.577 * * [simplify]: iteration done: 5000 enodes (cost 342 ) 10.577 * [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))) 10.577 * * * [progress]: adding candidates to table 10.762 * [progress]: [Phase 3 of 3] Extracting. 10.762 * * [regime]: Finding splitpoints for: (# # #) 10.763 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c) 10.763 * * * * [regimes]: Trying to branch on (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) from (# # #) 10.849 * * * * [regimes]: Trying to branch on c from (# # #) 10.911 * * * [regime]: Found split indices: #