18.247 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.054 * * * [progress]: [2/2] Setting up program.
0.057 * [progress]: [Phase 2 of 3] Improving.
0.057 * [simplify]: Simplifying:
  (+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y)))))
0.057 * * [simplify]: Extracting # 0 : cost  0
0.057 * * [simplify]: Extracting # 1 : cost  0
0.057 * * [simplify]: Extracting # 2 : cost  0
0.057 * * [simplify]: Extracting # 3 : cost  0
0.057 * * [simplify]: Extracting # 4 : cost  0
0.058 * * [simplify]: Extracting # 5 : cost  0
0.058 * * [simplify]: Extracting # 6 : cost  0
0.058 * * [simplify]: iteration  0 :  12  enodes  (cost  15 )
0.060 * * [simplify]: Extracting # 0 : cost  0
0.060 * * [simplify]: Extracting # 1 : cost  0
0.060 * * [simplify]: Extracting # 2 : cost  0
0.060 * * [simplify]: Extracting # 3 : cost  0
0.060 * * [simplify]: Extracting # 4 : cost  0
0.060 * * [simplify]: Extracting # 5 : cost  0
0.060 * * [simplify]: Extracting # 6 : cost  0
0.060 * * [simplify]: Extracting # 7 : cost  0
0.060 * * [simplify]: iteration  1 :  54  enodes  (cost  15 )
0.071 * * [simplify]: Extracting # 0 : cost  0
0.072 * * [simplify]: Extracting # 1 : cost  0
0.072 * * [simplify]: Extracting # 2 : cost  0
0.072 * * [simplify]: iteration  2 :  142  enodes  (cost  15 )
0.111 * * [simplify]: Extracting # 0 : cost  0
0.111 * * [simplify]: Extracting # 1 : cost  0
0.112 * * [simplify]: Extracting # 2 : cost  0
0.112 * * [simplify]: Extracting # 3 : cost  0
0.112 * * [simplify]: Extracting # 4 : cost  0
0.113 * * [simplify]: iteration  3 :  322  enodes  (cost  15 )
0.254 * * [simplify]: Extracting # 0 : cost  0
0.255 * * [simplify]: Extracting # 1 : cost  0
0.256 * * [simplify]: Extracting # 2 : cost  0
0.257 * * [simplify]: Extracting # 3 : cost  0
0.259 * * [simplify]: iteration  4 :  944  enodes  (cost  15 )
1.026 * * [simplify]: Extracting # 0 : cost  0
1.033 * * [simplify]: Extracting # 1 : cost  0
1.040 * * [simplify]: Extracting # 2 : cost  0
1.046 * * [simplify]: Extracting # 3 : cost  0
1.057 * * [simplify]: Extracting # 4 : cost  0
1.063 * * [simplify]: iteration  5 :  3134  enodes  (cost  15 )
2.336 * * [simplify]: Extracting # 0 : cost  0
2.343 * * [simplify]: Extracting # 1 : cost  0
2.349 * * [simplify]: Extracting # 2 : cost  0
2.354 * * [simplify]: Extracting # 3 : cost  0
2.359 * * [simplify]: Extracting # 4 : cost  0
2.364 * * [simplify]: iteration done:  5000  enodes  (cost  15 )
2.364 * [simplify]: Simplified to:
  (+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y)))))
