26.660 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.090 * * * [progress]: [2/2] Setting up program. 0.092 * [progress]: [Phase 2 of 3] Improving. 0.093 * [simplify]: Simplifying using # : (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 0.094 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.095 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 0.096 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 0.101 * * [simplify]: iteration 3 : 71 enodes (cost 8 ) 0.111 * * [simplify]: iteration 4 : 140 enodes (cost 8 ) 0.147 * * [simplify]: iteration 5 : 329 enodes (cost 8 ) 0.472 * * [simplify]: iteration 6 : 1023 enodes (cost 8 ) 1.615 * * [simplify]: iteration 7 : 3823 enodes (cost 8 ) 3.655 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 3.655 * [simplify]: Simplified to: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 3.656 * * [progress]: iteration 1 / 4 3.656 * * * [progress]: picking best candidate 3.658 * * * * [pick]: Picked # 3.658 * * * [progress]: localizing error 3.665 * * * [progress]: generating rewritten candidates 3.665 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 3.666 * * * [progress]: generating series expansions 3.666 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 3.666 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 3.666 * [taylor]: Taking taylor expansion of (sinh c) in c 3.666 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 3.666 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 3.666 * [taylor]: Taking taylor expansion of (exp c) in c 3.666 * [taylor]: Taking taylor expansion of c in c 3.666 * [taylor]: Taking taylor expansion of (exp (- c)) in c 3.666 * [taylor]: Taking taylor expansion of (- c) in c 3.666 * [taylor]: Taking taylor expansion of c in c 3.667 * [taylor]: Taking taylor expansion of 2 in c 3.670 * [taylor]: Taking taylor expansion of (sinh c) in c 3.670 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 3.670 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 3.670 * [taylor]: Taking taylor expansion of (exp c) in c 3.670 * [taylor]: Taking taylor expansion of c in c 3.670 * [taylor]: Taking taylor expansion of (exp (- c)) in c 3.670 * [taylor]: Taking taylor expansion of (- c) in c 3.670 * [taylor]: Taking taylor expansion of c in c 3.671 * [taylor]: Taking taylor expansion of 2 in c 3.704 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 3.704 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 3.704 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 3.704 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 3.704 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 3.704 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.704 * [taylor]: Taking taylor expansion of c in c 3.704 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 3.704 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 3.704 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.704 * [taylor]: Taking taylor expansion of c in c 3.705 * [taylor]: Taking taylor expansion of 2 in c 3.705 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 3.705 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 3.705 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 3.705 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 3.705 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.705 * [taylor]: Taking taylor expansion of c in c 3.706 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 3.706 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 3.706 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.706 * [taylor]: Taking taylor expansion of c in c 3.706 * [taylor]: Taking taylor expansion of 2 in c 3.719 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 3.719 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 3.719 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 3.719 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 3.719 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 3.719 * [taylor]: Taking taylor expansion of (/ -1 c) in c 3.719 * [taylor]: Taking taylor expansion of -1 in c 3.719 * [taylor]: Taking taylor expansion of c in c 3.719 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 3.719 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 3.719 * [taylor]: Taking taylor expansion of (/ -1 c) in c 3.719 * [taylor]: Taking taylor expansion of -1 in c 3.719 * [taylor]: Taking taylor expansion of c in c 3.720 * [taylor]: Taking taylor expansion of 2 in c 3.720 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 3.720 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 3.720 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 3.720 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 3.720 * [taylor]: Taking taylor expansion of (/ -1 c) in c 3.720 * [taylor]: Taking taylor expansion of -1 in c 3.720 * [taylor]: Taking taylor expansion of c in c 3.720 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 3.721 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 3.721 * [taylor]: Taking taylor expansion of (/ -1 c) in c 3.721 * [taylor]: Taking taylor expansion of -1 in c 3.721 * [taylor]: Taking taylor expansion of c in c 3.721 * [taylor]: Taking taylor expansion of 2 in c 3.733 * * * [progress]: simplifying candidates 3.733 * [simplify]: Simplifying using # : (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)))) 3.735 * * [simplify]: iteration 0 : 32 enodes (cost 72 ) 3.740 * * [simplify]: iteration 1 : 65 enodes (cost 69 ) 3.750 * * [simplify]: iteration 2 : 135 enodes (cost 65 ) 3.774 * * [simplify]: iteration 3 : 286 enodes (cost 65 ) 3.827 * * [simplify]: iteration 4 : 654 enodes (cost 65 ) 4.022 * * [simplify]: iteration 5 : 2307 enodes (cost 65 ) 4.648 * * [simplify]: iteration done : 5000 enodes (cost 65 ) 4.648 * [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.648 * * * [progress]: adding candidates to table 4.684 * * [progress]: iteration 2 / 4 4.684 * * * [progress]: picking best candidate 4.689 * * * * [pick]: Picked # 4.689 * * * [progress]: localizing error 4.702 * * * [progress]: generating rewritten candidates 4.702 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 4.703 * * * [progress]: generating series expansions 4.703 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 4.703 * [approximate]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in (c) around 0 4.703 * [taylor]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in c 4.703 * [taylor]: Rewrote expression to (+ (* 1/6 (pow c 3)) (fma 1/120 (pow c 5) c)) 4.703 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 4.703 * [taylor]: Taking taylor expansion of 1/6 in c 4.703 * [taylor]: Taking taylor expansion of (pow c 3) in c 4.703 * [taylor]: Taking taylor expansion of c in c 4.703 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c 4.703 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c) 4.703 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 4.703 * [taylor]: Taking taylor expansion of 1/120 in c 4.703 * [taylor]: Taking taylor expansion of (pow c 5) in c 4.703 * [taylor]: Taking taylor expansion of c in c 4.703 * [taylor]: Taking taylor expansion of c in c 4.703 * [taylor]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in c 4.703 * [taylor]: Rewrote expression to (+ (* 1/6 (pow c 3)) (fma 1/120 (pow c 5) c)) 4.703 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 4.703 * [taylor]: Taking taylor expansion of 1/6 in c 4.703 * [taylor]: Taking taylor expansion of (pow c 3) in c 4.703 * [taylor]: Taking taylor expansion of c in c 4.703 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c 4.703 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c) 4.704 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 4.704 * [taylor]: Taking taylor expansion of 1/120 in c 4.704 * [taylor]: Taking taylor expansion of (pow c 5) in c 4.704 * [taylor]: Taking taylor expansion of c in c 4.704 * [taylor]: Taking taylor expansion of c in c 4.712 * [approximate]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in (c) around 0 4.712 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c 4.712 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 c) 3)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 4.712 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 c) 3)) in c 4.712 * [taylor]: Taking taylor expansion of 1/6 in c 4.712 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 3) in c 4.712 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.712 * [taylor]: Taking taylor expansion of c in c 4.712 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c 4.713 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) 4.713 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c 4.713 * [taylor]: Taking taylor expansion of 1/120 in c 4.713 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c 4.713 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.713 * [taylor]: Taking taylor expansion of c in c 4.713 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.713 * [taylor]: Taking taylor expansion of c in c 4.713 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c 4.713 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 c) 3)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 4.713 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 c) 3)) in c 4.713 * [taylor]: Taking taylor expansion of 1/6 in c 4.713 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 3) in c 4.713 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.713 * [taylor]: Taking taylor expansion of c in c 4.714 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c 4.714 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) 4.714 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c 4.714 * [taylor]: Taking taylor expansion of 1/120 in c 4.714 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c 4.714 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.714 * [taylor]: Taking taylor expansion of c in c 4.714 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.714 * [taylor]: Taking taylor expansion of c in c 4.734 * [approximate]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in (c) around 0 4.734 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c 4.734 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 c) 3)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 4.734 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 c) 3)) in c 4.734 * [taylor]: Taking taylor expansion of 1/6 in c 4.734 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 3) in c 4.734 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.734 * [taylor]: Taking taylor expansion of -1 in c 4.734 * [taylor]: Taking taylor expansion of c in c 4.734 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c 4.734 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c)) 4.734 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c 4.735 * [taylor]: Taking taylor expansion of 1/120 in c 4.735 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c 4.735 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.735 * [taylor]: Taking taylor expansion of -1 in c 4.735 * [taylor]: Taking taylor expansion of c in c 4.735 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.735 * [taylor]: Taking taylor expansion of -1 in c 4.735 * [taylor]: Taking taylor expansion of c in c 4.735 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c 4.735 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 c) 3)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 4.735 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 c) 3)) in c 4.735 * [taylor]: Taking taylor expansion of 1/6 in c 4.735 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 3) in c 4.735 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.735 * [taylor]: Taking taylor expansion of -1 in c 4.735 * [taylor]: Taking taylor expansion of c in c 4.736 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c 4.736 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c)) 4.736 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c 4.736 * [taylor]: Taking taylor expansion of 1/120 in c 4.736 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c 4.736 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.736 * [taylor]: Taking taylor expansion of -1 in c 4.736 * [taylor]: Taking taylor expansion of c in c 4.736 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.736 * [taylor]: Taking taylor expansion of -1 in c 4.736 * [taylor]: Taking taylor expansion of c in c 4.759 * * * [progress]: simplifying candidates 4.759 * [simplify]: Simplifying using # : (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))) (* 1/6 (pow c 3)) (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))) (* (* (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))) (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))) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 4.761 * * [simplify]: iteration 0 : 22 enodes (cost 188 ) 4.764 * * [simplify]: iteration 1 : 41 enodes (cost 182 ) 4.771 * * [simplify]: iteration 2 : 115 enodes (cost 160 ) 4.795 * * [simplify]: iteration 3 : 463 enodes (cost 160 ) 4.979 * * [simplify]: iteration 4 : 2732 enodes (cost 160 ) 6.023 * * [simplify]: iteration done : 5001 enodes (cost 160 ) 6.023 * [simplify]: Simplified to: (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))) (* 1/6 (pow c 3)) (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))) (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)) 6.024 * * * [progress]: adding candidates to table 6.062 * * [progress]: iteration 3 / 4 6.062 * * * [progress]: picking best candidate 6.067 * * * * [pick]: Picked # 6.067 * * * [progress]: localizing error 6.076 * * * [progress]: generating rewritten candidates 6.076 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 6.084 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 6.085 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 6.085 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 6.089 * * * [progress]: generating series expansions 6.089 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 6.089 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 6.089 * [taylor]: Taking taylor expansion of (sinh c) in c 6.089 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 6.089 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 6.089 * [taylor]: Taking taylor expansion of (exp c) in c 6.089 * [taylor]: Taking taylor expansion of c in c 6.089 * [taylor]: Taking taylor expansion of (exp (- c)) in c 6.089 * [taylor]: Taking taylor expansion of (- c) in c 6.089 * [taylor]: Taking taylor expansion of c in c 6.090 * [taylor]: Taking taylor expansion of 2 in c 6.092 * [taylor]: Taking taylor expansion of (sinh c) in c 6.093 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 6.093 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 6.093 * [taylor]: Taking taylor expansion of (exp c) in c 6.093 * [taylor]: Taking taylor expansion of c in c 6.093 * [taylor]: Taking taylor expansion of (exp (- c)) in c 6.093 * [taylor]: Taking taylor expansion of (- c) in c 6.093 * [taylor]: Taking taylor expansion of c in c 6.093 * [taylor]: Taking taylor expansion of 2 in c 6.122 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 6.122 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 6.122 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 6.122 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 6.122 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 6.122 * [taylor]: Taking taylor expansion of (/ 1 c) in c 6.122 * [taylor]: Taking taylor expansion of c in c 6.122 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 6.122 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 6.122 * [taylor]: Taking taylor expansion of (/ 1 c) in c 6.122 * [taylor]: Taking taylor expansion of c in c 6.123 * [taylor]: Taking taylor expansion of 2 in c 6.123 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 6.123 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 6.123 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 6.123 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 6.123 * [taylor]: Taking taylor expansion of (/ 1 c) in c 6.123 * [taylor]: Taking taylor expansion of c in c 6.123 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 6.123 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 6.123 * [taylor]: Taking taylor expansion of (/ 1 c) in c 6.124 * [taylor]: Taking taylor expansion of c in c 6.124 * [taylor]: Taking taylor expansion of 2 in c 6.136 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 6.136 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 6.136 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 6.136 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 6.136 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 6.136 * [taylor]: Taking taylor expansion of (/ -1 c) in c 6.136 * [taylor]: Taking taylor expansion of -1 in c 6.136 * [taylor]: Taking taylor expansion of c in c 6.137 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 6.137 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 6.137 * [taylor]: Taking taylor expansion of (/ -1 c) in c 6.137 * [taylor]: Taking taylor expansion of -1 in c 6.137 * [taylor]: Taking taylor expansion of c in c 6.137 * [taylor]: Taking taylor expansion of 2 in c 6.138 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 6.138 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 6.138 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 6.138 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 6.138 * [taylor]: Taking taylor expansion of (/ -1 c) in c 6.138 * [taylor]: Taking taylor expansion of -1 in c 6.138 * [taylor]: Taking taylor expansion of c in c 6.138 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 6.138 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 6.138 * [taylor]: Taking taylor expansion of (/ -1 c) in c 6.138 * [taylor]: Taking taylor expansion of -1 in c 6.138 * [taylor]: Taking taylor expansion of c in c 6.139 * [taylor]: Taking taylor expansion of 2 in c 6.154 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 6.154 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 6.154 * [taylor]: Taking taylor expansion of (sinh c) in c 6.154 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 6.154 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 6.154 * [taylor]: Taking taylor expansion of (exp c) in c 6.154 * [taylor]: Taking taylor expansion of c in c 6.154 * [taylor]: Taking taylor expansion of (exp (- c)) in c 6.154 * [taylor]: Taking taylor expansion of (- c) in c 6.154 * [taylor]: Taking taylor expansion of c in c 6.155 * [taylor]: Taking taylor expansion of 2 in c 6.157 * [taylor]: Taking taylor expansion of (sinh c) in c 6.157 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 6.157 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 6.157 * [taylor]: Taking taylor expansion of (exp c) in c 6.157 * [taylor]: Taking taylor expansion of c in c 6.157 * [taylor]: Taking taylor expansion of (exp (- c)) in c 6.157 * [taylor]: Taking taylor expansion of (- c) in c 6.157 * [taylor]: Taking taylor expansion of c in c 6.158 * [taylor]: Taking taylor expansion of 2 in c 6.186 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 6.186 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 6.186 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 6.186 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 6.186 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 6.186 * [taylor]: Taking taylor expansion of (/ 1 c) in c 6.186 * [taylor]: Taking taylor expansion of c in c 6.187 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 6.187 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 6.187 * [taylor]: Taking taylor expansion of (/ 1 c) in c 6.187 * [taylor]: Taking taylor expansion of c in c 6.187 * [taylor]: Taking taylor expansion of 2 in c 6.188 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 6.188 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 6.188 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 6.188 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 6.188 * [taylor]: Taking taylor expansion of (/ 1 c) in c 6.188 * [taylor]: Taking taylor expansion of c in c 6.188 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 6.188 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 6.188 * [taylor]: Taking taylor expansion of (/ 1 c) in c 6.188 * [taylor]: Taking taylor expansion of c in c 6.189 * [taylor]: Taking taylor expansion of 2 in c 6.201 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 6.201 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 6.201 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 6.201 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 6.201 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 6.201 * [taylor]: Taking taylor expansion of (/ -1 c) in c 6.201 * [taylor]: Taking taylor expansion of -1 in c 6.201 * [taylor]: Taking taylor expansion of c in c 6.201 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 6.201 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 6.201 * [taylor]: Taking taylor expansion of (/ -1 c) in c 6.201 * [taylor]: Taking taylor expansion of -1 in c 6.202 * [taylor]: Taking taylor expansion of c in c 6.202 * [taylor]: Taking taylor expansion of 2 in c 6.202 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 6.202 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 6.202 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 6.202 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 6.202 * [taylor]: Taking taylor expansion of (/ -1 c) in c 6.202 * [taylor]: Taking taylor expansion of -1 in c 6.202 * [taylor]: Taking taylor expansion of c in c 6.203 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 6.203 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 6.203 * [taylor]: Taking taylor expansion of (/ -1 c) in c 6.203 * [taylor]: Taking taylor expansion of -1 in c 6.203 * [taylor]: Taking taylor expansion of c in c 6.203 * [taylor]: Taking taylor expansion of 2 in c 6.215 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 6.215 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 6.215 * [taylor]: Taking taylor expansion of (sinh c) in c 6.215 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 6.215 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 6.215 * [taylor]: Taking taylor expansion of (exp c) in c 6.215 * [taylor]: Taking taylor expansion of c in c 6.215 * [taylor]: Taking taylor expansion of (exp (- c)) in c 6.216 * [taylor]: Taking taylor expansion of (- c) in c 6.216 * [taylor]: Taking taylor expansion of c in c 6.216 * [taylor]: Taking taylor expansion of 2 in c 6.219 * [taylor]: Taking taylor expansion of (sinh c) in c 6.219 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 6.219 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 6.219 * [taylor]: Taking taylor expansion of (exp c) in c 6.219 * [taylor]: Taking taylor expansion of c in c 6.219 * [taylor]: Taking taylor expansion of (exp (- c)) in c 6.219 * [taylor]: Taking taylor expansion of (- c) in c 6.219 * [taylor]: Taking taylor expansion of c in c 6.219 * [taylor]: Taking taylor expansion of 2 in c 6.251 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 6.251 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 6.251 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 6.251 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 6.251 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 6.251 * [taylor]: Taking taylor expansion of (/ 1 c) in c 6.251 * [taylor]: Taking taylor expansion of c in c 6.252 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 6.252 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 6.252 * [taylor]: Taking taylor expansion of (/ 1 c) in c 6.252 * [taylor]: Taking taylor expansion of c in c 6.252 * [taylor]: Taking taylor expansion of 2 in c 6.253 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 6.253 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 6.253 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 6.253 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 6.253 * [taylor]: Taking taylor expansion of (/ 1 c) in c 6.253 * [taylor]: Taking taylor expansion of c in c 6.253 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 6.253 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 6.253 * [taylor]: Taking taylor expansion of (/ 1 c) in c 6.253 * [taylor]: Taking taylor expansion of c in c 6.254 * [taylor]: Taking taylor expansion of 2 in c 6.266 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 6.266 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 6.266 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 6.266 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 6.266 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 6.266 * [taylor]: Taking taylor expansion of (/ -1 c) in c 6.266 * [taylor]: Taking taylor expansion of -1 in c 6.266 * [taylor]: Taking taylor expansion of c in c 6.266 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 6.266 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 6.266 * [taylor]: Taking taylor expansion of (/ -1 c) in c 6.266 * [taylor]: Taking taylor expansion of -1 in c 6.266 * [taylor]: Taking taylor expansion of c in c 6.267 * [taylor]: Taking taylor expansion of 2 in c 6.267 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 6.267 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 6.267 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 6.267 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 6.267 * [taylor]: Taking taylor expansion of (/ -1 c) in c 6.267 * [taylor]: Taking taylor expansion of -1 in c 6.267 * [taylor]: Taking taylor expansion of c in c 6.268 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 6.268 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 6.268 * [taylor]: Taking taylor expansion of (/ -1 c) in c 6.268 * [taylor]: Taking taylor expansion of -1 in c 6.268 * [taylor]: Taking taylor expansion of c in c 6.268 * [taylor]: Taking taylor expansion of 2 in c 6.280 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 6.280 * [approximate]: Taking taylor expansion of (sqrt (sinh c)) in (c) around 0 6.280 * [taylor]: Taking taylor expansion of (sqrt (sinh c)) in c 6.280 * [taylor]: Taking taylor expansion of (sinh c) in c 6.281 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 6.281 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 6.281 * [taylor]: Taking taylor expansion of (exp c) in c 6.281 * [taylor]: Taking taylor expansion of c in c 6.281 * [taylor]: Taking taylor expansion of (exp (- c)) in c 6.281 * [taylor]: Taking taylor expansion of (- c) in c 6.281 * [taylor]: Taking taylor expansion of c in c 6.281 * [taylor]: Taking taylor expansion of 2 in c 6.285 * [taylor]: Taking taylor expansion of (sqrt (sinh c)) in c 6.285 * [taylor]: Taking taylor expansion of (sinh c) in c 6.285 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 6.285 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 6.285 * [taylor]: Taking taylor expansion of (exp c) in c 6.285 * [taylor]: Taking taylor expansion of c in c 6.285 * [taylor]: Taking taylor expansion of (exp (- c)) in c 6.286 * [taylor]: Taking taylor expansion of (- c) in c 6.286 * [taylor]: Taking taylor expansion of c in c 6.286 * [taylor]: Taking taylor expansion of 2 in c 6.303 * [approximate]: Taking taylor expansion of (sqrt (sinh (/ 1 c))) in (c) around 0 6.303 * [taylor]: Taking taylor expansion of (sqrt (sinh (/ 1 c))) in c 6.303 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 6.303 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 6.303 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 6.303 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 6.303 * [taylor]: Taking taylor expansion of (/ 1 c) in c 6.304 * [taylor]: Taking taylor expansion of c in c 6.304 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 6.304 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 6.304 * [taylor]: Taking taylor expansion of (/ 1 c) in c 6.304 * [taylor]: Taking taylor expansion of c in c 6.304 * [taylor]: Taking taylor expansion of 2 in c 6.306 * [taylor]: Taking taylor expansion of (sqrt (sinh (/ 1 c))) in c 6.306 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 6.306 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 6.306 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 6.306 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 6.306 * [taylor]: Taking taylor expansion of (/ 1 c) in c 6.306 * [taylor]: Taking taylor expansion of c in c 6.307 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 6.307 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 6.307 * [taylor]: Taking taylor expansion of (/ 1 c) in c 6.307 * [taylor]: Taking taylor expansion of c in c 6.307 * [taylor]: Taking taylor expansion of 2 in c 6.330 * [approximate]: Taking taylor expansion of (sqrt (sinh (/ -1 c))) in (c) around 0 6.330 * [taylor]: Taking taylor expansion of (sqrt (sinh (/ -1 c))) in c 6.330 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 6.330 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 6.330 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 6.330 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 6.330 * [taylor]: Taking taylor expansion of (/ -1 c) in c 6.330 * [taylor]: Taking taylor expansion of -1 in c 6.330 * [taylor]: Taking taylor expansion of c in c 6.331 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 6.331 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 6.331 * [taylor]: Taking taylor expansion of (/ -1 c) in c 6.331 * [taylor]: Taking taylor expansion of -1 in c 6.331 * [taylor]: Taking taylor expansion of c in c 6.331 * [taylor]: Taking taylor expansion of 2 in c 6.333 * [taylor]: Taking taylor expansion of (sqrt (sinh (/ -1 c))) in c 6.333 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 6.333 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 6.333 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 6.333 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 6.333 * [taylor]: Taking taylor expansion of (/ -1 c) in c 6.333 * [taylor]: Taking taylor expansion of -1 in c 6.333 * [taylor]: Taking taylor expansion of c in c 6.333 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 6.333 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 6.333 * [taylor]: Taking taylor expansion of (/ -1 c) in c 6.333 * [taylor]: Taking taylor expansion of -1 in c 6.333 * [taylor]: Taking taylor expansion of c in c 6.334 * [taylor]: Taking taylor expansion of 2 in c 6.351 * * * [progress]: simplifying candidates 6.353 * [simplify]: Simplifying using # : (expm1 (* (sqrt (sinh c)) (sqrt (sinh c)))) (log1p (* (sqrt (sinh c)) (sqrt (sinh c)))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (sinh c) (sinh c)) (* (sqrt (sinh c)) (sqrt (sinh c))) (* (sinh c) (sinh c)) (+ 1 1) (+ (log (sqrt (sinh c))) (log (sqrt (sinh c)))) (log (* (sqrt (sinh c)) (sqrt (sinh c)))) (exp (* (sqrt (sinh c)) (sqrt (sinh c)))) (* (* (* (sqrt (sinh c)) (sqrt (sinh c))) (sqrt (sinh c))) (* (* (sqrt (sinh c)) (sqrt (sinh c))) (sqrt (sinh c)))) (* (cbrt (* (sqrt (sinh c)) (sqrt (sinh c)))) (cbrt (* (sqrt (sinh c)) (sqrt (sinh c))))) (cbrt (* (sqrt (sinh c)) (sqrt (sinh c)))) (* (* (* (sqrt (sinh c)) (sqrt (sinh c))) (* (sqrt (sinh c)) (sqrt (sinh c)))) (* (sqrt (sinh c)) (sqrt (sinh c)))) (* (sinh c) (sinh c)) (sqrt (* (sqrt (sinh c)) (sqrt (sinh c)))) (sqrt (* (sqrt (sinh c)) (sqrt (sinh c)))) (* (sqrt (- (exp c) (exp (- c)))) (sqrt (- (exp c) (exp (- c))))) (* (sqrt 2) (sqrt 2)) (* (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))) (* (sqrt (* (cbrt (sinh c)) (cbrt (sinh c)))) (sqrt (* (cbrt (sinh c)) (cbrt (sinh c))))) (* (sqrt (cbrt (sinh c))) (sqrt (cbrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt 1) (sqrt 1)) (* (sqrt (sinh c)) (sqrt (sinh c))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* 1 1) (* (sqrt (sinh c)) (sqrt (sinh c))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (sinh c)) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))) (* (sqrt (sinh c)) (sqrt (* (cbrt (sinh c)) (cbrt (sinh c))))) (* (sqrt (sinh c)) (sqrt (sqrt (sinh c)))) (* (sqrt (sinh c)) (sqrt 1)) (* (sqrt (sinh c)) (sqrt (sqrt (sinh c)))) (* (sqrt (sinh c)) 1) (* (cbrt (sqrt (sinh c))) (sqrt (sinh c))) (* (sqrt (cbrt (sinh c))) (sqrt (sinh c))) (* (sqrt (sqrt (sinh c))) (sqrt (sinh c))) (* (sqrt (sinh c)) (sqrt (sinh c))) (* (sqrt (sqrt (sinh c))) (sqrt (sinh c))) (* (sqrt (sinh c)) (sqrt (sinh c))) (* (sqrt (sinh c)) (sqrt (- (exp c) (exp (- c))))) (* (sqrt (- (exp c) (exp (- 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)) (* (* (sinh c) (sinh c)) (sinh c)) (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)) (* (* (sinh c) (sinh c)) (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (expm1 (sqrt (sinh c))) (log1p (sqrt (sinh c))) (log (sqrt (sinh c))) (exp (sqrt (sinh c))) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))) (cbrt (sqrt (sinh c))) (* (* (sqrt (sinh c)) (sqrt (sinh c))) (sqrt (sinh c))) (sqrt (* (cbrt (sinh c)) (cbrt (sinh c)))) (sqrt (cbrt (sinh c))) (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))) (sqrt 1) (sqrt (sinh c)) (sqrt (- (exp c) (exp (- c)))) (sqrt 2) (/ 1 2) (sqrt (sqrt (sinh c))) (sqrt (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/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)))) (- (+ (* +nan.0 (pow c 3)) (- (+ (* +nan.0 (pow c 2)) (- (* +nan.0 c)))))) (* (sqrt 1/2) (sqrt (- (exp c) (exp (- c))))) (* (sqrt (- (exp c) (exp (* -1 c)))) (sqrt 1/2)) 6.356 * * [simplify]: iteration 0 : 100 enodes (cost 845 ) 6.380 * * [simplify]: iteration 1 : 183 enodes (cost 547 ) 6.411 * * [simplify]: iteration 2 : 452 enodes (cost 512 ) 6.611 * * [simplify]: iteration 3 : 1391 enodes (cost 501 ) 7.715 * * [simplify]: iteration 4 : 4643 enodes (cost 495 ) 9.274 * * [simplify]: iteration done : 5000 enodes (cost 495 ) 9.275 * [simplify]: Simplified to: (expm1 (sinh c)) (log1p (sinh c)) 1 1 2 1 1 (* (sinh c) (sinh c)) (sinh c) (* (sinh c) (sinh c)) 2 (log (sinh c)) (log (sinh c)) (exp (sinh c)) (pow (sinh c) 3) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (pow (sinh c) 3) (* (sinh c) (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (- (exp c) (exp (- c))) 2 (pow (cbrt (sqrt (sinh c))) 4) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) 1 (sinh c) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) 1 (sinh c) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) 1 2 1 (pow (cbrt (sqrt (sinh c))) 5) (* (fabs (cbrt (sinh c))) (sqrt (sinh c))) (pow (sqrt (sqrt (sinh c))) 3) (sqrt (sinh c)) (pow (sqrt (sqrt (sinh c))) 3) (sqrt (sinh c)) (pow (cbrt (sqrt (sinh c))) 4) (* (sqrt (cbrt (sinh c))) (sqrt (sinh c))) (pow (sqrt (sqrt (sinh c))) 3) (sinh c) (pow (sqrt (sqrt (sinh c))) 3) (sinh c) (* (sqrt (- (exp c) (exp (- c)))) (sqrt (sinh c))) (* (sqrt (- (exp c) (exp (- 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)) (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)) (expm1 (sqrt (sinh c))) (log1p (sqrt (sinh c))) (log (sqrt (sinh c))) (exp (sqrt (sinh c))) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))) (cbrt (sqrt (sinh c))) (pow (sqrt (sinh c)) 3) (fabs (cbrt (sinh c))) (sqrt (cbrt (sinh c))) (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))) 1 (sqrt (sinh c)) (sqrt (- (exp c) (exp (- c)))) (sqrt 2) 1/2 (sqrt (sqrt (sinh c))) (sqrt (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)))) (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)))) (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)))) (* +nan.0 (fma c (+ c -1) (- (pow c 3)))) (* (sqrt 1/2) (sqrt (- (exp c) (exp (- c))))) (* (sqrt 1/2) (sqrt (- (exp c) (exp (- c))))) 9.276 * * * [progress]: adding candidates to table 9.485 * [progress]: [Phase 3 of 3] Extracting. 9.485 * * [regime]: Finding splitpoints for: (# # #) 9.485 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c) 9.485 * * * * [regimes]: Trying to branch on (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) from (# # #) 9.509 * * * * [regimes]: Trying to branch on c from (# # #) 9.523 * * * [regime]: Found split indices: #