15.060 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.037 * * * [progress]: [2/2] Setting up program.
0.040 * [progress]: [Phase 2 of 3] Improving.
0.040 * [simplify]: Simplifying:
  (+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y)))))
0.040 * * [simplify]: Extracting # 0 : cost  0
0.040 * * [simplify]: Extracting # 1 : cost  0
0.040 * * [simplify]: Extracting # 2 : cost  0
0.040 * * [simplify]: Extracting # 3 : cost  0
0.040 * * [simplify]: Extracting # 4 : cost  0
0.041 * * [simplify]: Extracting # 5 : cost  0
0.041 * * [simplify]: Extracting # 6 : cost  0
0.041 * * [simplify]: iteration  0 :  12  enodes  (cost  15 )
0.043 * * [simplify]: Extracting # 0 : cost  0
0.043 * * [simplify]: Extracting # 1 : cost  0
0.043 * * [simplify]: Extracting # 2 : cost  0
0.043 * * [simplify]: Extracting # 3 : cost  0
0.043 * * [simplify]: Extracting # 4 : cost  0
0.043 * * [simplify]: Extracting # 5 : cost  0
0.043 * * [simplify]: Extracting # 6 : cost  0
0.044 * * [simplify]: Extracting # 7 : cost  0
0.044 * * [simplify]: iteration  1 :  54  enodes  (cost  15 )
0.054 * * [simplify]: Extracting # 0 : cost  0
0.055 * * [simplify]: Extracting # 1 : cost  0
0.055 * * [simplify]: Extracting # 2 : cost  0
0.055 * * [simplify]: iteration  2 :  142  enodes  (cost  15 )
0.091 * * [simplify]: Extracting # 0 : cost  0
0.091 * * [simplify]: Extracting # 1 : cost  0
0.092 * * [simplify]: Extracting # 2 : cost  0
0.092 * * [simplify]: Extracting # 3 : cost  0
0.092 * * [simplify]: Extracting # 4 : cost  0
0.093 * * [simplify]: iteration  3 :  322  enodes  (cost  15 )
0.193 * * [simplify]: Extracting # 0 : cost  0
0.194 * * [simplify]: Extracting # 1 : cost  0
0.195 * * [simplify]: Extracting # 2 : cost  0
0.196 * * [simplify]: Extracting # 3 : cost  0
0.197 * * [simplify]: iteration  4 :  944  enodes  (cost  15 )
1.028 * * [simplify]: Extracting # 0 : cost  0
1.040 * * [simplify]: Extracting # 1 : cost  0
1.046 * * [simplify]: Extracting # 2 : cost  0
1.053 * * [simplify]: Extracting # 3 : cost  0
1.059 * * [simplify]: Extracting # 4 : cost  0
1.065 * * [simplify]: iteration  5 :  3134  enodes  (cost  15 )
2.503 * * [simplify]: Extracting # 0 : cost  0
2.516 * * [simplify]: Extracting # 1 : cost  0
2.525 * * [simplify]: Extracting # 2 : cost  0
2.535 * * [simplify]: Extracting # 3 : cost  0
2.554 * * [simplify]: Extracting # 4 : cost  0
2.565 * * [simplify]: iteration done:  5000  enodes  (cost  15 )
2.565 * [simplify]: Simplified to:
  (+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y)))))