2.364 * * [progress]: iteration 1 / 4
2.364 * * * [progress]: picking best candidate
2.374 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))))>
2.375 * * * [progress]: localizing error
2.391 * * * [progress]: generating rewritten candidates
2.391 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
2.482 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
2.490 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2)
2.492 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
2.496 * * * [progress]: generating series expansions
2.496 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
2.496 * [backup-simplify]: Simplify (* (* y z) (- (tanh (/ t y)) (tanh (/ x y)))) into (* (- (tanh (/ t y)) (tanh (/ x y))) (* z y))
2.496 * [approximate]: Taking taylor expansion of (* (- (tanh (/ t y)) (tanh (/ x y))) (* z y)) in (y z t x) around 0
2.496 * [taylor]: Taking taylor expansion of (* (- (tanh (/ t y)) (tanh (/ x y))) (* z y)) in x
2.496 * [taylor]: Taking taylor expansion of (- (tanh (/ t y)) (tanh (/ x y))) in x
2.497 * [taylor]: Taking taylor expansion of (tanh (/ t y)) in x
2.497 * [taylor]: Rewrote expression to (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (/ t y)) (exp (- (/ t y)))))
2.497 * [taylor]: Taking taylor expansion of (- (exp (/ t y)) (exp (- (/ t y)))) in x
2.497 * [taylor]: Taking taylor expansion of (exp (/ t y)) in x
2.497 * [taylor]: Taking taylor expansion of (/ t y) in x
2.497 * [taylor]: Taking taylor expansion of t in x
2.497 * [backup-simplify]: Simplify t into t
2.497 * [taylor]: Taking taylor expansion of y in x
2.497 * [backup-simplify]: Simplify y into y
2.497 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.497 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y))
2.497 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in x
2.497 * [taylor]: Taking taylor expansion of (- (/ t y)) in x
2.497 * [taylor]: Taking taylor expansion of (/ t y) in x
2.497 * [taylor]: Taking taylor expansion of t in x
2.497 * [backup-simplify]: Simplify t into t
2.497 * [taylor]: Taking taylor expansion of y in x
2.497 * [backup-simplify]: Simplify y into y
2.497 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.497 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.497 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.497 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y)))
2.497 * [taylor]: Taking taylor expansion of (+ (exp (/ t y)) (exp (- (/ t y)))) in x
2.498 * [taylor]: Taking taylor expansion of (exp (/ t y)) in x
2.498 * [taylor]: Taking taylor expansion of (/ t y) in x
2.498 * [taylor]: Taking taylor expansion of t in x
2.498 * [backup-simplify]: Simplify t into t
2.498 * [taylor]: Taking taylor expansion of y in x
2.498 * [backup-simplify]: Simplify y into y
2.498 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.498 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y))
2.498 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in x
2.498 * [taylor]: Taking taylor expansion of (- (/ t y)) in x
2.498 * [taylor]: Taking taylor expansion of (/ t y) in x
2.498 * [taylor]: Taking taylor expansion of t in x
2.498 * [backup-simplify]: Simplify t into t
2.498 * [taylor]: Taking taylor expansion of y in x
2.498 * [backup-simplify]: Simplify y into y
2.498 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.498 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.498 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.498 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y)))
2.498 * [backup-simplify]: Simplify (- (exp (- (/ t y)))) into (- (exp (- (/ t y))))
2.498 * [backup-simplify]: Simplify (+ (exp (/ t y)) (- (exp (- (/ t y))))) into (- (exp (/ t y)) (exp (- (/ t y))))
2.498 * [backup-simplify]: Simplify (+ (exp (/ t y)) (exp (- (/ t y)))) into (+ (exp (- (/ t y))) (exp (/ t y)))
2.498 * [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.499 * [taylor]: Taking taylor expansion of (tanh (/ x y)) in x
2.499 * [taylor]: Rewrote expression to (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (/ x y)) (exp (- (/ x y)))))
2.499 * [taylor]: Taking taylor expansion of (- (exp (/ x y)) (exp (- (/ x y)))) in x
2.499 * [taylor]: Taking taylor expansion of (exp (/ x y)) in x
2.499 * [taylor]: Taking taylor expansion of (/ x y) in x
2.499 * [taylor]: Taking taylor expansion of x in x
2.499 * [backup-simplify]: Simplify 0 into 0
2.499 * [backup-simplify]: Simplify 1 into 1
2.499 * [taylor]: Taking taylor expansion of y in x
2.499 * [backup-simplify]: Simplify y into y
2.499 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.499 * [backup-simplify]: Simplify (exp 0) into 1
2.499 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in x
2.499 * [taylor]: Taking taylor expansion of (- (/ x y)) in x
2.499 * [taylor]: Taking taylor expansion of (/ x y) in x
2.499 * [taylor]: Taking taylor expansion of x in x
2.499 * [backup-simplify]: Simplify 0 into 0
2.499 * [backup-simplify]: Simplify 1 into 1
2.499 * [taylor]: Taking taylor expansion of y in x
2.499 * [backup-simplify]: Simplify y into y
2.499 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.499 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.499 * [backup-simplify]: Simplify (exp 0) into 1
2.499 * [taylor]: Taking taylor expansion of (+ (exp (/ x y)) (exp (- (/ x y)))) in x
2.499 * [taylor]: Taking taylor expansion of (exp (/ x y)) in x
2.499 * [taylor]: Taking taylor expansion of (/ x y) in x
2.499 * [taylor]: Taking taylor expansion of x in x
2.499 * [backup-simplify]: Simplify 0 into 0
2.499 * [backup-simplify]: Simplify 1 into 1
2.499 * [taylor]: Taking taylor expansion of y in x
2.499 * [backup-simplify]: Simplify y into y
2.499 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.499 * [backup-simplify]: Simplify (exp 0) into 1
2.499 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in x
2.499 * [taylor]: Taking taylor expansion of (- (/ x y)) in x
2.499 * [taylor]: Taking taylor expansion of (/ x y) in x
2.499 * [taylor]: Taking taylor expansion of x in x
2.499 * [backup-simplify]: Simplify 0 into 0
2.499 * [backup-simplify]: Simplify 1 into 1
2.499 * [taylor]: Taking taylor expansion of y in x
2.499 * [backup-simplify]: Simplify y into y
2.499 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.499 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.499 * [backup-simplify]: Simplify (exp 0) into 1
2.500 * [backup-simplify]: Simplify (- 1) into -1
2.500 * [backup-simplify]: Simplify (+ 1 -1) into 0
2.500 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (/ 1 y) 1) 1)))) into (/ 1 y)
2.500 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.501 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (- (/ 1 y)) 1) 1)))) into (/ -1 y)
2.501 * [backup-simplify]: Simplify (- (/ -1 y)) into (/ 1 y)
2.501 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 y)) into (* 2 (/ 1 y))
2.501 * [backup-simplify]: Simplify (+ 1 1) into 2
2.501 * [backup-simplify]: Simplify (/ (* 2 (/ 1 y)) 2) into (/ 1 y)
2.501 * [taylor]: Taking taylor expansion of (* z y) in x
2.501 * [taylor]: Taking taylor expansion of z in x
2.501 * [backup-simplify]: Simplify z into z
2.501 * [taylor]: Taking taylor expansion of y in x
2.501 * [backup-simplify]: Simplify y into y
2.501 * [taylor]: Taking taylor expansion of (* (- (tanh (/ t y)) (tanh (/ x y))) (* z y)) in t
2.501 * [taylor]: Taking taylor expansion of (- (tanh (/ t y)) (tanh (/ x y))) in t
2.501 * [taylor]: Taking taylor expansion of (tanh (/ t y)) in t
2.501 * [taylor]: Rewrote expression to (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (/ t y)) (exp (- (/ t y)))))
2.501 * [taylor]: Taking taylor expansion of (- (exp (/ t y)) (exp (- (/ t y)))) in t
2.501 * [taylor]: Taking taylor expansion of (exp (/ t y)) in t
2.501 * [taylor]: Taking taylor expansion of (/ t y) in t
2.501 * [taylor]: Taking taylor expansion of t in t
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [backup-simplify]: Simplify 1 into 1
2.501 * [taylor]: Taking taylor expansion of y in t
2.501 * [backup-simplify]: Simplify y into y
2.501 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.501 * [backup-simplify]: Simplify (exp 0) into 1
2.501 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in t
2.501 * [taylor]: Taking taylor expansion of (- (/ t y)) in t
2.501 * [taylor]: Taking taylor expansion of (/ t y) in t
2.501 * [taylor]: Taking taylor expansion of t in t
2.501 * [backup-simplify]: Simplify 0 into 0
2.502 * [backup-simplify]: Simplify 1 into 1
2.502 * [taylor]: Taking taylor expansion of y in t
2.502 * [backup-simplify]: Simplify y into y
2.502 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.502 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.502 * [backup-simplify]: Simplify (exp 0) into 1
2.502 * [taylor]: Taking taylor expansion of (+ (exp (/ t y)) (exp (- (/ t y)))) in t
2.502 * [taylor]: Taking taylor expansion of (exp (/ t y)) in t
2.502 * [taylor]: Taking taylor expansion of (/ t y) in t
2.502 * [taylor]: Taking taylor expansion of t in t
2.502 * [backup-simplify]: Simplify 0 into 0
2.502 * [backup-simplify]: Simplify 1 into 1
2.502 * [taylor]: Taking taylor expansion of y in t
2.502 * [backup-simplify]: Simplify y into y
2.502 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.502 * [backup-simplify]: Simplify (exp 0) into 1
2.502 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in t
2.502 * [taylor]: Taking taylor expansion of (- (/ t y)) in t
2.502 * [taylor]: Taking taylor expansion of (/ t y) in t
2.502 * [taylor]: Taking taylor expansion of t in t
2.502 * [backup-simplify]: Simplify 0 into 0
2.502 * [backup-simplify]: Simplify 1 into 1
2.502 * [taylor]: Taking taylor expansion of y in t
2.502 * [backup-simplify]: Simplify y into y
2.502 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.502 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.502 * [backup-simplify]: Simplify (exp 0) into 1
2.502 * [backup-simplify]: Simplify (- 1) into -1
2.503 * [backup-simplify]: Simplify (+ 1 -1) into 0
2.503 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (/ 1 y) 1) 1)))) into (/ 1 y)
2.503 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.503 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (- (/ 1 y)) 1) 1)))) into (/ -1 y)
2.503 * [backup-simplify]: Simplify (- (/ -1 y)) into (/ 1 y)
2.503 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 y)) into (* 2 (/ 1 y))
2.503 * [backup-simplify]: Simplify (+ 1 1) into 2
2.503 * [backup-simplify]: Simplify (/ (* 2 (/ 1 y)) 2) into (/ 1 y)
2.503 * [taylor]: Taking taylor expansion of (tanh (/ x y)) in t
2.503 * [taylor]: Rewrote expression to (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (/ x y)) (exp (- (/ x y)))))
2.504 * [taylor]: Taking taylor expansion of (- (exp (/ x y)) (exp (- (/ x y)))) in t
2.504 * [taylor]: Taking taylor expansion of (exp (/ x y)) in t
2.504 * [taylor]: Taking taylor expansion of (/ x y) in t
2.504 * [taylor]: Taking taylor expansion of x in t
2.504 * [backup-simplify]: Simplify x into x
2.504 * [taylor]: Taking taylor expansion of y in t
2.504 * [backup-simplify]: Simplify y into y
2.504 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.504 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.504 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in t
2.504 * [taylor]: Taking taylor expansion of (- (/ x y)) in t
2.504 * [taylor]: Taking taylor expansion of (/ x y) in t
2.504 * [taylor]: Taking taylor expansion of x in t
2.504 * [backup-simplify]: Simplify x into x
2.504 * [taylor]: Taking taylor expansion of y in t
2.504 * [backup-simplify]: Simplify y into y
2.504 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.504 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.504 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.504 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.504 * [taylor]: Taking taylor expansion of (+ (exp (/ x y)) (exp (- (/ x y)))) in t
2.504 * [taylor]: Taking taylor expansion of (exp (/ x y)) in t
2.504 * [taylor]: Taking taylor expansion of (/ x y) in t
2.505 * [taylor]: Taking taylor expansion of x in t
2.505 * [backup-simplify]: Simplify x into x
2.505 * [taylor]: Taking taylor expansion of y in t
2.505 * [backup-simplify]: Simplify y into y
2.505 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.505 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.505 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in t
2.505 * [taylor]: Taking taylor expansion of (- (/ x y)) in t
2.505 * [taylor]: Taking taylor expansion of (/ x y) in t
2.505 * [taylor]: Taking taylor expansion of x in t
2.505 * [backup-simplify]: Simplify x into x
2.505 * [taylor]: Taking taylor expansion of y in t
2.505 * [backup-simplify]: Simplify y into y
2.505 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.505 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.505 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.505 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.505 * [backup-simplify]: Simplify (- (exp (- (/ x y)))) into (- (exp (- (/ x y))))
2.506 * [backup-simplify]: Simplify (+ (exp (/ x y)) (- (exp (- (/ x y))))) into (- (exp (/ x y)) (exp (- (/ x y))))
2.506 * [backup-simplify]: Simplify (+ (exp (/ x y)) (exp (- (/ x y)))) into (+ (exp (- (/ x y))) (exp (/ x y)))
2.506 * [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.506 * [taylor]: Taking taylor expansion of (* z y) in t
2.506 * [taylor]: Taking taylor expansion of z in t
2.506 * [backup-simplify]: Simplify z into z
2.506 * [taylor]: Taking taylor expansion of y in t
2.506 * [backup-simplify]: Simplify y into y
2.507 * [taylor]: Taking taylor expansion of (* (- (tanh (/ t y)) (tanh (/ x y))) (* z y)) in z
2.507 * [taylor]: Taking taylor expansion of (- (tanh (/ t y)) (tanh (/ x y))) in z
2.507 * [taylor]: Taking taylor expansion of (tanh (/ t y)) in z
2.507 * [taylor]: Rewrote expression to (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (/ t y)) (exp (- (/ t y)))))
2.507 * [taylor]: Taking taylor expansion of (- (exp (/ t y)) (exp (- (/ t y)))) in z
2.507 * [taylor]: Taking taylor expansion of (exp (/ t y)) in z
2.507 * [taylor]: Taking taylor expansion of (/ t y) in z
2.507 * [taylor]: Taking taylor expansion of t in z
2.507 * [backup-simplify]: Simplify t into t
2.507 * [taylor]: Taking taylor expansion of y in z
2.507 * [backup-simplify]: Simplify y into y
2.507 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.507 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y))
2.507 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in z
2.507 * [taylor]: Taking taylor expansion of (- (/ t y)) in z
2.507 * [taylor]: Taking taylor expansion of (/ t y) in z
2.507 * [taylor]: Taking taylor expansion of t in z
2.507 * [backup-simplify]: Simplify t into t
2.507 * [taylor]: Taking taylor expansion of y in z
2.507 * [backup-simplify]: Simplify y into y
2.507 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.508 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.508 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.508 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y)))
2.508 * [taylor]: Taking taylor expansion of (+ (exp (/ t y)) (exp (- (/ t y)))) in z
2.508 * [taylor]: Taking taylor expansion of (exp (/ t y)) in z
2.508 * [taylor]: Taking taylor expansion of (/ t y) in z
2.508 * [taylor]: Taking taylor expansion of t in z
2.508 * [backup-simplify]: Simplify t into t
2.508 * [taylor]: Taking taylor expansion of y in z
2.508 * [backup-simplify]: Simplify y into y
2.508 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.508 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y))
2.508 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in z
2.508 * [taylor]: Taking taylor expansion of (- (/ t y)) in z
2.508 * [taylor]: Taking taylor expansion of (/ t y) in z
2.509 * [taylor]: Taking taylor expansion of t in z
2.509 * [backup-simplify]: Simplify t into t
2.509 * [taylor]: Taking taylor expansion of y in z
2.509 * [backup-simplify]: Simplify y into y
2.509 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.509 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.509 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.509 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y)))
2.509 * [backup-simplify]: Simplify (- (exp (- (/ t y)))) into (- (exp (- (/ t y))))
2.509 * [backup-simplify]: Simplify (+ (exp (/ t y)) (- (exp (- (/ t y))))) into (- (exp (/ t y)) (exp (- (/ t y))))
2.510 * [backup-simplify]: Simplify (+ (exp (/ t y)) (exp (- (/ t y)))) into (+ (exp (- (/ t y))) (exp (/ t y)))
2.510 * [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.510 * [taylor]: Taking taylor expansion of (tanh (/ x y)) in z
2.510 * [taylor]: Rewrote expression to (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (/ x y)) (exp (- (/ x y)))))
2.510 * [taylor]: Taking taylor expansion of (- (exp (/ x y)) (exp (- (/ x y)))) in z
2.510 * [taylor]: Taking taylor expansion of (exp (/ x y)) in z
2.510 * [taylor]: Taking taylor expansion of (/ x y) in z
2.510 * [taylor]: Taking taylor expansion of x in z
2.510 * [backup-simplify]: Simplify x into x
2.510 * [taylor]: Taking taylor expansion of y in z
2.510 * [backup-simplify]: Simplify y into y
2.511 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.511 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.511 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in z
2.511 * [taylor]: Taking taylor expansion of (- (/ x y)) in z
2.511 * [taylor]: Taking taylor expansion of (/ x y) in z
2.511 * [taylor]: Taking taylor expansion of x in z
2.511 * [backup-simplify]: Simplify x into x
2.511 * [taylor]: Taking taylor expansion of y in z
2.511 * [backup-simplify]: Simplify y into y
2.511 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.511 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.511 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.511 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.511 * [taylor]: Taking taylor expansion of (+ (exp (/ x y)) (exp (- (/ x y)))) in z
2.511 * [taylor]: Taking taylor expansion of (exp (/ x y)) in z
2.511 * [taylor]: Taking taylor expansion of (/ x y) in z
2.511 * [taylor]: Taking taylor expansion of x in z
2.511 * [backup-simplify]: Simplify x into x
2.511 * [taylor]: Taking taylor expansion of y in z
2.511 * [backup-simplify]: Simplify y into y
2.512 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.512 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.512 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in z
2.512 * [taylor]: Taking taylor expansion of (- (/ x y)) in z
2.512 * [taylor]: Taking taylor expansion of (/ x y) in z
2.512 * [taylor]: Taking taylor expansion of x in z
2.512 * [backup-simplify]: Simplify x into x
2.512 * [taylor]: Taking taylor expansion of y in z
2.512 * [backup-simplify]: Simplify y into y
2.512 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.512 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.512 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.512 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.512 * [backup-simplify]: Simplify (- (exp (- (/ x y)))) into (- (exp (- (/ x y))))
2.513 * [backup-simplify]: Simplify (+ (exp (/ x y)) (- (exp (- (/ x y))))) into (- (exp (/ x y)) (exp (- (/ x y))))
2.513 * [backup-simplify]: Simplify (+ (exp (/ x y)) (exp (- (/ x y)))) into (+ (exp (- (/ x y))) (exp (/ x y)))
2.513 * [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.513 * [taylor]: Taking taylor expansion of (* z y) in z
2.513 * [taylor]: Taking taylor expansion of z in z
2.513 * [backup-simplify]: Simplify 0 into 0
2.513 * [backup-simplify]: Simplify 1 into 1
2.513 * [taylor]: Taking taylor expansion of y in z
2.513 * [backup-simplify]: Simplify y into y
2.513 * [taylor]: Taking taylor expansion of (* (- (tanh (/ t y)) (tanh (/ x y))) (* z y)) in y
2.513 * [taylor]: Taking taylor expansion of (- (tanh (/ t y)) (tanh (/ x y))) in y
2.513 * [taylor]: Taking taylor expansion of (tanh (/ t y)) in y
2.514 * [taylor]: Rewrote expression to (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (/ t y)) (exp (- (/ t y)))))
2.514 * [taylor]: Taking taylor expansion of (- (exp (/ t y)) (exp (- (/ t y)))) in y
2.514 * [taylor]: Taking taylor expansion of (exp (/ t y)) in y
2.514 * [taylor]: Taking taylor expansion of (/ t y) in y
2.514 * [taylor]: Taking taylor expansion of t in y
2.514 * [backup-simplify]: Simplify t into t
2.514 * [taylor]: Taking taylor expansion of y in y
2.514 * [backup-simplify]: Simplify 0 into 0
2.514 * [backup-simplify]: Simplify 1 into 1
2.514 * [backup-simplify]: Simplify (/ t 1) into t
2.514 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y))
2.514 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in y
2.514 * [taylor]: Taking taylor expansion of (- (/ t y)) in y
2.514 * [taylor]: Taking taylor expansion of (/ t y) in y
2.514 * [taylor]: Taking taylor expansion of t in y
2.514 * [backup-simplify]: Simplify t into t
2.514 * [taylor]: Taking taylor expansion of y in y
2.514 * [backup-simplify]: Simplify 0 into 0
2.514 * [backup-simplify]: Simplify 1 into 1
2.514 * [backup-simplify]: Simplify (/ t 1) into t
2.514 * [backup-simplify]: Simplify (- t) into (- t)
2.515 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y)))
2.515 * [taylor]: Taking taylor expansion of (+ (exp (/ t y)) (exp (- (/ t y)))) in y
2.515 * [taylor]: Taking taylor expansion of (exp (/ t y)) in y
2.515 * [taylor]: Taking taylor expansion of (/ t y) in y
2.515 * [taylor]: Taking taylor expansion of t in y
2.515 * [backup-simplify]: Simplify t into t
2.515 * [taylor]: Taking taylor expansion of y in y
2.515 * [backup-simplify]: Simplify 0 into 0
2.515 * [backup-simplify]: Simplify 1 into 1
2.515 * [backup-simplify]: Simplify (/ t 1) into t
2.515 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y))
2.515 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in y
2.515 * [taylor]: Taking taylor expansion of (- (/ t y)) in y
2.515 * [taylor]: Taking taylor expansion of (/ t y) in y
2.515 * [taylor]: Taking taylor expansion of t in y
2.515 * [backup-simplify]: Simplify t into t
2.515 * [taylor]: Taking taylor expansion of y in y
2.515 * [backup-simplify]: Simplify 0 into 0
2.515 * [backup-simplify]: Simplify 1 into 1
2.515 * [backup-simplify]: Simplify (/ t 1) into t
2.515 * [backup-simplify]: Simplify (- t) into (- t)
2.515 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y)))
2.516 * [backup-simplify]: Simplify (- (exp (- (/ t y)))) into (- (exp (- (/ t y))))
2.516 * [backup-simplify]: Simplify (+ (exp (/ t y)) (- (exp (- (/ t y))))) into (- (exp (/ t y)) (exp (- (/ t y))))
2.516 * [backup-simplify]: Simplify (+ (exp (/ t y)) (exp (- (/ t y)))) into (+ (exp (- (/ t y))) (exp (/ t y)))
2.516 * [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.516 * [taylor]: Taking taylor expansion of (tanh (/ x y)) in y
2.517 * [taylor]: Rewrote expression to (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (/ x y)) (exp (- (/ x y)))))
2.517 * [taylor]: Taking taylor expansion of (- (exp (/ x y)) (exp (- (/ x y)))) in y
2.517 * [taylor]: Taking taylor expansion of (exp (/ x y)) in y
2.517 * [taylor]: Taking taylor expansion of (/ x y) in y
2.517 * [taylor]: Taking taylor expansion of x in y
2.517 * [backup-simplify]: Simplify x into x
2.517 * [taylor]: Taking taylor expansion of y in y
2.517 * [backup-simplify]: Simplify 0 into 0
2.517 * [backup-simplify]: Simplify 1 into 1
2.517 * [backup-simplify]: Simplify (/ x 1) into x
2.517 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.517 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in y
2.517 * [taylor]: Taking taylor expansion of (- (/ x y)) in y
2.517 * [taylor]: Taking taylor expansion of (/ x y) in y
2.517 * [taylor]: Taking taylor expansion of x in y
2.517 * [backup-simplify]: Simplify x into x
2.517 * [taylor]: Taking taylor expansion of y in y
2.517 * [backup-simplify]: Simplify 0 into 0
2.517 * [backup-simplify]: Simplify 1 into 1
2.517 * [backup-simplify]: Simplify (/ x 1) into x
2.517 * [backup-simplify]: Simplify (- x) into (- x)
2.517 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.517 * [taylor]: Taking taylor expansion of (+ (exp (/ x y)) (exp (- (/ x y)))) in y
2.518 * [taylor]: Taking taylor expansion of (exp (/ x y)) in y
2.518 * [taylor]: Taking taylor expansion of (/ x y) in y
2.518 * [taylor]: Taking taylor expansion of x in y
2.518 * [backup-simplify]: Simplify x into x
2.518 * [taylor]: Taking taylor expansion of y in y
2.518 * [backup-simplify]: Simplify 0 into 0
2.518 * [backup-simplify]: Simplify 1 into 1
2.518 * [backup-simplify]: Simplify (/ x 1) into x
2.518 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.518 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in y
2.518 * [taylor]: Taking taylor expansion of (- (/ x y)) in y
2.518 * [taylor]: Taking taylor expansion of (/ x y) in y
2.518 * [taylor]: Taking taylor expansion of x in y
2.518 * [backup-simplify]: Simplify x into x
2.518 * [taylor]: Taking taylor expansion of y in y
2.518 * [backup-simplify]: Simplify 0 into 0
2.518 * [backup-simplify]: Simplify 1 into 1
2.518 * [backup-simplify]: Simplify (/ x 1) into x
2.518 * [backup-simplify]: Simplify (- x) into (- x)
2.518 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.518 * [backup-simplify]: Simplify (- (exp (- (/ x y)))) into (- (exp (- (/ x y))))
2.519 * [backup-simplify]: Simplify (+ (exp (/ x y)) (- (exp (- (/ x y))))) into (- (exp (/ x y)) (exp (- (/ x y))))
2.519 * [backup-simplify]: Simplify (+ (exp (/ x y)) (exp (- (/ x y)))) into (+ (exp (- (/ x y))) (exp (/ x y)))
2.519 * [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.519 * [taylor]: Taking taylor expansion of (* z y) in y
2.519 * [taylor]: Taking taylor expansion of z in y
2.519 * [backup-simplify]: Simplify z into z
2.519 * [taylor]: Taking taylor expansion of y in y
2.519 * [backup-simplify]: Simplify 0 into 0
2.519 * [backup-simplify]: Simplify 1 into 1
2.519 * [taylor]: Taking taylor expansion of (* (- (tanh (/ t y)) (tanh (/ x y))) (* z y)) in y
2.520 * [taylor]: Taking taylor expansion of (- (tanh (/ t y)) (tanh (/ x y))) in y
2.520 * [taylor]: Taking taylor expansion of (tanh (/ t y)) in y
2.520 * [taylor]: Rewrote expression to (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (/ t y)) (exp (- (/ t y)))))
2.520 * [taylor]: Taking taylor expansion of (- (exp (/ t y)) (exp (- (/ t y)))) in y
2.520 * [taylor]: Taking taylor expansion of (exp (/ t y)) in y
2.520 * [taylor]: Taking taylor expansion of (/ t y) in y
2.520 * [taylor]: Taking taylor expansion of t in y
2.520 * [backup-simplify]: Simplify t into t
2.520 * [taylor]: Taking taylor expansion of y in y
2.520 * [backup-simplify]: Simplify 0 into 0
2.520 * [backup-simplify]: Simplify 1 into 1
2.520 * [backup-simplify]: Simplify (/ t 1) into t
2.520 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y))
2.520 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in y
2.520 * [taylor]: Taking taylor expansion of (- (/ t y)) in y
2.520 * [taylor]: Taking taylor expansion of (/ t y) in y
2.520 * [taylor]: Taking taylor expansion of t in y
2.520 * [backup-simplify]: Simplify t into t
2.520 * [taylor]: Taking taylor expansion of y in y
2.520 * [backup-simplify]: Simplify 0 into 0
2.520 * [backup-simplify]: Simplify 1 into 1
2.520 * [backup-simplify]: Simplify (/ t 1) into t
2.520 * [backup-simplify]: Simplify (- t) into (- t)
2.520 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y)))
2.520 * [taylor]: Taking taylor expansion of (+ (exp (/ t y)) (exp (- (/ t y)))) in y
2.520 * [taylor]: Taking taylor expansion of (exp (/ t y)) in y
2.520 * [taylor]: Taking taylor expansion of (/ t y) in y
2.520 * [taylor]: Taking taylor expansion of t in y
2.520 * [backup-simplify]: Simplify t into t
2.520 * [taylor]: Taking taylor expansion of y in y
2.520 * [backup-simplify]: Simplify 0 into 0
2.520 * [backup-simplify]: Simplify 1 into 1
2.520 * [backup-simplify]: Simplify (/ t 1) into t
2.520 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y))
2.520 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in y
2.520 * [taylor]: Taking taylor expansion of (- (/ t y)) in y
2.520 * [taylor]: Taking taylor expansion of (/ t y) in y
2.520 * [taylor]: Taking taylor expansion of t in y
2.520 * [backup-simplify]: Simplify t into t
2.520 * [taylor]: Taking taylor expansion of y in y
2.520 * [backup-simplify]: Simplify 0 into 0
2.520 * [backup-simplify]: Simplify 1 into 1
2.520 * [backup-simplify]: Simplify (/ t 1) into t
2.520 * [backup-simplify]: Simplify (- t) into (- t)
2.521 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y)))
2.521 * [backup-simplify]: Simplify (- (exp (- (/ t y)))) into (- (exp (- (/ t y))))
2.521 * [backup-simplify]: Simplify (+ (exp (/ t y)) (- (exp (- (/ t y))))) into (- (exp (/ t y)) (exp (- (/ t y))))
2.521 * [backup-simplify]: Simplify (+ (exp (/ t y)) (exp (- (/ t y)))) into (+ (exp (- (/ t y))) (exp (/ t y)))
2.521 * [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.521 * [taylor]: Taking taylor expansion of (tanh (/ x y)) in y
2.521 * [taylor]: Rewrote expression to (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (/ x y)) (exp (- (/ x y)))))
2.521 * [taylor]: Taking taylor expansion of (- (exp (/ x y)) (exp (- (/ x y)))) in y
2.521 * [taylor]: Taking taylor expansion of (exp (/ x y)) in y
2.521 * [taylor]: Taking taylor expansion of (/ x y) in y
2.521 * [taylor]: Taking taylor expansion of x in y
2.521 * [backup-simplify]: Simplify x into x
2.521 * [taylor]: Taking taylor expansion of y in y
2.521 * [backup-simplify]: Simplify 0 into 0
2.521 * [backup-simplify]: Simplify 1 into 1
2.521 * [backup-simplify]: Simplify (/ x 1) into x
2.521 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.521 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in y
2.521 * [taylor]: Taking taylor expansion of (- (/ x y)) in y
2.521 * [taylor]: Taking taylor expansion of (/ x y) in y
2.521 * [taylor]: Taking taylor expansion of x in y
2.521 * [backup-simplify]: Simplify x into x
2.521 * [taylor]: Taking taylor expansion of y in y
2.522 * [backup-simplify]: Simplify 0 into 0
2.522 * [backup-simplify]: Simplify 1 into 1
2.522 * [backup-simplify]: Simplify (/ x 1) into x
2.522 * [backup-simplify]: Simplify (- x) into (- x)
2.522 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.522 * [taylor]: Taking taylor expansion of (+ (exp (/ x y)) (exp (- (/ x y)))) in y
2.522 * [taylor]: Taking taylor expansion of (exp (/ x y)) in y
2.522 * [taylor]: Taking taylor expansion of (/ x y) in y
2.522 * [taylor]: Taking taylor expansion of x in y
2.522 * [backup-simplify]: Simplify x into x
2.522 * [taylor]: Taking taylor expansion of y in y
2.522 * [backup-simplify]: Simplify 0 into 0
2.522 * [backup-simplify]: Simplify 1 into 1
2.522 * [backup-simplify]: Simplify (/ x 1) into x
2.522 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.522 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in y
2.522 * [taylor]: Taking taylor expansion of (- (/ x y)) in y
2.522 * [taylor]: Taking taylor expansion of (/ x y) in y
2.522 * [taylor]: Taking taylor expansion of x in y
2.522 * [backup-simplify]: Simplify x into x
2.522 * [taylor]: Taking taylor expansion of y in y
2.522 * [backup-simplify]: Simplify 0 into 0
2.522 * [backup-simplify]: Simplify 1 into 1
2.522 * [backup-simplify]: Simplify (/ x 1) into x
2.522 * [backup-simplify]: Simplify (- x) into (- x)
2.522 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.522 * [backup-simplify]: Simplify (- (exp (- (/ x y)))) into (- (exp (- (/ x y))))
2.522 * [backup-simplify]: Simplify (+ (exp (/ x y)) (- (exp (- (/ x y))))) into (- (exp (/ x y)) (exp (- (/ x y))))
2.522 * [backup-simplify]: Simplify (+ (exp (/ x y)) (exp (- (/ x y)))) into (+ (exp (- (/ x y))) (exp (/ x y)))
2.523 * [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.523 * [taylor]: Taking taylor expansion of (* z y) in y
2.523 * [taylor]: Taking taylor expansion of z in y
2.523 * [backup-simplify]: Simplify z into z
2.523 * [taylor]: Taking taylor expansion of y in y
2.523 * [backup-simplify]: Simplify 0 into 0
2.523 * [backup-simplify]: Simplify 1 into 1
2.523 * [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.524 * [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.524 * [backup-simplify]: Simplify (* z 0) into 0
2.524 * [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.524 * [taylor]: Taking taylor expansion of 0 in z
2.524 * [backup-simplify]: Simplify 0 into 0
2.524 * [taylor]: Taking taylor expansion of 0 in t
2.524 * [backup-simplify]: Simplify 0 into 0
2.524 * [taylor]: Taking taylor expansion of 0 in x
2.524 * [backup-simplify]: Simplify 0 into 0
2.524 * [backup-simplify]: Simplify 0 into 0
2.525 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
2.525 * [backup-simplify]: Simplify (- 0) into 0
2.525 * [backup-simplify]: Simplify (+ 0 0) into 0
2.526 * [backup-simplify]: Simplify (+ 0 0) into 0
2.526 * [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.526 * [backup-simplify]: Simplify (- 0) into 0
2.527 * [backup-simplify]: Simplify (+ 0 0) into 0
2.527 * [backup-simplify]: Simplify (+ 0 0) into 0
2.527 * [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.528 * [backup-simplify]: Simplify (- 0) into 0
2.528 * [backup-simplify]: Simplify (+ 0 0) into 0
2.529 * [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.529 * [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.529 * [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.529 * [taylor]: Taking taylor expansion of (/ (* z (exp (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y)))) in z
2.529 * [taylor]: Taking taylor expansion of (* z (exp (/ t y))) in z
2.529 * [taylor]: Taking taylor expansion of z in z
2.529 * [backup-simplify]: Simplify 0 into 0
2.529 * [backup-simplify]: Simplify 1 into 1
2.529 * [taylor]: Taking taylor expansion of (exp (/ t y)) in z
2.529 * [taylor]: Taking taylor expansion of (/ t y) in z
2.529 * [taylor]: Taking taylor expansion of t in z
2.529 * [backup-simplify]: Simplify t into t
2.529 * [taylor]: Taking taylor expansion of y in z
2.529 * [backup-simplify]: Simplify y into y
2.529 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.529 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y))
2.529 * [taylor]: Taking taylor expansion of (+ (exp (- (/ t y))) (exp (/ t y))) in z
2.529 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in z
2.529 * [taylor]: Taking taylor expansion of (- (/ t y)) in z
2.529 * [taylor]: Taking taylor expansion of (/ t y) in z
2.529 * [taylor]: Taking taylor expansion of t in z
2.529 * [backup-simplify]: Simplify t into t
2.529 * [taylor]: Taking taylor expansion of y in z
2.529 * [backup-simplify]: Simplify y into y
2.529 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.529 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.530 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.530 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y)))
2.530 * [taylor]: Taking taylor expansion of (exp (/ t y)) in z
2.530 * [taylor]: Taking taylor expansion of (/ t y) in z
2.530 * [taylor]: Taking taylor expansion of t in z
2.530 * [backup-simplify]: Simplify t into t
2.530 * [taylor]: Taking taylor expansion of y in z
2.530 * [backup-simplify]: Simplify y into y
2.530 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.530 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y))
2.530 * [backup-simplify]: Simplify (* 0 (exp (/ t y))) into 0
2.530 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ t y) (/ 0 y)))) into 0
2.531 * [backup-simplify]: Simplify (* (exp (/ t y)) (+ (* (/ (pow 0 1) 1)))) into 0
2.531 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (/ t y)))) into (exp (/ t y))
2.531 * [backup-simplify]: Simplify (+ (exp (- (/ t y))) (exp (/ t y))) into (+ (exp (- (/ t y))) (exp (/ t y)))
2.531 * [backup-simplify]: Simplify (/ (exp (/ t y)) (+ (exp (- (/ t y))) (exp (/ t y)))) into (/ (exp (/ t y)) (+ (exp (- (/ t y))) (exp (/ t y))))
2.531 * [taylor]: Taking taylor expansion of (/ (* z (exp (- (/ x y)))) (+ (exp (- (/ x y))) (exp (/ x y)))) in z
2.531 * [taylor]: Taking taylor expansion of (* z (exp (- (/ x y)))) in z
2.531 * [taylor]: Taking taylor expansion of z in z
2.531 * [backup-simplify]: Simplify 0 into 0
2.531 * [backup-simplify]: Simplify 1 into 1
2.531 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in z
2.531 * [taylor]: Taking taylor expansion of (- (/ x y)) in z
2.531 * [taylor]: Taking taylor expansion of (/ x y) in z
2.531 * [taylor]: Taking taylor expansion of x in z
2.531 * [backup-simplify]: Simplify x into x
2.531 * [taylor]: Taking taylor expansion of y in z
2.531 * [backup-simplify]: Simplify y into y
2.531 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.531 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.532 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.532 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.532 * [taylor]: Taking taylor expansion of (+ (exp (- (/ x y))) (exp (/ x y))) in z
2.532 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in z
2.532 * [taylor]: Taking taylor expansion of (- (/ x y)) in z
2.532 * [taylor]: Taking taylor expansion of (/ x y) in z
2.532 * [taylor]: Taking taylor expansion of x in z
2.532 * [backup-simplify]: Simplify x into x
2.532 * [taylor]: Taking taylor expansion of y in z
2.532 * [backup-simplify]: Simplify y into y
2.532 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.532 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.532 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.532 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.532 * [taylor]: Taking taylor expansion of (exp (/ x y)) in z
2.532 * [taylor]: Taking taylor expansion of (/ x y) in z
2.532 * [taylor]: Taking taylor expansion of x in z
2.532 * [backup-simplify]: Simplify x into x
2.532 * [taylor]: Taking taylor expansion of y in z
2.532 * [backup-simplify]: Simplify y into y
2.532 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.532 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.532 * [backup-simplify]: Simplify (* 0 (exp (- (/ x y)))) into 0
2.532 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.532 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ x y) (/ 0 y)))) into 0
2.533 * [backup-simplify]: Simplify (- 0) into 0
2.533 * [backup-simplify]: Simplify (* (exp (- (/ x y))) (+ (* (/ (pow 0 1) 1)))) into 0
2.534 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (- (/ x y))))) into (exp (- (/ x y)))
2.534 * [backup-simplify]: Simplify (+ (exp (- (/ x y))) (exp (/ x y))) into (+ (exp (- (/ x y))) (exp (/ x y)))
2.534 * [backup-simplify]: Simplify (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) into (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y))))
2.534 * [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.534 * [taylor]: Taking taylor expansion of (/ (* z (exp (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) in z
2.534 * [taylor]: Taking taylor expansion of (* z (exp (/ x y))) in z
2.534 * [taylor]: Taking taylor expansion of z in z
2.534 * [backup-simplify]: Simplify 0 into 0
2.534 * [backup-simplify]: Simplify 1 into 1
2.534 * [taylor]: Taking taylor expansion of (exp (/ x y)) in z
2.534 * [taylor]: Taking taylor expansion of (/ x y) in z
2.534 * [taylor]: Taking taylor expansion of x in z
2.534 * [backup-simplify]: Simplify x into x
2.534 * [taylor]: Taking taylor expansion of y in z
2.534 * [backup-simplify]: Simplify y into y
2.534 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.534 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.534 * [taylor]: Taking taylor expansion of (+ (exp (- (/ x y))) (exp (/ x y))) in z
2.534 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in z
2.534 * [taylor]: Taking taylor expansion of (- (/ x y)) in z
2.534 * [taylor]: Taking taylor expansion of (/ x y) in z
2.534 * [taylor]: Taking taylor expansion of x in z
2.534 * [backup-simplify]: Simplify x into x
2.534 * [taylor]: Taking taylor expansion of y in z
2.534 * [backup-simplify]: Simplify y into y
2.535 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.535 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.535 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.535 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.535 * [taylor]: Taking taylor expansion of (exp (/ x y)) in z
2.535 * [taylor]: Taking taylor expansion of (/ x y) in z
2.535 * [taylor]: Taking taylor expansion of x in z
2.535 * [backup-simplify]: Simplify x into x
2.535 * [taylor]: Taking taylor expansion of y in z
2.535 * [backup-simplify]: Simplify y into y
2.535 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.535 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.535 * [backup-simplify]: Simplify (* 0 (exp (/ x y))) into 0
2.535 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ x y) (/ 0 y)))) into 0
2.536 * [backup-simplify]: Simplify (* (exp (/ x y)) (+ (* (/ (pow 0 1) 1)))) into 0
2.536 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (/ x y)))) into (exp (/ x y))
2.536 * [backup-simplify]: Simplify (+ (exp (- (/ x y))) (exp (/ x y))) into (+ (exp (- (/ x y))) (exp (/ x y)))
2.536 * [backup-simplify]: Simplify (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))) into (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y))))
2.536 * [taylor]: Taking taylor expansion of (/ (* (exp (- (/ t y))) z) (+ (exp (- (/ t y))) (exp (/ t y)))) in z
2.536 * [taylor]: Taking taylor expansion of (* (exp (- (/ t y))) z) in z
2.536 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in z
2.536 * [taylor]: Taking taylor expansion of (- (/ t y)) in z
2.536 * [taylor]: Taking taylor expansion of (/ t y) in z
2.536 * [taylor]: Taking taylor expansion of t in z
2.536 * [backup-simplify]: Simplify t into t
2.536 * [taylor]: Taking taylor expansion of y in z
2.536 * [backup-simplify]: Simplify y into y
2.536 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.536 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.536 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.537 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y)))
2.537 * [taylor]: Taking taylor expansion of z in z
2.537 * [backup-simplify]: Simplify 0 into 0
2.537 * [backup-simplify]: Simplify 1 into 1
2.537 * [taylor]: Taking taylor expansion of (+ (exp (- (/ t y))) (exp (/ t y))) in z
2.537 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in z
2.537 * [taylor]: Taking taylor expansion of (- (/ t y)) in z
2.537 * [taylor]: Taking taylor expansion of (/ t y) in z
2.537 * [taylor]: Taking taylor expansion of t in z
2.537 * [backup-simplify]: Simplify t into t
2.537 * [taylor]: Taking taylor expansion of y in z
2.537 * [backup-simplify]: Simplify y into y
2.537 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.537 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.537 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.537 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y)))
2.537 * [taylor]: Taking taylor expansion of (exp (/ t y)) in z
2.537 * [taylor]: Taking taylor expansion of (/ t y) in z
2.537 * [taylor]: Taking taylor expansion of t in z
2.537 * [backup-simplify]: Simplify t into t
2.537 * [taylor]: Taking taylor expansion of y in z
2.537 * [backup-simplify]: Simplify y into y
2.537 * [backup-simplify]: Simplify (/ t y) into (/ t y)
2.537 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y))
2.537 * [backup-simplify]: Simplify (* (exp (- (/ t y))) 0) into 0
2.537 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
2.537 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ t y) (/ 0 y)))) into 0
2.538 * [backup-simplify]: Simplify (- 0) into 0
2.538 * [backup-simplify]: Simplify (* (exp (- (/ t y))) (+ (* (/ (pow 0 1) 1)))) into 0
2.538 * [backup-simplify]: Simplify (+ (* (exp (- (/ t y))) 1) (* 0 0)) into (exp (- (/ t y)))
2.539 * [backup-simplify]: Simplify (+ (exp (- (/ t y))) (exp (/ t y))) into (+ (exp (- (/ t y))) (exp (/ t y)))
2.539 * [backup-simplify]: Simplify (/ (exp (- (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y)))) into (/ (exp (- (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y))))
2.539 * [taylor]: Taking taylor expansion of 0 in t
2.539 * [backup-simplify]: Simplify 0 into 0
2.539 * [taylor]: Taking taylor expansion of 0 in x
2.539 * [backup-simplify]: Simplify 0 into 0
2.539 * [backup-simplify]: Simplify 0 into 0
2.539 * [taylor]: Taking taylor expansion of 0 in x
2.539 * [backup-simplify]: Simplify 0 into 0
2.539 * [backup-simplify]: Simplify 0 into 0
2.539 * [backup-simplify]: Simplify 0 into 0
2.539 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
2.540 * [backup-simplify]: Simplify (- 0) into 0
2.540 * [backup-simplify]: Simplify (+ 0 0) into 0
2.540 * [backup-simplify]: Simplify (+ 0 0) into 0
2.541 * [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.541 * [backup-simplify]: Simplify (- 0) into 0
2.541 * [backup-simplify]: Simplify (+ 0 0) into 0
2.542 * [backup-simplify]: Simplify (+ 0 0) into 0
2.542 * [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.542 * [backup-simplify]: Simplify (- 0) into 0
2.543 * [backup-simplify]: Simplify (+ 0 0) into 0
2.544 * [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.544 * [taylor]: Taking taylor expansion of 0 in z
2.544 * [backup-simplify]: Simplify 0 into 0
2.544 * [taylor]: Taking taylor expansion of 0 in t
2.544 * [backup-simplify]: Simplify 0 into 0
2.544 * [taylor]: Taking taylor expansion of 0 in x
2.544 * [backup-simplify]: Simplify 0 into 0
2.544 * [backup-simplify]: Simplify 0 into 0
2.544 * [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.545 * [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.545 * [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.546 * [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.546 * [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.546 * [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.546 * [taylor]: Taking taylor expansion of (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) in t
2.546 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in t
2.546 * [taylor]: Taking taylor expansion of (- (/ x y)) in t
2.546 * [taylor]: Taking taylor expansion of (/ x y) in t
2.546 * [taylor]: Taking taylor expansion of x in t
2.546 * [backup-simplify]: Simplify x into x
2.546 * [taylor]: Taking taylor expansion of y in t
2.546 * [backup-simplify]: Simplify y into y
2.546 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.546 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.546 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.546 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.546 * [taylor]: Taking taylor expansion of (+ (exp (- (/ x y))) (exp (/ x y))) in t
2.546 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in t
2.546 * [taylor]: Taking taylor expansion of (- (/ x y)) in t
2.546 * [taylor]: Taking taylor expansion of (/ x y) in t
2.546 * [taylor]: Taking taylor expansion of x in t
2.546 * [backup-simplify]: Simplify x into x
2.546 * [taylor]: Taking taylor expansion of y in t
2.546 * [backup-simplify]: Simplify y into y
2.546 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.546 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.547 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.547 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.547 * [taylor]: Taking taylor expansion of (exp (/ x y)) in t
2.547 * [taylor]: Taking taylor expansion of (/ x y) in t
2.547 * [taylor]: Taking taylor expansion of x in t
2.547 * [backup-simplify]: Simplify x into x
2.547 * [taylor]: Taking taylor expansion of y in t
2.547 * [backup-simplify]: Simplify y into y
2.547 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.547 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.547 * [backup-simplify]: Simplify (+ (exp (- (/ x y))) (exp (/ x y))) into (+ (exp (- (/ x y))) (exp (/ x y)))
2.547 * [backup-simplify]: Simplify (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) into (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y))))
2.547 * [taylor]: Taking taylor expansion of (/ (exp (/ t y)) (+ (exp (- (/ t y))) (exp (/ t y)))) in t
2.547 * [taylor]: Taking taylor expansion of (exp (/ t y)) in t
2.547 * [taylor]: Taking taylor expansion of (/ t y) in t
2.547 * [taylor]: Taking taylor expansion of t in t
2.547 * [backup-simplify]: Simplify 0 into 0
2.547 * [backup-simplify]: Simplify 1 into 1
2.547 * [taylor]: Taking taylor expansion of y in t
2.547 * [backup-simplify]: Simplify y into y
2.547 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.547 * [backup-simplify]: Simplify (exp 0) into 1
2.547 * [taylor]: Taking taylor expansion of (+ (exp (- (/ t y))) (exp (/ t y))) in t
2.547 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in t
2.547 * [taylor]: Taking taylor expansion of (- (/ t y)) in t
2.547 * [taylor]: Taking taylor expansion of (/ t y) in t
2.547 * [taylor]: Taking taylor expansion of t in t
2.547 * [backup-simplify]: Simplify 0 into 0
2.548 * [backup-simplify]: Simplify 1 into 1
2.548 * [taylor]: Taking taylor expansion of y in t
2.548 * [backup-simplify]: Simplify y into y
2.548 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.548 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.548 * [backup-simplify]: Simplify (exp 0) into 1
2.548 * [taylor]: Taking taylor expansion of (exp (/ t y)) in t
2.548 * [taylor]: Taking taylor expansion of (/ t y) in t
2.548 * [taylor]: Taking taylor expansion of t in t
2.548 * [backup-simplify]: Simplify 0 into 0
2.548 * [backup-simplify]: Simplify 1 into 1
2.548 * [taylor]: Taking taylor expansion of y in t
2.548 * [backup-simplify]: Simplify y into y
2.548 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.548 * [backup-simplify]: Simplify (exp 0) into 1
2.549 * [backup-simplify]: Simplify (+ 1 1) into 2
2.549 * [backup-simplify]: Simplify (/ 1 2) into 1/2
2.549 * [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.549 * [taylor]: Taking taylor expansion of (/ (exp (- (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y)))) in t
2.549 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in t
2.549 * [taylor]: Taking taylor expansion of (- (/ t y)) in t
2.549 * [taylor]: Taking taylor expansion of (/ t y) in t
2.549 * [taylor]: Taking taylor expansion of t in t
2.549 * [backup-simplify]: Simplify 0 into 0
2.549 * [backup-simplify]: Simplify 1 into 1
2.549 * [taylor]: Taking taylor expansion of y in t
2.549 * [backup-simplify]: Simplify y into y
2.549 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.549 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.549 * [backup-simplify]: Simplify (exp 0) into 1
2.549 * [taylor]: Taking taylor expansion of (+ (exp (- (/ t y))) (exp (/ t y))) in t
2.549 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in t
2.550 * [taylor]: Taking taylor expansion of (- (/ t y)) in t
2.550 * [taylor]: Taking taylor expansion of (/ t y) in t
2.550 * [taylor]: Taking taylor expansion of t in t
2.550 * [backup-simplify]: Simplify 0 into 0
2.550 * [backup-simplify]: Simplify 1 into 1
2.550 * [taylor]: Taking taylor expansion of y in t
2.550 * [backup-simplify]: Simplify y into y
2.550 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.550 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.550 * [backup-simplify]: Simplify (exp 0) into 1
2.550 * [taylor]: Taking taylor expansion of (exp (/ t y)) in t
2.550 * [taylor]: Taking taylor expansion of (/ t y) in t
2.550 * [taylor]: Taking taylor expansion of t in t
2.550 * [backup-simplify]: Simplify 0 into 0
2.550 * [backup-simplify]: Simplify 1 into 1
2.550 * [taylor]: Taking taylor expansion of y in t
2.550 * [backup-simplify]: Simplify y into y
2.550 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.550 * [backup-simplify]: Simplify (exp 0) into 1
2.550 * [backup-simplify]: Simplify (+ 1 1) into 2
2.551 * [backup-simplify]: Simplify (/ 1 2) into 1/2
2.551 * [taylor]: Taking taylor expansion of (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))) in t
2.551 * [taylor]: Taking taylor expansion of (exp (/ x y)) in t
2.551 * [taylor]: Taking taylor expansion of (/ x y) in t
2.551 * [taylor]: Taking taylor expansion of x in t
2.551 * [backup-simplify]: Simplify x into x
2.551 * [taylor]: Taking taylor expansion of y in t
2.551 * [backup-simplify]: Simplify y into y
2.551 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.551 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.551 * [taylor]: Taking taylor expansion of (+ (exp (- (/ x y))) (exp (/ x y))) in t
2.551 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in t
2.551 * [taylor]: Taking taylor expansion of (- (/ x y)) in t
2.551 * [taylor]: Taking taylor expansion of (/ x y) in t
2.551 * [taylor]: Taking taylor expansion of x in t
2.551 * [backup-simplify]: Simplify x into x
2.551 * [taylor]: Taking taylor expansion of y in t
2.552 * [backup-simplify]: Simplify y into y
2.552 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.552 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.552 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y))
2.552 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y)))
2.552 * [taylor]: Taking taylor expansion of (exp (/ x y)) in t
2.552 * [taylor]: Taking taylor expansion of (/ x y) in t
2.552 * [taylor]: Taking taylor expansion of x in t
2.552 * [backup-simplify]: Simplify x into x
2.552 * [taylor]: Taking taylor expansion of y in t
2.552 * [backup-simplify]: Simplify y into y
2.552 * [backup-simplify]: Simplify (/ x y) into (/ x y)
2.552 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y))
2.552 * [backup-simplify]: Simplify (+ (exp (- (/ x y))) (exp (/ x y))) into (+ (exp (- (/ x y))) (exp (/ x y)))
2.553 * [backup-simplify]: Simplify (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))) into (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y))))
2.553 * [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.553 * [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.554 * [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.554 * [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.555 * [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.555 * [taylor]: Taking taylor expansion of (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) in x
2.555 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in x
2.555 * [taylor]: Taking taylor expansion of (- (/ x y)) in x
2.555 * [taylor]: Taking taylor expansion of (/ x y) in x
2.555 * [taylor]: Taking taylor expansion of x in x
2.555 * [backup-simplify]: Simplify 0 into 0
2.555 * [backup-simplify]: Simplify 1 into 1
2.555 * [taylor]: Taking taylor expansion of y in x
2.555 * [backup-simplify]: Simplify y into y
2.555 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.555 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.555 * [backup-simplify]: Simplify (exp 0) into 1
2.555 * [taylor]: Taking taylor expansion of (+ (exp (- (/ x y))) (exp (/ x y))) in x
2.555 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in x
2.555 * [taylor]: Taking taylor expansion of (- (/ x y)) in x
2.555 * [taylor]: Taking taylor expansion of (/ x y) in x
2.555 * [taylor]: Taking taylor expansion of x in x
2.555 * [backup-simplify]: Simplify 0 into 0
2.555 * [backup-simplify]: Simplify 1 into 1
2.555 * [taylor]: Taking taylor expansion of y in x
2.555 * [backup-simplify]: Simplify y into y
2.555 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.555 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.555 * [backup-simplify]: Simplify (exp 0) into 1
2.555 * [taylor]: Taking taylor expansion of (exp (/ x y)) in x
2.555 * [taylor]: Taking taylor expansion of (/ x y) in x
2.555 * [taylor]: Taking taylor expansion of x in x
2.555 * [backup-simplify]: Simplify 0 into 0
2.556 * [backup-simplify]: Simplify 1 into 1
2.556 * [taylor]: Taking taylor expansion of y in x
2.556 * [backup-simplify]: Simplify y into y
2.556 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.556 * [backup-simplify]: Simplify (exp 0) into 1
2.556 * [backup-simplify]: Simplify (+ 1 1) into 2
2.557 * [backup-simplify]: Simplify (/ 1 2) into 1/2
2.557 * [taylor]: Taking taylor expansion of (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))) in x
2.557 * [taylor]: Taking taylor expansion of (exp (/ x y)) in x
2.557 * [taylor]: Taking taylor expansion of (/ x y) in x
2.557 * [taylor]: Taking taylor expansion of x in x
2.557 * [backup-simplify]: Simplify 0 into 0
2.557 * [backup-simplify]: Simplify 1 into 1
2.557 * [taylor]: Taking taylor expansion of y in x
2.557 * [backup-simplify]: Simplify y into y
2.557 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.557 * [backup-simplify]: Simplify (exp 0) into 1
2.557 * [taylor]: Taking taylor expansion of (+ (exp (- (/ x y))) (exp (/ x y))) in x
2.557 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in x
2.557 * [taylor]: Taking taylor expansion of (- (/ x y)) in x
2.557 * [taylor]: Taking taylor expansion of (/ x y) in x
2.557 * [taylor]: Taking taylor expansion of x in x
2.557 * [backup-simplify]: Simplify 0 into 0
2.557 * [backup-simplify]: Simplify 1 into 1
2.557 * [taylor]: Taking taylor expansion of y in x
2.557 * [backup-simplify]: Simplify y into y
2.557 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.557 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.557 * [backup-simplify]: Simplify (exp 0) into 1
2.557 * [taylor]: Taking taylor expansion of (exp (/ x y)) in x
2.557 * [taylor]: Taking taylor expansion of (/ x y) in x
2.558 * [taylor]: Taking taylor expansion of x in x
2.558 * [backup-simplify]: Simplify 0 into 0
2.558 * [backup-simplify]: Simplify 1 into 1
2.558 * [taylor]: Taking taylor expansion of y in x
2.558 * [backup-simplify]: Simplify y into y
2.558 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.558 * [backup-simplify]: Simplify (exp 0) into 1
2.558 * [backup-simplify]: Simplify (+ 1 1) into 2
2.558 * [backup-simplify]: Simplify (/ 1 2) into 1/2
2.559 * [backup-simplify]: Simplify (- 1/2) into -1/2
2.559 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
2.559 * [backup-simplify]: Simplify 0 into 0
2.559 * [backup-simplify]: Simplify 0 into 0
2.560 * [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.560 * [approximate]: Taking taylor expansion of (/ (- (tanh (/ y t)) (tanh (/ y x))) (* z y)) in (y z t x) around 0
2.560 * [taylor]: Taking taylor expansion of (/ (- (tanh (/ y t)) (tanh (/ y x))) (* z y)) in x
2.560 * [taylor]: Taking taylor expansion of (- (tanh (/ y t)) (tanh (/ y x))) in x
2.560 * [taylor]: Taking taylor expansion of (tanh (/ y t)) in x
2.560 * [taylor]: Rewrote expression to (/ (- (exp (/ y t)) (exp (- (/ y t)))) (+ (exp (/ y t)) (exp (- (/ y t)))))
2.560 * [taylor]: Taking taylor expansion of (- (exp (/ y t)) (exp (- (/ y t)))) in x
2.560 * [taylor]: Taking taylor expansion of (exp (/ y t)) in x
2.560 * [taylor]: Taking taylor expansion of (/ y t) in x
2.560 * [taylor]: Taking taylor expansion of y in x
2.560 * [backup-simplify]: Simplify y into y
2.560 * [taylor]: Taking taylor expansion of t in x
2.560 * [backup-simplify]: Simplify t into t
2.560 * [backup-simplify]: Simplify (/ y t) into (/ y t)
2.560 * [backup-simplify]: Simplify (exp (/ y t)) into (exp (/ y t))
2.560 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in x
2.561 * [taylor]: Taking taylor expansion of (- (/ y t)) in x
2.561 * [taylor]: Taking taylor expansion of (/ y t) in x
2.561 * [taylor]: Taking taylor expansion of y in x
2.561 * [backup-simplify]: Simplify y into y
2.561 * [taylor]: Taking taylor expansion of t in x
2.561 * [backup-simplify]: Simplify t into t
2.561 * [backup-simplify]: Simplify (/ y t) into (/ y t)
2.561 * [backup-simplify]: Simplify (- (/ y t)) into (- (/ y t))
2.561 * [backup-simplify]: Simplify (- (/ y t)) into (- (/ y t))
2.561 * [backup-simplify]: Simplify (exp (- (/ y t))) into (exp (- (/ y t)))
2.561 * [taylor]: Taking taylor expansion of (+ (exp (/ y t)) (exp (- (/ y t)))) in x
2.561 * [taylor]: Taking taylor expansion of (exp (/ y t)) in x
2.561 * [taylor]: Taking taylor expansion of (/ y t) in x
2.561 * [taylor]: Taking taylor expansion of y in x
2.561 * [backup-simplify]: Simplify y into y
2.561 * [taylor]: Taking taylor expansion of t in x
2.561 * [backup-simplify]: Simplify t into t
2.561 * [backup-simplify]: Simplify (/ y t) into (/ y t)
2.561 * [backup-simplify]: Simplify (exp (/ y t)) into (exp (/ y t))
2.561 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in x
2.561 * [taylor]: Taking taylor expansion of (- (/ y t)) in x
2.561 * [taylor]: Taking taylor expansion of (/ y t) in x
2.561 * [taylor]: Taking taylor expansion of y in x
2.561 * [backup-simplify]: Simplify y into y
2.562 * [taylor]: Taking taylor expansion of t in x
2.562 * [backup-simplify]: Simplify t into t
2.562 * [backup-simplify]: Simplify (/ y t) into (/ y t)
2.562 * [backup-simplify]: Simplify (- (/ y t)) into (- (/ y t))
2.562 * [backup-simplify]: Simplify (- (/ y t)) into (- (/ y t))
2.562 * [backup-simplify]: Simplify (exp (- (/ y t))) into (exp (- (/ y t)))
2.562 * [backup-simplify]: Simplify (- (exp (- (/ y t)))) into (- (exp (- (/ y t))))
2.562 * [backup-simplify]: Simplify (+ (exp (/ y t)) (- (exp (- (/ y t))))) into (- (exp (/ y t)) (exp (- (/ y t))))
2.563 * [backup-simplify]: Simplify (+ (exp (/ y t)) (exp (- (/ y t)))) into (+ (exp (- (/ y t))) (exp (/ y t)))
2.563 * [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.563 * [taylor]: Taking taylor expansion of (tanh (/ y x)) in x
2.563 * [taylor]: Rewrote expression to (/ (- (exp (/ y x)) (exp (- (/ y x)))) (+ (exp (/ y x)) (exp (- (/ y x)))))
2.563 * [taylor]: Taking taylor expansion of (- (exp (/ y x)) (exp (- (/ y x)))) in x
2.563 * [taylor]: Taking taylor expansion of (exp (/ y x)) in x
2.563 * [taylor]: Taking taylor expansion of (/ y x) in x
2.563 * [taylor]: Taking taylor expansion of y in x
2.563 * [backup-simplify]: Simplify y into y
2.563 * [taylor]: Taking taylor expansion of x in x
2.564 * [backup-simplify]: Simplify 0 into 0
2.564 * [backup-simplify]: Simplify 1 into 1
2.564 * [backup-simplify]: Simplify (/ y 1) into y
2.564 * [backup-simplify]: Simplify (exp (/ y x)) into (exp (/ y x))
2.564 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in x
2.564 * [taylor]: Taking taylor expansion of (- (/ y x)) in x
2.564 * [taylor]: Taking taylor expansion of (/ y x) in x
2.564 * [taylor]: Taking taylor expansion of y in x
2.564 * [backup-simplify]: Simplify y into y
2.564 * [taylor]: Taking taylor expansion of x in x
2.564 * [backup-simplify]: Simplify 0 into 0
2.564 * [backup-simplify]: Simplify 1 into 1
2.564 * [backup-simplify]: Simplify (/ y 1) into y
2.564 * [backup-simplify]: Simplify (- y) into (- y)
2.564 * [backup-simplify]: Simplify (exp (- (/ y x))) into (exp (- (/ y x)))
2.564 * [taylor]: Taking taylor expansion of (+ (exp (/ y x)) (exp (- (/ y x)))) in x
2.564 * [taylor]: Taking taylor expansion of (exp (/ y x)) in x
2.564 * [taylor]: Taking taylor expansion of (/ y x) in x
2.564 * [taylor]: Taking taylor expansion of y in x
2.564 * [backup-simplify]: Simplify y into y
2.564 * [taylor]: Taking taylor expansion of x in x
2.564 * [backup-simplify]: Simplify 0 into 0
2.564 * [backup-simplify]: Simplify 1 into 1
2.564 * [backup-simplify]: Simplify (/ y 1) into y
2.564 * [backup-simplify]: Simplify (exp (/ y x)) into (exp (/ y x))
2.564 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in x
2.564 * [taylor]: Taking taylor expansion of (- (/ y x)) in x
2.565 * [taylor]: Taking taylor expansion of (/ y x) in x
2.565 * [taylor]: Taking taylor expansion of y in x
2.565 * [backup-simplify]: Simplify y into y
2.565 * [taylor]: Taking taylor expansion of x in x
2.565 * [backup-simplify]: Simplify 0 into 0
2.565 * [backup-simplify]: Simplify 1 into 1
2.565 * [backup-simplify]: Simplify (/ y 1) into y
2.565 * [backup-simplify]: Simplify (- y) into (- y)
2.565 * [backup-simplify]: Simplify (exp (- (/ y x))) into (exp (- (/ y x)))
2.565 * [backup-simplify]: Simplify (- (exp (- (/ y x)))) into (- (exp (- (/ y x))))
2.565 * [backup-simplify]: Simplify (+ (exp (/ y x)) (- (exp (- (/ y x))))) into (- (exp (/ y x)) (exp (- (/ y x))))
2.565 * [backup-simplify]: Simplify (+ (exp (/ y x)) (exp (- (/ y x)))) into (+ (exp (/ y x)) (exp (- (/ y x))))
2.566 * [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.566 * [taylor]: Taking taylor expansion of (* z y) in x
2.566 * [taylor]: Taking taylor expansion of z in x
2.566 * [backup-simplify]: Simplify z into z
2.566 * [taylor]: Taking taylor expansion of y in x
2.566 * [backup-simplify]: Simplify y into y
2.566 * [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.567 * [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.568 * [backup-simplify]: Simplify (* z y) into (* z y)
2.569 * [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.569 * [taylor]: Taking taylor expansion of (/ (- (tanh (/ y t)) (tanh (/ y x))) (* z y)) in t
2.569 * [taylor]: Taking taylor expansion of (- (tanh (/ y t)) (tanh (/ y x))) in t
2.569 * [taylor]: Taking taylor expansion of (tanh (/ y t)) in t
2.569 * [taylor]: Rewrote expression to (/ (- (exp (/ y t)) (exp (- (/ y t)))) (+ (exp (/ y t)) (exp (- (/ y t)))))
2.569 * [taylor]: Taking taylor expansion of (- (exp (/ y t)) (exp (- (/ y t)))) in t
2.569 * [taylor]: Taking taylor expansion of (exp (/ y t)) in t
2.569 * [taylor]: Taking taylor expansion of (/ y t) in t
2.569 * [taylor]: Taking taylor expansion of y in t
2.569 * [backup-simplify]: Simplify y into y
2.569 * [taylor]: Taking taylor expansion of t in t
2.569 * [backup-simplify]: Simplify 0 into 0
2.569 * [backup-simplify]: Simplify 1 into 1
2.570 * [backup-simplify]: Simplify (/ y 1) into y
2.570 * [backup-simplify]: Simplify (exp (/ y t)) into (exp (/ y t))
2.570 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in t
2.570 * [taylor]: Taking taylor expansion of (- (/ y t)) in t
2.570 * [taylor]: Taking taylor expansion of (/ y t) in t
2.570 * [taylor]: Taking taylor expansion of y in t
2.570 * [backup-simplify]: Simplify y into y
2.570 * [taylor]: Taking taylor expansion of t in t
2.570 * [backup-simplify]: Simplify 0 into 0
2.570 * [backup-simplify]: Simplify 1 into 1
2.570 * [backup-simplify]: Simplify (/ y 1) into y
2.570 * [backup-simplify]: Simplify (- y) into (- y)
2.570 * [backup-simplify]: Simplify (exp (- (/ y t))) into (exp (- (/ y t)))
2.570 * [taylor]: Taking taylor expansion of (+ (exp (/ y t)) (exp (- (/ y t)))) in t
2.570 * [taylor]: Taking taylor expansion of (exp (/ y t)) in t
2.570 * [taylor]: Taking taylor expansion of (/ y t) in t
2.570 * [taylor]: Taking taylor expansion of y in t
2.570 * [backup-simplify]: Simplify y into y
2.570 * [taylor]: Taking taylor expansion of t in t
2.570 * [backup-simplify]: Simplify 0 into 0
2.570 * [backup-simplify]: Simplify 1 into 1
2.570 * [backup-simplify]: Simplify (/ y 1) into y
2.570 * [backup-simplify]: Simplify (exp (/ y t)) into (exp (/ y t))
2.570 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in t
2.570 * [taylor]: Taking taylor expansion of (- (/ y t)) in t
2.570 * [taylor]: Taking taylor expansion of (/ y t) in t
2.571 * [taylor]: Taking taylor expansion of y in t
2.571 * [backup-simplify]: Simplify y into y
2.571 * [taylor]: Taking taylor expansion of t in t
2.571 * [backup-simplify]: Simplify 0 into 0
2.571 * [backup-simplify]: Simplify 1 into 1
2.571 * [backup-simplify]: Simplify (/ y 1) into y
2.571 * [backup-simplify]: Simplify (- y) into (- y)
2.571 * [backup-simplify]: Simplify (exp (- (/ y t))) into (exp (- (/ y t)))
2.571 * [backup-simplify]: Simplify (- (exp (- (/ y t)))) into (- (exp (- (/ y t))))
2.571 * [backup-simplify]: Simplify (+ (exp (/ y t)) (- (exp (- (/ y t))))) into (- (exp (/ y t)) (exp (- (/ y t))))
2.571 * [backup-simplify]: Simplify (+ (exp (/ y t)) (exp (- (/ y t)))) into (+ (exp (- (/ y t))) (exp (/ y t)))
2.572 * [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.572 * [taylor]: Taking taylor expansion of (tanh (/ y x)) in t
2.572 * [taylor]: Rewrote expression to (/ (- (exp (/ y x)) (exp (- (/ y x)))) (+ (exp (/ y x)) (exp (- (/ y x)))))
2.572 * [taylor]: Taking taylor expansion of (- (exp (/ y x)) (exp (- (/ y x)))) in t
2.572 * [taylor]: Taking taylor expansion of (exp (/ y x)) in t
2.572 * [taylor]: Taking taylor expansion of (/ y x) in t
2.572 * [taylor]: Taking taylor expansion of y in t
2.572 * [backup-simplify]: Simplify y into y
2.572 * [taylor]: Taking taylor expansion of x in t
2.572 * [backup-simplify]: Simplify x into x
2.572 * [backup-simplify]: Simplify (/ y x) into (/ y x)
2.572 * [backup-simplify]: Simplify (exp (/ y x)) into (exp (/ y x))
2.572 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in t
2.572 * [taylor]: Taking taylor expansion of (- (/ y x)) in t
2.572 * [taylor]: Taking taylor expansion of (/ y x) in t
2.572 * [taylor]: Taking taylor expansion of y in t
2.572 * [backup-simplify]: Simplify y into y
2.572 * [taylor]: Taking taylor expansion of x in t
2.572 * [backup-simplify]: Simplify x into x
2.573 * [backup-simplify]: Simplify (/ y x) into (/ y x)
2.573 * [backup-simplify]: Simplify (- (/ y x)) into (- (/ y x))
2.573 * [backup-simplify]: Simplify (- (/ y x)) into (- (/ y x))
2.573 * [backup-simplify]: Simplify (exp (- (/ y x))) into (exp (- (/ y x)))
2.573 * [taylor]: Taking taylor expansion of (+ (exp (/ y x)) (exp (- (/ y x)))) in t
2.573 * [taylor]: Taking taylor expansion of (exp (/ y x)) in t
2.573 * [taylor]: Taking taylor expansion of (/ y x) in t
2.573 * [taylor]: Taking taylor expansion of y in t
2.573 * [backup-simplify]: Simplify y into y
2.573 * [taylor]: Taking taylor expansion of x in t
2.573 * [backup-simplify]: Simplify x into x
2.573 * [backup-simplify]: Simplify (/ y x) into (/ y x)
2.573 * [backup-simplify]: Simplify (exp (/ y x)) into (exp (/ y x))
2.573 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in t
2.573 * [taylor]: Taking taylor expansion of (- (/ y x)) in t
2.573 * [taylor]: Taking taylor expansion of (/ y x) in t
2.573 * [taylor]: Taking taylor expansion of y in t
2.573 * [backup-simplify]: Simplify y into y
2.573 * [taylor]: Taking taylor expansion of x in t
2.573 * [backup-simplify]: Simplify x into x
2.573 * [backup-simplify]: Simplify (/ y x) into (/ y x)
2.573 * [backup-simplify]: Simplify (- (/ y x)) into (- (/ y x))
2.574 * [backup-simplify]: Simplify (- (/ y x)) into (- (/ y x))
2.574 * [backup-simplify]: Simplify (exp (- (/ y x))) into (exp (- (/ y x)))
2.574 * [backup-simplify]: Simplify (- (exp (- (/ y x)))) into (- (exp (- (/ y x))))
2.574 * [backup-simplify]: Simplify (+ (exp (/ y x)) (- (exp (- (/ y x))))) into (- (exp (/ y x)) (exp (- (/ y x))))
2.574 * [backup-simplify]: Simplify (+ (exp (/ y x)) (exp (- (/ y x)))) into (+ (exp (/ y x)) (exp (- (/ y x))))
2.575 * [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.575 * [taylor]: Taking taylor expansion of (* z y) in t
2.575 * [taylor]: Taking taylor expansion of z in t
2.575 * [backup-simplify]: Simplify z into z
2.575 * [taylor]: Taking taylor expansion of y in t
2.575 * [backup-simplify]: Simplify y into y
2.575 * [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.576 * [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.576 * [backup-simplify]: Simplify (* z y) into (* z y)
2.578 * [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.578 * [taylor]: Taking taylor expansion of (/ (- (tanh (/ y t)) (tanh (/ y x))) (* z y)) in z
2.578 * [taylor]: Taking taylor expansion of (- (tanh (/ y t)) (tanh (/ y x))) in z
2.578 * [taylor]: Taking taylor expansion of (tanh (/ y t)) in z
2.578 * [taylor]: Rewrote expression to (/ (- (exp (/ y t)) (exp (- (/ y t)))) (+ (exp (/ y t)) (exp (- (/ y t)))))
2.578 * [taylor]: Taking taylor expansion of (- (exp (/ y t)) (exp (- (/ y t)))) in z
2.578 * [taylor]: Taking taylor expansion of (exp (/ y t)) in z
2.578 * [taylor]: Taking taylor expansion of (/ y t) in z
2.578 * [taylor]: Taking taylor expansion of y in z
2.578 * [backup-simplify]: Simplify y into y
2.578 * [taylor]: Taking taylor expansion of t in z
2.578 * [backup-simplify]: Simplify t into t
2.578 * [backup-simplify]: Simplify (/ y t) into (/ y t)
2.578 * [backup-simplify]: Simplify (exp (/ y t)) into (exp (/ y t))
2.578 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in z
2.578 * [taylor]: Taking taylor expansion of (- (/ y t)) in z
2.578 * [taylor]: Taking taylor expansion of (/ y t) in z
2.579 * [taylor]: Taking taylor expansion of y in z
2.579 * [backup-simplify]: Simplify y into y
2.579 * [taylor]: Taking taylor expansion of t in z
2.579 * [backup-simplify]: Simplify t into t
2.579 * [backup-simplify]: Simplify (/ y t) into (/ y t)
2.579 * [backup-simplify]: Simplify (- (/ y t)) into (- (/ y t))
2.579 * [backup-simplify]: Simplify (- (/ y t)) into (- (/ y t))
2.579 * [backup-simplify]: Simplify (exp (- (/ y t))) into (exp (- (/ y t)))
2.579 * [taylor]: Taking taylor expansion of (+ (exp (/ y t)) (exp (- (/ y t)))) in z
2.579 * [taylor]: Taking taylor expansion of (exp (/ y t)) in z
2.579 * [taylor]: Taking taylor expansion of (/ y t) in z
2.579 * [taylor]: Taking taylor expansion of y in z
2.579 * [backup-simplify]: Simplify y into y
2.579 * [taylor]: Taking taylor expansion of t in z
2.579 * [backup-simplify]: Simplify t into t
2.579 * [backup-simplify]: Simplify (/ y t) into (/ y t)
2.579 * [backup-simplify]: Simplify (exp (/ y t)) into (exp (/ y t))
2.579 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in z
2.579 * [taylor]: Taking taylor expansion of (- (/ y t)) in z
2.579 * [taylor]: Taking taylor expansion of (/ y t) in z
2.579 * [taylor]: Taking taylor expansion of y in z
2.579 * [backup-simplify]: Simplify y into y
2.579 * [taylor]: Taking taylor expansion of t in z
2.579 * [backup-simplify]: Simplify t into t
2.580 * [backup-simplify]: Simplify (/ y t) into (/ y t)
2.580 * [backup-simplify]: Simplify (- (/ y t)) into (- (/ y t))
2.580 * [backup-simplify]: Simplify (- (/ y t)) into (- (/ y t))
2.580 * [backup-simplify]: Simplify (exp (- (/ y t))) into (exp (- (/ y t)))
2.580 * [backup-simplify]: Simplify (- (exp (- (/ y t)))) into (- (exp (- (/ y t))))
2.580 * [backup-simplify]: Simplify (+ (exp (/ y t)) (- (exp (- (/ y t))))) into (- (exp (/ y t)) (exp (- (/ y t))))
2.580 * [backup-simplify]: Simplify (+ (exp (/ y t)) (exp (- (/ y t)))) into (+ (exp (- (/ y t))) (exp (/ y t)))
2.581 * [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.581 * [taylor]: Taking taylor expansion of (tanh (/ y x)) in z
2.581 * [taylor]: Rewrote expression to (/ (- (exp (/ y x)) (exp (- (/ y x)))) (+ (exp (/ y x)) (exp (- (/ y x)))))
2.581 * [taylor]: Taking taylor expansion of (- (exp (/ y x)) (exp (- (/ y x)))) in z
2.581 * [taylor]: Taking taylor expansion of (exp (/ y x)) in z
2.581 * [taylor]: Taking taylor expansion of (/ y x) in z
2.581 * [taylor]: Taking taylor expansion of y in z
2.581 * [backup-simplify]: Simplify y into y
2.581 * [taylor]: Taking taylor expansion of x in z
2.581 * [backup-simplify]: Simplify x into x
2.581 * [backup-simplify]: Simplify (/ y x) into (/ y x)
2.581 * [backup-simplify]: Simplify (exp (/ y x)) into (exp (/ y x))
2.581 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in z
2.581 * [taylor]: Taking taylor expansion of (- (/ y x)) in z
2.581 * [taylor]: Taking taylor expansion of (/ y x) in z
2.581 * [taylor]: Taking taylor expansion of y in z
2.581 * [backup-simplify]: Simplify y into y
2.581 * [taylor]: Taking taylor expansion of x in z
2.581 * [backup-simplify]: Simplify x into x
2.581 * [backup-simplify]: Simplify (/ y x) into (/ y x)
2.582 * [backup-simplify]: Simplify (- (/ y x)) into (- (/ y x))
2.582 * [backup-simplify]: Simplify (- (/ y x)) into (- (/ y x))
2.582 * [backup-simplify]: Simplify (exp (- (/ y x))) into (exp (- (/ y x)))
2.582 * [taylor]: Taking taylor expansion of (+ (exp (/ y x)) (exp (- (/ y x)))) in z
2.582 * [taylor]: Taking taylor expansion of (exp (/ y x)) in z
2.582 * [taylor]: Taking taylor expansion of (/ y x) in z
2.582 * [taylor]: Taking taylor expansion of y in z
2.582 * [backup-simplify]: Simplify y into y
2.582 * [taylor]: Taking taylor expansion of x in z
2.582 * [backup-simplify]: Simplify x into x
2.582 * [backup-simplify]: Simplify (/ y x) into (/ y x)
2.582 * [backup-simplify]: Simplify (exp (/ y x)) into (exp (/ y x))
2.582 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in z
2.582 * [taylor]: Taking taylor expansion of (- (/ y x)) in z
2.582 * [taylor]: Taking taylor expansion of (/ y x) in z
2.582 * [taylor]: Taking taylor expansion of y in z
2.582 * [backup-simplify]: Simplify y into y
2.582 * [taylor]: Taking taylor expansion of x in z
2.582 * [backup-simplify]: Simplify x into x
2.582 * [backup-simplify]: Simplify (/ y x) into (/ y x)
2.582 * [backup-simplify]: Simplify (- (/ y x)) into (- (/ y x))
2.583 * [backup-simplify]: Simplify (- (/ y x)) into (- (/ y x))
2.583 * [backup-simplify]: Simplify (exp (- (/ y x))) into (exp (- (/ y x)))
2.583 * [backup-simplify]: Simplify (- (exp (- (/ y x)))) into (- (exp (- (/ y x))))
2.583 * [backup-simplify]: Simplify (+ (exp (/ y x)) (- (exp (- (/ y x))))) into (- (exp (/ y x)) (exp (- (/ y x))))
2.583 * [backup-simplify]: Simplify (+ (exp (/ y x)) (exp (- (/ y x)))) into (+ (exp (/ y x)) (exp (- (/ y x))))
2.584 * [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.584 * [taylor]: Taking taylor expansion of (* z y) in z
2.584 * [taylor]: Taking taylor expansion of z in z
2.584 * [backup-simplify]: Simplify 0 into 0
2.584 * [backup-simplify]: Simplify 1 into 1
2.584 * [taylor]: Taking taylor expansion of y in z
2.584 * [backup-simplify]: Simplify y into y
2.584 * [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.585 * [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.585 * [backup-simplify]: Simplify (* 0 y) into 0
2.586 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.587 * [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.587 * [taylor]: Taking taylor expansion of (/ (- (tanh (/ y t)) (tanh (/ y x))) (* z y)) in y
2.587 * [taylor]: Taking taylor expansion of (- (tanh (/ y t)) (tanh (/ y x))) in y
2.587 * [taylor]: Taking taylor expansion of (tanh (/ y t)) in y
2.588 * [taylor]: Rewrote expression to (/ (- (exp (/ y t)) (exp (- (/ y t)))) (+ (exp (/ y t)) (exp (- (/ y t)))))
2.588 * [taylor]: Taking taylor expansion of (- (exp (/ y t)) (exp (- (/ y t)))) in y
2.588 * [taylor]: Taking taylor expansion of (exp (/ y t)) in y
2.588 * [taylor]: Taking taylor expansion of (/ y t) in y
2.588 * [taylor]: Taking taylor expansion of y in y
2.588 * [backup-simplify]: Simplify 0 into 0
2.588 * [backup-simplify]: Simplify 1 into 1
2.588 * [taylor]: Taking taylor expansion of t in y
2.588 * [backup-simplify]: Simplify t into t
2.588 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.588 * [backup-simplify]: Simplify (exp 0) into 1
2.588 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in y
2.588 * [taylor]: Taking taylor expansion of (- (/ y t)) in y
2.588 * [taylor]: Taking taylor expansion of (/ y t) in y
2.588 * [taylor]: Taking taylor expansion of y in y
2.588 * [backup-simplify]: Simplify 0 into 0
2.588 * [backup-simplify]: Simplify 1 into 1
2.588 * [taylor]: Taking taylor expansion of t in y
2.588 * [backup-simplify]: Simplify t into t
2.588 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.588 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
2.588 * [backup-simplify]: Simplify (exp 0) into 1
2.588 * [taylor]: Taking taylor expansion of (+ (exp (/ y t)) (exp (- (/ y t)))) in y
2.588 * [taylor]: Taking taylor expansion of (exp (/ y t)) in y
2.588 * [taylor]: Taking taylor expansion of (/ y t) in y
2.588 * [taylor]: Taking taylor expansion of y in y
2.588 * [backup-simplify]: Simplify 0 into 0
2.588 * [backup-simplify]: Simplify 1 into 1
2.589 * [taylor]: Taking taylor expansion of t in y
2.589 * [backup-simplify]: Simplify t into t
2.589 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.589 * [backup-simplify]: Simplify (exp 0) into 1
2.589 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in y
2.589 * [taylor]: Taking taylor expansion of (- (/ y t)) in y
2.589 * [taylor]: Taking taylor expansion of (/ y t) in y
2.589 * [taylor]: Taking taylor expansion of y in y
2.589 * [backup-simplify]: Simplify 0 into 0
2.589 * [backup-simplify]: Simplify 1 into 1
2.589 * [taylor]: Taking taylor expansion of t in y
2.589 * [backup-simplify]: Simplify t into t
2.589 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.589 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
2.589 * [backup-simplify]: Simplify (exp 0) into 1
2.590 * [backup-simplify]: Simplify (- 1) into -1
2.590 * [backup-simplify]: Simplify (+ 1 -1) into 0
2.590 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (/ 1 t) 1) 1)))) into (/ 1 t)
2.591 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
2.591 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (- (/ 1 t)) 1) 1)))) into (/ -1 t)
2.591 * [backup-simplify]: Simplify (- (/ -1 t)) into (/ 1 t)
2.591 * [backup-simplify]: Simplify (+ (/ 1 t) (/ 1 t)) into (* 2 (/ 1 t))
2.591 * [backup-simplify]: Simplify (+ 1 1) into 2
2.592 * [backup-simplify]: Simplify (/ (* 2 (/ 1 t)) 2) into (/ 1 t)
2.592 * [taylor]: Taking taylor expansion of (tanh (/ y x)) in y
2.592 * [taylor]: Rewrote expression to (/ (- (exp (/ y x)) (exp (- (/ y x)))) (+ (exp (/ y x)) (exp (- (/ y x)))))
2.592 * [taylor]: Taking taylor expansion of (- (exp (/ y x)) (exp (- (/ y x)))) in y
2.592 * [taylor]: Taking taylor expansion of (exp (/ y x)) in y
2.592 * [taylor]: Taking taylor expansion of (/ y x) in y
2.592 * [taylor]: Taking taylor expansion of y in y
2.592 * [backup-simplify]: Simplify 0 into 0
2.592 * [backup-simplify]: Simplify 1 into 1
2.592 * [taylor]: Taking taylor expansion of x in y
2.592 * [backup-simplify]: Simplify x into x
2.592 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.592 * [backup-simplify]: Simplify (exp 0) into 1
2.592 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in y
2.592 * [taylor]: Taking taylor expansion of (- (/ y x)) in y
2.592 * [taylor]: Taking taylor expansion of (/ y x) in y
2.592 * [taylor]: Taking taylor expansion of y in y
2.592 * [backup-simplify]: Simplify 0 into 0
2.592 * [backup-simplify]: Simplify 1 into 1
2.592 * [taylor]: Taking taylor expansion of x in y
2.592 * [backup-simplify]: Simplify x into x
2.592 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.592 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.592 * [backup-simplify]: Simplify (exp 0) into 1
2.592 * [taylor]: Taking taylor expansion of (+ (exp (/ y x)) (exp (- (/ y x)))) in y
2.592 * [taylor]: Taking taylor expansion of (exp (/ y x)) in y
2.593 * [taylor]: Taking taylor expansion of (/ y x) in y
2.593 * [taylor]: Taking taylor expansion of y in y
2.593 * [backup-simplify]: Simplify 0 into 0
2.593 * [backup-simplify]: Simplify 1 into 1
2.593 * [taylor]: Taking taylor expansion of x in y
2.593 * [backup-simplify]: Simplify x into x
2.593 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.593 * [backup-simplify]: Simplify (exp 0) into 1
2.593 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in y
2.593 * [taylor]: Taking taylor expansion of (- (/ y x)) in y
2.593 * [taylor]: Taking taylor expansion of (/ y x) in y
2.593 * [taylor]: Taking taylor expansion of y in y
2.593 * [backup-simplify]: Simplify 0 into 0
2.593 * [backup-simplify]: Simplify 1 into 1
2.593 * [taylor]: Taking taylor expansion of x in y
2.593 * [backup-simplify]: Simplify x into x
2.593 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.593 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.593 * [backup-simplify]: Simplify (exp 0) into 1
2.594 * [backup-simplify]: Simplify (- 1) into -1
2.594 * [backup-simplify]: Simplify (+ 1 -1) into 0
2.594 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (/ 1 x) 1) 1)))) into (/ 1 x)
2.594 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.594 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (- (/ 1 x)) 1) 1)))) into (/ -1 x)
2.595 * [backup-simplify]: Simplify (- (/ -1 x)) into (/ 1 x)
2.595 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 x)) into (* 2 (/ 1 x))
2.595 * [backup-simplify]: Simplify (+ 1 1) into 2
2.595 * [backup-simplify]: Simplify (/ (* 2 (/ 1 x)) 2) into (/ 1 x)
2.595 * [taylor]: Taking taylor expansion of (* z y) in y
2.595 * [taylor]: Taking taylor expansion of z in y
2.595 * [backup-simplify]: Simplify z into z
2.595 * [taylor]: Taking taylor expansion of y in y
2.595 * [backup-simplify]: Simplify 0 into 0
2.595 * [backup-simplify]: Simplify 1 into 1
2.595 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.596 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 x))) into (- (/ 1 t) (/ 1 x))
2.596 * [backup-simplify]: Simplify (* z 0) into 0
2.596 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
2.596 * [backup-simplify]: Simplify (/ (- (/ 1 t) (/ 1 x)) z) into (/ (- (/ 1 t) (/ 1 x)) z)
2.596 * [taylor]: Taking taylor expansion of (/ (- (tanh (/ y t)) (tanh (/ y x))) (* z y)) in y
2.596 * [taylor]: Taking taylor expansion of (- (tanh (/ y t)) (tanh (/ y x))) in y
2.596 * [taylor]: Taking taylor expansion of (tanh (/ y t)) in y
2.596 * [taylor]: Rewrote expression to (/ (- (exp (/ y t)) (exp (- (/ y t)))) (+ (exp (/ y t)) (exp (- (/ y t)))))
2.596 * [taylor]: Taking taylor expansion of (- (exp (/ y t)) (exp (- (/ y t)))) in y
2.596 * [taylor]: Taking taylor expansion of (exp (/ y t)) in y
2.596 * [taylor]: Taking taylor expansion of (/ y t) in y
2.596 * [taylor]: Taking taylor expansion of y in y
2.597 * [backup-simplify]: Simplify 0 into 0
2.597 * [backup-simplify]: Simplify 1 into 1
2.597 * [taylor]: Taking taylor expansion of t in y
2.597 * [backup-simplify]: Simplify t into t
2.597 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.597 * [backup-simplify]: Simplify (exp 0) into 1
2.597 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in y
2.597 * [taylor]: Taking taylor expansion of (- (/ y t)) in y
2.597 * [taylor]: Taking taylor expansion of (/ y t) in y
2.597 * [taylor]: Taking taylor expansion of y in y
2.597 * [backup-simplify]: Simplify 0 into 0
2.597 * [backup-simplify]: Simplify 1 into 1
2.597 * [taylor]: Taking taylor expansion of t in y
2.597 * [backup-simplify]: Simplify t into t
2.597 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.597 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
2.597 * [backup-simplify]: Simplify (exp 0) into 1
2.597 * [taylor]: Taking taylor expansion of (+ (exp (/ y t)) (exp (- (/ y t)))) in y
2.597 * [taylor]: Taking taylor expansion of (exp (/ y t)) in y
2.597 * [taylor]: Taking taylor expansion of (/ y t) in y
2.597 * [taylor]: Taking taylor expansion of y in y
2.597 * [backup-simplify]: Simplify 0 into 0
2.597 * [backup-simplify]: Simplify 1 into 1
2.597 * [taylor]: Taking taylor expansion of t in y
2.597 * [backup-simplify]: Simplify t into t
2.597 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.597 * [backup-simplify]: Simplify (exp 0) into 1
2.597 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in y
2.597 * [taylor]: Taking taylor expansion of (- (/ y t)) in y
2.597 * [taylor]: Taking taylor expansion of (/ y t) in y
2.597 * [taylor]: Taking taylor expansion of y in y
2.597 * [backup-simplify]: Simplify 0 into 0
2.597 * [backup-simplify]: Simplify 1 into 1
2.597 * [taylor]: Taking taylor expansion of t in y
2.598 * [backup-simplify]: Simplify t into t
2.598 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.598 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
2.598 * [backup-simplify]: Simplify (exp 0) into 1
2.598 * [backup-simplify]: Simplify (- 1) into -1
2.598 * [backup-simplify]: Simplify (+ 1 -1) into 0
2.599 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (/ 1 t) 1) 1)))) into (/ 1 t)
2.599 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
2.599 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (- (/ 1 t)) 1) 1)))) into (/ -1 t)
2.599 * [backup-simplify]: Simplify (- (/ -1 t)) into (/ 1 t)
2.599 * [backup-simplify]: Simplify (+ (/ 1 t) (/ 1 t)) into (* 2 (/ 1 t))
2.600 * [backup-simplify]: Simplify (+ 1 1) into 2
2.600 * [backup-simplify]: Simplify (/ (* 2 (/ 1 t)) 2) into (/ 1 t)
2.600 * [taylor]: Taking taylor expansion of (tanh (/ y x)) in y
2.600 * [taylor]: Rewrote expression to (/ (- (exp (/ y x)) (exp (- (/ y x)))) (+ (exp (/ y x)) (exp (- (/ y x)))))
2.600 * [taylor]: Taking taylor expansion of (- (exp (/ y x)) (exp (- (/ y x)))) in y
2.600 * [taylor]: Taking taylor expansion of (exp (/ y x)) in y
2.600 * [taylor]: Taking taylor expansion of (/ y x) in y
2.600 * [taylor]: Taking taylor expansion of y in y
2.600 * [backup-simplify]: Simplify 0 into 0
2.600 * [backup-simplify]: Simplify 1 into 1
2.600 * [taylor]: Taking taylor expansion of x in y
2.600 * [backup-simplify]: Simplify x into x
2.600 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.600 * [backup-simplify]: Simplify (exp 0) into 1
2.600 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in y
2.600 * [taylor]: Taking taylor expansion of (- (/ y x)) in y
2.600 * [taylor]: Taking taylor expansion of (/ y x) in y
2.600 * [taylor]: Taking taylor expansion of y in y
2.600 * [backup-simplify]: Simplify 0 into 0
2.600 * [backup-simplify]: Simplify 1 into 1
2.600 * [taylor]: Taking taylor expansion of x in y
2.600 * [backup-simplify]: Simplify x into x
2.600 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.601 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.601 * [backup-simplify]: Simplify (exp 0) into 1
2.601 * [taylor]: Taking taylor expansion of (+ (exp (/ y x)) (exp (- (/ y x)))) in y
2.601 * [taylor]: Taking taylor expansion of (exp (/ y x)) in y
2.601 * [taylor]: Taking taylor expansion of (/ y x) in y
2.601 * [taylor]: Taking taylor expansion of y in y
2.601 * [backup-simplify]: Simplify 0 into 0
2.601 * [backup-simplify]: Simplify 1 into 1
2.601 * [taylor]: Taking taylor expansion of x in y
2.601 * [backup-simplify]: Simplify x into x
2.601 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.601 * [backup-simplify]: Simplify (exp 0) into 1
2.601 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in y
2.601 * [taylor]: Taking taylor expansion of (- (/ y x)) in y
2.601 * [taylor]: Taking taylor expansion of (/ y x) in y
2.601 * [taylor]: Taking taylor expansion of y in y
2.601 * [backup-simplify]: Simplify 0 into 0
2.601 * [backup-simplify]: Simplify 1 into 1
2.601 * [taylor]: Taking taylor expansion of x in y
2.601 * [backup-simplify]: Simplify x into x
2.601 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.601 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.601 * [backup-simplify]: Simplify (exp 0) into 1
2.602 * [backup-simplify]: Simplify (- 1) into -1
2.602 * [backup-simplify]: Simplify (+ 1 -1) into 0
2.602 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (/ 1 x) 1) 1)))) into (/ 1 x)
2.602 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.603 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (- (/ 1 x)) 1) 1)))) into (/ -1 x)
2.603 * [backup-simplify]: Simplify (- (/ -1 x)) into (/ 1 x)
2.603 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 x)) into (* 2 (/ 1 x))
2.603 * [backup-simplify]: Simplify (+ 1 1) into 2
2.603 * [backup-simplify]: Simplify (/ (* 2 (/ 1 x)) 2) into (/ 1 x)
2.603 * [taylor]: Taking taylor expansion of (* z y) in y
2.603 * [taylor]: Taking taylor expansion of z in y
2.603 * [backup-simplify]: Simplify z into z
2.604 * [taylor]: Taking taylor expansion of y in y
2.604 * [backup-simplify]: Simplify 0 into 0
2.604 * [backup-simplify]: Simplify 1 into 1
2.604 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.604 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 x))) into (- (/ 1 t) (/ 1 x))
2.604 * [backup-simplify]: Simplify (* z 0) into 0
2.604 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
2.604 * [backup-simplify]: Simplify (/ (- (/ 1 t) (/ 1 x)) z) into (/ (- (/ 1 t) (/ 1 x)) z)
2.604 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 x)) z) in z
2.605 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z
2.605 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.605 * [taylor]: Taking taylor expansion of t in z
2.605 * [backup-simplify]: Simplify t into t
2.605 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
2.605 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.605 * [taylor]: Taking taylor expansion of x in z
2.605 * [backup-simplify]: Simplify x into x
2.605 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.605 * [taylor]: Taking taylor expansion of z in z
2.605 * [backup-simplify]: Simplify 0 into 0
2.605 * [backup-simplify]: Simplify 1 into 1
2.605 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.605 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 x))) into (- (/ 1 t) (/ 1 x))
2.605 * [backup-simplify]: Simplify (/ (- (/ 1 t) (/ 1 x)) 1) into (- (/ 1 t) (/ 1 x))
2.605 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
2.605 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.605 * [taylor]: Taking taylor expansion of t in t
2.605 * [backup-simplify]: Simplify 0 into 0
2.605 * [backup-simplify]: Simplify 1 into 1
2.606 * [backup-simplify]: Simplify (/ 1 1) into 1
2.606 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.606 * [taylor]: Taking taylor expansion of x in t
2.606 * [backup-simplify]: Simplify x into x
2.606 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.607 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.607 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.607 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
2.607 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
2.607 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.607 * [taylor]: Taking taylor expansion of x in x
2.607 * [backup-simplify]: Simplify 0 into 0
2.607 * [backup-simplify]: Simplify 1 into 1
2.607 * [backup-simplify]: Simplify (/ 1 1) into 1
2.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.614 * [backup-simplify]: Simplify (- 0) into 0
2.615 * [backup-simplify]: Simplify 0 into 0
2.615 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0