12.736 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.071 * * * [progress]: [2/2] Setting up program. 0.073 * [progress]: [Phase 2 of 3] Improving. 0.074 * [simplify]: Simplifying: (* (cos x) (/ (sinh y) y)) 0.074 * * [simplify]: Extracting # 0 : cost 0 0.074 * * [simplify]: Extracting # 1 : cost 0 0.074 * * [simplify]: Extracting # 2 : cost 0 0.074 * * [simplify]: Extracting # 3 : cost 0 0.074 * * [simplify]: Extracting # 4 : cost 0 0.074 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.075 * * [simplify]: Extracting # 0 : cost 0 0.075 * * [simplify]: Extracting # 1 : cost 0 0.075 * * [simplify]: Extracting # 2 : cost 0 0.075 * * [simplify]: Extracting # 3 : cost 0 0.075 * * [simplify]: Extracting # 4 : cost 0 0.075 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 0.077 * * [simplify]: Extracting # 0 : cost 0 0.077 * * [simplify]: Extracting # 1 : cost 0 0.077 * * [simplify]: Extracting # 2 : cost 0 0.077 * * [simplify]: iteration 2 : 30 enodes (cost 7 ) 0.082 * * [simplify]: Extracting # 0 : cost 0 0.082 * * [simplify]: Extracting # 1 : cost 0 0.082 * * [simplify]: Extracting # 2 : cost 0 0.082 * * [simplify]: iteration 3 : 67 enodes (cost 7 ) 0.093 * * [simplify]: Extracting # 0 : cost 0 0.094 * * [simplify]: Extracting # 1 : cost 0 0.094 * * [simplify]: Extracting # 2 : cost 0 0.094 * * [simplify]: Extracting # 3 : cost 0 0.094 * * [simplify]: Extracting # 4 : cost 0 0.094 * * [simplify]: iteration 4 : 137 enodes (cost 7 ) 0.124 * * [simplify]: Extracting # 0 : cost 0 0.124 * * [simplify]: Extracting # 1 : cost 0 0.124 * * [simplify]: Extracting # 2 : cost 0 0.124 * * [simplify]: Extracting # 3 : cost 0 0.124 * * [simplify]: Extracting # 4 : cost 0 0.125 * * [simplify]: iteration 5 : 265 enodes (cost 7 ) 0.187 * * [simplify]: Extracting # 0 : cost 0 0.188 * * [simplify]: Extracting # 1 : cost 0 0.188 * * [simplify]: Extracting # 2 : cost 0 0.188 * * [simplify]: iteration 6 : 482 enodes (cost 7 ) 0.434 * * [simplify]: Extracting # 0 : cost 0 0.436 * * [simplify]: Extracting # 1 : cost 0 0.436 * * [simplify]: Extracting # 2 : cost 0 0.437 * * [simplify]: Extracting # 3 : cost 0 0.438 * * [simplify]: Extracting # 4 : cost 0 0.438 * * [simplify]: iteration 7 : 1041 enodes (cost 7 ) 1.479 * * [simplify]: Extracting # 0 : cost 0 1.481 * * [simplify]: Extracting # 1 : cost 0 1.483 * * [simplify]: Extracting # 2 : cost 0 1.484 * * [simplify]: iteration 8 : 1987 enodes (cost 7 ) 4.514 * * [simplify]: Extracting # 0 : cost 0 4.518 * * [simplify]: Extracting # 1 : cost 0 4.519 * * [simplify]: Extracting # 2 : cost 0 4.520 * * [simplify]: iteration 9 : 3484 enodes (cost 7 ) 8.501 * * [simplify]: Extracting # 0 : cost 0 8.503 * * [simplify]: Extracting # 1 : cost 0 8.505 * * [simplify]: Extracting # 2 : cost 0 8.506 * * [simplify]: iteration 10 : 4730 enodes (cost 7 ) 9.496 * * [simplify]: Extracting # 0 : cost 0 9.498 * * [simplify]: Extracting # 1 : cost 0 9.499 * * [simplify]: Extracting # 2 : cost 0 9.501 * * [simplify]: iteration done: 5000 enodes (cost 7 ) 9.501 * [simplify]: Simplified to: (* (cos x) (/ (sinh y) y)) 9.501 * * [progress]: iteration 1 / 4 9.501 * * * [progress]: picking best candidate 9.503 * * * * [pick]: Picked # 9.503 * * * [progress]: localizing error 9.509 * * * [progress]: generating rewritten candidates 9.509 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1) 9.511 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 9.519 * * * [progress]: generating series expansions 9.519 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1) 9.519 * [backup-simplify]: Simplify (sinh y) into (sinh y) 9.519 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0 9.519 * [taylor]: Taking taylor expansion of (sinh y) in y 9.519 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 9.519 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 9.519 * [taylor]: Taking taylor expansion of (exp y) in y 9.519 * [taylor]: Taking taylor expansion of y in y 9.519 * [backup-simplify]: Simplify 0 into 0 9.519 * [backup-simplify]: Simplify 1 into 1 9.519 * [backup-simplify]: Simplify (exp 0) into 1 9.519 * [taylor]: Taking taylor expansion of (exp (- y)) in y 9.519 * [taylor]: Taking taylor expansion of (- y) in y 9.519 * [taylor]: Taking taylor expansion of y in y 9.519 * [backup-simplify]: Simplify 0 into 0 9.520 * [backup-simplify]: Simplify 1 into 1 9.520 * [backup-simplify]: Simplify (- 0) into 0 9.520 * [backup-simplify]: Simplify (- 1) into -1 9.520 * [backup-simplify]: Simplify (exp 0) into 1 9.520 * [taylor]: Taking taylor expansion of 2 in y 9.520 * [backup-simplify]: Simplify 2 into 2 9.520 * [backup-simplify]: Simplify (- 1) into -1 9.521 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.521 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 9.521 * [backup-simplify]: Simplify (- 1) into -1 9.522 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 9.522 * [backup-simplify]: Simplify (- -1) into 1 9.522 * [backup-simplify]: Simplify (+ 1 1) into 2 9.523 * [backup-simplify]: Simplify (/ 2 2) into 1 9.523 * [taylor]: Taking taylor expansion of (sinh y) in y 9.523 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 9.523 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 9.523 * [taylor]: Taking taylor expansion of (exp y) in y 9.523 * [taylor]: Taking taylor expansion of y in y 9.523 * [backup-simplify]: Simplify 0 into 0 9.523 * [backup-simplify]: Simplify 1 into 1 9.523 * [backup-simplify]: Simplify (exp 0) into 1 9.523 * [taylor]: Taking taylor expansion of (exp (- y)) in y 9.523 * [taylor]: Taking taylor expansion of (- y) in y 9.523 * [taylor]: Taking taylor expansion of y in y 9.523 * [backup-simplify]: Simplify 0 into 0 9.523 * [backup-simplify]: Simplify 1 into 1 9.523 * [backup-simplify]: Simplify (- 0) into 0 9.523 * [backup-simplify]: Simplify (- 1) into -1 9.524 * [backup-simplify]: Simplify (exp 0) into 1 9.524 * [taylor]: Taking taylor expansion of 2 in y 9.524 * [backup-simplify]: Simplify 2 into 2 9.524 * [backup-simplify]: Simplify (- 1) into -1 9.524 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.525 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 9.525 * [backup-simplify]: Simplify (- 1) into -1 9.525 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 9.526 * [backup-simplify]: Simplify (- -1) into 1 9.526 * [backup-simplify]: Simplify (+ 1 1) into 2 9.526 * [backup-simplify]: Simplify (/ 2 2) into 1 9.526 * [backup-simplify]: Simplify 1 into 1 9.527 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 9.527 * [backup-simplify]: Simplify (- 1) into -1 9.527 * [backup-simplify]: Simplify (- 0) into 0 9.528 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 9.529 * [backup-simplify]: Simplify (- 1/2) into -1/2 9.529 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 9.529 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 9.529 * [backup-simplify]: Simplify 0 into 0 9.530 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 9.531 * [backup-simplify]: Simplify (- 1) into -1 9.531 * [backup-simplify]: Simplify (- 1) into -1 9.531 * [backup-simplify]: Simplify (- 0) into 0 9.531 * [backup-simplify]: Simplify (- 0) into 0 9.533 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 9.533 * [backup-simplify]: Simplify (- -1/6) into 1/6 9.533 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 9.534 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 9.534 * [backup-simplify]: Simplify 1/6 into 1/6 9.536 * [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 9.536 * [backup-simplify]: Simplify (- 1) into -1 9.537 * [backup-simplify]: Simplify (- 1) into -1 9.537 * [backup-simplify]: Simplify (- 0) into 0 9.537 * [backup-simplify]: Simplify (- 1) into -1 9.537 * [backup-simplify]: Simplify (- 0) into 0 9.537 * [backup-simplify]: Simplify (- 0) into 0 9.538 * [backup-simplify]: Simplify (- 0) into 0 9.540 * [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 9.540 * [backup-simplify]: Simplify (- 1/24) into -1/24 9.540 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 9.541 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 9.541 * [backup-simplify]: Simplify 0 into 0 9.544 * [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 9.544 * [backup-simplify]: Simplify (- 1) into -1 9.544 * [backup-simplify]: Simplify (- 1) into -1 9.544 * [backup-simplify]: Simplify (- 0) into 0 9.545 * [backup-simplify]: Simplify (- 1) into -1 9.545 * [backup-simplify]: Simplify (- 0) into 0 9.545 * [backup-simplify]: Simplify (- 1) into -1 9.545 * [backup-simplify]: Simplify (- 0) into 0 9.545 * [backup-simplify]: Simplify (- 1) into -1 9.546 * [backup-simplify]: Simplify (- 0) into 0 9.546 * [backup-simplify]: Simplify (- 0) into 0 9.546 * [backup-simplify]: Simplify (- 0) into 0 9.546 * [backup-simplify]: Simplify (- 0) into 0 9.549 * [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 9.549 * [backup-simplify]: Simplify (- -1/120) into 1/120 9.550 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 9.551 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 9.551 * [backup-simplify]: Simplify 1/120 into 1/120 9.551 * [backup-simplify]: Simplify (+ (* 1/120 (pow y 5)) (+ (* 1/6 (pow y 3)) (* 1 y))) into (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y)) 9.551 * [backup-simplify]: Simplify (sinh (/ 1 y)) into (sinh (/ 1 y)) 9.551 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0 9.555 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 9.555 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 9.555 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 9.555 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 9.555 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.555 * [taylor]: Taking taylor expansion of y in y 9.555 * [backup-simplify]: Simplify 0 into 0 9.555 * [backup-simplify]: Simplify 1 into 1 9.555 * [backup-simplify]: Simplify (/ 1 1) into 1 9.555 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 9.555 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 9.555 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 9.555 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.555 * [taylor]: Taking taylor expansion of y in y 9.556 * [backup-simplify]: Simplify 0 into 0 9.556 * [backup-simplify]: Simplify 1 into 1 9.556 * [backup-simplify]: Simplify (/ 1 1) into 1 9.556 * [backup-simplify]: Simplify (- 1) into -1 9.556 * [backup-simplify]: Simplify (exp (- (/ 1 y))) into (exp (- (/ 1 y))) 9.556 * [taylor]: Taking taylor expansion of 2 in y 9.556 * [backup-simplify]: Simplify 2 into 2 9.556 * [backup-simplify]: Simplify (- (exp (- (/ 1 y)))) into (- (exp (- (/ 1 y)))) 9.556 * [backup-simplify]: Simplify (+ (exp (/ 1 y)) (- (exp (- (/ 1 y))))) into (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 9.556 * [backup-simplify]: Simplify (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) into (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 9.556 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 9.556 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 9.556 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 9.556 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 9.557 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.557 * [taylor]: Taking taylor expansion of y in y 9.557 * [backup-simplify]: Simplify 0 into 0 9.557 * [backup-simplify]: Simplify 1 into 1 9.557 * [backup-simplify]: Simplify (/ 1 1) into 1 9.557 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 9.557 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 9.557 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 9.557 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.557 * [taylor]: Taking taylor expansion of y in y 9.557 * [backup-simplify]: Simplify 0 into 0 9.557 * [backup-simplify]: Simplify 1 into 1 9.557 * [backup-simplify]: Simplify (/ 1 1) into 1 9.557 * [backup-simplify]: Simplify (- 1) into -1 9.557 * [backup-simplify]: Simplify (exp (- (/ 1 y))) into (exp (- (/ 1 y))) 9.557 * [taylor]: Taking taylor expansion of 2 in y 9.557 * [backup-simplify]: Simplify 2 into 2 9.558 * [backup-simplify]: Simplify (- (exp (- (/ 1 y)))) into (- (exp (- (/ 1 y)))) 9.558 * [backup-simplify]: Simplify (+ (exp (/ 1 y)) (- (exp (- (/ 1 y))))) into (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 9.558 * [backup-simplify]: Simplify (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) into (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 9.558 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) into (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 9.558 * [backup-simplify]: Simplify (- 0) into 0 9.558 * [backup-simplify]: Simplify (+ 0 0) into 0 9.559 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)))) into 0 9.559 * [backup-simplify]: Simplify 0 into 0 9.559 * [backup-simplify]: Simplify (- 0) into 0 9.559 * [backup-simplify]: Simplify (+ 0 0) into 0 9.560 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 9.560 * [backup-simplify]: Simplify 0 into 0 9.561 * [backup-simplify]: Simplify (- 0) into 0 9.561 * [backup-simplify]: Simplify (+ 0 0) into 0 9.562 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 9.562 * [backup-simplify]: Simplify 0 into 0 9.562 * [backup-simplify]: Simplify (- 0) into 0 9.562 * [backup-simplify]: Simplify (+ 0 0) into 0 9.564 * [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 9.564 * [backup-simplify]: Simplify 0 into 0 9.564 * [backup-simplify]: Simplify (- 0) into 0 9.564 * [backup-simplify]: Simplify (+ 0 0) into 0 9.566 * [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 9.566 * [backup-simplify]: Simplify 0 into 0 9.566 * [backup-simplify]: Simplify (- 0) into 0 9.566 * [backup-simplify]: Simplify (+ 0 0) into 0 9.568 * [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 9.568 * [backup-simplify]: Simplify 0 into 0 9.568 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 y))) (exp (- (/ 1 (/ 1 y)))))) into (* 1/2 (- (exp y) (exp (- y)))) 9.569 * [backup-simplify]: Simplify (sinh (/ 1 (- y))) into (sinh (/ -1 y)) 9.569 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0 9.569 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 9.569 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 9.569 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 9.569 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 9.569 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.569 * [taylor]: Taking taylor expansion of -1 in y 9.569 * [backup-simplify]: Simplify -1 into -1 9.569 * [taylor]: Taking taylor expansion of y in y 9.569 * [backup-simplify]: Simplify 0 into 0 9.569 * [backup-simplify]: Simplify 1 into 1 9.569 * [backup-simplify]: Simplify (/ -1 1) into -1 9.569 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 9.569 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 9.569 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 9.569 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.569 * [taylor]: Taking taylor expansion of -1 in y 9.569 * [backup-simplify]: Simplify -1 into -1 9.569 * [taylor]: Taking taylor expansion of y in y 9.569 * [backup-simplify]: Simplify 0 into 0 9.569 * [backup-simplify]: Simplify 1 into 1 9.570 * [backup-simplify]: Simplify (/ -1 1) into -1 9.570 * [backup-simplify]: Simplify (- -1) into 1 9.570 * [backup-simplify]: Simplify (exp (- (/ -1 y))) into (exp (/ 1 y)) 9.570 * [taylor]: Taking taylor expansion of 2 in y 9.570 * [backup-simplify]: Simplify 2 into 2 9.570 * [backup-simplify]: Simplify (- (exp (/ 1 y))) into (- (exp (/ 1 y))) 9.570 * [backup-simplify]: Simplify (+ (exp (/ -1 y)) (- (exp (/ 1 y)))) into (- (exp (/ -1 y)) (exp (/ 1 y))) 9.570 * [backup-simplify]: Simplify (/ (- (exp (/ -1 y)) (exp (/ 1 y))) 2) into (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 9.570 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 9.570 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 9.570 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 9.570 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 9.570 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.570 * [taylor]: Taking taylor expansion of -1 in y 9.570 * [backup-simplify]: Simplify -1 into -1 9.570 * [taylor]: Taking taylor expansion of y in y 9.570 * [backup-simplify]: Simplify 0 into 0 9.570 * [backup-simplify]: Simplify 1 into 1 9.571 * [backup-simplify]: Simplify (/ -1 1) into -1 9.571 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 9.571 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 9.571 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 9.571 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.571 * [taylor]: Taking taylor expansion of -1 in y 9.571 * [backup-simplify]: Simplify -1 into -1 9.571 * [taylor]: Taking taylor expansion of y in y 9.571 * [backup-simplify]: Simplify 0 into 0 9.571 * [backup-simplify]: Simplify 1 into 1 9.571 * [backup-simplify]: Simplify (/ -1 1) into -1 9.572 * [backup-simplify]: Simplify (- -1) into 1 9.572 * [backup-simplify]: Simplify (exp (- (/ -1 y))) into (exp (/ 1 y)) 9.572 * [taylor]: Taking taylor expansion of 2 in y 9.572 * [backup-simplify]: Simplify 2 into 2 9.572 * [backup-simplify]: Simplify (- (exp (/ 1 y))) into (- (exp (/ 1 y))) 9.572 * [backup-simplify]: Simplify (+ (exp (/ -1 y)) (- (exp (/ 1 y)))) into (- (exp (/ -1 y)) (exp (/ 1 y))) 9.572 * [backup-simplify]: Simplify (/ (- (exp (/ -1 y)) (exp (/ 1 y))) 2) into (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 9.572 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) into (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 9.572 * [backup-simplify]: Simplify (- 0) into 0 9.573 * [backup-simplify]: Simplify (+ 0 0) into 0 9.573 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)))) into 0 9.573 * [backup-simplify]: Simplify 0 into 0 9.573 * [backup-simplify]: Simplify (- 0) into 0 9.574 * [backup-simplify]: Simplify (+ 0 0) into 0 9.574 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 9.574 * [backup-simplify]: Simplify 0 into 0 9.575 * [backup-simplify]: Simplify (- 0) into 0 9.575 * [backup-simplify]: Simplify (+ 0 0) into 0 9.576 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 9.576 * [backup-simplify]: Simplify 0 into 0 9.576 * [backup-simplify]: Simplify (- 0) into 0 9.577 * [backup-simplify]: Simplify (+ 0 0) into 0 9.578 * [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 9.578 * [backup-simplify]: Simplify 0 into 0 9.578 * [backup-simplify]: Simplify (- 0) into 0 9.578 * [backup-simplify]: Simplify (+ 0 0) into 0 9.580 * [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 9.580 * [backup-simplify]: Simplify 0 into 0 9.580 * [backup-simplify]: Simplify (- 0) into 0 9.580 * [backup-simplify]: Simplify (+ 0 0) into 0 9.582 * [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 9.582 * [backup-simplify]: Simplify 0 into 0 9.583 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- y)))) (exp (/ 1 (/ 1 (- y)))))) into (* 1/2 (- (exp y) (exp (* -1 y)))) 9.583 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 9.583 * [backup-simplify]: Simplify (/ (sinh y) y) into (/ (sinh y) y) 9.583 * [approximate]: Taking taylor expansion of (/ (sinh y) y) in (y) around 0 9.583 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 9.583 * [taylor]: Taking taylor expansion of (sinh y) in y 9.583 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 9.583 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 9.583 * [taylor]: Taking taylor expansion of (exp y) in y 9.583 * [taylor]: Taking taylor expansion of y in y 9.583 * [backup-simplify]: Simplify 0 into 0 9.583 * [backup-simplify]: Simplify 1 into 1 9.583 * [backup-simplify]: Simplify (exp 0) into 1 9.583 * [taylor]: Taking taylor expansion of (exp (- y)) in y 9.583 * [taylor]: Taking taylor expansion of (- y) in y 9.583 * [taylor]: Taking taylor expansion of y in y 9.583 * [backup-simplify]: Simplify 0 into 0 9.583 * [backup-simplify]: Simplify 1 into 1 9.583 * [backup-simplify]: Simplify (- 0) into 0 9.584 * [backup-simplify]: Simplify (- 1) into -1 9.584 * [backup-simplify]: Simplify (exp 0) into 1 9.584 * [taylor]: Taking taylor expansion of 2 in y 9.584 * [backup-simplify]: Simplify 2 into 2 9.584 * [backup-simplify]: Simplify (- 1) into -1 9.584 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.585 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 9.585 * [backup-simplify]: Simplify (- 1) into -1 9.586 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 9.586 * [backup-simplify]: Simplify (- -1) into 1 9.586 * [backup-simplify]: Simplify (+ 1 1) into 2 9.586 * [backup-simplify]: Simplify (/ 2 2) into 1 9.586 * [taylor]: Taking taylor expansion of y in y 9.586 * [backup-simplify]: Simplify 0 into 0 9.586 * [backup-simplify]: Simplify 1 into 1 9.587 * [backup-simplify]: Simplify (/ 1 1) into 1 9.587 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 9.587 * [taylor]: Taking taylor expansion of (sinh y) in y 9.587 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 9.587 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 9.587 * [taylor]: Taking taylor expansion of (exp y) in y 9.587 * [taylor]: Taking taylor expansion of y in y 9.587 * [backup-simplify]: Simplify 0 into 0 9.587 * [backup-simplify]: Simplify 1 into 1 9.587 * [backup-simplify]: Simplify (exp 0) into 1 9.587 * [taylor]: Taking taylor expansion of (exp (- y)) in y 9.587 * [taylor]: Taking taylor expansion of (- y) in y 9.587 * [taylor]: Taking taylor expansion of y in y 9.587 * [backup-simplify]: Simplify 0 into 0 9.587 * [backup-simplify]: Simplify 1 into 1 9.587 * [backup-simplify]: Simplify (- 0) into 0 9.587 * [backup-simplify]: Simplify (- 1) into -1 9.587 * [backup-simplify]: Simplify (exp 0) into 1 9.587 * [taylor]: Taking taylor expansion of 2 in y 9.587 * [backup-simplify]: Simplify 2 into 2 9.588 * [backup-simplify]: Simplify (- 1) into -1 9.588 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.588 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 9.589 * [backup-simplify]: Simplify (- 1) into -1 9.589 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 9.589 * [backup-simplify]: Simplify (- -1) into 1 9.590 * [backup-simplify]: Simplify (+ 1 1) into 2 9.590 * [backup-simplify]: Simplify (/ 2 2) into 1 9.590 * [taylor]: Taking taylor expansion of y in y 9.590 * [backup-simplify]: Simplify 0 into 0 9.590 * [backup-simplify]: Simplify 1 into 1 9.590 * [backup-simplify]: Simplify (/ 1 1) into 1 9.590 * [backup-simplify]: Simplify 1 into 1 9.591 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 9.591 * [backup-simplify]: Simplify (- 1) into -1 9.591 * [backup-simplify]: Simplify (- 0) into 0 9.592 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 9.593 * [backup-simplify]: Simplify (- 1/2) into -1/2 9.593 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 9.593 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 9.594 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0 9.594 * [backup-simplify]: Simplify 0 into 0 9.595 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 9.595 * [backup-simplify]: Simplify (- 1) into -1 9.595 * [backup-simplify]: Simplify (- 1) into -1 9.596 * [backup-simplify]: Simplify (- 0) into 0 9.596 * [backup-simplify]: Simplify (- 0) into 0 9.597 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 9.597 * [backup-simplify]: Simplify (- -1/6) into 1/6 9.597 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 9.598 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 9.599 * [backup-simplify]: Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 1/6 9.599 * [backup-simplify]: Simplify 1/6 into 1/6 9.601 * [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 9.601 * [backup-simplify]: Simplify (- 1) into -1 9.601 * [backup-simplify]: Simplify (- 1) into -1 9.601 * [backup-simplify]: Simplify (- 0) into 0 9.602 * [backup-simplify]: Simplify (- 1) into -1 9.602 * [backup-simplify]: Simplify (- 0) into 0 9.602 * [backup-simplify]: Simplify (- 0) into 0 9.602 * [backup-simplify]: Simplify (- 0) into 0 9.605 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 9.605 * [backup-simplify]: Simplify (- 1/24) into -1/24 9.605 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 9.606 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 9.606 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 1/6 (/ 0 1)))) into 0 9.606 * [backup-simplify]: Simplify 0 into 0 9.609 * [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 9.609 * [backup-simplify]: Simplify (- 1) into -1 9.610 * [backup-simplify]: Simplify (- 1) into -1 9.610 * [backup-simplify]: Simplify (- 0) into 0 9.610 * [backup-simplify]: Simplify (- 1) into -1 9.610 * [backup-simplify]: Simplify (- 0) into 0 9.611 * [backup-simplify]: Simplify (- 1) into -1 9.611 * [backup-simplify]: Simplify (- 0) into 0 9.611 * [backup-simplify]: Simplify (- 1) into -1 9.611 * [backup-simplify]: Simplify (- 0) into 0 9.611 * [backup-simplify]: Simplify (- 0) into 0 9.612 * [backup-simplify]: Simplify (- 0) into 0 9.612 * [backup-simplify]: Simplify (- 0) into 0 9.615 * [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 9.615 * [backup-simplify]: Simplify (- -1/120) into 1/120 9.615 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 9.616 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 9.617 * [backup-simplify]: Simplify (- (/ 1/120 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 1/120 9.617 * [backup-simplify]: Simplify 1/120 into 1/120 9.617 * [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)) 9.617 * [backup-simplify]: Simplify (/ (sinh (/ 1 y)) (/ 1 y)) into (* (sinh (/ 1 y)) y) 9.617 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in (y) around 0 9.618 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 9.618 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 9.618 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 9.618 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 9.618 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 9.618 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.618 * [taylor]: Taking taylor expansion of y in y 9.618 * [backup-simplify]: Simplify 0 into 0 9.618 * [backup-simplify]: Simplify 1 into 1 9.618 * [backup-simplify]: Simplify (/ 1 1) into 1 9.618 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 9.618 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 9.618 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 9.618 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.618 * [taylor]: Taking taylor expansion of y in y 9.618 * [backup-simplify]: Simplify 0 into 0 9.618 * [backup-simplify]: Simplify 1 into 1 9.618 * [backup-simplify]: Simplify (/ 1 1) into 1 9.619 * [backup-simplify]: Simplify (- 1) into -1 9.619 * [backup-simplify]: Simplify (exp (- (/ 1 y))) into (exp (- (/ 1 y))) 9.619 * [taylor]: Taking taylor expansion of 2 in y 9.619 * [backup-simplify]: Simplify 2 into 2 9.619 * [backup-simplify]: Simplify (- (exp (- (/ 1 y)))) into (- (exp (- (/ 1 y)))) 9.619 * [backup-simplify]: Simplify (+ (exp (/ 1 y)) (- (exp (- (/ 1 y))))) into (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 9.619 * [backup-simplify]: Simplify (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) into (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 9.619 * [taylor]: Taking taylor expansion of y in y 9.619 * [backup-simplify]: Simplify 0 into 0 9.619 * [backup-simplify]: Simplify 1 into 1 9.619 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 9.619 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 9.619 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 9.619 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 9.619 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 9.619 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.619 * [taylor]: Taking taylor expansion of y in y 9.619 * [backup-simplify]: Simplify 0 into 0 9.619 * [backup-simplify]: Simplify 1 into 1 9.619 * [backup-simplify]: Simplify (/ 1 1) into 1 9.619 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 9.619 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 9.619 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 9.620 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.620 * [taylor]: Taking taylor expansion of y in y 9.620 * [backup-simplify]: Simplify 0 into 0 9.620 * [backup-simplify]: Simplify 1 into 1 9.620 * [backup-simplify]: Simplify (/ 1 1) into 1 9.620 * [backup-simplify]: Simplify (- 1) into -1 9.620 * [backup-simplify]: Simplify (exp (- (/ 1 y))) into (exp (- (/ 1 y))) 9.620 * [taylor]: Taking taylor expansion of 2 in y 9.620 * [backup-simplify]: Simplify 2 into 2 9.620 * [backup-simplify]: Simplify (- (exp (- (/ 1 y)))) into (- (exp (- (/ 1 y)))) 9.620 * [backup-simplify]: Simplify (+ (exp (/ 1 y)) (- (exp (- (/ 1 y))))) into (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 9.620 * [backup-simplify]: Simplify (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) into (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 9.620 * [taylor]: Taking taylor expansion of y in y 9.620 * [backup-simplify]: Simplify 0 into 0 9.620 * [backup-simplify]: Simplify 1 into 1 9.621 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) into 0 9.621 * [backup-simplify]: Simplify 0 into 0 9.621 * [backup-simplify]: Simplify (- 0) into 0 9.621 * [backup-simplify]: Simplify (+ 0 0) into 0 9.622 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)))) into 0 9.622 * [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))))) 9.623 * [backup-simplify]: Simplify (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))) into (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))) 9.623 * [backup-simplify]: Simplify (- 0) into 0 9.623 * [backup-simplify]: Simplify (+ 0 0) into 0 9.624 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 9.624 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 1) (* 0 0))) into 0 9.624 * [backup-simplify]: Simplify 0 into 0 9.625 * [backup-simplify]: Simplify (- 0) into 0 9.625 * [backup-simplify]: Simplify (+ 0 0) into 0 9.626 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 9.626 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 9.626 * [backup-simplify]: Simplify 0 into 0 9.627 * [backup-simplify]: Simplify (- 0) into 0 9.627 * [backup-simplify]: Simplify (+ 0 0) into 0 9.628 * [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 9.629 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 9.629 * [backup-simplify]: Simplify 0 into 0 9.629 * [backup-simplify]: Simplify (- 0) into 0 9.629 * [backup-simplify]: Simplify (+ 0 0) into 0 9.631 * [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 9.632 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 9.632 * [backup-simplify]: Simplify 0 into 0 9.632 * [backup-simplify]: Simplify (- 0) into 0 9.632 * [backup-simplify]: Simplify (+ 0 0) into 0 9.634 * [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 9.635 * [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 9.635 * [backup-simplify]: Simplify 0 into 0 9.635 * [backup-simplify]: Simplify (- 0) into 0 9.636 * [backup-simplify]: Simplify (+ 0 0) into 0 9.638 * [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 9.639 * [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 9.639 * [backup-simplify]: Simplify 0 into 0 9.639 * [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) 9.639 * [backup-simplify]: Simplify (/ (sinh (/ 1 (- y))) (/ 1 (- y))) into (* -1 (* (sinh (/ -1 y)) y)) 9.639 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in (y) around 0 9.639 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 9.639 * [taylor]: Taking taylor expansion of -1 in y 9.639 * [backup-simplify]: Simplify -1 into -1 9.639 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 9.639 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 9.639 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 9.639 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 9.639 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 9.639 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.639 * [taylor]: Taking taylor expansion of -1 in y 9.639 * [backup-simplify]: Simplify -1 into -1 9.639 * [taylor]: Taking taylor expansion of y in y 9.639 * [backup-simplify]: Simplify 0 into 0 9.639 * [backup-simplify]: Simplify 1 into 1 9.640 * [backup-simplify]: Simplify (/ -1 1) into -1 9.640 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 9.640 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 9.640 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 9.640 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.640 * [taylor]: Taking taylor expansion of -1 in y 9.640 * [backup-simplify]: Simplify -1 into -1 9.640 * [taylor]: Taking taylor expansion of y in y 9.640 * [backup-simplify]: Simplify 0 into 0 9.640 * [backup-simplify]: Simplify 1 into 1 9.640 * [backup-simplify]: Simplify (/ -1 1) into -1 9.640 * [backup-simplify]: Simplify (- -1) into 1 9.640 * [backup-simplify]: Simplify (exp (- (/ -1 y))) into (exp (/ 1 y)) 9.640 * [taylor]: Taking taylor expansion of 2 in y 9.640 * [backup-simplify]: Simplify 2 into 2 9.640 * [backup-simplify]: Simplify (- (exp (/ 1 y))) into (- (exp (/ 1 y))) 9.640 * [backup-simplify]: Simplify (+ (exp (/ -1 y)) (- (exp (/ 1 y)))) into (- (exp (/ -1 y)) (exp (/ 1 y))) 9.641 * [backup-simplify]: Simplify (/ (- (exp (/ -1 y)) (exp (/ 1 y))) 2) into (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 9.641 * [taylor]: Taking taylor expansion of y in y 9.641 * [backup-simplify]: Simplify 0 into 0 9.641 * [backup-simplify]: Simplify 1 into 1 9.641 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y 9.641 * [taylor]: Taking taylor expansion of -1 in y 9.641 * [backup-simplify]: Simplify -1 into -1 9.641 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y 9.641 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 9.641 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 9.641 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 9.641 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 9.641 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.641 * [taylor]: Taking taylor expansion of -1 in y 9.641 * [backup-simplify]: Simplify -1 into -1 9.641 * [taylor]: Taking taylor expansion of y in y 9.641 * [backup-simplify]: Simplify 0 into 0 9.641 * [backup-simplify]: Simplify 1 into 1 9.641 * [backup-simplify]: Simplify (/ -1 1) into -1 9.641 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 9.641 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 9.641 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 9.641 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.641 * [taylor]: Taking taylor expansion of -1 in y 9.641 * [backup-simplify]: Simplify -1 into -1 9.641 * [taylor]: Taking taylor expansion of y in y 9.641 * [backup-simplify]: Simplify 0 into 0 9.641 * [backup-simplify]: Simplify 1 into 1 9.642 * [backup-simplify]: Simplify (/ -1 1) into -1 9.642 * [backup-simplify]: Simplify (- -1) into 1 9.642 * [backup-simplify]: Simplify (exp (- (/ -1 y))) into (exp (/ 1 y)) 9.642 * [taylor]: Taking taylor expansion of 2 in y 9.642 * [backup-simplify]: Simplify 2 into 2 9.642 * [backup-simplify]: Simplify (- (exp (/ 1 y))) into (- (exp (/ 1 y))) 9.642 * [backup-simplify]: Simplify (+ (exp (/ -1 y)) (- (exp (/ 1 y)))) into (- (exp (/ -1 y)) (exp (/ 1 y))) 9.642 * [backup-simplify]: Simplify (/ (- (exp (/ -1 y)) (exp (/ 1 y))) 2) into (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 9.642 * [taylor]: Taking taylor expansion of y in y 9.642 * [backup-simplify]: Simplify 0 into 0 9.642 * [backup-simplify]: Simplify 1 into 1 9.642 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) into 0 9.643 * [backup-simplify]: Simplify (* -1 0) into 0 9.643 * [backup-simplify]: Simplify 0 into 0 9.643 * [backup-simplify]: Simplify (- 0) into 0 9.643 * [backup-simplify]: Simplify (+ 0 0) into 0 9.646 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)))) into 0 9.647 * [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)))) 9.647 * [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)))) 9.647 * [backup-simplify]: Simplify (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (/ -1 y)))) into (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (/ -1 y)))) 9.647 * [backup-simplify]: Simplify (- 0) into 0 9.648 * [backup-simplify]: Simplify (+ 0 0) into 0 9.648 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 9.649 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) (+ (* 0 1) (* 0 0))) into 0 9.649 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (* 0 0))) into 0 9.649 * [backup-simplify]: Simplify 0 into 0 9.650 * [backup-simplify]: Simplify (- 0) into 0 9.650 * [backup-simplify]: Simplify (+ 0 0) into 0 9.651 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 9.652 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 9.652 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (* 0 0)))) into 0 9.652 * [backup-simplify]: Simplify 0 into 0 9.653 * [backup-simplify]: Simplify (- 0) into 0 9.653 * [backup-simplify]: Simplify (+ 0 0) into 0 9.654 * [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 9.655 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 9.656 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (* 0 0))))) into 0 9.656 * [backup-simplify]: Simplify 0 into 0 9.656 * [backup-simplify]: Simplify (- 0) into 0 9.656 * [backup-simplify]: Simplify (+ 0 0) into 0 9.658 * [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 9.659 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 9.660 * [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 9.660 * [backup-simplify]: Simplify 0 into 0 9.661 * [backup-simplify]: Simplify (- 0) into 0 9.661 * [backup-simplify]: Simplify (+ 0 0) into 0 9.663 * [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 9.663 * [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 9.665 * [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 9.665 * [backup-simplify]: Simplify 0 into 0 9.665 * [backup-simplify]: Simplify (- 0) into 0 9.665 * [backup-simplify]: Simplify (+ 0 0) into 0 9.668 * [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 9.668 * [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 9.670 * [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 9.670 * [backup-simplify]: Simplify 0 into 0 9.670 * [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)) 9.670 * * * [progress]: simplifying candidates 9.671 * [simplify]: Simplifying: (expm1 (sinh y)) (log1p (sinh y)) (- (exp y) (exp (- y))) (log (sinh y)) (exp (sinh y)) (* (cbrt (sinh y)) (cbrt (sinh y))) (cbrt (sinh y)) (* (* (sinh y) (sinh y)) (sinh y)) (sqrt (sinh y)) (sqrt (sinh y)) (expm1 (/ (sinh y) y)) (log1p (/ (sinh y) y)) (- (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 3)) (+ (* 1/120 (pow y 5)) y)) (* 1/2 (- (exp y) (exp (- y)))) (* 1/2 (- (exp y) (exp (* -1 y)))) (+ (* 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)) 9.672 * * [simplify]: Extracting # 0 : cost 0 9.672 * * [simplify]: Extracting # 1 : cost 0 9.672 * * [simplify]: Extracting # 2 : cost 0 9.672 * * [simplify]: Extracting # 3 : cost 0 9.672 * * [simplify]: Extracting # 4 : cost 0 9.672 * * [simplify]: Extracting # 5 : cost 0 9.672 * * [simplify]: Extracting # 6 : cost 0 9.672 * * [simplify]: iteration 0 : 91 enodes (cost 352 ) 9.690 * * [simplify]: Extracting # 0 : cost 0 9.690 * * [simplify]: Extracting # 1 : cost 0 9.691 * * [simplify]: Extracting # 2 : cost 0 9.691 * * [simplify]: Extracting # 3 : cost 0 9.691 * * [simplify]: Extracting # 4 : cost 0 9.691 * * [simplify]: iteration 1 : 181 enodes (cost 330 ) 9.744 * * [simplify]: Extracting # 0 : cost 0 9.745 * * [simplify]: Extracting # 1 : cost 0 9.745 * * [simplify]: Extracting # 2 : cost 0 9.745 * * [simplify]: Extracting # 3 : cost 0 9.746 * * [simplify]: Extracting # 4 : cost 0 9.746 * * [simplify]: iteration 2 : 434 enodes (cost 311 ) 9.909 * * [simplify]: Extracting # 0 : cost 0 9.911 * * [simplify]: Extracting # 1 : cost 0 9.912 * * [simplify]: Extracting # 2 : cost 0 9.913 * * [simplify]: Extracting # 3 : cost 0 9.914 * * [simplify]: Extracting # 4 : cost 0 9.915 * * [simplify]: iteration 3 : 1138 enodes (cost 311 ) 10.705 * * [simplify]: Extracting # 0 : cost 0 10.710 * * [simplify]: Extracting # 1 : cost 0 10.714 * * [simplify]: Extracting # 2 : cost 0 10.718 * * [simplify]: Extracting # 3 : cost 0 10.725 * * [simplify]: Extracting # 4 : cost 0 10.729 * * [simplify]: iteration 4 : 3815 enodes (cost 311 ) 11.573 * * [simplify]: Extracting # 0 : cost 0 11.578 * * [simplify]: Extracting # 1 : cost 0 11.583 * * [simplify]: Extracting # 2 : cost 0 11.588 * * [simplify]: iteration done: 5000 enodes (cost 311 ) 11.589 * [simplify]: Simplified to: (expm1 (sinh y)) (log1p (sinh y)) (- (exp y) (exp (- y))) (log (sinh y)) (exp (sinh y)) (* (cbrt (sinh y)) (cbrt (sinh y))) (cbrt (sinh y)) (pow (sinh y) 3) (sqrt (sinh y)) (sqrt (sinh y)) (expm1 (/ (sinh y) y)) (log1p (/ (sinh y) y)) (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) (fma 1/6 (pow y 3) (fma 1/120 (pow y 5) y)) (* -1/2 (- (exp (- y)) (exp y))) (* -1/2 (- (exp (- y)) (exp y))) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)) (/ (* -1/2 (- (exp (- y)) (exp y))) y) (/ (* -1/2 (- (exp (- y)) (exp y))) y) 11.589 * * * [progress]: adding candidates to table 11.697 * * [progress]: iteration 2 / 4 11.697 * * * [progress]: picking best candidate 11.699 * * * * [pick]: Picked # 11.700 * * * [progress]: localizing error 11.712 * * * [progress]: generating rewritten candidates 11.712 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 11.721 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 11.727 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 11.764 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 11.775 * * * [progress]: generating series expansions 11.775 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 11.776 * [backup-simplify]: Simplify (/ (sinh y) (sqrt y)) into (* (sqrt (/ 1 y)) (sinh y)) 11.776 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 y)) (sinh y)) in (y) around 0 11.776 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (sinh y)) in y 11.776 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 11.776 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.776 * [taylor]: Taking taylor expansion of y in y 11.776 * [backup-simplify]: Simplify 0 into 0 11.776 * [backup-simplify]: Simplify 1 into 1 11.776 * [backup-simplify]: Simplify (/ 1 1) into 1 11.777 * [backup-simplify]: Simplify (sqrt 0) into 0 11.777 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.777 * [taylor]: Taking taylor expansion of (sinh y) in y 11.778 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 11.778 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 11.778 * [taylor]: Taking taylor expansion of (exp y) in y 11.778 * [taylor]: Taking taylor expansion of y in y 11.778 * [backup-simplify]: Simplify 0 into 0 11.778 * [backup-simplify]: Simplify 1 into 1 11.778 * [backup-simplify]: Simplify (exp 0) into 1 11.778 * [taylor]: Taking taylor expansion of (exp (- y)) in y 11.778 * [taylor]: Taking taylor expansion of (- y) in y 11.778 * [taylor]: Taking taylor expansion of y in y 11.778 * [backup-simplify]: Simplify 0 into 0 11.778 * [backup-simplify]: Simplify 1 into 1 11.778 * [backup-simplify]: Simplify (- 0) into 0 11.778 * [backup-simplify]: Simplify (- 1) into -1 11.778 * [backup-simplify]: Simplify (exp 0) into 1 11.778 * [taylor]: Taking taylor expansion of 2 in y 11.778 * [backup-simplify]: Simplify 2 into 2 11.778 * [backup-simplify]: Simplify (- 1) into -1 11.779 * [backup-simplify]: Simplify (+ 1 -1) into 0 11.779 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 11.780 * [backup-simplify]: Simplify (- 1) into -1 11.780 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 11.780 * [backup-simplify]: Simplify (- -1) into 1 11.781 * [backup-simplify]: Simplify (+ 1 1) into 2 11.781 * [backup-simplify]: Simplify (/ 2 2) into 1 11.781 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (sinh y)) in y 11.781 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 11.781 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.781 * [taylor]: Taking taylor expansion of y in y 11.781 * [backup-simplify]: Simplify 0 into 0 11.781 * [backup-simplify]: Simplify 1 into 1 11.781 * [backup-simplify]: Simplify (/ 1 1) into 1 11.781 * [backup-simplify]: Simplify (sqrt 0) into 0 11.782 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.782 * [taylor]: Taking taylor expansion of (sinh y) in y 11.782 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 11.782 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 11.782 * [taylor]: Taking taylor expansion of (exp y) in y 11.782 * [taylor]: Taking taylor expansion of y in y 11.782 * [backup-simplify]: Simplify 0 into 0 11.782 * [backup-simplify]: Simplify 1 into 1 11.782 * [backup-simplify]: Simplify (exp 0) into 1 11.782 * [taylor]: Taking taylor expansion of (exp (- y)) in y 11.782 * [taylor]: Taking taylor expansion of (- y) in y 11.782 * [taylor]: Taking taylor expansion of y in y 11.782 * [backup-simplify]: Simplify 0 into 0 11.782 * [backup-simplify]: Simplify 1 into 1 11.783 * [backup-simplify]: Simplify (- 0) into 0 11.783 * [backup-simplify]: Simplify (- 1) into -1 11.783 * [backup-simplify]: Simplify (exp 0) into 1 11.783 * [taylor]: Taking taylor expansion of 2 in y 11.783 * [backup-simplify]: Simplify 2 into 2 11.783 * [backup-simplify]: Simplify (- 1) into -1 11.783 * [backup-simplify]: Simplify (+ 1 -1) into 0 11.784 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 11.784 * [backup-simplify]: Simplify (- 1) into -1 11.785 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 11.785 * [backup-simplify]: Simplify (- -1) into 1 11.785 * [backup-simplify]: Simplify (+ 1 1) into 2 11.785 * [backup-simplify]: Simplify (/ 2 2) into 1 11.786 * [backup-simplify]: Simplify (* 0 1) into 0 11.786 * [backup-simplify]: Simplify 0 into 0 11.787 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 11.787 * [backup-simplify]: Simplify (- 1) into -1 11.787 * [backup-simplify]: Simplify (- 0) into 0 11.788 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 11.788 * [backup-simplify]: Simplify (- 1/2) into -1/2 11.788 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 11.789 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 11.790 * [backup-simplify]: Simplify (+ (* 0 0) (* +nan.0 1)) into (- +nan.0) 11.790 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.791 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 11.791 * [backup-simplify]: Simplify (- 1) into -1 11.792 * [backup-simplify]: Simplify (- 1) into -1 11.792 * [backup-simplify]: Simplify (- 0) into 0 11.792 * [backup-simplify]: Simplify (- 0) into 0 11.793 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 11.794 * [backup-simplify]: Simplify (- -1/6) into 1/6 11.794 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 11.794 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 11.795 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.796 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 11.798 * [backup-simplify]: Simplify (+ (* 0 1/6) (+ (* +nan.0 0) (* +nan.0 1))) into (- +nan.0) 11.798 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.800 * [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 11.801 * [backup-simplify]: Simplify (- 1) into -1 11.801 * [backup-simplify]: Simplify (- 1) into -1 11.801 * [backup-simplify]: Simplify (- 0) into 0 11.801 * [backup-simplify]: Simplify (- 1) into -1 11.801 * [backup-simplify]: Simplify (- 0) into 0 11.802 * [backup-simplify]: Simplify (- 0) into 0 11.802 * [backup-simplify]: Simplify (- 0) into 0 11.804 * [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 11.804 * [backup-simplify]: Simplify (- 1/24) into -1/24 11.804 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 11.805 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 11.805 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.808 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 11.810 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 1/6) (+ (* +nan.0 0) (* +nan.0 1)))) into (- +nan.0) 11.810 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.811 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow y 3)) (+ (* (- +nan.0) (pow y 2)) (* (- +nan.0) y))) into (- (+ (* +nan.0 (pow y 3)) (- (+ (* +nan.0 (pow y 2)) (- (* +nan.0 y)))))) 11.811 * [backup-simplify]: Simplify (/ (sinh (/ 1 y)) (sqrt (/ 1 y))) into (* (sinh (/ 1 y)) (sqrt y)) 11.811 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (sqrt y)) in (y) around 0 11.811 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (sqrt y)) in y 11.812 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 11.812 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 11.812 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 11.812 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 11.812 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.812 * [taylor]: Taking taylor expansion of y in y 11.812 * [backup-simplify]: Simplify 0 into 0 11.812 * [backup-simplify]: Simplify 1 into 1 11.812 * [backup-simplify]: Simplify (/ 1 1) into 1 11.812 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 11.812 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 11.812 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 11.812 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.812 * [taylor]: Taking taylor expansion of y in y 11.812 * [backup-simplify]: Simplify 0 into 0 11.812 * [backup-simplify]: Simplify 1 into 1 11.812 * [backup-simplify]: Simplify (/ 1 1) into 1 11.812 * [backup-simplify]: Simplify (- 1) into -1 11.813 * [backup-simplify]: Simplify (exp (- (/ 1 y))) into (exp (- (/ 1 y))) 11.813 * [taylor]: Taking taylor expansion of 2 in y 11.813 * [backup-simplify]: Simplify 2 into 2 11.813 * [backup-simplify]: Simplify (- (exp (- (/ 1 y)))) into (- (exp (- (/ 1 y)))) 11.813 * [backup-simplify]: Simplify (+ (exp (/ 1 y)) (- (exp (- (/ 1 y))))) into (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 11.813 * [backup-simplify]: Simplify (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) into (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 11.813 * [taylor]: Taking taylor expansion of (sqrt y) in y 11.813 * [taylor]: Taking taylor expansion of y in y 11.813 * [backup-simplify]: Simplify 0 into 0 11.813 * [backup-simplify]: Simplify 1 into 1 11.813 * [backup-simplify]: Simplify (sqrt 0) into 0 11.814 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.814 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (sqrt y)) in y 11.814 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 11.814 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 11.814 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 11.814 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 11.814 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.814 * [taylor]: Taking taylor expansion of y in y 11.814 * [backup-simplify]: Simplify 0 into 0 11.814 * [backup-simplify]: Simplify 1 into 1 11.814 * [backup-simplify]: Simplify (/ 1 1) into 1 11.814 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 11.814 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 11.814 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 11.815 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.815 * [taylor]: Taking taylor expansion of y in y 11.815 * [backup-simplify]: Simplify 0 into 0 11.815 * [backup-simplify]: Simplify 1 into 1 11.815 * [backup-simplify]: Simplify (/ 1 1) into 1 11.815 * [backup-simplify]: Simplify (- 1) into -1 11.815 * [backup-simplify]: Simplify (exp (- (/ 1 y))) into (exp (- (/ 1 y))) 11.815 * [taylor]: Taking taylor expansion of 2 in y 11.815 * [backup-simplify]: Simplify 2 into 2 11.815 * [backup-simplify]: Simplify (- (exp (- (/ 1 y)))) into (- (exp (- (/ 1 y)))) 11.815 * [backup-simplify]: Simplify (+ (exp (/ 1 y)) (- (exp (- (/ 1 y))))) into (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 11.816 * [backup-simplify]: Simplify (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) into (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 11.816 * [taylor]: Taking taylor expansion of (sqrt y) in y 11.816 * [taylor]: Taking taylor expansion of y in y 11.816 * [backup-simplify]: Simplify 0 into 0 11.816 * [backup-simplify]: Simplify 1 into 1 11.816 * [backup-simplify]: Simplify (sqrt 0) into 0 11.817 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.817 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) into 0 11.817 * [backup-simplify]: Simplify 0 into 0 11.817 * [backup-simplify]: Simplify (- 0) into 0 11.817 * [backup-simplify]: Simplify (+ 0 0) into 0 11.818 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)))) into 0 11.818 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) +nan.0) (* 0 0)) into (- (+ (* +nan.0 (exp (/ 1 y))) (- (* +nan.0 (exp (- (/ 1 y))))))) 11.818 * [backup-simplify]: Simplify (- (+ (* +nan.0 (exp (/ 1 y))) (- (* +nan.0 (exp (- (/ 1 y))))))) into (- (+ (* +nan.0 (exp (/ 1 y))) (- (* +nan.0 (exp (- (/ 1 y))))))) 11.820 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 11.820 * [backup-simplify]: Simplify (- 0) into 0 11.821 * [backup-simplify]: Simplify (+ 0 0) into 0 11.821 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.822 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- (+ (* +nan.0 (exp (/ 1 y))) (- (* +nan.0 (exp (- (/ 1 y))))))) 11.822 * [backup-simplify]: Simplify (- (+ (* +nan.0 (exp (/ 1 y))) (- (* +nan.0 (exp (- (/ 1 y))))))) into (- (+ (* +nan.0 (exp (/ 1 y))) (- (* +nan.0 (exp (- (/ 1 y))))))) 11.824 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 11.824 * [backup-simplify]: Simplify (- 0) into 0 11.825 * [backup-simplify]: Simplify (+ 0 0) into 0 11.826 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.826 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) +nan.0) (+ (* 0 +nan.0) (+ (* 0 +nan.0) (* 0 0)))) into (- (+ (* +nan.0 (exp (/ 1 y))) (- (* +nan.0 (exp (- (/ 1 y))))))) 11.827 * [backup-simplify]: Simplify (- (+ (* +nan.0 (exp (/ 1 y))) (- (* +nan.0 (exp (- (/ 1 y))))))) into (- (+ (* +nan.0 (exp (/ 1 y))) (- (* +nan.0 (exp (- (/ 1 y))))))) 11.828 * [backup-simplify]: Simplify (+ (* (- (+ (* +nan.0 (exp (/ 1 (/ 1 y)))) (- (* +nan.0 (exp (- (/ 1 (/ 1 y)))))))) (pow (/ 1 y) 3)) (+ (* (- (+ (* +nan.0 (exp (/ 1 (/ 1 y)))) (- (* +nan.0 (exp (- (/ 1 (/ 1 y)))))))) (pow (/ 1 y) 2)) (* (- (+ (* +nan.0 (exp (/ 1 (/ 1 y)))) (- (* +nan.0 (exp (- (/ 1 (/ 1 y)))))))) (/ 1 y)))) into (- (+ (* +nan.0 (/ (exp y) (pow y 2))) (- (+ (* +nan.0 (/ (exp y) (pow y 3))) (- (+ (* +nan.0 (/ (exp (- y)) (pow y 2))) (- (+ (* +nan.0 (/ (exp (- y)) y)) (- (+ (* +nan.0 (/ (exp (- y)) (pow y 3))) (- (* +nan.0 (/ (exp y) y))))))))))))) 11.828 * [backup-simplify]: Simplify (/ (sinh (/ 1 (- y))) (sqrt (/ 1 (- y)))) into (/ (sinh (/ -1 y)) (sqrt (/ -1 y))) 11.828 * [approximate]: Taking taylor expansion of (/ (sinh (/ -1 y)) (sqrt (/ -1 y))) in (y) around 0 11.828 * [taylor]: Taking taylor expansion of (/ (sinh (/ -1 y)) (sqrt (/ -1 y))) in y 11.828 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 11.828 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 11.828 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 11.828 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 11.828 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.828 * [taylor]: Taking taylor expansion of -1 in y 11.828 * [backup-simplify]: Simplify -1 into -1 11.828 * [taylor]: Taking taylor expansion of y in y 11.828 * [backup-simplify]: Simplify 0 into 0 11.828 * [backup-simplify]: Simplify 1 into 1 11.828 * [backup-simplify]: Simplify (/ -1 1) into -1 11.828 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 11.828 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 11.828 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 11.828 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.828 * [taylor]: Taking taylor expansion of -1 in y 11.828 * [backup-simplify]: Simplify -1 into -1 11.829 * [taylor]: Taking taylor expansion of y in y 11.829 * [backup-simplify]: Simplify 0 into 0 11.829 * [backup-simplify]: Simplify 1 into 1 11.829 * [backup-simplify]: Simplify (/ -1 1) into -1 11.829 * [backup-simplify]: Simplify (- -1) into 1 11.829 * [backup-simplify]: Simplify (exp (- (/ -1 y))) into (exp (/ 1 y)) 11.829 * [taylor]: Taking taylor expansion of 2 in y 11.829 * [backup-simplify]: Simplify 2 into 2 11.829 * [backup-simplify]: Simplify (- (exp (/ 1 y))) into (- (exp (/ 1 y))) 11.829 * [backup-simplify]: Simplify (+ (exp (/ -1 y)) (- (exp (/ 1 y)))) into (- (exp (/ -1 y)) (exp (/ 1 y))) 11.829 * [backup-simplify]: Simplify (/ (- (exp (/ -1 y)) (exp (/ 1 y))) 2) into (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 11.829 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 11.829 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.829 * [taylor]: Taking taylor expansion of -1 in y 11.829 * [backup-simplify]: Simplify -1 into -1 11.829 * [taylor]: Taking taylor expansion of y in y 11.829 * [backup-simplify]: Simplify 0 into 0 11.829 * [backup-simplify]: Simplify 1 into 1 11.830 * [backup-simplify]: Simplify (/ -1 1) into -1 11.830 * [backup-simplify]: Simplify (sqrt 0) into 0 11.831 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 11.831 * [backup-simplify]: Simplify (/ (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) +nan.0) into (* +nan.0 (- (exp (/ -1 y)) (exp (/ 1 y)))) 11.831 * [taylor]: Taking taylor expansion of (/ (sinh (/ -1 y)) (sqrt (/ -1 y))) in y 11.831 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 11.831 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 11.831 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 11.831 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 11.831 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.831 * [taylor]: Taking taylor expansion of -1 in y 11.831 * [backup-simplify]: Simplify -1 into -1 11.831 * [taylor]: Taking taylor expansion of y in y 11.831 * [backup-simplify]: Simplify 0 into 0 11.831 * [backup-simplify]: Simplify 1 into 1 11.831 * [backup-simplify]: Simplify (/ -1 1) into -1 11.831 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 11.831 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 11.832 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 11.832 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.832 * [taylor]: Taking taylor expansion of -1 in y 11.832 * [backup-simplify]: Simplify -1 into -1 11.832 * [taylor]: Taking taylor expansion of y in y 11.832 * [backup-simplify]: Simplify 0 into 0 11.832 * [backup-simplify]: Simplify 1 into 1 11.832 * [backup-simplify]: Simplify (/ -1 1) into -1 11.832 * [backup-simplify]: Simplify (- -1) into 1 11.832 * [backup-simplify]: Simplify (exp (- (/ -1 y))) into (exp (/ 1 y)) 11.832 * [taylor]: Taking taylor expansion of 2 in y 11.832 * [backup-simplify]: Simplify 2 into 2 11.832 * [backup-simplify]: Simplify (- (exp (/ 1 y))) into (- (exp (/ 1 y))) 11.832 * [backup-simplify]: Simplify (+ (exp (/ -1 y)) (- (exp (/ 1 y)))) into (- (exp (/ -1 y)) (exp (/ 1 y))) 11.832 * [backup-simplify]: Simplify (/ (- (exp (/ -1 y)) (exp (/ 1 y))) 2) into (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 11.832 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 11.832 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.832 * [taylor]: Taking taylor expansion of -1 in y 11.833 * [backup-simplify]: Simplify -1 into -1 11.833 * [taylor]: Taking taylor expansion of y in y 11.833 * [backup-simplify]: Simplify 0 into 0 11.833 * [backup-simplify]: Simplify 1 into 1 11.833 * [backup-simplify]: Simplify (/ -1 1) into -1 11.833 * [backup-simplify]: Simplify (sqrt 0) into 0 11.834 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 11.834 * [backup-simplify]: Simplify (/ (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) +nan.0) into (* +nan.0 (- (exp (/ -1 y)) (exp (/ 1 y)))) 11.834 * [backup-simplify]: Simplify (* +nan.0 (- (exp (/ -1 y)) (exp (/ 1 y)))) into (* +nan.0 (- (exp (/ -1 y)) (exp (/ 1 y)))) 11.834 * [backup-simplify]: Simplify (- 0) into 0 11.834 * [backup-simplify]: Simplify (+ 0 0) into 0 11.835 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)))) into 0 11.836 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 11.837 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 11.838 * [backup-simplify]: Simplify (- (/ 0 +nan.0) (+ (* (* +nan.0 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ +nan.0 +nan.0)))) into (- (+ (* +nan.0 (exp (/ 1 y))) (- (* +nan.0 (exp (/ -1 y)))))) 11.838 * [backup-simplify]: Simplify (- (+ (* +nan.0 (exp (/ 1 y))) (- (* +nan.0 (exp (/ -1 y)))))) into (- (+ (* +nan.0 (exp (/ 1 y))) (- (* +nan.0 (exp (/ -1 y)))))) 11.838 * [backup-simplify]: Simplify (- 0) into 0 11.838 * [backup-simplify]: Simplify (+ 0 0) into 0 11.839 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.840 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.842 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 11.843 * [backup-simplify]: Simplify (- (/ 0 +nan.0) (+ (* (* +nan.0 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ +nan.0 +nan.0)) (* (- (+ (* +nan.0 (exp (/ 1 y))) (- (* +nan.0 (exp (/ -1 y)))))) (/ +nan.0 +nan.0)))) into (- (+ (* +nan.0 (exp (/ 1 y))) (- (* +nan.0 (exp (/ -1 y)))))) 11.843 * [backup-simplify]: Simplify (- (+ (* +nan.0 (exp (/ 1 y))) (- (* +nan.0 (exp (/ -1 y)))))) into (- (+ (* +nan.0 (exp (/ 1 y))) (- (* +nan.0 (exp (/ -1 y)))))) 11.844 * [backup-simplify]: Simplify (+ (* (- (+ (* +nan.0 (exp (/ 1 (/ 1 (- y))))) (- (* +nan.0 (exp (/ -1 (/ 1 (- y)))))))) (pow (/ 1 (- y)) 2)) (+ (* (- (+ (* +nan.0 (exp (/ 1 (/ 1 (- y))))) (- (* +nan.0 (exp (/ -1 (/ 1 (- y)))))))) (/ 1 (- y))) (* +nan.0 (- (exp (/ -1 (/ 1 (- y)))) (exp (/ 1 (/ 1 (- y)))))))) into (- (+ (* +nan.0 (/ (exp (* -1 y)) y)) (- (+ (* +nan.0 (/ (exp y) (pow y 2))) (- (+ (* +nan.0 (/ (exp (* -1 y)) (pow y 2))) (- (+ (* +nan.0 (/ (exp y) y)) (- (+ (* +nan.0 (exp y)) (- (* +nan.0 (exp (* -1 y)))))))))))))) 11.844 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 11.844 * [backup-simplify]: Simplify (/ 1 (sqrt y)) into (sqrt (/ 1 y)) 11.844 * [approximate]: Taking taylor expansion of (sqrt (/ 1 y)) in (y) around 0 11.844 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 11.844 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.844 * [taylor]: Taking taylor expansion of y in y 11.844 * [backup-simplify]: Simplify 0 into 0 11.844 * [backup-simplify]: Simplify 1 into 1 11.844 * [backup-simplify]: Simplify (/ 1 1) into 1 11.844 * [backup-simplify]: Simplify (sqrt 0) into 0 11.845 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.845 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 11.845 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.845 * [taylor]: Taking taylor expansion of y in y 11.845 * [backup-simplify]: Simplify 0 into 0 11.845 * [backup-simplify]: Simplify 1 into 1 11.846 * [backup-simplify]: Simplify (/ 1 1) into 1 11.846 * [backup-simplify]: Simplify (sqrt 0) into 0 11.847 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.847 * [backup-simplify]: Simplify 0 into 0 11.847 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.847 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.849 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 11.849 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.855 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 11.855 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.856 * [backup-simplify]: Simplify (+ (* +nan.0 (pow y 2)) (+ (* +nan.0 y) +nan.0)) into (- (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) 11.856 * [backup-simplify]: Simplify (/ 1 (sqrt (/ 1 y))) into (sqrt y) 11.856 * [approximate]: Taking taylor expansion of (sqrt y) in (y) around 0 11.856 * [taylor]: Taking taylor expansion of (sqrt y) in y 11.856 * [taylor]: Taking taylor expansion of y in y 11.856 * [backup-simplify]: Simplify 0 into 0 11.856 * [backup-simplify]: Simplify 1 into 1 11.856 * [backup-simplify]: Simplify (sqrt 0) into 0 11.857 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.857 * [taylor]: Taking taylor expansion of (sqrt y) in y 11.857 * [taylor]: Taking taylor expansion of y in y 11.857 * [backup-simplify]: Simplify 0 into 0 11.857 * [backup-simplify]: Simplify 1 into 1 11.857 * [backup-simplify]: Simplify (sqrt 0) into 0 11.858 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.858 * [backup-simplify]: Simplify 0 into 0 11.858 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.860 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 11.860 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.862 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 11.862 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.862 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 y) 3)) (+ (* +nan.0 (pow (/ 1 y) 2)) (* +nan.0 (/ 1 y)))) into (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (* +nan.0 (/ 1 (pow y 2)))))))) 11.862 * [backup-simplify]: Simplify (/ 1 (sqrt (/ 1 (- y)))) into (/ 1 (sqrt (/ -1 y))) 11.862 * [approximate]: Taking taylor expansion of (/ 1 (sqrt (/ -1 y))) in (y) around 0 11.862 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (/ -1 y))) in y 11.862 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 11.862 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.862 * [taylor]: Taking taylor expansion of -1 in y 11.862 * [backup-simplify]: Simplify -1 into -1 11.862 * [taylor]: Taking taylor expansion of y in y 11.862 * [backup-simplify]: Simplify 0 into 0 11.862 * [backup-simplify]: Simplify 1 into 1 11.863 * [backup-simplify]: Simplify (/ -1 1) into -1 11.863 * [backup-simplify]: Simplify (sqrt 0) into 0 11.864 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 11.864 * [backup-simplify]: Simplify (/ 1 +nan.0) into +nan.0 11.864 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (/ -1 y))) in y 11.864 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 11.864 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.864 * [taylor]: Taking taylor expansion of -1 in y 11.864 * [backup-simplify]: Simplify -1 into -1 11.864 * [taylor]: Taking taylor expansion of y in y 11.864 * [backup-simplify]: Simplify 0 into 0 11.864 * [backup-simplify]: Simplify 1 into 1 11.864 * [backup-simplify]: Simplify (/ -1 1) into -1 11.865 * [backup-simplify]: Simplify (sqrt 0) into 0 11.865 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 11.866 * [backup-simplify]: Simplify (/ 1 +nan.0) into +nan.0 11.866 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.866 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 11.868 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 11.869 * [backup-simplify]: Simplify (- (+ (* +nan.0 (/ +nan.0 +nan.0)))) into (- +nan.0) 11.869 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.870 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.872 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 11.874 * [backup-simplify]: Simplify (- (+ (* +nan.0 (/ +nan.0 +nan.0)) (* (- +nan.0) (/ +nan.0 +nan.0)))) into (- +nan.0) 11.874 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.875 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 (- y)) 2)) (+ (* (- +nan.0) (/ 1 (- y))) +nan.0)) into (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) 11.875 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 11.875 * [backup-simplify]: Simplify (* (/ 1 (sqrt y)) (/ (sinh y) (sqrt y))) into (/ (sinh y) y) 11.875 * [approximate]: Taking taylor expansion of (/ (sinh y) y) in (y) around 0 11.875 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 11.875 * [taylor]: Taking taylor expansion of (sinh y) in y 11.875 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 11.875 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 11.875 * [taylor]: Taking taylor expansion of (exp y) in y 11.875 * [taylor]: Taking taylor expansion of y in y 11.875 * [backup-simplify]: Simplify 0 into 0 11.875 * [backup-simplify]: Simplify 1 into 1 11.875 * [backup-simplify]: Simplify (exp 0) into 1 11.875 * [taylor]: Taking taylor expansion of (exp (- y)) in y 11.875 * [taylor]: Taking taylor expansion of (- y) in y 11.875 * [taylor]: Taking taylor expansion of y in y 11.875 * [backup-simplify]: Simplify 0 into 0 11.875 * [backup-simplify]: Simplify 1 into 1 11.875 * [backup-simplify]: Simplify (- 0) into 0 11.876 * [backup-simplify]: Simplify (- 1) into -1 11.876 * [backup-simplify]: Simplify (exp 0) into 1 11.876 * [taylor]: Taking taylor expansion of 2 in y 11.876 * [backup-simplify]: Simplify 2 into 2 11.876 * [backup-simplify]: Simplify (- 1) into -1 11.876 * [backup-simplify]: Simplify (+ 1 -1) into 0 11.877 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 11.877 * [backup-simplify]: Simplify (- 1) into -1 11.878 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 11.878 * [backup-simplify]: Simplify (- -1) into 1 11.878 * [backup-simplify]: Simplify (+ 1 1) into 2 11.878 * [backup-simplify]: Simplify (/ 2 2) into 1 11.878 * [taylor]: Taking taylor expansion of y in y 11.878 * [backup-simplify]: Simplify 0 into 0 11.878 * [backup-simplify]: Simplify 1 into 1 11.879 * [backup-simplify]: Simplify (/ 1 1) into 1 11.879 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y 11.879 * [taylor]: Taking taylor expansion of (sinh y) in y 11.879 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 11.879 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 11.879 * [taylor]: Taking taylor expansion of (exp y) in y 11.879 * [taylor]: Taking taylor expansion of y in y 11.879 * [backup-simplify]: Simplify 0 into 0 11.879 * [backup-simplify]: Simplify 1 into 1 11.879 * [backup-simplify]: Simplify (exp 0) into 1 11.879 * [taylor]: Taking taylor expansion of (exp (- y)) in y 11.879 * [taylor]: Taking taylor expansion of (- y) in y 11.879 * [taylor]: Taking taylor expansion of y in y 11.879 * [backup-simplify]: Simplify 0 into 0 11.879 * [backup-simplify]: Simplify 1 into 1 11.879 * [backup-simplify]: Simplify (- 0) into 0 11.879 * [backup-simplify]: Simplify (- 1) into -1 11.879 * [backup-simplify]: Simplify (exp 0) into 1 11.880 * [taylor]: Taking taylor expansion of 2 in y 11.880 * [backup-simplify]: Simplify 2 into 2 11.880 * [backup-simplify]: Simplify (- 1) into -1 11.880 * [backup-simplify]: Simplify (+ 1 -1) into 0 11.881 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 11.881 * [backup-simplify]: Simplify (- 1) into -1 11.881 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 11.882 * [backup-simplify]: Simplify (- -1) into 1 11.882 * [backup-simplify]: Simplify (+ 1 1) into 2 11.882 * [backup-simplify]: Simplify (/ 2 2) into 1 11.882 * [taylor]: Taking taylor expansion of y in y 11.882 * [backup-simplify]: Simplify 0 into 0 11.882 * [backup-simplify]: Simplify 1 into 1 11.882 * [backup-simplify]: Simplify (/ 1 1) into 1 11.882 * [backup-simplify]: Simplify 1 into 1 11.883 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 11.883 * [backup-simplify]: Simplify (- 1) into -1 11.884 * [backup-simplify]: Simplify (- 0) into 0 11.885 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 11.885 * [backup-simplify]: Simplify (- 1/2) into -1/2 11.885 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 11.885 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 11.886 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0 11.886 * [backup-simplify]: Simplify 0 into 0 11.887 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 11.887 * [backup-simplify]: Simplify (- 1) into -1 11.888 * [backup-simplify]: Simplify (- 1) into -1 11.888 * [backup-simplify]: Simplify (- 0) into 0 11.888 * [backup-simplify]: Simplify (- 0) into 0 11.889 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 11.890 * [backup-simplify]: Simplify (- -1/6) into 1/6 11.890 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 11.890 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 11.891 * [backup-simplify]: Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 1/6 11.891 * [backup-simplify]: Simplify 1/6 into 1/6 11.893 * [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 11.893 * [backup-simplify]: Simplify (- 1) into -1 11.894 * [backup-simplify]: Simplify (- 1) into -1 11.894 * [backup-simplify]: Simplify (- 0) into 0 11.894 * [backup-simplify]: Simplify (- 1) into -1 11.894 * [backup-simplify]: Simplify (- 0) into 0 11.894 * [backup-simplify]: Simplify (- 0) into 0 11.895 * [backup-simplify]: Simplify (- 0) into 0 11.897 * [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 11.897 * [backup-simplify]: Simplify (- 1/24) into -1/24 11.897 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 11.898 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 11.899 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 1/6 (/ 0 1)))) into 0 11.899 * [backup-simplify]: Simplify 0 into 0 11.902 * [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 11.902 * [backup-simplify]: Simplify (- 1) into -1 11.902 * [backup-simplify]: Simplify (- 1) into -1 11.902 * [backup-simplify]: Simplify (- 0) into 0 11.903 * [backup-simplify]: Simplify (- 1) into -1 11.903 * [backup-simplify]: Simplify (- 0) into 0 11.903 * [backup-simplify]: Simplify (- 1) into -1 11.903 * [backup-simplify]: Simplify (- 0) into 0 11.903 * [backup-simplify]: Simplify (- 1) into -1 11.904 * [backup-simplify]: Simplify (- 0) into 0 11.904 * [backup-simplify]: Simplify (- 0) into 0 11.904 * [backup-simplify]: Simplify (- 0) into 0 11.904 * [backup-simplify]: Simplify (- 0) into 0 11.907 * [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 11.907 * [backup-simplify]: Simplify (- -1/120) into 1/120 11.908 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 11.908 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 11.909 * [backup-simplify]: Simplify (- (/ 1/120 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 1/120 11.909 * [backup-simplify]: Simplify 1/120 into 1/120 11.909 * [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)) 11.910 * [backup-simplify]: Simplify (* (/ 1 (sqrt (/ 1 y))) (/ (sinh (/ 1 y)) (sqrt (/ 1 y)))) into (* (sinh (/ 1 y)) y) 11.910 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in (y) around 0 11.910 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 11.910 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 11.910 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 11.910 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 11.910 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 11.910 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.910 * [taylor]: Taking taylor expansion of y in y 11.910 * [backup-simplify]: Simplify 0 into 0 11.910 * [backup-simplify]: Simplify 1 into 1 11.910 * [backup-simplify]: Simplify (/ 1 1) into 1 11.910 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 11.910 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 11.910 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 11.910 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.910 * [taylor]: Taking taylor expansion of y in y 11.910 * [backup-simplify]: Simplify 0 into 0 11.910 * [backup-simplify]: Simplify 1 into 1 11.910 * [backup-simplify]: Simplify (/ 1 1) into 1 11.911 * [backup-simplify]: Simplify (- 1) into -1 11.911 * [backup-simplify]: Simplify (exp (- (/ 1 y))) into (exp (- (/ 1 y))) 11.911 * [taylor]: Taking taylor expansion of 2 in y 11.911 * [backup-simplify]: Simplify 2 into 2 11.911 * [backup-simplify]: Simplify (- (exp (- (/ 1 y)))) into (- (exp (- (/ 1 y)))) 11.911 * [backup-simplify]: Simplify (+ (exp (/ 1 y)) (- (exp (- (/ 1 y))))) into (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 11.911 * [backup-simplify]: Simplify (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) into (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 11.911 * [taylor]: Taking taylor expansion of y in y 11.911 * [backup-simplify]: Simplify 0 into 0 11.911 * [backup-simplify]: Simplify 1 into 1 11.911 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y 11.911 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 11.911 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 11.911 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 11.911 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 11.911 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.911 * [taylor]: Taking taylor expansion of y in y 11.911 * [backup-simplify]: Simplify 0 into 0 11.911 * [backup-simplify]: Simplify 1 into 1 11.912 * [backup-simplify]: Simplify (/ 1 1) into 1 11.912 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 11.912 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 11.912 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 11.912 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.912 * [taylor]: Taking taylor expansion of y in y 11.912 * [backup-simplify]: Simplify 0 into 0 11.912 * [backup-simplify]: Simplify 1 into 1 11.912 * [backup-simplify]: Simplify (/ 1 1) into 1 11.912 * [backup-simplify]: Simplify (- 1) into -1 11.912 * [backup-simplify]: Simplify (exp (- (/ 1 y))) into (exp (- (/ 1 y))) 11.912 * [taylor]: Taking taylor expansion of 2 in y 11.912 * [backup-simplify]: Simplify 2 into 2 11.912 * [backup-simplify]: Simplify (- (exp (- (/ 1 y)))) into (- (exp (- (/ 1 y)))) 11.912 * [backup-simplify]: Simplify (+ (exp (/ 1 y)) (- (exp (- (/ 1 y))))) into (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 11.913 * [backup-simplify]: Simplify (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) into (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 11.913 * [taylor]: Taking taylor expansion of y in y 11.913 * [backup-simplify]: Simplify 0 into 0 11.913 * [backup-simplify]: Simplify 1 into 1 11.913 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) into 0 11.913 * [backup-simplify]: Simplify 0 into 0 11.913 * [backup-simplify]: Simplify (- 0) into 0 11.913 * [backup-simplify]: Simplify (+ 0 0) into 0 11.914 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)))) into 0 11.914 * [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))))) 11.914 * [backup-simplify]: Simplify (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))) into (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))) 11.915 * [backup-simplify]: Simplify (- 0) into 0 11.915 * [backup-simplify]: Simplify (+ 0 0) into 0 11.916 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.917 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 1) (* 0 0))) into 0 11.917 * [backup-simplify]: Simplify 0 into 0 11.917 * [backup-simplify]: Simplify (- 0) into 0 11.917 * [backup-simplify]: Simplify (+ 0 0) into 0 11.918 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.919 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 11.919 * [backup-simplify]: Simplify 0 into 0 11.919 * [backup-simplify]: Simplify (- 0) into 0 11.919 * [backup-simplify]: Simplify (+ 0 0) into 0 11.921 * [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 11.921 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 11.921 * [backup-simplify]: Simplify 0 into 0 11.921 * [backup-simplify]: Simplify (- 0) into 0 11.922 * [backup-simplify]: Simplify (+ 0 0) into 0 11.923 * [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 11.924 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 11.924 * [backup-simplify]: Simplify 0 into 0 11.924 * [backup-simplify]: Simplify (- 0) into 0 11.925 * [backup-simplify]: Simplify (+ 0 0) into 0 11.927 * [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 11.927 * [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 11.927 * [backup-simplify]: Simplify 0 into 0 11.928 * [backup-simplify]: Simplify (- 0) into 0 11.928 * [backup-simplify]: Simplify (+ 0 0) into 0 11.930 * [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 11.931 * [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 11.931 * [backup-simplify]: Simplify 0 into 0 11.931 * [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) 11.931 * [backup-simplify]: Simplify (* (/ 1 (sqrt (/ 1 (- y)))) (/ (sinh (/ 1 (- y))) (sqrt (/ 1 (- y))))) into (/ (sinh (/ -1 y)) (pow (sqrt (/ -1 y)) 2)) 11.931 * [approximate]: Taking taylor expansion of (/ (sinh (/ -1 y)) (pow (sqrt (/ -1 y)) 2)) in (y) around 0 11.931 * [taylor]: Taking taylor expansion of (/ (sinh (/ -1 y)) (pow (sqrt (/ -1 y)) 2)) in y 11.931 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 11.932 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 11.932 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 11.932 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 11.932 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.932 * [taylor]: Taking taylor expansion of -1 in y 11.932 * [backup-simplify]: Simplify -1 into -1 11.932 * [taylor]: Taking taylor expansion of y in y 11.932 * [backup-simplify]: Simplify 0 into 0 11.932 * [backup-simplify]: Simplify 1 into 1 11.932 * [backup-simplify]: Simplify (/ -1 1) into -1 11.932 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 11.932 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 11.932 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 11.932 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.932 * [taylor]: Taking taylor expansion of -1 in y 11.932 * [backup-simplify]: Simplify -1 into -1 11.932 * [taylor]: Taking taylor expansion of y in y 11.932 * [backup-simplify]: Simplify 0 into 0 11.932 * [backup-simplify]: Simplify 1 into 1 11.932 * [backup-simplify]: Simplify (/ -1 1) into -1 11.933 * [backup-simplify]: Simplify (- -1) into 1 11.933 * [backup-simplify]: Simplify (exp (- (/ -1 y))) into (exp (/ 1 y)) 11.933 * [taylor]: Taking taylor expansion of 2 in y 11.933 * [backup-simplify]: Simplify 2 into 2 11.933 * [backup-simplify]: Simplify (- (exp (/ 1 y))) into (- (exp (/ 1 y))) 11.933 * [backup-simplify]: Simplify (+ (exp (/ -1 y)) (- (exp (/ 1 y)))) into (- (exp (/ -1 y)) (exp (/ 1 y))) 11.933 * [backup-simplify]: Simplify (/ (- (exp (/ -1 y)) (exp (/ 1 y))) 2) into (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 11.933 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 2) in y 11.933 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 11.933 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.933 * [taylor]: Taking taylor expansion of -1 in y 11.933 * [backup-simplify]: Simplify -1 into -1 11.933 * [taylor]: Taking taylor expansion of y in y 11.933 * [backup-simplify]: Simplify 0 into 0 11.933 * [backup-simplify]: Simplify 1 into 1 11.933 * [backup-simplify]: Simplify (/ -1 1) into -1 11.934 * [backup-simplify]: Simplify (sqrt 0) into 0 11.934 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 11.935 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 11.935 * [backup-simplify]: Simplify (/ (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) +nan.0) into (* +nan.0 (- (exp (/ -1 y)) (exp (/ 1 y)))) 11.935 * [taylor]: Taking taylor expansion of (/ (sinh (/ -1 y)) (pow (sqrt (/ -1 y)) 2)) in y 11.935 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 11.935 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 11.935 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 11.935 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 11.935 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.935 * [taylor]: Taking taylor expansion of -1 in y 11.935 * [backup-simplify]: Simplify -1 into -1 11.935 * [taylor]: Taking taylor expansion of y in y 11.935 * [backup-simplify]: Simplify 0 into 0 11.935 * [backup-simplify]: Simplify 1 into 1 11.935 * [backup-simplify]: Simplify (/ -1 1) into -1 11.935 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 11.935 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 11.935 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 11.935 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.935 * [taylor]: Taking taylor expansion of -1 in y 11.935 * [backup-simplify]: Simplify -1 into -1 11.935 * [taylor]: Taking taylor expansion of y in y 11.935 * [backup-simplify]: Simplify 0 into 0 11.935 * [backup-simplify]: Simplify 1 into 1 11.936 * [backup-simplify]: Simplify (/ -1 1) into -1 11.936 * [backup-simplify]: Simplify (- -1) into 1 11.936 * [backup-simplify]: Simplify (exp (- (/ -1 y))) into (exp (/ 1 y)) 11.936 * [taylor]: Taking taylor expansion of 2 in y 11.936 * [backup-simplify]: Simplify 2 into 2 11.936 * [backup-simplify]: Simplify (- (exp (/ 1 y))) into (- (exp (/ 1 y))) 11.936 * [backup-simplify]: Simplify (+ (exp (/ -1 y)) (- (exp (/ 1 y)))) into (- (exp (/ -1 y)) (exp (/ 1 y))) 11.936 * [backup-simplify]: Simplify (/ (- (exp (/ -1 y)) (exp (/ 1 y))) 2) into (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 11.936 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 2) in y 11.936 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 11.936 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.936 * [taylor]: Taking taylor expansion of -1 in y 11.936 * [backup-simplify]: Simplify -1 into -1 11.936 * [taylor]: Taking taylor expansion of y in y 11.936 * [backup-simplify]: Simplify 0 into 0 11.936 * [backup-simplify]: Simplify 1 into 1 11.937 * [backup-simplify]: Simplify (/ -1 1) into -1 11.937 * [backup-simplify]: Simplify (sqrt 0) into 0 11.938 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 11.938 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 11.938 * [backup-simplify]: Simplify (/ (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) +nan.0) into (* +nan.0 (- (exp (/ -1 y)) (exp (/ 1 y)))) 11.938 * [backup-simplify]: Simplify (* +nan.0 (- (exp (/ -1 y)) (exp (/ 1 y)))) into (* +nan.0 (- (exp (/ -1 y)) (exp (/ 1 y)))) 11.938 * [backup-simplify]: Simplify (- 0) into 0 11.939 * [backup-simplify]: Simplify (+ 0 0) into 0 11.939 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)))) into 0 11.940 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 11.942 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 11.942 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0)) into (- +nan.0) 11.946 * [backup-simplify]: Simplify (- (/ 0 +nan.0) (+ (* (* +nan.0 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ (- +nan.0) +nan.0)))) into (- (+ (* +nan.0 (exp (/ 1 y))) (- (* +nan.0 (exp (/ -1 y)))))) 11.946 * [backup-simplify]: Simplify (- (+ (* +nan.0 (exp (/ 1 y))) (- (* +nan.0 (exp (/ -1 y)))))) into (- (+ (* +nan.0 (exp (/ 1 y))) (- (* +nan.0 (exp (/ -1 y)))))) 11.946 * [backup-simplify]: Simplify (- 0) into 0 11.946 * [backup-simplify]: Simplify (+ 0 0) into 0 11.947 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.948 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.950 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 11.951 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0))) into (- +nan.0) 11.953 * [backup-simplify]: Simplify (- (/ 0 +nan.0) (+ (* (* +nan.0 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ (- +nan.0) +nan.0)) (* (- (+ (* +nan.0 (exp (/ 1 y))) (- (* +nan.0 (exp (/ -1 y)))))) (/ (- +nan.0) +nan.0)))) into (- (+ (* +nan.0 (exp (/ 1 y))) (- (* +nan.0 (exp (/ -1 y)))))) 11.953 * [backup-simplify]: Simplify (- (+ (* +nan.0 (exp (/ 1 y))) (- (* +nan.0 (exp (/ -1 y)))))) into (- (+ (* +nan.0 (exp (/ 1 y))) (- (* +nan.0 (exp (/ -1 y)))))) 11.953 * [backup-simplify]: Simplify (+ (* (- (+ (* +nan.0 (exp (/ 1 (/ 1 (- y))))) (- (* +nan.0 (exp (/ -1 (/ 1 (- y)))))))) (pow (/ 1 (- y)) 2)) (+ (* (- (+ (* +nan.0 (exp (/ 1 (/ 1 (- y))))) (- (* +nan.0 (exp (/ -1 (/ 1 (- y)))))))) (/ 1 (- y))) (* +nan.0 (- (exp (/ -1 (/ 1 (- y)))) (exp (/ 1 (/ 1 (- y)))))))) into (- (+ (* +nan.0 (/ (exp (* -1 y)) y)) (- (+ (* +nan.0 (/ (exp y) (pow y 2))) (- (+ (* +nan.0 (/ (exp (* -1 y)) (pow y 2))) (- (+ (* +nan.0 (/ (exp y) y)) (- (+ (* +nan.0 (exp y)) (- (* +nan.0 (exp (* -1 y)))))))))))))) 11.954 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 11.954 * [backup-simplify]: Simplify (sinh y) into (sinh y) 11.954 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0 11.954 * [taylor]: Taking taylor expansion of (sinh y) in y 11.954 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 11.954 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 11.954 * [taylor]: Taking taylor expansion of (exp y) in y 11.954 * [taylor]: Taking taylor expansion of y in y 11.954 * [backup-simplify]: Simplify 0 into 0 11.954 * [backup-simplify]: Simplify 1 into 1 11.954 * [backup-simplify]: Simplify (exp 0) into 1 11.954 * [taylor]: Taking taylor expansion of (exp (- y)) in y 11.954 * [taylor]: Taking taylor expansion of (- y) in y 11.954 * [taylor]: Taking taylor expansion of y in y 11.954 * [backup-simplify]: Simplify 0 into 0 11.954 * [backup-simplify]: Simplify 1 into 1 11.954 * [backup-simplify]: Simplify (- 0) into 0 11.954 * [backup-simplify]: Simplify (- 1) into -1 11.954 * [backup-simplify]: Simplify (exp 0) into 1 11.954 * [taylor]: Taking taylor expansion of 2 in y 11.954 * [backup-simplify]: Simplify 2 into 2 11.955 * [backup-simplify]: Simplify (- 1) into -1 11.955 * [backup-simplify]: Simplify (+ 1 -1) into 0 11.955 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 11.956 * [backup-simplify]: Simplify (- 1) into -1 11.956 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 11.956 * [backup-simplify]: Simplify (- -1) into 1 11.957 * [backup-simplify]: Simplify (+ 1 1) into 2 11.957 * [backup-simplify]: Simplify (/ 2 2) into 1 11.957 * [taylor]: Taking taylor expansion of (sinh y) in y 11.957 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2) 11.957 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y 11.957 * [taylor]: Taking taylor expansion of (exp y) in y 11.957 * [taylor]: Taking taylor expansion of y in y 11.957 * [backup-simplify]: Simplify 0 into 0 11.957 * [backup-simplify]: Simplify 1 into 1 11.957 * [backup-simplify]: Simplify (exp 0) into 1 11.957 * [taylor]: Taking taylor expansion of (exp (- y)) in y 11.957 * [taylor]: Taking taylor expansion of (- y) in y 11.957 * [taylor]: Taking taylor expansion of y in y 11.957 * [backup-simplify]: Simplify 0 into 0 11.957 * [backup-simplify]: Simplify 1 into 1 11.957 * [backup-simplify]: Simplify (- 0) into 0 11.958 * [backup-simplify]: Simplify (- 1) into -1 11.958 * [backup-simplify]: Simplify (exp 0) into 1 11.958 * [taylor]: Taking taylor expansion of 2 in y 11.958 * [backup-simplify]: Simplify 2 into 2 11.958 * [backup-simplify]: Simplify (- 1) into -1 11.958 * [backup-simplify]: Simplify (+ 1 -1) into 0 11.959 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 11.959 * [backup-simplify]: Simplify (- 1) into -1 11.960 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 11.960 * [backup-simplify]: Simplify (- -1) into 1 11.960 * [backup-simplify]: Simplify (+ 1 1) into 2 11.960 * [backup-simplify]: Simplify (/ 2 2) into 1 11.960 * [backup-simplify]: Simplify 1 into 1 11.961 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 11.961 * [backup-simplify]: Simplify (- 1) into -1 11.962 * [backup-simplify]: Simplify (- 0) into 0 11.962 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 11.963 * [backup-simplify]: Simplify (- 1/2) into -1/2 11.963 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 11.963 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 11.963 * [backup-simplify]: Simplify 0 into 0 11.965 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 11.965 * [backup-simplify]: Simplify (- 1) into -1 11.965 * [backup-simplify]: Simplify (- 1) into -1 11.965 * [backup-simplify]: Simplify (- 0) into 0 11.965 * [backup-simplify]: Simplify (- 0) into 0 11.967 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 11.967 * [backup-simplify]: Simplify (- -1/6) into 1/6 11.967 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 11.968 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 11.968 * [backup-simplify]: Simplify 1/6 into 1/6 11.970 * [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 11.970 * [backup-simplify]: Simplify (- 1) into -1 11.970 * [backup-simplify]: Simplify (- 1) into -1 11.971 * [backup-simplify]: Simplify (- 0) into 0 11.971 * [backup-simplify]: Simplify (- 1) into -1 11.971 * [backup-simplify]: Simplify (- 0) into 0 11.971 * [backup-simplify]: Simplify (- 0) into 0 11.971 * [backup-simplify]: Simplify (- 0) into 0 11.973 * [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 11.974 * [backup-simplify]: Simplify (- 1/24) into -1/24 11.974 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 11.975 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 11.975 * [backup-simplify]: Simplify 0 into 0 11.978 * [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 11.978 * [backup-simplify]: Simplify (- 1) into -1 11.978 * [backup-simplify]: Simplify (- 1) into -1 11.979 * [backup-simplify]: Simplify (- 0) into 0 11.979 * [backup-simplify]: Simplify (- 1) into -1 11.979 * [backup-simplify]: Simplify (- 0) into 0 11.979 * [backup-simplify]: Simplify (- 1) into -1 11.979 * [backup-simplify]: Simplify (- 0) into 0 11.980 * [backup-simplify]: Simplify (- 1) into -1 11.980 * [backup-simplify]: Simplify (- 0) into 0 11.980 * [backup-simplify]: Simplify (- 0) into 0 11.980 * [backup-simplify]: Simplify (- 0) into 0 11.980 * [backup-simplify]: Simplify (- 0) into 0 11.983 * [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 11.984 * [backup-simplify]: Simplify (- -1/120) into 1/120 11.984 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 11.985 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 11.985 * [backup-simplify]: Simplify 1/120 into 1/120 11.985 * [backup-simplify]: Simplify (+ (* 1/120 (pow y 5)) (+ (* 1/6 (pow y 3)) (* 1 y))) into (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y)) 11.985 * [backup-simplify]: Simplify (sinh (/ 1 y)) into (sinh (/ 1 y)) 11.985 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0 11.985 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 11.986 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 11.986 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 11.986 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 11.986 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.986 * [taylor]: Taking taylor expansion of y in y 11.986 * [backup-simplify]: Simplify 0 into 0 11.986 * [backup-simplify]: Simplify 1 into 1 11.986 * [backup-simplify]: Simplify (/ 1 1) into 1 11.986 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 11.986 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 11.986 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 11.986 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.986 * [taylor]: Taking taylor expansion of y in y 11.986 * [backup-simplify]: Simplify 0 into 0 11.986 * [backup-simplify]: Simplify 1 into 1 11.986 * [backup-simplify]: Simplify (/ 1 1) into 1 11.987 * [backup-simplify]: Simplify (- 1) into -1 11.987 * [backup-simplify]: Simplify (exp (- (/ 1 y))) into (exp (- (/ 1 y))) 11.987 * [taylor]: Taking taylor expansion of 2 in y 11.987 * [backup-simplify]: Simplify 2 into 2 11.987 * [backup-simplify]: Simplify (- (exp (- (/ 1 y)))) into (- (exp (- (/ 1 y)))) 11.987 * [backup-simplify]: Simplify (+ (exp (/ 1 y)) (- (exp (- (/ 1 y))))) into (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 11.987 * [backup-simplify]: Simplify (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) into (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 11.987 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y 11.987 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) 11.987 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y 11.987 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 11.987 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.987 * [taylor]: Taking taylor expansion of y in y 11.987 * [backup-simplify]: Simplify 0 into 0 11.987 * [backup-simplify]: Simplify 1 into 1 11.987 * [backup-simplify]: Simplify (/ 1 1) into 1 11.987 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y)) 11.987 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 11.987 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 11.988 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.988 * [taylor]: Taking taylor expansion of y in y 11.988 * [backup-simplify]: Simplify 0 into 0 11.988 * [backup-simplify]: Simplify 1 into 1 11.988 * [backup-simplify]: Simplify (/ 1 1) into 1 11.988 * [backup-simplify]: Simplify (- 1) into -1 11.988 * [backup-simplify]: Simplify (exp (- (/ 1 y))) into (exp (- (/ 1 y))) 11.988 * [taylor]: Taking taylor expansion of 2 in y 11.988 * [backup-simplify]: Simplify 2 into 2 11.988 * [backup-simplify]: Simplify (- (exp (- (/ 1 y)))) into (- (exp (- (/ 1 y)))) 11.988 * [backup-simplify]: Simplify (+ (exp (/ 1 y)) (- (exp (- (/ 1 y))))) into (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 11.988 * [backup-simplify]: Simplify (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) into (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 11.989 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) into (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 11.989 * [backup-simplify]: Simplify (- 0) into 0 11.989 * [backup-simplify]: Simplify (+ 0 0) into 0 11.990 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)))) into 0 11.990 * [backup-simplify]: Simplify 0 into 0 11.990 * [backup-simplify]: Simplify (- 0) into 0 11.990 * [backup-simplify]: Simplify (+ 0 0) into 0 11.991 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.991 * [backup-simplify]: Simplify 0 into 0 11.991 * [backup-simplify]: Simplify (- 0) into 0 11.991 * [backup-simplify]: Simplify (+ 0 0) into 0 11.992 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.992 * [backup-simplify]: Simplify 0 into 0 11.993 * [backup-simplify]: Simplify (- 0) into 0 11.993 * [backup-simplify]: Simplify (+ 0 0) into 0 11.994 * [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 11.994 * [backup-simplify]: Simplify 0 into 0 11.995 * [backup-simplify]: Simplify (- 0) into 0 11.995 * [backup-simplify]: Simplify (+ 0 0) into 0 11.996 * [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 11.996 * [backup-simplify]: Simplify 0 into 0 11.997 * [backup-simplify]: Simplify (- 0) into 0 11.997 * [backup-simplify]: Simplify (+ 0 0) into 0 11.999 * [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 11.999 * [backup-simplify]: Simplify 0 into 0 11.999 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 y))) (exp (- (/ 1 (/ 1 y)))))) into (* 1/2 (- (exp y) (exp (- y)))) 11.999 * [backup-simplify]: Simplify (sinh (/ 1 (- y))) into (sinh (/ -1 y)) 11.999 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0 11.999 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 11.999 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 11.999 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 11.999 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 11.999 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.999 * [taylor]: Taking taylor expansion of -1 in y 11.999 * [backup-simplify]: Simplify -1 into -1 11.999 * [taylor]: Taking taylor expansion of y in y 11.999 * [backup-simplify]: Simplify 0 into 0 11.999 * [backup-simplify]: Simplify 1 into 1 12.000 * [backup-simplify]: Simplify (/ -1 1) into -1 12.000 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 12.000 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 12.000 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 12.000 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.000 * [taylor]: Taking taylor expansion of -1 in y 12.000 * [backup-simplify]: Simplify -1 into -1 12.000 * [taylor]: Taking taylor expansion of y in y 12.000 * [backup-simplify]: Simplify 0 into 0 12.000 * [backup-simplify]: Simplify 1 into 1 12.000 * [backup-simplify]: Simplify (/ -1 1) into -1 12.000 * [backup-simplify]: Simplify (- -1) into 1 12.000 * [backup-simplify]: Simplify (exp (- (/ -1 y))) into (exp (/ 1 y)) 12.000 * [taylor]: Taking taylor expansion of 2 in y 12.000 * [backup-simplify]: Simplify 2 into 2 12.000 * [backup-simplify]: Simplify (- (exp (/ 1 y))) into (- (exp (/ 1 y))) 12.001 * [backup-simplify]: Simplify (+ (exp (/ -1 y)) (- (exp (/ 1 y)))) into (- (exp (/ -1 y)) (exp (/ 1 y))) 12.001 * [backup-simplify]: Simplify (/ (- (exp (/ -1 y)) (exp (/ 1 y))) 2) into (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 12.001 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y 12.001 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2) 12.001 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y 12.001 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 12.001 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.001 * [taylor]: Taking taylor expansion of -1 in y 12.001 * [backup-simplify]: Simplify -1 into -1 12.001 * [taylor]: Taking taylor expansion of y in y 12.001 * [backup-simplify]: Simplify 0 into 0 12.001 * [backup-simplify]: Simplify 1 into 1 12.001 * [backup-simplify]: Simplify (/ -1 1) into -1 12.001 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y)) 12.001 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y 12.001 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y 12.001 * [taylor]: Taking taylor expansion of (/ -1 y) in y 12.001 * [taylor]: Taking taylor expansion of -1 in y 12.001 * [backup-simplify]: Simplify -1 into -1 12.001 * [taylor]: Taking taylor expansion of y in y 12.001 * [backup-simplify]: Simplify 0 into 0 12.001 * [backup-simplify]: Simplify 1 into 1 12.002 * [backup-simplify]: Simplify (/ -1 1) into -1 12.002 * [backup-simplify]: Simplify (- -1) into 1 12.002 * [backup-simplify]: Simplify (exp (- (/ -1 y))) into (exp (/ 1 y)) 12.002 * [taylor]: Taking taylor expansion of 2 in y 12.002 * [backup-simplify]: Simplify 2 into 2 12.002 * [backup-simplify]: Simplify (- (exp (/ 1 y))) into (- (exp (/ 1 y))) 12.002 * [backup-simplify]: Simplify (+ (exp (/ -1 y)) (- (exp (/ 1 y)))) into (- (exp (/ -1 y)) (exp (/ 1 y))) 12.002 * [backup-simplify]: Simplify (/ (- (exp (/ -1 y)) (exp (/ 1 y))) 2) into (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 12.002 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) into (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 12.002 * [backup-simplify]: Simplify (- 0) into 0 12.003 * [backup-simplify]: Simplify (+ 0 0) into 0 12.003 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)))) into 0 12.003 * [backup-simplify]: Simplify 0 into 0 12.003 * [backup-simplify]: Simplify (- 0) into 0 12.004 * [backup-simplify]: Simplify (+ 0 0) into 0 12.005 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.005 * [backup-simplify]: Simplify 0 into 0 12.005 * [backup-simplify]: Simplify (- 0) into 0 12.005 * [backup-simplify]: Simplify (+ 0 0) into 0 12.006 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.006 * [backup-simplify]: Simplify 0 into 0 12.006 * [backup-simplify]: Simplify (- 0) into 0 12.007 * [backup-simplify]: Simplify (+ 0 0) into 0 12.008 * [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 12.008 * [backup-simplify]: Simplify 0 into 0 12.008 * [backup-simplify]: Simplify (- 0) into 0 12.008 * [backup-simplify]: Simplify (+ 0 0) into 0 12.010 * [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 12.010 * [backup-simplify]: Simplify 0 into 0 12.010 * [backup-simplify]: Simplify (- 0) into 0 12.011 * [backup-simplify]: Simplify (+ 0 0) into 0 12.012 * [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 12.012 * [backup-simplify]: Simplify 0 into 0 12.013 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- y)))) (exp (/ 1 (/ 1 (- y)))))) into (* 1/2 (- (exp y) (exp (* -1 y)))) 12.013 * * * [progress]: simplifying candidates 12.015 * [simplify]: Simplifying: (expm1 (/ (sinh y) (sqrt y))) (log1p (/ (sinh y) (sqrt y))) (- (log (sinh y)) (log (sqrt y))) (log (/ (sinh y) (sqrt y))) (exp (/ (sinh y) (sqrt y))) (/ (* (* (sinh y) (sinh y)) (sinh y)) (* (* (sqrt y) (sqrt y)) (sqrt y))) (* (cbrt (/ (sinh y) (sqrt y))) (cbrt (/ (sinh y) (sqrt y)))) (cbrt (/ (sinh y) (sqrt y))) (* (* (/ (sinh y) (sqrt y)) (/ (sinh y) (sqrt y))) (/ (sinh y) (sqrt y))) (sqrt (/ (sinh y) (sqrt y))) (sqrt (/ (sinh y) (sqrt y))) (- (sinh y)) (- (sqrt y)) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (cbrt (sinh y)) (cbrt (sqrt y))) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt (* (cbrt y) (cbrt y)))) (/ (cbrt (sinh y)) (sqrt (cbrt y))) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt (sqrt y))) (/ (cbrt (sinh y)) (sqrt (sqrt y))) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt 1)) (/ (cbrt (sinh y)) (sqrt y)) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt (sqrt y))) (/ (cbrt (sinh y)) (sqrt (sqrt y))) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1) (/ (cbrt (sinh y)) (sqrt y)) (/ (sqrt (sinh y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (sqrt (sinh y)) (cbrt (sqrt y))) (/ (sqrt (sinh y)) (sqrt (* (cbrt y) (cbrt y)))) (/ (sqrt (sinh y)) (sqrt (cbrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y))) (/ (sqrt (sinh y)) (sqrt 1)) (/ (sqrt (sinh y)) (sqrt y)) (/ (sqrt (sinh y)) (sqrt (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y))) (/ (sqrt (sinh y)) 1) (/ (sqrt (sinh y)) (sqrt y)) (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (sinh y) (cbrt (sqrt y))) (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (/ (sinh y) (sqrt (cbrt y))) (/ 1 (sqrt (sqrt y))) (/ (sinh y) (sqrt (sqrt y))) (/ 1 (sqrt 1)) (/ (sinh y) (sqrt y)) (/ 1 (sqrt (sqrt y))) (/ (sinh y) (sqrt (sqrt y))) (/ 1 1) (/ (sinh y) (sqrt y)) (/ 1 (sqrt y)) (/ (sqrt y) (sinh y)) (/ (sinh y) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (sinh y) (sqrt (* (cbrt y) (cbrt y)))) (/ (sinh y) (sqrt (sqrt y))) (/ (sinh y) (sqrt 1)) (/ (sinh y) (sqrt (sqrt y))) (/ (sinh y) 1) (/ (sqrt y) (cbrt (sinh y))) (/ (sqrt y) (sqrt (sinh y))) (/ (sqrt y) (sinh y)) (* (sqrt y) 2) (expm1 (/ 1 (sqrt y))) (log1p (/ 1 (sqrt y))) (- 1/2) (- 1) (- (/ 1 2)) (- (log (sqrt y))) (- 0 (log (sqrt y))) (- (log 1) (log (sqrt y))) (log (/ 1 (sqrt y))) (exp (/ 1 (sqrt y))) (/ (* (* 1 1) 1) (* (* (sqrt y) (sqrt y)) (sqrt y))) (* (cbrt (/ 1 (sqrt y))) (cbrt (/ 1 (sqrt y)))) (cbrt (/ 1 (sqrt y))) (* (* (/ 1 (sqrt y)) (/ 1 (sqrt y))) (/ 1 (sqrt y))) (sqrt (/ 1 (sqrt y))) (sqrt (/ 1 (sqrt y))) (- 1) (- (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (cbrt 1) (cbrt (sqrt y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (sqrt (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt y))) (/ (cbrt 1) (sqrt (sqrt y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)) (/ (cbrt 1) (sqrt y)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt y))) (/ (cbrt 1) (sqrt (sqrt y))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (sqrt y)) (/ (sqrt 1) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (sqrt 1) (cbrt (sqrt y))) (/ (sqrt 1) (sqrt (* (cbrt y) (cbrt y)))) (/ (sqrt 1) (sqrt (cbrt y))) (/ (sqrt 1) (sqrt (sqrt y))) (/ (sqrt 1) (sqrt (sqrt y))) (/ (sqrt 1) (sqrt 1)) (/ (sqrt 1) (sqrt y)) (/ (sqrt 1) (sqrt (sqrt y))) (/ (sqrt 1) (sqrt (sqrt y))) (/ (sqrt 1) 1) (/ (sqrt 1) (sqrt y)) (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ 1 (cbrt (sqrt y))) (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (/ 1 (sqrt (cbrt y))) (/ 1 (sqrt (sqrt y))) (/ 1 (sqrt (sqrt y))) (/ 1 (sqrt 1)) (/ 1 (sqrt y)) (/ 1 (sqrt (sqrt y))) (/ 1 (sqrt (sqrt y))) (/ 1 1) (/ 1 (sqrt y)) (/ 1 (sqrt y)) (/ (sqrt y) 1) (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ 1 (sqrt (* (cbrt y) (cbrt y)))) (/ 1 (sqrt (sqrt y))) (/ 1 (sqrt 1)) (/ 1 (sqrt (sqrt y))) (/ 1 1) (/ (sqrt y) (cbrt 1)) (/ (sqrt y) (sqrt 1)) (/ (sqrt y) 1) (expm1 (* (/ 1 (sqrt y)) (/ (sinh y) (sqrt y)))) (log1p (* (/ 1 (sqrt y)) (/ (sinh y) (sqrt y)))) (* (/ 1 (sqrt y)) (/ (sinh y) (sqrt y))) (+ (- (log (sqrt y))) (- (log (sinh y)) (log (sqrt y)))) (+ (- (log (sqrt y))) (log (/ (sinh y) (sqrt y)))) (+ (- 0 (log (sqrt y))) (- (log (sinh y)) (log (sqrt y)))) (+ (- 0 (log (sqrt y))) (log (/ (sinh y) (sqrt y)))) (+ (- (log 1) (log (sqrt y))) (- (log (sinh y)) (log (sqrt y)))) (+ (- (log 1) (log (sqrt y))) (log (/ (sinh y) (sqrt y)))) (+ (log (/ 1 (sqrt y))) (- (log (sinh y)) (log (sqrt y)))) (+ (log (/ 1 (sqrt y))) (log (/ (sinh y) (sqrt y)))) (log (* (/ 1 (sqrt y)) (/ (sinh y) (sqrt y)))) (exp (* (/ 1 (sqrt y)) (/ (sinh y) (sqrt y)))) (* (/ (* (* 1 1) 1) (* (* (sqrt y) (sqrt y)) (sqrt y))) (/ (* (* (sinh y) (sinh y)) (sinh y)) (* (* (sqrt y) (sqrt y)) (sqrt y)))) (* (/ (* (* 1 1) 1) (* (* (sqrt y) (sqrt y)) (sqrt y))) (* (* (/ (sinh y) (sqrt y)) (/ (sinh y) (sqrt y))) (/ (sinh y) (sqrt y)))) (* (* (* (/ 1 (sqrt y)) (/ 1 (sqrt y))) (/ 1 (sqrt y))) (/ (* (* (sinh y) (sinh y)) (sinh y)) (* (* (sqrt y) (sqrt y)) (sqrt y)))) (* (* (* (/ 1 (sqrt y)) (/ 1 (sqrt y))) (/ 1 (sqrt y))) (* (* (/ (sinh y) (sqrt y)) (/ (sinh y) (sqrt y))) (/ (sinh y) (sqrt y)))) (* (cbrt (* (/ 1 (sqrt y)) (/ (sinh y) (sqrt y)))) (cbrt (* (/ 1 (sqrt y)) (/ (sinh y) (sqrt y))))) (cbrt (* (/ 1 (sqrt y)) (/ (sinh y) (sqrt y)))) (* (* (* (/ 1 (sqrt y)) (/ (sinh y) (sqrt y))) (* (/ 1 (sqrt y)) (/ (sinh y) (sqrt y)))) (* (/ 1 (sqrt y)) (/ (sinh y) (sqrt y)))) (sqrt (* (/ 1 (sqrt y)) (/ (sinh y) (sqrt y)))) (sqrt (* (/ 1 (sqrt y)) (/ (sinh y) (sqrt y)))) (* 1 (sinh y)) (* (sqrt y) (sqrt y)) (* (sqrt (/ 1 (sqrt y))) (sqrt (/ (sinh y) (sqrt y)))) (* (sqrt (/ 1 (sqrt y))) (sqrt (/ (sinh y) (sqrt y)))) (* (sqrt (/ 1 (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (* (sqrt (/ 1 (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (* (sqrt (/ 1 (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (* (sqrt (/ 1 (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (* (/ (sqrt 1) (sqrt (sqrt y))) (sqrt (/ (sinh y) (sqrt y)))) (* (/ (sqrt 1) (sqrt (sqrt y))) (sqrt (/ (sinh y) (sqrt y)))) (* (/ (sqrt 1) (sqrt (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (* (/ (sqrt 1) (sqrt (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (* (/ (sqrt 1) (sqrt (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (* (/ (sqrt 1) (sqrt (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (* (/ (sqrt 1) (sqrt (sqrt y))) (sqrt (/ (sinh y) (sqrt y)))) (* (/ (sqrt 1) (sqrt (sqrt y))) (sqrt (/ (sinh y) (sqrt y)))) (* (/ (sqrt 1) (sqrt (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (* (/ (sqrt 1) (sqrt (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (* (/ (sqrt 1) (sqrt (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (* (/ (sqrt 1) (sqrt (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (* (/ 1 (sqrt (sqrt y))) (sqrt (/ (sinh y) (sqrt y)))) (* (/ 1 (sqrt (sqrt y))) (sqrt (/ (sinh y) (sqrt y)))) (* (/ 1 (sqrt (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (* (/ 1 (sqrt (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (* (/ 1 (sqrt (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (* (/ 1 (sqrt (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (* (/ 1 (sqrt (sqrt y))) (sqrt (/ (sinh y) (sqrt y)))) (* (/ 1 (sqrt (sqrt y))) (sqrt (/ (sinh y) (sqrt y)))) (* (/ 1 (sqrt (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (* (/ 1 (sqrt (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (* (/ 1 (sqrt (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (* (/ 1 (sqrt (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (* (/ 1 (sqrt y)) (* (cbrt (/ (sinh y) (sqrt y))) (cbrt (/ (sinh y) (sqrt y))))) (* (/ 1 (sqrt y)) (sqrt (/ (sinh y) (sqrt y)))) (* (/ 1 (sqrt y)) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (* (/ 1 (sqrt y)) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt (* (cbrt y) (cbrt y))))) (* (/ 1 (sqrt y)) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt (sqrt y)))) (* (/ 1 (sqrt y)) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt 1))) (* (/ 1 (sqrt y)) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt (sqrt y)))) (* (/ 1 (sqrt y)) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1)) (* (/ 1 (sqrt y)) (/ (sqrt (sinh y)) (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (* (/ 1 (sqrt y)) (/ (sqrt (sinh y)) (sqrt (* (cbrt y) (cbrt y))))) (* (/ 1 (sqrt y)) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (* (/ 1 (sqrt y)) (/ (sqrt (sinh y)) (sqrt 1))) (* (/ 1 (sqrt y)) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (* (/ 1 (sqrt y)) (/ (sqrt (sinh y)) 1)) (* (/ 1 (sqrt y)) (/ 1 (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (* (/ 1 (sqrt y)) (/ 1 (sqrt (* (cbrt y) (cbrt y))))) (* (/ 1 (sqrt y)) (/ 1 (sqrt (sqrt y)))) (* (/ 1 (sqrt y)) (/ 1 (sqrt 1))) (* (/ 1 (sqrt y)) (/ 1 (sqrt (sqrt y)))) (* (/ 1 (sqrt y)) (/ 1 1)) (* (/ 1 (sqrt y)) 1) (* (/ 1 (sqrt y)) (sinh y)) (* (cbrt (/ 1 (sqrt y))) (/ (sinh y) (sqrt y))) (* (sqrt (/ 1 (sqrt y))) (/ (sinh y) (sqrt y))) (* (/ (cbrt 1) (cbrt (sqrt y))) (/ (sinh y) (sqrt y))) (* (/ (cbrt 1) (sqrt (cbrt y))) (/ (sinh y) (sqrt y))) (* (/ (cbrt 1) (sqrt (sqrt y))) (/ (sinh y) (sqrt y))) (* (/ (cbrt 1) (sqrt y)) (/ (sinh y) (sqrt y))) (* (/ (cbrt 1) (sqrt (sqrt y))) (/ (sinh y) (sqrt y))) (* (/ (cbrt 1) (sqrt y)) (/ (sinh y) (sqrt y))) (* (/ (sqrt 1) (cbrt (sqrt y))) (/ (sinh y) (sqrt y))) (* (/ (sqrt 1) (sqrt (cbrt y))) (/ (sinh y) (sqrt y))) (* (/ (sqrt 1) (sqrt (sqrt y))) (/ (sinh y) (sqrt y))) (* (/ (sqrt 1) (sqrt y)) (/ (sinh y) (sqrt y))) (* (/ (sqrt 1) (sqrt (sqrt y))) (/ (sinh y) (sqrt y))) (* (/ (sqrt 1) (sqrt y)) (/ (sinh y) (sqrt y))) (* (/ 1 (cbrt (sqrt y))) (/ (sinh y) (sqrt y))) (* (/ 1 (sqrt (cbrt y))) (/ (sinh y) (sqrt y))) (* (/ 1 (sqrt (sqrt y))) (/ (sinh y) (sqrt y))) (* (/ 1 (sqrt y)) (/ (sinh y) (sqrt y))) (* (/ 1 (sqrt (sqrt y))) (/ (sinh y) (sqrt y))) (* (/ 1 (sqrt y)) (/ (sinh y) (sqrt y))) (* (/ 1 (sqrt y)) (/ (sinh y) (sqrt y))) (* (/ 1 (sqrt y)) (/ (sinh y) (sqrt y))) (* (/ 1 (sqrt y)) (sinh y)) (* 1 (/ (sinh y) (sqrt y))) (expm1 (sinh y)) (log1p (sinh y)) (- (exp y) (exp (- y))) (log (sinh y)) (exp (sinh y)) (* (cbrt (sinh y)) (cbrt (sinh y))) (cbrt (sinh y)) (* (* (sinh y) (sinh y)) (sinh y)) (sqrt (sinh y)) (sqrt (sinh y)) (- (+ (* +nan.0 (pow y 3)) (- (+ (* +nan.0 (pow y 2)) (- (* +nan.0 y)))))) (- (+ (* +nan.0 (/ (exp y) (pow y 2))) (- (+ (* +nan.0 (/ (exp y) (pow y 3))) (- (+ (* +nan.0 (/ (exp (- y)) (pow y 2))) (- (+ (* +nan.0 (/ (exp (- y)) y)) (- (+ (* +nan.0 (/ (exp (- y)) (pow y 3))) (- (* +nan.0 (/ (exp y) y))))))))))))) (- (+ (* +nan.0 (/ (exp (* -1 y)) y)) (- (+ (* +nan.0 (/ (exp y) (pow y 2))) (- (+ (* +nan.0 (/ (exp (* -1 y)) (pow y 2))) (- (+ (* +nan.0 (/ (exp y) y)) (- (+ (* +nan.0 (exp y)) (- (* +nan.0 (exp (* -1 y)))))))))))))) (- (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (* +nan.0 (/ 1 (pow y 2)))))))) (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) (+ (* 1/6 (pow y 2)) (+ (* 1/120 (pow y 4)) 1)) (/ (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) y) (- (+ (* +nan.0 (/ (exp (* -1 y)) y)) (- (+ (* +nan.0 (/ (exp y) (pow y 2))) (- (+ (* +nan.0 (/ (exp (* -1 y)) (pow y 2))) (- (+ (* +nan.0 (/ (exp y) y)) (- (+ (* +nan.0 (exp y)) (- (* +nan.0 (exp (* -1 y)))))))))))))) (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y)) (* 1/2 (- (exp y) (exp (- y)))) (* 1/2 (- (exp y) (exp (* -1 y)))) 12.019 * * [simplify]: Extracting # 0 : cost 0 12.019 * * [simplify]: Extracting # 1 : cost 0 12.019 * * [simplify]: Extracting # 2 : cost 0 12.020 * * [simplify]: Extracting # 3 : cost 0 12.020 * * [simplify]: Extracting # 4 : cost 0 12.020 * * [simplify]: Extracting # 5 : cost 0 12.021 * * [simplify]: Extracting # 6 : cost 0 12.021 * * [simplify]: Extracting # 7 : cost 0 12.021 * * [simplify]: Extracting # 8 : cost 0 12.021 * * [simplify]: Extracting # 9 : cost 0 12.022 * * [simplify]: Extracting # 10 : cost 0 12.022 * * [simplify]: Extracting # 11 : cost 0 12.022 * * [simplify]: Extracting # 12 : cost 0 12.026 * * [simplify]: Extracting # 13 : cost 0 12.027 * * [simplify]: Extracting # 14 : cost 0 12.027 * * [simplify]: Extracting # 15 : cost 0 12.027 * * [simplify]: Extracting # 16 : cost 0 12.027 * * [simplify]: Extracting # 17 : cost 0 12.028 * * [simplify]: Extracting # 18 : cost 0 12.028 * * [simplify]: Extracting # 19 : cost 0 12.029 * * [simplify]: iteration 0 : 281 enodes (cost 2470 ) 12.108 * * [simplify]: Extracting # 0 : cost 0 12.109 * * [simplify]: Extracting # 1 : cost 0 12.110 * * [simplify]: Extracting # 2 : cost 0 12.111 * * [simplify]: Extracting # 3 : cost 0 12.111 * * [simplify]: Extracting # 4 : cost 0 12.112 * * [simplify]: iteration 1 : 702 enodes (cost 2097 ) 12.384 * * [simplify]: Extracting # 0 : cost 0 12.386 * * [simplify]: Extracting # 1 : cost 0 12.388 * * [simplify]: Extracting # 2 : cost 0 12.390 * * [simplify]: Extracting # 3 : cost 0 12.392 * * [simplify]: Extracting # 4 : cost 0 12.397 * * [simplify]: iteration 2 : 2038 enodes (cost 1787 ) 13.377 * * [simplify]: Extracting # 0 : cost 0 13.388 * * [simplify]: Extracting # 1 : cost 0 13.394 * * [simplify]: Extracting # 2 : cost 0 13.399 * * [simplify]: Extracting # 3 : cost 0 13.404 * * [simplify]: Extracting # 4 : cost 0 13.409 * * [simplify]: iteration done: 5000 enodes (cost 1747 ) 13.410 * [simplify]: Simplified to: (expm1 (/ (sinh y) (sqrt y))) (log1p (/ (sinh y) (sqrt y))) (log (/ (sinh y) (sqrt y))) (log (/ (sinh y) (sqrt y))) (exp (/ (sinh y) (sqrt y))) (pow (/ (sinh y) (sqrt y)) 3) (* (cbrt (/ (sinh y) (sqrt y))) (cbrt (/ (sinh y) (sqrt y)))) (cbrt (/ (sinh y) (sqrt y))) (pow (/ (sinh y) (sqrt y)) 3) (sqrt (/ (sinh y) (sqrt y))) (sqrt (/ (sinh y) (sqrt y))) (- (sinh y)) (- (sqrt y)) (/ (cbrt (sinh y)) (/ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (cbrt (sinh y)))) (/ (cbrt (sinh y)) (cbrt (sqrt y))) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (fabs (cbrt y))) (/ (cbrt (sinh y)) (sqrt (cbrt y))) (* (/ (cbrt (sinh y)) (sqrt (sqrt y))) (cbrt (sinh y))) (/ (cbrt (sinh y)) (sqrt (sqrt y))) (* (cbrt (sinh y)) (cbrt (sinh y))) (/ (cbrt (sinh y)) (sqrt y)) (* (/ (cbrt (sinh y)) (sqrt (sqrt y))) (cbrt (sinh y))) (/ (cbrt (sinh y)) (sqrt (sqrt y))) (* (cbrt (sinh y)) (cbrt (sinh y))) (/ (cbrt (sinh y)) (sqrt y)) (/ (sqrt (sinh y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (sqrt (sinh y)) (cbrt (sqrt y))) (/ (sqrt (sinh y)) (fabs (cbrt y))) (/ (sqrt (sinh y)) (sqrt (cbrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y))) (sqrt (sinh y)) (/ (sqrt (sinh y)) (sqrt y)) (/ (sqrt (sinh y)) (sqrt (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y))) (sqrt (sinh y)) (/ (sqrt (sinh y)) (sqrt y)) (/ (/ 1 (cbrt (sqrt y))) (cbrt (sqrt y))) (/ (sinh y) (cbrt (sqrt y))) (/ 1 (fabs (cbrt y))) (/ (sinh y) (sqrt (cbrt y))) (/ 1 (sqrt (sqrt y))) (/ (sinh y) (sqrt (sqrt y))) 1 (/ (sinh y) (sqrt y)) (/ 1 (sqrt (sqrt y))) (/ (sinh y) (sqrt (sqrt y))) 1 (/ (sinh y) (sqrt y)) (/ 1 (sqrt y)) (/ (sqrt y) (sinh y)) (/ (sinh y) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (sinh y) (fabs (cbrt y))) (/ (sinh y) (sqrt (sqrt y))) (sinh y) (/ (sinh y) (sqrt (sqrt y))) (sinh y) (/ (sqrt y) (cbrt (sinh y))) (/ (sqrt y) (sqrt (sinh y))) (/ (sqrt y) (sinh y)) (* (sqrt y) 2) (expm1 (/ 1 (sqrt y))) (log1p (/ 1 (sqrt y))) -1/2 -1 -1/2 (- (log (sqrt y))) (- (log (sqrt y))) (- (log (sqrt y))) (- (log (sqrt y))) (exp (/ 1 (sqrt y))) (/ (/ 1 y) (sqrt y)) (* (cbrt (/ 1 (sqrt y))) (cbrt (/ 1 (sqrt y)))) (cbrt (/ 1 (sqrt y))) (/ (/ 1 y) (sqrt y)) (sqrt (/ 1 (sqrt y))) (sqrt (/ 1 (sqrt y))) -1 (- (sqrt y)) (/ (/ 1 (cbrt (sqrt y))) (cbrt (sqrt y))) (/ 1 (cbrt (sqrt y))) (/ 1 (fabs (cbrt y))) (/ 1 (sqrt (cbrt y))) (/ 1 (sqrt (sqrt y))) (/ 1 (sqrt (sqrt y))) 1 (/ 1 (sqrt y)) (/ 1 (sqrt (sqrt y))) (/ 1 (sqrt (sqrt y))) 1 (/ 1 (sqrt y)) (/ (/ 1 (cbrt (sqrt y))) (cbrt (sqrt y))) (/ 1 (cbrt (sqrt y))) (/ 1 (fabs (cbrt y))) (/ 1 (sqrt (cbrt y))) (/ 1 (sqrt (sqrt y))) (/ 1 (sqrt (sqrt y))) 1 (/ 1 (sqrt y)) (/ 1 (sqrt (sqrt y))) (/ 1 (sqrt (sqrt y))) 1 (/ 1 (sqrt y)) (/ (/ 1 (cbrt (sqrt y))) (cbrt (sqrt y))) (/ 1 (cbrt (sqrt y))) (/ 1 (fabs (cbrt y))) (/ 1 (sqrt (cbrt y))) (/ 1 (sqrt (sqrt y))) (/ 1 (sqrt (sqrt y))) 1 (/ 1 (sqrt y)) (/ 1 (sqrt (sqrt y))) (/ 1 (sqrt (sqrt y))) 1 (/ 1 (sqrt y)) (/ 1 (sqrt y)) (sqrt y) (/ (/ 1 (cbrt (sqrt y))) (cbrt (sqrt y))) (/ 1 (fabs (cbrt y))) (/ 1 (sqrt (sqrt y))) 1 (/ 1 (sqrt (sqrt y))) 1 (sqrt y) (sqrt y) (sqrt y) (expm1 (/ (sinh y) y)) (log1p (/ (sinh y) y)) (/ (sinh y) y) (log (/ (sinh y) y)) (log (/ (sinh y) y)) (log (/ (sinh y) y)) (log (/ (sinh y) y)) (log (/ (sinh y) y)) (log (/ (sinh y) y)) (log (/ (sinh y) y)) (log (/ (sinh y) y)) (log (/ (sinh y) y)) (exp (/ (sinh y) y)) (pow (/ (sinh y) y) 3) (pow (/ (sinh y) y) 3) (pow (/ (sinh y) y) 3) (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 (* (sqrt (/ 1 (sqrt y))) (sqrt (/ (sinh y) (sqrt y)))) (* (sqrt (/ 1 (sqrt y))) (sqrt (/ (sinh y) (sqrt y)))) (* (sqrt (/ 1 (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (* (sqrt (/ 1 (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (* (sqrt (/ 1 (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (* (sqrt (/ 1 (sqrt y))) (/ (sqrt (sinh y)) (sqrt (sqrt y)))) (/ (sqrt (/ (sinh y) (sqrt y))) (sqrt (sqrt y))) (/ (sqrt (/ (sinh y) (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (sinh y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (sinh y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (sinh y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (sinh y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (sqrt (/ (sinh y) (sqrt y))) (sqrt (sqrt y))) (/ (sqrt (/ (sinh y) (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (sinh y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (sinh y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (sinh y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (sinh y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (sqrt (/ (sinh y) (sqrt y))) (sqrt (sqrt y))) (/ (sqrt (/ (sinh y) (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (sinh y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (sinh y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (sinh y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (sinh y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (sqrt (/ (sinh y) (sqrt y))) (sqrt (sqrt y))) (/ (sqrt (/ (sinh y) (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (sinh y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (sinh y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (sinh y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (/ (sqrt (sinh y)) (sqrt (sqrt y))) (sqrt (sqrt y))) (/ (* (cbrt (/ (sinh y) (sqrt y))) (cbrt (/ (sinh y) (sqrt y)))) (sqrt y)) (/ (sqrt (/ (sinh y) (sqrt y))) (sqrt y)) (/ (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ (cbrt (sinh y)) (/ (fabs (cbrt y)) (cbrt (sinh y)))) (sqrt y)) (/ (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt (sqrt y))) (sqrt y)) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)) (/ (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt (sqrt y))) (sqrt y)) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)) (/ (/ (sqrt (sinh y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (sqrt y)) (/ (/ (sqrt (sinh y)) (fabs (cbrt y))) (sqrt y)) (/ (/ (sqrt (sinh y)) (sqrt (sqrt y))) (sqrt y)) (/ (sqrt (sinh y)) (sqrt y)) (/ (/ (sqrt (sinh y)) (sqrt (sqrt y))) (sqrt y)) (/ (sqrt (sinh y)) (sqrt y)) (/ (/ 1 (sqrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (/ (/ 1 (sqrt y)) (fabs (cbrt y))) (/ (/ 1 (sqrt y)) (sqrt (sqrt y))) (/ 1 (sqrt y)) (/ (/ 1 (sqrt y)) (sqrt (sqrt y))) (/ 1 (sqrt y)) (/ 1 (sqrt y)) (/ (sinh y) (sqrt y)) (* (cbrt (/ 1 (sqrt y))) (/ (sinh y) (sqrt y))) (* (sqrt (/ 1 (sqrt y))) (/ (sinh y) (sqrt y))) (/ (/ (sinh y) (sqrt y)) (cbrt (sqrt y))) (/ (/ (sinh y) (sqrt y)) (sqrt (cbrt y))) (/ (/ (sinh y) (sqrt y)) (sqrt (sqrt y))) (/ (sinh y) y) (/ (/ (sinh y) (sqrt y)) (sqrt (sqrt y))) (/ (sinh y) y) (/ (/ (sinh y) (sqrt y)) (cbrt (sqrt y))) (/ (/ (sinh y) (sqrt y)) (sqrt (cbrt y))) (/ (/ (sinh y) (sqrt y)) (sqrt (sqrt y))) (/ (sinh y) y) (/ (/ (sinh y) (sqrt y)) (sqrt (sqrt y))) (/ (sinh y) y) (/ (/ (sinh y) (sqrt y)) (cbrt (sqrt y))) (/ (/ (sinh y) (sqrt y)) (sqrt (cbrt y))) (/ (/ (sinh y) (sqrt y)) (sqrt (sqrt y))) (/ (sinh y) y) (/ (/ (sinh y) (sqrt y)) (sqrt (sqrt y))) (/ (sinh y) y) (/ (sinh y) y) (/ (sinh y) y) (/ (sinh y) (sqrt y)) (/ (sinh y) (sqrt y)) (expm1 (sinh y)) (log1p (sinh y)) (- (exp y) (exp (- y))) (log (sinh y)) (exp (sinh y)) (* (cbrt (sinh y)) (cbrt (sinh y))) (cbrt (sinh y)) (pow (sinh y) 3) (sqrt (sinh y)) (sqrt (sinh y)) (* +nan.0 (+ (- (pow y 3)) (- (pow y 2) y))) (- (+ (* (/ (exp y) (pow y 2)) (- +nan.0 (/ +nan.0 y))) (+ (* (/ (exp (- y)) y) (- (/ +nan.0 y) +nan.0)) (* +nan.0 (- (/ (exp (- y)) (pow y 3)) (/ (exp y) y)))))) (+ (* (/ +nan.0 y) (- (/ (exp y) y) (/ (exp (- y)) y))) (+ (* +nan.0 (- (/ (exp y) y) (- (exp y) (exp (- y))))) (/ (- (/ +nan.0 (exp y))) y))) (- (fma +nan.0 (- (pow y 2) y) +nan.0)) (- (+ (- (/ +nan.0 y) (/ +nan.0 (pow y 3))) (/ +nan.0 (pow y 2)))) (- (- (/ +nan.0 y) (- (/ +nan.0 (pow y 2)) +nan.0))) (fma 1/6 (pow y 2) (fma 1/120 (pow y 4) 1)) (/ (* 1/2 (- (exp y) (exp (- y)))) y) (+ (* (/ +nan.0 y) (- (/ (exp y) y) (/ (exp (- y)) y))) (+ (* +nan.0 (- (/ (exp y) y) (- (exp y) (exp (- y))))) (/ (- (/ +nan.0 (exp y))) y))) (fma 1/6 (pow y 3) (fma 1/120 (pow y 5) y)) (* 1/2 (- (exp y) (exp (- y)))) (* 1/2 (- (exp y) (exp (- y)))) 13.411 * * * [progress]: adding candidates to table 13.777 * [progress]: [Phase 3 of 3] Extracting. 13.777 * * [regime]: Finding splitpoints for: (# #) 13.778 * * * [regime-changes]: Trying 5 branch expressions: ((/ (sinh y) y) (cos x) (* (cos x) (/ (sinh y) y)) y x) 13.778 * * * * [regimes]: Trying to branch on (/ (sinh y) y) from (# #) 13.789 * * * * [regimes]: Trying to branch on (cos x) from (# #) 13.803 * * * * [regimes]: Trying to branch on (* (cos x) (/ (sinh y) y)) from (# #) 13.823 * * * * [regimes]: Trying to branch on y from (# #) 13.834 * * * * [regimes]: Trying to branch on x from (# #) 13.846 * * * [regime]: Found split indices: #