2.566 * * [progress]: iteration 1 / 4
2.566 * * * [progress]: picking best candidate
2.571 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))))>
2.571 * * * [progress]: localizing error
2.599 * * * [progress]: generating rewritten candidates
2.599 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
2.694 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
2.697 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
2.708 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2)
2.717 * * * [progress]: generating series expansions
2.717 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
2.717 * [backup-simplify]: Simplify (* (* y z) (- (tanh (/ t y)) (tanh (/ x y)))) into (* (- (tanh (/ t y)) (tanh (/ x y))) (* z y))
2.717 * [approximate]: Taking taylor expansion of (* (- (tanh (/ t y)) (tanh (/ x y))) (* z y)) in (y z t x) around 0
2.717 * [taylor]: Taking taylor expansion of (* (- (tanh (/ t y)) (tanh (/ x y))) (* z y)) in x
2.717 * [taylor]: Taking taylor expansion of (- (tanh (/ t y)) (tanh (/ x y))) in x
2.717 * [taylor]: Taking taylor expansion of (tanh (/ t y)) in x
2.720 * [taylor]: Rewrote expression to (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (/ t y)) (exp (- (/ t y)))))
2.720 * [taylor]: Taking taylor expansion of (- (exp (/ t y)) (exp (- (/ t y)))) in x
2.720 * [taylor]: Taking taylor expansion of (exp (/ t y)) in x
2.720 * [taylor]: Taking taylor expansion of (/ t y) in x
2.720 * [taylor]: Taking taylor expansion of t in x
2.720 * [backup-simplify]: Simplify t into t
2.720 * [taylor]: Taking taylor expansion of y in x
2.720 * [backup-simplify]: Simplify y into y
2.720 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.720 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y))
2.720 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in x
2.720 * [taylor]: Taking taylor expansion of (- (/ t y)) in x
2.720 * [taylor]: Taking taylor expansion of (/ t y) in x
2.720 * [taylor]: Taking taylor expansion of t in x
2.720 * [backup-simplify]: Simplify t into t
2.720 * [taylor]: Taking taylor expansion of y in x
2.720 * [backup-simplify]: Simplify y into y
2.720 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.721 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.721 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.721 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y)))
2.721 * [taylor]: Taking taylor expansion of (+ (exp (/ t y)) (exp (- (/ t y)))) in x
2.721 * [taylor]: Taking taylor expansion of (exp (/ t y)) in x
2.721 * [taylor]: Taking taylor expansion of (/ t y) in x
2.721 * [taylor]: Taking taylor expansion of t in x
2.721 * [backup-simplify]: Simplify t into t
2.721 * [taylor]: Taking taylor expansion of y in x
2.721 * [backup-simplify]: Simplify y into y
2.721 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.721 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y))
2.721 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in x
2.721 * [taylor]: Taking taylor expansion of (- (/ t y)) in x
2.721 * [taylor]: Taking taylor expansion of (/ t y) in x
2.721 * [taylor]: Taking taylor expansion of t in x
2.721 * [backup-simplify]: Simplify t into t
2.721 * [taylor]: Taking taylor expansion of y in x
2.721 * [backup-simplify]: Simplify y into y
2.721 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.721 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.722 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.722 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y)))
2.722 * [backup-simplify]: Simplify (- (exp (- (/ t y)))) into (- (exp (- (/ t y))))
2.722 * [backup-simplify]: Simplify (+ (exp (/ t y)) (- (exp (- (/ t y))))) into (- (exp (/ t y)) (exp (- (/ t y))))
2.722 * [backup-simplify]: Simplify (+ (exp (/ t y)) (exp (- (/ t y)))) into (+ (exp (- (/ t y))) (exp (/ t y)))
2.723 * [backup-simplify]: Simplify (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (- (/ t y))) (exp (/ t y)))) into (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (- (/ t y))) (exp (/ t y))))
2.723 * [taylor]: Taking taylor expansion of (tanh (/ x y)) in x
2.723 * [taylor]: Rewrote expression to (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (/ x y)) (exp (- (/ x y)))))
2.723 * [taylor]: Taking taylor expansion of (- (exp (/ x y)) (exp (- (/ x y)))) in x
2.723 * [taylor]: Taking taylor expansion of (exp (/ x y)) in x
2.723 * [taylor]: Taking taylor expansion of (/ x y) in x
2.723 * [taylor]: Taking taylor expansion of x in x
2.723 * [backup-simplify]: Simplify 0 into 0
2.723 * [backup-simplify]: Simplify 1 into 1
2.723 * [taylor]: Taking taylor expansion of y in x
2.723 * [backup-simplify]: Simplify y into y
2.723 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.723 * [backup-simplify]: Simplify (exp 0) into 1
2.723 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in x
2.723 * [taylor]: Taking taylor expansion of (- (/ x y)) in x
2.723 * [taylor]: Taking taylor expansion of (/ x y) in x
2.723 * [taylor]: Taking taylor expansion of x in x
2.723 * [backup-simplify]: Simplify 0 into 0
2.723 * [backup-simplify]: Simplify 1 into 1
2.723 * [taylor]: Taking taylor expansion of y in x
2.723 * [backup-simplify]: Simplify y into y
2.723 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.723 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.724 * [backup-simplify]: Simplify (exp 0) into 1
2.724 * [taylor]: Taking taylor expansion of (+ (exp (/ x y)) (exp (- (/ x y)))) in x
2.724 * [taylor]: Taking taylor expansion of (exp (/ x y)) in x
2.724 * [taylor]: Taking taylor expansion of (/ x y) in x
2.724 * [taylor]: Taking taylor expansion of x in x
2.724 * [backup-simplify]: Simplify 0 into 0
2.724 * [backup-simplify]: Simplify 1 into 1
2.724 * [taylor]: Taking taylor expansion of y in x
2.724 * [backup-simplify]: Simplify y into y
2.724 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.724 * [backup-simplify]: Simplify (exp 0) into 1
2.724 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in x
2.724 * [taylor]: Taking taylor expansion of (- (/ x y)) in x
2.724 * [taylor]: Taking taylor expansion of (/ x y) in x
2.724 * [taylor]: Taking taylor expansion of x in x
2.724 * [backup-simplify]: Simplify 0 into 0
2.724 * [backup-simplify]: Simplify 1 into 1
2.724 * [taylor]: Taking taylor expansion of y in x
2.724 * [backup-simplify]: Simplify y into y
2.724 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.724 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.724 * [backup-simplify]: Simplify (exp 0) into 1
2.725 * [backup-simplify]: Simplify (- 1) into -1
2.726 * [backup-simplify]: Simplify (+ 1 -1) into 0
2.726 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (/ 1 y) 1) 1)))) into (/ 1 y)
2.726 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.726 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (- (/ 1 y)) 1) 1)))) into (/ -1 y)
2.726 * [backup-simplify]: Simplify (- (/ -1 y)) into (/ 1 y)
2.727 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 y)) into (* 2 (/ 1 y))
2.727 * [backup-simplify]: Simplify (+ 1 1) into 2
2.727 * [backup-simplify]: Simplify (/ (* 2 (/ 1 y)) 2) into (/ 1 y)
2.727 * [taylor]: Taking taylor expansion of (* z y) in x
2.727 * [taylor]: Taking taylor expansion of z in x
2.727 * [backup-simplify]: Simplify z into z
2.727 * [taylor]: Taking taylor expansion of y in x
2.727 * [backup-simplify]: Simplify y into y
2.727 * [taylor]: Taking taylor expansion of (* (- (tanh (/ t y)) (tanh (/ x y))) (* z y)) in t
2.727 * [taylor]: Taking taylor expansion of (- (tanh (/ t y)) (tanh (/ x y))) in t
2.727 * [taylor]: Taking taylor expansion of (tanh (/ t y)) in t
2.727 * [taylor]: Rewrote expression to (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (/ t y)) (exp (- (/ t y)))))
2.727 * [taylor]: Taking taylor expansion of (- (exp (/ t y)) (exp (- (/ t y)))) in t
2.728 * [taylor]: Taking taylor expansion of (exp (/ t y)) in t
2.728 * [taylor]: Taking taylor expansion of (/ t y) in t
2.728 * [taylor]: Taking taylor expansion of t in t
2.728 * [backup-simplify]: Simplify 0 into 0
2.728 * [backup-simplify]: Simplify 1 into 1
2.728 * [taylor]: Taking taylor expansion of y in t
2.728 * [backup-simplify]: Simplify y into y
2.728 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.728 * [backup-simplify]: Simplify (exp 0) into 1
2.728 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in t
2.728 * [taylor]: Taking taylor expansion of (- (/ t y)) in t
2.728 * [taylor]: Taking taylor expansion of (/ t y) in t
2.728 * [taylor]: Taking taylor expansion of t in t
2.728 * [backup-simplify]: Simplify 0 into 0
2.728 * [backup-simplify]: Simplify 1 into 1
2.728 * [taylor]: Taking taylor expansion of y in t
2.728 * [backup-simplify]: Simplify y into y
2.728 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.728 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.728 * [backup-simplify]: Simplify (exp 0) into 1
2.728 * [taylor]: Taking taylor expansion of (+ (exp (/ t y)) (exp (- (/ t y)))) in t
2.728 * [taylor]: Taking taylor expansion of (exp (/ t y)) in t
2.728 * [taylor]: Taking taylor expansion of (/ t y) in t
2.728 * [taylor]: Taking taylor expansion of t in t
2.728 * [backup-simplify]: Simplify 0 into 0
2.728 * [backup-simplify]: Simplify 1 into 1
2.728 * [taylor]: Taking taylor expansion of y in t
2.728 * [backup-simplify]: Simplify y into y
2.728 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.728 * [backup-simplify]: Simplify (exp 0) into 1
2.729 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in t
2.729 * [taylor]: Taking taylor expansion of (- (/ t y)) in t
2.729 * [taylor]: Taking taylor expansion of (/ t y) in t
2.729 * [taylor]: Taking taylor expansion of t in t
2.729 * [backup-simplify]: Simplify 0 into 0
2.729 * [backup-simplify]: Simplify 1 into 1
2.729 * [taylor]: Taking taylor expansion of y in t
2.729 * [backup-simplify]: Simplify y into y
2.729 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.729 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.729 * [backup-simplify]: Simplify (exp 0) into 1
2.730 * [backup-simplify]: Simplify (- 1) into -1
2.730 * [backup-simplify]: Simplify (+ 1 -1) into 0
2.731 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (/ 1 y) 1) 1)))) into (/ 1 y)
2.731 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.731 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (- (/ 1 y)) 1) 1)))) into (/ -1 y)
2.731 * [backup-simplify]: Simplify (- (/ -1 y)) into (/ 1 y)
2.731 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 y)) into (* 2 (/ 1 y))
2.732 * [backup-simplify]: Simplify (+ 1 1) into 2
2.732 * [backup-simplify]: Simplify (/ (* 2 (/ 1 y)) 2) into (/ 1 y)
2.732 * [taylor]: Taking taylor expansion of (tanh (/ x y)) in t
2.732 * [taylor]: Rewrote expression to (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (/ x y)) (exp (- (/ x y)))))
2.732 * [taylor]: Taking taylor expansion of (- (exp (/ x y)) (exp (- (/ x y)))) in t
2.732 * [taylor]: Taking taylor expansion of (exp (/ x y)) in t
2.732 * [taylor]: Taking taylor expansion of (/ x y) in t
2.732 * [taylor]: Taking taylor expansion of x in t
2.732 * [backup-simplify]: Simplify x into x
2.732 * [taylor]: Taking taylor expansion of y in t
2.732 * [backup-simplify]: Simplify y into y
2.732 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.732 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.732 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in t
2.732 * [taylor]: Taking taylor expansion of (- (/ x y)) in t
2.732 * [taylor]: Taking taylor expansion of (/ x y) in t
2.732 * [taylor]: Taking taylor expansion of x in t
2.732 * [backup-simplify]: Simplify x into x
2.732 * [taylor]: Taking taylor expansion of y in t
2.732 * [backup-simplify]: Simplify y into y
2.733 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.733 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.733 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.733 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.733 * [taylor]: Taking taylor expansion of (+ (exp (/ x y)) (exp (- (/ x y)))) in t
2.733 * [taylor]: Taking taylor expansion of (exp (/ x y)) in t
2.733 * [taylor]: Taking taylor expansion of (/ x y) in t
2.733 * [taylor]: Taking taylor expansion of x in t
2.733 * [backup-simplify]: Simplify x into x
2.733 * [taylor]: Taking taylor expansion of y in t
2.733 * [backup-simplify]: Simplify y into y
2.733 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.733 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.733 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in t
2.733 * [taylor]: Taking taylor expansion of (- (/ x y)) in t
2.733 * [taylor]: Taking taylor expansion of (/ x y) in t
2.733 * [taylor]: Taking taylor expansion of x in t
2.733 * [backup-simplify]: Simplify x into x
2.733 * [taylor]: Taking taylor expansion of y in t
2.733 * [backup-simplify]: Simplify y into y
2.734 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.734 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.734 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.734 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.734 * [backup-simplify]: Simplify (- (exp (- (/ x y)))) into (- (exp (- (/ x y))))
2.734 * [backup-simplify]: Simplify (+ (exp (/ x y)) (- (exp (- (/ x y))))) into (- (exp (/ x y)) (exp (- (/ x y))))
2.734 * [backup-simplify]: Simplify (+ (exp (/ x y)) (exp (- (/ x y)))) into (+ (exp (- (/ x y))) (exp (/ x y)))
2.735 * [backup-simplify]: Simplify (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (- (/ x y))) (exp (/ x y)))) into (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (- (/ x y))) (exp (/ x y))))
2.735 * [taylor]: Taking taylor expansion of (* z y) in t
2.735 * [taylor]: Taking taylor expansion of z in t
2.735 * [backup-simplify]: Simplify z into z
2.735 * [taylor]: Taking taylor expansion of y in t
2.735 * [backup-simplify]: Simplify y into y
2.735 * [taylor]: Taking taylor expansion of (* (- (tanh (/ t y)) (tanh (/ x y))) (* z y)) in z
2.735 * [taylor]: Taking taylor expansion of (- (tanh (/ t y)) (tanh (/ x y))) in z
2.735 * [taylor]: Taking taylor expansion of (tanh (/ t y)) in z
2.735 * [taylor]: Rewrote expression to (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (/ t y)) (exp (- (/ t y)))))
2.735 * [taylor]: Taking taylor expansion of (- (exp (/ t y)) (exp (- (/ t y)))) in z
2.735 * [taylor]: Taking taylor expansion of (exp (/ t y)) in z
2.735 * [taylor]: Taking taylor expansion of (/ t y) in z
2.735 * [taylor]: Taking taylor expansion of t in z
2.735 * [backup-simplify]: Simplify t into t
2.736 * [taylor]: Taking taylor expansion of y in z
2.736 * [backup-simplify]: Simplify y into y
2.736 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.736 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y))
2.736 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in z
2.736 * [taylor]: Taking taylor expansion of (- (/ t y)) in z
2.736 * [taylor]: Taking taylor expansion of (/ t y) in z
2.736 * [taylor]: Taking taylor expansion of t in z
2.736 * [backup-simplify]: Simplify t into t
2.736 * [taylor]: Taking taylor expansion of y in z
2.736 * [backup-simplify]: Simplify y into y
2.736 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.736 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.736 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.736 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y)))
2.736 * [taylor]: Taking taylor expansion of (+ (exp (/ t y)) (exp (- (/ t y)))) in z
2.736 * [taylor]: Taking taylor expansion of (exp (/ t y)) in z
2.736 * [taylor]: Taking taylor expansion of (/ t y) in z
2.736 * [taylor]: Taking taylor expansion of t in z
2.736 * [backup-simplify]: Simplify t into t
2.736 * [taylor]: Taking taylor expansion of y in z
2.737 * [backup-simplify]: Simplify y into y
2.737 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.737 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y))
2.737 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in z
2.737 * [taylor]: Taking taylor expansion of (- (/ t y)) in z
2.737 * [taylor]: Taking taylor expansion of (/ t y) in z
2.737 * [taylor]: Taking taylor expansion of t in z
2.737 * [backup-simplify]: Simplify t into t
2.737 * [taylor]: Taking taylor expansion of y in z
2.737 * [backup-simplify]: Simplify y into y
2.737 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.737 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.737 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.737 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y)))
2.737 * [backup-simplify]: Simplify (- (exp (- (/ t y)))) into (- (exp (- (/ t y))))
2.738 * [backup-simplify]: Simplify (+ (exp (/ t y)) (- (exp (- (/ t y))))) into (- (exp (/ t y)) (exp (- (/ t y))))
2.738 * [backup-simplify]: Simplify (+ (exp (/ t y)) (exp (- (/ t y)))) into (+ (exp (- (/ t y))) (exp (/ t y)))
2.738 * [backup-simplify]: Simplify (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (- (/ t y))) (exp (/ t y)))) into (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (- (/ t y))) (exp (/ t y))))
2.738 * [taylor]: Taking taylor expansion of (tanh (/ x y)) in z
2.738 * [taylor]: Rewrote expression to (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (/ x y)) (exp (- (/ x y)))))
2.739 * [taylor]: Taking taylor expansion of (- (exp (/ x y)) (exp (- (/ x y)))) in z
2.739 * [taylor]: Taking taylor expansion of (exp (/ x y)) in z
2.739 * [taylor]: Taking taylor expansion of (/ x y) in z
2.739 * [taylor]: Taking taylor expansion of x in z
2.739 * [backup-simplify]: Simplify x into x
2.739 * [taylor]: Taking taylor expansion of y in z
2.739 * [backup-simplify]: Simplify y into y
2.739 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.739 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.739 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in z
2.739 * [taylor]: Taking taylor expansion of (- (/ x y)) in z
2.739 * [taylor]: Taking taylor expansion of (/ x y) in z
2.739 * [taylor]: Taking taylor expansion of x in z
2.739 * [backup-simplify]: Simplify x into x
2.739 * [taylor]: Taking taylor expansion of y in z
2.739 * [backup-simplify]: Simplify y into y
2.739 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.739 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.739 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.739 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.739 * [taylor]: Taking taylor expansion of (+ (exp (/ x y)) (exp (- (/ x y)))) in z
2.739 * [taylor]: Taking taylor expansion of (exp (/ x y)) in z
2.740 * [taylor]: Taking taylor expansion of (/ x y) in z
2.740 * [taylor]: Taking taylor expansion of x in z
2.740 * [backup-simplify]: Simplify x into x
2.740 * [taylor]: Taking taylor expansion of y in z
2.740 * [backup-simplify]: Simplify y into y
2.740 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.740 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.740 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in z
2.740 * [taylor]: Taking taylor expansion of (- (/ x y)) in z
2.740 * [taylor]: Taking taylor expansion of (/ x y) in z
2.740 * [taylor]: Taking taylor expansion of x in z
2.740 * [backup-simplify]: Simplify x into x
2.740 * [taylor]: Taking taylor expansion of y in z
2.740 * [backup-simplify]: Simplify y into y
2.740 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.740 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.740 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.740 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.740 * [backup-simplify]: Simplify (- (exp (- (/ x y)))) into (- (exp (- (/ x y))))
2.741 * [backup-simplify]: Simplify (+ (exp (/ x y)) (- (exp (- (/ x y))))) into (- (exp (/ x y)) (exp (- (/ x y))))
2.741 * [backup-simplify]: Simplify (+ (exp (/ x y)) (exp (- (/ x y)))) into (+ (exp (- (/ x y))) (exp (/ x y)))
2.741 * [backup-simplify]: Simplify (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (- (/ x y))) (exp (/ x y)))) into (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (- (/ x y))) (exp (/ x y))))
2.741 * [taylor]: Taking taylor expansion of (* z y) in z
2.741 * [taylor]: Taking taylor expansion of z in z
2.741 * [backup-simplify]: Simplify 0 into 0
2.741 * [backup-simplify]: Simplify 1 into 1
2.741 * [taylor]: Taking taylor expansion of y in z
2.741 * [backup-simplify]: Simplify y into y
2.741 * [taylor]: Taking taylor expansion of (* (- (tanh (/ t y)) (tanh (/ x y))) (* z y)) in y
2.741 * [taylor]: Taking taylor expansion of (- (tanh (/ t y)) (tanh (/ x y))) in y
2.742 * [taylor]: Taking taylor expansion of (tanh (/ t y)) in y
2.742 * [taylor]: Rewrote expression to (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (/ t y)) (exp (- (/ t y)))))
2.742 * [taylor]: Taking taylor expansion of (- (exp (/ t y)) (exp (- (/ t y)))) in y
2.742 * [taylor]: Taking taylor expansion of (exp (/ t y)) in y
2.742 * [taylor]: Taking taylor expansion of (/ t y) in y
2.742 * [taylor]: Taking taylor expansion of t in y
2.742 * [backup-simplify]: Simplify t into t
2.742 * [taylor]: Taking taylor expansion of y in y
2.742 * [backup-simplify]: Simplify 0 into 0
2.742 * [backup-simplify]: Simplify 1 into 1
2.742 * [backup-simplify]: Simplify (/ t 1) into t
2.742 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y))
2.742 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in y
2.742 * [taylor]: Taking taylor expansion of (- (/ t y)) in y
2.742 * [taylor]: Taking taylor expansion of (/ t y) in y
2.742 * [taylor]: Taking taylor expansion of t in y
2.742 * [backup-simplify]: Simplify t into t
2.743 * [taylor]: Taking taylor expansion of y in y
2.743 * [backup-simplify]: Simplify 0 into 0
2.743 * [backup-simplify]: Simplify 1 into 1
2.743 * [backup-simplify]: Simplify (/ t 1) into t
2.743 * [backup-simplify]: Simplify (- t) into (- t)
2.743 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y)))
2.743 * [taylor]: Taking taylor expansion of (+ (exp (/ t y)) (exp (- (/ t y)))) in y
2.743 * [taylor]: Taking taylor expansion of (exp (/ t y)) in y
2.743 * [taylor]: Taking taylor expansion of (/ t y) in y
2.743 * [taylor]: Taking taylor expansion of t in y
2.743 * [backup-simplify]: Simplify t into t
2.743 * [taylor]: Taking taylor expansion of y in y
2.743 * [backup-simplify]: Simplify 0 into 0
2.743 * [backup-simplify]: Simplify 1 into 1
2.743 * [backup-simplify]: Simplify (/ t 1) into t
2.743 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y))
2.743 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in y
2.743 * [taylor]: Taking taylor expansion of (- (/ t y)) in y
2.743 * [taylor]: Taking taylor expansion of (/ t y) in y
2.743 * [taylor]: Taking taylor expansion of t in y
2.743 * [backup-simplify]: Simplify t into t
2.743 * [taylor]: Taking taylor expansion of y in y
2.743 * [backup-simplify]: Simplify 0 into 0
2.743 * [backup-simplify]: Simplify 1 into 1
2.743 * [backup-simplify]: Simplify (/ t 1) into t
2.744 * [backup-simplify]: Simplify (- t) into (- t)
2.744 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y)))
2.744 * [backup-simplify]: Simplify (- (exp (- (/ t y)))) into (- (exp (- (/ t y))))
2.744 * [backup-simplify]: Simplify (+ (exp (/ t y)) (- (exp (- (/ t y))))) into (- (exp (/ t y)) (exp (- (/ t y))))
2.744 * [backup-simplify]: Simplify (+ (exp (/ t y)) (exp (- (/ t y)))) into (+ (exp (- (/ t y))) (exp (/ t y)))
2.745 * [backup-simplify]: Simplify (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (- (/ t y))) (exp (/ t y)))) into (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (- (/ t y))) (exp (/ t y))))
2.745 * [taylor]: Taking taylor expansion of (tanh (/ x y)) in y
2.745 * [taylor]: Rewrote expression to (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (/ x y)) (exp (- (/ x y)))))
2.745 * [taylor]: Taking taylor expansion of (- (exp (/ x y)) (exp (- (/ x y)))) in y
2.745 * [taylor]: Taking taylor expansion of (exp (/ x y)) in y
2.745 * [taylor]: Taking taylor expansion of (/ x y) in y
2.745 * [taylor]: Taking taylor expansion of x in y
2.745 * [backup-simplify]: Simplify x into x
2.745 * [taylor]: Taking taylor expansion of y in y
2.745 * [backup-simplify]: Simplify 0 into 0
2.745 * [backup-simplify]: Simplify 1 into 1
2.745 * [backup-simplify]: Simplify (/ x 1) into x
2.745 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.745 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in y
2.745 * [taylor]: Taking taylor expansion of (- (/ x y)) in y
2.745 * [taylor]: Taking taylor expansion of (/ x y) in y
2.745 * [taylor]: Taking taylor expansion of x in y
2.745 * [backup-simplify]: Simplify x into x
2.745 * [taylor]: Taking taylor expansion of y in y
2.745 * [backup-simplify]: Simplify 0 into 0
2.745 * [backup-simplify]: Simplify 1 into 1
2.745 * [backup-simplify]: Simplify (/ x 1) into x
2.746 * [backup-simplify]: Simplify (- x) into (- x)
2.746 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.746 * [taylor]: Taking taylor expansion of (+ (exp (/ x y)) (exp (- (/ x y)))) in y
2.746 * [taylor]: Taking taylor expansion of (exp (/ x y)) in y
2.746 * [taylor]: Taking taylor expansion of (/ x y) in y
2.746 * [taylor]: Taking taylor expansion of x in y
2.746 * [backup-simplify]: Simplify x into x
2.746 * [taylor]: Taking taylor expansion of y in y
2.746 * [backup-simplify]: Simplify 0 into 0
2.746 * [backup-simplify]: Simplify 1 into 1
2.746 * [backup-simplify]: Simplify (/ x 1) into x
2.746 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.746 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in y
2.746 * [taylor]: Taking taylor expansion of (- (/ x y)) in y
2.746 * [taylor]: Taking taylor expansion of (/ x y) in y
2.746 * [taylor]: Taking taylor expansion of x in y
2.746 * [backup-simplify]: Simplify x into x
2.746 * [taylor]: Taking taylor expansion of y in y
2.746 * [backup-simplify]: Simplify 0 into 0
2.746 * [backup-simplify]: Simplify 1 into 1
2.746 * [backup-simplify]: Simplify (/ x 1) into x
2.746 * [backup-simplify]: Simplify (- x) into (- x)
2.746 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.747 * [backup-simplify]: Simplify (- (exp (- (/ x y)))) into (- (exp (- (/ x y))))
2.747 * [backup-simplify]: Simplify (+ (exp (/ x y)) (- (exp (- (/ x y))))) into (- (exp (/ x y)) (exp (- (/ x y))))
2.747 * [backup-simplify]: Simplify (+ (exp (/ x y)) (exp (- (/ x y)))) into (+ (exp (- (/ x y))) (exp (/ x y)))
2.747 * [backup-simplify]: Simplify (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (- (/ x y))) (exp (/ x y)))) into (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (- (/ x y))) (exp (/ x y))))
2.747 * [taylor]: Taking taylor expansion of (* z y) in y
2.747 * [taylor]: Taking taylor expansion of z in y
2.747 * [backup-simplify]: Simplify z into z
2.747 * [taylor]: Taking taylor expansion of y in y
2.747 * [backup-simplify]: Simplify 0 into 0
2.748 * [backup-simplify]: Simplify 1 into 1
2.748 * [taylor]: Taking taylor expansion of (* (- (tanh (/ t y)) (tanh (/ x y))) (* z y)) in y
2.748 * [taylor]: Taking taylor expansion of (- (tanh (/ t y)) (tanh (/ x y))) in y
2.748 * [taylor]: Taking taylor expansion of (tanh (/ t y)) in y
2.748 * [taylor]: Rewrote expression to (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (/ t y)) (exp (- (/ t y)))))
2.748 * [taylor]: Taking taylor expansion of (- (exp (/ t y)) (exp (- (/ t y)))) in y
2.748 * [taylor]: Taking taylor expansion of (exp (/ t y)) in y
2.748 * [taylor]: Taking taylor expansion of (/ t y) in y
2.748 * [taylor]: Taking taylor expansion of t in y
2.748 * [backup-simplify]: Simplify t into t
2.748 * [taylor]: Taking taylor expansion of y in y
2.748 * [backup-simplify]: Simplify 0 into 0
2.748 * [backup-simplify]: Simplify 1 into 1
2.748 * [backup-simplify]: Simplify (/ t 1) into t
2.748 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y))
2.748 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in y
2.748 * [taylor]: Taking taylor expansion of (- (/ t y)) in y
2.748 * [taylor]: Taking taylor expansion of (/ t y) in y
2.748 * [taylor]: Taking taylor expansion of t in y
2.748 * [backup-simplify]: Simplify t into t
2.748 * [taylor]: Taking taylor expansion of y in y
2.748 * [backup-simplify]: Simplify 0 into 0
2.748 * [backup-simplify]: Simplify 1 into 1
2.748 * [backup-simplify]: Simplify (/ t 1) into t
2.748 * [backup-simplify]: Simplify (- t) into (- t)
2.749 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y)))
2.749 * [taylor]: Taking taylor expansion of (+ (exp (/ t y)) (exp (- (/ t y)))) in y
2.749 * [taylor]: Taking taylor expansion of (exp (/ t y)) in y
2.749 * [taylor]: Taking taylor expansion of (/ t y) in y
2.749 * [taylor]: Taking taylor expansion of t in y
2.749 * [backup-simplify]: Simplify t into t
2.749 * [taylor]: Taking taylor expansion of y in y
2.749 * [backup-simplify]: Simplify 0 into 0
2.749 * [backup-simplify]: Simplify 1 into 1
2.749 * [backup-simplify]: Simplify (/ t 1) into t
2.749 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y))
2.749 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in y
2.749 * [taylor]: Taking taylor expansion of (- (/ t y)) in y
2.749 * [taylor]: Taking taylor expansion of (/ t y) in y
2.749 * [taylor]: Taking taylor expansion of t in y
2.749 * [backup-simplify]: Simplify t into t
2.749 * [taylor]: Taking taylor expansion of y in y
2.749 * [backup-simplify]: Simplify 0 into 0
2.749 * [backup-simplify]: Simplify 1 into 1
2.749 * [backup-simplify]: Simplify (/ t 1) into t
2.749 * [backup-simplify]: Simplify (- t) into (- t)
2.749 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y)))
2.749 * [backup-simplify]: Simplify (- (exp (- (/ t y)))) into (- (exp (- (/ t y))))
2.750 * [backup-simplify]: Simplify (+ (exp (/ t y)) (- (exp (- (/ t y))))) into (- (exp (/ t y)) (exp (- (/ t y))))
2.750 * [backup-simplify]: Simplify (+ (exp (/ t y)) (exp (- (/ t y)))) into (+ (exp (- (/ t y))) (exp (/ t y)))
2.750 * [backup-simplify]: Simplify (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (- (/ t y))) (exp (/ t y)))) into (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (- (/ t y))) (exp (/ t y))))
2.750 * [taylor]: Taking taylor expansion of (tanh (/ x y)) in y
2.750 * [taylor]: Rewrote expression to (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (/ x y)) (exp (- (/ x y)))))
2.750 * [taylor]: Taking taylor expansion of (- (exp (/ x y)) (exp (- (/ x y)))) in y
2.751 * [taylor]: Taking taylor expansion of (exp (/ x y)) in y
2.751 * [taylor]: Taking taylor expansion of (/ x y) in y
2.751 * [taylor]: Taking taylor expansion of x in y
2.751 * [backup-simplify]: Simplify x into x
2.751 * [taylor]: Taking taylor expansion of y in y
2.751 * [backup-simplify]: Simplify 0 into 0
2.751 * [backup-simplify]: Simplify 1 into 1
2.751 * [backup-simplify]: Simplify (/ x 1) into x
2.751 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.751 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in y
2.751 * [taylor]: Taking taylor expansion of (- (/ x y)) in y
2.751 * [taylor]: Taking taylor expansion of (/ x y) in y
2.751 * [taylor]: Taking taylor expansion of x in y
2.751 * [backup-simplify]: Simplify x into x
2.751 * [taylor]: Taking taylor expansion of y in y
2.751 * [backup-simplify]: Simplify 0 into 0
2.751 * [backup-simplify]: Simplify 1 into 1
2.751 * [backup-simplify]: Simplify (/ x 1) into x
2.751 * [backup-simplify]: Simplify (- x) into (- x)
2.751 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.751 * [taylor]: Taking taylor expansion of (+ (exp (/ x y)) (exp (- (/ x y)))) in y
2.751 * [taylor]: Taking taylor expansion of (exp (/ x y)) in y
2.751 * [taylor]: Taking taylor expansion of (/ x y) in y
2.751 * [taylor]: Taking taylor expansion of x in y
2.751 * [backup-simplify]: Simplify x into x
2.751 * [taylor]: Taking taylor expansion of y in y
2.751 * [backup-simplify]: Simplify 0 into 0
2.751 * [backup-simplify]: Simplify 1 into 1
2.752 * [backup-simplify]: Simplify (/ x 1) into x
2.752 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.752 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in y
2.752 * [taylor]: Taking taylor expansion of (- (/ x y)) in y
2.752 * [taylor]: Taking taylor expansion of (/ x y) in y
2.752 * [taylor]: Taking taylor expansion of x in y
2.752 * [backup-simplify]: Simplify x into x
2.752 * [taylor]: Taking taylor expansion of y in y
2.752 * [backup-simplify]: Simplify 0 into 0
2.752 * [backup-simplify]: Simplify 1 into 1
2.752 * [backup-simplify]: Simplify (/ x 1) into x
2.752 * [backup-simplify]: Simplify (- x) into (- x)
2.752 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.752 * [backup-simplify]: Simplify (- (exp (- (/ x y)))) into (- (exp (- (/ x y))))
2.752 * [backup-simplify]: Simplify (+ (exp (/ x y)) (- (exp (- (/ x y))))) into (- (exp (/ x y)) (exp (- (/ x y))))
2.753 * [backup-simplify]: Simplify (+ (exp (/ x y)) (exp (- (/ x y)))) into (+ (exp (- (/ x y))) (exp (/ x y)))
2.753 * [backup-simplify]: Simplify (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (- (/ x y))) (exp (/ x y)))) into (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (- (/ x y))) (exp (/ x y))))
2.753 * [taylor]: Taking taylor expansion of (* z y) in y
2.753 * [taylor]: Taking taylor expansion of z in y
2.753 * [backup-simplify]: Simplify z into z
2.753 * [taylor]: Taking taylor expansion of y in y
2.753 * [backup-simplify]: Simplify 0 into 0
2.753 * [backup-simplify]: Simplify 1 into 1
2.753 * [backup-simplify]: Simplify (- (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (- (/ x y))) (exp (/ x y))))) into (- (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))))
2.754 * [backup-simplify]: Simplify (+ (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (- (/ t y))) (exp (/ t y)))) (- (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))))) into (- (+ (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) (/ (exp (/ t y)) (+ (exp (- (/ t y))) (exp (/ t y))))) (+ (/ (exp (- (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y)))) (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y))))))
2.754 * [backup-simplify]: Simplify (* z 0) into 0
2.755 * [backup-simplify]: Simplify (* (- (+ (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) (/ (exp (/ t y)) (+ (exp (- (/ t y))) (exp (/ t y))))) (+ (/ (exp (- (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y)))) (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))))) 0) into 0
2.755 * [taylor]: Taking taylor expansion of 0 in z
2.755 * [backup-simplify]: Simplify 0 into 0
2.755 * [taylor]: Taking taylor expansion of 0 in t
2.755 * [backup-simplify]: Simplify 0 into 0
2.755 * [taylor]: Taking taylor expansion of 0 in x
2.755 * [backup-simplify]: Simplify 0 into 0
2.755 * [backup-simplify]: Simplify 0 into 0
2.755 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
2.756 * [backup-simplify]: Simplify (- 0) into 0
2.756 * [backup-simplify]: Simplify (+ 0 0) into 0
2.756 * [backup-simplify]: Simplify (+ 0 0) into 0
2.757 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (- (/ t y))) (exp (/ t y)))) (+ (* (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (- (/ t y))) (exp (/ t y)))) (/ 0 (+ (exp (- (/ t y))) (exp (/ t y))))))) into 0
2.757 * [backup-simplify]: Simplify (- 0) into 0
2.757 * [backup-simplify]: Simplify (+ 0 0) into 0
2.757 * [backup-simplify]: Simplify (+ 0 0) into 0
2.758 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (- (/ x y))) (exp (/ x y)))) (+ (* (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (- (/ x y))) (exp (/ x y)))) (/ 0 (+ (exp (- (/ x y))) (exp (/ x y))))))) into 0
2.758 * [backup-simplify]: Simplify (- 0) into 0
2.758 * [backup-simplify]: Simplify (+ 0 0) into 0
2.759 * [backup-simplify]: Simplify (+ (* (- (+ (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) (/ (exp (/ t y)) (+ (exp (- (/ t y))) (exp (/ t y))))) (+ (/ (exp (- (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y)))) (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))))) z) (* 0 0)) into (- (+ (/ (* z (exp (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y)))) (/ (* z (exp (- (/ x y)))) (+ (exp (- (/ x y))) (exp (/ x y))))) (+ (/ (* z (exp (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) (/ (* (exp (- (/ t y))) z) (+ (exp (- (/ t y))) (exp (/ t y))))))
2.759 * [taylor]: Taking taylor expansion of (- (+ (/ (* z (exp (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y)))) (/ (* z (exp (- (/ x y)))) (+ (exp (- (/ x y))) (exp (/ x y))))) (+ (/ (* z (exp (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) (/ (* (exp (- (/ t y))) z) (+ (exp (- (/ t y))) (exp (/ t y)))))) in z
2.759 * [taylor]: Taking taylor expansion of (+ (/ (* z (exp (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y)))) (/ (* z (exp (- (/ x y)))) (+ (exp (- (/ x y))) (exp (/ x y))))) in z
2.759 * [taylor]: Taking taylor expansion of (/ (* z (exp (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y)))) in z
2.759 * [taylor]: Taking taylor expansion of (* z (exp (/ t y))) in z
2.760 * [taylor]: Taking taylor expansion of z in z
2.760 * [backup-simplify]: Simplify 0 into 0
2.760 * [backup-simplify]: Simplify 1 into 1
2.760 * [taylor]: Taking taylor expansion of (exp (/ t y)) in z
2.760 * [taylor]: Taking taylor expansion of (/ t y) in z
2.760 * [taylor]: Taking taylor expansion of t in z
2.760 * [backup-simplify]: Simplify t into t
2.760 * [taylor]: Taking taylor expansion of y in z
2.760 * [backup-simplify]: Simplify y into y
2.760 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.760 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y))
2.760 * [taylor]: Taking taylor expansion of (+ (exp (- (/ t y))) (exp (/ t y))) in z
2.760 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in z
2.760 * [taylor]: Taking taylor expansion of (- (/ t y)) in z
2.760 * [taylor]: Taking taylor expansion of (/ t y) in z
2.760 * [taylor]: Taking taylor expansion of t in z
2.760 * [backup-simplify]: Simplify t into t
2.760 * [taylor]: Taking taylor expansion of y in z
2.760 * [backup-simplify]: Simplify y into y
2.760 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.760 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.760 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.760 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y)))
2.760 * [taylor]: Taking taylor expansion of (exp (/ t y)) in z
2.760 * [taylor]: Taking taylor expansion of (/ t y) in z
2.760 * [taylor]: Taking taylor expansion of t in z
2.760 * [backup-simplify]: Simplify t into t
2.760 * [taylor]: Taking taylor expansion of y in z
2.760 * [backup-simplify]: Simplify y into y
2.760 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.760 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y))
2.760 * [backup-simplify]: Simplify (* 0 (exp (/ t y))) into 0
2.760 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ t y) (/ 0 y)))) into 0
2.761 * [backup-simplify]: Simplify (* (exp (/ t y)) (+ (* (/ (pow 0 1) 1)))) into 0
2.761 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (/ t y)))) into (exp (/ t y))
2.761 * [backup-simplify]: Simplify (+ (exp (- (/ t y))) (exp (/ t y))) into (+ (exp (- (/ t y))) (exp (/ t y)))
2.762 * [backup-simplify]: Simplify (/ (exp (/ t y)) (+ (exp (- (/ t y))) (exp (/ t y)))) into (/ (exp (/ t y)) (+ (exp (- (/ t y))) (exp (/ t y))))
2.762 * [taylor]: Taking taylor expansion of (/ (* z (exp (- (/ x y)))) (+ (exp (- (/ x y))) (exp (/ x y)))) in z
2.762 * [taylor]: Taking taylor expansion of (* z (exp (- (/ x y)))) in z
2.762 * [taylor]: Taking taylor expansion of z in z
2.762 * [backup-simplify]: Simplify 0 into 0
2.762 * [backup-simplify]: Simplify 1 into 1
2.762 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in z
2.762 * [taylor]: Taking taylor expansion of (- (/ x y)) in z
2.762 * [taylor]: Taking taylor expansion of (/ x y) in z
2.762 * [taylor]: Taking taylor expansion of x in z
2.762 * [backup-simplify]: Simplify x into x
2.762 * [taylor]: Taking taylor expansion of y in z
2.762 * [backup-simplify]: Simplify y into y
2.762 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.762 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.762 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.762 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.762 * [taylor]: Taking taylor expansion of (+ (exp (- (/ x y))) (exp (/ x y))) in z
2.762 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in z
2.762 * [taylor]: Taking taylor expansion of (- (/ x y)) in z
2.762 * [taylor]: Taking taylor expansion of (/ x y) in z
2.762 * [taylor]: Taking taylor expansion of x in z
2.762 * [backup-simplify]: Simplify x into x
2.762 * [taylor]: Taking taylor expansion of y in z
2.762 * [backup-simplify]: Simplify y into y
2.762 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.762 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.762 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.762 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.762 * [taylor]: Taking taylor expansion of (exp (/ x y)) in z
2.762 * [taylor]: Taking taylor expansion of (/ x y) in z
2.762 * [taylor]: Taking taylor expansion of x in z
2.762 * [backup-simplify]: Simplify x into x
2.762 * [taylor]: Taking taylor expansion of y in z
2.762 * [backup-simplify]: Simplify y into y
2.762 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.763 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.763 * [backup-simplify]: Simplify (* 0 (exp (- (/ x y)))) into 0
2.763 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.763 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ x y) (/ 0 y)))) into 0
2.763 * [backup-simplify]: Simplify (- 0) into 0
2.764 * [backup-simplify]: Simplify (* (exp (- (/ x y))) (+ (* (/ (pow 0 1) 1)))) into 0
2.764 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (- (/ x y))))) into (exp (- (/ x y)))
2.764 * [backup-simplify]: Simplify (+ (exp (- (/ x y))) (exp (/ x y))) into (+ (exp (- (/ x y))) (exp (/ x y)))
2.764 * [backup-simplify]: Simplify (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) into (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y))))
2.764 * [taylor]: Taking taylor expansion of (+ (/ (* z (exp (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) (/ (* (exp (- (/ t y))) z) (+ (exp (- (/ t y))) (exp (/ t y))))) in z
2.764 * [taylor]: Taking taylor expansion of (/ (* z (exp (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) in z
2.764 * [taylor]: Taking taylor expansion of (* z (exp (/ x y))) in z
2.764 * [taylor]: Taking taylor expansion of z in z
2.764 * [backup-simplify]: Simplify 0 into 0
2.764 * [backup-simplify]: Simplify 1 into 1
2.764 * [taylor]: Taking taylor expansion of (exp (/ x y)) in z
2.764 * [taylor]: Taking taylor expansion of (/ x y) in z
2.764 * [taylor]: Taking taylor expansion of x in z
2.764 * [backup-simplify]: Simplify x into x
2.764 * [taylor]: Taking taylor expansion of y in z
2.764 * [backup-simplify]: Simplify y into y
2.764 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.764 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.764 * [taylor]: Taking taylor expansion of (+ (exp (- (/ x y))) (exp (/ x y))) in z
2.765 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in z
2.765 * [taylor]: Taking taylor expansion of (- (/ x y)) in z
2.765 * [taylor]: Taking taylor expansion of (/ x y) in z
2.765 * [taylor]: Taking taylor expansion of x in z
2.765 * [backup-simplify]: Simplify x into x
2.765 * [taylor]: Taking taylor expansion of y in z
2.765 * [backup-simplify]: Simplify y into y
2.765 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.765 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.765 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.765 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.765 * [taylor]: Taking taylor expansion of (exp (/ x y)) in z
2.765 * [taylor]: Taking taylor expansion of (/ x y) in z
2.765 * [taylor]: Taking taylor expansion of x in z
2.765 * [backup-simplify]: Simplify x into x
2.765 * [taylor]: Taking taylor expansion of y in z
2.765 * [backup-simplify]: Simplify y into y
2.765 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.765 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.765 * [backup-simplify]: Simplify (* 0 (exp (/ x y))) into 0
2.765 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ x y) (/ 0 y)))) into 0
2.766 * [backup-simplify]: Simplify (* (exp (/ x y)) (+ (* (/ (pow 0 1) 1)))) into 0
2.766 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (/ x y)))) into (exp (/ x y))
2.766 * [backup-simplify]: Simplify (+ (exp (- (/ x y))) (exp (/ x y))) into (+ (exp (- (/ x y))) (exp (/ x y)))
2.766 * [backup-simplify]: Simplify (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))) into (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y))))
2.766 * [taylor]: Taking taylor expansion of (/ (* (exp (- (/ t y))) z) (+ (exp (- (/ t y))) (exp (/ t y)))) in z
2.766 * [taylor]: Taking taylor expansion of (* (exp (- (/ t y))) z) in z
2.766 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in z
2.766 * [taylor]: Taking taylor expansion of (- (/ t y)) in z
2.766 * [taylor]: Taking taylor expansion of (/ t y) in z
2.766 * [taylor]: Taking taylor expansion of t in z
2.766 * [backup-simplify]: Simplify t into t
2.766 * [taylor]: Taking taylor expansion of y in z
2.766 * [backup-simplify]: Simplify y into y
2.766 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.767 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.767 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.767 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y)))
2.767 * [taylor]: Taking taylor expansion of z in z
2.767 * [backup-simplify]: Simplify 0 into 0
2.767 * [backup-simplify]: Simplify 1 into 1
2.767 * [taylor]: Taking taylor expansion of (+ (exp (- (/ t y))) (exp (/ t y))) in z
2.767 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in z
2.767 * [taylor]: Taking taylor expansion of (- (/ t y)) in z
2.767 * [taylor]: Taking taylor expansion of (/ t y) in z
2.767 * [taylor]: Taking taylor expansion of t in z
2.767 * [backup-simplify]: Simplify t into t
2.767 * [taylor]: Taking taylor expansion of y in z
2.767 * [backup-simplify]: Simplify y into y
2.767 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.767 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.767 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.767 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y)))
2.767 * [taylor]: Taking taylor expansion of (exp (/ t y)) in z
2.767 * [taylor]: Taking taylor expansion of (/ t y) in z
2.767 * [taylor]: Taking taylor expansion of t in z
2.767 * [backup-simplify]: Simplify t into t
2.767 * [taylor]: Taking taylor expansion of y in z
2.767 * [backup-simplify]: Simplify y into y
2.767 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.767 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y))
2.767 * [backup-simplify]: Simplify (* (exp (- (/ t y))) 0) into 0
2.767 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.767 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ t y) (/ 0 y)))) into 0
2.768 * [backup-simplify]: Simplify (- 0) into 0
2.768 * [backup-simplify]: Simplify (* (exp (- (/ t y))) (+ (* (/ (pow 0 1) 1)))) into 0
2.769 * [backup-simplify]: Simplify (+ (* (exp (- (/ t y))) 1) (* 0 0)) into (exp (- (/ t y)))
2.769 * [backup-simplify]: Simplify (+ (exp (- (/ t y))) (exp (/ t y))) into (+ (exp (- (/ t y))) (exp (/ t y)))
2.769 * [backup-simplify]: Simplify (/ (exp (- (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y)))) into (/ (exp (- (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y))))
2.769 * [taylor]: Taking taylor expansion of 0 in t
2.769 * [backup-simplify]: Simplify 0 into 0
2.769 * [taylor]: Taking taylor expansion of 0 in x
2.769 * [backup-simplify]: Simplify 0 into 0
2.769 * [backup-simplify]: Simplify 0 into 0
2.769 * [taylor]: Taking taylor expansion of 0 in x
2.769 * [backup-simplify]: Simplify 0 into 0
2.769 * [backup-simplify]: Simplify 0 into 0
2.769 * [backup-simplify]: Simplify 0 into 0
2.770 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
2.770 * [backup-simplify]: Simplify (- 0) into 0
2.770 * [backup-simplify]: Simplify (+ 0 0) into 0
2.770 * [backup-simplify]: Simplify (+ 0 0) into 0
2.771 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (- (/ t y))) (exp (/ t y)))) (+ (* (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (- (/ t y))) (exp (/ t y)))) (/ 0 (+ (exp (- (/ t y))) (exp (/ t y))))) (* 0 (/ 0 (+ (exp (- (/ t y))) (exp (/ t y))))))) into 0
2.771 * [backup-simplify]: Simplify (- 0) into 0
2.771 * [backup-simplify]: Simplify (+ 0 0) into 0
2.772 * [backup-simplify]: Simplify (+ 0 0) into 0
2.772 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (- (/ x y))) (exp (/ x y)))) (+ (* (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (- (/ x y))) (exp (/ x y)))) (/ 0 (+ (exp (- (/ x y))) (exp (/ x y))))) (* 0 (/ 0 (+ (exp (- (/ x y))) (exp (/ x y))))))) into 0
2.772 * [backup-simplify]: Simplify (- 0) into 0
2.773 * [backup-simplify]: Simplify (+ 0 0) into 0
2.774 * [backup-simplify]: Simplify (+ (* (- (+ (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) (/ (exp (/ t y)) (+ (exp (- (/ t y))) (exp (/ t y))))) (+ (/ (exp (- (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y)))) (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))))) 0) (+ (* 0 z) (* 0 0))) into 0
2.774 * [taylor]: Taking taylor expansion of 0 in z
2.774 * [backup-simplify]: Simplify 0 into 0
2.774 * [taylor]: Taking taylor expansion of 0 in t
2.774 * [backup-simplify]: Simplify 0 into 0
2.774 * [taylor]: Taking taylor expansion of 0 in x
2.774 * [backup-simplify]: Simplify 0 into 0
2.774 * [backup-simplify]: Simplify 0 into 0
2.774 * [backup-simplify]: Simplify (+ (/ (exp (/ t y)) (+ (exp (- (/ t y))) (exp (/ t y)))) (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y))))) into (+ (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) (/ (exp (/ t y)) (+ (exp (- (/ t y))) (exp (/ t y)))))
2.775 * [backup-simplify]: Simplify (+ (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))) (/ (exp (- (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y))))) into (+ (/ (exp (- (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y)))) (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))))
2.775 * [backup-simplify]: Simplify (- (+ (/ (exp (- (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y)))) (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))))) into (- (+ (/ (exp (- (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y)))) (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y))))))
2.776 * [backup-simplify]: Simplify (+ (+ (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) (/ (exp (/ t y)) (+ (exp (- (/ t y))) (exp (/ t y))))) (- (+ (/ (exp (- (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y)))) (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y))))))) into (- (+ (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) (/ (exp (/ t y)) (+ (exp (- (/ t y))) (exp (/ t y))))) (+ (/ (exp (- (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y)))) (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y))))))
2.776 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) (/ (exp (/ t y)) (+ (exp (- (/ t y))) (exp (/ t y))))) (+ (/ (exp (- (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y)))) (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))))) in t
2.776 * [taylor]: Taking taylor expansion of (+ (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) (/ (exp (/ t y)) (+ (exp (- (/ t y))) (exp (/ t y))))) in t
2.776 * [taylor]: Taking taylor expansion of (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) in t
2.776 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in t
2.776 * [taylor]: Taking taylor expansion of (- (/ x y)) in t
2.776 * [taylor]: Taking taylor expansion of (/ x y) in t
2.776 * [taylor]: Taking taylor expansion of x in t
2.776 * [backup-simplify]: Simplify x into x
2.776 * [taylor]: Taking taylor expansion of y in t
2.776 * [backup-simplify]: Simplify y into y
2.776 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.776 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.776 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.776 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.776 * [taylor]: Taking taylor expansion of (+ (exp (- (/ x y))) (exp (/ x y))) in t
2.776 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in t
2.776 * [taylor]: Taking taylor expansion of (- (/ x y)) in t
2.776 * [taylor]: Taking taylor expansion of (/ x y) in t
2.776 * [taylor]: Taking taylor expansion of x in t
2.776 * [backup-simplify]: Simplify x into x
2.776 * [taylor]: Taking taylor expansion of y in t
2.776 * [backup-simplify]: Simplify y into y
2.776 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.776 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.776 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.776 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.776 * [taylor]: Taking taylor expansion of (exp (/ x y)) in t
2.776 * [taylor]: Taking taylor expansion of (/ x y) in t
2.776 * [taylor]: Taking taylor expansion of x in t
2.776 * [backup-simplify]: Simplify x into x
2.776 * [taylor]: Taking taylor expansion of y in t
2.776 * [backup-simplify]: Simplify y into y
2.777 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.777 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.777 * [backup-simplify]: Simplify (+ (exp (- (/ x y))) (exp (/ x y))) into (+ (exp (- (/ x y))) (exp (/ x y)))
2.777 * [backup-simplify]: Simplify (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) into (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y))))
2.777 * [taylor]: Taking taylor expansion of (/ (exp (/ t y)) (+ (exp (- (/ t y))) (exp (/ t y)))) in t
2.777 * [taylor]: Taking taylor expansion of (exp (/ t y)) in t
2.777 * [taylor]: Taking taylor expansion of (/ t y) in t
2.777 * [taylor]: Taking taylor expansion of t in t
2.777 * [backup-simplify]: Simplify 0 into 0
2.777 * [backup-simplify]: Simplify 1 into 1
2.777 * [taylor]: Taking taylor expansion of y in t
2.777 * [backup-simplify]: Simplify y into y
2.777 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.777 * [backup-simplify]: Simplify (exp 0) into 1
2.777 * [taylor]: Taking taylor expansion of (+ (exp (- (/ t y))) (exp (/ t y))) in t
2.777 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in t
2.777 * [taylor]: Taking taylor expansion of (- (/ t y)) in t
2.777 * [taylor]: Taking taylor expansion of (/ t y) in t
2.777 * [taylor]: Taking taylor expansion of t in t
2.777 * [backup-simplify]: Simplify 0 into 0
2.777 * [backup-simplify]: Simplify 1 into 1
2.777 * [taylor]: Taking taylor expansion of y in t
2.777 * [backup-simplify]: Simplify y into y
2.777 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.777 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.777 * [backup-simplify]: Simplify (exp 0) into 1
2.777 * [taylor]: Taking taylor expansion of (exp (/ t y)) in t
2.777 * [taylor]: Taking taylor expansion of (/ t y) in t
2.777 * [taylor]: Taking taylor expansion of t in t
2.777 * [backup-simplify]: Simplify 0 into 0
2.777 * [backup-simplify]: Simplify 1 into 1
2.777 * [taylor]: Taking taylor expansion of y in t
2.777 * [backup-simplify]: Simplify y into y
2.777 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.777 * [backup-simplify]: Simplify (exp 0) into 1
2.778 * [backup-simplify]: Simplify (+ 1 1) into 2
2.778 * [backup-simplify]: Simplify (/ 1 2) into 1/2
2.778 * [taylor]: Taking taylor expansion of (+ (/ (exp (- (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y)))) (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y))))) in t
2.778 * [taylor]: Taking taylor expansion of (/ (exp (- (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y)))) in t
2.778 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in t
2.778 * [taylor]: Taking taylor expansion of (- (/ t y)) in t
2.778 * [taylor]: Taking taylor expansion of (/ t y) in t
2.778 * [taylor]: Taking taylor expansion of t in t
2.778 * [backup-simplify]: Simplify 0 into 0
2.778 * [backup-simplify]: Simplify 1 into 1
2.778 * [taylor]: Taking taylor expansion of y in t
2.778 * [backup-simplify]: Simplify y into y
2.778 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.778 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.778 * [backup-simplify]: Simplify (exp 0) into 1
2.778 * [taylor]: Taking taylor expansion of (+ (exp (- (/ t y))) (exp (/ t y))) in t
2.778 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in t
2.779 * [taylor]: Taking taylor expansion of (- (/ t y)) in t
2.779 * [taylor]: Taking taylor expansion of (/ t y) in t
2.779 * [taylor]: Taking taylor expansion of t in t
2.779 * [backup-simplify]: Simplify 0 into 0
2.779 * [backup-simplify]: Simplify 1 into 1
2.779 * [taylor]: Taking taylor expansion of y in t
2.779 * [backup-simplify]: Simplify y into y
2.779 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.779 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.779 * [backup-simplify]: Simplify (exp 0) into 1
2.779 * [taylor]: Taking taylor expansion of (exp (/ t y)) in t
2.779 * [taylor]: Taking taylor expansion of (/ t y) in t
2.779 * [taylor]: Taking taylor expansion of t in t
2.779 * [backup-simplify]: Simplify 0 into 0
2.779 * [backup-simplify]: Simplify 1 into 1
2.779 * [taylor]: Taking taylor expansion of y in t
2.779 * [backup-simplify]: Simplify y into y
2.779 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.779 * [backup-simplify]: Simplify (exp 0) into 1
2.779 * [backup-simplify]: Simplify (+ 1 1) into 2
2.779 * [backup-simplify]: Simplify (/ 1 2) into 1/2
2.779 * [taylor]: Taking taylor expansion of (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))) in t
2.779 * [taylor]: Taking taylor expansion of (exp (/ x y)) in t
2.779 * [taylor]: Taking taylor expansion of (/ x y) in t
2.779 * [taylor]: Taking taylor expansion of x in t
2.780 * [backup-simplify]: Simplify x into x
2.780 * [taylor]: Taking taylor expansion of y in t
2.780 * [backup-simplify]: Simplify y into y
2.780 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.780 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.780 * [taylor]: Taking taylor expansion of (+ (exp (- (/ x y))) (exp (/ x y))) in t
2.780 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in t
2.780 * [taylor]: Taking taylor expansion of (- (/ x y)) in t
2.780 * [taylor]: Taking taylor expansion of (/ x y) in t
2.780 * [taylor]: Taking taylor expansion of x in t
2.780 * [backup-simplify]: Simplify x into x
2.780 * [taylor]: Taking taylor expansion of y in t
2.780 * [backup-simplify]: Simplify y into y
2.780 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.780 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.780 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.780 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.780 * [taylor]: Taking taylor expansion of (exp (/ x y)) in t
2.780 * [taylor]: Taking taylor expansion of (/ x y) in t
2.780 * [taylor]: Taking taylor expansion of x in t
2.780 * [backup-simplify]: Simplify x into x
2.780 * [taylor]: Taking taylor expansion of y in t
2.780 * [backup-simplify]: Simplify y into y
2.780 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.780 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.780 * [backup-simplify]: Simplify (+ (exp (- (/ x y))) (exp (/ x y))) into (+ (exp (- (/ x y))) (exp (/ x y)))
2.780 * [backup-simplify]: Simplify (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))) into (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y))))
2.781 * [backup-simplify]: Simplify (+ (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) 1/2) into (+ (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) 1/2)
2.781 * [backup-simplify]: Simplify (+ 1/2 (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y))))) into (+ (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))) 1/2)
2.781 * [backup-simplify]: Simplify (- (+ (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))) 1/2)) into (- (+ (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))) 1/2))
2.781 * [backup-simplify]: Simplify (+ (+ (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) 1/2) (- (+ (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))) 1/2))) into (- (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))))
2.782 * [taylor]: Taking taylor expansion of (- (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y))))) in x
2.782 * [taylor]: Taking taylor expansion of (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) in x
2.782 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in x
2.782 * [taylor]: Taking taylor expansion of (- (/ x y)) in x
2.782 * [taylor]: Taking taylor expansion of (/ x y) in x
2.782 * [taylor]: Taking taylor expansion of x in x
2.782 * [backup-simplify]: Simplify 0 into 0
2.782 * [backup-simplify]: Simplify 1 into 1
2.782 * [taylor]: Taking taylor expansion of y in x
2.782 * [backup-simplify]: Simplify y into y
2.782 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.782 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.782 * [backup-simplify]: Simplify (exp 0) into 1
2.782 * [taylor]: Taking taylor expansion of (+ (exp (- (/ x y))) (exp (/ x y))) in x
2.782 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in x
2.782 * [taylor]: Taking taylor expansion of (- (/ x y)) in x
2.782 * [taylor]: Taking taylor expansion of (/ x y) in x
2.782 * [taylor]: Taking taylor expansion of x in x
2.782 * [backup-simplify]: Simplify 0 into 0
2.782 * [backup-simplify]: Simplify 1 into 1
2.782 * [taylor]: Taking taylor expansion of y in x
2.782 * [backup-simplify]: Simplify y into y
2.782 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.782 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.782 * [backup-simplify]: Simplify (exp 0) into 1
2.782 * [taylor]: Taking taylor expansion of (exp (/ x y)) in x
2.782 * [taylor]: Taking taylor expansion of (/ x y) in x
2.782 * [taylor]: Taking taylor expansion of x in x
2.782 * [backup-simplify]: Simplify 0 into 0
2.782 * [backup-simplify]: Simplify 1 into 1
2.782 * [taylor]: Taking taylor expansion of y in x
2.782 * [backup-simplify]: Simplify y into y
2.782 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.782 * [backup-simplify]: Simplify (exp 0) into 1
2.783 * [backup-simplify]: Simplify (+ 1 1) into 2
2.783 * [backup-simplify]: Simplify (/ 1 2) into 1/2
2.783 * [taylor]: Taking taylor expansion of (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))) in x
2.783 * [taylor]: Taking taylor expansion of (exp (/ x y)) in x
2.783 * [taylor]: Taking taylor expansion of (/ x y) in x
2.783 * [taylor]: Taking taylor expansion of x in x
2.783 * [backup-simplify]: Simplify 0 into 0
2.783 * [backup-simplify]: Simplify 1 into 1
2.783 * [taylor]: Taking taylor expansion of y in x
2.783 * [backup-simplify]: Simplify y into y
2.783 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.783 * [backup-simplify]: Simplify (exp 0) into 1
2.783 * [taylor]: Taking taylor expansion of (+ (exp (- (/ x y))) (exp (/ x y))) in x
2.783 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in x
2.783 * [taylor]: Taking taylor expansion of (- (/ x y)) in x
2.783 * [taylor]: Taking taylor expansion of (/ x y) in x
2.783 * [taylor]: Taking taylor expansion of x in x
2.783 * [backup-simplify]: Simplify 0 into 0
2.783 * [backup-simplify]: Simplify 1 into 1
2.784 * [taylor]: Taking taylor expansion of y in x
2.784 * [backup-simplify]: Simplify y into y
2.784 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.784 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.784 * [backup-simplify]: Simplify (exp 0) into 1
2.784 * [taylor]: Taking taylor expansion of (exp (/ x y)) in x
2.784 * [taylor]: Taking taylor expansion of (/ x y) in x
2.784 * [taylor]: Taking taylor expansion of x in x
2.784 * [backup-simplify]: Simplify 0 into 0
2.784 * [backup-simplify]: Simplify 1 into 1
2.784 * [taylor]: Taking taylor expansion of y in x
2.784 * [backup-simplify]: Simplify y into y
2.784 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.784 * [backup-simplify]: Simplify (exp 0) into 1
2.789 * [backup-simplify]: Simplify (+ 1 1) into 2
2.790 * [backup-simplify]: Simplify (/ 1 2) into 1/2
2.790 * [backup-simplify]: Simplify (- 1/2) into -1/2
2.791 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
2.791 * [backup-simplify]: Simplify 0 into 0
2.791 * [backup-simplify]: Simplify 0 into 0
2.792 * [backup-simplify]: Simplify (* (* (/ 1 y) (/ 1 z)) (- (tanh (/ (/ 1 t) (/ 1 y))) (tanh (/ (/ 1 x) (/ 1 y))))) into (/ (- (tanh (/ y t)) (tanh (/ y x))) (* z y))
2.792 * [approximate]: Taking taylor expansion of (/ (- (tanh (/ y t)) (tanh (/ y x))) (* z y)) in (y z t x) around 0
2.792 * [taylor]: Taking taylor expansion of (/ (- (tanh (/ y t)) (tanh (/ y x))) (* z y)) in x
2.792 * [taylor]: Taking taylor expansion of (- (tanh (/ y t)) (tanh (/ y x))) in x
2.792 * [taylor]: Taking taylor expansion of (tanh (/ y t)) in x
2.793 * [taylor]: Rewrote expression to (/ (- (exp (/ y t)) (exp (- (/ y t)))) (+ (exp (/ y t)) (exp (- (/ y t)))))
2.793 * [taylor]: Taking taylor expansion of (- (exp (/ y t)) (exp (- (/ y t)))) in x
2.793 * [taylor]: Taking taylor expansion of (exp (/ y t)) in x
2.793 * [taylor]: Taking taylor expansion of (/ y t) in x
2.793 * [taylor]: Taking taylor expansion of y in x
2.793 * [backup-simplify]: Simplify y into y
2.793 * [taylor]: Taking taylor expansion of t in x
2.793 * [backup-simplify]: Simplify t into t
2.793 * [backup-simplify]: Simplify (/ y t) into (/ y t)
2.793 * [backup-simplify]: Simplify (exp (/ y t)) into (exp (/ y t))
2.793 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in x
2.793 * [taylor]: Taking taylor expansion of (- (/ y t)) in x
2.793 * [taylor]: Taking taylor expansion of (/ y t) in x
2.793 * [taylor]: Taking taylor expansion of y in x
2.793 * [backup-simplify]: Simplify y into y
2.793 * [taylor]: Taking taylor expansion of t in x
2.793 * [backup-simplify]: Simplify t into t
2.793 * [backup-simplify]: Simplify (/ y t) into (/ y t)
2.794 * [backup-simplify]: Simplify (- (/ y t)) into (- (/ y t))
2.794 * [backup-simplify]: Simplify (- (/ y t)) into (- (/ y t))
2.794 * [backup-simplify]: Simplify (exp (- (/ y t))) into (exp (- (/ y t)))
2.794 * [taylor]: Taking taylor expansion of (+ (exp (/ y t)) (exp (- (/ y t)))) in x
2.794 * [taylor]: Taking taylor expansion of (exp (/ y t)) in x
2.794 * [taylor]: Taking taylor expansion of (/ y t) in x
2.794 * [taylor]: Taking taylor expansion of y in x
2.794 * [backup-simplify]: Simplify y into y
2.794 * [taylor]: Taking taylor expansion of t in x
2.794 * [backup-simplify]: Simplify t into t
2.794 * [backup-simplify]: Simplify (/ y t) into (/ y t)
2.794 * [backup-simplify]: Simplify (exp (/ y t)) into (exp (/ y t))
2.794 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in x
2.794 * [taylor]: Taking taylor expansion of (- (/ y t)) in x
2.794 * [taylor]: Taking taylor expansion of (/ y t) in x
2.794 * [taylor]: Taking taylor expansion of y in x
2.794 * [backup-simplify]: Simplify y into y
2.794 * [taylor]: Taking taylor expansion of t in x
2.794 * [backup-simplify]: Simplify t into t
2.794 * [backup-simplify]: Simplify (/ y t) into (/ y t)
2.794 * [backup-simplify]: Simplify (- (/ y t)) into (- (/ y t))
2.795 * [backup-simplify]: Simplify (- (/ y t)) into (- (/ y t))
2.795 * [backup-simplify]: Simplify (exp (- (/ y t))) into (exp (- (/ y t)))
2.795 * [backup-simplify]: Simplify (- (exp (- (/ y t)))) into (- (exp (- (/ y t))))
2.795 * [backup-simplify]: Simplify (+ (exp (/ y t)) (- (exp (- (/ y t))))) into (- (exp (/ y t)) (exp (- (/ y t))))
2.795 * [backup-simplify]: Simplify (+ (exp (/ y t)) (exp (- (/ y t)))) into (+ (exp (- (/ y t))) (exp (/ y t)))
2.796 * [backup-simplify]: Simplify (/ (- (exp (/ y t)) (exp (- (/ y t)))) (+ (exp (- (/ y t))) (exp (/ y t)))) into (/ (- (exp (/ y t)) (exp (- (/ y t)))) (+ (exp (- (/ y t))) (exp (/ y t))))
2.796 * [taylor]: Taking taylor expansion of (tanh (/ y x)) in x
2.796 * [taylor]: Rewrote expression to (/ (- (exp (/ y x)) (exp (- (/ y x)))) (+ (exp (/ y x)) (exp (- (/ y x)))))
2.796 * [taylor]: Taking taylor expansion of (- (exp (/ y x)) (exp (- (/ y x)))) in x
2.796 * [taylor]: Taking taylor expansion of (exp (/ y x)) in x
2.796 * [taylor]: Taking taylor expansion of (/ y x) in x
2.796 * [taylor]: Taking taylor expansion of y in x
2.796 * [backup-simplify]: Simplify y into y
2.796 * [taylor]: Taking taylor expansion of x in x
2.796 * [backup-simplify]: Simplify 0 into 0
2.796 * [backup-simplify]: Simplify 1 into 1
2.796 * [backup-simplify]: Simplify (/ y 1) into y
2.796 * [backup-simplify]: Simplify (exp (/ y x)) into (exp (/ y x))
2.796 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in x
2.796 * [taylor]: Taking taylor expansion of (- (/ y x)) in x
2.796 * [taylor]: Taking taylor expansion of (/ y x) in x
2.796 * [taylor]: Taking taylor expansion of y in x
2.796 * [backup-simplify]: Simplify y into y
2.796 * [taylor]: Taking taylor expansion of x in x
2.796 * [backup-simplify]: Simplify 0 into 0
2.796 * [backup-simplify]: Simplify 1 into 1
2.797 * [backup-simplify]: Simplify (/ y 1) into y
2.797 * [backup-simplify]: Simplify (- y) into (- y)
2.797 * [backup-simplify]: Simplify (exp (- (/ y x))) into (exp (- (/ y x)))
2.797 * [taylor]: Taking taylor expansion of (+ (exp (/ y x)) (exp (- (/ y x)))) in x
2.797 * [taylor]: Taking taylor expansion of (exp (/ y x)) in x
2.797 * [taylor]: Taking taylor expansion of (/ y x) in x
2.797 * [taylor]: Taking taylor expansion of y in x
2.797 * [backup-simplify]: Simplify y into y
2.797 * [taylor]: Taking taylor expansion of x in x
2.797 * [backup-simplify]: Simplify 0 into 0
2.797 * [backup-simplify]: Simplify 1 into 1
2.797 * [backup-simplify]: Simplify (/ y 1) into y
2.797 * [backup-simplify]: Simplify (exp (/ y x)) into (exp (/ y x))
2.797 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in x
2.797 * [taylor]: Taking taylor expansion of (- (/ y x)) in x
2.797 * [taylor]: Taking taylor expansion of (/ y x) in x
2.797 * [taylor]: Taking taylor expansion of y in x
2.797 * [backup-simplify]: Simplify y into y
2.797 * [taylor]: Taking taylor expansion of x in x
2.797 * [backup-simplify]: Simplify 0 into 0
2.797 * [backup-simplify]: Simplify 1 into 1
2.797 * [backup-simplify]: Simplify (/ y 1) into y
2.797 * [backup-simplify]: Simplify (- y) into (- y)
2.797 * [backup-simplify]: Simplify (exp (- (/ y x))) into (exp (- (/ y x)))
2.797 * [backup-simplify]: Simplify (- (exp (- (/ y x)))) into (- (exp (- (/ y x))))
2.798 * [backup-simplify]: Simplify (+ (exp (/ y x)) (- (exp (- (/ y x))))) into (- (exp (/ y x)) (exp (- (/ y x))))
2.798 * [backup-simplify]: Simplify (+ (exp (/ y x)) (exp (- (/ y x)))) into (+ (exp (/ y x)) (exp (- (/ y x))))
2.798 * [backup-simplify]: Simplify (/ (- (exp (/ y x)) (exp (- (/ y x)))) (+ (exp (/ y x)) (exp (- (/ y x))))) into (/ (- (exp (/ y x)) (exp (- (/ y x)))) (+ (exp (/ y x)) (exp (- (/ y x)))))
2.798 * [taylor]: Taking taylor expansion of (* z y) in x
2.798 * [taylor]: Taking taylor expansion of z in x
2.798 * [backup-simplify]: Simplify z into z
2.798 * [taylor]: Taking taylor expansion of y in x
2.798 * [backup-simplify]: Simplify y into y
2.798 * [backup-simplify]: Simplify (- (/ (- (exp (/ y x)) (exp (- (/ y x)))) (+ (exp (/ y x)) (exp (- (/ y x)))))) into (- (/ (exp (- (/ y x))) (+ (exp (/ y x)) (exp (- (/ y x))))) (/ (exp (/ y x)) (+ (exp (/ y x)) (exp (- (/ y x))))))
2.799 * [backup-simplify]: Simplify (+ (/ (- (exp (/ y t)) (exp (- (/ y t)))) (+ (exp (- (/ y t))) (exp (/ y t)))) (- (/ (exp (- (/ y x))) (+ (exp (/ y x)) (exp (- (/ y x))))) (/ (exp (/ y x)) (+ (exp (/ y x)) (exp (- (/ y x))))))) into (- (+ (/ (exp (- (/ y x))) (+ (exp (/ y x)) (exp (- (/ y x))))) (/ (exp (/ y t)) (+ (exp (- (/ y t))) (exp (/ y t))))) (+ (/ (exp (/ y x)) (+ (exp (/ y x)) (exp (- (/ y x))))) (/ (exp (- (/ y t))) (+ (exp (- (/ y t))) (exp (/ y t))))))
2.799 * [backup-simplify]: Simplify (* z y) into (* z y)
2.800 * [backup-simplify]: Simplify (/ (- (+ (/ (exp (- (/ y x))) (+ (exp (/ y x)) (exp (- (/ y x))))) (/ (exp (/ y t)) (+ (exp (- (/ y t))) (exp (/ y t))))) (+ (/ (exp (/ y x)) (+ (exp (/ y x)) (exp (- (/ y x))))) (/ (exp (- (/ y t))) (+ (exp (- (/ y t))) (exp (/ y t)))))) (* z y)) into (/ (- (+ (/ (exp (- (/ y x))) (+ (exp (/ y x)) (exp (- (/ y x))))) (/ (exp (/ y t)) (+ (exp (- (/ y t))) (exp (/ y t))))) (+ (/ (exp (/ y x)) (+ (exp (/ y x)) (exp (- (/ y x))))) (/ (exp (- (/ y t))) (+ (exp (- (/ y t))) (exp (/ y t)))))) (* z y))
2.800 * [taylor]: Taking taylor expansion of (/ (- (tanh (/ y t)) (tanh (/ y x))) (* z y)) in t
2.800 * [taylor]: Taking taylor expansion of (- (tanh (/ y t)) (tanh (/ y x))) in t
2.800 * [taylor]: Taking taylor expansion of (tanh (/ y t)) in t
2.800 * [taylor]: Rewrote expression to (/ (- (exp (/ y t)) (exp (- (/ y t)))) (+ (exp (/ y t)) (exp (- (/ y t)))))
2.800 * [taylor]: Taking taylor expansion of (- (exp (/ y t)) (exp (- (/ y t)))) in t
2.800 * [taylor]: Taking taylor expansion of (exp (/ y t)) in t
2.800 * [taylor]: Taking taylor expansion of (/ y t) in t
2.800 * [taylor]: Taking taylor expansion of y in t
2.800 * [backup-simplify]: Simplify y into y
2.800 * [taylor]: Taking taylor expansion of t in t
2.800 * [backup-simplify]: Simplify 0 into 0
2.800 * [backup-simplify]: Simplify 1 into 1
2.800 * [backup-simplify]: Simplify (/ y 1) into y
2.800 * [backup-simplify]: Simplify (exp (/ y t)) into (exp (/ y t))
2.800 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in t
2.800 * [taylor]: Taking taylor expansion of (- (/ y t)) in t
2.800 * [taylor]: Taking taylor expansion of (/ y t) in t
2.800 * [taylor]: Taking taylor expansion of y in t
2.800 * [backup-simplify]: Simplify y into y
2.800 * [taylor]: Taking taylor expansion of t in t
2.800 * [backup-simplify]: Simplify 0 into 0
2.800 * [backup-simplify]: Simplify 1 into 1
2.801 * [backup-simplify]: Simplify (/ y 1) into y
2.801 * [backup-simplify]: Simplify (- y) into (- y)
2.801 * [backup-simplify]: Simplify (exp (- (/ y t))) into (exp (- (/ y t)))
2.801 * [taylor]: Taking taylor expansion of (+ (exp (/ y t)) (exp (- (/ y t)))) in t
2.801 * [taylor]: Taking taylor expansion of (exp (/ y t)) in t
2.801 * [taylor]: Taking taylor expansion of (/ y t) in t
2.801 * [taylor]: Taking taylor expansion of y in t
2.801 * [backup-simplify]: Simplify y into y
2.801 * [taylor]: Taking taylor expansion of t in t
2.801 * [backup-simplify]: Simplify 0 into 0
2.801 * [backup-simplify]: Simplify 1 into 1
2.801 * [backup-simplify]: Simplify (/ y 1) into y
2.801 * [backup-simplify]: Simplify (exp (/ y t)) into (exp (/ y t))
2.801 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in t
2.801 * [taylor]: Taking taylor expansion of (- (/ y t)) in t
2.801 * [taylor]: Taking taylor expansion of (/ y t) in t
2.801 * [taylor]: Taking taylor expansion of y in t
2.801 * [backup-simplify]: Simplify y into y
2.801 * [taylor]: Taking taylor expansion of t in t
2.801 * [backup-simplify]: Simplify 0 into 0
2.801 * [backup-simplify]: Simplify 1 into 1
2.801 * [backup-simplify]: Simplify (/ y 1) into y
2.801 * [backup-simplify]: Simplify (- y) into (- y)
2.801 * [backup-simplify]: Simplify (exp (- (/ y t))) into (exp (- (/ y t)))
2.801 * [backup-simplify]: Simplify (- (exp (- (/ y t)))) into (- (exp (- (/ y t))))
2.801 * [backup-simplify]: Simplify (+ (exp (/ y t)) (- (exp (- (/ y t))))) into (- (exp (/ y t)) (exp (- (/ y t))))
2.802 * [backup-simplify]: Simplify (+ (exp (/ y t)) (exp (- (/ y t)))) into (+ (exp (- (/ y t))) (exp (/ y t)))
2.802 * [backup-simplify]: Simplify (/ (- (exp (/ y t)) (exp (- (/ y t)))) (+ (exp (- (/ y t))) (exp (/ y t)))) into (/ (- (exp (/ y t)) (exp (- (/ y t)))) (+ (exp (- (/ y t))) (exp (/ y t))))
2.802 * [taylor]: Taking taylor expansion of (tanh (/ y x)) in t
2.802 * [taylor]: Rewrote expression to (/ (- (exp (/ y x)) (exp (- (/ y x)))) (+ (exp (/ y x)) (exp (- (/ y x)))))
2.802 * [taylor]: Taking taylor expansion of (- (exp (/ y x)) (exp (- (/ y x)))) in t
2.802 * [taylor]: Taking taylor expansion of (exp (/ y x)) in t
2.802 * [taylor]: Taking taylor expansion of (/ y x) in t
2.802 * [taylor]: Taking taylor expansion of y in t
2.802 * [backup-simplify]: Simplify y into y
2.802 * [taylor]: Taking taylor expansion of x in t
2.802 * [backup-simplify]: Simplify x into x
2.802 * [backup-simplify]: Simplify (/ y x) into (/ y x)
2.802 * [backup-simplify]: Simplify (exp (/ y x)) into (exp (/ y x))
2.802 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in t
2.802 * [taylor]: Taking taylor expansion of (- (/ y x)) in t
2.802 * [taylor]: Taking taylor expansion of (/ y x) in t
2.802 * [taylor]: Taking taylor expansion of y in t
2.802 * [backup-simplify]: Simplify y into y
2.802 * [taylor]: Taking taylor expansion of x in t
2.802 * [backup-simplify]: Simplify x into x
2.802 * [backup-simplify]: Simplify (/ y x) into (/ y x)
2.802 * [backup-simplify]: Simplify (- (/ y x)) into (- (/ y x))
2.802 * [backup-simplify]: Simplify (- (/ y x)) into (- (/ y x))
2.802 * [backup-simplify]: Simplify (exp (- (/ y x))) into (exp (- (/ y x)))
2.802 * [taylor]: Taking taylor expansion of (+ (exp (/ y x)) (exp (- (/ y x)))) in t
2.803 * [taylor]: Taking taylor expansion of (exp (/ y x)) in t
2.803 * [taylor]: Taking taylor expansion of (/ y x) in t
2.803 * [taylor]: Taking taylor expansion of y in t
2.803 * [backup-simplify]: Simplify y into y
2.803 * [taylor]: Taking taylor expansion of x in t
2.803 * [backup-simplify]: Simplify x into x
2.803 * [backup-simplify]: Simplify (/ y x) into (/ y x)
2.803 * [backup-simplify]: Simplify (exp (/ y x)) into (exp (/ y x))
2.803 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in t
2.803 * [taylor]: Taking taylor expansion of (- (/ y x)) in t
2.803 * [taylor]: Taking taylor expansion of (/ y x) in t
2.803 * [taylor]: Taking taylor expansion of y in t
2.803 * [backup-simplify]: Simplify y into y
2.803 * [taylor]: Taking taylor expansion of x in t
2.803 * [backup-simplify]: Simplify x into x
2.803 * [backup-simplify]: Simplify (/ y x) into (/ y x)
2.803 * [backup-simplify]: Simplify (- (/ y x)) into (- (/ y x))
2.803 * [backup-simplify]: Simplify (- (/ y x)) into (- (/ y x))
2.803 * [backup-simplify]: Simplify (exp (- (/ y x))) into (exp (- (/ y x)))
2.803 * [backup-simplify]: Simplify (- (exp (- (/ y x)))) into (- (exp (- (/ y x))))
2.803 * [backup-simplify]: Simplify (+ (exp (/ y x)) (- (exp (- (/ y x))))) into (- (exp (/ y x)) (exp (- (/ y x))))
2.803 * [backup-simplify]: Simplify (+ (exp (/ y x)) (exp (- (/ y x)))) into (+ (exp (/ y x)) (exp (- (/ y x))))
2.804 * [backup-simplify]: Simplify (/ (- (exp (/ y x)) (exp (- (/ y x)))) (+ (exp (/ y x)) (exp (- (/ y x))))) into (/ (- (exp (/ y x)) (exp (- (/ y x)))) (+ (exp (/ y x)) (exp (- (/ y x)))))
2.804 * [taylor]: Taking taylor expansion of (* z y) in t
2.804 * [taylor]: Taking taylor expansion of z in t
2.804 * [backup-simplify]: Simplify z into z
2.804 * [taylor]: Taking taylor expansion of y in t
2.804 * [backup-simplify]: Simplify y into y
2.804 * [backup-simplify]: Simplify (- (/ (- (exp (/ y x)) (exp (- (/ y x)))) (+ (exp (/ y x)) (exp (- (/ y x)))))) into (- (/ (exp (- (/ y x))) (+ (exp (/ y x)) (exp (- (/ y x))))) (/ (exp (/ y x)) (+ (exp (/ y x)) (exp (- (/ y x))))))
2.804 * [backup-simplify]: Simplify (+ (/ (- (exp (/ y t)) (exp (- (/ y t)))) (+ (exp (- (/ y t))) (exp (/ y t)))) (- (/ (exp (- (/ y x))) (+ (exp (/ y x)) (exp (- (/ y x))))) (/ (exp (/ y x)) (+ (exp (/ y x)) (exp (- (/ y x))))))) into (- (+ (/ (exp (- (/ y x))) (+ (exp (/ y x)) (exp (- (/ y x))))) (/ (exp (/ y t)) (+ (exp (- (/ y t))) (exp (/ y t))))) (+ (/ (exp (/ y x)) (+ (exp (/ y x)) (exp (- (/ y x))))) (/ (exp (- (/ y t))) (+ (exp (- (/ y t))) (exp (/ y t))))))
2.805 * [backup-simplify]: Simplify (* z y) into (* z y)
2.805 * [backup-simplify]: Simplify (/ (- (+ (/ (exp (- (/ y x))) (+ (exp (/ y x)) (exp (- (/ y x))))) (/ (exp (/ y t)) (+ (exp (- (/ y t))) (exp (/ y t))))) (+ (/ (exp (/ y x)) (+ (exp (/ y x)) (exp (- (/ y x))))) (/ (exp (- (/ y t))) (+ (exp (- (/ y t))) (exp (/ y t)))))) (* z y)) into (/ (- (+ (/ (exp (- (/ y x))) (+ (exp (/ y x)) (exp (- (/ y x))))) (/ (exp (/ y t)) (+ (exp (- (/ y t))) (exp (/ y t))))) (+ (/ (exp (/ y x)) (+ (exp (/ y x)) (exp (- (/ y x))))) (/ (exp (- (/ y t))) (+ (exp (- (/ y t))) (exp (/ y t)))))) (* z y))
2.805 * [taylor]: Taking taylor expansion of (/ (- (tanh (/ y t)) (tanh (/ y x))) (* z y)) in z
2.805 * [taylor]: Taking taylor expansion of (- (tanh (/ y t)) (tanh (/ y x))) in z
2.805 * [taylor]: Taking taylor expansion of (tanh (/ y t)) in z
2.805 * [taylor]: Rewrote expression to (/ (- (exp (/ y t)) (exp (- (/ y t)))) (+ (exp (/ y t)) (exp (- (/ y t)))))
2.806 * [taylor]: Taking taylor expansion of (- (exp (/ y t)) (exp (- (/ y t)))) in z
2.806 * [taylor]: Taking taylor expansion of (exp (/ y t)) in z
2.806 * [taylor]: Taking taylor expansion of (/ y t) in z
2.806 * [taylor]: Taking taylor expansion of y in z
2.806 * [backup-simplify]: Simplify y into y
2.806 * [taylor]: Taking taylor expansion of t in z
2.806 * [backup-simplify]: Simplify t into t
2.806 * [backup-simplify]: Simplify (/ y t) into (/ y t)
2.806 * [backup-simplify]: Simplify (exp (/ y t)) into (exp (/ y t))
2.806 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in z
2.806 * [taylor]: Taking taylor expansion of (- (/ y t)) in z
2.806 * [taylor]: Taking taylor expansion of (/ y t) in z
2.806 * [taylor]: Taking taylor expansion of y in z
2.806 * [backup-simplify]: Simplify y into y
2.806 * [taylor]: Taking taylor expansion of t in z
2.806 * [backup-simplify]: Simplify t into t
2.806 * [backup-simplify]: Simplify (/ y t) into (/ y t)
2.806 * [backup-simplify]: Simplify (- (/ y t)) into (- (/ y t))
2.806 * [backup-simplify]: Simplify (- (/ y t)) into (- (/ y t))
2.806 * [backup-simplify]: Simplify (exp (- (/ y t))) into (exp (- (/ y t)))
2.806 * [taylor]: Taking taylor expansion of (+ (exp (/ y t)) (exp (- (/ y t)))) in z
2.806 * [taylor]: Taking taylor expansion of (exp (/ y t)) in z
2.806 * [taylor]: Taking taylor expansion of (/ y t) in z
2.806 * [taylor]: Taking taylor expansion of y in z
2.806 * [backup-simplify]: Simplify y into y
2.806 * [taylor]: Taking taylor expansion of t in z
2.806 * [backup-simplify]: Simplify t into t
2.806 * [backup-simplify]: Simplify (/ y t) into (/ y t)
2.806 * [backup-simplify]: Simplify (exp (/ y t)) into (exp (/ y t))
2.806 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in z
2.806 * [taylor]: Taking taylor expansion of (- (/ y t)) in z
2.806 * [taylor]: Taking taylor expansion of (/ y t) in z
2.806 * [taylor]: Taking taylor expansion of y in z
2.806 * [backup-simplify]: Simplify y into y
2.806 * [taylor]: Taking taylor expansion of t in z
2.806 * [backup-simplify]: Simplify t into t
2.806 * [backup-simplify]: Simplify (/ y t) into (/ y t)
2.806 * [backup-simplify]: Simplify (- (/ y t)) into (- (/ y t))
2.807 * [backup-simplify]: Simplify (- (/ y t)) into (- (/ y t))
2.807 * [backup-simplify]: Simplify (exp (- (/ y t))) into (exp (- (/ y t)))
2.807 * [backup-simplify]: Simplify (- (exp (- (/ y t)))) into (- (exp (- (/ y t))))
2.807 * [backup-simplify]: Simplify (+ (exp (/ y t)) (- (exp (- (/ y t))))) into (- (exp (/ y t)) (exp (- (/ y t))))
2.807 * [backup-simplify]: Simplify (+ (exp (/ y t)) (exp (- (/ y t)))) into (+ (exp (- (/ y t))) (exp (/ y t)))
2.807 * [backup-simplify]: Simplify (/ (- (exp (/ y t)) (exp (- (/ y t)))) (+ (exp (- (/ y t))) (exp (/ y t)))) into (/ (- (exp (/ y t)) (exp (- (/ y t)))) (+ (exp (- (/ y t))) (exp (/ y t))))
2.807 * [taylor]: Taking taylor expansion of (tanh (/ y x)) in z
2.807 * [taylor]: Rewrote expression to (/ (- (exp (/ y x)) (exp (- (/ y x)))) (+ (exp (/ y x)) (exp (- (/ y x)))))
2.807 * [taylor]: Taking taylor expansion of (- (exp (/ y x)) (exp (- (/ y x)))) in z
2.807 * [taylor]: Taking taylor expansion of (exp (/ y x)) in z
2.807 * [taylor]: Taking taylor expansion of (/ y x) in z
2.807 * [taylor]: Taking taylor expansion of y in z
2.807 * [backup-simplify]: Simplify y into y
2.807 * [taylor]: Taking taylor expansion of x in z
2.807 * [backup-simplify]: Simplify x into x
2.807 * [backup-simplify]: Simplify (/ y x) into (/ y x)
2.807 * [backup-simplify]: Simplify (exp (/ y x)) into (exp (/ y x))
2.807 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in z
2.807 * [taylor]: Taking taylor expansion of (- (/ y x)) in z
2.807 * [taylor]: Taking taylor expansion of (/ y x) in z
2.808 * [taylor]: Taking taylor expansion of y in z
2.808 * [backup-simplify]: Simplify y into y
2.808 * [taylor]: Taking taylor expansion of x in z
2.808 * [backup-simplify]: Simplify x into x
2.808 * [backup-simplify]: Simplify (/ y x) into (/ y x)
2.808 * [backup-simplify]: Simplify (- (/ y x)) into (- (/ y x))
2.808 * [backup-simplify]: Simplify (- (/ y x)) into (- (/ y x))
2.808 * [backup-simplify]: Simplify (exp (- (/ y x))) into (exp (- (/ y x)))
2.808 * [taylor]: Taking taylor expansion of (+ (exp (/ y x)) (exp (- (/ y x)))) in z
2.808 * [taylor]: Taking taylor expansion of (exp (/ y x)) in z
2.808 * [taylor]: Taking taylor expansion of (/ y x) in z
2.808 * [taylor]: Taking taylor expansion of y in z
2.808 * [backup-simplify]: Simplify y into y
2.808 * [taylor]: Taking taylor expansion of x in z
2.808 * [backup-simplify]: Simplify x into x
2.808 * [backup-simplify]: Simplify (/ y x) into (/ y x)
2.808 * [backup-simplify]: Simplify (exp (/ y x)) into (exp (/ y x))
2.808 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in z
2.808 * [taylor]: Taking taylor expansion of (- (/ y x)) in z
2.808 * [taylor]: Taking taylor expansion of (/ y x) in z
2.808 * [taylor]: Taking taylor expansion of y in z
2.808 * [backup-simplify]: Simplify y into y
2.808 * [taylor]: Taking taylor expansion of x in z
2.808 * [backup-simplify]: Simplify x into x
2.808 * [backup-simplify]: Simplify (/ y x) into (/ y x)
2.808 * [backup-simplify]: Simplify (- (/ y x)) into (- (/ y x))
2.808 * [backup-simplify]: Simplify (- (/ y x)) into (- (/ y x))
2.808 * [backup-simplify]: Simplify (exp (- (/ y x))) into (exp (- (/ y x)))
2.808 * [backup-simplify]: Simplify (- (exp (- (/ y x)))) into (- (exp (- (/ y x))))
2.808 * [backup-simplify]: Simplify (+ (exp (/ y x)) (- (exp (- (/ y x))))) into (- (exp (/ y x)) (exp (- (/ y x))))
2.809 * [backup-simplify]: Simplify (+ (exp (/ y x)) (exp (- (/ y x)))) into (+ (exp (/ y x)) (exp (- (/ y x))))
2.809 * [backup-simplify]: Simplify (/ (- (exp (/ y x)) (exp (- (/ y x)))) (+ (exp (/ y x)) (exp (- (/ y x))))) into (/ (- (exp (/ y x)) (exp (- (/ y x)))) (+ (exp (/ y x)) (exp (- (/ y x)))))
2.809 * [taylor]: Taking taylor expansion of (* z y) in z
2.809 * [taylor]: Taking taylor expansion of z in z
2.809 * [backup-simplify]: Simplify 0 into 0
2.809 * [backup-simplify]: Simplify 1 into 1
2.809 * [taylor]: Taking taylor expansion of y in z
2.809 * [backup-simplify]: Simplify y into y
2.809 * [backup-simplify]: Simplify (- (/ (- (exp (/ y x)) (exp (- (/ y x)))) (+ (exp (/ y x)) (exp (- (/ y x)))))) into (- (/ (exp (- (/ y x))) (+ (exp (/ y x)) (exp (- (/ y x))))) (/ (exp (/ y x)) (+ (exp (/ y x)) (exp (- (/ y x))))))
2.810 * [backup-simplify]: Simplify (+ (/ (- (exp (/ y t)) (exp (- (/ y t)))) (+ (exp (- (/ y t))) (exp (/ y t)))) (- (/ (exp (- (/ y x))) (+ (exp (/ y x)) (exp (- (/ y x))))) (/ (exp (/ y x)) (+ (exp (/ y x)) (exp (- (/ y x))))))) into (- (+ (/ (exp (- (/ y x))) (+ (exp (/ y x)) (exp (- (/ y x))))) (/ (exp (/ y t)) (+ (exp (- (/ y t))) (exp (/ y t))))) (+ (/ (exp (/ y x)) (+ (exp (/ y x)) (exp (- (/ y x))))) (/ (exp (- (/ y t))) (+ (exp (- (/ y t))) (exp (/ y t))))))
2.810 * [backup-simplify]: Simplify (* 0 y) into 0
2.810 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.811 * [backup-simplify]: Simplify (/ (- (+ (/ (exp (- (/ y x))) (+ (exp (/ y x)) (exp (- (/ y x))))) (/ (exp (/ y t)) (+ (exp (- (/ y t))) (exp (/ y t))))) (+ (/ (exp (/ y x)) (+ (exp (/ y x)) (exp (- (/ y x))))) (/ (exp (- (/ y t))) (+ (exp (- (/ y t))) (exp (/ y t)))))) y) into (/ (- (+ (/ (exp (- (/ y x))) (+ (exp (/ y x)) (exp (- (/ y x))))) (/ (exp (/ y t)) (+ (exp (- (/ y t))) (exp (/ y t))))) (+ (/ (exp (/ y x)) (+ (exp (/ y x)) (exp (- (/ y x))))) (/ (exp (- (/ y t))) (+ (exp (- (/ y t))) (exp (/ y t)))))) y)
2.811 * [taylor]: Taking taylor expansion of (/ (- (tanh (/ y t)) (tanh (/ y x))) (* z y)) in y
2.811 * [taylor]: Taking taylor expansion of (- (tanh (/ y t)) (tanh (/ y x))) in y
2.811 * [taylor]: Taking taylor expansion of (tanh (/ y t)) in y
2.811 * [taylor]: Rewrote expression to (/ (- (exp (/ y t)) (exp (- (/ y t)))) (+ (exp (/ y t)) (exp (- (/ y t)))))
2.811 * [taylor]: Taking taylor expansion of (- (exp (/ y t)) (exp (- (/ y t)))) in y
2.811 * [taylor]: Taking taylor expansion of (exp (/ y t)) in y
2.811 * [taylor]: Taking taylor expansion of (/ y t) in y
2.811 * [taylor]: Taking taylor expansion of y in y
2.811 * [backup-simplify]: Simplify 0 into 0
2.811 * [backup-simplify]: Simplify 1 into 1
2.811 * [taylor]: Taking taylor expansion of t in y
2.811 * [backup-simplify]: Simplify t into t
2.811 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.811 * [backup-simplify]: Simplify (exp 0) into 1
2.811 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in y
2.811 * [taylor]: Taking taylor expansion of (- (/ y t)) in y
2.811 * [taylor]: Taking taylor expansion of (/ y t) in y
2.812 * [taylor]: Taking taylor expansion of y in y
2.812 * [backup-simplify]: Simplify 0 into 0
2.812 * [backup-simplify]: Simplify 1 into 1
2.812 * [taylor]: Taking taylor expansion of t in y
2.812 * [backup-simplify]: Simplify t into t
2.812 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.812 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
2.812 * [backup-simplify]: Simplify (exp 0) into 1
2.812 * [taylor]: Taking taylor expansion of (+ (exp (/ y t)) (exp (- (/ y t)))) in y
2.812 * [taylor]: Taking taylor expansion of (exp (/ y t)) in y
2.812 * [taylor]: Taking taylor expansion of (/ y t) in y
2.812 * [taylor]: Taking taylor expansion of y in y
2.812 * [backup-simplify]: Simplify 0 into 0
2.812 * [backup-simplify]: Simplify 1 into 1
2.812 * [taylor]: Taking taylor expansion of t in y
2.812 * [backup-simplify]: Simplify t into t
2.812 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.812 * [backup-simplify]: Simplify (exp 0) into 1
2.812 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in y
2.812 * [taylor]: Taking taylor expansion of (- (/ y t)) in y
2.812 * [taylor]: Taking taylor expansion of (/ y t) in y
2.812 * [taylor]: Taking taylor expansion of y in y
2.812 * [backup-simplify]: Simplify 0 into 0
2.812 * [backup-simplify]: Simplify 1 into 1
2.812 * [taylor]: Taking taylor expansion of t in y
2.812 * [backup-simplify]: Simplify t into t
2.812 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.812 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
2.812 * [backup-simplify]: Simplify (exp 0) into 1
2.812 * [backup-simplify]: Simplify (- 1) into -1
2.813 * [backup-simplify]: Simplify (+ 1 -1) into 0
2.813 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (/ 1 t) 1) 1)))) into (/ 1 t)
2.813 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
2.813 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (- (/ 1 t)) 1) 1)))) into (/ -1 t)
2.813 * [backup-simplify]: Simplify (- (/ -1 t)) into (/ 1 t)
2.813 * [backup-simplify]: Simplify (+ (/ 1 t) (/ 1 t)) into (* 2 (/ 1 t))
2.813 * [backup-simplify]: Simplify (+ 1 1) into 2
2.814 * [backup-simplify]: Simplify (/ (* 2 (/ 1 t)) 2) into (/ 1 t)
2.814 * [taylor]: Taking taylor expansion of (tanh (/ y x)) in y
2.814 * [taylor]: Rewrote expression to (/ (- (exp (/ y x)) (exp (- (/ y x)))) (+ (exp (/ y x)) (exp (- (/ y x)))))
2.814 * [taylor]: Taking taylor expansion of (- (exp (/ y x)) (exp (- (/ y x)))) in y
2.814 * [taylor]: Taking taylor expansion of (exp (/ y x)) in y
2.814 * [taylor]: Taking taylor expansion of (/ y x) in y
2.814 * [taylor]: Taking taylor expansion of y in y
2.814 * [backup-simplify]: Simplify 0 into 0
2.814 * [backup-simplify]: Simplify 1 into 1
2.814 * [taylor]: Taking taylor expansion of x in y
2.814 * [backup-simplify]: Simplify x into x
2.814 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.814 * [backup-simplify]: Simplify (exp 0) into 1
2.814 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in y
2.814 * [taylor]: Taking taylor expansion of (- (/ y x)) in y
2.814 * [taylor]: Taking taylor expansion of (/ y x) in y
2.814 * [taylor]: Taking taylor expansion of y in y
2.814 * [backup-simplify]: Simplify 0 into 0
2.814 * [backup-simplify]: Simplify 1 into 1
2.814 * [taylor]: Taking taylor expansion of x in y
2.814 * [backup-simplify]: Simplify x into x
2.814 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.814 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.814 * [backup-simplify]: Simplify (exp 0) into 1
2.814 * [taylor]: Taking taylor expansion of (+ (exp (/ y x)) (exp (- (/ y x)))) in y
2.814 * [taylor]: Taking taylor expansion of (exp (/ y x)) in y
2.814 * [taylor]: Taking taylor expansion of (/ y x) in y
2.814 * [taylor]: Taking taylor expansion of y in y
2.814 * [backup-simplify]: Simplify 0 into 0
2.814 * [backup-simplify]: Simplify 1 into 1
2.814 * [taylor]: Taking taylor expansion of x in y
2.814 * [backup-simplify]: Simplify x into x
2.814 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.814 * [backup-simplify]: Simplify (exp 0) into 1
2.814 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in y
2.814 * [taylor]: Taking taylor expansion of (- (/ y x)) in y
2.814 * [taylor]: Taking taylor expansion of (/ y x) in y
2.814 * [taylor]: Taking taylor expansion of y in y
2.814 * [backup-simplify]: Simplify 0 into 0
2.814 * [backup-simplify]: Simplify 1 into 1
2.814 * [taylor]: Taking taylor expansion of x in y
2.814 * [backup-simplify]: Simplify x into x
2.814 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.814 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.814 * [backup-simplify]: Simplify (exp 0) into 1
2.815 * [backup-simplify]: Simplify (- 1) into -1
2.815 * [backup-simplify]: Simplify (+ 1 -1) into 0
2.815 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (/ 1 x) 1) 1)))) into (/ 1 x)
2.815 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.815 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (- (/ 1 x)) 1) 1)))) into (/ -1 x)
2.815 * [backup-simplify]: Simplify (- (/ -1 x)) into (/ 1 x)
2.815 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 x)) into (* 2 (/ 1 x))
2.816 * [backup-simplify]: Simplify (+ 1 1) into 2
2.816 * [backup-simplify]: Simplify (/ (* 2 (/ 1 x)) 2) into (/ 1 x)
2.816 * [taylor]: Taking taylor expansion of (* z y) in y
2.816 * [taylor]: Taking taylor expansion of z in y
2.816 * [backup-simplify]: Simplify z into z
2.816 * [taylor]: Taking taylor expansion of y in y
2.816 * [backup-simplify]: Simplify 0 into 0
2.816 * [backup-simplify]: Simplify 1 into 1
2.816 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.816 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 x))) into (- (/ 1 t) (/ 1 x))
2.816 * [backup-simplify]: Simplify (* z 0) into 0
2.816 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
2.816 * [backup-simplify]: Simplify (/ (- (/ 1 t) (/ 1 x)) z) into (/ (- (/ 1 t) (/ 1 x)) z)
2.816 * [taylor]: Taking taylor expansion of (/ (- (tanh (/ y t)) (tanh (/ y x))) (* z y)) in y
2.816 * [taylor]: Taking taylor expansion of (- (tanh (/ y t)) (tanh (/ y x))) in y
2.816 * [taylor]: Taking taylor expansion of (tanh (/ y t)) in y
2.817 * [taylor]: Rewrote expression to (/ (- (exp (/ y t)) (exp (- (/ y t)))) (+ (exp (/ y t)) (exp (- (/ y t)))))
2.817 * [taylor]: Taking taylor expansion of (- (exp (/ y t)) (exp (- (/ y t)))) in y
2.817 * [taylor]: Taking taylor expansion of (exp (/ y t)) in y
2.817 * [taylor]: Taking taylor expansion of (/ y t) in y
2.817 * [taylor]: Taking taylor expansion of y in y
2.817 * [backup-simplify]: Simplify 0 into 0
2.817 * [backup-simplify]: Simplify 1 into 1
2.817 * [taylor]: Taking taylor expansion of t in y
2.817 * [backup-simplify]: Simplify t into t
2.817 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.817 * [backup-simplify]: Simplify (exp 0) into 1
2.817 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in y
2.817 * [taylor]: Taking taylor expansion of (- (/ y t)) in y
2.817 * [taylor]: Taking taylor expansion of (/ y t) in y
2.817 * [taylor]: Taking taylor expansion of y in y
2.817 * [backup-simplify]: Simplify 0 into 0
2.817 * [backup-simplify]: Simplify 1 into 1
2.817 * [taylor]: Taking taylor expansion of t in y
2.817 * [backup-simplify]: Simplify t into t
2.817 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.817 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
2.817 * [backup-simplify]: Simplify (exp 0) into 1
2.817 * [taylor]: Taking taylor expansion of (+ (exp (/ y t)) (exp (- (/ y t)))) in y
2.817 * [taylor]: Taking taylor expansion of (exp (/ y t)) in y
2.817 * [taylor]: Taking taylor expansion of (/ y t) in y
2.817 * [taylor]: Taking taylor expansion of y in y
2.817 * [backup-simplify]: Simplify 0 into 0
2.817 * [backup-simplify]: Simplify 1 into 1
2.817 * [taylor]: Taking taylor expansion of t in y
2.817 * [backup-simplify]: Simplify t into t
2.817 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.817 * [backup-simplify]: Simplify (exp 0) into 1
2.817 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in y
2.817 * [taylor]: Taking taylor expansion of (- (/ y t)) in y
2.817 * [taylor]: Taking taylor expansion of (/ y t) in y
2.817 * [taylor]: Taking taylor expansion of y in y
2.817 * [backup-simplify]: Simplify 0 into 0
2.817 * [backup-simplify]: Simplify 1 into 1
2.817 * [taylor]: Taking taylor expansion of t in y
2.817 * [backup-simplify]: Simplify t into t
2.817 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.817 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
2.817 * [backup-simplify]: Simplify (exp 0) into 1
2.818 * [backup-simplify]: Simplify (- 1) into -1
2.818 * [backup-simplify]: Simplify (+ 1 -1) into 0
2.818 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (/ 1 t) 1) 1)))) into (/ 1 t)
2.818 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
2.818 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (- (/ 1 t)) 1) 1)))) into (/ -1 t)
2.818 * [backup-simplify]: Simplify (- (/ -1 t)) into (/ 1 t)
2.818 * [backup-simplify]: Simplify (+ (/ 1 t) (/ 1 t)) into (* 2 (/ 1 t))
2.819 * [backup-simplify]: Simplify (+ 1 1) into 2
2.819 * [backup-simplify]: Simplify (/ (* 2 (/ 1 t)) 2) into (/ 1 t)
2.819 * [taylor]: Taking taylor expansion of (tanh (/ y x)) in y
2.819 * [taylor]: Rewrote expression to (/ (- (exp (/ y x)) (exp (- (/ y x)))) (+ (exp (/ y x)) (exp (- (/ y x)))))
2.819 * [taylor]: Taking taylor expansion of (- (exp (/ y x)) (exp (- (/ y x)))) in y
2.819 * [taylor]: Taking taylor expansion of (exp (/ y x)) in y
2.819 * [taylor]: Taking taylor expansion of (/ y x) in y
2.819 * [taylor]: Taking taylor expansion of y in y
2.819 * [backup-simplify]: Simplify 0 into 0
2.819 * [backup-simplify]: Simplify 1 into 1
2.819 * [taylor]: Taking taylor expansion of x in y
2.819 * [backup-simplify]: Simplify x into x
2.819 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.819 * [backup-simplify]: Simplify (exp 0) into 1
2.819 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in y
2.819 * [taylor]: Taking taylor expansion of (- (/ y x)) in y
2.819 * [taylor]: Taking taylor expansion of (/ y x) in y
2.819 * [taylor]: Taking taylor expansion of y in y
2.819 * [backup-simplify]: Simplify 0 into 0
2.819 * [backup-simplify]: Simplify 1 into 1
2.819 * [taylor]: Taking taylor expansion of x in y
2.819 * [backup-simplify]: Simplify x into x
2.819 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.819 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.819 * [backup-simplify]: Simplify (exp 0) into 1
2.819 * [taylor]: Taking taylor expansion of (+ (exp (/ y x)) (exp (- (/ y x)))) in y
2.819 * [taylor]: Taking taylor expansion of (exp (/ y x)) in y
2.819 * [taylor]: Taking taylor expansion of (/ y x) in y
2.819 * [taylor]: Taking taylor expansion of y in y
2.819 * [backup-simplify]: Simplify 0 into 0
2.819 * [backup-simplify]: Simplify 1 into 1
2.819 * [taylor]: Taking taylor expansion of x in y
2.819 * [backup-simplify]: Simplify x into x
2.820 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.820 * [backup-simplify]: Simplify (exp 0) into 1
2.820 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in y
2.820 * [taylor]: Taking taylor expansion of (- (/ y x)) in y
2.820 * [taylor]: Taking taylor expansion of (/ y x) in y
2.820 * [taylor]: Taking taylor expansion of y in y
2.820 * [backup-simplify]: Simplify 0 into 0
2.820 * [backup-simplify]: Simplify 1 into 1
2.820 * [taylor]: Taking taylor expansion of x in y
2.820 * [backup-simplify]: Simplify x into x
2.820 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.820 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.820 * [backup-simplify]: Simplify (exp 0) into 1
2.820 * [backup-simplify]: Simplify (- 1) into -1
2.820 * [backup-simplify]: Simplify (+ 1 -1) into 0
2.820 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (/ 1 x) 1) 1)))) into (/ 1 x)
2.821 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.821 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (- (/ 1 x)) 1) 1)))) into (/ -1 x)
2.821 * [backup-simplify]: Simplify (- (/ -1 x)) into (/ 1 x)
2.821 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 x)) into (* 2 (/ 1 x))
2.821 * [backup-simplify]: Simplify (+ 1 1) into 2
2.821 * [backup-simplify]: Simplify (/ (* 2 (/ 1 x)) 2) into (/ 1 x)
2.821 * [taylor]: Taking taylor expansion of (* z y) in y
2.821 * [taylor]: Taking taylor expansion of z in y
2.821 * [backup-simplify]: Simplify z into z
2.821 * [taylor]: Taking taylor expansion of y in y
2.821 * [backup-simplify]: Simplify 0 into 0
2.821 * [backup-simplify]: Simplify 1 into 1
2.821 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.821 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 x))) into (- (/ 1 t) (/ 1 x))
2.821 * [backup-simplify]: Simplify (* z 0) into 0
2.822 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
2.822 * [backup-simplify]: Simplify (/ (- (/ 1 t) (/ 1 x)) z) into (/ (- (/ 1 t) (/ 1 x)) z)
2.822 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 x)) z) in z
2.822 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z
2.822 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.822 * [taylor]: Taking taylor expansion of t in z
2.822 * [backup-simplify]: Simplify t into t
2.822 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.822 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.822 * [taylor]: Taking taylor expansion of x in z
2.822 * [backup-simplify]: Simplify x into x
2.822 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.822 * [taylor]: Taking taylor expansion of z in z
2.822 * [backup-simplify]: Simplify 0 into 0
2.822 * [backup-simplify]: Simplify 1 into 1
2.822 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.822 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 x))) into (- (/ 1 t) (/ 1 x))
2.822 * [backup-simplify]: Simplify (/ (- (/ 1 t) (/ 1 x)) 1) into (- (/ 1 t) (/ 1 x))
2.822 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
2.822 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.822 * [taylor]: Taking taylor expansion of t in t
2.822 * [backup-simplify]: Simplify 0 into 0
2.822 * [backup-simplify]: Simplify 1 into 1
2.823 * [backup-simplify]: Simplify (/ 1 1) into 1
2.823 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.823 * [taylor]: Taking taylor expansion of x in t
2.823 * [backup-simplify]: Simplify x into x
2.823 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.823 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.823 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.823 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
2.823 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
2.823 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.823 * [taylor]: Taking taylor expansion of x in x
2.823 * [backup-simplify]: Simplify 0 into 0
2.824 * [backup-simplify]: Simplify 1 into 1
2.824 * [backup-simplify]: Simplify (/ 1 1) into 1
2.824 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.824 * [backup-simplify]: Simplify (- 0) into 0
2.824 * [backup-simplify]: Simplify 0 into 0
2.825 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0