9.504 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.127 * * * [progress]: [2/2] Setting up program.
0.130 * [progress]: [Phase 2 of 3] Improving.
0.130 * [simplify]: Simplifying:
  (* (cos x) (/ (sinh y) y))
0.131 * * [simplify]: Extracting # 0 : cost  0
0.131 * * [simplify]: Extracting # 1 : cost  0
0.131 * * [simplify]: Extracting # 2 : cost  0
0.131 * * [simplify]: Extracting # 3 : cost  0
0.131 * * [simplify]: Extracting # 4 : cost  0
0.131 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.133 * * [simplify]: Extracting # 0 : cost  0
0.133 * * [simplify]: Extracting # 1 : cost  0
0.133 * * [simplify]: Extracting # 2 : cost  0
0.133 * * [simplify]: Extracting # 3 : cost  0
0.133 * * [simplify]: Extracting # 4 : cost  0
0.133 * * [simplify]: iteration  1 :  15  enodes  (cost  7 )
0.138 * * [simplify]: Extracting # 0 : cost  0
0.138 * * [simplify]: Extracting # 1 : cost  0
0.138 * * [simplify]: Extracting # 2 : cost  0
0.138 * * [simplify]: iteration  2 :  30  enodes  (cost  7 )
0.149 * * [simplify]: Extracting # 0 : cost  0
0.149 * * [simplify]: Extracting # 1 : cost  0
0.150 * * [simplify]: Extracting # 2 : cost  0
0.150 * * [simplify]: iteration  3 :  67  enodes  (cost  7 )
0.175 * * [simplify]: Extracting # 0 : cost  0
0.175 * * [simplify]: Extracting # 1 : cost  0
0.175 * * [simplify]: Extracting # 2 : cost  0
0.176 * * [simplify]: Extracting # 3 : cost  0
0.176 * * [simplify]: Extracting # 4 : cost  0
0.176 * * [simplify]: iteration  4 :  135  enodes  (cost  7 )
0.254 * * [simplify]: Extracting # 0 : cost  0
0.254 * * [simplify]: Extracting # 1 : cost  0
0.255 * * [simplify]: Extracting # 2 : cost  0
0.257 * * [simplify]: Extracting # 3 : cost  0
0.258 * * [simplify]: Extracting # 4 : cost  0
0.258 * * [simplify]: iteration  5 :  256  enodes  (cost  7 )
0.347 * * [simplify]: Extracting # 0 : cost  0
0.348 * * [simplify]: Extracting # 1 : cost  0
0.349 * * [simplify]: Extracting # 2 : cost  0
0.350 * * [simplify]: iteration  6 :  460  enodes  (cost  7 )
0.761 * * [simplify]: Extracting # 0 : cost  0
0.764 * * [simplify]: Extracting # 1 : cost  0
0.766 * * [simplify]: Extracting # 2 : cost  0
0.767 * * [simplify]: Extracting # 3 : cost  0
0.769 * * [simplify]: Extracting # 4 : cost  0
0.770 * * [simplify]: iteration  7 :  977  enodes  (cost  7 )
2.219 * * [simplify]: Extracting # 0 : cost  0
2.221 * * [simplify]: Extracting # 1 : cost  0
2.222 * * [simplify]: Extracting # 2 : cost  0
2.223 * * [simplify]: iteration  8 :  1864  enodes  (cost  7 )
6.294 * * [simplify]: Extracting # 0 : cost  0
6.297 * * [simplify]: Extracting # 1 : cost  0
6.299 * * [simplify]: Extracting # 2 : cost  0
6.300 * * [simplify]: iteration  9 :  3263  enodes  (cost  7 )
11.478 * * [simplify]: Extracting # 0 : cost  0
11.482 * * [simplify]: Extracting # 1 : cost  0
11.484 * * [simplify]: Extracting # 2 : cost  0
11.486 * * [simplify]: iteration  10 :  4445  enodes  (cost  7 )
13.510 * * [simplify]: Extracting # 0 : cost  0
13.513 * * [simplify]: Extracting # 1 : cost  0
13.515 * * [simplify]: Extracting # 2 : cost  0
13.517 * * [simplify]: iteration done:  5001  enodes  (cost  7 )
13.518 * [simplify]: Simplified to:
  (* (cos x) (/ (sinh y) y))
