0.843 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.339 * * * [progress]: [2/2] Setting up program. 0.343 * [progress]: [Phase 2 of 3] Improving. 0.346 * [simplify]: Simplifying using # : (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 0.349 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.352 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 0.354 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 0.360 * * [simplify]: iteration 3 : 71 enodes (cost 8 ) 0.371 * * [simplify]: iteration 4 : 147 enodes (cost 8 ) 0.412 * * [simplify]: iteration 5 : 371 enodes (cost 8 ) 0.557 * * [simplify]: iteration 6 : 1456 enodes (cost 8 ) 1.602 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 1.602 * [simplify]: Simplified to: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 1.604 * * [progress]: iteration 1 / 4 1.604 * * * [progress]: picking best candidate 1.606 * * * * [pick]: Picked # 1.606 * * * [progress]: localizing error 1.616 * * * [progress]: generating rewritten candidates 1.616 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 1.620 * * * [progress]: generating series expansions 1.620 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 1.622 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 1.623 * [taylor]: Taking taylor expansion of (sinh c) in c 1.625 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1.625 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1.625 * [taylor]: Taking taylor expansion of (exp c) in c 1.625 * [taylor]: Taking taylor expansion of c in c 1.625 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.625 * [taylor]: Taking taylor expansion of (- c) in c 1.625 * [taylor]: Taking taylor expansion of c in c 1.626 * [taylor]: Taking taylor expansion of 2 in c 1.629 * [taylor]: Taking taylor expansion of (sinh c) in c 1.630 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1.630 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1.630 * [taylor]: Taking taylor expansion of (exp c) in c 1.630 * [taylor]: Taking taylor expansion of c in c 1.630 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1.630 * [taylor]: Taking taylor expansion of (- c) in c 1.630 * [taylor]: Taking taylor expansion of c in c 1.630 * [taylor]: Taking taylor expansion of 2 in c 1.668 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1.668 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1.668 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.668 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.668 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.668 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.668 * [taylor]: Taking taylor expansion of c in c 1.669 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.669 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.669 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.669 * [taylor]: Taking taylor expansion of c in c 1.670 * [taylor]: Taking taylor expansion of 2 in c 1.670 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1.670 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1.670 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1.670 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1.670 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.670 * [taylor]: Taking taylor expansion of c in c 1.670 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1.670 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.670 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.670 * [taylor]: Taking taylor expansion of c in c 1.671 * [taylor]: Taking taylor expansion of 2 in c 1.683 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1.683 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1.683 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.683 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.683 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.683 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.683 * [taylor]: Taking taylor expansion of -1 in c 1.683 * [taylor]: Taking taylor expansion of c in c 1.684 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.684 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.684 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.684 * [taylor]: Taking taylor expansion of -1 in c 1.684 * [taylor]: Taking taylor expansion of c in c 1.684 * [taylor]: Taking taylor expansion of 2 in c 1.685 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1.685 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1.685 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1.685 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1.685 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.685 * [taylor]: Taking taylor expansion of -1 in c 1.685 * [taylor]: Taking taylor expansion of c in c 1.685 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1.685 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1.685 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1.685 * [taylor]: Taking taylor expansion of -1 in c 1.685 * [taylor]: Taking taylor expansion of c in c 1.686 * [taylor]: Taking taylor expansion of 2 in c 1.697 * * * [progress]: simplifying candidates 1.698 * [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)))) 1.699 * * [simplify]: iteration 0 : 32 enodes (cost 72 ) 1.704 * * [simplify]: iteration 1 : 65 enodes (cost 69 ) 1.716 * * [simplify]: iteration 2 : 136 enodes (cost 65 ) 1.750 * * [simplify]: iteration 3 : 329 enodes (cost 65 ) 1.827 * * [simplify]: iteration 4 : 822 enodes (cost 65 ) 2.157 * * [simplify]: iteration 5 : 3591 enodes (cost 65 ) 3.492 * * [simplify]: iteration done : 5000 enodes (cost 65 ) 3.492 * [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)))) 3.492 * * * [progress]: adding candidates to table 3.532 * * [progress]: iteration 2 / 4 3.532 * * * [progress]: picking best candidate 3.537 * * * * [pick]: Picked # 3.537 * * * [progress]: localizing error 3.551 * * * [progress]: generating rewritten candidates 3.551 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 3.552 * * * [progress]: generating series expansions 3.552 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 3.552 * [approximate]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in (c) around 0 3.552 * [taylor]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in c 3.552 * [taylor]: Rewrote expression to (+ (* 1/6 (pow c 3)) (fma 1/120 (pow c 5) c)) 3.552 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 3.552 * [taylor]: Taking taylor expansion of 1/6 in c 3.552 * [taylor]: Taking taylor expansion of (pow c 3) in c 3.552 * [taylor]: Taking taylor expansion of c in c 3.553 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c 3.553 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c) 3.553 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 3.553 * [taylor]: Taking taylor expansion of 1/120 in c 3.553 * [taylor]: Taking taylor expansion of (pow c 5) in c 3.553 * [taylor]: Taking taylor expansion of c in c 3.553 * [taylor]: Taking taylor expansion of c in c 3.553 * [taylor]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in c 3.553 * [taylor]: Rewrote expression to (+ (* 1/6 (pow c 3)) (fma 1/120 (pow c 5) c)) 3.553 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 3.553 * [taylor]: Taking taylor expansion of 1/6 in c 3.553 * [taylor]: Taking taylor expansion of (pow c 3) in c 3.553 * [taylor]: Taking taylor expansion of c in c 3.553 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c 3.553 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c) 3.553 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 3.553 * [taylor]: Taking taylor expansion of 1/120 in c 3.553 * [taylor]: Taking taylor expansion of (pow c 5) in c 3.553 * [taylor]: Taking taylor expansion of c in c 3.553 * [taylor]: Taking taylor expansion of c in c 3.562 * [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 3.562 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c 3.562 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 c) 3)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 3.562 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 c) 3)) in c 3.562 * [taylor]: Taking taylor expansion of 1/6 in c 3.562 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 3) in c 3.562 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.562 * [taylor]: Taking taylor expansion of c in c 3.562 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c 3.563 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) 3.563 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c 3.563 * [taylor]: Taking taylor expansion of 1/120 in c 3.563 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c 3.563 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.563 * [taylor]: Taking taylor expansion of c in c 3.563 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.563 * [taylor]: Taking taylor expansion of c in c 3.563 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c 3.563 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 c) 3)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 3.563 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 c) 3)) in c 3.563 * [taylor]: Taking taylor expansion of 1/6 in c 3.563 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 3) in c 3.563 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.563 * [taylor]: Taking taylor expansion of c in c 3.564 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c 3.564 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) 3.564 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c 3.564 * [taylor]: Taking taylor expansion of 1/120 in c 3.564 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c 3.564 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.564 * [taylor]: Taking taylor expansion of c in c 3.564 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.564 * [taylor]: Taking taylor expansion of c in c 3.588 * [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 3.588 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c 3.588 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 c) 3)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 3.588 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 c) 3)) in c 3.588 * [taylor]: Taking taylor expansion of 1/6 in c 3.588 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 3) in c 3.588 * [taylor]: Taking taylor expansion of (/ -1 c) in c 3.588 * [taylor]: Taking taylor expansion of -1 in c 3.588 * [taylor]: Taking taylor expansion of c in c 3.589 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c 3.589 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c)) 3.589 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c 3.589 * [taylor]: Taking taylor expansion of 1/120 in c 3.589 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c 3.589 * [taylor]: Taking taylor expansion of (/ -1 c) in c 3.589 * [taylor]: Taking taylor expansion of -1 in c 3.589 * [taylor]: Taking taylor expansion of c in c 3.589 * [taylor]: Taking taylor expansion of (/ -1 c) in c 3.589 * [taylor]: Taking taylor expansion of -1 in c 3.589 * [taylor]: Taking taylor expansion of c in c 3.590 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c 3.590 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 c) 3)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 3.590 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 c) 3)) in c 3.590 * [taylor]: Taking taylor expansion of 1/6 in c 3.590 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 3) in c 3.590 * [taylor]: Taking taylor expansion of (/ -1 c) in c 3.590 * [taylor]: Taking taylor expansion of -1 in c 3.590 * [taylor]: Taking taylor expansion of c in c 3.590 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c 3.590 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c)) 3.590 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c 3.590 * [taylor]: Taking taylor expansion of 1/120 in c 3.590 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c 3.590 * [taylor]: Taking taylor expansion of (/ -1 c) in c 3.590 * [taylor]: Taking taylor expansion of -1 in c 3.590 * [taylor]: Taking taylor expansion of c in c 3.591 * [taylor]: Taking taylor expansion of (/ -1 c) in c 3.591 * [taylor]: Taking taylor expansion of -1 in c 3.591 * [taylor]: Taking taylor expansion of c in c 3.610 * * * [progress]: simplifying candidates 3.610 * [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)) 3.612 * * [simplify]: iteration 0 : 22 enodes (cost 188 ) 3.615 * * [simplify]: iteration 1 : 42 enodes (cost 182 ) 3.623 * * [simplify]: iteration 2 : 119 enodes (cost 160 ) 3.658 * * [simplify]: iteration 3 : 499 enodes (cost 160 ) 3.845 * * [simplify]: iteration 4 : 2850 enodes (cost 160 ) 5.030 * * [simplify]: iteration done : 5000 enodes (cost 160 ) 5.031 * [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)) 5.031 * * * [progress]: adding candidates to table 5.074 * * [progress]: iteration 3 / 4 5.074 * * * [progress]: picking best candidate 5.076 * * * * [pick]: Picked # 5.077 * * * [progress]: localizing error 5.087 * * * [progress]: generating rewritten candidates 5.087 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 5.096 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 5.096 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 5.097 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 5.100 * * * [progress]: generating series expansions 5.100 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 5.100 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 5.100 * [taylor]: Taking taylor expansion of (sinh c) in c 5.100 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 5.100 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 5.100 * [taylor]: Taking taylor expansion of (exp c) in c 5.100 * [taylor]: Taking taylor expansion of c in c 5.101 * [taylor]: Taking taylor expansion of (exp (- c)) in c 5.101 * [taylor]: Taking taylor expansion of (- c) in c 5.101 * [taylor]: Taking taylor expansion of c in c 5.101 * [taylor]: Taking taylor expansion of 2 in c 5.104 * [taylor]: Taking taylor expansion of (sinh c) in c 5.104 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 5.104 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 5.104 * [taylor]: Taking taylor expansion of (exp c) in c 5.104 * [taylor]: Taking taylor expansion of c in c 5.104 * [taylor]: Taking taylor expansion of (exp (- c)) in c 5.104 * [taylor]: Taking taylor expansion of (- c) in c 5.104 * [taylor]: Taking taylor expansion of c in c 5.105 * [taylor]: Taking taylor expansion of 2 in c 5.136 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 5.136 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 5.137 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 5.137 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 5.137 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 5.137 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.137 * [taylor]: Taking taylor expansion of c in c 5.137 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 5.137 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 5.137 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.137 * [taylor]: Taking taylor expansion of c in c 5.138 * [taylor]: Taking taylor expansion of 2 in c 5.138 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 5.138 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 5.138 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 5.138 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 5.138 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.138 * [taylor]: Taking taylor expansion of c in c 5.138 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 5.138 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 5.138 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.138 * [taylor]: Taking taylor expansion of c in c 5.139 * [taylor]: Taking taylor expansion of 2 in c 5.151 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 5.151 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 5.151 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 5.151 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 5.151 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 5.151 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.151 * [taylor]: Taking taylor expansion of -1 in c 5.151 * [taylor]: Taking taylor expansion of c in c 5.151 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 5.151 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 5.151 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.151 * [taylor]: Taking taylor expansion of -1 in c 5.151 * [taylor]: Taking taylor expansion of c in c 5.152 * [taylor]: Taking taylor expansion of 2 in c 5.152 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 5.152 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 5.152 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 5.152 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 5.152 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.152 * [taylor]: Taking taylor expansion of -1 in c 5.152 * [taylor]: Taking taylor expansion of c in c 5.153 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 5.153 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 5.153 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.153 * [taylor]: Taking taylor expansion of -1 in c 5.153 * [taylor]: Taking taylor expansion of c in c 5.153 * [taylor]: Taking taylor expansion of 2 in c 5.165 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 5.165 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 5.165 * [taylor]: Taking taylor expansion of (sinh c) in c 5.165 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 5.165 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 5.165 * [taylor]: Taking taylor expansion of (exp c) in c 5.165 * [taylor]: Taking taylor expansion of c in c 5.165 * [taylor]: Taking taylor expansion of (exp (- c)) in c 5.165 * [taylor]: Taking taylor expansion of (- c) in c 5.165 * [taylor]: Taking taylor expansion of c in c 5.166 * [taylor]: Taking taylor expansion of 2 in c 5.169 * [taylor]: Taking taylor expansion of (sinh c) in c 5.169 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 5.169 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 5.169 * [taylor]: Taking taylor expansion of (exp c) in c 5.169 * [taylor]: Taking taylor expansion of c in c 5.169 * [taylor]: Taking taylor expansion of (exp (- c)) in c 5.169 * [taylor]: Taking taylor expansion of (- c) in c 5.169 * [taylor]: Taking taylor expansion of c in c 5.169 * [taylor]: Taking taylor expansion of 2 in c 5.202 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 5.202 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 5.202 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 5.202 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 5.202 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 5.202 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.202 * [taylor]: Taking taylor expansion of c in c 5.202 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 5.202 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 5.202 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.202 * [taylor]: Taking taylor expansion of c in c 5.203 * [taylor]: Taking taylor expansion of 2 in c 5.203 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 5.203 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 5.203 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 5.203 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 5.203 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.203 * [taylor]: Taking taylor expansion of c in c 5.204 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 5.204 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 5.204 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.204 * [taylor]: Taking taylor expansion of c in c 5.204 * [taylor]: Taking taylor expansion of 2 in c 5.216 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 5.216 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 5.216 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 5.216 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 5.216 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 5.216 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.216 * [taylor]: Taking taylor expansion of -1 in c 5.216 * [taylor]: Taking taylor expansion of c in c 5.217 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 5.217 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 5.217 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.217 * [taylor]: Taking taylor expansion of -1 in c 5.217 * [taylor]: Taking taylor expansion of c in c 5.217 * [taylor]: Taking taylor expansion of 2 in c 5.218 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 5.218 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 5.218 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 5.218 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 5.218 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.218 * [taylor]: Taking taylor expansion of -1 in c 5.218 * [taylor]: Taking taylor expansion of c in c 5.218 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 5.218 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 5.218 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.218 * [taylor]: Taking taylor expansion of -1 in c 5.218 * [taylor]: Taking taylor expansion of c in c 5.219 * [taylor]: Taking taylor expansion of 2 in c 5.230 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 5.230 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 5.230 * [taylor]: Taking taylor expansion of (sinh c) in c 5.231 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 5.231 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 5.231 * [taylor]: Taking taylor expansion of (exp c) in c 5.231 * [taylor]: Taking taylor expansion of c in c 5.231 * [taylor]: Taking taylor expansion of (exp (- c)) in c 5.231 * [taylor]: Taking taylor expansion of (- c) in c 5.231 * [taylor]: Taking taylor expansion of c in c 5.231 * [taylor]: Taking taylor expansion of 2 in c 5.234 * [taylor]: Taking taylor expansion of (sinh c) in c 5.234 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 5.234 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 5.234 * [taylor]: Taking taylor expansion of (exp c) in c 5.234 * [taylor]: Taking taylor expansion of c in c 5.234 * [taylor]: Taking taylor expansion of (exp (- c)) in c 5.234 * [taylor]: Taking taylor expansion of (- c) in c 5.234 * [taylor]: Taking taylor expansion of c in c 5.235 * [taylor]: Taking taylor expansion of 2 in c 5.262 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 5.262 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 5.262 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 5.262 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 5.262 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 5.262 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.262 * [taylor]: Taking taylor expansion of c in c 5.263 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 5.263 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 5.263 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.263 * [taylor]: Taking taylor expansion of c in c 5.263 * [taylor]: Taking taylor expansion of 2 in c 5.264 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 5.264 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 5.264 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 5.264 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 5.264 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.264 * [taylor]: Taking taylor expansion of c in c 5.264 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 5.264 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 5.264 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.264 * [taylor]: Taking taylor expansion of c in c 5.265 * [taylor]: Taking taylor expansion of 2 in c 5.276 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 5.276 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 5.277 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 5.277 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 5.277 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 5.277 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.277 * [taylor]: Taking taylor expansion of -1 in c 5.277 * [taylor]: Taking taylor expansion of c in c 5.277 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 5.277 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 5.277 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.277 * [taylor]: Taking taylor expansion of -1 in c 5.277 * [taylor]: Taking taylor expansion of c in c 5.278 * [taylor]: Taking taylor expansion of 2 in c 5.278 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 5.278 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 5.278 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 5.278 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 5.278 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.278 * [taylor]: Taking taylor expansion of -1 in c 5.278 * [taylor]: Taking taylor expansion of c in c 5.278 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 5.278 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 5.278 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.278 * [taylor]: Taking taylor expansion of -1 in c 5.278 * [taylor]: Taking taylor expansion of c in c 5.279 * [taylor]: Taking taylor expansion of 2 in c 5.296 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 5.296 * [approximate]: Taking taylor expansion of (sqrt (sinh c)) in (c) around 0 5.296 * [taylor]: Taking taylor expansion of (sqrt (sinh c)) in c 5.296 * [taylor]: Taking taylor expansion of (sinh c) in c 5.296 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 5.296 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 5.296 * [taylor]: Taking taylor expansion of (exp c) in c 5.296 * [taylor]: Taking taylor expansion of c in c 5.296 * [taylor]: Taking taylor expansion of (exp (- c)) in c 5.296 * [taylor]: Taking taylor expansion of (- c) in c 5.296 * [taylor]: Taking taylor expansion of c in c 5.297 * [taylor]: Taking taylor expansion of 2 in c 5.301 * [taylor]: Taking taylor expansion of (sqrt (sinh c)) in c 5.301 * [taylor]: Taking taylor expansion of (sinh c) in c 5.301 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 5.301 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 5.301 * [taylor]: Taking taylor expansion of (exp c) in c 5.301 * [taylor]: Taking taylor expansion of c in c 5.301 * [taylor]: Taking taylor expansion of (exp (- c)) in c 5.301 * [taylor]: Taking taylor expansion of (- c) in c 5.301 * [taylor]: Taking taylor expansion of c in c 5.302 * [taylor]: Taking taylor expansion of 2 in c 5.318 * [approximate]: Taking taylor expansion of (sqrt (sinh (/ 1 c))) in (c) around 0 5.318 * [taylor]: Taking taylor expansion of (sqrt (sinh (/ 1 c))) in c 5.318 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 5.318 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 5.318 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 5.318 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 5.318 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.318 * [taylor]: Taking taylor expansion of c in c 5.318 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 5.319 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 5.319 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.319 * [taylor]: Taking taylor expansion of c in c 5.319 * [taylor]: Taking taylor expansion of 2 in c 5.321 * [taylor]: Taking taylor expansion of (sqrt (sinh (/ 1 c))) in c 5.321 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 5.321 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 5.321 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 5.321 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 5.321 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.321 * [taylor]: Taking taylor expansion of c in c 5.321 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 5.321 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 5.321 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.321 * [taylor]: Taking taylor expansion of c in c 5.322 * [taylor]: Taking taylor expansion of 2 in c 5.339 * [approximate]: Taking taylor expansion of (sqrt (sinh (/ -1 c))) in (c) around 0 5.339 * [taylor]: Taking taylor expansion of (sqrt (sinh (/ -1 c))) in c 5.339 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 5.339 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 5.339 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 5.339 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 5.339 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.339 * [taylor]: Taking taylor expansion of -1 in c 5.339 * [taylor]: Taking taylor expansion of c in c 5.339 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 5.339 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 5.339 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.339 * [taylor]: Taking taylor expansion of -1 in c 5.340 * [taylor]: Taking taylor expansion of c in c 5.340 * [taylor]: Taking taylor expansion of 2 in c 5.342 * [taylor]: Taking taylor expansion of (sqrt (sinh (/ -1 c))) in c 5.342 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 5.342 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 5.342 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 5.342 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 5.342 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.342 * [taylor]: Taking taylor expansion of -1 in c 5.342 * [taylor]: Taking taylor expansion of c in c 5.342 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 5.342 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 5.342 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.342 * [taylor]: Taking taylor expansion of -1 in c 5.342 * [taylor]: Taking taylor expansion of c in c 5.343 * [taylor]: Taking taylor expansion of 2 in c 5.359 * * * [progress]: simplifying candidates 5.361 * [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)) 5.364 * * [simplify]: iteration 0 : 100 enodes (cost 845 ) 5.390 * * [simplify]: iteration 1 : 186 enodes (cost 549 ) 5.447 * * [simplify]: iteration 2 : 645 enodes (cost 512 ) 5.911 * * [simplify]: iteration done : 5000 enodes (cost 455 ) 5.912 * [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)) (* 2 (sinh c)) 2 (* (cbrt (sqrt (sinh c))) (sqrt (sinh c))) (* (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 (* (sqrt (sinh c)) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))) (* (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)) (* (cbrt (sqrt (sinh c))) (sqrt (sinh c))) (* (sqrt (cbrt (sinh c))) (sqrt (sinh c))) (pow (sqrt (sqrt (sinh c))) 3) (sinh c) (pow (sqrt (sqrt (sinh c))) 3) (sinh c) (* (sqrt (sinh c)) (sqrt (* 2 (sinh c)))) (* (sqrt (sinh c)) (sqrt (* 2 (sinh c)))) (expm1 (sinh c)) (log1p (sinh c)) (* 2 (sinh c)) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (expm1 (sinh c)) (log1p (sinh c)) (* 2 (sinh c)) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (expm1 (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 (* 2 (sinh 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)) (sinh c) (sinh c) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (sinh c) (sinh c) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (sinh c) (sinh c) (* +nan.0 (+ (- (pow c 2) c) (- (pow c 3)))) (* (sqrt 1/2) (sqrt (* 2 (sinh c)))) (* (sqrt 1/2) (sqrt (* 2 (sinh c)))) 5.912 * * * [progress]: adding candidates to table 6.114 * [progress]: [Phase 3 of 3] Extracting. 6.115 * * [regime]: Finding splitpoints for: (# # #) 6.115 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c) 6.116 * * * * [regimes]: Trying to branch on (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) from (# # #) 6.144 * * * * [regimes]: Trying to branch on c from (# # #) 6.163 * * * [regime]: Found split indices: #