0.002 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.385 * * * [progress]: [2/2] Setting up program. 0.389 * [progress]: [Phase 2 of 3] Improving. 0.390 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.391 * [simplify]: Simplifying (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2))) 0.392 * * [simplify]: iteration 1: (7 enodes) 0.404 * * [simplify]: iteration 2: (33 enodes) 0.417 * * [simplify]: iteration 3: (57 enodes) 0.434 * * [simplify]: iteration 4: (75 enodes) 0.455 * * [simplify]: iteration 5: (88 enodes) 0.500 * * [simplify]: iteration 6: (95 enodes) 0.516 * * [simplify]: iteration 7: (97 enodes) 0.530 * * [simplify]: Extracting #0: cost 1 inf + 0 0.530 * * [simplify]: Extracting #1: cost 4 inf + 0 0.530 * * [simplify]: Extracting #2: cost 14 inf + 0 0.531 * * [simplify]: Extracting #3: cost 28 inf + 2 0.531 * * [simplify]: Extracting #4: cost 20 inf + 644 0.531 * * [simplify]: Extracting #5: cost 2 inf + 2742 0.532 * * [simplify]: Extracting #6: cost 0 inf + 2894 0.532 * * [simplify]: Extracting #7: cost 0 inf + 2893 0.533 * [simplify]: Simplified to (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))) 0.541 * * [progress]: iteration 1 / 4 0.541 * * * [progress]: picking best candidate 0.543 * * * * [pick]: Picked # 0.543 * * * [progress]: localizing error 0.556 * * * [progress]: generating rewritten candidates 0.557 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.563 * * * [progress]: generating series expansions 0.564 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.568 * [backup-simplify]: Simplify (sinh c) into (sinh c) 0.568 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 0.569 * [taylor]: Taking taylor expansion of (sinh c) in c 0.571 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 0.571 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 0.571 * [taylor]: Taking taylor expansion of (exp c) in c 0.571 * [taylor]: Taking taylor expansion of c in c 0.571 * [backup-simplify]: Simplify 0 into 0 0.571 * [backup-simplify]: Simplify 1 into 1 0.571 * [backup-simplify]: Simplify (exp 0) into 1 0.572 * [taylor]: Taking taylor expansion of (exp (- c)) in c 0.572 * [taylor]: Taking taylor expansion of (- c) in c 0.572 * [taylor]: Taking taylor expansion of c in c 0.572 * [backup-simplify]: Simplify 0 into 0 0.572 * [backup-simplify]: Simplify 1 into 1 0.572 * [backup-simplify]: Simplify (- 0) into 0 0.573 * [backup-simplify]: Simplify (- 1) into -1 0.573 * [backup-simplify]: Simplify (exp 0) into 1 0.573 * [taylor]: Taking taylor expansion of 2 in c 0.573 * [backup-simplify]: Simplify 2 into 2 0.574 * [backup-simplify]: Simplify (- 1) into -1 0.575 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.576 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.577 * [backup-simplify]: Simplify (- 1) into -1 0.578 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 0.578 * [backup-simplify]: Simplify (- -1) into 1 0.579 * [backup-simplify]: Simplify (+ 1 1) into 2 0.579 * [backup-simplify]: Simplify (/ 2 2) into 1 0.579 * [taylor]: Taking taylor expansion of (sinh c) in c 0.579 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 0.579 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 0.579 * [taylor]: Taking taylor expansion of (exp c) in c 0.579 * [taylor]: Taking taylor expansion of c in c 0.579 * [backup-simplify]: Simplify 0 into 0 0.579 * [backup-simplify]: Simplify 1 into 1 0.579 * [backup-simplify]: Simplify (exp 0) into 1 0.579 * [taylor]: Taking taylor expansion of (exp (- c)) in c 0.579 * [taylor]: Taking taylor expansion of (- c) in c 0.579 * [taylor]: Taking taylor expansion of c in c 0.579 * [backup-simplify]: Simplify 0 into 0 0.579 * [backup-simplify]: Simplify 1 into 1 0.580 * [backup-simplify]: Simplify (- 0) into 0 0.580 * [backup-simplify]: Simplify (- 1) into -1 0.580 * [backup-simplify]: Simplify (exp 0) into 1 0.580 * [taylor]: Taking taylor expansion of 2 in c 0.580 * [backup-simplify]: Simplify 2 into 2 0.581 * [backup-simplify]: Simplify (- 1) into -1 0.581 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.591 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.591 * [backup-simplify]: Simplify (- 1) into -1 0.592 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 0.592 * [backup-simplify]: Simplify (- -1) into 1 0.593 * [backup-simplify]: Simplify (+ 1 1) into 2 0.593 * [backup-simplify]: Simplify (/ 2 2) into 1 0.593 * [backup-simplify]: Simplify 1 into 1 0.595 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.595 * [backup-simplify]: Simplify (- 1) into -1 0.596 * [backup-simplify]: Simplify (- 0) into 0 0.597 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.597 * [backup-simplify]: Simplify (- 1/2) into -1/2 0.597 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 0.598 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 0.598 * [backup-simplify]: Simplify 0 into 0 0.599 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 0.599 * [backup-simplify]: Simplify (- 1) into -1 0.600 * [backup-simplify]: Simplify (- 1) into -1 0.600 * [backup-simplify]: Simplify (- 0) into 0 0.600 * [backup-simplify]: Simplify (- 0) into 0 0.601 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 0.602 * [backup-simplify]: Simplify (- -1/6) into 1/6 0.602 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 0.603 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 0.603 * [backup-simplify]: Simplify 1/6 into 1/6 0.605 * [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 0.606 * [backup-simplify]: Simplify (- 1) into -1 0.606 * [backup-simplify]: Simplify (- 1) into -1 0.606 * [backup-simplify]: Simplify (- 0) into 0 0.606 * [backup-simplify]: Simplify (- 1) into -1 0.607 * [backup-simplify]: Simplify (- 0) into 0 0.607 * [backup-simplify]: Simplify (- 0) into 0 0.607 * [backup-simplify]: Simplify (- 0) into 0 0.609 * [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 0.609 * [backup-simplify]: Simplify (- 1/24) into -1/24 0.610 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 0.610 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 0.611 * [backup-simplify]: Simplify 0 into 0 0.614 * [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 0.615 * [backup-simplify]: Simplify (- 1) into -1 0.615 * [backup-simplify]: Simplify (- 1) into -1 0.615 * [backup-simplify]: Simplify (- 0) into 0 0.616 * [backup-simplify]: Simplify (- 1) into -1 0.616 * [backup-simplify]: Simplify (- 0) into 0 0.616 * [backup-simplify]: Simplify (- 1) into -1 0.617 * [backup-simplify]: Simplify (- 0) into 0 0.617 * [backup-simplify]: Simplify (- 1) into -1 0.617 * [backup-simplify]: Simplify (- 0) into 0 0.618 * [backup-simplify]: Simplify (- 0) into 0 0.618 * [backup-simplify]: Simplify (- 0) into 0 0.618 * [backup-simplify]: Simplify (- 0) into 0 0.621 * [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 0.622 * [backup-simplify]: Simplify (- -1/120) into 1/120 0.622 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 0.623 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 0.623 * [backup-simplify]: Simplify 1/120 into 1/120 0.626 * [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)) 0.626 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 0.626 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 0.626 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 0.626 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 0.626 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 0.626 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 0.626 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.626 * [taylor]: Taking taylor expansion of c in c 0.626 * [backup-simplify]: Simplify 0 into 0 0.626 * [backup-simplify]: Simplify 1 into 1 0.626 * [backup-simplify]: Simplify (/ 1 1) into 1 0.627 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 0.627 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 0.627 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 0.627 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.627 * [taylor]: Taking taylor expansion of c in c 0.627 * [backup-simplify]: Simplify 0 into 0 0.627 * [backup-simplify]: Simplify 1 into 1 0.627 * [backup-simplify]: Simplify (/ 1 1) into 1 0.627 * [backup-simplify]: Simplify (- 1) into -1 0.627 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 0.627 * [taylor]: Taking taylor expansion of 2 in c 0.627 * [backup-simplify]: Simplify 2 into 2 0.628 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 0.628 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 0.628 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0.628 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 0.628 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 0.628 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 0.628 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 0.628 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.628 * [taylor]: Taking taylor expansion of c in c 0.628 * [backup-simplify]: Simplify 0 into 0 0.628 * [backup-simplify]: Simplify 1 into 1 0.628 * [backup-simplify]: Simplify (/ 1 1) into 1 0.628 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 0.628 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 0.628 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 0.628 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.628 * [taylor]: Taking taylor expansion of c in c 0.628 * [backup-simplify]: Simplify 0 into 0 0.628 * [backup-simplify]: Simplify 1 into 1 0.629 * [backup-simplify]: Simplify (/ 1 1) into 1 0.629 * [backup-simplify]: Simplify (- 1) into -1 0.629 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 0.629 * [taylor]: Taking taylor expansion of 2 in c 0.629 * [backup-simplify]: Simplify 2 into 2 0.629 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 0.629 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 0.629 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0.629 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0.630 * [backup-simplify]: Simplify (- 0) into 0 0.630 * [backup-simplify]: Simplify (+ 0 0) into 0 0.630 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 0.630 * [backup-simplify]: Simplify 0 into 0 0.631 * [backup-simplify]: Simplify (- 0) into 0 0.631 * [backup-simplify]: Simplify (+ 0 0) into 0 0.632 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.632 * [backup-simplify]: Simplify 0 into 0 0.632 * [backup-simplify]: Simplify (- 0) into 0 0.632 * [backup-simplify]: Simplify (+ 0 0) into 0 0.634 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.634 * [backup-simplify]: Simplify 0 into 0 0.635 * [backup-simplify]: Simplify (- 0) into 0 0.635 * [backup-simplify]: Simplify (+ 0 0) into 0 0.638 * [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 0.638 * [backup-simplify]: Simplify 0 into 0 0.638 * [backup-simplify]: Simplify (- 0) into 0 0.639 * [backup-simplify]: Simplify (+ 0 0) into 0 0.642 * [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 0.642 * [backup-simplify]: Simplify 0 into 0 0.642 * [backup-simplify]: Simplify (- 0) into 0 0.642 * [backup-simplify]: Simplify (+ 0 0) into 0 0.646 * [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 0.646 * [backup-simplify]: Simplify 0 into 0 0.646 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 0.647 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 0.647 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 0.647 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 0.647 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 0.647 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 0.647 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 0.647 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.647 * [taylor]: Taking taylor expansion of -1 in c 0.647 * [backup-simplify]: Simplify -1 into -1 0.647 * [taylor]: Taking taylor expansion of c in c 0.647 * [backup-simplify]: Simplify 0 into 0 0.647 * [backup-simplify]: Simplify 1 into 1 0.647 * [backup-simplify]: Simplify (/ -1 1) into -1 0.647 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 0.648 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 0.648 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 0.648 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.648 * [taylor]: Taking taylor expansion of -1 in c 0.648 * [backup-simplify]: Simplify -1 into -1 0.648 * [taylor]: Taking taylor expansion of c in c 0.648 * [backup-simplify]: Simplify 0 into 0 0.648 * [backup-simplify]: Simplify 1 into 1 0.648 * [backup-simplify]: Simplify (/ -1 1) into -1 0.649 * [backup-simplify]: Simplify (- -1) into 1 0.649 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 0.649 * [taylor]: Taking taylor expansion of 2 in c 0.649 * [backup-simplify]: Simplify 2 into 2 0.649 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 0.649 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 0.649 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0.649 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 0.649 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 0.649 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 0.649 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 0.649 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.649 * [taylor]: Taking taylor expansion of -1 in c 0.649 * [backup-simplify]: Simplify -1 into -1 0.649 * [taylor]: Taking taylor expansion of c in c 0.649 * [backup-simplify]: Simplify 0 into 0 0.649 * [backup-simplify]: Simplify 1 into 1 0.650 * [backup-simplify]: Simplify (/ -1 1) into -1 0.650 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 0.650 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 0.650 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 0.650 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.650 * [taylor]: Taking taylor expansion of -1 in c 0.650 * [backup-simplify]: Simplify -1 into -1 0.650 * [taylor]: Taking taylor expansion of c in c 0.650 * [backup-simplify]: Simplify 0 into 0 0.650 * [backup-simplify]: Simplify 1 into 1 0.651 * [backup-simplify]: Simplify (/ -1 1) into -1 0.651 * [backup-simplify]: Simplify (- -1) into 1 0.651 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 0.651 * [taylor]: Taking taylor expansion of 2 in c 0.651 * [backup-simplify]: Simplify 2 into 2 0.651 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 0.651 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 0.651 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0.652 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0.652 * [backup-simplify]: Simplify (- 0) into 0 0.652 * [backup-simplify]: Simplify (+ 0 0) into 0 0.653 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 0.653 * [backup-simplify]: Simplify 0 into 0 0.654 * [backup-simplify]: Simplify (- 0) into 0 0.654 * [backup-simplify]: Simplify (+ 0 0) into 0 0.656 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.656 * [backup-simplify]: Simplify 0 into 0 0.656 * [backup-simplify]: Simplify (- 0) into 0 0.657 * [backup-simplify]: Simplify (+ 0 0) into 0 0.658 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.659 * [backup-simplify]: Simplify 0 into 0 0.659 * [backup-simplify]: Simplify (- 0) into 0 0.659 * [backup-simplify]: Simplify (+ 0 0) into 0 0.662 * [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 0.662 * [backup-simplify]: Simplify 0 into 0 0.662 * [backup-simplify]: Simplify (- 0) into 0 0.663 * [backup-simplify]: Simplify (+ 0 0) into 0 0.666 * [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 0.666 * [backup-simplify]: Simplify 0 into 0 0.667 * [backup-simplify]: Simplify (- 0) into 0 0.667 * [backup-simplify]: Simplify (+ 0 0) into 0 0.671 * [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 0.671 * [backup-simplify]: Simplify 0 into 0 0.671 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 0.671 * * * [progress]: simplifying candidates 0.671 * * * * [progress]: [ 1 / 12 ] simplifiying candidate # 0.671 * * * * [progress]: [ 2 / 12 ] simplifiying candidate # 0.671 * * * * [progress]: [ 3 / 12 ] simplifiying candidate # 0.672 * * * * [progress]: [ 4 / 12 ] simplifiying candidate # 0.672 * * * * [progress]: [ 5 / 12 ] simplifiying candidate # 0.672 * * * * [progress]: [ 6 / 12 ] simplifiying candidate # 0.672 * * * * [progress]: [ 7 / 12 ] simplifiying candidate # 0.672 * * * * [progress]: [ 8 / 12 ] simplifiying candidate # 0.672 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #real (real->posit16 (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 0.672 * * * * [progress]: [ 10 / 12 ] simplifiying candidate # 0.672 * * * * [progress]: [ 11 / 12 ] simplifiying candidate # 0.672 * * * * [progress]: [ 12 / 12 ] simplifiying candidate # 0.673 * [simplify]: Simplifying (- (exp c) (exp (- c))), (log (sinh c)), (exp (sinh c)), (* (cbrt (sinh c)) (cbrt (sinh c))), (cbrt (sinh c)), (* (* (sinh c) (sinh c)) (sinh c)), (sqrt (sinh c)), (sqrt (sinh c)), (real->posit16 (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)))) 0.673 * * [simplify]: iteration 1: (31 enodes) 0.690 * * [simplify]: iteration 2: (111 enodes) 0.720 * * [simplify]: iteration 3: (188 enodes) 0.777 * * [simplify]: iteration 4: (342 enodes) 0.874 * * [simplify]: iteration 5: (686 enodes) 1.128 * * [simplify]: iteration 6: (1912 enodes) 3.468 * * [simplify]: Extracting #0: cost 10 inf + 0 3.469 * * [simplify]: Extracting #1: cost 90 inf + 0 3.471 * * [simplify]: Extracting #2: cost 791 inf + 189 3.479 * * [simplify]: Extracting #3: cost 1818 inf + 12541 3.508 * * [simplify]: Extracting #4: cost 1348 inf + 167247 3.612 * * [simplify]: Extracting #5: cost 576 inf + 524519 3.729 * * [simplify]: Extracting #6: cost 86 inf + 847184 3.883 * * [simplify]: Extracting #7: cost 0 inf + 907149 4.008 * * [simplify]: Extracting #8: cost 0 inf + 905887 4.152 * [simplify]: Simplified to (+ (exp c) (/ -1 (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)), (real->posit16 (sinh c)), (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c), (- (* (exp c) 1/2) (/ 1/2 (exp c))), (- (* (exp c) 1/2) (/ 1/2 (exp c))) 4.154 * * * [progress]: adding candidates to table 4.215 * * [progress]: iteration 2 / 4 4.215 * * * [progress]: picking best candidate 4.217 * * * * [pick]: Picked # 4.218 * * * [progress]: localizing error 4.239 * * * [progress]: generating rewritten candidates 4.239 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 4.242 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 1) 4.244 * * * [progress]: generating series expansions 4.244 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 4.244 * [backup-simplify]: Simplify (exp (log (sinh c))) into (sinh c) 4.244 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 4.244 * [taylor]: Taking taylor expansion of (sinh c) in c 4.244 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 4.244 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 4.244 * [taylor]: Taking taylor expansion of (exp c) in c 4.244 * [taylor]: Taking taylor expansion of c in c 4.244 * [backup-simplify]: Simplify 0 into 0 4.244 * [backup-simplify]: Simplify 1 into 1 4.244 * [backup-simplify]: Simplify (exp 0) into 1 4.244 * [taylor]: Taking taylor expansion of (exp (- c)) in c 4.244 * [taylor]: Taking taylor expansion of (- c) in c 4.244 * [taylor]: Taking taylor expansion of c in c 4.244 * [backup-simplify]: Simplify 0 into 0 4.244 * [backup-simplify]: Simplify 1 into 1 4.245 * [backup-simplify]: Simplify (- 0) into 0 4.245 * [backup-simplify]: Simplify (- 1) into -1 4.245 * [backup-simplify]: Simplify (exp 0) into 1 4.245 * [taylor]: Taking taylor expansion of 2 in c 4.245 * [backup-simplify]: Simplify 2 into 2 4.245 * [backup-simplify]: Simplify (- 1) into -1 4.246 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.247 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.247 * [backup-simplify]: Simplify (- 1) into -1 4.248 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 4.248 * [backup-simplify]: Simplify (- -1) into 1 4.248 * [backup-simplify]: Simplify (+ 1 1) into 2 4.248 * [backup-simplify]: Simplify (/ 2 2) into 1 4.249 * [taylor]: Taking taylor expansion of (sinh c) in c 4.249 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 4.249 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 4.249 * [taylor]: Taking taylor expansion of (exp c) in c 4.249 * [taylor]: Taking taylor expansion of c in c 4.249 * [backup-simplify]: Simplify 0 into 0 4.249 * [backup-simplify]: Simplify 1 into 1 4.249 * [backup-simplify]: Simplify (exp 0) into 1 4.249 * [taylor]: Taking taylor expansion of (exp (- c)) in c 4.249 * [taylor]: Taking taylor expansion of (- c) in c 4.249 * [taylor]: Taking taylor expansion of c in c 4.249 * [backup-simplify]: Simplify 0 into 0 4.249 * [backup-simplify]: Simplify 1 into 1 4.249 * [backup-simplify]: Simplify (- 0) into 0 4.249 * [backup-simplify]: Simplify (- 1) into -1 4.249 * [backup-simplify]: Simplify (exp 0) into 1 4.249 * [taylor]: Taking taylor expansion of 2 in c 4.249 * [backup-simplify]: Simplify 2 into 2 4.250 * [backup-simplify]: Simplify (- 1) into -1 4.250 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.250 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.251 * [backup-simplify]: Simplify (- 1) into -1 4.251 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 4.251 * [backup-simplify]: Simplify (- -1) into 1 4.252 * [backup-simplify]: Simplify (+ 1 1) into 2 4.252 * [backup-simplify]: Simplify (/ 2 2) into 1 4.252 * [backup-simplify]: Simplify 1 into 1 4.253 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.253 * [backup-simplify]: Simplify (- 1) into -1 4.253 * [backup-simplify]: Simplify (- 0) into 0 4.254 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.255 * [backup-simplify]: Simplify (- 1/2) into -1/2 4.255 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 4.255 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 4.255 * [backup-simplify]: Simplify 0 into 0 4.257 * [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.257 * [backup-simplify]: Simplify (- 1) into -1 4.257 * [backup-simplify]: Simplify (- 1) into -1 4.257 * [backup-simplify]: Simplify (- 0) into 0 4.258 * [backup-simplify]: Simplify (- 0) into 0 4.259 * [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.259 * [backup-simplify]: Simplify (- -1/6) into 1/6 4.259 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 4.260 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 4.260 * [backup-simplify]: Simplify 1/6 into 1/6 4.262 * [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.263 * [backup-simplify]: Simplify (- 1) into -1 4.263 * [backup-simplify]: Simplify (- 1) into -1 4.263 * [backup-simplify]: Simplify (- 0) into 0 4.263 * [backup-simplify]: Simplify (- 1) into -1 4.264 * [backup-simplify]: Simplify (- 0) into 0 4.264 * [backup-simplify]: Simplify (- 0) into 0 4.264 * [backup-simplify]: Simplify (- 0) into 0 4.266 * [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.266 * [backup-simplify]: Simplify (- 1/24) into -1/24 4.267 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 4.267 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 4.267 * [backup-simplify]: Simplify 0 into 0 4.270 * [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.271 * [backup-simplify]: Simplify (- 1) into -1 4.271 * [backup-simplify]: Simplify (- 1) into -1 4.271 * [backup-simplify]: Simplify (- 0) into 0 4.271 * [backup-simplify]: Simplify (- 1) into -1 4.272 * [backup-simplify]: Simplify (- 0) into 0 4.272 * [backup-simplify]: Simplify (- 1) into -1 4.272 * [backup-simplify]: Simplify (- 0) into 0 4.272 * [backup-simplify]: Simplify (- 1) into -1 4.273 * [backup-simplify]: Simplify (- 0) into 0 4.273 * [backup-simplify]: Simplify (- 0) into 0 4.273 * [backup-simplify]: Simplify (- 0) into 0 4.273 * [backup-simplify]: Simplify (- 0) into 0 4.276 * [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.277 * [backup-simplify]: Simplify (- -1/120) into 1/120 4.277 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 4.278 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 4.278 * [backup-simplify]: Simplify 1/120 into 1/120 4.278 * [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.278 * [backup-simplify]: Simplify (exp (log (sinh (/ 1 c)))) into (sinh (/ 1 c)) 4.278 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 4.278 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 4.278 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 4.278 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 4.278 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 4.278 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.278 * [taylor]: Taking taylor expansion of c in c 4.278 * [backup-simplify]: Simplify 0 into 0 4.278 * [backup-simplify]: Simplify 1 into 1 4.279 * [backup-simplify]: Simplify (/ 1 1) into 1 4.279 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 4.279 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 4.279 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 4.279 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.279 * [taylor]: Taking taylor expansion of c in c 4.279 * [backup-simplify]: Simplify 0 into 0 4.279 * [backup-simplify]: Simplify 1 into 1 4.279 * [backup-simplify]: Simplify (/ 1 1) into 1 4.279 * [backup-simplify]: Simplify (- 1) into -1 4.279 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 4.279 * [taylor]: Taking taylor expansion of 2 in c 4.279 * [backup-simplify]: Simplify 2 into 2 4.279 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 4.279 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 4.279 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 4.279 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 4.280 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 4.280 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 4.280 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 4.280 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.280 * [taylor]: Taking taylor expansion of c in c 4.280 * [backup-simplify]: Simplify 0 into 0 4.280 * [backup-simplify]: Simplify 1 into 1 4.280 * [backup-simplify]: Simplify (/ 1 1) into 1 4.280 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 4.280 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 4.280 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 4.280 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.280 * [taylor]: Taking taylor expansion of c in c 4.280 * [backup-simplify]: Simplify 0 into 0 4.280 * [backup-simplify]: Simplify 1 into 1 4.280 * [backup-simplify]: Simplify (/ 1 1) into 1 4.280 * [backup-simplify]: Simplify (- 1) into -1 4.281 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 4.281 * [taylor]: Taking taylor expansion of 2 in c 4.281 * [backup-simplify]: Simplify 2 into 2 4.281 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 4.281 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 4.281 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 4.281 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 4.281 * [backup-simplify]: Simplify (- 0) into 0 4.281 * [backup-simplify]: Simplify (+ 0 0) into 0 4.282 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 4.282 * [backup-simplify]: Simplify 0 into 0 4.282 * [backup-simplify]: Simplify (- 0) into 0 4.283 * [backup-simplify]: Simplify (+ 0 0) into 0 4.283 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.283 * [backup-simplify]: Simplify 0 into 0 4.284 * [backup-simplify]: Simplify (- 0) into 0 4.284 * [backup-simplify]: Simplify (+ 0 0) into 0 4.285 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.285 * [backup-simplify]: Simplify 0 into 0 4.285 * [backup-simplify]: Simplify (- 0) into 0 4.286 * [backup-simplify]: Simplify (+ 0 0) into 0 4.287 * [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.287 * [backup-simplify]: Simplify 0 into 0 4.287 * [backup-simplify]: Simplify (- 0) into 0 4.288 * [backup-simplify]: Simplify (+ 0 0) into 0 4.289 * [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.289 * [backup-simplify]: Simplify 0 into 0 4.290 * [backup-simplify]: Simplify (- 0) into 0 4.290 * [backup-simplify]: Simplify (+ 0 0) into 0 4.292 * [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.292 * [backup-simplify]: Simplify 0 into 0 4.292 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 4.292 * [backup-simplify]: Simplify (exp (log (sinh (/ 1 (- c))))) into (sinh (/ -1 c)) 4.292 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 4.292 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 4.292 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 4.292 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 4.292 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 4.292 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.292 * [taylor]: Taking taylor expansion of -1 in c 4.292 * [backup-simplify]: Simplify -1 into -1 4.292 * [taylor]: Taking taylor expansion of c in c 4.292 * [backup-simplify]: Simplify 0 into 0 4.292 * [backup-simplify]: Simplify 1 into 1 4.293 * [backup-simplify]: Simplify (/ -1 1) into -1 4.293 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 4.293 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 4.293 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 4.293 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.293 * [taylor]: Taking taylor expansion of -1 in c 4.293 * [backup-simplify]: Simplify -1 into -1 4.293 * [taylor]: Taking taylor expansion of c in c 4.293 * [backup-simplify]: Simplify 0 into 0 4.293 * [backup-simplify]: Simplify 1 into 1 4.293 * [backup-simplify]: Simplify (/ -1 1) into -1 4.293 * [backup-simplify]: Simplify (- -1) into 1 4.293 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 4.293 * [taylor]: Taking taylor expansion of 2 in c 4.293 * [backup-simplify]: Simplify 2 into 2 4.293 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 4.294 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 4.294 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 4.294 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 4.294 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 4.294 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 4.294 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 4.294 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.294 * [taylor]: Taking taylor expansion of -1 in c 4.294 * [backup-simplify]: Simplify -1 into -1 4.294 * [taylor]: Taking taylor expansion of c in c 4.294 * [backup-simplify]: Simplify 0 into 0 4.294 * [backup-simplify]: Simplify 1 into 1 4.294 * [backup-simplify]: Simplify (/ -1 1) into -1 4.294 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 4.294 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 4.294 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 4.294 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.294 * [taylor]: Taking taylor expansion of -1 in c 4.294 * [backup-simplify]: Simplify -1 into -1 4.294 * [taylor]: Taking taylor expansion of c in c 4.294 * [backup-simplify]: Simplify 0 into 0 4.294 * [backup-simplify]: Simplify 1 into 1 4.295 * [backup-simplify]: Simplify (/ -1 1) into -1 4.295 * [backup-simplify]: Simplify (- -1) into 1 4.295 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 4.295 * [taylor]: Taking taylor expansion of 2 in c 4.295 * [backup-simplify]: Simplify 2 into 2 4.295 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 4.295 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 4.295 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 4.295 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 4.295 * [backup-simplify]: Simplify (- 0) into 0 4.296 * [backup-simplify]: Simplify (+ 0 0) into 0 4.296 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 4.296 * [backup-simplify]: Simplify 0 into 0 4.297 * [backup-simplify]: Simplify (- 0) into 0 4.297 * [backup-simplify]: Simplify (+ 0 0) into 0 4.298 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.298 * [backup-simplify]: Simplify 0 into 0 4.298 * [backup-simplify]: Simplify (- 0) into 0 4.298 * [backup-simplify]: Simplify (+ 0 0) into 0 4.299 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.299 * [backup-simplify]: Simplify 0 into 0 4.300 * [backup-simplify]: Simplify (- 0) into 0 4.300 * [backup-simplify]: Simplify (+ 0 0) into 0 4.301 * [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.301 * [backup-simplify]: Simplify 0 into 0 4.302 * [backup-simplify]: Simplify (- 0) into 0 4.302 * [backup-simplify]: Simplify (+ 0 0) into 0 4.304 * [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.304 * [backup-simplify]: Simplify 0 into 0 4.712 * [backup-simplify]: Simplify (- 0) into 0 4.713 * [backup-simplify]: Simplify (+ 0 0) into 0 4.717 * [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.717 * [backup-simplify]: Simplify 0 into 0 4.717 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 4.717 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 1) 4.717 * [backup-simplify]: Simplify (sinh c) into (sinh c) 4.717 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 4.717 * [taylor]: Taking taylor expansion of (sinh c) in c 4.717 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 4.717 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 4.717 * [taylor]: Taking taylor expansion of (exp c) in c 4.717 * [taylor]: Taking taylor expansion of c in c 4.717 * [backup-simplify]: Simplify 0 into 0 4.717 * [backup-simplify]: Simplify 1 into 1 4.717 * [backup-simplify]: Simplify (exp 0) into 1 4.717 * [taylor]: Taking taylor expansion of (exp (- c)) in c 4.717 * [taylor]: Taking taylor expansion of (- c) in c 4.717 * [taylor]: Taking taylor expansion of c in c 4.717 * [backup-simplify]: Simplify 0 into 0 4.717 * [backup-simplify]: Simplify 1 into 1 4.718 * [backup-simplify]: Simplify (- 0) into 0 4.718 * [backup-simplify]: Simplify (- 1) into -1 4.718 * [backup-simplify]: Simplify (exp 0) into 1 4.718 * [taylor]: Taking taylor expansion of 2 in c 4.718 * [backup-simplify]: Simplify 2 into 2 4.719 * [backup-simplify]: Simplify (- 1) into -1 4.719 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.720 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.720 * [backup-simplify]: Simplify (- 1) into -1 4.721 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 4.722 * [backup-simplify]: Simplify (- -1) into 1 4.723 * [backup-simplify]: Simplify (+ 1 1) into 2 4.723 * [backup-simplify]: Simplify (/ 2 2) into 1 4.723 * [taylor]: Taking taylor expansion of (sinh c) in c 4.723 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 4.723 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 4.723 * [taylor]: Taking taylor expansion of (exp c) in c 4.723 * [taylor]: Taking taylor expansion of c in c 4.723 * [backup-simplify]: Simplify 0 into 0 4.723 * [backup-simplify]: Simplify 1 into 1 4.723 * [backup-simplify]: Simplify (exp 0) into 1 4.723 * [taylor]: Taking taylor expansion of (exp (- c)) in c 4.723 * [taylor]: Taking taylor expansion of (- c) in c 4.723 * [taylor]: Taking taylor expansion of c in c 4.723 * [backup-simplify]: Simplify 0 into 0 4.723 * [backup-simplify]: Simplify 1 into 1 4.724 * [backup-simplify]: Simplify (- 0) into 0 4.724 * [backup-simplify]: Simplify (- 1) into -1 4.724 * [backup-simplify]: Simplify (exp 0) into 1 4.724 * [taylor]: Taking taylor expansion of 2 in c 4.724 * [backup-simplify]: Simplify 2 into 2 4.725 * [backup-simplify]: Simplify (- 1) into -1 4.725 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.726 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.727 * [backup-simplify]: Simplify (- 1) into -1 4.728 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 4.728 * [backup-simplify]: Simplify (- -1) into 1 4.728 * [backup-simplify]: Simplify (+ 1 1) into 2 4.729 * [backup-simplify]: Simplify (/ 2 2) into 1 4.729 * [backup-simplify]: Simplify 1 into 1 4.730 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.731 * [backup-simplify]: Simplify (- 1) into -1 4.731 * [backup-simplify]: Simplify (- 0) into 0 4.733 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.734 * [backup-simplify]: Simplify (- 1/2) into -1/2 4.734 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 4.735 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 4.735 * [backup-simplify]: Simplify 0 into 0 4.737 * [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.738 * [backup-simplify]: Simplify (- 1) into -1 4.738 * [backup-simplify]: Simplify (- 1) into -1 4.738 * [backup-simplify]: Simplify (- 0) into 0 4.739 * [backup-simplify]: Simplify (- 0) into 0 4.741 * [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.741 * [backup-simplify]: Simplify (- -1/6) into 1/6 4.742 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 4.743 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 4.743 * [backup-simplify]: Simplify 1/6 into 1/6 4.748 * [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.748 * [backup-simplify]: Simplify (- 1) into -1 4.748 * [backup-simplify]: Simplify (- 1) into -1 4.749 * [backup-simplify]: Simplify (- 0) into 0 4.749 * [backup-simplify]: Simplify (- 1) into -1 4.749 * [backup-simplify]: Simplify (- 0) into 0 4.750 * [backup-simplify]: Simplify (- 0) into 0 4.750 * [backup-simplify]: Simplify (- 0) into 0 4.754 * [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.755 * [backup-simplify]: Simplify (- 1/24) into -1/24 4.755 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 4.756 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 4.756 * [backup-simplify]: Simplify 0 into 0 4.762 * [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.762 * [backup-simplify]: Simplify (- 1) into -1 4.763 * [backup-simplify]: Simplify (- 1) into -1 4.763 * [backup-simplify]: Simplify (- 0) into 0 4.763 * [backup-simplify]: Simplify (- 1) into -1 4.764 * [backup-simplify]: Simplify (- 0) into 0 4.764 * [backup-simplify]: Simplify (- 1) into -1 4.765 * [backup-simplify]: Simplify (- 0) into 0 4.765 * [backup-simplify]: Simplify (- 1) into -1 4.765 * [backup-simplify]: Simplify (- 0) into 0 4.766 * [backup-simplify]: Simplify (- 0) into 0 4.766 * [backup-simplify]: Simplify (- 0) into 0 4.766 * [backup-simplify]: Simplify (- 0) into 0 4.772 * [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.773 * [backup-simplify]: Simplify (- -1/120) into 1/120 4.774 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 4.775 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 4.775 * [backup-simplify]: Simplify 1/120 into 1/120 4.776 * [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.776 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 4.776 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 4.776 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 4.776 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 4.776 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 4.776 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 4.776 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.776 * [taylor]: Taking taylor expansion of c in c 4.776 * [backup-simplify]: Simplify 0 into 0 4.776 * [backup-simplify]: Simplify 1 into 1 4.776 * [backup-simplify]: Simplify (/ 1 1) into 1 4.777 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 4.777 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 4.777 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 4.777 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.777 * [taylor]: Taking taylor expansion of c in c 4.777 * [backup-simplify]: Simplify 0 into 0 4.777 * [backup-simplify]: Simplify 1 into 1 4.777 * [backup-simplify]: Simplify (/ 1 1) into 1 4.777 * [backup-simplify]: Simplify (- 1) into -1 4.778 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 4.778 * [taylor]: Taking taylor expansion of 2 in c 4.778 * [backup-simplify]: Simplify 2 into 2 4.778 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 4.778 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 4.778 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 4.778 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 4.778 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 4.778 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 4.778 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 4.778 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.778 * [taylor]: Taking taylor expansion of c in c 4.778 * [backup-simplify]: Simplify 0 into 0 4.778 * [backup-simplify]: Simplify 1 into 1 4.779 * [backup-simplify]: Simplify (/ 1 1) into 1 4.779 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 4.779 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 4.779 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 4.779 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.779 * [taylor]: Taking taylor expansion of c in c 4.779 * [backup-simplify]: Simplify 0 into 0 4.779 * [backup-simplify]: Simplify 1 into 1 4.779 * [backup-simplify]: Simplify (/ 1 1) into 1 4.780 * [backup-simplify]: Simplify (- 1) into -1 4.780 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 4.780 * [taylor]: Taking taylor expansion of 2 in c 4.780 * [backup-simplify]: Simplify 2 into 2 4.780 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 4.780 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 4.780 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 4.780 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 4.781 * [backup-simplify]: Simplify (- 0) into 0 4.781 * [backup-simplify]: Simplify (+ 0 0) into 0 4.782 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 4.782 * [backup-simplify]: Simplify 0 into 0 4.782 * [backup-simplify]: Simplify (- 0) into 0 4.783 * [backup-simplify]: Simplify (+ 0 0) into 0 4.784 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.784 * [backup-simplify]: Simplify 0 into 0 4.785 * [backup-simplify]: Simplify (- 0) into 0 4.785 * [backup-simplify]: Simplify (+ 0 0) into 0 4.787 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.787 * [backup-simplify]: Simplify 0 into 0 4.787 * [backup-simplify]: Simplify (- 0) into 0 4.788 * [backup-simplify]: Simplify (+ 0 0) into 0 4.790 * [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.790 * [backup-simplify]: Simplify 0 into 0 4.790 * [backup-simplify]: Simplify (- 0) into 0 4.791 * [backup-simplify]: Simplify (+ 0 0) into 0 4.794 * [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.794 * [backup-simplify]: Simplify 0 into 0 4.794 * [backup-simplify]: Simplify (- 0) into 0 4.795 * [backup-simplify]: Simplify (+ 0 0) into 0 4.798 * [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.798 * [backup-simplify]: Simplify 0 into 0 4.798 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 4.798 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 4.798 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 4.798 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 4.798 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 4.798 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 4.798 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 4.798 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.798 * [taylor]: Taking taylor expansion of -1 in c 4.798 * [backup-simplify]: Simplify -1 into -1 4.798 * [taylor]: Taking taylor expansion of c in c 4.798 * [backup-simplify]: Simplify 0 into 0 4.799 * [backup-simplify]: Simplify 1 into 1 4.799 * [backup-simplify]: Simplify (/ -1 1) into -1 4.799 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 4.799 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 4.799 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 4.799 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.799 * [taylor]: Taking taylor expansion of -1 in c 4.799 * [backup-simplify]: Simplify -1 into -1 4.799 * [taylor]: Taking taylor expansion of c in c 4.799 * [backup-simplify]: Simplify 0 into 0 4.799 * [backup-simplify]: Simplify 1 into 1 4.800 * [backup-simplify]: Simplify (/ -1 1) into -1 4.800 * [backup-simplify]: Simplify (- -1) into 1 4.800 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 4.800 * [taylor]: Taking taylor expansion of 2 in c 4.800 * [backup-simplify]: Simplify 2 into 2 4.800 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 4.800 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 4.800 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 4.800 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 4.801 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 4.801 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 4.801 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 4.801 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.801 * [taylor]: Taking taylor expansion of -1 in c 4.801 * [backup-simplify]: Simplify -1 into -1 4.801 * [taylor]: Taking taylor expansion of c in c 4.801 * [backup-simplify]: Simplify 0 into 0 4.801 * [backup-simplify]: Simplify 1 into 1 4.801 * [backup-simplify]: Simplify (/ -1 1) into -1 4.801 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 4.801 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 4.801 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 4.801 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.801 * [taylor]: Taking taylor expansion of -1 in c 4.801 * [backup-simplify]: Simplify -1 into -1 4.801 * [taylor]: Taking taylor expansion of c in c 4.801 * [backup-simplify]: Simplify 0 into 0 4.801 * [backup-simplify]: Simplify 1 into 1 4.802 * [backup-simplify]: Simplify (/ -1 1) into -1 4.802 * [backup-simplify]: Simplify (- -1) into 1 4.802 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 4.802 * [taylor]: Taking taylor expansion of 2 in c 4.802 * [backup-simplify]: Simplify 2 into 2 4.802 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 4.803 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 4.803 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 4.803 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 4.803 * [backup-simplify]: Simplify (- 0) into 0 4.804 * [backup-simplify]: Simplify (+ 0 0) into 0 4.805 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 4.805 * [backup-simplify]: Simplify 0 into 0 4.805 * [backup-simplify]: Simplify (- 0) into 0 4.805 * [backup-simplify]: Simplify (+ 0 0) into 0 4.807 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.807 * [backup-simplify]: Simplify 0 into 0 4.807 * [backup-simplify]: Simplify (- 0) into 0 4.808 * [backup-simplify]: Simplify (+ 0 0) into 0 4.809 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.810 * [backup-simplify]: Simplify 0 into 0 4.810 * [backup-simplify]: Simplify (- 0) into 0 4.810 * [backup-simplify]: Simplify (+ 0 0) into 0 4.813 * [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.813 * [backup-simplify]: Simplify 0 into 0 4.813 * [backup-simplify]: Simplify (- 0) into 0 4.813 * [backup-simplify]: Simplify (+ 0 0) into 0 4.817 * [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.817 * [backup-simplify]: Simplify 0 into 0 4.817 * [backup-simplify]: Simplify (- 0) into 0 4.817 * [backup-simplify]: Simplify (+ 0 0) into 0 4.821 * [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.821 * [backup-simplify]: Simplify 0 into 0 4.821 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 4.822 * * * [progress]: simplifying candidates 4.822 * * * * [progress]: [ 1 / 32 ] simplifiying candidate # 4.822 * * * * [progress]: [ 2 / 32 ] simplifiying candidate # 4.822 * * * * [progress]: [ 3 / 32 ] simplifiying candidate # 4.822 * * * * [progress]: [ 4 / 32 ] simplifiying candidate # 4.822 * * * * [progress]: [ 5 / 32 ] simplifiying candidate # 4.822 * * * * [progress]: [ 6 / 32 ] simplifiying candidate # 4.822 * * * * [progress]: [ 7 / 32 ] simplifiying candidate # 4.822 * * * * [progress]: [ 8 / 32 ] simplifiying candidate # 4.822 * * * * [progress]: [ 9 / 32 ] simplifiying candidate # 4.822 * * * * [progress]: [ 10 / 32 ] simplifiying candidate # 4.823 * * * * [progress]: [ 11 / 32 ] simplifiying candidate # 4.823 * * * * [progress]: [ 12 / 32 ] simplifiying candidate # 4.823 * * * * [progress]: [ 13 / 32 ] simplifiying candidate # 4.823 * * * * [progress]: [ 14 / 32 ] simplifiying candidate # 4.823 * * * * [progress]: [ 15 / 32 ] simplifiying candidate # 4.823 * * * * [progress]: [ 16 / 32 ] simplifiying candidate # 4.824 * * * * [progress]: [ 17 / 32 ] simplifiying candidate #real (real->posit16 (exp (log (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 4.824 * * * * [progress]: [ 18 / 32 ] simplifiying candidate # 4.824 * * * * [progress]: [ 19 / 32 ] simplifiying candidate # 4.824 * * * * [progress]: [ 20 / 32 ] simplifiying candidate # 4.824 * * * * [progress]: [ 21 / 32 ] simplifiying candidate # 4.824 * * * * [progress]: [ 22 / 32 ] simplifiying candidate # 4.824 * * * * [progress]: [ 23 / 32 ] simplifiying candidate # 4.824 * * * * [progress]: [ 24 / 32 ] simplifiying candidate # 4.824 * * * * [progress]: [ 25 / 32 ] simplifiying candidate # 4.824 * * * * [progress]: [ 26 / 32 ] simplifiying candidate #real (real->posit16 (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 4.824 * * * * [progress]: [ 27 / 32 ] simplifiying candidate # 4.824 * * * * [progress]: [ 28 / 32 ] simplifiying candidate # 4.825 * * * * [progress]: [ 29 / 32 ] simplifiying candidate # 4.825 * * * * [progress]: [ 30 / 32 ] simplifiying candidate # 4.825 * * * * [progress]: [ 31 / 32 ] simplifiying candidate # 4.825 * * * * [progress]: [ 32 / 32 ] simplifiying candidate # 4.826 * [simplify]: Simplifying (exp 1), (exp (* (cbrt (log (sinh c))) (cbrt (log (sinh c))))), (exp (sqrt (log (sinh c)))), (exp 1), (exp (log (* (cbrt (sinh c)) (cbrt (sinh c))))), (exp (log (cbrt (sinh c)))), (exp (log (sqrt (sinh c)))), (exp (log (sqrt (sinh c)))), (exp (log 1)), (exp (log (sinh c))), (exp (log (- (exp c) (exp (- c))))), (exp (log 2)), (log (exp (log (sinh c)))), (exp (exp (log (sinh c)))), (* (cbrt (exp (log (sinh c)))) (cbrt (exp (log (sinh c))))), (cbrt (exp (log (sinh c)))), (* (* (exp (log (sinh c))) (exp (log (sinh c)))) (exp (log (sinh c)))), (sqrt (exp (log (sinh c)))), (sqrt (exp (log (sinh c)))), (real->posit16 (exp (log (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)), (real->posit16 (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)))) 4.827 * * [simplify]: iteration 1: (60 enodes) 4.863 * * [simplify]: iteration 2: (175 enodes) 4.920 * * [simplify]: iteration 3: (259 enodes) 5.007 * * [simplify]: iteration 4: (421 enodes) 5.137 * * [simplify]: iteration 5: (804 enodes) 5.496 * * [simplify]: Extracting #0: cost 16 inf + 0 5.496 * * [simplify]: Extracting #1: cost 88 inf + 3 5.498 * * [simplify]: Extracting #2: cost 321 inf + 2422 5.518 * * [simplify]: Extracting #3: cost 418 inf + 32314 5.542 * * [simplify]: Extracting #4: cost 255 inf + 74234 5.577 * * [simplify]: Extracting #5: cost 106 inf + 134451 5.621 * * [simplify]: Extracting #6: cost 6 inf + 187845 5.667 * * [simplify]: Extracting #7: cost 0 inf + 190879 5.714 * [simplify]: Simplified to E, (exp (* (cbrt (log (sinh c))) (cbrt (log (sinh c))))), (exp (sqrt (log (sinh c)))), E, (* (cbrt (sinh c)) (cbrt (sinh c))), (cbrt (sinh c)), (sqrt (sinh c)), (sqrt (sinh c)), 1, (sinh c), (- (exp c) (/ 1 (exp c))), 2, (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)), (real->posit16 (sinh c)), (- (exp c) (/ 1 (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)), (real->posit16 (sinh c)), (+ (+ c (* c (* (* c 1/6) c))) (* (pow c 5) 1/120)), (- (* 1/2 (exp c)) (/ 1/2 (exp c))), (- (* 1/2 (exp c)) (/ 1/2 (exp c))), (+ (+ c (* c (* (* c 1/6) c))) (* (pow c 5) 1/120)), (- (* 1/2 (exp c)) (/ 1/2 (exp c))), (- (* 1/2 (exp c)) (/ 1/2 (exp c))) 5.717 * * * [progress]: adding candidates to table 5.996 * [progress]: [Phase 3 of 3] Extracting. 5.996 * * [regime]: Finding splitpoints for: (# #) 5.997 * * * [regime-changes]: Trying 1 branch expressions: (c) 5.998 * * * * [regimes]: Trying to branch on c from (# #) 6.020 * * * [regime]: Found split indices: #