13.518 * * [progress]: iteration 1 / 4
13.518 * * * [progress]: picking best candidate
13.521 * * * * [pick]: Picked  #<alt (λ (x y) (* (cos x) (/ (sinh y) y)))>
13.521 * * * [progress]: localizing error
13.533 * * * [progress]: generating rewritten candidates
13.533 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
13.536 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
13.549 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
13.578 * * * [progress]: generating series expansions
13.578 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
13.578 * [backup-simplify]: Simplify (sinh y) into (sinh y)
13.578 * [approximate]: Taking taylor expansion of (sinh y) in (y) around 0
13.578 * [taylor]: Taking taylor expansion of (sinh y) in y
13.579 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
13.580 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
13.580 * [taylor]: Taking taylor expansion of (exp y) in y
13.580 * [taylor]: Taking taylor expansion of y in y
13.580 * [backup-simplify]: Simplify 0 into 0
13.580 * [backup-simplify]: Simplify 1 into 1
13.580 * [backup-simplify]: Simplify (exp 0) into 1
13.580 * [taylor]: Taking taylor expansion of (exp (- y)) in y
13.580 * [taylor]: Taking taylor expansion of (- y) in y
13.580 * [taylor]: Taking taylor expansion of y in y
13.580 * [backup-simplify]: Simplify 0 into 0
13.580 * [backup-simplify]: Simplify 1 into 1
13.580 * [backup-simplify]: Simplify (- 0) into 0
13.580 * [backup-simplify]: Simplify (- 1) into -1
13.580 * [backup-simplify]: Simplify (exp 0) into 1
13.580 * [taylor]: Taking taylor expansion of 2 in y
13.580 * [backup-simplify]: Simplify 2 into 2
13.581 * [backup-simplify]: Simplify (- 1) into -1
13.581 * [backup-simplify]: Simplify (+ 1 -1) into 0
13.582 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
13.582 * [backup-simplify]: Simplify (- 1) into -1
13.582 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
13.583 * [backup-simplify]: Simplify (- -1) into 1
13.583 * [backup-simplify]: Simplify (+ 1 1) into 2
13.583 * [backup-simplify]: Simplify (/ 2 2) into 1
13.583 * [taylor]: Taking taylor expansion of (sinh y) in y
13.583 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
13.583 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
13.583 * [taylor]: Taking taylor expansion of (exp y) in y
13.583 * [taylor]: Taking taylor expansion of y in y
13.583 * [backup-simplify]: Simplify 0 into 0
13.583 * [backup-simplify]: Simplify 1 into 1
13.583 * [backup-simplify]: Simplify (exp 0) into 1
13.583 * [taylor]: Taking taylor expansion of (exp (- y)) in y
13.583 * [taylor]: Taking taylor expansion of (- y) in y
13.583 * [taylor]: Taking taylor expansion of y in y
13.583 * [backup-simplify]: Simplify 0 into 0
13.584 * [backup-simplify]: Simplify 1 into 1
13.584 * [backup-simplify]: Simplify (- 0) into 0
13.584 * [backup-simplify]: Simplify (- 1) into -1
13.584 * [backup-simplify]: Simplify (exp 0) into 1
13.584 * [taylor]: Taking taylor expansion of 2 in y
13.584 * [backup-simplify]: Simplify 2 into 2
13.584 * [backup-simplify]: Simplify (- 1) into -1
13.585 * [backup-simplify]: Simplify (+ 1 -1) into 0
13.585 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
13.585 * [backup-simplify]: Simplify (- 1) into -1
13.586 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
13.586 * [backup-simplify]: Simplify (- -1) into 1
13.587 * [backup-simplify]: Simplify (+ 1 1) into 2
13.587 * [backup-simplify]: Simplify (/ 2 2) into 1
13.587 * [backup-simplify]: Simplify 1 into 1
13.588 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
13.588 * [backup-simplify]: Simplify (- 1) into -1
13.588 * [backup-simplify]: Simplify (- 0) into 0
13.589 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
13.590 * [backup-simplify]: Simplify (- 1/2) into -1/2
13.590 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
13.590 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
13.590 * [backup-simplify]: Simplify 0 into 0
13.592 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
13.592 * [backup-simplify]: Simplify (- 1) into -1
13.592 * [backup-simplify]: Simplify (- 1) into -1
13.592 * [backup-simplify]: Simplify (- 0) into 0
13.593 * [backup-simplify]: Simplify (- 0) into 0
13.594 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
13.600 * [backup-simplify]: Simplify (- -1/6) into 1/6
13.600 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
13.601 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
13.601 * [backup-simplify]: Simplify 1/6 into 1/6
13.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
13.605 * [backup-simplify]: Simplify (- 1) into -1
13.605 * [backup-simplify]: Simplify (- 1) into -1
13.606 * [backup-simplify]: Simplify (- 0) into 0
13.606 * [backup-simplify]: Simplify (- 1) into -1
13.606 * [backup-simplify]: Simplify (- 0) into 0
13.606 * [backup-simplify]: Simplify (- 0) into 0
13.607 * [backup-simplify]: Simplify (- 0) into 0
13.609 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
13.609 * [backup-simplify]: Simplify (- 1/24) into -1/24
13.609 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
13.610 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
13.610 * [backup-simplify]: Simplify 0 into 0
13.613 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120
13.614 * [backup-simplify]: Simplify (- 1) into -1
13.614 * [backup-simplify]: Simplify (- 1) into -1
13.614 * [backup-simplify]: Simplify (- 0) into 0
13.615 * [backup-simplify]: Simplify (- 1) into -1
13.615 * [backup-simplify]: Simplify (- 0) into 0
13.615 * [backup-simplify]: Simplify (- 1) into -1
13.615 * [backup-simplify]: Simplify (- 0) into 0
13.615 * [backup-simplify]: Simplify (- 1) into -1
13.616 * [backup-simplify]: Simplify (- 0) into 0
13.616 * [backup-simplify]: Simplify (- 0) into 0
13.616 * [backup-simplify]: Simplify (- 0) into 0
13.616 * [backup-simplify]: Simplify (- 0) into 0
13.620 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120
13.621 * [backup-simplify]: Simplify (- -1/120) into 1/120
13.621 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
13.622 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
13.622 * [backup-simplify]: Simplify 1/120 into 1/120
13.623 * [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))
13.623 * [backup-simplify]: Simplify (sinh (/ 1 y)) into (sinh (/ 1 y))
13.624 * [approximate]: Taking taylor expansion of (sinh (/ 1 y)) in (y) around 0
13.624 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
13.624 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
13.624 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
13.624 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
13.624 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.624 * [taylor]: Taking taylor expansion of y in y
13.624 * [backup-simplify]: Simplify 0 into 0
13.624 * [backup-simplify]: Simplify 1 into 1
13.624 * [backup-simplify]: Simplify (/ 1 1) into 1
13.624 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
13.624 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
13.624 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
13.624 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.624 * [taylor]: Taking taylor expansion of y in y
13.625 * [backup-simplify]: Simplify 0 into 0
13.625 * [backup-simplify]: Simplify 1 into 1
13.625 * [backup-simplify]: Simplify (/ 1 1) into 1
13.625 * [backup-simplify]: Simplify (- 1) into -1
13.625 * [backup-simplify]: Simplify (exp (- (/ 1 y))) into (exp (- (/ 1 y)))
13.625 * [taylor]: Taking taylor expansion of 2 in y
13.625 * [backup-simplify]: Simplify 2 into 2
13.626 * [backup-simplify]: Simplify (- (exp (- (/ 1 y)))) into (- (exp (- (/ 1 y))))
13.626 * [backup-simplify]: Simplify (+ (exp (/ 1 y)) (- (exp (- (/ 1 y))))) into (- (exp (/ 1 y)) (exp (- (/ 1 y))))
13.626 * [backup-simplify]: Simplify (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) into (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y)))))
13.626 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
13.626 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
13.626 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
13.626 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
13.626 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.626 * [taylor]: Taking taylor expansion of y in y
13.626 * [backup-simplify]: Simplify 0 into 0
13.626 * [backup-simplify]: Simplify 1 into 1
13.626 * [backup-simplify]: Simplify (/ 1 1) into 1
13.626 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
13.626 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
13.627 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
13.627 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.627 * [taylor]: Taking taylor expansion of y in y
13.627 * [backup-simplify]: Simplify 0 into 0
13.627 * [backup-simplify]: Simplify 1 into 1
13.627 * [backup-simplify]: Simplify (/ 1 1) into 1
13.627 * [backup-simplify]: Simplify (- 1) into -1
13.627 * [backup-simplify]: Simplify (exp (- (/ 1 y))) into (exp (- (/ 1 y)))
13.627 * [taylor]: Taking taylor expansion of 2 in y
13.627 * [backup-simplify]: Simplify 2 into 2
13.627 * [backup-simplify]: Simplify (- (exp (- (/ 1 y)))) into (- (exp (- (/ 1 y))))
13.627 * [backup-simplify]: Simplify (+ (exp (/ 1 y)) (- (exp (- (/ 1 y))))) into (- (exp (/ 1 y)) (exp (- (/ 1 y))))
13.627 * [backup-simplify]: Simplify (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) into (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y)))))
13.628 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) into (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y)))))
13.628 * [backup-simplify]: Simplify (- 0) into 0
13.628 * [backup-simplify]: Simplify (+ 0 0) into 0
13.629 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)))) into 0
13.629 * [backup-simplify]: Simplify 0 into 0
13.629 * [backup-simplify]: Simplify (- 0) into 0
13.629 * [backup-simplify]: Simplify (+ 0 0) into 0
13.630 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.630 * [backup-simplify]: Simplify 0 into 0
13.630 * [backup-simplify]: Simplify (- 0) into 0
13.631 * [backup-simplify]: Simplify (+ 0 0) into 0
13.632 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.632 * [backup-simplify]: Simplify 0 into 0
13.632 * [backup-simplify]: Simplify (- 0) into 0
13.633 * [backup-simplify]: Simplify (+ 0 0) into 0
13.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)))) into 0
13.634 * [backup-simplify]: Simplify 0 into 0
13.634 * [backup-simplify]: Simplify (- 0) into 0
13.635 * [backup-simplify]: Simplify (+ 0 0) into 0
13.636 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.636 * [backup-simplify]: Simplify 0 into 0
13.637 * [backup-simplify]: Simplify (- 0) into 0
13.637 * [backup-simplify]: Simplify (+ 0 0) into 0
13.639 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.639 * [backup-simplify]: Simplify 0 into 0
13.639 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 y))) (exp (- (/ 1 (/ 1 y)))))) into (* 1/2 (- (exp y) (exp (- y))))
13.639 * [backup-simplify]: Simplify (sinh (/ 1 (- y))) into (sinh (/ -1 y))
13.639 * [approximate]: Taking taylor expansion of (sinh (/ -1 y)) in (y) around 0
13.639 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
13.640 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
13.640 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
13.640 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
13.640 * [taylor]: Taking taylor expansion of (/ -1 y) in y
13.640 * [taylor]: Taking taylor expansion of -1 in y
13.640 * [backup-simplify]: Simplify -1 into -1
13.640 * [taylor]: Taking taylor expansion of y in y
13.640 * [backup-simplify]: Simplify 0 into 0
13.640 * [backup-simplify]: Simplify 1 into 1
13.640 * [backup-simplify]: Simplify (/ -1 1) into -1
13.640 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
13.640 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
13.640 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
13.640 * [taylor]: Taking taylor expansion of (/ -1 y) in y
13.640 * [taylor]: Taking taylor expansion of -1 in y
13.640 * [backup-simplify]: Simplify -1 into -1
13.640 * [taylor]: Taking taylor expansion of y in y
13.640 * [backup-simplify]: Simplify 0 into 0
13.640 * [backup-simplify]: Simplify 1 into 1
13.640 * [backup-simplify]: Simplify (/ -1 1) into -1
13.641 * [backup-simplify]: Simplify (- -1) into 1
13.641 * [backup-simplify]: Simplify (exp (- (/ -1 y))) into (exp (/ 1 y))
13.641 * [taylor]: Taking taylor expansion of 2 in y
13.641 * [backup-simplify]: Simplify 2 into 2
13.641 * [backup-simplify]: Simplify (- (exp (/ 1 y))) into (- (exp (/ 1 y)))
13.641 * [backup-simplify]: Simplify (+ (exp (/ -1 y)) (- (exp (/ 1 y)))) into (- (exp (/ -1 y)) (exp (/ 1 y)))
13.641 * [backup-simplify]: Simplify (/ (- (exp (/ -1 y)) (exp (/ 1 y))) 2) into (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y))))
13.641 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
13.641 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
13.641 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
13.641 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
13.641 * [taylor]: Taking taylor expansion of (/ -1 y) in y
13.641 * [taylor]: Taking taylor expansion of -1 in y
13.641 * [backup-simplify]: Simplify -1 into -1
13.641 * [taylor]: Taking taylor expansion of y in y
13.641 * [backup-simplify]: Simplify 0 into 0
13.641 * [backup-simplify]: Simplify 1 into 1
13.642 * [backup-simplify]: Simplify (/ -1 1) into -1
13.642 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
13.642 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
13.642 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
13.642 * [taylor]: Taking taylor expansion of (/ -1 y) in y
13.642 * [taylor]: Taking taylor expansion of -1 in y
13.642 * [backup-simplify]: Simplify -1 into -1
13.642 * [taylor]: Taking taylor expansion of y in y
13.642 * [backup-simplify]: Simplify 0 into 0
13.642 * [backup-simplify]: Simplify 1 into 1
13.642 * [backup-simplify]: Simplify (/ -1 1) into -1
13.642 * [backup-simplify]: Simplify (- -1) into 1
13.642 * [backup-simplify]: Simplify (exp (- (/ -1 y))) into (exp (/ 1 y))
13.642 * [taylor]: Taking taylor expansion of 2 in y
13.642 * [backup-simplify]: Simplify 2 into 2
13.642 * [backup-simplify]: Simplify (- (exp (/ 1 y))) into (- (exp (/ 1 y)))
13.643 * [backup-simplify]: Simplify (+ (exp (/ -1 y)) (- (exp (/ 1 y)))) into (- (exp (/ -1 y)) (exp (/ 1 y)))
13.643 * [backup-simplify]: Simplify (/ (- (exp (/ -1 y)) (exp (/ 1 y))) 2) into (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y))))
13.643 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) into (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y))))
13.643 * [backup-simplify]: Simplify (- 0) into 0
13.643 * [backup-simplify]: Simplify (+ 0 0) into 0
13.644 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)))) into 0
13.644 * [backup-simplify]: Simplify 0 into 0
13.644 * [backup-simplify]: Simplify (- 0) into 0
13.645 * [backup-simplify]: Simplify (+ 0 0) into 0
13.646 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.646 * [backup-simplify]: Simplify 0 into 0
13.646 * [backup-simplify]: Simplify (- 0) into 0
13.646 * [backup-simplify]: Simplify (+ 0 0) into 0
13.647 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.647 * [backup-simplify]: Simplify 0 into 0
13.648 * [backup-simplify]: Simplify (- 0) into 0
13.648 * [backup-simplify]: Simplify (+ 0 0) into 0
13.649 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.649 * [backup-simplify]: Simplify 0 into 0
13.650 * [backup-simplify]: Simplify (- 0) into 0
13.650 * [backup-simplify]: Simplify (+ 0 0) into 0
13.652 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.652 * [backup-simplify]: Simplify 0 into 0
13.652 * [backup-simplify]: Simplify (- 0) into 0
13.652 * [backup-simplify]: Simplify (+ 0 0) into 0
13.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)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.655 * [backup-simplify]: Simplify 0 into 0
13.655 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- y)))) (exp (/ 1 (/ 1 (- y)))))) into (* 1/2 (- (exp y) (exp (* -1 y))))
13.655 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
13.655 * [backup-simplify]: Simplify (/ (sinh y) y) into (/ (sinh y) y)
13.655 * [approximate]: Taking taylor expansion of (/ (sinh y) y) in (y) around 0
13.655 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
13.655 * [taylor]: Taking taylor expansion of (sinh y) in y
13.655 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
13.655 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
13.655 * [taylor]: Taking taylor expansion of (exp y) in y
13.655 * [taylor]: Taking taylor expansion of y in y
13.655 * [backup-simplify]: Simplify 0 into 0
13.655 * [backup-simplify]: Simplify 1 into 1
13.655 * [backup-simplify]: Simplify (exp 0) into 1
13.655 * [taylor]: Taking taylor expansion of (exp (- y)) in y
13.655 * [taylor]: Taking taylor expansion of (- y) in y
13.655 * [taylor]: Taking taylor expansion of y in y
13.655 * [backup-simplify]: Simplify 0 into 0
13.655 * [backup-simplify]: Simplify 1 into 1
13.656 * [backup-simplify]: Simplify (- 0) into 0
13.656 * [backup-simplify]: Simplify (- 1) into -1
13.656 * [backup-simplify]: Simplify (exp 0) into 1
13.656 * [taylor]: Taking taylor expansion of 2 in y
13.656 * [backup-simplify]: Simplify 2 into 2
13.657 * [backup-simplify]: Simplify (- 1) into -1
13.657 * [backup-simplify]: Simplify (+ 1 -1) into 0
13.658 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
13.658 * [backup-simplify]: Simplify (- 1) into -1
13.659 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
13.659 * [backup-simplify]: Simplify (- -1) into 1
13.660 * [backup-simplify]: Simplify (+ 1 1) into 2
13.660 * [backup-simplify]: Simplify (/ 2 2) into 1
13.660 * [taylor]: Taking taylor expansion of y in y
13.660 * [backup-simplify]: Simplify 0 into 0
13.660 * [backup-simplify]: Simplify 1 into 1
13.660 * [backup-simplify]: Simplify (/ 1 1) into 1
13.660 * [taylor]: Taking taylor expansion of (/ (sinh y) y) in y
13.660 * [taylor]: Taking taylor expansion of (sinh y) in y
13.661 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
13.661 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
13.661 * [taylor]: Taking taylor expansion of (exp y) in y
13.661 * [taylor]: Taking taylor expansion of y in y
13.661 * [backup-simplify]: Simplify 0 into 0
13.661 * [backup-simplify]: Simplify 1 into 1
13.661 * [backup-simplify]: Simplify (exp 0) into 1
13.661 * [taylor]: Taking taylor expansion of (exp (- y)) in y
13.661 * [taylor]: Taking taylor expansion of (- y) in y
13.661 * [taylor]: Taking taylor expansion of y in y
13.661 * [backup-simplify]: Simplify 0 into 0
13.661 * [backup-simplify]: Simplify 1 into 1
13.661 * [backup-simplify]: Simplify (- 0) into 0
13.661 * [backup-simplify]: Simplify (- 1) into -1
13.662 * [backup-simplify]: Simplify (exp 0) into 1
13.662 * [taylor]: Taking taylor expansion of 2 in y
13.662 * [backup-simplify]: Simplify 2 into 2
13.662 * [backup-simplify]: Simplify (- 1) into -1
13.662 * [backup-simplify]: Simplify (+ 1 -1) into 0
13.663 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
13.664 * [backup-simplify]: Simplify (- 1) into -1
13.665 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
13.665 * [backup-simplify]: Simplify (- -1) into 1
13.666 * [backup-simplify]: Simplify (+ 1 1) into 2
13.666 * [backup-simplify]: Simplify (/ 2 2) into 1
13.666 * [taylor]: Taking taylor expansion of y in y
13.666 * [backup-simplify]: Simplify 0 into 0
13.666 * [backup-simplify]: Simplify 1 into 1
13.667 * [backup-simplify]: Simplify (/ 1 1) into 1
13.667 * [backup-simplify]: Simplify 1 into 1
13.668 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
13.669 * [backup-simplify]: Simplify (- 1) into -1
13.669 * [backup-simplify]: Simplify (- 0) into 0
13.671 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
13.671 * [backup-simplify]: Simplify (- 1/2) into -1/2
13.672 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
13.672 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
13.673 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0
13.673 * [backup-simplify]: Simplify 0 into 0
13.676 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
13.676 * [backup-simplify]: Simplify (- 1) into -1
13.676 * [backup-simplify]: Simplify (- 1) into -1
13.677 * [backup-simplify]: Simplify (- 0) into 0
13.677 * [backup-simplify]: Simplify (- 0) into 0
13.680 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
13.680 * [backup-simplify]: Simplify (- -1/6) into 1/6
13.680 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
13.682 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
13.683 * [backup-simplify]: Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 1/6
13.683 * [backup-simplify]: Simplify 1/6 into 1/6
13.687 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
13.687 * [backup-simplify]: Simplify (- 1) into -1
13.688 * [backup-simplify]: Simplify (- 1) into -1
13.688 * [backup-simplify]: Simplify (- 0) into 0
13.689 * [backup-simplify]: Simplify (- 1) into -1
13.689 * [backup-simplify]: Simplify (- 0) into 0
13.689 * [backup-simplify]: Simplify (- 0) into 0
13.690 * [backup-simplify]: Simplify (- 0) into 0
13.694 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
13.695 * [backup-simplify]: Simplify (- 1/24) into -1/24
13.695 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
13.696 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
13.697 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 1/6 (/ 0 1)))) into 0
13.698 * [backup-simplify]: Simplify 0 into 0
13.701 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120
13.701 * [backup-simplify]: Simplify (- 1) into -1
13.702 * [backup-simplify]: Simplify (- 1) into -1
13.702 * [backup-simplify]: Simplify (- 0) into 0
13.702 * [backup-simplify]: Simplify (- 1) into -1
13.702 * [backup-simplify]: Simplify (- 0) into 0
13.703 * [backup-simplify]: Simplify (- 1) into -1
13.703 * [backup-simplify]: Simplify (- 0) into 0
13.703 * [backup-simplify]: Simplify (- 1) into -1
13.703 * [backup-simplify]: Simplify (- 0) into 0
13.703 * [backup-simplify]: Simplify (- 0) into 0
13.704 * [backup-simplify]: Simplify (- 0) into 0
13.704 * [backup-simplify]: Simplify (- 0) into 0
13.710 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120
13.711 * [backup-simplify]: Simplify (- -1/120) into 1/120
13.711 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
13.712 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
13.713 * [backup-simplify]: Simplify (- (/ 1/120 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 1/120
13.713 * [backup-simplify]: Simplify 1/120 into 1/120
13.713 * [backup-simplify]: Simplify (+ (* 1/120 (pow y 4)) (+ (* 1/6 (pow y 2)) 1)) into (+ (* 1/6 (pow y 2)) (+ (* 1/120 (pow y 4)) 1))
13.713 * [backup-simplify]: Simplify (/ (sinh (/ 1 y)) (/ 1 y)) into (* (sinh (/ 1 y)) y)
13.713 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in (y) around 0
13.713 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
13.714 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
13.714 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
13.714 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
13.714 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
13.714 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.714 * [taylor]: Taking taylor expansion of y in y
13.714 * [backup-simplify]: Simplify 0 into 0
13.714 * [backup-simplify]: Simplify 1 into 1
13.714 * [backup-simplify]: Simplify (/ 1 1) into 1
13.714 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
13.714 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
13.714 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
13.714 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.714 * [taylor]: Taking taylor expansion of y in y
13.714 * [backup-simplify]: Simplify 0 into 0
13.714 * [backup-simplify]: Simplify 1 into 1
13.715 * [backup-simplify]: Simplify (/ 1 1) into 1
13.715 * [backup-simplify]: Simplify (- 1) into -1
13.715 * [backup-simplify]: Simplify (exp (- (/ 1 y))) into (exp (- (/ 1 y)))
13.715 * [taylor]: Taking taylor expansion of 2 in y
13.715 * [backup-simplify]: Simplify 2 into 2
13.715 * [backup-simplify]: Simplify (- (exp (- (/ 1 y)))) into (- (exp (- (/ 1 y))))
13.716 * [backup-simplify]: Simplify (+ (exp (/ 1 y)) (- (exp (- (/ 1 y))))) into (- (exp (/ 1 y)) (exp (- (/ 1 y))))
13.716 * [backup-simplify]: Simplify (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) into (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y)))))
13.716 * [taylor]: Taking taylor expansion of y in y
13.716 * [backup-simplify]: Simplify 0 into 0
13.716 * [backup-simplify]: Simplify 1 into 1
13.716 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) y) in y
13.716 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
13.716 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
13.716 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
13.716 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
13.716 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.716 * [taylor]: Taking taylor expansion of y in y
13.716 * [backup-simplify]: Simplify 0 into 0
13.716 * [backup-simplify]: Simplify 1 into 1
13.717 * [backup-simplify]: Simplify (/ 1 1) into 1
13.717 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
13.717 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
13.717 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
13.717 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.717 * [taylor]: Taking taylor expansion of y in y
13.717 * [backup-simplify]: Simplify 0 into 0
13.717 * [backup-simplify]: Simplify 1 into 1
13.717 * [backup-simplify]: Simplify (/ 1 1) into 1
13.718 * [backup-simplify]: Simplify (- 1) into -1
13.718 * [backup-simplify]: Simplify (exp (- (/ 1 y))) into (exp (- (/ 1 y)))
13.718 * [taylor]: Taking taylor expansion of 2 in y
13.718 * [backup-simplify]: Simplify 2 into 2
13.718 * [backup-simplify]: Simplify (- (exp (- (/ 1 y)))) into (- (exp (- (/ 1 y))))
13.718 * [backup-simplify]: Simplify (+ (exp (/ 1 y)) (- (exp (- (/ 1 y))))) into (- (exp (/ 1 y)) (exp (- (/ 1 y))))
13.718 * [backup-simplify]: Simplify (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) into (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y)))))
13.718 * [taylor]: Taking taylor expansion of y in y
13.718 * [backup-simplify]: Simplify 0 into 0
13.718 * [backup-simplify]: Simplify 1 into 1
13.719 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) into 0
13.719 * [backup-simplify]: Simplify 0 into 0
13.719 * [backup-simplify]: Simplify (- 0) into 0
13.719 * [backup-simplify]: Simplify (+ 0 0) into 0
13.720 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)))) into 0
13.721 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 1) (* 0 0)) into (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y)))))
13.721 * [backup-simplify]: Simplify (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y))))) into (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (- (/ 1 y)))))
13.721 * [backup-simplify]: Simplify (- 0) into 0
13.722 * [backup-simplify]: Simplify (+ 0 0) into 0
13.723 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.724 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 1) (* 0 0))) into 0
13.724 * [backup-simplify]: Simplify 0 into 0
13.724 * [backup-simplify]: Simplify (- 0) into 0
13.725 * [backup-simplify]: Simplify (+ 0 0) into 0
13.726 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.727 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
13.727 * [backup-simplify]: Simplify 0 into 0
13.728 * [backup-simplify]: Simplify (- 0) into 0
13.728 * [backup-simplify]: Simplify (+ 0 0) into 0
13.730 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.731 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
13.731 * [backup-simplify]: Simplify 0 into 0
13.732 * [backup-simplify]: Simplify (- 0) into 0
13.732 * [backup-simplify]: Simplify (+ 0 0) into 0
13.735 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.736 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
13.736 * [backup-simplify]: Simplify 0 into 0
13.736 * [backup-simplify]: Simplify (- 0) into 0
13.736 * [backup-simplify]: Simplify (+ 0 0) into 0
13.740 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.741 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
13.741 * [backup-simplify]: Simplify 0 into 0
13.741 * [backup-simplify]: Simplify (- 0) into 0
13.742 * [backup-simplify]: Simplify (+ 0 0) into 0
13.745 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.746 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
13.746 * [backup-simplify]: Simplify 0 into 0
13.747 * [backup-simplify]: Simplify (* (- (* 1/2 (exp (/ 1 (/ 1 y)))) (* 1/2 (exp (- (/ 1 (/ 1 y)))))) (/ 1 y)) into (/ (- (* 1/2 (exp y)) (* 1/2 (exp (- y)))) y)
13.747 * [backup-simplify]: Simplify (/ (sinh (/ 1 (- y))) (/ 1 (- y))) into (* -1 (* (sinh (/ -1 y)) y))
13.747 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in (y) around 0
13.747 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
13.747 * [taylor]: Taking taylor expansion of -1 in y
13.747 * [backup-simplify]: Simplify -1 into -1
13.747 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
13.747 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
13.747 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
13.747 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
13.747 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
13.747 * [taylor]: Taking taylor expansion of (/ -1 y) in y
13.747 * [taylor]: Taking taylor expansion of -1 in y
13.747 * [backup-simplify]: Simplify -1 into -1
13.747 * [taylor]: Taking taylor expansion of y in y
13.747 * [backup-simplify]: Simplify 0 into 0
13.747 * [backup-simplify]: Simplify 1 into 1
13.748 * [backup-simplify]: Simplify (/ -1 1) into -1
13.748 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
13.748 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
13.748 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
13.748 * [taylor]: Taking taylor expansion of (/ -1 y) in y
13.748 * [taylor]: Taking taylor expansion of -1 in y
13.748 * [backup-simplify]: Simplify -1 into -1
13.748 * [taylor]: Taking taylor expansion of y in y
13.748 * [backup-simplify]: Simplify 0 into 0
13.748 * [backup-simplify]: Simplify 1 into 1
13.748 * [backup-simplify]: Simplify (/ -1 1) into -1
13.749 * [backup-simplify]: Simplify (- -1) into 1
13.749 * [backup-simplify]: Simplify (exp (- (/ -1 y))) into (exp (/ 1 y))
13.749 * [taylor]: Taking taylor expansion of 2 in y
13.749 * [backup-simplify]: Simplify 2 into 2
13.749 * [backup-simplify]: Simplify (- (exp (/ 1 y))) into (- (exp (/ 1 y)))
13.749 * [backup-simplify]: Simplify (+ (exp (/ -1 y)) (- (exp (/ 1 y)))) into (- (exp (/ -1 y)) (exp (/ 1 y)))
13.749 * [backup-simplify]: Simplify (/ (- (exp (/ -1 y)) (exp (/ 1 y))) 2) into (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y))))
13.749 * [taylor]: Taking taylor expansion of y in y
13.749 * [backup-simplify]: Simplify 0 into 0
13.749 * [backup-simplify]: Simplify 1 into 1
13.749 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) y)) in y
13.749 * [taylor]: Taking taylor expansion of -1 in y
13.750 * [backup-simplify]: Simplify -1 into -1
13.750 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) y) in y
13.750 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
13.750 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
13.750 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
13.750 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
13.750 * [taylor]: Taking taylor expansion of (/ -1 y) in y
13.750 * [taylor]: Taking taylor expansion of -1 in y
13.750 * [backup-simplify]: Simplify -1 into -1
13.750 * [taylor]: Taking taylor expansion of y in y
13.750 * [backup-simplify]: Simplify 0 into 0
13.750 * [backup-simplify]: Simplify 1 into 1
13.750 * [backup-simplify]: Simplify (/ -1 1) into -1
13.750 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
13.750 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
13.750 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
13.750 * [taylor]: Taking taylor expansion of (/ -1 y) in y
13.750 * [taylor]: Taking taylor expansion of -1 in y
13.750 * [backup-simplify]: Simplify -1 into -1
13.750 * [taylor]: Taking taylor expansion of y in y
13.750 * [backup-simplify]: Simplify 0 into 0
13.751 * [backup-simplify]: Simplify 1 into 1
13.751 * [backup-simplify]: Simplify (/ -1 1) into -1
13.751 * [backup-simplify]: Simplify (- -1) into 1
13.751 * [backup-simplify]: Simplify (exp (- (/ -1 y))) into (exp (/ 1 y))
13.751 * [taylor]: Taking taylor expansion of 2 in y
13.751 * [backup-simplify]: Simplify 2 into 2
13.751 * [backup-simplify]: Simplify (- (exp (/ 1 y))) into (- (exp (/ 1 y)))
13.752 * [backup-simplify]: Simplify (+ (exp (/ -1 y)) (- (exp (/ 1 y)))) into (- (exp (/ -1 y)) (exp (/ 1 y)))
13.752 * [backup-simplify]: Simplify (/ (- (exp (/ -1 y)) (exp (/ 1 y))) 2) into (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y))))
13.752 * [taylor]: Taking taylor expansion of y in y
13.752 * [backup-simplify]: Simplify 0 into 0
13.752 * [backup-simplify]: Simplify 1 into 1
13.752 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) into 0
13.752 * [backup-simplify]: Simplify (* -1 0) into 0
13.752 * [backup-simplify]: Simplify 0 into 0
13.753 * [backup-simplify]: Simplify (- 0) into 0
13.753 * [backup-simplify]: Simplify (+ 0 0) into 0
13.754 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)))) into 0
13.754 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 1) (* 0 0)) into (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))
13.755 * [backup-simplify]: Simplify (+ (* -1 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (* 0 0)) into (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (/ -1 y))))
13.755 * [backup-simplify]: Simplify (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (/ -1 y)))) into (- (* 1/2 (exp (/ 1 y))) (* 1/2 (exp (/ -1 y))))
13.755 * [backup-simplify]: Simplify (- 0) into 0
13.755 * [backup-simplify]: Simplify (+ 0 0) into 0
13.756 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.757 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) (+ (* 0 1) (* 0 0))) into 0
13.757 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (* 0 0))) into 0
13.757 * [backup-simplify]: Simplify 0 into 0
13.758 * [backup-simplify]: Simplify (- 0) into 0
13.758 * [backup-simplify]: Simplify (+ 0 0) into 0
13.759 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.760 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
13.760 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (* 0 0)))) into 0
13.760 * [backup-simplify]: Simplify 0 into 0
13.761 * [backup-simplify]: Simplify (- 0) into 0
13.761 * [backup-simplify]: Simplify (+ 0 0) into 0
13.762 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.763 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
13.764 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (* 0 0))))) into 0
13.764 * [backup-simplify]: Simplify 0 into 0
13.764 * [backup-simplify]: Simplify (- 0) into 0
13.765 * [backup-simplify]: Simplify (+ 0 0) into 0
13.766 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.767 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
13.768 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (* 0 0)))))) into 0
13.769 * [backup-simplify]: Simplify 0 into 0
13.769 * [backup-simplify]: Simplify (- 0) into 0
13.769 * [backup-simplify]: Simplify (+ 0 0) into 0
13.771 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.772 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
13.773 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (* 0 0))))))) into 0
13.774 * [backup-simplify]: Simplify 0 into 0
13.774 * [backup-simplify]: Simplify (- 0) into 0
13.774 * [backup-simplify]: Simplify (+ 0 0) into 0
13.777 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.777 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
13.779 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (* 1/2 (exp (/ -1 y))) (* 1/2 (exp (/ 1 y))))) (* 0 0)))))))) into 0
13.779 * [backup-simplify]: Simplify 0 into 0
13.779 * [backup-simplify]: Simplify (* (- (* 1/2 (exp (/ 1 (/ 1 (- y))))) (* 1/2 (exp (/ -1 (/ 1 (- y)))))) (/ 1 (- y))) into (* -1 (/ (- (* 1/2 (exp (* -1 y))) (* 1/2 (exp y))) y))
13.780 * * * * [progress]: [ 3 / 3 ] generating series at (2)
13.780 * [backup-simplify]: Simplify (* (cos x) (/ (sinh y) y)) into (/ (* (sinh y) (cos x)) y)
13.780 * [approximate]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in (x y) around 0
13.780 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in y
13.780 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in y
13.780 * [taylor]: Taking taylor expansion of (sinh y) in y
13.780 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
13.780 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
13.780 * [taylor]: Taking taylor expansion of (exp y) in y
13.780 * [taylor]: Taking taylor expansion of y in y
13.780 * [backup-simplify]: Simplify 0 into 0
13.780 * [backup-simplify]: Simplify 1 into 1
13.780 * [backup-simplify]: Simplify (exp 0) into 1
13.780 * [taylor]: Taking taylor expansion of (exp (- y)) in y
13.780 * [taylor]: Taking taylor expansion of (- y) in y
13.780 * [taylor]: Taking taylor expansion of y in y
13.780 * [backup-simplify]: Simplify 0 into 0
13.780 * [backup-simplify]: Simplify 1 into 1
13.780 * [backup-simplify]: Simplify (- 0) into 0
13.781 * [backup-simplify]: Simplify (- 1) into -1
13.781 * [backup-simplify]: Simplify (exp 0) into 1
13.781 * [taylor]: Taking taylor expansion of 2 in y
13.781 * [backup-simplify]: Simplify 2 into 2
13.781 * [backup-simplify]: Simplify (- 1) into -1
13.781 * [backup-simplify]: Simplify (+ 1 -1) into 0
13.782 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
13.782 * [backup-simplify]: Simplify (- 1) into -1
13.783 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
13.783 * [backup-simplify]: Simplify (- -1) into 1
13.783 * [backup-simplify]: Simplify (+ 1 1) into 2
13.783 * [backup-simplify]: Simplify (/ 2 2) into 1
13.783 * [taylor]: Taking taylor expansion of (cos x) in y
13.783 * [taylor]: Taking taylor expansion of x in y
13.783 * [backup-simplify]: Simplify x into x
13.783 * [backup-simplify]: Simplify (cos x) into (cos x)
13.784 * [backup-simplify]: Simplify (sin x) into (sin x)
13.784 * [taylor]: Taking taylor expansion of y in y
13.784 * [backup-simplify]: Simplify 0 into 0
13.784 * [backup-simplify]: Simplify 1 into 1
13.784 * [backup-simplify]: Simplify (* (cos x) 1) into (cos x)
13.784 * [backup-simplify]: Simplify (* (sin x) 0) into 0
13.784 * [backup-simplify]: Simplify (- 0) into 0
13.784 * [backup-simplify]: Simplify (+ (cos x) 0) into (cos x)
13.784 * [backup-simplify]: Simplify (* 1 (cos x)) into (cos x)
13.785 * [backup-simplify]: Simplify (/ (cos x) 1) into (cos x)
13.785 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x
13.785 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x
13.785 * [taylor]: Taking taylor expansion of (sinh y) in x
13.785 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
13.785 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
13.785 * [taylor]: Taking taylor expansion of (exp y) in x
13.785 * [taylor]: Taking taylor expansion of y in x
13.785 * [backup-simplify]: Simplify y into y
13.785 * [backup-simplify]: Simplify (exp y) into (exp y)
13.785 * [taylor]: Taking taylor expansion of (exp (- y)) in x
13.785 * [taylor]: Taking taylor expansion of (- y) in x
13.785 * [taylor]: Taking taylor expansion of y in x
13.785 * [backup-simplify]: Simplify y into y
13.785 * [backup-simplify]: Simplify (- y) into (- y)
13.785 * [backup-simplify]: Simplify (- y) into (- y)
13.785 * [backup-simplify]: Simplify (exp (- y)) into (exp (- y))
13.785 * [taylor]: Taking taylor expansion of 2 in x
13.785 * [backup-simplify]: Simplify 2 into 2
13.785 * [backup-simplify]: Simplify (- (exp (- y))) into (- (exp (- y)))
13.785 * [backup-simplify]: Simplify (+ (exp y) (- (exp (- y)))) into (- (exp y) (exp (- y)))
13.785 * [backup-simplify]: Simplify (/ (- (exp y) (exp (- y))) 2) into (* 1/2 (- (exp y) (exp (- y))))
13.785 * [taylor]: Taking taylor expansion of (cos x) in x
13.785 * [taylor]: Taking taylor expansion of x in x
13.785 * [backup-simplify]: Simplify 0 into 0
13.785 * [backup-simplify]: Simplify 1 into 1
13.785 * [taylor]: Taking taylor expansion of y in x
13.785 * [backup-simplify]: Simplify y into y
13.785 * [backup-simplify]: Simplify (* (* 1/2 (- (exp y) (exp (- y)))) 1) into (* 1/2 (- (exp y) (exp (- y))))
13.786 * [backup-simplify]: Simplify (/ (* 1/2 (- (exp y) (exp (- y)))) y) into (* 1/2 (/ (- (exp y) (exp (- y))) y))
13.786 * [taylor]: Taking taylor expansion of (/ (* (sinh y) (cos x)) y) in x
13.786 * [taylor]: Taking taylor expansion of (* (sinh y) (cos x)) in x
13.786 * [taylor]: Taking taylor expansion of (sinh y) in x
13.786 * [taylor]: Rewrote expression to (/ (- (exp y) (exp (- y))) 2)
13.786 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in x
13.786 * [taylor]: Taking taylor expansion of (exp y) in x
13.786 * [taylor]: Taking taylor expansion of y in x
13.786 * [backup-simplify]: Simplify y into y
13.786 * [backup-simplify]: Simplify (exp y) into (exp y)
13.786 * [taylor]: Taking taylor expansion of (exp (- y)) in x
13.786 * [taylor]: Taking taylor expansion of (- y) in x
13.786 * [taylor]: Taking taylor expansion of y in x
13.786 * [backup-simplify]: Simplify y into y
13.786 * [backup-simplify]: Simplify (- y) into (- y)
13.786 * [backup-simplify]: Simplify (- y) into (- y)
13.786 * [backup-simplify]: Simplify (exp (- y)) into (exp (- y))
13.786 * [taylor]: Taking taylor expansion of 2 in x
13.786 * [backup-simplify]: Simplify 2 into 2
13.786 * [backup-simplify]: Simplify (- (exp (- y))) into (- (exp (- y)))
13.786 * [backup-simplify]: Simplify (+ (exp y) (- (exp (- y)))) into (- (exp y) (exp (- y)))
13.786 * [backup-simplify]: Simplify (/ (- (exp y) (exp (- y))) 2) into (* 1/2 (- (exp y) (exp (- y))))
13.786 * [taylor]: Taking taylor expansion of (cos x) in x
13.786 * [taylor]: Taking taylor expansion of x in x
13.786 * [backup-simplify]: Simplify 0 into 0
13.786 * [backup-simplify]: Simplify 1 into 1
13.786 * [taylor]: Taking taylor expansion of y in x
13.786 * [backup-simplify]: Simplify y into y
13.786 * [backup-simplify]: Simplify (* (* 1/2 (- (exp y) (exp (- y)))) 1) into (* 1/2 (- (exp y) (exp (- y))))
13.787 * [backup-simplify]: Simplify (/ (* 1/2 (- (exp y) (exp (- y)))) y) into (* 1/2 (/ (- (exp y) (exp (- y))) y))
13.787 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (exp y) (exp (- y))) y)) in y
13.787 * [taylor]: Taking taylor expansion of 1/2 in y
13.787 * [backup-simplify]: Simplify 1/2 into 1/2
13.787 * [taylor]: Taking taylor expansion of (/ (- (exp y) (exp (- y))) y) in y
13.787 * [taylor]: Taking taylor expansion of (- (exp y) (exp (- y))) in y
13.787 * [taylor]: Taking taylor expansion of (exp y) in y
13.787 * [taylor]: Taking taylor expansion of y in y
13.787 * [backup-simplify]: Simplify 0 into 0
13.787 * [backup-simplify]: Simplify 1 into 1
13.787 * [backup-simplify]: Simplify (exp 0) into 1
13.787 * [taylor]: Taking taylor expansion of (exp (- y)) in y
13.787 * [taylor]: Taking taylor expansion of (- y) in y
13.787 * [taylor]: Taking taylor expansion of y in y
13.787 * [backup-simplify]: Simplify 0 into 0
13.787 * [backup-simplify]: Simplify 1 into 1
13.787 * [backup-simplify]: Simplify (- 0) into 0
13.787 * [backup-simplify]: Simplify (- 1) into -1
13.787 * [backup-simplify]: Simplify (exp 0) into 1
13.787 * [taylor]: Taking taylor expansion of y in y
13.788 * [backup-simplify]: Simplify 0 into 0
13.788 * [backup-simplify]: Simplify 1 into 1
13.788 * [backup-simplify]: Simplify (- 1) into -1
13.788 * [backup-simplify]: Simplify (+ 1 -1) into 0
13.789 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
13.789 * [backup-simplify]: Simplify (- 1) into -1
13.790 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
13.790 * [backup-simplify]: Simplify (- -1) into 1
13.790 * [backup-simplify]: Simplify (+ 1 1) into 2
13.791 * [backup-simplify]: Simplify (/ 2 1) into 2
13.791 * [backup-simplify]: Simplify (* 1/2 2) into 1
13.791 * [backup-simplify]: Simplify 1 into 1
13.791 * [backup-simplify]: Simplify (+ 0) into 0
13.792 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 1) 1)))) into 0
13.792 * [backup-simplify]: Simplify (- y) into (- y)
13.792 * [backup-simplify]: Simplify (- 0) into 0
13.793 * [backup-simplify]: Simplify (* (exp (- y)) (+ (* (/ (pow 0 1) 1)))) into 0
13.793 * [backup-simplify]: Simplify (- 0) into 0
13.793 * [backup-simplify]: Simplify (+ 0 0) into 0
13.794 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp y) (exp (- y)))) (/ 0 2)))) into 0
13.794 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp y) (exp (- y)))) 0) (* 0 1)) into 0
13.794 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* 1/2 (/ (- (exp y) (exp (- y))) y)) (/ 0 y)))) into 0
13.795 * [taylor]: Taking taylor expansion of 0 in y
13.795 * [backup-simplify]: Simplify 0 into 0
13.795 * [backup-simplify]: Simplify 0 into 0
13.796 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
13.796 * [backup-simplify]: Simplify (- 1) into -1
13.796 * [backup-simplify]: Simplify (- 0) into 0
13.797 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
13.797 * [backup-simplify]: Simplify (- 1/2) into -1/2
13.798 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
13.798 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0
13.798 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 2)) into 0
13.799 * [backup-simplify]: Simplify 0 into 0
13.799 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
13.800 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
13.800 * [backup-simplify]: Simplify (- y) into (- y)
13.800 * [backup-simplify]: Simplify (- 0) into 0
13.801 * [backup-simplify]: Simplify (- 0) into 0
13.801 * [backup-simplify]: Simplify (* (exp (- y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
13.802 * [backup-simplify]: Simplify (- 0) into 0
13.802 * [backup-simplify]: Simplify (+ 0 0) into 0
13.803 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp y) (exp (- y)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.803 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp y) (exp (- y)))) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/4 (exp (- y))) (* 1/4 (exp y)))
13.804 * [backup-simplify]: Simplify (- (/ (- (* 1/4 (exp (- y))) (* 1/4 (exp y))) y) (+ (* (* 1/2 (/ (- (exp y) (exp (- y))) y)) (/ 0 y)) (* 0 (/ 0 y)))) into (- (* 1/4 (/ (exp (- y)) y)) (* 1/4 (/ (exp y) y)))
13.804 * [taylor]: Taking taylor expansion of (- (* 1/4 (/ (exp (- y)) y)) (* 1/4 (/ (exp y) y))) in y
13.804 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp (- y)) y)) in y
13.804 * [taylor]: Taking taylor expansion of 1/4 in y
13.804 * [backup-simplify]: Simplify 1/4 into 1/4
13.804 * [taylor]: Taking taylor expansion of (/ (exp (- y)) y) in y
13.804 * [taylor]: Taking taylor expansion of (exp (- y)) in y
13.804 * [taylor]: Taking taylor expansion of (- y) in y
13.804 * [taylor]: Taking taylor expansion of y in y
13.804 * [backup-simplify]: Simplify 0 into 0
13.804 * [backup-simplify]: Simplify 1 into 1
13.804 * [backup-simplify]: Simplify (- 0) into 0
13.804 * [backup-simplify]: Simplify (- 1) into -1
13.804 * [backup-simplify]: Simplify (exp 0) into 1
13.804 * [taylor]: Taking taylor expansion of y in y
13.804 * [backup-simplify]: Simplify 0 into 0
13.804 * [backup-simplify]: Simplify 1 into 1
13.805 * [backup-simplify]: Simplify (/ 1 1) into 1
13.805 * [taylor]: Taking taylor expansion of (* 1/4 (/ (exp y) y)) in y
13.805 * [taylor]: Taking taylor expansion of 1/4 in y
13.805 * [backup-simplify]: Simplify 1/4 into 1/4
13.805 * [taylor]: Taking taylor expansion of (/ (exp y) y) in y
13.805 * [taylor]: Taking taylor expansion of (exp y) in y
13.805 * [taylor]: Taking taylor expansion of y in y
13.805 * [backup-simplify]: Simplify 0 into 0
13.805 * [backup-simplify]: Simplify 1 into 1
13.805 * [backup-simplify]: Simplify (exp 0) into 1
13.805 * [taylor]: Taking taylor expansion of y in y
13.805 * [backup-simplify]: Simplify 0 into 0
13.805 * [backup-simplify]: Simplify 1 into 1
13.805 * [backup-simplify]: Simplify (/ 1 1) into 1
13.805 * [backup-simplify]: Simplify (- 1) into -1
13.806 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
13.807 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
13.807 * [backup-simplify]: Simplify (+ (* 1/4 -1) (* 0 1)) into -1/4
13.808 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
13.808 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
13.809 * [backup-simplify]: Simplify (+ (* 1/4 1) (* 0 1)) into 1/4
13.809 * [backup-simplify]: Simplify (- 1/4) into -1/4
13.809 * [backup-simplify]: Simplify (+ -1/4 -1/4) into -1/2
13.809 * [backup-simplify]: Simplify -1/2 into -1/2
13.809 * [backup-simplify]: Simplify 0 into 0
13.811 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
13.811 * [backup-simplify]: Simplify (- 1) into -1
13.811 * [backup-simplify]: Simplify (- 1) into -1
13.811 * [backup-simplify]: Simplify (- 0) into 0
13.812 * [backup-simplify]: Simplify (- 0) into 0
13.813 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
13.817 * [backup-simplify]: Simplify (- -1/6) into 1/6
13.817 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
13.818 * [backup-simplify]: Simplify (- (/ 1/3 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 1/3
13.818 * [backup-simplify]: Simplify (+ (* 1/2 1/3) (+ (* 0 0) (* 0 2))) into 1/6
13.818 * [backup-simplify]: Simplify 1/6 into 1/6
13.819 * [backup-simplify]: Simplify (+ (* 1/6 (pow (* y 1) 2)) (+ (* -1/2 (pow (* 1 x) 2)) 1)) into (- (+ (* 1/6 (pow y 2)) 1) (* 1/2 (pow x 2)))
13.819 * [backup-simplify]: Simplify (* (cos (/ 1 x)) (/ (sinh (/ 1 y)) (/ 1 y))) into (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y))
13.819 * [approximate]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in (x y) around 0
13.819 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in y
13.819 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in y
13.819 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
13.819 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
13.819 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
13.819 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.819 * [taylor]: Taking taylor expansion of y in y
13.819 * [backup-simplify]: Simplify 0 into 0
13.819 * [backup-simplify]: Simplify 1 into 1
13.820 * [backup-simplify]: Simplify (/ 1 1) into 1
13.820 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
13.820 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
13.820 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
13.820 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.820 * [taylor]: Taking taylor expansion of y in y
13.820 * [backup-simplify]: Simplify 0 into 0
13.820 * [backup-simplify]: Simplify 1 into 1
13.820 * [backup-simplify]: Simplify (/ 1 1) into 1
13.820 * [backup-simplify]: Simplify (- 1) into -1
13.820 * [backup-simplify]: Simplify (exp (- (/ 1 y))) into (exp (- (/ 1 y)))
13.820 * [taylor]: Taking taylor expansion of 2 in y
13.820 * [backup-simplify]: Simplify 2 into 2
13.820 * [backup-simplify]: Simplify (- (exp (- (/ 1 y)))) into (- (exp (- (/ 1 y))))
13.821 * [backup-simplify]: Simplify (+ (exp (/ 1 y)) (- (exp (- (/ 1 y))))) into (- (exp (/ 1 y)) (exp (- (/ 1 y))))
13.821 * [backup-simplify]: Simplify (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) into (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y)))))
13.821 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in y
13.821 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
13.821 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.821 * [taylor]: Taking taylor expansion of x in y
13.821 * [backup-simplify]: Simplify x into x
13.821 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.821 * [backup-simplify]: Simplify (cos (/ 1 x)) into (cos (/ 1 x))
13.821 * [backup-simplify]: Simplify (sin (/ 1 x)) into (sin (/ 1 x))
13.821 * [taylor]: Taking taylor expansion of y in y
13.821 * [backup-simplify]: Simplify 0 into 0
13.821 * [backup-simplify]: Simplify 1 into 1
13.821 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x
13.821 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
13.821 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
13.821 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
13.821 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
13.821 * [taylor]: Taking taylor expansion of (/ 1 y) in x
13.821 * [taylor]: Taking taylor expansion of y in x
13.821 * [backup-simplify]: Simplify y into y
13.821 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
13.821 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
13.821 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
13.821 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
13.821 * [taylor]: Taking taylor expansion of (/ 1 y) in x
13.821 * [taylor]: Taking taylor expansion of y in x
13.821 * [backup-simplify]: Simplify y into y
13.821 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
13.821 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
13.821 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
13.822 * [backup-simplify]: Simplify (exp (- (/ 1 y))) into (exp (- (/ 1 y)))
13.822 * [taylor]: Taking taylor expansion of 2 in x
13.822 * [backup-simplify]: Simplify 2 into 2
13.822 * [backup-simplify]: Simplify (- (exp (- (/ 1 y)))) into (- (exp (- (/ 1 y))))
13.822 * [backup-simplify]: Simplify (+ (exp (/ 1 y)) (- (exp (- (/ 1 y))))) into (- (exp (/ 1 y)) (exp (- (/ 1 y))))
13.822 * [backup-simplify]: Simplify (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) into (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y)))))
13.822 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x
13.822 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
13.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.822 * [taylor]: Taking taylor expansion of x in x
13.822 * [backup-simplify]: Simplify 0 into 0
13.822 * [backup-simplify]: Simplify 1 into 1
13.822 * [backup-simplify]: Simplify (/ 1 1) into 1
13.822 * [backup-simplify]: Simplify (cos (/ 1 x)) into (cos (/ 1 x))
13.822 * [taylor]: Taking taylor expansion of y in x
13.822 * [backup-simplify]: Simplify y into y
13.822 * [taylor]: Taking taylor expansion of (* (sinh (/ 1 y)) (* (cos (/ 1 x)) y)) in x
13.822 * [taylor]: Taking taylor expansion of (sinh (/ 1 y)) in x
13.822 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2)
13.822 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in x
13.822 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
13.823 * [taylor]: Taking taylor expansion of (/ 1 y) in x
13.823 * [taylor]: Taking taylor expansion of y in x
13.823 * [backup-simplify]: Simplify y into y
13.823 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
13.823 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
13.823 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in x
13.823 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x
13.823 * [taylor]: Taking taylor expansion of (/ 1 y) in x
13.823 * [taylor]: Taking taylor expansion of y in x
13.823 * [backup-simplify]: Simplify y into y
13.823 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
13.823 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
13.823 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
13.823 * [backup-simplify]: Simplify (exp (- (/ 1 y))) into (exp (- (/ 1 y)))
13.823 * [taylor]: Taking taylor expansion of 2 in x
13.823 * [backup-simplify]: Simplify 2 into 2
13.823 * [backup-simplify]: Simplify (- (exp (- (/ 1 y)))) into (- (exp (- (/ 1 y))))
13.823 * [backup-simplify]: Simplify (+ (exp (/ 1 y)) (- (exp (- (/ 1 y))))) into (- (exp (/ 1 y)) (exp (- (/ 1 y))))
13.823 * [backup-simplify]: Simplify (/ (- (exp (/ 1 y)) (exp (- (/ 1 y)))) 2) into (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y)))))
13.823 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) y) in x
13.823 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x
13.823 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.823 * [taylor]: Taking taylor expansion of x in x
13.823 * [backup-simplify]: Simplify 0 into 0
13.823 * [backup-simplify]: Simplify 1 into 1
13.824 * [backup-simplify]: Simplify (/ 1 1) into 1
13.824 * [backup-simplify]: Simplify (cos (/ 1 x)) into (cos (/ 1 x))
13.824 * [taylor]: Taking taylor expansion of y in x
13.824 * [backup-simplify]: Simplify y into y
13.824 * [backup-simplify]: Simplify (* (cos (/ 1 x)) y) into (* (cos (/ 1 x)) y)
13.824 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (* (cos (/ 1 x)) y)) into (* 1/2 (* (cos (/ 1 x)) (* y (- (exp (/ 1 y)) (exp (- (/ 1 y)))))))
13.824 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (/ 1 x)) (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))))) in y
13.824 * [taylor]: Taking taylor expansion of 1/2 in y
13.824 * [backup-simplify]: Simplify 1/2 into 1/2
13.824 * [taylor]: Taking taylor expansion of (* (cos (/ 1 x)) (* y (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) in y
13.824 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in y
13.824 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.824 * [taylor]: Taking taylor expansion of x in y
13.824 * [backup-simplify]: Simplify x into x
13.824 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.824 * [backup-simplify]: Simplify (cos (/ 1 x)) into (cos (/ 1 x))
13.824 * [backup-simplify]: Simplify (sin (/ 1 x)) into (sin (/ 1 x))
13.824 * [taylor]: Taking taylor expansion of (* y (- (exp (/ 1 y)) (exp (- (/ 1 y))))) in y
13.824 * [taylor]: Taking taylor expansion of y in y
13.824 * [backup-simplify]: Simplify 0 into 0
13.824 * [backup-simplify]: Simplify 1 into 1
13.824 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y)) (exp (- (/ 1 y)))) in y
13.824 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
13.824 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.824 * [taylor]: Taking taylor expansion of y in y
13.824 * [backup-simplify]: Simplify 0 into 0
13.824 * [backup-simplify]: Simplify 1 into 1
13.825 * [backup-simplify]: Simplify (/ 1 1) into 1
13.825 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
13.825 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y
13.825 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
13.825 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.825 * [taylor]: Taking taylor expansion of y in y
13.825 * [backup-simplify]: Simplify 0 into 0
13.825 * [backup-simplify]: Simplify 1 into 1
13.825 * [backup-simplify]: Simplify (/ 1 1) into 1
13.826 * [backup-simplify]: Simplify (- 1) into -1
13.826 * [backup-simplify]: Simplify (exp (- (/ 1 y))) into (exp (- (/ 1 y)))
13.826 * [backup-simplify]: Simplify (* (cos (/ 1 x)) 1) into (cos (/ 1 x))
13.826 * [backup-simplify]: Simplify (* (sin (/ 1 x)) 0) into 0
13.826 * [backup-simplify]: Simplify (- 0) into 0
13.826 * [backup-simplify]: Simplify (+ (cos (/ 1 x)) 0) into (cos (/ 1 x))
13.826 * [backup-simplify]: Simplify (- (exp (- (/ 1 y)))) into (- (exp (- (/ 1 y))))
13.826 * [backup-simplify]: Simplify (+ (exp (/ 1 y)) (- (exp (- (/ 1 y))))) into (- (exp (/ 1 y)) (exp (- (/ 1 y))))
13.827 * [backup-simplify]: Simplify (* 0 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) into 0
13.827 * [backup-simplify]: Simplify (* (cos (/ 1 x)) 0) into 0
13.827 * [backup-simplify]: Simplify (* 1/2 0) into 0
13.827 * [backup-simplify]: Simplify 0 into 0
13.827 * [backup-simplify]: Simplify (+ (* (cos (/ 1 x)) 0) (* 0 y)) into 0
13.827 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
13.828 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 1) 1)))) into 0
13.828 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
13.828 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
13.828 * [backup-simplify]: Simplify (- 0) into 0
13.829 * [backup-simplify]: Simplify (* (exp (- (/ 1 y))) (+ (* (/ (pow 0 1) 1)))) into 0
13.829 * [backup-simplify]: Simplify (- 0) into 0
13.829 * [backup-simplify]: Simplify (+ 0 0) into 0
13.830 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)))) into 0
13.830 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (* 0 (* (cos (/ 1 x)) y))) into 0
13.830 * [taylor]: Taking taylor expansion of 0 in y
13.830 * [backup-simplify]: Simplify 0 into 0
13.830 * [backup-simplify]: Simplify 0 into 0
13.830 * [backup-simplify]: Simplify (- 0) into 0
13.831 * [backup-simplify]: Simplify (+ 0 0) into 0
13.831 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (exp (/ 1 y)) (exp (- (/ 1 y)))))) into (- (exp (/ 1 y)) (exp (- (/ 1 y))))
13.831 * [backup-simplify]: Simplify (+ 0) into 0
13.832 * [backup-simplify]: Simplify (+ (* (cos (/ 1 x)) 0) (* 0 1)) into 0
13.832 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
13.832 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
13.833 * [backup-simplify]: Simplify (+ (* (sin (/ 1 x)) 0) (* 0 0)) into 0
13.833 * [backup-simplify]: Simplify (- 0) into 0
13.833 * [backup-simplify]: Simplify (+ 0 0) into 0
13.834 * [backup-simplify]: Simplify (+ (* (cos (/ 1 x)) (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (* 0 0)) into (- (* (exp (/ 1 y)) (cos (/ 1 x))) (* (exp (- (/ 1 y))) (cos (/ 1 x))))
13.834 * [backup-simplify]: Simplify (+ (* 1/2 (- (* (exp (/ 1 y)) (cos (/ 1 x))) (* (exp (- (/ 1 y))) (cos (/ 1 x))))) (* 0 0)) into (- (* 1/2 (* (exp (/ 1 y)) (cos (/ 1 x)))) (* 1/2 (* (exp (- (/ 1 y))) (cos (/ 1 x)))))
13.834 * [backup-simplify]: Simplify (- (* 1/2 (* (exp (/ 1 y)) (cos (/ 1 x)))) (* 1/2 (* (exp (- (/ 1 y))) (cos (/ 1 x))))) into (- (* 1/2 (* (exp (/ 1 y)) (cos (/ 1 x)))) (* 1/2 (* (exp (- (/ 1 y))) (cos (/ 1 x)))))
13.835 * [backup-simplify]: Simplify (+ (* (cos (/ 1 x)) 0) (+ (* 0 0) (* 0 y))) into 0
13.835 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
13.836 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
13.836 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
13.836 * [backup-simplify]: Simplify (- 0) into 0
13.836 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
13.836 * [backup-simplify]: Simplify (- 0) into 0
13.837 * [backup-simplify]: Simplify (* (exp (- (/ 1 y))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
13.838 * [backup-simplify]: Simplify (- 0) into 0
13.838 * [backup-simplify]: Simplify (+ 0 0) into 0
13.839 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.839 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 0) (* 0 (* (cos (/ 1 x)) y)))) into 0
13.839 * [taylor]: Taking taylor expansion of 0 in y
13.839 * [backup-simplify]: Simplify 0 into 0
13.839 * [backup-simplify]: Simplify 0 into 0
13.839 * [backup-simplify]: Simplify 0 into 0
13.839 * [backup-simplify]: Simplify (- 0) into 0
13.840 * [backup-simplify]: Simplify (+ 0 0) into 0
13.840 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ 1 y)) (exp (- (/ 1 y))))))) into 0
13.841 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
13.841 * [backup-simplify]: Simplify (+ (* (cos (/ 1 x)) 0) (+ (* 0 0) (* 0 1))) into 0
13.841 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
13.842 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
13.842 * [backup-simplify]: Simplify (+ (* (sin (/ 1 x)) 0) (+ (* 0 0) (* 0 0))) into 0
13.842 * [backup-simplify]: Simplify (- 0) into 0
13.843 * [backup-simplify]: Simplify (+ 0 0) into 0
13.843 * [backup-simplify]: Simplify (+ (* (cos (/ 1 x)) 0) (+ (* 0 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (* 0 0))) into 0
13.844 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 (- (* (exp (/ 1 y)) (cos (/ 1 x))) (* (exp (- (/ 1 y))) (cos (/ 1 x))))) (* 0 0))) into 0
13.844 * [backup-simplify]: Simplify 0 into 0
13.844 * [backup-simplify]: Simplify (+ (* (cos (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
13.845 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
13.846 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
13.846 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
13.846 * [backup-simplify]: Simplify (- 0) into 0
13.846 * [backup-simplify]: Simplify (- 0) into 0
13.846 * [backup-simplify]: Simplify (- 0) into 0
13.847 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
13.847 * [backup-simplify]: Simplify (- 0) into 0
13.848 * [backup-simplify]: Simplify (* (exp (- (/ 1 y))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
13.848 * [backup-simplify]: Simplify (- 0) into 0
13.848 * [backup-simplify]: Simplify (+ 0 0) into 0
13.850 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.850 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 y)) (exp (- (/ 1 y))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ 1 x)) y))))) into 0
13.850 * [taylor]: Taking taylor expansion of 0 in y
13.850 * [backup-simplify]: Simplify 0 into 0
13.850 * [backup-simplify]: Simplify 0 into 0
13.850 * [backup-simplify]: Simplify 0 into 0
13.850 * [backup-simplify]: Simplify 0 into 0
13.851 * [backup-simplify]: Simplify (* (- (* 1/2 (* (exp (/ 1 (/ 1 y))) (cos (/ 1 (/ 1 x))))) (* 1/2 (* (exp (- (/ 1 (/ 1 y)))) (cos (/ 1 (/ 1 x)))))) (* (/ 1 y) 1)) into (/ (- (* 1/2 (* (exp y) (cos x))) (* 1/2 (* (exp (- y)) (cos x)))) y)
13.851 * [backup-simplify]: Simplify (* (cos (/ 1 (- x))) (/ (sinh (/ 1 (- y))) (/ 1 (- y)))) into (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))))
13.851 * [approximate]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in (x y) around 0
13.851 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in y
13.851 * [taylor]: Taking taylor expansion of -1 in y
13.851 * [backup-simplify]: Simplify -1 into -1
13.851 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in y
13.851 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in y
13.851 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
13.851 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in y
13.851 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
13.851 * [taylor]: Taking taylor expansion of (/ -1 y) in y
13.851 * [taylor]: Taking taylor expansion of -1 in y
13.851 * [backup-simplify]: Simplify -1 into -1
13.851 * [taylor]: Taking taylor expansion of y in y
13.851 * [backup-simplify]: Simplify 0 into 0
13.851 * [backup-simplify]: Simplify 1 into 1
13.852 * [backup-simplify]: Simplify (/ -1 1) into -1
13.852 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
13.852 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in y
13.852 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in y
13.852 * [taylor]: Taking taylor expansion of (/ -1 y) in y
13.852 * [taylor]: Taking taylor expansion of -1 in y
13.852 * [backup-simplify]: Simplify -1 into -1
13.852 * [taylor]: Taking taylor expansion of y in y
13.852 * [backup-simplify]: Simplify 0 into 0
13.852 * [backup-simplify]: Simplify 1 into 1
13.852 * [backup-simplify]: Simplify (/ -1 1) into -1
13.852 * [backup-simplify]: Simplify (- -1) into 1
13.852 * [backup-simplify]: Simplify (exp (- (/ -1 y))) into (exp (/ 1 y))
13.852 * [taylor]: Taking taylor expansion of 2 in y
13.852 * [backup-simplify]: Simplify 2 into 2
13.853 * [backup-simplify]: Simplify (- (exp (/ 1 y))) into (- (exp (/ 1 y)))
13.853 * [backup-simplify]: Simplify (+ (exp (/ -1 y)) (- (exp (/ 1 y)))) into (- (exp (/ -1 y)) (exp (/ 1 y)))
13.853 * [backup-simplify]: Simplify (/ (- (exp (/ -1 y)) (exp (/ 1 y))) 2) into (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y))))
13.853 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in y
13.853 * [taylor]: Taking taylor expansion of y in y
13.853 * [backup-simplify]: Simplify 0 into 0
13.853 * [backup-simplify]: Simplify 1 into 1
13.853 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
13.853 * [taylor]: Taking taylor expansion of (/ -1 x) in y
13.853 * [taylor]: Taking taylor expansion of -1 in y
13.853 * [backup-simplify]: Simplify -1 into -1
13.853 * [taylor]: Taking taylor expansion of x in y
13.853 * [backup-simplify]: Simplify x into x
13.853 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
13.853 * [backup-simplify]: Simplify (cos (/ -1 x)) into (cos (/ -1 x))
13.853 * [backup-simplify]: Simplify (sin (/ -1 x)) into (sin (/ -1 x))
13.853 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x
13.853 * [taylor]: Taking taylor expansion of -1 in x
13.853 * [backup-simplify]: Simplify -1 into -1
13.853 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x
13.853 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
13.853 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
13.853 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
13.853 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
13.853 * [taylor]: Taking taylor expansion of (/ -1 y) in x
13.853 * [taylor]: Taking taylor expansion of -1 in x
13.853 * [backup-simplify]: Simplify -1 into -1
13.853 * [taylor]: Taking taylor expansion of y in x
13.853 * [backup-simplify]: Simplify y into y
13.853 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
13.853 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
13.853 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
13.853 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
13.853 * [taylor]: Taking taylor expansion of (/ -1 y) in x
13.853 * [taylor]: Taking taylor expansion of -1 in x
13.854 * [backup-simplify]: Simplify -1 into -1
13.854 * [taylor]: Taking taylor expansion of y in x
13.854 * [backup-simplify]: Simplify y into y
13.854 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
13.854 * [backup-simplify]: Simplify (- (/ -1 y)) into (/ 1 y)
13.854 * [backup-simplify]: Simplify (- (/ -1 y)) into (/ 1 y)
13.854 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
13.854 * [taylor]: Taking taylor expansion of 2 in x
13.854 * [backup-simplify]: Simplify 2 into 2
13.854 * [backup-simplify]: Simplify (- (exp (/ 1 y))) into (- (exp (/ 1 y)))
13.854 * [backup-simplify]: Simplify (+ (exp (/ -1 y)) (- (exp (/ 1 y)))) into (- (exp (/ -1 y)) (exp (/ 1 y)))
13.854 * [backup-simplify]: Simplify (/ (- (exp (/ -1 y)) (exp (/ 1 y))) 2) into (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y))))
13.854 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x
13.854 * [taylor]: Taking taylor expansion of y in x
13.854 * [backup-simplify]: Simplify y into y
13.854 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
13.854 * [taylor]: Taking taylor expansion of (/ -1 x) in x
13.854 * [taylor]: Taking taylor expansion of -1 in x
13.854 * [backup-simplify]: Simplify -1 into -1
13.854 * [taylor]: Taking taylor expansion of x in x
13.854 * [backup-simplify]: Simplify 0 into 0
13.854 * [backup-simplify]: Simplify 1 into 1
13.854 * [backup-simplify]: Simplify (/ -1 1) into -1
13.855 * [backup-simplify]: Simplify (cos (/ -1 x)) into (cos (/ -1 x))
13.855 * [taylor]: Taking taylor expansion of (* -1 (* (sinh (/ -1 y)) (* y (cos (/ -1 x))))) in x
13.855 * [taylor]: Taking taylor expansion of -1 in x
13.855 * [backup-simplify]: Simplify -1 into -1
13.855 * [taylor]: Taking taylor expansion of (* (sinh (/ -1 y)) (* y (cos (/ -1 x)))) in x
13.855 * [taylor]: Taking taylor expansion of (sinh (/ -1 y)) in x
13.855 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 y)) (exp (- (/ -1 y)))) 2)
13.855 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (- (/ -1 y)))) in x
13.855 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
13.855 * [taylor]: Taking taylor expansion of (/ -1 y) in x
13.855 * [taylor]: Taking taylor expansion of -1 in x
13.855 * [backup-simplify]: Simplify -1 into -1
13.855 * [taylor]: Taking taylor expansion of y in x
13.855 * [backup-simplify]: Simplify y into y
13.855 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
13.855 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
13.855 * [taylor]: Taking taylor expansion of (exp (- (/ -1 y))) in x
13.855 * [taylor]: Taking taylor expansion of (- (/ -1 y)) in x
13.855 * [taylor]: Taking taylor expansion of (/ -1 y) in x
13.855 * [taylor]: Taking taylor expansion of -1 in x
13.855 * [backup-simplify]: Simplify -1 into -1
13.855 * [taylor]: Taking taylor expansion of y in x
13.855 * [backup-simplify]: Simplify y into y
13.855 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
13.855 * [backup-simplify]: Simplify (- (/ -1 y)) into (/ 1 y)
13.855 * [backup-simplify]: Simplify (- (/ -1 y)) into (/ 1 y)
13.855 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
13.855 * [taylor]: Taking taylor expansion of 2 in x
13.855 * [backup-simplify]: Simplify 2 into 2
13.855 * [backup-simplify]: Simplify (- (exp (/ 1 y))) into (- (exp (/ 1 y)))
13.855 * [backup-simplify]: Simplify (+ (exp (/ -1 y)) (- (exp (/ 1 y)))) into (- (exp (/ -1 y)) (exp (/ 1 y)))
13.856 * [backup-simplify]: Simplify (/ (- (exp (/ -1 y)) (exp (/ 1 y))) 2) into (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y))))
13.856 * [taylor]: Taking taylor expansion of (* y (cos (/ -1 x))) in x
13.856 * [taylor]: Taking taylor expansion of y in x
13.856 * [backup-simplify]: Simplify y into y
13.856 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x
13.856 * [taylor]: Taking taylor expansion of (/ -1 x) in x
13.856 * [taylor]: Taking taylor expansion of -1 in x
13.856 * [backup-simplify]: Simplify -1 into -1
13.856 * [taylor]: Taking taylor expansion of x in x
13.856 * [backup-simplify]: Simplify 0 into 0
13.856 * [backup-simplify]: Simplify 1 into 1
13.856 * [backup-simplify]: Simplify (/ -1 1) into -1
13.856 * [backup-simplify]: Simplify (cos (/ -1 x)) into (cos (/ -1 x))
13.856 * [backup-simplify]: Simplify (* y (cos (/ -1 x))) into (* (cos (/ -1 x)) y)
13.856 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (* (cos (/ -1 x)) y)) into (* 1/2 (* (cos (/ -1 x)) (* (- (exp (/ -1 y)) (exp (/ 1 y))) y)))
13.857 * [backup-simplify]: Simplify (* -1 (* 1/2 (* (cos (/ -1 x)) (* (- (exp (/ -1 y)) (exp (/ 1 y))) y)))) into (* -1/2 (* y (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x)))))
13.857 * [taylor]: Taking taylor expansion of (* -1/2 (* y (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))))) in y
13.857 * [taylor]: Taking taylor expansion of -1/2 in y
13.857 * [backup-simplify]: Simplify -1/2 into -1/2
13.857 * [taylor]: Taking taylor expansion of (* y (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x)))) in y
13.857 * [taylor]: Taking taylor expansion of y in y
13.857 * [backup-simplify]: Simplify 0 into 0
13.857 * [backup-simplify]: Simplify 1 into 1
13.857 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))) in y
13.857 * [taylor]: Taking taylor expansion of (- (exp (/ -1 y)) (exp (/ 1 y))) in y
13.857 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
13.857 * [taylor]: Taking taylor expansion of (/ -1 y) in y
13.857 * [taylor]: Taking taylor expansion of -1 in y
13.857 * [backup-simplify]: Simplify -1 into -1
13.857 * [taylor]: Taking taylor expansion of y in y
13.857 * [backup-simplify]: Simplify 0 into 0
13.857 * [backup-simplify]: Simplify 1 into 1
13.857 * [backup-simplify]: Simplify (/ -1 1) into -1
13.857 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
13.857 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
13.857 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.857 * [taylor]: Taking taylor expansion of y in y
13.857 * [backup-simplify]: Simplify 0 into 0
13.857 * [backup-simplify]: Simplify 1 into 1
13.857 * [backup-simplify]: Simplify (/ 1 1) into 1
13.858 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
13.858 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in y
13.858 * [taylor]: Taking taylor expansion of (/ -1 x) in y
13.858 * [taylor]: Taking taylor expansion of -1 in y
13.858 * [backup-simplify]: Simplify -1 into -1
13.858 * [taylor]: Taking taylor expansion of x in y
13.858 * [backup-simplify]: Simplify x into x
13.858 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
13.858 * [backup-simplify]: Simplify (cos (/ -1 x)) into (cos (/ -1 x))
13.858 * [backup-simplify]: Simplify (sin (/ -1 x)) into (sin (/ -1 x))
13.858 * [backup-simplify]: Simplify (- (exp (/ 1 y))) into (- (exp (/ 1 y)))
13.858 * [backup-simplify]: Simplify (+ (exp (/ -1 y)) (- (exp (/ 1 y)))) into (- (exp (/ -1 y)) (exp (/ 1 y)))
13.858 * [backup-simplify]: Simplify (* (cos (/ -1 x)) 1) into (cos (/ -1 x))
13.858 * [backup-simplify]: Simplify (* (sin (/ -1 x)) 0) into 0
13.858 * [backup-simplify]: Simplify (- 0) into 0
13.858 * [backup-simplify]: Simplify (+ (cos (/ -1 x)) 0) into (cos (/ -1 x))
13.859 * [backup-simplify]: Simplify (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))) into (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x)))
13.859 * [backup-simplify]: Simplify (* 0 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x)))) into 0
13.859 * [backup-simplify]: Simplify (* -1/2 0) into 0
13.859 * [backup-simplify]: Simplify 0 into 0
13.859 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (cos (/ -1 x)))) into 0
13.859 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
13.860 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 1) 1)))) into 0
13.860 * [backup-simplify]: Simplify (- (/ -1 y)) into (/ 1 y)
13.860 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
13.860 * [backup-simplify]: Simplify (- 0) into 0
13.861 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 1) 1)))) into 0
13.861 * [backup-simplify]: Simplify (- 0) into 0
13.861 * [backup-simplify]: Simplify (+ 0 0) into 0
13.862 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)))) into 0
13.862 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) (* 0 (* (cos (/ -1 x)) y))) into 0
13.862 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* 1/2 (* (cos (/ -1 x)) (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))))) into 0
13.862 * [taylor]: Taking taylor expansion of 0 in y
13.862 * [backup-simplify]: Simplify 0 into 0
13.862 * [backup-simplify]: Simplify 0 into 0
13.863 * [backup-simplify]: Simplify (+ 0) into 0
13.863 * [backup-simplify]: Simplify (+ (* (cos (/ -1 x)) 0) (* 0 1)) into 0
13.863 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
13.864 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
13.864 * [backup-simplify]: Simplify (+ (* (sin (/ -1 x)) 0) (* 0 0)) into 0
13.864 * [backup-simplify]: Simplify (- 0) into 0
13.864 * [backup-simplify]: Simplify (+ 0 0) into 0
13.865 * [backup-simplify]: Simplify (- 0) into 0
13.865 * [backup-simplify]: Simplify (+ 0 0) into 0
13.865 * [backup-simplify]: Simplify (+ (* (- (exp (/ -1 y)) (exp (/ 1 y))) 0) (* 0 (cos (/ -1 x)))) into 0
13.865 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x))))) into (- (* (exp (/ -1 y)) (cos (/ -1 x))) (* (exp (/ 1 y)) (cos (/ -1 x))))
13.866 * [backup-simplify]: Simplify (+ (* -1/2 (- (* (exp (/ -1 y)) (cos (/ -1 x))) (* (exp (/ 1 y)) (cos (/ -1 x))))) (* 0 0)) into (- (* 1/2 (* (exp (/ 1 y)) (cos (/ -1 x)))) (* 1/2 (* (exp (/ -1 y)) (cos (/ -1 x)))))
13.866 * [backup-simplify]: Simplify (- (* 1/2 (* (exp (/ 1 y)) (cos (/ -1 x)))) (* 1/2 (* (exp (/ -1 y)) (cos (/ -1 x))))) into (- (* 1/2 (* (exp (/ 1 y)) (cos (/ -1 x)))) (* 1/2 (* (exp (/ -1 y)) (cos (/ -1 x)))))
13.866 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (cos (/ -1 x))))) into 0
13.867 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
13.867 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
13.867 * [backup-simplify]: Simplify (- (/ -1 y)) into (/ 1 y)
13.868 * [backup-simplify]: Simplify (- 0) into 0
13.868 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
13.868 * [backup-simplify]: Simplify (- 0) into 0
13.869 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
13.869 * [backup-simplify]: Simplify (- 0) into 0
13.869 * [backup-simplify]: Simplify (+ 0 0) into 0
13.870 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.871 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) (+ (* 0 0) (* 0 (* (cos (/ -1 x)) y)))) into 0
13.871 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* 1/2 (* (cos (/ -1 x)) (* (- (exp (/ -1 y)) (exp (/ 1 y))) y)))))) into 0
13.871 * [taylor]: Taking taylor expansion of 0 in y
13.871 * [backup-simplify]: Simplify 0 into 0
13.871 * [backup-simplify]: Simplify 0 into 0
13.871 * [backup-simplify]: Simplify 0 into 0
13.872 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
13.872 * [backup-simplify]: Simplify (+ (* (cos (/ -1 x)) 0) (+ (* 0 0) (* 0 1))) into 0
13.873 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
13.873 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
13.873 * [backup-simplify]: Simplify (+ (* (sin (/ -1 x)) 0) (+ (* 0 0) (* 0 0))) into 0
13.874 * [backup-simplify]: Simplify (- 0) into 0
13.874 * [backup-simplify]: Simplify (+ 0 0) into 0
13.874 * [backup-simplify]: Simplify (- 0) into 0
13.874 * [backup-simplify]: Simplify (+ 0 0) into 0
13.875 * [backup-simplify]: Simplify (+ (* (- (exp (/ -1 y)) (exp (/ 1 y))) 0) (+ (* 0 0) (* 0 (cos (/ -1 x))))) into 0
13.876 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* (- (exp (/ -1 y)) (exp (/ 1 y))) (cos (/ -1 x)))))) into 0
13.876 * [backup-simplify]: Simplify (+ (* -1/2 0) (+ (* 0 (- (* (exp (/ -1 y)) (cos (/ -1 x))) (* (exp (/ 1 y)) (cos (/ -1 x))))) (* 0 0))) into 0
13.876 * [backup-simplify]: Simplify 0 into 0
13.877 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 x)))))) into 0
13.877 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
13.878 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
13.878 * [backup-simplify]: Simplify (- (/ -1 y)) into (/ 1 y)
13.879 * [backup-simplify]: Simplify (- 0) into 0
13.879 * [backup-simplify]: Simplify (- 0) into 0
13.879 * [backup-simplify]: Simplify (- 0) into 0
13.879 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
13.879 * [backup-simplify]: Simplify (- 0) into 0
13.880 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
13.881 * [backup-simplify]: Simplify (- 0) into 0
13.881 * [backup-simplify]: Simplify (+ 0 0) into 0
13.882 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
13.883 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 y)) (exp (/ 1 y)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ -1 x)) y))))) into 0
13.884 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (* (cos (/ -1 x)) (* (- (exp (/ -1 y)) (exp (/ 1 y))) y))))))) into 0
13.884 * [taylor]: Taking taylor expansion of 0 in y
13.884 * [backup-simplify]: Simplify 0 into 0
13.884 * [backup-simplify]: Simplify 0 into 0
13.884 * [backup-simplify]: Simplify 0 into 0
13.884 * [backup-simplify]: Simplify 0 into 0
13.884 * [backup-simplify]: Simplify (* (- (* 1/2 (* (exp (/ 1 (/ 1 (- y)))) (cos (/ -1 (/ 1 (- x)))))) (* 1/2 (* (exp (/ -1 (/ 1 (- y)))) (cos (/ -1 (/ 1 (- x))))))) (* (/ 1 (- y)) 1)) into (* -1 (/ (- (* 1/2 (* (exp (* -1 y)) (cos x))) (* 1/2 (* (exp y) (cos x)))) y))
13.884 * * * [progress]: simplifying candidates
13.885 * [simplify]: Simplifying:
  (- (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))
  (- (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)
  (* (cos x) (/ (sinh y) y))
  (+ (log (cos x)) (- (log (sinh y)) (log y)))
  (+ (log (cos x)) (log (/ (sinh y) y)))
  (log (* (cos x) (/ (sinh y) y)))
  (exp (* (cos x) (/ (sinh y) y)))
  (* (* (* (cos x) (cos x)) (cos x)) (/ (* (* (sinh y) (sinh y)) (sinh y)) (* (* y y) y)))
  (* (* (* (cos x) (cos x)) (cos x)) (* (* (/ (sinh y) y) (/ (sinh y) y)) (/ (sinh y) y)))
  (* (cbrt (* (cos x) (/ (sinh y) y))) (cbrt (* (cos x) (/ (sinh y) y))))
  (cbrt (* (cos x) (/ (sinh y) y)))
  (* (* (* (cos x) (/ (sinh y) y)) (* (cos x) (/ (sinh y) y))) (* (cos x) (/ (sinh y) y)))
  (sqrt (* (cos x) (/ (sinh y) y)))
  (sqrt (* (cos x) (/ (sinh y) y)))
  (* (sqrt (cos x)) (sqrt (/ (sinh y) y)))
  (* (sqrt (cos x)) (sqrt (/ (sinh y) y)))
  (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y)))
  (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y)))
  (* (cos x) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))))
  (* (cos x) (sqrt (/ (sinh y) y)))
  (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y))))
  (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)))
  (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) 1))
  (* (cos x) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))))
  (* (cos x) (/ (sqrt (sinh y)) (sqrt y)))
  (* (cos x) (/ (sqrt (sinh y)) 1))
  (* (cos x) (/ 1 (* (cbrt y) (cbrt y))))
  (* (cos x) (/ 1 (sqrt y)))
  (* (cos x) (/ 1 1))
  (* (cos x) 1)
  (* (cos x) (sinh y))
  (* (cbrt (cos x)) (/ (sinh y) y))
  (* (sqrt (cos x)) (/ (sinh y) y))
  (* (cos x) (/ (sinh y) y))
  (* (cos x) (sinh 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))))
  (+ (* 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))
  (- (+ (* 1/6 (pow y 2)) 1) (* 1/2 (pow x 2)))
  (/ (- (* 1/2 (* (exp y) (cos x))) (* 1/2 (* (exp (- y)) (cos x)))) y)
  (* -1 (/ (- (* 1/2 (* (exp (* -1 y)) (cos x))) (* 1/2 (* (exp y) (cos x)))) y))
