65.500 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.112 * * * [progress]: [2/2] Setting up program. 0.115 * [progress]: [Phase 2 of 3] Improving. 0.116 * [simplify]: Simplifying: (* (cos x) (/ (sinh y) y)) 0.116 * * [simplify]: Extracting # 0 : cost 0 0.116 * * [simplify]: Extracting # 1 : cost 0 0.116 * * [simplify]: Extracting # 2 : cost 0 0.116 * * [simplify]: Extracting # 3 : cost 0 0.116 * * [simplify]: Extracting # 4 : cost 0 0.116 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.117 * * [simplify]: Extracting # 0 : cost 0 0.117 * * [simplify]: Extracting # 1 : cost 0 0.117 * * [simplify]: Extracting # 2 : cost 0 0.117 * * [simplify]: Extracting # 3 : cost 0 0.117 * * [simplify]: Extracting # 4 : cost 0 0.117 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 0.119 * * [simplify]: Extracting # 0 : cost 0 0.119 * * [simplify]: Extracting # 1 : cost 0 0.119 * * [simplify]: Extracting # 2 : cost 0 0.120 * * [simplify]: iteration 2 : 30 enodes (cost 7 ) 0.125 * * [simplify]: Extracting # 0 : cost 0 0.125 * * [simplify]: Extracting # 1 : cost 0 0.125 * * [simplify]: Extracting # 2 : cost 0 0.125 * * [simplify]: iteration 3 : 67 enodes (cost 7 ) 0.136 * * [simplify]: Extracting # 0 : cost 0 0.136 * * [simplify]: Extracting # 1 : cost 0 0.136 * * [simplify]: Extracting # 2 : cost 0 0.136 * * [simplify]: Extracting # 3 : cost 0 0.136 * * [simplify]: Extracting # 4 : cost 0 0.136 * * [simplify]: iteration 4 : 135 enodes (cost 7 ) 0.196 * * [simplify]: Extracting # 0 : cost 0 0.196 * * [simplify]: Extracting # 1 : cost 0 0.197 * * [simplify]: Extracting # 2 : cost 0 0.197 * * [simplify]: Extracting # 3 : cost 0 0.197 * * [simplify]: Extracting # 4 : cost 0 0.197 * * [simplify]: iteration 5 : 256 enodes (cost 7 ) 0.268 * * [simplify]: Extracting # 0 : cost 0 0.268 * * [simplify]: Extracting # 1 : cost 0 0.269 * * [simplify]: Extracting # 2 : cost 0 0.269 * * [simplify]: iteration 6 : 460 enodes (cost 7 ) 0.532 * * [simplify]: Extracting # 0 : cost 0 0.534 * * [simplify]: Extracting # 1 : cost 0 0.535 * * [simplify]: Extracting # 2 : cost 0 0.536 * * [simplify]: Extracting # 3 : cost 0 0.537 * * [simplify]: Extracting # 4 : cost 0 0.538 * * [simplify]: iteration 7 : 977 enodes (cost 7 ) 1.787 * * [simplify]: Extracting # 0 : cost 0 1.789 * * [simplify]: Extracting # 1 : cost 0 1.791 * * [simplify]: Extracting # 2 : cost 0 1.792 * * [simplify]: iteration 8 : 1864 enodes (cost 7 ) 5.713 * * [simplify]: Extracting # 0 : cost 0 5.716 * * [simplify]: Extracting # 1 : cost 0 5.718 * * [simplify]: Extracting # 2 : cost 0 5.719 * * [simplify]: iteration 9 : 3263 enodes (cost 7 ) 11.147 * * [simplify]: Extracting # 0 : cost 0 11.150 * * [simplify]: Extracting # 1 : cost 0 11.153 * * [simplify]: Extracting # 2 : cost 0 11.155 * * [simplify]: iteration 10 : 4445 enodes (cost 7 ) 13.536 * * [simplify]: Extracting # 0 : cost 0 13.538 * * [simplify]: Extracting # 1 : cost 0 13.540 * * [simplify]: Extracting # 2 : cost 0 13.542 * * [simplify]: iteration done: 5001 enodes (cost 7 ) 13.542 * [simplify]: Simplified to: (* (cos x) (/ (sinh y) y)) 13.542 * * [progress]: iteration 1 / 4 13.542 * * * [progress]: picking best candidate 13.544 * * * * [pick]: Picked # 13.544 * * * [progress]: localizing error 13.560 * * * [progress]: generating rewritten candidates 13.560 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 13.569 * * * [progress]: generating series expansions 13.569 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 13.569 * [backup-simplify]: Simplify (/ (sinh y) y) into (/ (sinh y) y) 13.569 * [approximate]: Taking taylor expansion of (/ (sinh y) y) in (y) around 0 13.569 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 13.569 * [taylor]: Taking taylor expansion of (sinh y) in y 13.571 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 13.571 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 13.571 * [taylor]: Taking taylor expansion of (exp y) in y 13.571 * [taylor]: Taking taylor expansion of y in y 13.571 * [backup-simplify]: Simplify 0 into 0 13.571 * [backup-simplify]: Simplify 1 into 1 13.571 * [backup-simplify]: Simplify (exp 0) into 1 13.571 * [taylor]: Taking taylor expansion of (exp (- y)) in y 13.571 * [taylor]: Taking taylor expansion of (- y) in y 13.571 * [taylor]: Taking taylor expansion of y in y 13.571 * [backup-simplify]: Simplify 0 into 0 13.571 * [backup-simplify]: Simplify 1 into 1 13.572 * [backup-simplify]: Simplify (- 0) into 0 13.572 * [backup-simplify]: Simplify (- 1) into -1 13.572 * [backup-simplify]: Simplify (exp 0) into 1 13.572 * [taylor]: Taking taylor expansion of 2 in y 13.572 * [backup-simplify]: Simplify 2 into 2 13.572 * [backup-simplify]: Simplify (- 1) into -1 13.573 * [backup-simplify]: Simplify (+ 1 -1) into 0 13.573 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 13.574 * [backup-simplify]: Simplify (- 1) into -1 13.574 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 13.575 * [backup-simplify]: Simplify (- -1) into 1 13.575 * [backup-simplify]: Simplify (+ 1 1) into 2 13.575 * [backup-simplify]: Simplify (/ 2 2) into 1 13.575 * [taylor]: Taking taylor expansion of y in y 13.575 * [backup-simplify]: Simplify 0 into 0 13.575 * [backup-simplify]: Simplify 1 into 1 13.576 * [backup-simplify]: Simplify (/ 1 1) into 1 13.576 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 13.576 * [taylor]: Taking taylor expansion of (sinh y) in y 13.576 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 13.576 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 13.576 * [taylor]: Taking taylor expansion of (exp y) in y 13.576 * [taylor]: Taking taylor expansion of y in y 13.576 * [backup-simplify]: Simplify 0 into 0 13.576 * [backup-simplify]: Simplify 1 into 1 13.576 * [backup-simplify]: Simplify (exp 0) into 1 13.576 * [taylor]: Taking taylor expansion of (exp (- y)) in y 13.576 * [taylor]: Taking taylor expansion of (- y) in y 13.576 * [taylor]: Taking taylor expansion of y in y 13.576 * [backup-simplify]: Simplify 0 into 0 13.576 * [backup-simplify]: Simplify 1 into 1 13.576 * [backup-simplify]: Simplify (- 0) into 0 13.577 * [backup-simplify]: Simplify (- 1) into -1 13.577 * [backup-simplify]: Simplify (exp 0) into 1 13.577 * [taylor]: Taking taylor expansion of 2 in y 13.577 * [backup-simplify]: Simplify 2 into 2 13.577 * [backup-simplify]: Simplify (- 1) into -1 13.578 * [backup-simplify]: Simplify (+ 1 -1) into 0 13.578 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 13.578 * [backup-simplify]: Simplify (- 1) into -1 13.579 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 13.579 * [backup-simplify]: Simplify (- -1) into 1 13.580 * [backup-simplify]: Simplify (+ 1 1) into 2 13.580 * [backup-simplify]: Simplify (/ 2 2) into 1 13.580 * [taylor]: Taking taylor expansion of y in y 13.580 * [backup-simplify]: Simplify 0 into 0 13.580 * [backup-simplify]: Simplify 1 into 1 13.580 * [backup-simplify]: Simplify (/ 1 1) into 1 13.580 * [backup-simplify]: Simplify 1 into 1 13.581 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 13.582 * [backup-simplify]: Simplify (- 1) into -1 13.582 * [backup-simplify]: Simplify (- 0) into 0 13.583 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 13.583 * [backup-simplify]: Simplify (- 1/2) into -1/2 13.583 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 13.584 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 13.584 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0 13.584 * [backup-simplify]: Simplify 0 into 0 13.586 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 13.586 * [backup-simplify]: Simplify (- 1) into -1 13.586 * [backup-simplify]: Simplify (- 1) into -1 13.587 * [backup-simplify]: Simplify (- 0) into 0 13.587 * [backup-simplify]: Simplify (- 0) into 0 13.588 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 13.589 * [backup-simplify]: Simplify (- -1/6) into 1/6 13.589 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 13.590 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 13.590 * [backup-simplify]: Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 1/6 13.590 * [backup-simplify]: Simplify 1/6 into 1/6 13.602 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 13.603 * [backup-simplify]: Simplify (- 1) into -1 13.603 * [backup-simplify]: Simplify (- 1) into -1 13.603 * [backup-simplify]: Simplify (- 0) into 0 13.604 * [backup-simplify]: Simplify (- 1) into -1 13.604 * [backup-simplify]: Simplify (- 0) into 0 13.605 * [backup-simplify]: Simplify (- 0) into 0 13.605 * [backup-simplify]: Simplify (- 0) into 0 13.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 13.610 * [backup-simplify]: Simplify (- 1/24) into -1/24 13.610 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 13.612 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 13.613 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 1/6 (/ 0 1)))) into 0 13.613 * [backup-simplify]: Simplify 0 into 0 13.618 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 13.619 * [backup-simplify]: Simplify (- 1) into -1 13.619 * [backup-simplify]: Simplify (- 1) into -1 13.619 * [backup-simplify]: Simplify (- 0) into 0 13.620 * [backup-simplify]: Simplify (- 1) into -1 13.620 * [backup-simplify]: Simplify (- 0) into 0 13.620 * [backup-simplify]: Simplify (- 1) into -1 13.620 * [backup-simplify]: Simplify (- 0) into 0 13.621 * [backup-simplify]: Simplify (- 1) into -1 13.621 * [backup-simplify]: Simplify (- 0) into 0 13.621 * [backup-simplify]: Simplify (- 0) into 0 13.621 * [backup-simplify]: Simplify (- 0) into 0 13.622 * [backup-simplify]: Simplify (- 0) into 0 13.625 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 13.626 * [backup-simplify]: Simplify (- -1/120) into 1/120 13.626 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 13.627 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 13.628 * [backup-simplify]: Simplify (- (/ 1/120 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 1/120 13.628 * [backup-simplify]: Simplify 1/120 into 1/120 13.628 * [backup-simplify]: Simplify (+ (* 1/120 (pow y 4)) (+ (* 1/6 (pow y 2)) 1)) into (+ (* 1/6 (pow y 2)) (+ (* 1/120 (pow y 4)) 1)) 13.628 * [backup-simplify]: Simplify (/ (sinh (/ 1 y)) (/ 1 y)) into (* (sinh (/ 1 y)) y) 13.628 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in (y) around 0 13.628 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 13.628 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 13.628 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 13.628 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 13.628 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 13.628 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.628 * [taylor]: Taking taylor expansion of y in y 13.628 * [backup-simplify]: Simplify 0 into 0 13.628 * [backup-simplify]: Simplify 1 into 1 13.629 * [backup-simplify]: Simplify (/ 1 1) into 1 13.629 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 13.629 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 13.629 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 13.629 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.629 * [taylor]: Taking taylor expansion of y in y 13.629 * [backup-simplify]: Simplify 0 into 0 13.629 * [backup-simplify]: Simplify 1 into 1 13.629 * [backup-simplify]: Simplify (/ 1 1) into 1 13.630 * [backup-simplify]: Simplify (- 1) into -1 13.630 * [backup-simplify]: Simplify (exp (- (/ 1 y))) into (exp (- (/ 1 y))) 13.630 * [taylor]: Taking taylor expansion of 2 in y 13.630 * [backup-simplify]: Simplify 2 into 2 13.630 * [backup-simplify]: Simplify (- (exp (- (/ 1 y)))) into (- (exp (- (/ 1 y)))) 13.630 * [backup-simplify]: Simplify (+ (exp (/ 1 y)) (- (exp (- (/ 1 y))))) into (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 13.630 * [backup-simplify]: Simplify (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) into (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 13.630 * [taylor]: Taking taylor expansion of y in y 13.630 * [backup-simplify]: Simplify 0 into 0 13.630 * [backup-simplify]: Simplify 1 into 1 13.630 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 13.630 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 13.630 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 13.630 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 13.630 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 13.630 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.630 * [taylor]: Taking taylor expansion of y in y 13.630 * [backup-simplify]: Simplify 0 into 0 13.630 * [backup-simplify]: Simplify 1 into 1 13.631 * [backup-simplify]: Simplify (/ 1 1) into 1 13.631 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 13.631 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 13.631 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 13.631 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.631 * [taylor]: Taking taylor expansion of y in y 13.631 * [backup-simplify]: Simplify 0 into 0 13.631 * [backup-simplify]: Simplify 1 into 1 13.631 * [backup-simplify]: Simplify (/ 1 1) into 1 13.631 * [backup-simplify]: Simplify (- 1) into -1 13.631 * [backup-simplify]: Simplify (exp (- (/ 1 y))) into (exp (- (/ 1 y))) 13.631 * [taylor]: Taking taylor expansion of 2 in y 13.631 * [backup-simplify]: Simplify 2 into 2 13.631 * [backup-simplify]: Simplify (- (exp (- (/ 1 y)))) into (- (exp (- (/ 1 y)))) 13.631 * [backup-simplify]: Simplify (+ (exp (/ 1 y)) (- (exp (- (/ 1 y))))) into (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 13.632 * [backup-simplify]: Simplify (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) into (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 13.632 * [taylor]: Taking taylor expansion of y in y 13.632 * [backup-simplify]: Simplify 0 into 0 13.632 * [backup-simplify]: Simplify 1 into 1 13.632 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) into 0 13.632 * [backup-simplify]: Simplify 0 into 0 13.632 * [backup-simplify]: Simplify (- 0) into 0 13.632 * [backup-simplify]: Simplify (+ 0 0) into 0 13.633 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)))) into 0 13.633 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 1) (* 0 0)) into (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))) 13.634 * [backup-simplify]: Simplify (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))) into (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))) 13.634 * [backup-simplify]: Simplify (- 0) into 0 13.634 * [backup-simplify]: Simplify (+ 0 0) into 0 13.635 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.636 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 1) (* 0 0))) into 0 13.636 * [backup-simplify]: Simplify 0 into 0 13.636 * [backup-simplify]: Simplify (- 0) into 0 13.636 * [backup-simplify]: Simplify (+ 0 0) into 0 13.637 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.638 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 13.638 * [backup-simplify]: Simplify 0 into 0 13.638 * [backup-simplify]: Simplify (- 0) into 0 13.639 * [backup-simplify]: Simplify (+ 0 0) into 0 13.640 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.641 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 13.641 * [backup-simplify]: Simplify 0 into 0 13.641 * [backup-simplify]: Simplify (- 0) into 0 13.641 * [backup-simplify]: Simplify (+ 0 0) into 0 13.643 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.644 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 13.644 * [backup-simplify]: Simplify 0 into 0 13.644 * [backup-simplify]: Simplify (- 0) into 0 13.644 * [backup-simplify]: Simplify (+ 0 0) into 0 13.647 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.647 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 13.648 * [backup-simplify]: Simplify 0 into 0 13.648 * [backup-simplify]: Simplify (- 0) into 0 13.648 * [backup-simplify]: Simplify (+ 0 0) into 0 13.650 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.651 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 13.651 * [backup-simplify]: Simplify 0 into 0 13.652 * [backup-simplify]: Simplify (* (- (* 1/2 (exp (/ 1 (/ 1 y)))) (* 1/2 (exp (- (/ 1 (/ 1 y)))))) (/ 1 y)) into (/ (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) y) 13.652 * [backup-simplify]: Simplify (/ (sinh (/ 1 (- y))) (/ 1 (- y))) into (* -1 (* (sinh (/ -1 y)) y)) 13.652 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in (y) around 0 13.652 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 13.652 * [taylor]: Taking taylor expansion of -1 in y 13.652 * [backup-simplify]: Simplify -1 into -1 13.652 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 13.652 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 13.652 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 13.652 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 13.652 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 13.652 * [taylor]: Taking taylor expansion of (/ -1 y) in y 13.652 * [taylor]: Taking taylor expansion of -1 in y 13.652 * [backup-simplify]: Simplify -1 into -1 13.652 * [taylor]: Taking taylor expansion of y in y 13.652 * [backup-simplify]: Simplify 0 into 0 13.652 * [backup-simplify]: Simplify 1 into 1 13.652 * [backup-simplify]: Simplify (/ -1 1) into -1 13.652 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 13.652 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 13.652 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 13.653 * [taylor]: Taking taylor expansion of (/ -1 y) in y 13.653 * [taylor]: Taking taylor expansion of -1 in y 13.653 * [backup-simplify]: Simplify -1 into -1 13.653 * [taylor]: Taking taylor expansion of y in y 13.653 * [backup-simplify]: Simplify 0 into 0 13.653 * [backup-simplify]: Simplify 1 into 1 13.653 * [backup-simplify]: Simplify (/ -1 1) into -1 13.653 * [backup-simplify]: Simplify (- -1) into 1 13.653 * [backup-simplify]: Simplify (exp (- (/ -1 y))) into (exp (/ 1 y)) 13.653 * [taylor]: Taking taylor expansion of 2 in y 13.653 * [backup-simplify]: Simplify 2 into 2 13.653 * [backup-simplify]: Simplify (- (exp (/ 1 y))) into (- (exp (/ 1 y))) 13.653 * [backup-simplify]: Simplify (+ (exp (/ -1 y)) (- (exp (/ 1 y)))) into (- (exp (/ -1 y)) (exp (/ 1 y))) 13.654 * [backup-simplify]: Simplify (/ (- (exp (/ -1 y)) (exp (/ 1 y))) 2) into (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 13.654 * [taylor]: Taking taylor expansion of y in y 13.654 * [backup-simplify]: Simplify 0 into 0 13.654 * [backup-simplify]: Simplify 1 into 1 13.654 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 13.654 * [taylor]: Taking taylor expansion of -1 in y 13.654 * [backup-simplify]: Simplify -1 into -1 13.654 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 13.654 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 13.654 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 13.654 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 13.654 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 13.654 * [taylor]: Taking taylor expansion of (/ -1 y) in y 13.654 * [taylor]: Taking taylor expansion of -1 in y 13.654 * [backup-simplify]: Simplify -1 into -1 13.654 * [taylor]: Taking taylor expansion of y in y 13.654 * [backup-simplify]: Simplify 0 into 0 13.654 * [backup-simplify]: Simplify 1 into 1 13.654 * [backup-simplify]: Simplify (/ -1 1) into -1 13.654 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 13.654 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 13.654 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 13.654 * [taylor]: Taking taylor expansion of (/ -1 y) in y 13.654 * [taylor]: Taking taylor expansion of -1 in y 13.654 * [backup-simplify]: Simplify -1 into -1 13.654 * [taylor]: Taking taylor expansion of y in y 13.654 * [backup-simplify]: Simplify 0 into 0 13.654 * [backup-simplify]: Simplify 1 into 1 13.655 * [backup-simplify]: Simplify (/ -1 1) into -1 13.655 * [backup-simplify]: Simplify (- -1) into 1 13.655 * [backup-simplify]: Simplify (exp (- (/ -1 y))) into (exp (/ 1 y)) 13.655 * [taylor]: Taking taylor expansion of 2 in y 13.655 * [backup-simplify]: Simplify 2 into 2 13.655 * [backup-simplify]: Simplify (- (exp (/ 1 y))) into (- (exp (/ 1 y))) 13.655 * [backup-simplify]: Simplify (+ (exp (/ -1 y)) (- (exp (/ 1 y)))) into (- (exp (/ -1 y)) (exp (/ 1 y))) 13.655 * [backup-simplify]: Simplify (/ (- (exp (/ -1 y)) (exp (/ 1 y))) 2) into (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 13.655 * [taylor]: Taking taylor expansion of y in y 13.655 * [backup-simplify]: Simplify 0 into 0 13.655 * [backup-simplify]: Simplify 1 into 1 13.655 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) into 0 13.656 * [backup-simplify]: Simplify (* -1 0) into 0 13.656 * [backup-simplify]: Simplify 0 into 0 13.656 * [backup-simplify]: Simplify (- 0) into 0 13.656 * [backup-simplify]: Simplify (+ 0 0) into 0 13.657 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)))) into 0 13.657 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 1) (* 0 0)) into (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y)))) 13.658 * [backup-simplify]: Simplify (+ (* -1 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (* 0 0)) into (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (/ -1 y)))) 13.658 * [backup-simplify]: Simplify (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (/ -1 y)))) into (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (/ -1 y)))) 13.658 * [backup-simplify]: Simplify (- 0) into 0 13.658 * [backup-simplify]: Simplify (+ 0 0) into 0 13.659 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.660 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) (+ (* 0 1) (* 0 0))) into 0 13.661 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (* 0 0))) into 0 13.661 * [backup-simplify]: Simplify 0 into 0 13.661 * [backup-simplify]: Simplify (- 0) into 0 13.661 * [backup-simplify]: Simplify (+ 0 0) into 0 13.663 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.663 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 13.664 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (* 0 0)))) into 0 13.664 * [backup-simplify]: Simplify 0 into 0 13.664 * [backup-simplify]: Simplify (- 0) into 0 13.665 * [backup-simplify]: Simplify (+ 0 0) into 0 13.666 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.667 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 13.668 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (* 0 0))))) into 0 13.668 * [backup-simplify]: Simplify 0 into 0 13.669 * [backup-simplify]: Simplify (- 0) into 0 13.669 * [backup-simplify]: Simplify (+ 0 0) into 0 13.671 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.672 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 13.673 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (* 0 0)))))) into 0 13.673 * [backup-simplify]: Simplify 0 into 0 13.674 * [backup-simplify]: Simplify (- 0) into 0 13.674 * [backup-simplify]: Simplify (+ 0 0) into 0 13.676 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.677 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 13.678 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (* 0 0))))))) into 0 13.678 * [backup-simplify]: Simplify 0 into 0 13.679 * [backup-simplify]: Simplify (- 0) into 0 13.679 * [backup-simplify]: Simplify (+ 0 0) into 0 13.682 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.683 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 13.686 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (* 0 0)))))))) into 0 13.686 * [backup-simplify]: Simplify 0 into 0 13.686 * [backup-simplify]: Simplify (* (- (* 1/2 (exp (/ 1 (/ 1 (- y))))) (* 1/2 (exp (/ -1 (/ 1 (- y)))))) (/ 1 (- y))) into (* -1 (/ (- (* 1/2 (exp (* -1 y))) (* 1/2 (exp y))) y)) 13.686 * * * [progress]: simplifying candidates 13.687 * [simplify]: Simplifying: (- (log (sinh y)) (log y)) (log (/ (sinh y) y)) (exp (/ (sinh y) y)) (/ (* (* (sinh y) (sinh y)) (sinh y)) (* (* y y) y)) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))) (cbrt (/ (sinh y) y)) (* (* (/ (sinh y) y) (/ (sinh y) y)) (/ (sinh y) y)) (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y)) (- (sinh y)) (- y) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sinh y)) (cbrt y)) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)) (/ (cbrt (sinh y)) (sqrt y)) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1) (/ (cbrt (sinh y)) y) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sinh y)) (cbrt y)) (/ (sqrt (sinh y)) (sqrt y)) (/ (sqrt (sinh y)) (sqrt y)) (/ (sqrt (sinh y)) 1) (/ (sqrt (sinh y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sinh y) (cbrt y)) (/ 1 (sqrt y)) (/ (sinh y) (sqrt y)) (/ 1 1) (/ (sinh y) y) (/ 1 y) (/ y (sinh y)) (/ (sinh y) (* (cbrt y) (cbrt y))) (/ (sinh y) (sqrt y)) (/ (sinh y) 1) (/ y (cbrt (sinh y))) (/ y (sqrt (sinh y))) (/ y (sinh y)) (* y 2) (+ (* 1/6 (pow y 2)) (+ (* 1/120 (pow y 4)) 1)) (/ (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) y) (* -1 (/ (- (* 1/2 (exp (* -1 y))) (* 1/2 (exp y))) y)) 13.688 * * [simplify]: Extracting # 0 : cost 0 13.688 * * [simplify]: Extracting # 1 : cost 0 13.688 * * [simplify]: Extracting # 2 : cost 0 13.688 * * [simplify]: Extracting # 3 : cost 0 13.688 * * [simplify]: Extracting # 4 : cost 0 13.688 * * [simplify]: Extracting # 5 : cost 0 13.688 * * [simplify]: Extracting # 6 : cost 0 13.688 * * [simplify]: Extracting # 7 : cost 0 13.689 * * [simplify]: Extracting # 8 : cost 0 13.689 * * [simplify]: iteration 0 : 74 enodes (cost 270 ) 13.707 * * [simplify]: Extracting # 0 : cost 0 13.707 * * [simplify]: Extracting # 1 : cost 0 13.707 * * [simplify]: Extracting # 2 : cost 0 13.707 * * [simplify]: Extracting # 3 : cost 0 13.707 * * [simplify]: Extracting # 4 : cost 0 13.707 * * [simplify]: iteration 1 : 143 enodes (cost 255 ) 13.761 * * [simplify]: Extracting # 0 : cost 0 13.762 * * [simplify]: Extracting # 1 : cost 0 13.762 * * [simplify]: Extracting # 2 : cost 0 13.763 * * [simplify]: Extracting # 3 : cost 0 13.763 * * [simplify]: Extracting # 4 : cost 0 13.763 * * [simplify]: iteration 2 : 348 enodes (cost 238 ) 13.931 * * [simplify]: Extracting # 0 : cost 0 13.932 * * [simplify]: Extracting # 1 : cost 0 13.933 * * [simplify]: Extracting # 2 : cost 0 13.933 * * [simplify]: Extracting # 3 : cost 0 13.934 * * [simplify]: Extracting # 4 : cost 0 13.935 * * [simplify]: iteration 3 : 890 enodes (cost 238 ) 14.628 * * [simplify]: Extracting # 0 : cost 0 14.636 * * [simplify]: Extracting # 1 : cost 0 14.639 * * [simplify]: Extracting # 2 : cost 0 14.642 * * [simplify]: Extracting # 3 : cost 0 14.649 * * [simplify]: Extracting # 4 : cost 0 14.652 * * [simplify]: iteration 4 : 3009 enodes (cost 238 ) 15.463 * * [simplify]: Extracting # 0 : cost 0 15.470 * * [simplify]: Extracting # 1 : cost 0 15.476 * * [simplify]: Extracting # 2 : cost 0 15.487 * * [simplify]: Extracting # 3 : cost 0 15.499 * * [simplify]: iteration done: 5001 enodes (cost 238 ) 15.500 * [simplify]: Simplified to: (log (/ (sinh y) y)) (log (/ (sinh y) y)) (exp (/ (sinh y) y)) (pow (/ (sinh y) y) 3) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))) (cbrt (/ (sinh y) y)) (pow (/ (sinh y) y) 3) (sqrt (/ (sinh y) y)) (sqrt (/ (sinh y) y)) (- (sinh y)) (- y) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y))) (/ (cbrt (sinh y)) (cbrt y)) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)) (/ (cbrt (sinh y)) (sqrt y)) (* (cbrt (sinh y)) (cbrt (sinh y))) (/ (cbrt (sinh y)) y) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))) (/ (sqrt (sinh y)) (cbrt y)) (/ (sqrt (sinh y)) (sqrt y)) (/ (sqrt (sinh y)) (sqrt y)) (sqrt (sinh y)) (/ (sqrt (sinh y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (sinh y) (cbrt y)) (/ 1 (sqrt y)) (/ (sinh y) (sqrt y)) 1 (/ (sinh y) y) (/ 1 y) (/ y (sinh y)) (/ (sinh y) (* (cbrt y) (cbrt y))) (/ (sinh y) (sqrt y)) (sinh y) (/ y (cbrt (sinh y))) (/ y (sqrt (sinh y))) (/ y (sinh y)) (* y 2) (+ (* 1/6 (pow y 2)) (+ (* 1/120 (pow y 4)) 1)) (/ (* 1/2 (- (exp y) (exp (- y)))) y) (/ (* 1/2 (- (exp y) (exp (- y)))) y) 15.500 * * * [progress]: adding candidates to table 15.592 * * [progress]: iteration 2 / 4 15.592 * * * [progress]: picking best candidate 15.594 * * * * [pick]: Picked # 15.594 * * * [progress]: localizing error 15.603 * * * [progress]: generating rewritten candidates 15.603 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 2) 15.610 * * * [progress]: generating series expansions 15.610 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 2) 15.610 * [backup-simplify]: Simplify (/ y (sinh y)) into (/ y (sinh y)) 15.610 * [approximate]: Taking taylor expansion of (/ y (sinh y)) in (y) around 0 15.610 * [taylor]: Taking taylor expansion of (/ y (sinh y)) in y 15.610 * [taylor]: Taking taylor expansion of y in y 15.610 * [backup-simplify]: Simplify 0 into 0 15.610 * [backup-simplify]: Simplify 1 into 1 15.610 * [taylor]: Taking taylor expansion of (sinh y) in y 15.610 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 15.610 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 15.610 * [taylor]: Taking taylor expansion of (exp y) in y 15.610 * [taylor]: Taking taylor expansion of y in y 15.610 * [backup-simplify]: Simplify 0 into 0 15.610 * [backup-simplify]: Simplify 1 into 1 15.610 * [backup-simplify]: Simplify (exp 0) into 1 15.610 * [taylor]: Taking taylor expansion of (exp (- y)) in y 15.614 * [taylor]: Taking taylor expansion of (- y) in y 15.614 * [taylor]: Taking taylor expansion of y in y 15.614 * [backup-simplify]: Simplify 0 into 0 15.614 * [backup-simplify]: Simplify 1 into 1 15.614 * [backup-simplify]: Simplify (- 0) into 0 15.614 * [backup-simplify]: Simplify (- 1) into -1 15.614 * [backup-simplify]: Simplify (exp 0) into 1 15.615 * [taylor]: Taking taylor expansion of 2 in y 15.615 * [backup-simplify]: Simplify 2 into 2 15.615 * [backup-simplify]: Simplify (- 1) into -1 15.615 * [backup-simplify]: Simplify (+ 1 -1) into 0 15.616 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.616 * [backup-simplify]: Simplify (- 1) into -1 15.617 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 15.617 * [backup-simplify]: Simplify (- -1) into 1 15.617 * [backup-simplify]: Simplify (+ 1 1) into 2 15.617 * [backup-simplify]: Simplify (/ 2 2) into 1 15.618 * [backup-simplify]: Simplify (/ 1 1) into 1 15.618 * [taylor]: Taking taylor expansion of (/ y (sinh y)) in y 15.618 * [taylor]: Taking taylor expansion of y in y 15.618 * [backup-simplify]: Simplify 0 into 0 15.618 * [backup-simplify]: Simplify 1 into 1 15.618 * [taylor]: Taking taylor expansion of (sinh y) in y 15.618 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 15.618 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 15.618 * [taylor]: Taking taylor expansion of (exp y) in y 15.618 * [taylor]: Taking taylor expansion of y in y 15.618 * [backup-simplify]: Simplify 0 into 0 15.618 * [backup-simplify]: Simplify 1 into 1 15.618 * [backup-simplify]: Simplify (exp 0) into 1 15.618 * [taylor]: Taking taylor expansion of (exp (- y)) in y 15.618 * [taylor]: Taking taylor expansion of (- y) in y 15.618 * [taylor]: Taking taylor expansion of y in y 15.618 * [backup-simplify]: Simplify 0 into 0 15.618 * [backup-simplify]: Simplify 1 into 1 15.618 * [backup-simplify]: Simplify (- 0) into 0 15.619 * [backup-simplify]: Simplify (- 1) into -1 15.619 * [backup-simplify]: Simplify (exp 0) into 1 15.619 * [taylor]: Taking taylor expansion of 2 in y 15.619 * [backup-simplify]: Simplify 2 into 2 15.619 * [backup-simplify]: Simplify (- 1) into -1 15.619 * [backup-simplify]: Simplify (+ 1 -1) into 0 15.620 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.620 * [backup-simplify]: Simplify (- 1) into -1 15.621 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 15.621 * [backup-simplify]: Simplify (- -1) into 1 15.621 * [backup-simplify]: Simplify (+ 1 1) into 2 15.622 * [backup-simplify]: Simplify (/ 2 2) into 1 15.622 * [backup-simplify]: Simplify (/ 1 1) into 1 15.622 * [backup-simplify]: Simplify 1 into 1 15.623 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.623 * [backup-simplify]: Simplify (- 1) into -1 15.624 * [backup-simplify]: Simplify (- 0) into 0 15.625 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.625 * [backup-simplify]: Simplify (- 1/2) into -1/2 15.625 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 15.626 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 15.626 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0 15.626 * [backup-simplify]: Simplify 0 into 0 15.627 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 15.628 * [backup-simplify]: Simplify (- 1) into -1 15.628 * [backup-simplify]: Simplify (- 1) into -1 15.628 * [backup-simplify]: Simplify (- 0) into 0 15.628 * [backup-simplify]: Simplify (- 0) into 0 15.631 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 15.631 * [backup-simplify]: Simplify (- -1/6) into 1/6 15.631 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 15.633 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 15.634 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 1/6 1)) (* 0 (/ 0 1)))) into -1/6 15.634 * [backup-simplify]: Simplify -1/6 into -1/6 15.638 * [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 15.639 * [backup-simplify]: Simplify (- 1) into -1 15.639 * [backup-simplify]: Simplify (- 1) into -1 15.639 * [backup-simplify]: Simplify (- 0) into 0 15.640 * [backup-simplify]: Simplify (- 1) into -1 15.640 * [backup-simplify]: Simplify (- 0) into 0 15.640 * [backup-simplify]: Simplify (- 0) into 0 15.641 * [backup-simplify]: Simplify (- 0) into 0 15.645 * [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 15.646 * [backup-simplify]: Simplify (- 1/24) into -1/24 15.646 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 15.647 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 15.649 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 1/6 1)) (* -1/6 (/ 0 1)))) into 0 15.649 * [backup-simplify]: Simplify 0 into 0 15.656 * [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 15.656 * [backup-simplify]: Simplify (- 1) into -1 15.657 * [backup-simplify]: Simplify (- 1) into -1 15.657 * [backup-simplify]: Simplify (- 0) into 0 15.658 * [backup-simplify]: Simplify (- 1) into -1 15.658 * [backup-simplify]: Simplify (- 0) into 0 15.658 * [backup-simplify]: Simplify (- 1) into -1 15.659 * [backup-simplify]: Simplify (- 0) into 0 15.659 * [backup-simplify]: Simplify (- 1) into -1 15.659 * [backup-simplify]: Simplify (- 0) into 0 15.660 * [backup-simplify]: Simplify (- 0) into 0 15.660 * [backup-simplify]: Simplify (- 0) into 0 15.661 * [backup-simplify]: Simplify (- 0) into 0 15.667 * [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 15.667 * [backup-simplify]: Simplify (- -1/120) into 1/120 15.668 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 15.670 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 15.671 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 1/120 1)) (* 0 (/ 0 1)) (* -1/6 (/ 1/6 1)) (* 0 (/ 0 1)))) into 7/360 15.671 * [backup-simplify]: Simplify 7/360 into 7/360 15.672 * [backup-simplify]: Simplify (+ (* 7/360 (pow y 4)) (+ (* -1/6 (pow y 2)) 1)) into (- (+ (* 7/360 (pow y 4)) 1) (* 1/6 (pow y 2))) 15.672 * [backup-simplify]: Simplify (/ (/ 1 y) (sinh (/ 1 y))) into (/ 1 (* (sinh (/ 1 y)) y)) 15.672 * [approximate]: Taking taylor expansion of (/ 1 (* (sinh (/ 1 y)) y)) in (y) around 0 15.672 * [taylor]: Taking taylor expansion of (/ 1 (* (sinh (/ 1 y)) y)) in y 15.672 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 15.672 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 15.672 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 15.672 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 15.672 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 15.672 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.672 * [taylor]: Taking taylor expansion of y in y 15.672 * [backup-simplify]: Simplify 0 into 0 15.672 * [backup-simplify]: Simplify 1 into 1 15.673 * [backup-simplify]: Simplify (/ 1 1) into 1 15.673 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 15.673 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 15.673 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 15.673 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.673 * [taylor]: Taking taylor expansion of y in y 15.673 * [backup-simplify]: Simplify 0 into 0 15.673 * [backup-simplify]: Simplify 1 into 1 15.674 * [backup-simplify]: Simplify (/ 1 1) into 1 15.674 * [backup-simplify]: Simplify (- 1) into -1 15.674 * [backup-simplify]: Simplify (exp (- (/ 1 y))) into (exp (- (/ 1 y))) 15.674 * [taylor]: Taking taylor expansion of 2 in y 15.674 * [backup-simplify]: Simplify 2 into 2 15.674 * [backup-simplify]: Simplify (- (exp (- (/ 1 y)))) into (- (exp (- (/ 1 y)))) 15.674 * [backup-simplify]: Simplify (+ (exp (/ 1 y)) (- (exp (- (/ 1 y))))) into (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 15.675 * [backup-simplify]: Simplify (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) into (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 15.675 * [taylor]: Taking taylor expansion of y in y 15.675 * [backup-simplify]: Simplify 0 into 0 15.675 * [backup-simplify]: Simplify 1 into 1 15.675 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) into 0 15.675 * [backup-simplify]: Simplify (- 0) into 0 15.676 * [backup-simplify]: Simplify (+ 0 0) into 0 15.677 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)))) into 0 15.677 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 1) (* 0 0)) into (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))) 15.678 * [backup-simplify]: Simplify (/ 1 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y)))))) into (/ 1 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y)))))) 15.678 * [taylor]: Taking taylor expansion of (/ 1 (* (sinh (/ 1 y)) y)) in y 15.678 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 15.678 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 15.678 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 15.678 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 15.678 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 15.678 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.678 * [taylor]: Taking taylor expansion of y in y 15.678 * [backup-simplify]: Simplify 0 into 0 15.678 * [backup-simplify]: Simplify 1 into 1 15.679 * [backup-simplify]: Simplify (/ 1 1) into 1 15.679 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 15.679 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 15.679 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 15.679 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.679 * [taylor]: Taking taylor expansion of y in y 15.679 * [backup-simplify]: Simplify 0 into 0 15.679 * [backup-simplify]: Simplify 1 into 1 15.679 * [backup-simplify]: Simplify (/ 1 1) into 1 15.680 * [backup-simplify]: Simplify (- 1) into -1 15.680 * [backup-simplify]: Simplify (exp (- (/ 1 y))) into (exp (- (/ 1 y))) 15.680 * [taylor]: Taking taylor expansion of 2 in y 15.680 * [backup-simplify]: Simplify 2 into 2 15.680 * [backup-simplify]: Simplify (- (exp (- (/ 1 y)))) into (- (exp (- (/ 1 y)))) 15.680 * [backup-simplify]: Simplify (+ (exp (/ 1 y)) (- (exp (- (/ 1 y))))) into (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 15.680 * [backup-simplify]: Simplify (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) into (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 15.680 * [taylor]: Taking taylor expansion of y in y 15.680 * [backup-simplify]: Simplify 0 into 0 15.681 * [backup-simplify]: Simplify 1 into 1 15.681 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) into 0 15.681 * [backup-simplify]: Simplify (- 0) into 0 15.681 * [backup-simplify]: Simplify (+ 0 0) into 0 15.682 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)))) into 0 15.683 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 1) (* 0 0)) into (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))) 15.683 * [backup-simplify]: Simplify (/ 1 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y)))))) into (/ 1 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y)))))) 15.684 * [backup-simplify]: Simplify (/ 1 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y)))))) into (/ 1 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y)))))) 15.684 * [backup-simplify]: Simplify (- 0) into 0 15.685 * [backup-simplify]: Simplify (+ 0 0) into 0 15.686 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.687 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 1) (* 0 0))) into 0 15.687 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y)))))) (/ 0 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))))))) into 0 15.688 * [backup-simplify]: Simplify 0 into 0 15.688 * [backup-simplify]: Simplify (- 0) into 0 15.688 * [backup-simplify]: Simplify (+ 0 0) into 0 15.691 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.692 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 15.692 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y)))))) (/ 0 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))))) (* 0 (/ 0 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))))))) into 0 15.692 * [backup-simplify]: Simplify 0 into 0 15.693 * [backup-simplify]: Simplify (- 0) into 0 15.693 * [backup-simplify]: Simplify (+ 0 0) into 0 15.695 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.697 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 15.698 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y)))))) (/ 0 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))))) (* 0 (/ 0 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))))) (* 0 (/ 0 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))))))) into 0 15.698 * [backup-simplify]: Simplify 0 into 0 15.698 * [backup-simplify]: Simplify (- 0) into 0 15.698 * [backup-simplify]: Simplify (+ 0 0) into 0 15.702 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.703 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 15.705 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y)))))) (/ 0 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))))) (* 0 (/ 0 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))))) (* 0 (/ 0 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))))) (* 0 (/ 0 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))))))) into 0 15.705 * [backup-simplify]: Simplify 0 into 0 15.705 * [backup-simplify]: Simplify (- 0) into 0 15.706 * [backup-simplify]: Simplify (+ 0 0) into 0 15.709 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.711 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 15.713 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y)))))) (/ 0 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))))) (* 0 (/ 0 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))))) (* 0 (/ 0 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))))) (* 0 (/ 0 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))))) (* 0 (/ 0 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))))))) into 0 15.713 * [backup-simplify]: Simplify 0 into 0 15.713 * [backup-simplify]: Simplify (- 0) into 0 15.713 * [backup-simplify]: Simplify (+ 0 0) into 0 15.717 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.719 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 15.721 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y)))))) (/ 0 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))))) (* 0 (/ 0 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))))) (* 0 (/ 0 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))))) (* 0 (/ 0 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))))) (* 0 (/ 0 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))))) (* 0 (/ 0 (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))))))) into 0 15.721 * [backup-simplify]: Simplify 0 into 0 15.721 * [backup-simplify]: Simplify (* (/ 1 (- (* 1/2 (exp (/ 1 (/ 1 y)))) (* 1/2 (exp (- (/ 1 (/ 1 y))))))) (/ 1 (/ 1 y))) into (/ y (- (* 1/2 (exp y)) (* 1/2 (exp (- y))))) 15.722 * [backup-simplify]: Simplify (/ (/ 1 (- y)) (sinh (/ 1 (- y)))) into (/ -1 (* (sinh (/ -1 y)) y)) 15.722 * [approximate]: Taking taylor expansion of (/ -1 (* (sinh (/ -1 y)) y)) in (y) around 0 15.722 * [taylor]: Taking taylor expansion of (/ -1 (* (sinh (/ -1 y)) y)) in y 15.722 * [taylor]: Taking taylor expansion of -1 in y 15.722 * [backup-simplify]: Simplify -1 into -1 15.722 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 15.722 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 15.722 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 15.722 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 15.722 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 15.722 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.722 * [taylor]: Taking taylor expansion of -1 in y 15.722 * [backup-simplify]: Simplify -1 into -1 15.722 * [taylor]: Taking taylor expansion of y in y 15.722 * [backup-simplify]: Simplify 0 into 0 15.722 * [backup-simplify]: Simplify 1 into 1 15.723 * [backup-simplify]: Simplify (/ -1 1) into -1 15.723 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 15.723 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 15.723 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 15.723 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.723 * [taylor]: Taking taylor expansion of -1 in y 15.723 * [backup-simplify]: Simplify -1 into -1 15.723 * [taylor]: Taking taylor expansion of y in y 15.723 * [backup-simplify]: Simplify 0 into 0 15.723 * [backup-simplify]: Simplify 1 into 1 15.724 * [backup-simplify]: Simplify (/ -1 1) into -1 15.724 * [backup-simplify]: Simplify (- -1) into 1 15.724 * [backup-simplify]: Simplify (exp (- (/ -1 y))) into (exp (/ 1 y)) 15.724 * [taylor]: Taking taylor expansion of 2 in y 15.724 * [backup-simplify]: Simplify 2 into 2 15.724 * [backup-simplify]: Simplify (- (exp (/ 1 y))) into (- (exp (/ 1 y))) 15.724 * [backup-simplify]: Simplify (+ (exp (/ -1 y)) (- (exp (/ 1 y)))) into (- (exp (/ -1 y)) (exp (/ 1 y))) 15.724 * [backup-simplify]: Simplify (/ (- (exp (/ -1 y)) (exp (/ 1 y))) 2) into (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 15.725 * [taylor]: Taking taylor expansion of y in y 15.725 * [backup-simplify]: Simplify 0 into 0 15.725 * [backup-simplify]: Simplify 1 into 1 15.725 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) into 0 15.725 * [backup-simplify]: Simplify (- 0) into 0 15.726 * [backup-simplify]: Simplify (+ 0 0) into 0 15.727 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)))) into 0 15.727 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 1) (* 0 0)) into (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y)))) 15.727 * [backup-simplify]: Simplify (/ -1 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) into (/ -1 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) 15.727 * [taylor]: Taking taylor expansion of (/ -1 (* (sinh (/ -1 y)) y)) in y 15.727 * [taylor]: Taking taylor expansion of -1 in y 15.728 * [backup-simplify]: Simplify -1 into -1 15.728 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 15.728 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 15.728 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 15.728 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 15.728 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 15.728 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.728 * [taylor]: Taking taylor expansion of -1 in y 15.728 * [backup-simplify]: Simplify -1 into -1 15.728 * [taylor]: Taking taylor expansion of y in y 15.728 * [backup-simplify]: Simplify 0 into 0 15.728 * [backup-simplify]: Simplify 1 into 1 15.728 * [backup-simplify]: Simplify (/ -1 1) into -1 15.728 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 15.728 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 15.729 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 15.729 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.729 * [taylor]: Taking taylor expansion of -1 in y 15.729 * [backup-simplify]: Simplify -1 into -1 15.729 * [taylor]: Taking taylor expansion of y in y 15.729 * [backup-simplify]: Simplify 0 into 0 15.729 * [backup-simplify]: Simplify 1 into 1 15.729 * [backup-simplify]: Simplify (/ -1 1) into -1 15.729 * [backup-simplify]: Simplify (- -1) into 1 15.729 * [backup-simplify]: Simplify (exp (- (/ -1 y))) into (exp (/ 1 y)) 15.729 * [taylor]: Taking taylor expansion of 2 in y 15.729 * [backup-simplify]: Simplify 2 into 2 15.729 * [backup-simplify]: Simplify (- (exp (/ 1 y))) into (- (exp (/ 1 y))) 15.729 * [backup-simplify]: Simplify (+ (exp (/ -1 y)) (- (exp (/ 1 y)))) into (- (exp (/ -1 y)) (exp (/ 1 y))) 15.730 * [backup-simplify]: Simplify (/ (- (exp (/ -1 y)) (exp (/ 1 y))) 2) into (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 15.730 * [taylor]: Taking taylor expansion of y in y 15.730 * [backup-simplify]: Simplify 0 into 0 15.730 * [backup-simplify]: Simplify 1 into 1 15.730 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) into 0 15.730 * [backup-simplify]: Simplify (- 0) into 0 15.730 * [backup-simplify]: Simplify (+ 0 0) into 0 15.731 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)))) into 0 15.731 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 1) (* 0 0)) into (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y)))) 15.731 * [backup-simplify]: Simplify (/ -1 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) into (/ -1 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) 15.732 * [backup-simplify]: Simplify (/ -1 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) into (/ -1 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) 15.732 * [backup-simplify]: Simplify (- 0) into 0 15.732 * [backup-simplify]: Simplify (+ 0 0) into 0 15.733 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.734 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) (+ (* 0 1) (* 0 0))) into 0 15.734 * [backup-simplify]: Simplify (- (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (+ (* (/ -1 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y)))))))) into 0 15.734 * [backup-simplify]: Simplify 0 into 0 15.734 * [backup-simplify]: Simplify (- 0) into 0 15.734 * [backup-simplify]: Simplify (+ 0 0) into 0 15.736 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.736 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 15.737 * [backup-simplify]: Simplify (- (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (+ (* (/ -1 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y)))))) (* 0 (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y)))))))) into 0 15.737 * [backup-simplify]: Simplify 0 into 0 15.737 * [backup-simplify]: Simplify (- 0) into 0 15.737 * [backup-simplify]: Simplify (+ 0 0) into 0 15.739 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.740 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 15.740 * [backup-simplify]: Simplify (- (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (+ (* (/ -1 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y)))))) (* 0 (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y)))))) (* 0 (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y)))))))) into 0 15.740 * [backup-simplify]: Simplify 0 into 0 15.741 * [backup-simplify]: Simplify (- 0) into 0 15.741 * [backup-simplify]: Simplify (+ 0 0) into 0 15.743 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.743 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 15.744 * [backup-simplify]: Simplify (- (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (+ (* (/ -1 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y)))))) (* 0 (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y)))))) (* 0 (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y)))))) (* 0 (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y)))))))) into 0 15.744 * [backup-simplify]: Simplify 0 into 0 15.745 * [backup-simplify]: Simplify (- 0) into 0 15.745 * [backup-simplify]: Simplify (+ 0 0) into 0 15.750 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.751 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 15.752 * [backup-simplify]: Simplify (- (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (+ (* (/ -1 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y)))))) (* 0 (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y)))))) (* 0 (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y)))))) (* 0 (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y)))))) (* 0 (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y)))))))) into 0 15.752 * [backup-simplify]: Simplify 0 into 0 15.752 * [backup-simplify]: Simplify (- 0) into 0 15.752 * [backup-simplify]: Simplify (+ 0 0) into 0 15.755 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.756 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 15.757 * [backup-simplify]: Simplify (- (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (+ (* (/ -1 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y)))))) (* 0 (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y)))))) (* 0 (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y)))))) (* 0 (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y)))))) (* 0 (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y)))))) (* 0 (/ 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y)))))))) into 0 15.757 * [backup-simplify]: Simplify 0 into 0 15.757 * [backup-simplify]: Simplify (* (/ -1 (- (* 1/2 (exp (/ -1 (/ 1 (- y))))) (* 1/2 (exp (/ 1 (/ 1 (- y))))))) (/ 1 (/ 1 (- y)))) into (/ y (- (* 1/2 (exp y)) (* 1/2 (exp (* -1 y))))) 15.758 * * * [progress]: simplifying candidates 15.758 * [simplify]: Simplifying: (- (log y) (log (sinh y))) (log (/ y (sinh y))) (exp (/ y (sinh y))) (/ (* (* y y) y) (* (* (sinh y) (sinh y)) (sinh y))) (* (cbrt (/ y (sinh y))) (cbrt (/ y (sinh y)))) (cbrt (/ y (sinh y))) (* (* (/ y (sinh y)) (/ y (sinh y))) (/ y (sinh y))) (sqrt (/ y (sinh y))) (sqrt (/ y (sinh y))) (- y) (- (sinh y)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sinh y)) (cbrt (sinh y)))) (/ (cbrt y) (cbrt (sinh y))) (/ (* (cbrt y) (cbrt y)) (sqrt (sinh y))) (/ (cbrt y) (sqrt (sinh y))) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (sinh y)) (/ (sqrt y) (* (cbrt (sinh y)) (cbrt (sinh y)))) (/ (sqrt y) (cbrt (sinh y))) (/ (sqrt y) (sqrt (sinh y))) (/ (sqrt y) (sqrt (sinh y))) (/ (sqrt y) 1) (/ (sqrt y) (sinh y)) (/ 1 (* (cbrt (sinh y)) (cbrt (sinh y)))) (/ y (cbrt (sinh y))) (/ 1 (sqrt (sinh y))) (/ y (sqrt (sinh y))) (/ 1 1) (/ y (sinh y)) (/ 1 (sinh y)) (/ (sinh y) y) (/ y (* (cbrt (sinh y)) (cbrt (sinh y)))) (/ y (sqrt (sinh y))) (/ y 1) (/ (sinh y) (cbrt y)) (/ (sinh y) (sqrt y)) (/ (sinh y) y) (/ y (- (exp y) (exp (- y)))) (- (+ (* 7/360 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ y (- (* 1/2 (exp y)) (* 1/2 (exp (- y))))) (/ y (- (* 1/2 (exp y)) (* 1/2 (exp (* -1 y))))) 15.759 * * [simplify]: Extracting # 0 : cost 0 15.760 * * [simplify]: Extracting # 1 : cost 0 15.760 * * [simplify]: Extracting # 2 : cost 0 15.760 * * [simplify]: Extracting # 3 : cost 0 15.760 * * [simplify]: Extracting # 4 : cost 0 15.760 * * [simplify]: Extracting # 5 : cost 0 15.760 * * [simplify]: Extracting # 6 : cost 0 15.761 * * [simplify]: Extracting # 7 : cost 0 15.761 * * [simplify]: Extracting # 8 : cost 0 15.761 * * [simplify]: iteration 0 : 74 enodes (cost 274 ) 15.784 * * [simplify]: Extracting # 0 : cost 0 15.784 * * [simplify]: Extracting # 1 : cost 0 15.785 * * [simplify]: Extracting # 2 : cost 0 15.785 * * [simplify]: iteration 1 : 131 enodes (cost 260 ) 15.832 * * [simplify]: Extracting # 0 : cost 0 15.833 * * [simplify]: Extracting # 1 : cost 0 15.834 * * [simplify]: Extracting # 2 : cost 0 15.834 * * [simplify]: Extracting # 3 : cost 0 15.835 * * [simplify]: Extracting # 4 : cost 0 15.835 * * [simplify]: iteration 2 : 295 enodes (cost 244 ) 15.973 * * [simplify]: Extracting # 0 : cost 0 15.975 * * [simplify]: Extracting # 1 : cost 0 15.976 * * [simplify]: Extracting # 2 : cost 0 15.978 * * [simplify]: Extracting # 3 : cost 0 15.979 * * [simplify]: Extracting # 4 : cost 0 15.980 * * [simplify]: iteration 3 : 665 enodes (cost 244 ) 16.547 * * [simplify]: Extracting # 0 : cost 0 16.550 * * [simplify]: Extracting # 1 : cost 0 16.552 * * [simplify]: Extracting # 2 : cost 0 16.554 * * [simplify]: Extracting # 3 : cost 0 16.556 * * [simplify]: Extracting # 4 : cost 0 16.559 * * [simplify]: iteration 4 : 2172 enodes (cost 244 ) 17.699 * * [simplify]: Extracting # 0 : cost 0 17.712 * * [simplify]: Extracting # 1 : cost 0 17.729 * * [simplify]: Extracting # 2 : cost 0 17.737 * * [simplify]: iteration done: 5000 enodes (cost 244 ) 17.737 * [simplify]: Simplified to: (log (/ y (sinh y))) (log (/ y (sinh y))) (exp (/ y (sinh y))) (pow (/ y (sinh y)) 3) (* (cbrt (/ y (sinh y))) (cbrt (/ y (sinh y)))) (cbrt (/ y (sinh y))) (pow (/ y (sinh y)) 3) (sqrt (/ y (sinh y))) (sqrt (/ y (sinh y))) (- y) (- (sinh y)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sinh y)) (cbrt (sinh y)))) (/ (cbrt y) (cbrt (sinh y))) (/ (* (cbrt y) (cbrt y)) (sqrt (sinh y))) (/ (cbrt y) (sqrt (sinh y))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (sinh y)) (/ (sqrt y) (* (cbrt (sinh y)) (cbrt (sinh y)))) (/ (sqrt y) (cbrt (sinh y))) (/ (sqrt y) (sqrt (sinh y))) (/ (sqrt y) (sqrt (sinh y))) (sqrt y) (/ (sqrt y) (sinh y)) (/ 1 (* (cbrt (sinh y)) (cbrt (sinh y)))) (/ y (cbrt (sinh y))) (/ 1 (sqrt (sinh y))) (/ y (sqrt (sinh y))) 1 (/ y (sinh y)) (/ 1 (sinh y)) (/ (sinh y) y) (/ y (* (cbrt (sinh y)) (cbrt (sinh y)))) (/ y (sqrt (sinh y))) y (/ (sinh y) (cbrt y)) (/ (sinh y) (sqrt y)) (/ (sinh y) y) (/ y (- (exp y) (exp (- y)))) (- (+ (* 7/360 (pow y 4)) 1) (* 1/6 (pow y 2))) (/ y (* 1/2 (- (exp y) (exp (- y))))) (/ y (* 1/2 (- (exp y) (exp (- y))))) 17.737 * * * [progress]: adding candidates to table 17.839 * [progress]: [Phase 3 of 3] Extracting. 17.839 * * [regime]: Finding splitpoints for: (# #) 17.840 * * * [regime-changes]: Trying 5 branch expressions: ((/ (sinh y) y) (cos x) (* (cos x) (/ (sinh y) y)) y x) 17.840 * * * * [regimes]: Trying to branch on (/ (sinh y) y) from (# #) 17.861 * * * * [regimes]: Trying to branch on (cos x) from (# #) 17.889 * * * * [regimes]: Trying to branch on (* (cos x) (/ (sinh y) y)) from (# #) 17.920 * * * * [regimes]: Trying to branch on y from (# #) 17.934 * * * * [regimes]: Trying to branch on x from (# #) 17.953 * * * [regime]: Found split indices: #