13.887 * * [simplify]: Extracting # 0 : cost  0
13.887 * * [simplify]: Extracting # 1 : cost  0
13.887 * * [simplify]: Extracting # 2 : cost  0
13.887 * * [simplify]: Extracting # 3 : cost  0
13.888 * * [simplify]: Extracting # 4 : cost  0
13.888 * * [simplify]: Extracting # 5 : cost  0
13.888 * * [simplify]: Extracting # 6 : cost  0
13.888 * * [simplify]: Extracting # 7 : cost  0
13.888 * * [simplify]: Extracting # 8 : cost  0
13.889 * * [simplify]: iteration  0 :  138  enodes  (cost  730 )
13.927 * * [simplify]: Extracting # 0 : cost  0
13.928 * * [simplify]: Extracting # 1 : cost  0
13.928 * * [simplify]: Extracting # 2 : cost  0
13.929 * * [simplify]: Extracting # 3 : cost  0
13.929 * * [simplify]: Extracting # 4 : cost  0
13.930 * * [simplify]: iteration  1 :  313  enodes  (cost  687 )
14.072 * * [simplify]: Extracting # 0 : cost  0
14.077 * * [simplify]: Extracting # 1 : cost  0
14.078 * * [simplify]: Extracting # 2 : cost  0
14.080 * * [simplify]: Extracting # 3 : cost  0
14.081 * * [simplify]: Extracting # 4 : cost  0
14.082 * * [simplify]: iteration  2 :  1003  enodes  (cost  621 )
15.140 * * [simplify]: Extracting # 0 : cost  0
15.146 * * [simplify]: Extracting # 1 : cost  0
15.151 * * [simplify]: Extracting # 2 : cost  0
15.156 * * [simplify]: Extracting # 3 : cost  0
15.160 * * [simplify]: Extracting # 4 : cost  0
15.169 * * [simplify]: iteration  3 :  3457  enodes  (cost  609 )
16.148 * * [simplify]: Extracting # 0 : cost  0
16.155 * * [simplify]: Extracting # 1 : cost  0
16.164 * * [simplify]: Extracting # 2 : cost  0
16.170 * * [simplify]: iteration done:  5001  enodes  (cost  609 )
16.170 * [simplify]: Simplified to:
  (- (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))
  (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)) (/ (sqrt y) (cbrt (sinh 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)
  (/ (cos x) (/ y (sinh y)))
  (log (* (cos x) (/ (sinh y) y)))
  (log (* (cos x) (/ (sinh y) y)))
  (log (* (cos x) (/ (sinh y) y)))
  (exp (* (cos x) (/ (sinh y) y)))
  (pow (* (cos x) (/ (sinh y) y)) 3)
  (pow (* (cos x) (/ (sinh y) y)) 3)
  (* (cbrt (* (cos x) (/ (sinh y) y))) (cbrt (* (cos x) (/ (sinh y) y))))
  (cbrt (* (cos x) (/ (sinh y) y)))
  (pow (* (cos x) (/ (sinh y) y)) 3)
  (sqrt (* (cos x) (/ (sinh y) y)))
  (sqrt (* (cos x) (/ (sinh y) y)))
  (* (sqrt (cos x)) (sqrt (/ (sinh y) y)))
  (* (sqrt (cos x)) (sqrt (/ (sinh y) y)))
  (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y)))
  (* (sqrt (cos x)) (/ (sqrt (sinh y)) (sqrt y)))
  (* (cos x) (* (cbrt (/ (sinh y) y)) (cbrt (/ (sinh y) y))))
  (* (cos x) (sqrt (/ (sinh y) y)))
  (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (* (cbrt y) (cbrt y))))
  (* (cos x) (/ (* (cbrt (sinh y)) (cbrt (sinh y))) (sqrt y)))
  (* (* (cbrt (sinh y)) (cbrt (sinh y))) (cos x))
  (* (cos x) (/ (sqrt (sinh y)) (* (cbrt y) (cbrt y))))
  (* (cos x) (/ (sqrt (sinh y)) (sqrt y)))
  (* (sqrt (sinh y)) (cos x))
  (/ (cos x) (* (cbrt y) (cbrt y)))
  (/ (cos x) (sqrt y))
  (cos x)
  (cos x)
  (* (cos x) (sinh y))
  (* (cbrt (cos x)) (/ (sinh y) y))
  (* (sqrt (cos x)) (/ (sinh y) y))
  (/ (cos x) (/ y (sinh y)))
  (* (cos x) (sinh y))
  (+ (* 1/6 (pow y 3)) (+ (* 1/120 (pow y 5)) y))
  (* 1/2 (- (exp y) (exp (- y))))
  (* 1/2 (- (exp y) (exp (- y))))
  (+ (* 1/6 (pow y 2)) (+ (* 1/120 (pow y 4)) 1))
  (/ (* 1/2 (- (exp y) (exp (- y)))) y)
  (/ (* 1/2 (- (exp y) (exp (- y)))) y)
  (- (+ (* 1/6 (pow y 2)) 1) (* 1/2 (pow x 2)))
  (/ (cos x) (/ y (sinh y)))
  (/ (cos x) (/ y (sinh y)))
16.170 * * * [progress]: adding candidates to table
16.392 * [progress]: [Phase 3 of 3] Extracting.
16.395 * [simplify]: Simplifying:
  (* (cos x) (/ (sinh y) y))
16.395 * * [simplify]: Extracting # 0 : cost  0
16.396 * * [simplify]: Extracting # 1 : cost  0
16.396 * * [simplify]: Extracting # 2 : cost  0
16.396 * * [simplify]: Extracting # 3 : cost  0
16.396 * * [simplify]: Extracting # 4 : cost  0
16.396 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
16.396 * * [simplify]: Extracting # 0 : cost  0
16.396 * * [simplify]: iteration  1 :  7  enodes  (cost  7 )
16.397 * * [simplify]: Extracting # 0 : cost  0
16.397 * * [simplify]: iteration done:  7  enodes  (cost  7 )
16.397 * [simplify]: Simplified to:
  (* (cos x) (/ (sinh y) y))
20.385 * [regime-testing]: End program error score: 0.01274219433724288