24.651 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.058 * * * [progress]: [2/2] Setting up program. 0.063 * [progress]: [Phase 2 of 3] Improving. 0.063 * [simplify]: Simplifying: (+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))) 0.064 * * [simplify]: Extracting # 0 : cost 0 0.064 * * [simplify]: Extracting # 1 : cost 0 0.064 * * [simplify]: Extracting # 2 : cost 0 0.064 * * [simplify]: Extracting # 3 : cost 0 0.064 * * [simplify]: Extracting # 4 : cost 0 0.064 * * [simplify]: Extracting # 5 : cost 0 0.064 * * [simplify]: Extracting # 6 : cost 0 0.064 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 0.069 * * [simplify]: Extracting # 0 : cost 0 0.069 * * [simplify]: Extracting # 1 : cost 0 0.069 * * [simplify]: Extracting # 2 : cost 0 0.069 * * [simplify]: Extracting # 3 : cost 0 0.069 * * [simplify]: Extracting # 4 : cost 0 0.070 * * [simplify]: Extracting # 5 : cost 0 0.070 * * [simplify]: Extracting # 6 : cost 0 0.070 * * [simplify]: Extracting # 7 : cost 0 0.070 * * [simplify]: iteration 1 : 54 enodes (cost 15 ) 0.093 * * [simplify]: Extracting # 0 : cost 0 0.093 * * [simplify]: Extracting # 1 : cost 0 0.093 * * [simplify]: Extracting # 2 : cost 0 0.094 * * [simplify]: iteration 2 : 147 enodes (cost 14 ) 0.139 * * [simplify]: Extracting # 0 : cost 0 0.139 * * [simplify]: Extracting # 1 : cost 0 0.139 * * [simplify]: Extracting # 2 : cost 0 0.140 * * [simplify]: Extracting # 3 : cost 0 0.140 * * [simplify]: Extracting # 4 : cost 0 0.141 * * [simplify]: iteration 3 : 334 enodes (cost 14 ) 0.286 * * [simplify]: Extracting # 0 : cost 0 0.289 * * [simplify]: Extracting # 1 : cost 0 0.291 * * [simplify]: Extracting # 2 : cost 0 0.294 * * [simplify]: Extracting # 3 : cost 0 0.296 * * [simplify]: Extracting # 4 : cost 0 0.298 * * [simplify]: iteration 4 : 996 enodes (cost 14 ) 1.260 * * [simplify]: Extracting # 0 : cost 0 1.268 * * [simplify]: Extracting # 1 : cost 0 1.271 * * [simplify]: Extracting # 2 : cost 0 1.275 * * [simplify]: Extracting # 3 : cost 0 1.278 * * [simplify]: Extracting # 4 : cost 0 1.282 * * [simplify]: iteration 5 : 3305 enodes (cost 14 ) 3.780 * * [simplify]: Extracting # 0 : cost 0 3.792 * * [simplify]: Extracting # 1 : cost 0 3.810 * * [simplify]: Extracting # 2 : cost 0 3.821 * * [simplify]: Extracting # 3 : cost 0 3.831 * * [simplify]: Extracting # 4 : cost 0 3.841 * * [simplify]: iteration done: 5000 enodes (cost 14 ) 3.842 * [simplify]: Simplified to: (fma y (* z (- (tanh (/ t y)) (tanh (/ x y)))) x) 3.845 * * [progress]: iteration 1 / 4 3.845 * * * [progress]: picking best candidate 3.850 * * * * [pick]: Picked # 3.850 * * * [progress]: localizing error 3.864 * * * [progress]: generating rewritten candidates 3.864 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 3.864 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 3.945 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 3.948 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 3.954 * * * [progress]: generating series expansions 3.954 * * * * [progress]: [ 1 / 4 ] generating series at (2) 3.954 * [backup-simplify]: Simplify (fma y (* z (- (tanh (/ t y)) (tanh (/ x y)))) x) into (fma y (* (- (tanh (/ t y)) (tanh (/ x y))) z) x) 3.954 * [approximate]: Taking taylor expansion of (fma y (* (- (tanh (/ t y)) (tanh (/ x y))) z) x) in (y z t x) around 0 3.954 * [taylor]: Taking taylor expansion of (fma y (* (- (tanh (/ t y)) (tanh (/ x y))) z) x) in x 3.954 * [taylor]: Rewrote expression to (+ (* y (* (- (tanh (/ t y)) (tanh (/ x y))) z)) x) 3.954 * [taylor]: Taking taylor expansion of (* y (* (- (tanh (/ t y)) (tanh (/ x y))) z)) in x 3.954 * [taylor]: Taking taylor expansion of y in x 3.954 * [backup-simplify]: Simplify y into y 3.955 * [taylor]: Taking taylor expansion of (* (- (tanh (/ t y)) (tanh (/ x y))) z) in x 3.955 * [taylor]: Taking taylor expansion of (- (tanh (/ t y)) (tanh (/ x y))) in x 3.955 * [taylor]: Taking taylor expansion of (tanh (/ t y)) in x 3.955 * [taylor]: Rewrote expression to (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (/ t y)) (exp (- (/ t y))))) 3.955 * [taylor]: Taking taylor expansion of (- (exp (/ t y)) (exp (- (/ t y)))) in x 3.955 * [taylor]: Taking taylor expansion of (exp (/ t y)) in x 3.955 * [taylor]: Taking taylor expansion of (/ t y) in x 3.955 * [taylor]: Taking taylor expansion of t in x 3.955 * [backup-simplify]: Simplify t into t 3.955 * [taylor]: Taking taylor expansion of y in x 3.955 * [backup-simplify]: Simplify y into y 3.955 * [backup-simplify]: Simplify (/ t y) into (/ t y) 3.955 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y)) 3.955 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in x 3.955 * [taylor]: Taking taylor expansion of (- (/ t y)) in x 3.955 * [taylor]: Taking taylor expansion of (/ t y) in x 3.955 * [taylor]: Taking taylor expansion of t in x 3.955 * [backup-simplify]: Simplify t into t 3.955 * [taylor]: Taking taylor expansion of y in x 3.955 * [backup-simplify]: Simplify y into y 3.955 * [backup-simplify]: Simplify (/ t y) into (/ t y) 3.955 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y)) 3.955 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y)) 3.955 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y))) 3.955 * [taylor]: Taking taylor expansion of (+ (exp (/ t y)) (exp (- (/ t y)))) in x 3.955 * [taylor]: Taking taylor expansion of (exp (/ t y)) in x 3.955 * [taylor]: Taking taylor expansion of (/ t y) in x 3.955 * [taylor]: Taking taylor expansion of t in x 3.955 * [backup-simplify]: Simplify t into t 3.955 * [taylor]: Taking taylor expansion of y in x 3.955 * [backup-simplify]: Simplify y into y 3.955 * [backup-simplify]: Simplify (/ t y) into (/ t y) 3.955 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y)) 3.955 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in x 3.955 * [taylor]: Taking taylor expansion of (- (/ t y)) in x 3.955 * [taylor]: Taking taylor expansion of (/ t y) in x 3.955 * [taylor]: Taking taylor expansion of t in x 3.955 * [backup-simplify]: Simplify t into t 3.955 * [taylor]: Taking taylor expansion of y in x 3.955 * [backup-simplify]: Simplify y into y 3.956 * [backup-simplify]: Simplify (/ t y) into (/ t y) 3.956 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y)) 3.956 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y)) 3.956 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y))) 3.956 * [backup-simplify]: Simplify (- (exp (- (/ t y)))) into (- (exp (- (/ t y)))) 3.956 * [backup-simplify]: Simplify (+ (exp (/ t y)) (- (exp (- (/ t y))))) into (- (exp (/ t y)) (exp (- (/ t y)))) 3.956 * [backup-simplify]: Simplify (+ (exp (/ t y)) (exp (- (/ t y)))) into (+ (exp (- (/ t y))) (exp (/ t y))) 3.956 * [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)))) 3.956 * [taylor]: Taking taylor expansion of (tanh (/ x y)) in x 3.956 * [taylor]: Rewrote expression to (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (/ x y)) (exp (- (/ x y))))) 3.956 * [taylor]: Taking taylor expansion of (- (exp (/ x y)) (exp (- (/ x y)))) in x 3.956 * [taylor]: Taking taylor expansion of (exp (/ x y)) in x 3.956 * [taylor]: Taking taylor expansion of (/ x y) in x 3.956 * [taylor]: Taking taylor expansion of x in x 3.956 * [backup-simplify]: Simplify 0 into 0 3.956 * [backup-simplify]: Simplify 1 into 1 3.956 * [taylor]: Taking taylor expansion of y in x 3.956 * [backup-simplify]: Simplify y into y 3.956 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.956 * [backup-simplify]: Simplify (exp 0) into 1 3.956 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in x 3.956 * [taylor]: Taking taylor expansion of (- (/ x y)) in x 3.957 * [taylor]: Taking taylor expansion of (/ x y) in x 3.957 * [taylor]: Taking taylor expansion of x in x 3.957 * [backup-simplify]: Simplify 0 into 0 3.957 * [backup-simplify]: Simplify 1 into 1 3.957 * [taylor]: Taking taylor expansion of y in x 3.957 * [backup-simplify]: Simplify y into y 3.957 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.957 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 3.957 * [backup-simplify]: Simplify (exp 0) into 1 3.957 * [taylor]: Taking taylor expansion of (+ (exp (/ x y)) (exp (- (/ x y)))) in x 3.957 * [taylor]: Taking taylor expansion of (exp (/ x y)) in x 3.957 * [taylor]: Taking taylor expansion of (/ x y) in x 3.957 * [taylor]: Taking taylor expansion of x in x 3.957 * [backup-simplify]: Simplify 0 into 0 3.957 * [backup-simplify]: Simplify 1 into 1 3.957 * [taylor]: Taking taylor expansion of y in x 3.957 * [backup-simplify]: Simplify y into y 3.957 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.957 * [backup-simplify]: Simplify (exp 0) into 1 3.957 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in x 3.957 * [taylor]: Taking taylor expansion of (- (/ x y)) in x 3.957 * [taylor]: Taking taylor expansion of (/ x y) in x 3.957 * [taylor]: Taking taylor expansion of x in x 3.957 * [backup-simplify]: Simplify 0 into 0 3.957 * [backup-simplify]: Simplify 1 into 1 3.957 * [taylor]: Taking taylor expansion of y in x 3.957 * [backup-simplify]: Simplify y into y 3.957 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.957 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 3.957 * [backup-simplify]: Simplify (exp 0) into 1 3.958 * [backup-simplify]: Simplify (- 1) into -1 3.958 * [backup-simplify]: Simplify (+ 1 -1) into 0 3.959 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (/ 1 y) 1) 1)))) into (/ 1 y) 3.959 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 3.959 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (- (/ 1 y)) 1) 1)))) into (/ -1 y) 3.959 * [backup-simplify]: Simplify (- (/ -1 y)) into (/ 1 y) 3.959 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 y)) into (* 2 (/ 1 y)) 3.959 * [backup-simplify]: Simplify (+ 1 1) into 2 3.960 * [backup-simplify]: Simplify (/ (* 2 (/ 1 y)) 2) into (/ 1 y) 3.960 * [taylor]: Taking taylor expansion of z in x 3.960 * [backup-simplify]: Simplify z into z 3.960 * [taylor]: Taking taylor expansion of x in x 3.960 * [backup-simplify]: Simplify 0 into 0 3.960 * [backup-simplify]: Simplify 1 into 1 3.960 * [taylor]: Taking taylor expansion of (fma y (* (- (tanh (/ t y)) (tanh (/ x y))) z) x) in t 3.960 * [taylor]: Rewrote expression to (+ (* y (* (- (tanh (/ t y)) (tanh (/ x y))) z)) x) 3.960 * [taylor]: Taking taylor expansion of (* y (* (- (tanh (/ t y)) (tanh (/ x y))) z)) in t 3.960 * [taylor]: Taking taylor expansion of y in t 3.960 * [backup-simplify]: Simplify y into y 3.960 * [taylor]: Taking taylor expansion of (* (- (tanh (/ t y)) (tanh (/ x y))) z) in t 3.960 * [taylor]: Taking taylor expansion of (- (tanh (/ t y)) (tanh (/ x y))) in t 3.960 * [taylor]: Taking taylor expansion of (tanh (/ t y)) in t 3.960 * [taylor]: Rewrote expression to (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (/ t y)) (exp (- (/ t y))))) 3.960 * [taylor]: Taking taylor expansion of (- (exp (/ t y)) (exp (- (/ t y)))) in t 3.960 * [taylor]: Taking taylor expansion of (exp (/ t y)) in t 3.960 * [taylor]: Taking taylor expansion of (/ t y) in t 3.960 * [taylor]: Taking taylor expansion of t in t 3.960 * [backup-simplify]: Simplify 0 into 0 3.960 * [backup-simplify]: Simplify 1 into 1 3.960 * [taylor]: Taking taylor expansion of y in t 3.960 * [backup-simplify]: Simplify y into y 3.960 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.961 * [backup-simplify]: Simplify (exp 0) into 1 3.961 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in t 3.961 * [taylor]: Taking taylor expansion of (- (/ t y)) in t 3.961 * [taylor]: Taking taylor expansion of (/ t y) in t 3.961 * [taylor]: Taking taylor expansion of t in t 3.961 * [backup-simplify]: Simplify 0 into 0 3.961 * [backup-simplify]: Simplify 1 into 1 3.961 * [taylor]: Taking taylor expansion of y in t 3.961 * [backup-simplify]: Simplify y into y 3.961 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.961 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 3.961 * [backup-simplify]: Simplify (exp 0) into 1 3.961 * [taylor]: Taking taylor expansion of (+ (exp (/ t y)) (exp (- (/ t y)))) in t 3.961 * [taylor]: Taking taylor expansion of (exp (/ t y)) in t 3.961 * [taylor]: Taking taylor expansion of (/ t y) in t 3.961 * [taylor]: Taking taylor expansion of t in t 3.961 * [backup-simplify]: Simplify 0 into 0 3.961 * [backup-simplify]: Simplify 1 into 1 3.961 * [taylor]: Taking taylor expansion of y in t 3.961 * [backup-simplify]: Simplify y into y 3.961 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.961 * [backup-simplify]: Simplify (exp 0) into 1 3.961 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in t 3.961 * [taylor]: Taking taylor expansion of (- (/ t y)) in t 3.961 * [taylor]: Taking taylor expansion of (/ t y) in t 3.961 * [taylor]: Taking taylor expansion of t in t 3.961 * [backup-simplify]: Simplify 0 into 0 3.961 * [backup-simplify]: Simplify 1 into 1 3.961 * [taylor]: Taking taylor expansion of y in t 3.961 * [backup-simplify]: Simplify y into y 3.962 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.962 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 3.962 * [backup-simplify]: Simplify (exp 0) into 1 3.962 * [backup-simplify]: Simplify (- 1) into -1 3.963 * [backup-simplify]: Simplify (+ 1 -1) into 0 3.963 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (/ 1 y) 1) 1)))) into (/ 1 y) 3.963 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 3.963 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (- (/ 1 y)) 1) 1)))) into (/ -1 y) 3.963 * [backup-simplify]: Simplify (- (/ -1 y)) into (/ 1 y) 3.963 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 y)) into (* 2 (/ 1 y)) 3.964 * [backup-simplify]: Simplify (+ 1 1) into 2 3.964 * [backup-simplify]: Simplify (/ (* 2 (/ 1 y)) 2) into (/ 1 y) 3.964 * [taylor]: Taking taylor expansion of (tanh (/ x y)) in t 3.964 * [taylor]: Rewrote expression to (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (/ x y)) (exp (- (/ x y))))) 3.964 * [taylor]: Taking taylor expansion of (- (exp (/ x y)) (exp (- (/ x y)))) in t 3.964 * [taylor]: Taking taylor expansion of (exp (/ x y)) in t 3.964 * [taylor]: Taking taylor expansion of (/ x y) in t 3.964 * [taylor]: Taking taylor expansion of x in t 3.964 * [backup-simplify]: Simplify x into x 3.964 * [taylor]: Taking taylor expansion of y in t 3.964 * [backup-simplify]: Simplify y into y 3.964 * [backup-simplify]: Simplify (/ x y) into (/ x y) 3.965 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y)) 3.965 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in t 3.965 * [taylor]: Taking taylor expansion of (- (/ x y)) in t 3.965 * [taylor]: Taking taylor expansion of (/ x y) in t 3.965 * [taylor]: Taking taylor expansion of x in t 3.965 * [backup-simplify]: Simplify x into x 3.965 * [taylor]: Taking taylor expansion of y in t 3.965 * [backup-simplify]: Simplify y into y 3.965 * [backup-simplify]: Simplify (/ x y) into (/ x y) 3.965 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y)) 3.965 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y)) 3.965 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y))) 3.965 * [taylor]: Taking taylor expansion of (+ (exp (/ x y)) (exp (- (/ x y)))) in t 3.965 * [taylor]: Taking taylor expansion of (exp (/ x y)) in t 3.965 * [taylor]: Taking taylor expansion of (/ x y) in t 3.965 * [taylor]: Taking taylor expansion of x in t 3.965 * [backup-simplify]: Simplify x into x 3.965 * [taylor]: Taking taylor expansion of y in t 3.965 * [backup-simplify]: Simplify y into y 3.965 * [backup-simplify]: Simplify (/ x y) into (/ x y) 3.965 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y)) 3.966 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in t 3.966 * [taylor]: Taking taylor expansion of (- (/ x y)) in t 3.966 * [taylor]: Taking taylor expansion of (/ x y) in t 3.966 * [taylor]: Taking taylor expansion of x in t 3.966 * [backup-simplify]: Simplify x into x 3.966 * [taylor]: Taking taylor expansion of y in t 3.966 * [backup-simplify]: Simplify y into y 3.966 * [backup-simplify]: Simplify (/ x y) into (/ x y) 3.966 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y)) 3.966 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y)) 3.966 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y))) 3.966 * [backup-simplify]: Simplify (- (exp (- (/ x y)))) into (- (exp (- (/ x y)))) 3.966 * [backup-simplify]: Simplify (+ (exp (/ x y)) (- (exp (- (/ x y))))) into (- (exp (/ x y)) (exp (- (/ x y)))) 3.967 * [backup-simplify]: Simplify (+ (exp (/ x y)) (exp (- (/ x y)))) into (+ (exp (- (/ x y))) (exp (/ x y))) 3.967 * [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)))) 3.967 * [taylor]: Taking taylor expansion of z in t 3.967 * [backup-simplify]: Simplify z into z 3.967 * [taylor]: Taking taylor expansion of x in t 3.967 * [backup-simplify]: Simplify x into x 3.967 * [taylor]: Taking taylor expansion of (fma y (* (- (tanh (/ t y)) (tanh (/ x y))) z) x) in z 3.967 * [taylor]: Rewrote expression to (+ (* y (* (- (tanh (/ t y)) (tanh (/ x y))) z)) x) 3.967 * [taylor]: Taking taylor expansion of (* y (* (- (tanh (/ t y)) (tanh (/ x y))) z)) in z 3.967 * [taylor]: Taking taylor expansion of y in z 3.968 * [backup-simplify]: Simplify y into y 3.968 * [taylor]: Taking taylor expansion of (* (- (tanh (/ t y)) (tanh (/ x y))) z) in z 3.968 * [taylor]: Taking taylor expansion of (- (tanh (/ t y)) (tanh (/ x y))) in z 3.968 * [taylor]: Taking taylor expansion of (tanh (/ t y)) in z 3.968 * [taylor]: Rewrote expression to (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (/ t y)) (exp (- (/ t y))))) 3.968 * [taylor]: Taking taylor expansion of (- (exp (/ t y)) (exp (- (/ t y)))) in z 3.968 * [taylor]: Taking taylor expansion of (exp (/ t y)) in z 3.968 * [taylor]: Taking taylor expansion of (/ t y) in z 3.968 * [taylor]: Taking taylor expansion of t in z 3.968 * [backup-simplify]: Simplify t into t 3.968 * [taylor]: Taking taylor expansion of y in z 3.968 * [backup-simplify]: Simplify y into y 3.968 * [backup-simplify]: Simplify (/ t y) into (/ t y) 3.968 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y)) 3.968 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in z 3.968 * [taylor]: Taking taylor expansion of (- (/ t y)) in z 3.968 * [taylor]: Taking taylor expansion of (/ t y) in z 3.968 * [taylor]: Taking taylor expansion of t in z 3.968 * [backup-simplify]: Simplify t into t 3.968 * [taylor]: Taking taylor expansion of y in z 3.968 * [backup-simplify]: Simplify y into y 3.968 * [backup-simplify]: Simplify (/ t y) into (/ t y) 3.968 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y)) 3.969 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y)) 3.969 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y))) 3.969 * [taylor]: Taking taylor expansion of (+ (exp (/ t y)) (exp (- (/ t y)))) in z 3.969 * [taylor]: Taking taylor expansion of (exp (/ t y)) in z 3.969 * [taylor]: Taking taylor expansion of (/ t y) in z 3.969 * [taylor]: Taking taylor expansion of t in z 3.969 * [backup-simplify]: Simplify t into t 3.969 * [taylor]: Taking taylor expansion of y in z 3.969 * [backup-simplify]: Simplify y into y 3.969 * [backup-simplify]: Simplify (/ t y) into (/ t y) 3.969 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y)) 3.969 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in z 3.969 * [taylor]: Taking taylor expansion of (- (/ t y)) in z 3.969 * [taylor]: Taking taylor expansion of (/ t y) in z 3.969 * [taylor]: Taking taylor expansion of t in z 3.969 * [backup-simplify]: Simplify t into t 3.969 * [taylor]: Taking taylor expansion of y in z 3.969 * [backup-simplify]: Simplify y into y 3.969 * [backup-simplify]: Simplify (/ t y) into (/ t y) 3.969 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y)) 3.969 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y)) 3.970 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y))) 3.970 * [backup-simplify]: Simplify (- (exp (- (/ t y)))) into (- (exp (- (/ t y)))) 3.970 * [backup-simplify]: Simplify (+ (exp (/ t y)) (- (exp (- (/ t y))))) into (- (exp (/ t y)) (exp (- (/ t y)))) 3.970 * [backup-simplify]: Simplify (+ (exp (/ t y)) (exp (- (/ t y)))) into (+ (exp (- (/ t y))) (exp (/ t y))) 3.971 * [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)))) 3.971 * [taylor]: Taking taylor expansion of (tanh (/ x y)) in z 3.971 * [taylor]: Rewrote expression to (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (/ x y)) (exp (- (/ x y))))) 3.971 * [taylor]: Taking taylor expansion of (- (exp (/ x y)) (exp (- (/ x y)))) in z 3.971 * [taylor]: Taking taylor expansion of (exp (/ x y)) in z 3.971 * [taylor]: Taking taylor expansion of (/ x y) in z 3.971 * [taylor]: Taking taylor expansion of x in z 3.971 * [backup-simplify]: Simplify x into x 3.971 * [taylor]: Taking taylor expansion of y in z 3.971 * [backup-simplify]: Simplify y into y 3.971 * [backup-simplify]: Simplify (/ x y) into (/ x y) 3.971 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y)) 3.971 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in z 3.971 * [taylor]: Taking taylor expansion of (- (/ x y)) in z 3.971 * [taylor]: Taking taylor expansion of (/ x y) in z 3.971 * [taylor]: Taking taylor expansion of x in z 3.971 * [backup-simplify]: Simplify x into x 3.971 * [taylor]: Taking taylor expansion of y in z 3.971 * [backup-simplify]: Simplify y into y 3.971 * [backup-simplify]: Simplify (/ x y) into (/ x y) 3.971 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y)) 3.972 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y)) 3.972 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y))) 3.972 * [taylor]: Taking taylor expansion of (+ (exp (/ x y)) (exp (- (/ x y)))) in z 3.972 * [taylor]: Taking taylor expansion of (exp (/ x y)) in z 3.972 * [taylor]: Taking taylor expansion of (/ x y) in z 3.972 * [taylor]: Taking taylor expansion of x in z 3.972 * [backup-simplify]: Simplify x into x 3.972 * [taylor]: Taking taylor expansion of y in z 3.972 * [backup-simplify]: Simplify y into y 3.972 * [backup-simplify]: Simplify (/ x y) into (/ x y) 3.972 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y)) 3.972 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in z 3.972 * [taylor]: Taking taylor expansion of (- (/ x y)) in z 3.972 * [taylor]: Taking taylor expansion of (/ x y) in z 3.972 * [taylor]: Taking taylor expansion of x in z 3.972 * [backup-simplify]: Simplify x into x 3.972 * [taylor]: Taking taylor expansion of y in z 3.972 * [backup-simplify]: Simplify y into y 3.972 * [backup-simplify]: Simplify (/ x y) into (/ x y) 3.972 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y)) 3.972 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y)) 3.973 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y))) 3.973 * [backup-simplify]: Simplify (- (exp (- (/ x y)))) into (- (exp (- (/ x y)))) 3.973 * [backup-simplify]: Simplify (+ (exp (/ x y)) (- (exp (- (/ x y))))) into (- (exp (/ x y)) (exp (- (/ x y)))) 3.973 * [backup-simplify]: Simplify (+ (exp (/ x y)) (exp (- (/ x y)))) into (+ (exp (- (/ x y))) (exp (/ x y))) 3.974 * [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)))) 3.974 * [taylor]: Taking taylor expansion of z in z 3.974 * [backup-simplify]: Simplify 0 into 0 3.974 * [backup-simplify]: Simplify 1 into 1 3.974 * [taylor]: Taking taylor expansion of x in z 3.974 * [backup-simplify]: Simplify x into x 3.974 * [taylor]: Taking taylor expansion of (fma y (* (- (tanh (/ t y)) (tanh (/ x y))) z) x) in y 3.974 * [taylor]: Rewrote expression to (+ (* y (* (- (tanh (/ t y)) (tanh (/ x y))) z)) x) 3.974 * [taylor]: Taking taylor expansion of (* y (* (- (tanh (/ t y)) (tanh (/ x y))) z)) in y 3.974 * [taylor]: Taking taylor expansion of y in y 3.974 * [backup-simplify]: Simplify 0 into 0 3.974 * [backup-simplify]: Simplify 1 into 1 3.974 * [taylor]: Taking taylor expansion of (* (- (tanh (/ t y)) (tanh (/ x y))) z) in y 3.974 * [taylor]: Taking taylor expansion of (- (tanh (/ t y)) (tanh (/ x y))) in y 3.974 * [taylor]: Taking taylor expansion of (tanh (/ t y)) in y 3.974 * [taylor]: Rewrote expression to (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (/ t y)) (exp (- (/ t y))))) 3.974 * [taylor]: Taking taylor expansion of (- (exp (/ t y)) (exp (- (/ t y)))) in y 3.974 * [taylor]: Taking taylor expansion of (exp (/ t y)) in y 3.974 * [taylor]: Taking taylor expansion of (/ t y) in y 3.974 * [taylor]: Taking taylor expansion of t in y 3.974 * [backup-simplify]: Simplify t into t 3.974 * [taylor]: Taking taylor expansion of y in y 3.974 * [backup-simplify]: Simplify 0 into 0 3.974 * [backup-simplify]: Simplify 1 into 1 3.975 * [backup-simplify]: Simplify (/ t 1) into t 3.975 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y)) 3.975 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in y 3.975 * [taylor]: Taking taylor expansion of (- (/ t y)) in y 3.975 * [taylor]: Taking taylor expansion of (/ t y) in y 3.975 * [taylor]: Taking taylor expansion of t in y 3.975 * [backup-simplify]: Simplify t into t 3.975 * [taylor]: Taking taylor expansion of y in y 3.975 * [backup-simplify]: Simplify 0 into 0 3.975 * [backup-simplify]: Simplify 1 into 1 3.975 * [backup-simplify]: Simplify (/ t 1) into t 3.975 * [backup-simplify]: Simplify (- t) into (- t) 3.975 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y))) 3.975 * [taylor]: Taking taylor expansion of (+ (exp (/ t y)) (exp (- (/ t y)))) in y 3.975 * [taylor]: Taking taylor expansion of (exp (/ t y)) in y 3.975 * [taylor]: Taking taylor expansion of (/ t y) in y 3.975 * [taylor]: Taking taylor expansion of t in y 3.975 * [backup-simplify]: Simplify t into t 3.975 * [taylor]: Taking taylor expansion of y in y 3.975 * [backup-simplify]: Simplify 0 into 0 3.975 * [backup-simplify]: Simplify 1 into 1 3.975 * [backup-simplify]: Simplify (/ t 1) into t 3.976 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y)) 3.976 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in y 3.976 * [taylor]: Taking taylor expansion of (- (/ t y)) in y 3.976 * [taylor]: Taking taylor expansion of (/ t y) in y 3.976 * [taylor]: Taking taylor expansion of t in y 3.976 * [backup-simplify]: Simplify t into t 3.976 * [taylor]: Taking taylor expansion of y in y 3.976 * [backup-simplify]: Simplify 0 into 0 3.976 * [backup-simplify]: Simplify 1 into 1 3.976 * [backup-simplify]: Simplify (/ t 1) into t 3.976 * [backup-simplify]: Simplify (- t) into (- t) 3.976 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y))) 3.976 * [backup-simplify]: Simplify (- (exp (- (/ t y)))) into (- (exp (- (/ t y)))) 3.977 * [backup-simplify]: Simplify (+ (exp (/ t y)) (- (exp (- (/ t y))))) into (- (exp (/ t y)) (exp (- (/ t y)))) 3.977 * [backup-simplify]: Simplify (+ (exp (/ t y)) (exp (- (/ t y)))) into (+ (exp (- (/ t y))) (exp (/ t y))) 3.977 * [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)))) 3.977 * [taylor]: Taking taylor expansion of (tanh (/ x y)) in y 3.977 * [taylor]: Rewrote expression to (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (/ x y)) (exp (- (/ x y))))) 3.977 * [taylor]: Taking taylor expansion of (- (exp (/ x y)) (exp (- (/ x y)))) in y 3.977 * [taylor]: Taking taylor expansion of (exp (/ x y)) in y 3.977 * [taylor]: Taking taylor expansion of (/ x y) in y 3.977 * [taylor]: Taking taylor expansion of x in y 3.978 * [backup-simplify]: Simplify x into x 3.978 * [taylor]: Taking taylor expansion of y in y 3.978 * [backup-simplify]: Simplify 0 into 0 3.978 * [backup-simplify]: Simplify 1 into 1 3.978 * [backup-simplify]: Simplify (/ x 1) into x 3.978 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y)) 3.978 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in y 3.978 * [taylor]: Taking taylor expansion of (- (/ x y)) in y 3.978 * [taylor]: Taking taylor expansion of (/ x y) in y 3.978 * [taylor]: Taking taylor expansion of x in y 3.978 * [backup-simplify]: Simplify x into x 3.978 * [taylor]: Taking taylor expansion of y in y 3.978 * [backup-simplify]: Simplify 0 into 0 3.978 * [backup-simplify]: Simplify 1 into 1 3.978 * [backup-simplify]: Simplify (/ x 1) into x 3.978 * [backup-simplify]: Simplify (- x) into (- x) 3.978 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y))) 3.978 * [taylor]: Taking taylor expansion of (+ (exp (/ x y)) (exp (- (/ x y)))) in y 3.978 * [taylor]: Taking taylor expansion of (exp (/ x y)) in y 3.978 * [taylor]: Taking taylor expansion of (/ x y) in y 3.978 * [taylor]: Taking taylor expansion of x in y 3.978 * [backup-simplify]: Simplify x into x 3.978 * [taylor]: Taking taylor expansion of y in y 3.978 * [backup-simplify]: Simplify 0 into 0 3.978 * [backup-simplify]: Simplify 1 into 1 3.978 * [backup-simplify]: Simplify (/ x 1) into x 3.979 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y)) 3.979 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in y 3.979 * [taylor]: Taking taylor expansion of (- (/ x y)) in y 3.979 * [taylor]: Taking taylor expansion of (/ x y) in y 3.979 * [taylor]: Taking taylor expansion of x in y 3.979 * [backup-simplify]: Simplify x into x 3.979 * [taylor]: Taking taylor expansion of y in y 3.979 * [backup-simplify]: Simplify 0 into 0 3.979 * [backup-simplify]: Simplify 1 into 1 3.979 * [backup-simplify]: Simplify (/ x 1) into x 3.979 * [backup-simplify]: Simplify (- x) into (- x) 3.979 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y))) 3.979 * [backup-simplify]: Simplify (- (exp (- (/ x y)))) into (- (exp (- (/ x y)))) 3.979 * [backup-simplify]: Simplify (+ (exp (/ x y)) (- (exp (- (/ x y))))) into (- (exp (/ x y)) (exp (- (/ x y)))) 3.980 * [backup-simplify]: Simplify (+ (exp (/ x y)) (exp (- (/ x y)))) into (+ (exp (- (/ x y))) (exp (/ x y))) 3.980 * [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)))) 3.980 * [taylor]: Taking taylor expansion of z in y 3.980 * [backup-simplify]: Simplify z into z 3.980 * [taylor]: Taking taylor expansion of x in y 3.980 * [backup-simplify]: Simplify x into x 3.980 * [taylor]: Taking taylor expansion of (fma y (* (- (tanh (/ t y)) (tanh (/ x y))) z) x) in y 3.980 * [taylor]: Rewrote expression to (+ (* y (* (- (tanh (/ t y)) (tanh (/ x y))) z)) x) 3.980 * [taylor]: Taking taylor expansion of (* y (* (- (tanh (/ t y)) (tanh (/ x y))) z)) in y 3.980 * [taylor]: Taking taylor expansion of y in y 3.980 * [backup-simplify]: Simplify 0 into 0 3.980 * [backup-simplify]: Simplify 1 into 1 3.980 * [taylor]: Taking taylor expansion of (* (- (tanh (/ t y)) (tanh (/ x y))) z) in y 3.980 * [taylor]: Taking taylor expansion of (- (tanh (/ t y)) (tanh (/ x y))) in y 3.980 * [taylor]: Taking taylor expansion of (tanh (/ t y)) in y 3.981 * [taylor]: Rewrote expression to (/ (- (exp (/ t y)) (exp (- (/ t y)))) (+ (exp (/ t y)) (exp (- (/ t y))))) 3.981 * [taylor]: Taking taylor expansion of (- (exp (/ t y)) (exp (- (/ t y)))) in y 3.981 * [taylor]: Taking taylor expansion of (exp (/ t y)) in y 3.981 * [taylor]: Taking taylor expansion of (/ t y) in y 3.981 * [taylor]: Taking taylor expansion of t in y 3.981 * [backup-simplify]: Simplify t into t 3.981 * [taylor]: Taking taylor expansion of y in y 3.981 * [backup-simplify]: Simplify 0 into 0 3.981 * [backup-simplify]: Simplify 1 into 1 3.981 * [backup-simplify]: Simplify (/ t 1) into t 3.981 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y)) 3.981 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in y 3.981 * [taylor]: Taking taylor expansion of (- (/ t y)) in y 3.981 * [taylor]: Taking taylor expansion of (/ t y) in y 3.981 * [taylor]: Taking taylor expansion of t in y 3.981 * [backup-simplify]: Simplify t into t 3.981 * [taylor]: Taking taylor expansion of y in y 3.981 * [backup-simplify]: Simplify 0 into 0 3.981 * [backup-simplify]: Simplify 1 into 1 3.981 * [backup-simplify]: Simplify (/ t 1) into t 3.981 * [backup-simplify]: Simplify (- t) into (- t) 3.981 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y))) 3.981 * [taylor]: Taking taylor expansion of (+ (exp (/ t y)) (exp (- (/ t y)))) in y 3.981 * [taylor]: Taking taylor expansion of (exp (/ t y)) in y 3.982 * [taylor]: Taking taylor expansion of (/ t y) in y 3.982 * [taylor]: Taking taylor expansion of t in y 3.982 * [backup-simplify]: Simplify t into t 3.982 * [taylor]: Taking taylor expansion of y in y 3.982 * [backup-simplify]: Simplify 0 into 0 3.982 * [backup-simplify]: Simplify 1 into 1 3.982 * [backup-simplify]: Simplify (/ t 1) into t 3.982 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y)) 3.982 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in y 3.982 * [taylor]: Taking taylor expansion of (- (/ t y)) in y 3.982 * [taylor]: Taking taylor expansion of (/ t y) in y 3.982 * [taylor]: Taking taylor expansion of t in y 3.982 * [backup-simplify]: Simplify t into t 3.982 * [taylor]: Taking taylor expansion of y in y 3.982 * [backup-simplify]: Simplify 0 into 0 3.982 * [backup-simplify]: Simplify 1 into 1 3.982 * [backup-simplify]: Simplify (/ t 1) into t 3.982 * [backup-simplify]: Simplify (- t) into (- t) 3.982 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y))) 3.982 * [backup-simplify]: Simplify (- (exp (- (/ t y)))) into (- (exp (- (/ t y)))) 3.983 * [backup-simplify]: Simplify (+ (exp (/ t y)) (- (exp (- (/ t y))))) into (- (exp (/ t y)) (exp (- (/ t y)))) 3.983 * [backup-simplify]: Simplify (+ (exp (/ t y)) (exp (- (/ t y)))) into (+ (exp (- (/ t y))) (exp (/ t y))) 3.983 * [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)))) 3.983 * [taylor]: Taking taylor expansion of (tanh (/ x y)) in y 3.983 * [taylor]: Rewrote expression to (/ (- (exp (/ x y)) (exp (- (/ x y)))) (+ (exp (/ x y)) (exp (- (/ x y))))) 3.983 * [taylor]: Taking taylor expansion of (- (exp (/ x y)) (exp (- (/ x y)))) in y 3.983 * [taylor]: Taking taylor expansion of (exp (/ x y)) in y 3.983 * [taylor]: Taking taylor expansion of (/ x y) in y 3.983 * [taylor]: Taking taylor expansion of x in y 3.983 * [backup-simplify]: Simplify x into x 3.983 * [taylor]: Taking taylor expansion of y in y 3.984 * [backup-simplify]: Simplify 0 into 0 3.984 * [backup-simplify]: Simplify 1 into 1 3.984 * [backup-simplify]: Simplify (/ x 1) into x 3.984 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y)) 3.984 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in y 3.984 * [taylor]: Taking taylor expansion of (- (/ x y)) in y 3.984 * [taylor]: Taking taylor expansion of (/ x y) in y 3.984 * [taylor]: Taking taylor expansion of x in y 3.984 * [backup-simplify]: Simplify x into x 3.984 * [taylor]: Taking taylor expansion of y in y 3.984 * [backup-simplify]: Simplify 0 into 0 3.984 * [backup-simplify]: Simplify 1 into 1 3.984 * [backup-simplify]: Simplify (/ x 1) into x 3.984 * [backup-simplify]: Simplify (- x) into (- x) 3.984 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y))) 3.984 * [taylor]: Taking taylor expansion of (+ (exp (/ x y)) (exp (- (/ x y)))) in y 3.984 * [taylor]: Taking taylor expansion of (exp (/ x y)) in y 3.984 * [taylor]: Taking taylor expansion of (/ x y) in y 3.984 * [taylor]: Taking taylor expansion of x in y 3.984 * [backup-simplify]: Simplify x into x 3.984 * [taylor]: Taking taylor expansion of y in y 3.984 * [backup-simplify]: Simplify 0 into 0 3.984 * [backup-simplify]: Simplify 1 into 1 3.984 * [backup-simplify]: Simplify (/ x 1) into x 3.984 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y)) 3.984 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in y 3.985 * [taylor]: Taking taylor expansion of (- (/ x y)) in y 3.985 * [taylor]: Taking taylor expansion of (/ x y) in y 3.985 * [taylor]: Taking taylor expansion of x in y 3.985 * [backup-simplify]: Simplify x into x 3.985 * [taylor]: Taking taylor expansion of y in y 3.985 * [backup-simplify]: Simplify 0 into 0 3.985 * [backup-simplify]: Simplify 1 into 1 3.985 * [backup-simplify]: Simplify (/ x 1) into x 3.985 * [backup-simplify]: Simplify (- x) into (- x) 3.985 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y))) 3.985 * [backup-simplify]: Simplify (- (exp (- (/ x y)))) into (- (exp (- (/ x y)))) 3.985 * [backup-simplify]: Simplify (+ (exp (/ x y)) (- (exp (- (/ x y))))) into (- (exp (/ x y)) (exp (- (/ x y)))) 3.985 * [backup-simplify]: Simplify (+ (exp (/ x y)) (exp (- (/ x y)))) into (+ (exp (- (/ x y))) (exp (/ x y))) 3.986 * [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)))) 3.986 * [taylor]: Taking taylor expansion of z in y 3.986 * [backup-simplify]: Simplify z into z 3.986 * [taylor]: Taking taylor expansion of x in y 3.986 * [backup-simplify]: Simplify x into x 3.986 * [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))))) 3.988 * [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)))))) 3.990 * [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) 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)))))) z) 3.991 * [backup-simplify]: Simplify (* 0 (* (- (+ (/ (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)) into 0 3.991 * [backup-simplify]: Simplify (+ 0 x) into x 3.991 * [taylor]: Taking taylor expansion of x in z 3.991 * [backup-simplify]: Simplify x into x 3.991 * [taylor]: Taking taylor expansion of x in t 3.991 * [backup-simplify]: Simplify x into x 3.991 * [taylor]: Taking taylor expansion of x in x 3.991 * [backup-simplify]: Simplify 0 into 0 3.991 * [backup-simplify]: Simplify 1 into 1 3.991 * [backup-simplify]: Simplify 0 into 0 3.992 * [backup-simplify]: Simplify (- 0) into 0 3.992 * [backup-simplify]: Simplify (+ 0 0) into 0 3.993 * [backup-simplify]: Simplify (+ 0 0) into 0 3.994 * [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 3.994 * [backup-simplify]: Simplify (- 0) into 0 3.994 * [backup-simplify]: Simplify (+ 0 0) into 0 3.995 * [backup-simplify]: Simplify (+ 0 0) into 0 3.996 * [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 3.996 * [backup-simplify]: Simplify (- 0) into 0 3.997 * [backup-simplify]: Simplify (+ 0 0) into 0 3.998 * [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)) into 0 4.001 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* (- (+ (/ (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))) 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)))))) 4.003 * [backup-simplify]: Simplify (+ (- (+ (/ (* 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)))))) 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)))))) 4.003 * [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 4.003 * [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 4.003 * [taylor]: Taking taylor expansion of (/ (* z (exp (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y)))) in z 4.003 * [taylor]: Taking taylor expansion of (* z (exp (/ t y))) in z 4.003 * [taylor]: Taking taylor expansion of z in z 4.003 * [backup-simplify]: Simplify 0 into 0 4.003 * [backup-simplify]: Simplify 1 into 1 4.003 * [taylor]: Taking taylor expansion of (exp (/ t y)) in z 4.003 * [taylor]: Taking taylor expansion of (/ t y) in z 4.003 * [taylor]: Taking taylor expansion of t in z 4.003 * [backup-simplify]: Simplify t into t 4.003 * [taylor]: Taking taylor expansion of y in z 4.003 * [backup-simplify]: Simplify y into y 4.003 * [backup-simplify]: Simplify (/ t y) into (/ t y) 4.003 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y)) 4.003 * [taylor]: Taking taylor expansion of (+ (exp (- (/ t y))) (exp (/ t y))) in z 4.003 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in z 4.003 * [taylor]: Taking taylor expansion of (- (/ t y)) in z 4.003 * [taylor]: Taking taylor expansion of (/ t y) in z 4.003 * [taylor]: Taking taylor expansion of t in z 4.003 * [backup-simplify]: Simplify t into t 4.003 * [taylor]: Taking taylor expansion of y in z 4.004 * [backup-simplify]: Simplify y into y 4.004 * [backup-simplify]: Simplify (/ t y) into (/ t y) 4.004 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y)) 4.004 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y)) 4.004 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y))) 4.004 * [taylor]: Taking taylor expansion of (exp (/ t y)) in z 4.004 * [taylor]: Taking taylor expansion of (/ t y) in z 4.004 * [taylor]: Taking taylor expansion of t in z 4.004 * [backup-simplify]: Simplify t into t 4.004 * [taylor]: Taking taylor expansion of y in z 4.004 * [backup-simplify]: Simplify y into y 4.004 * [backup-simplify]: Simplify (/ t y) into (/ t y) 4.004 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y)) 4.004 * [backup-simplify]: Simplify (* 0 (exp (/ t y))) into 0 4.005 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ t y) (/ 0 y)))) into 0 4.006 * [backup-simplify]: Simplify (* (exp (/ t y)) (+ (* (/ (pow 0 1) 1)))) into 0 4.006 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (/ t y)))) into (exp (/ t y)) 4.006 * [backup-simplify]: Simplify (+ (exp (- (/ t y))) (exp (/ t y))) into (+ (exp (- (/ t y))) (exp (/ t y))) 4.007 * [backup-simplify]: Simplify (/ (exp (/ t y)) (+ (exp (- (/ t y))) (exp (/ t y)))) into (/ (exp (/ t y)) (+ (exp (- (/ t y))) (exp (/ t y)))) 4.007 * [taylor]: Taking taylor expansion of (/ (* z (exp (- (/ x y)))) (+ (exp (- (/ x y))) (exp (/ x y)))) in z 4.007 * [taylor]: Taking taylor expansion of (* z (exp (- (/ x y)))) in z 4.007 * [taylor]: Taking taylor expansion of z in z 4.007 * [backup-simplify]: Simplify 0 into 0 4.007 * [backup-simplify]: Simplify 1 into 1 4.007 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in z 4.007 * [taylor]: Taking taylor expansion of (- (/ x y)) in z 4.007 * [taylor]: Taking taylor expansion of (/ x y) in z 4.007 * [taylor]: Taking taylor expansion of x in z 4.007 * [backup-simplify]: Simplify x into x 4.007 * [taylor]: Taking taylor expansion of y in z 4.007 * [backup-simplify]: Simplify y into y 4.007 * [backup-simplify]: Simplify (/ x y) into (/ x y) 4.007 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y)) 4.007 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y)) 4.008 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y))) 4.008 * [taylor]: Taking taylor expansion of (+ (exp (- (/ x y))) (exp (/ x y))) in z 4.008 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in z 4.008 * [taylor]: Taking taylor expansion of (- (/ x y)) in z 4.008 * [taylor]: Taking taylor expansion of (/ x y) in z 4.008 * [taylor]: Taking taylor expansion of x in z 4.008 * [backup-simplify]: Simplify x into x 4.008 * [taylor]: Taking taylor expansion of y in z 4.008 * [backup-simplify]: Simplify y into y 4.008 * [backup-simplify]: Simplify (/ x y) into (/ x y) 4.008 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y)) 4.008 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y)) 4.008 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y))) 4.009 * [taylor]: Taking taylor expansion of (exp (/ x y)) in z 4.009 * [taylor]: Taking taylor expansion of (/ x y) in z 4.009 * [taylor]: Taking taylor expansion of x in z 4.009 * [backup-simplify]: Simplify x into x 4.009 * [taylor]: Taking taylor expansion of y in z 4.009 * [backup-simplify]: Simplify y into y 4.009 * [backup-simplify]: Simplify (/ x y) into (/ x y) 4.009 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y)) 4.009 * [backup-simplify]: Simplify (* 0 (exp (- (/ x y)))) into 0 4.009 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y)) 4.009 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ x y) (/ 0 y)))) into 0 4.010 * [backup-simplify]: Simplify (- 0) into 0 4.011 * [backup-simplify]: Simplify (* (exp (- (/ x y))) (+ (* (/ (pow 0 1) 1)))) into 0 4.011 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (- (/ x y))))) into (exp (- (/ x y))) 4.011 * [backup-simplify]: Simplify (+ (exp (- (/ x y))) (exp (/ x y))) into (+ (exp (- (/ x y))) (exp (/ x y))) 4.012 * [backup-simplify]: Simplify (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) into (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) 4.012 * [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 4.012 * [taylor]: Taking taylor expansion of (/ (* z (exp (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) in z 4.012 * [taylor]: Taking taylor expansion of (* z (exp (/ x y))) in z 4.012 * [taylor]: Taking taylor expansion of z in z 4.012 * [backup-simplify]: Simplify 0 into 0 4.012 * [backup-simplify]: Simplify 1 into 1 4.012 * [taylor]: Taking taylor expansion of (exp (/ x y)) in z 4.012 * [taylor]: Taking taylor expansion of (/ x y) in z 4.012 * [taylor]: Taking taylor expansion of x in z 4.012 * [backup-simplify]: Simplify x into x 4.012 * [taylor]: Taking taylor expansion of y in z 4.012 * [backup-simplify]: Simplify y into y 4.012 * [backup-simplify]: Simplify (/ x y) into (/ x y) 4.012 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y)) 4.012 * [taylor]: Taking taylor expansion of (+ (exp (- (/ x y))) (exp (/ x y))) in z 4.012 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in z 4.012 * [taylor]: Taking taylor expansion of (- (/ x y)) in z 4.012 * [taylor]: Taking taylor expansion of (/ x y) in z 4.012 * [taylor]: Taking taylor expansion of x in z 4.012 * [backup-simplify]: Simplify x into x 4.012 * [taylor]: Taking taylor expansion of y in z 4.012 * [backup-simplify]: Simplify y into y 4.013 * [backup-simplify]: Simplify (/ x y) into (/ x y) 4.013 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y)) 4.013 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y)) 4.013 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y))) 4.013 * [taylor]: Taking taylor expansion of (exp (/ x y)) in z 4.013 * [taylor]: Taking taylor expansion of (/ x y) in z 4.013 * [taylor]: Taking taylor expansion of x in z 4.013 * [backup-simplify]: Simplify x into x 4.013 * [taylor]: Taking taylor expansion of y in z 4.013 * [backup-simplify]: Simplify y into y 4.013 * [backup-simplify]: Simplify (/ x y) into (/ x y) 4.013 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y)) 4.013 * [backup-simplify]: Simplify (* 0 (exp (/ x y))) into 0 4.014 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ x y) (/ 0 y)))) into 0 4.014 * [backup-simplify]: Simplify (* (exp (/ x y)) (+ (* (/ (pow 0 1) 1)))) into 0 4.015 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (/ x y)))) into (exp (/ x y)) 4.015 * [backup-simplify]: Simplify (+ (exp (- (/ x y))) (exp (/ x y))) into (+ (exp (- (/ x y))) (exp (/ x y))) 4.016 * [backup-simplify]: Simplify (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))) into (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))) 4.016 * [taylor]: Taking taylor expansion of (/ (* (exp (- (/ t y))) z) (+ (exp (- (/ t y))) (exp (/ t y)))) in z 4.016 * [taylor]: Taking taylor expansion of (* (exp (- (/ t y))) z) in z 4.016 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in z 4.016 * [taylor]: Taking taylor expansion of (- (/ t y)) in z 4.016 * [taylor]: Taking taylor expansion of (/ t y) in z 4.016 * [taylor]: Taking taylor expansion of t in z 4.016 * [backup-simplify]: Simplify t into t 4.016 * [taylor]: Taking taylor expansion of y in z 4.016 * [backup-simplify]: Simplify y into y 4.016 * [backup-simplify]: Simplify (/ t y) into (/ t y) 4.016 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y)) 4.016 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y)) 4.016 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y))) 4.016 * [taylor]: Taking taylor expansion of z in z 4.016 * [backup-simplify]: Simplify 0 into 0 4.016 * [backup-simplify]: Simplify 1 into 1 4.016 * [taylor]: Taking taylor expansion of (+ (exp (- (/ t y))) (exp (/ t y))) in z 4.016 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in z 4.016 * [taylor]: Taking taylor expansion of (- (/ t y)) in z 4.016 * [taylor]: Taking taylor expansion of (/ t y) in z 4.016 * [taylor]: Taking taylor expansion of t in z 4.017 * [backup-simplify]: Simplify t into t 4.017 * [taylor]: Taking taylor expansion of y in z 4.017 * [backup-simplify]: Simplify y into y 4.017 * [backup-simplify]: Simplify (/ t y) into (/ t y) 4.017 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y)) 4.017 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y)) 4.017 * [backup-simplify]: Simplify (exp (- (/ t y))) into (exp (- (/ t y))) 4.017 * [taylor]: Taking taylor expansion of (exp (/ t y)) in z 4.017 * [taylor]: Taking taylor expansion of (/ t y) in z 4.017 * [taylor]: Taking taylor expansion of t in z 4.017 * [backup-simplify]: Simplify t into t 4.017 * [taylor]: Taking taylor expansion of y in z 4.017 * [backup-simplify]: Simplify y into y 4.017 * [backup-simplify]: Simplify (/ t y) into (/ t y) 4.017 * [backup-simplify]: Simplify (exp (/ t y)) into (exp (/ t y)) 4.017 * [backup-simplify]: Simplify (* (exp (- (/ t y))) 0) into 0 4.018 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y)) 4.018 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ t y) (/ 0 y)))) into 0 4.018 * [backup-simplify]: Simplify (- 0) into 0 4.019 * [backup-simplify]: Simplify (* (exp (- (/ t y))) (+ (* (/ (pow 0 1) 1)))) into 0 4.020 * [backup-simplify]: Simplify (+ (* (exp (- (/ t y))) 1) (* 0 0)) into (exp (- (/ t y))) 4.020 * [backup-simplify]: Simplify (+ (exp (- (/ t y))) (exp (/ t y))) into (+ (exp (- (/ t y))) (exp (/ t y))) 4.020 * [backup-simplify]: Simplify (/ (exp (- (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y)))) into (/ (exp (- (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y)))) 4.020 * [taylor]: Taking taylor expansion of 0 in t 4.020 * [backup-simplify]: Simplify 0 into 0 4.020 * [taylor]: Taking taylor expansion of 0 in x 4.020 * [backup-simplify]: Simplify 0 into 0 4.020 * [backup-simplify]: Simplify 0 into 0 4.020 * [taylor]: Taking taylor expansion of 0 in x 4.021 * [backup-simplify]: Simplify 0 into 0 4.021 * [backup-simplify]: Simplify 0 into 0 4.021 * [backup-simplify]: Simplify 1 into 1 4.021 * [backup-simplify]: Simplify (- 0) into 0 4.021 * [backup-simplify]: Simplify (+ 0 0) into 0 4.022 * [backup-simplify]: Simplify (+ 0 0) into 0 4.023 * [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 4.023 * [backup-simplify]: Simplify (- 0) into 0 4.024 * [backup-simplify]: Simplify (+ 0 0) into 0 4.024 * [backup-simplify]: Simplify (+ 0 0) into 0 4.025 * [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 4.026 * [backup-simplify]: Simplify (- 0) into 0 4.026 * [backup-simplify]: Simplify (+ 0 0) into 0 4.028 * [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 0) (* 0 z))) into 0 4.037 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* (- (+ (/ (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)))) into 0 4.038 * [backup-simplify]: Simplify (+ 0 0) into 0 4.038 * [taylor]: Taking taylor expansion of 0 in z 4.038 * [backup-simplify]: Simplify 0 into 0 4.038 * [taylor]: Taking taylor expansion of 0 in t 4.038 * [backup-simplify]: Simplify 0 into 0 4.038 * [taylor]: Taking taylor expansion of 0 in x 4.038 * [backup-simplify]: Simplify 0 into 0 4.038 * [backup-simplify]: Simplify 0 into 0 4.039 * [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))))) 4.040 * [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))))) 4.041 * [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)))))) 4.042 * [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)))))) 4.042 * [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 4.042 * [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 4.042 * [taylor]: Taking taylor expansion of (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) in t 4.042 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in t 4.042 * [taylor]: Taking taylor expansion of (- (/ x y)) in t 4.042 * [taylor]: Taking taylor expansion of (/ x y) in t 4.042 * [taylor]: Taking taylor expansion of x in t 4.042 * [backup-simplify]: Simplify x into x 4.043 * [taylor]: Taking taylor expansion of y in t 4.043 * [backup-simplify]: Simplify y into y 4.043 * [backup-simplify]: Simplify (/ x y) into (/ x y) 4.043 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y)) 4.043 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y)) 4.043 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y))) 4.043 * [taylor]: Taking taylor expansion of (+ (exp (- (/ x y))) (exp (/ x y))) in t 4.043 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in t 4.043 * [taylor]: Taking taylor expansion of (- (/ x y)) in t 4.043 * [taylor]: Taking taylor expansion of (/ x y) in t 4.043 * [taylor]: Taking taylor expansion of x in t 4.043 * [backup-simplify]: Simplify x into x 4.043 * [taylor]: Taking taylor expansion of y in t 4.043 * [backup-simplify]: Simplify y into y 4.043 * [backup-simplify]: Simplify (/ x y) into (/ x y) 4.043 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y)) 4.043 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y)) 4.044 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y))) 4.044 * [taylor]: Taking taylor expansion of (exp (/ x y)) in t 4.044 * [taylor]: Taking taylor expansion of (/ x y) in t 4.044 * [taylor]: Taking taylor expansion of x in t 4.044 * [backup-simplify]: Simplify x into x 4.044 * [taylor]: Taking taylor expansion of y in t 4.044 * [backup-simplify]: Simplify y into y 4.044 * [backup-simplify]: Simplify (/ x y) into (/ x y) 4.044 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y)) 4.044 * [backup-simplify]: Simplify (+ (exp (- (/ x y))) (exp (/ x y))) into (+ (exp (- (/ x y))) (exp (/ x y))) 4.044 * [backup-simplify]: Simplify (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) into (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) 4.044 * [taylor]: Taking taylor expansion of (/ (exp (/ t y)) (+ (exp (- (/ t y))) (exp (/ t y)))) in t 4.044 * [taylor]: Taking taylor expansion of (exp (/ t y)) in t 4.044 * [taylor]: Taking taylor expansion of (/ t y) in t 4.045 * [taylor]: Taking taylor expansion of t in t 4.045 * [backup-simplify]: Simplify 0 into 0 4.045 * [backup-simplify]: Simplify 1 into 1 4.045 * [taylor]: Taking taylor expansion of y in t 4.045 * [backup-simplify]: Simplify y into y 4.045 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.045 * [backup-simplify]: Simplify (exp 0) into 1 4.045 * [taylor]: Taking taylor expansion of (+ (exp (- (/ t y))) (exp (/ t y))) in t 4.045 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in t 4.045 * [taylor]: Taking taylor expansion of (- (/ t y)) in t 4.045 * [taylor]: Taking taylor expansion of (/ t y) in t 4.045 * [taylor]: Taking taylor expansion of t in t 4.045 * [backup-simplify]: Simplify 0 into 0 4.045 * [backup-simplify]: Simplify 1 into 1 4.045 * [taylor]: Taking taylor expansion of y in t 4.045 * [backup-simplify]: Simplify y into y 4.045 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.045 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 4.045 * [backup-simplify]: Simplify (exp 0) into 1 4.045 * [taylor]: Taking taylor expansion of (exp (/ t y)) in t 4.045 * [taylor]: Taking taylor expansion of (/ t y) in t 4.045 * [taylor]: Taking taylor expansion of t in t 4.045 * [backup-simplify]: Simplify 0 into 0 4.045 * [backup-simplify]: Simplify 1 into 1 4.045 * [taylor]: Taking taylor expansion of y in t 4.045 * [backup-simplify]: Simplify y into y 4.045 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.046 * [backup-simplify]: Simplify (exp 0) into 1 4.046 * [backup-simplify]: Simplify (+ 1 1) into 2 4.047 * [backup-simplify]: Simplify (/ 1 2) into 1/2 4.047 * [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 4.047 * [taylor]: Taking taylor expansion of (/ (exp (- (/ t y))) (+ (exp (- (/ t y))) (exp (/ t y)))) in t 4.047 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in t 4.047 * [taylor]: Taking taylor expansion of (- (/ t y)) in t 4.047 * [taylor]: Taking taylor expansion of (/ t y) in t 4.047 * [taylor]: Taking taylor expansion of t in t 4.047 * [backup-simplify]: Simplify 0 into 0 4.047 * [backup-simplify]: Simplify 1 into 1 4.047 * [taylor]: Taking taylor expansion of y in t 4.047 * [backup-simplify]: Simplify y into y 4.047 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.047 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 4.047 * [backup-simplify]: Simplify (exp 0) into 1 4.047 * [taylor]: Taking taylor expansion of (+ (exp (- (/ t y))) (exp (/ t y))) in t 4.047 * [taylor]: Taking taylor expansion of (exp (- (/ t y))) in t 4.047 * [taylor]: Taking taylor expansion of (- (/ t y)) in t 4.047 * [taylor]: Taking taylor expansion of (/ t y) in t 4.047 * [taylor]: Taking taylor expansion of t in t 4.047 * [backup-simplify]: Simplify 0 into 0 4.047 * [backup-simplify]: Simplify 1 into 1 4.047 * [taylor]: Taking taylor expansion of y in t 4.047 * [backup-simplify]: Simplify y into y 4.047 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.047 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 4.048 * [backup-simplify]: Simplify (exp 0) into 1 4.048 * [taylor]: Taking taylor expansion of (exp (/ t y)) in t 4.048 * [taylor]: Taking taylor expansion of (/ t y) in t 4.048 * [taylor]: Taking taylor expansion of t in t 4.048 * [backup-simplify]: Simplify 0 into 0 4.048 * [backup-simplify]: Simplify 1 into 1 4.048 * [taylor]: Taking taylor expansion of y in t 4.048 * [backup-simplify]: Simplify y into y 4.048 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.048 * [backup-simplify]: Simplify (exp 0) into 1 4.048 * [backup-simplify]: Simplify (+ 1 1) into 2 4.049 * [backup-simplify]: Simplify (/ 1 2) into 1/2 4.049 * [taylor]: Taking taylor expansion of (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))) in t 4.049 * [taylor]: Taking taylor expansion of (exp (/ x y)) in t 4.049 * [taylor]: Taking taylor expansion of (/ x y) in t 4.049 * [taylor]: Taking taylor expansion of x in t 4.049 * [backup-simplify]: Simplify x into x 4.049 * [taylor]: Taking taylor expansion of y in t 4.049 * [backup-simplify]: Simplify y into y 4.049 * [backup-simplify]: Simplify (/ x y) into (/ x y) 4.049 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y)) 4.049 * [taylor]: Taking taylor expansion of (+ (exp (- (/ x y))) (exp (/ x y))) in t 4.049 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in t 4.049 * [taylor]: Taking taylor expansion of (- (/ x y)) in t 4.049 * [taylor]: Taking taylor expansion of (/ x y) in t 4.049 * [taylor]: Taking taylor expansion of x in t 4.049 * [backup-simplify]: Simplify x into x 4.049 * [taylor]: Taking taylor expansion of y in t 4.049 * [backup-simplify]: Simplify y into y 4.049 * [backup-simplify]: Simplify (/ x y) into (/ x y) 4.049 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y)) 4.050 * [backup-simplify]: Simplify (- (/ x y)) into (- (/ x y)) 4.050 * [backup-simplify]: Simplify (exp (- (/ x y))) into (exp (- (/ x y))) 4.050 * [taylor]: Taking taylor expansion of (exp (/ x y)) in t 4.050 * [taylor]: Taking taylor expansion of (/ x y) in t 4.050 * [taylor]: Taking taylor expansion of x in t 4.050 * [backup-simplify]: Simplify x into x 4.050 * [taylor]: Taking taylor expansion of y in t 4.050 * [backup-simplify]: Simplify y into y 4.050 * [backup-simplify]: Simplify (/ x y) into (/ x y) 4.050 * [backup-simplify]: Simplify (exp (/ x y)) into (exp (/ x y)) 4.050 * [backup-simplify]: Simplify (+ (exp (- (/ x y))) (exp (/ x y))) into (+ (exp (- (/ x y))) (exp (/ x y))) 4.051 * [backup-simplify]: Simplify (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))) into (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))) 4.051 * [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) 4.051 * [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) 4.052 * [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)) 4.052 * [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))))) 4.053 * [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 4.053 * [taylor]: Taking taylor expansion of (/ (exp (- (/ x y))) (+ (exp (- (/ x y))) (exp (/ x y)))) in x 4.053 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in x 4.053 * [taylor]: Taking taylor expansion of (- (/ x y)) in x 4.053 * [taylor]: Taking taylor expansion of (/ x y) in x 4.053 * [taylor]: Taking taylor expansion of x in x 4.053 * [backup-simplify]: Simplify 0 into 0 4.053 * [backup-simplify]: Simplify 1 into 1 4.053 * [taylor]: Taking taylor expansion of y in x 4.053 * [backup-simplify]: Simplify y into y 4.053 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.053 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 4.053 * [backup-simplify]: Simplify (exp 0) into 1 4.053 * [taylor]: Taking taylor expansion of (+ (exp (- (/ x y))) (exp (/ x y))) in x 4.053 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in x 4.053 * [taylor]: Taking taylor expansion of (- (/ x y)) in x 4.053 * [taylor]: Taking taylor expansion of (/ x y) in x 4.053 * [taylor]: Taking taylor expansion of x in x 4.053 * [backup-simplify]: Simplify 0 into 0 4.053 * [backup-simplify]: Simplify 1 into 1 4.053 * [taylor]: Taking taylor expansion of y in x 4.053 * [backup-simplify]: Simplify y into y 4.053 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.053 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 4.054 * [backup-simplify]: Simplify (exp 0) into 1 4.054 * [taylor]: Taking taylor expansion of (exp (/ x y)) in x 4.054 * [taylor]: Taking taylor expansion of (/ x y) in x 4.054 * [taylor]: Taking taylor expansion of x in x 4.054 * [backup-simplify]: Simplify 0 into 0 4.054 * [backup-simplify]: Simplify 1 into 1 4.054 * [taylor]: Taking taylor expansion of y in x 4.054 * [backup-simplify]: Simplify y into y 4.054 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.054 * [backup-simplify]: Simplify (exp 0) into 1 4.055 * [backup-simplify]: Simplify (+ 1 1) into 2 4.055 * [backup-simplify]: Simplify (/ 1 2) into 1/2 4.055 * [taylor]: Taking taylor expansion of (/ (exp (/ x y)) (+ (exp (- (/ x y))) (exp (/ x y)))) in x 4.055 * [taylor]: Taking taylor expansion of (exp (/ x y)) in x 4.055 * [taylor]: Taking taylor expansion of (/ x y) in x 4.055 * [taylor]: Taking taylor expansion of x in x 4.056 * [backup-simplify]: Simplify 0 into 0 4.056 * [backup-simplify]: Simplify 1 into 1 4.056 * [taylor]: Taking taylor expansion of y in x 4.056 * [backup-simplify]: Simplify y into y 4.056 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.056 * [backup-simplify]: Simplify (exp 0) into 1 4.056 * [taylor]: Taking taylor expansion of (+ (exp (- (/ x y))) (exp (/ x y))) in x 4.056 * [taylor]: Taking taylor expansion of (exp (- (/ x y))) in x 4.056 * [taylor]: Taking taylor expansion of (- (/ x y)) in x 4.056 * [taylor]: Taking taylor expansion of (/ x y) in x 4.056 * [taylor]: Taking taylor expansion of x in x 4.056 * [backup-simplify]: Simplify 0 into 0 4.056 * [backup-simplify]: Simplify 1 into 1 4.056 * [taylor]: Taking taylor expansion of y in x 4.056 * [backup-simplify]: Simplify y into y 4.056 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.056 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 4.056 * [backup-simplify]: Simplify (exp 0) into 1 4.056 * [taylor]: Taking taylor expansion of (exp (/ x y)) in x 4.056 * [taylor]: Taking taylor expansion of (/ x y) in x 4.056 * [taylor]: Taking taylor expansion of x in x 4.056 * [backup-simplify]: Simplify 0 into 0 4.056 * [backup-simplify]: Simplify 1 into 1 4.056 * [taylor]: Taking taylor expansion of y in x 4.056 * [backup-simplify]: Simplify y into y 4.057 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.057 * [backup-simplify]: Simplify (exp 0) into 1 4.057 * [backup-simplify]: Simplify (+ 1 1) into 2 4.057 * [backup-simplify]: Simplify (/ 1 2) into 1/2 4.058 * [backup-simplify]: Simplify (- 1/2) into -1/2 4.058 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 4.058 * [backup-simplify]: Simplify 0 into 0 4.058 * [taylor]: Taking taylor expansion of 0 in t 4.058 * [backup-simplify]: Simplify 0 into 0 4.058 * [taylor]: Taking taylor expansion of 0 in x 4.058 * [backup-simplify]: Simplify 0 into 0 4.058 * [backup-simplify]: Simplify 0 into 0 4.059 * [taylor]: Taking taylor expansion of 0 in x 4.059 * [backup-simplify]: Simplify 0 into 0 4.059 * [backup-simplify]: Simplify 0 into 0 4.059 * [taylor]: Taking taylor expansion of 0 in x 4.059 * [backup-simplify]: Simplify 0 into 0 4.059 * [backup-simplify]: Simplify 0 into 0 4.059 * [backup-simplify]: Simplify 0 into 0 4.059 * [backup-simplify]: Simplify (* 1 (* x (* 1 (* 1 1)))) into x 4.060 * [backup-simplify]: Simplify (fma (/ 1 y) (* (/ 1 z) (- (tanh (/ (/ 1 t) (/ 1 y))) (tanh (/ (/ 1 x) (/ 1 y))))) (/ 1 x)) into (fma (/ 1 y) (/ (- (tanh (/ y t)) (tanh (/ y x))) z) (/ 1 x)) 4.060 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (/ (- (tanh (/ y t)) (tanh (/ y x))) z) (/ 1 x)) in (y z t x) around 0 4.060 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ (- (tanh (/ y t)) (tanh (/ y x))) z) (/ 1 x)) in x 4.060 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ (- (tanh (/ y t)) (tanh (/ y x))) z)) (/ 1 x)) 4.060 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ (- (tanh (/ y t)) (tanh (/ y x))) z)) in x 4.060 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.060 * [taylor]: Taking taylor expansion of y in x 4.060 * [backup-simplify]: Simplify y into y 4.060 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.060 * [taylor]: Taking taylor expansion of (/ (- (tanh (/ y t)) (tanh (/ y x))) z) in x 4.060 * [taylor]: Taking taylor expansion of (- (tanh (/ y t)) (tanh (/ y x))) in x 4.060 * [taylor]: Taking taylor expansion of (tanh (/ y t)) in x 4.061 * [taylor]: Rewrote expression to (/ (- (exp (/ y t)) (exp (- (/ y t)))) (+ (exp (/ y t)) (exp (- (/ y t))))) 4.061 * [taylor]: Taking taylor expansion of (- (exp (/ y t)) (exp (- (/ y t)))) in x 4.061 * [taylor]: Taking taylor expansion of (exp (/ y t)) in x 4.061 * [taylor]: Taking taylor expansion of (/ y t) in x 4.061 * [taylor]: Taking taylor expansion of y in x 4.061 * [backup-simplify]: Simplify y into y 4.061 * [taylor]: Taking taylor expansion of t in x 4.061 * [backup-simplify]: Simplify t into t 4.061 * [backup-simplify]: Simplify (/ y t) into (/ y t) 4.061 * [backup-simplify]: Simplify (exp (/ y t)) into (exp (/ y t)) 4.061 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in x 4.061 * [taylor]: Taking taylor expansion of (- (/ y t)) in x 4.061 * [taylor]: Taking taylor expansion of (/ y t) in x 4.061 * [taylor]: Taking taylor expansion of y in x 4.061 * [backup-simplify]: Simplify y into y 4.061 * [taylor]: Taking taylor expansion of t in x 4.061 * [backup-simplify]: Simplify t into t 4.061 * [backup-simplify]: Simplify (/ y t) into (/ y t) 4.061 * [backup-simplify]: Simplify (- (/ y t)) into (- (/ y t)) 4.061 * [backup-simplify]: Simplify (- (/ y t)) into (- (/ y t)) 4.062 * [backup-simplify]: Simplify (exp (- (/ y t))) into (exp (- (/ y t))) 4.062 * [taylor]: Taking taylor expansion of (+ (exp (/ y t)) (exp (- (/ y t)))) in x 4.062 * [taylor]: Taking taylor expansion of (exp (/ y t)) in x 4.062 * [taylor]: Taking taylor expansion of (/ y t) in x 4.062 * [taylor]: Taking taylor expansion of y in x 4.062 * [backup-simplify]: Simplify y into y 4.062 * [taylor]: Taking taylor expansion of t in x 4.062 * [backup-simplify]: Simplify t into t 4.062 * [backup-simplify]: Simplify (/ y t) into (/ y t) 4.062 * [backup-simplify]: Simplify (exp (/ y t)) into (exp (/ y t)) 4.062 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in x 4.062 * [taylor]: Taking taylor expansion of (- (/ y t)) in x 4.062 * [taylor]: Taking taylor expansion of (/ y t) in x 4.062 * [taylor]: Taking taylor expansion of y in x 4.062 * [backup-simplify]: Simplify y into y 4.062 * [taylor]: Taking taylor expansion of t in x 4.062 * [backup-simplify]: Simplify t into t 4.062 * [backup-simplify]: Simplify (/ y t) into (/ y t) 4.062 * [backup-simplify]: Simplify (- (/ y t)) into (- (/ y t)) 4.062 * [backup-simplify]: Simplify (- (/ y t)) into (- (/ y t)) 4.062 * [backup-simplify]: Simplify (exp (- (/ y t))) into (exp (- (/ y t))) 4.063 * [backup-simplify]: Simplify (- (exp (- (/ y t)))) into (- (exp (- (/ y t)))) 4.063 * [backup-simplify]: Simplify (+ (exp (/ y t)) (- (exp (- (/ y t))))) into (- (exp (/ y t)) (exp (- (/ y t)))) 4.063 * [backup-simplify]: Simplify (+ (exp (/ y t)) (exp (- (/ y t)))) into (+ (exp (- (/ y t))) (exp (/ y t))) 4.063 * [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)))) 4.064 * [taylor]: Taking taylor expansion of (tanh (/ y x)) in x 4.064 * [taylor]: Rewrote expression to (/ (- (exp (/ y x)) (exp (- (/ y x)))) (+ (exp (/ y x)) (exp (- (/ y x))))) 4.064 * [taylor]: Taking taylor expansion of (- (exp (/ y x)) (exp (- (/ y x)))) in x 4.064 * [taylor]: Taking taylor expansion of (exp (/ y x)) in x 4.064 * [taylor]: Taking taylor expansion of (/ y x) in x 4.064 * [taylor]: Taking taylor expansion of y in x 4.064 * [backup-simplify]: Simplify y into y 4.064 * [taylor]: Taking taylor expansion of x in x 4.064 * [backup-simplify]: Simplify 0 into 0 4.064 * [backup-simplify]: Simplify 1 into 1 4.064 * [backup-simplify]: Simplify (/ y 1) into y 4.064 * [backup-simplify]: Simplify (exp (/ y x)) into (exp (/ y x)) 4.064 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in x 4.064 * [taylor]: Taking taylor expansion of (- (/ y x)) in x 4.064 * [taylor]: Taking taylor expansion of (/ y x) in x 4.064 * [taylor]: Taking taylor expansion of y in x 4.064 * [backup-simplify]: Simplify y into y 4.064 * [taylor]: Taking taylor expansion of x in x 4.064 * [backup-simplify]: Simplify 0 into 0 4.064 * [backup-simplify]: Simplify 1 into 1 4.064 * [backup-simplify]: Simplify (/ y 1) into y 4.064 * [backup-simplify]: Simplify (- y) into (- y) 4.064 * [backup-simplify]: Simplify (exp (- (/ y x))) into (exp (- (/ y x))) 4.065 * [taylor]: Taking taylor expansion of (+ (exp (/ y x)) (exp (- (/ y x)))) in x 4.065 * [taylor]: Taking taylor expansion of (exp (/ y x)) in x 4.065 * [taylor]: Taking taylor expansion of (/ y x) in x 4.065 * [taylor]: Taking taylor expansion of y in x 4.065 * [backup-simplify]: Simplify y into y 4.065 * [taylor]: Taking taylor expansion of x in x 4.065 * [backup-simplify]: Simplify 0 into 0 4.065 * [backup-simplify]: Simplify 1 into 1 4.065 * [backup-simplify]: Simplify (/ y 1) into y 4.065 * [backup-simplify]: Simplify (exp (/ y x)) into (exp (/ y x)) 4.065 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in x 4.065 * [taylor]: Taking taylor expansion of (- (/ y x)) in x 4.065 * [taylor]: Taking taylor expansion of (/ y x) in x 4.065 * [taylor]: Taking taylor expansion of y in x 4.065 * [backup-simplify]: Simplify y into y 4.065 * [taylor]: Taking taylor expansion of x in x 4.065 * [backup-simplify]: Simplify 0 into 0 4.065 * [backup-simplify]: Simplify 1 into 1 4.065 * [backup-simplify]: Simplify (/ y 1) into y 4.065 * [backup-simplify]: Simplify (- y) into (- y) 4.065 * [backup-simplify]: Simplify (exp (- (/ y x))) into (exp (- (/ y x))) 4.065 * [backup-simplify]: Simplify (- (exp (- (/ y x)))) into (- (exp (- (/ y x)))) 4.066 * [backup-simplify]: Simplify (+ (exp (/ y x)) (- (exp (- (/ y x))))) into (- (exp (/ y x)) (exp (- (/ y x)))) 4.066 * [backup-simplify]: Simplify (+ (exp (/ y x)) (exp (- (/ y x)))) into (+ (exp (/ y x)) (exp (- (/ y x)))) 4.066 * [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))))) 4.066 * [taylor]: Taking taylor expansion of z in x 4.066 * [backup-simplify]: Simplify z into z 4.067 * [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)))))) 4.068 * [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)))))) 4.069 * [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) 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) 4.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.070 * [taylor]: Taking taylor expansion of x in x 4.070 * [backup-simplify]: Simplify 0 into 0 4.070 * [backup-simplify]: Simplify 1 into 1 4.070 * [backup-simplify]: Simplify (/ 1 1) into 1 4.070 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ (- (tanh (/ y t)) (tanh (/ y x))) z) (/ 1 x)) in t 4.070 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ (- (tanh (/ y t)) (tanh (/ y x))) z)) (/ 1 x)) 4.071 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ (- (tanh (/ y t)) (tanh (/ y x))) z)) in t 4.071 * [taylor]: Taking taylor expansion of (/ 1 y) in t 4.071 * [taylor]: Taking taylor expansion of y in t 4.071 * [backup-simplify]: Simplify y into y 4.071 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.071 * [taylor]: Taking taylor expansion of (/ (- (tanh (/ y t)) (tanh (/ y x))) z) in t 4.071 * [taylor]: Taking taylor expansion of (- (tanh (/ y t)) (tanh (/ y x))) in t 4.071 * [taylor]: Taking taylor expansion of (tanh (/ y t)) in t 4.071 * [taylor]: Rewrote expression to (/ (- (exp (/ y t)) (exp (- (/ y t)))) (+ (exp (/ y t)) (exp (- (/ y t))))) 4.071 * [taylor]: Taking taylor expansion of (- (exp (/ y t)) (exp (- (/ y t)))) in t 4.071 * [taylor]: Taking taylor expansion of (exp (/ y t)) in t 4.071 * [taylor]: Taking taylor expansion of (/ y t) in t 4.071 * [taylor]: Taking taylor expansion of y in t 4.071 * [backup-simplify]: Simplify y into y 4.071 * [taylor]: Taking taylor expansion of t in t 4.071 * [backup-simplify]: Simplify 0 into 0 4.071 * [backup-simplify]: Simplify 1 into 1 4.071 * [backup-simplify]: Simplify (/ y 1) into y 4.071 * [backup-simplify]: Simplify (exp (/ y t)) into (exp (/ y t)) 4.071 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in t 4.071 * [taylor]: Taking taylor expansion of (- (/ y t)) in t 4.071 * [taylor]: Taking taylor expansion of (/ y t) in t 4.071 * [taylor]: Taking taylor expansion of y in t 4.071 * [backup-simplify]: Simplify y into y 4.071 * [taylor]: Taking taylor expansion of t in t 4.071 * [backup-simplify]: Simplify 0 into 0 4.071 * [backup-simplify]: Simplify 1 into 1 4.072 * [backup-simplify]: Simplify (/ y 1) into y 4.072 * [backup-simplify]: Simplify (- y) into (- y) 4.072 * [backup-simplify]: Simplify (exp (- (/ y t))) into (exp (- (/ y t))) 4.072 * [taylor]: Taking taylor expansion of (+ (exp (/ y t)) (exp (- (/ y t)))) in t 4.072 * [taylor]: Taking taylor expansion of (exp (/ y t)) in t 4.072 * [taylor]: Taking taylor expansion of (/ y t) in t 4.072 * [taylor]: Taking taylor expansion of y in t 4.072 * [backup-simplify]: Simplify y into y 4.072 * [taylor]: Taking taylor expansion of t in t 4.072 * [backup-simplify]: Simplify 0 into 0 4.072 * [backup-simplify]: Simplify 1 into 1 4.072 * [backup-simplify]: Simplify (/ y 1) into y 4.072 * [backup-simplify]: Simplify (exp (/ y t)) into (exp (/ y t)) 4.072 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in t 4.072 * [taylor]: Taking taylor expansion of (- (/ y t)) in t 4.072 * [taylor]: Taking taylor expansion of (/ y t) in t 4.072 * [taylor]: Taking taylor expansion of y in t 4.072 * [backup-simplify]: Simplify y into y 4.072 * [taylor]: Taking taylor expansion of t in t 4.072 * [backup-simplify]: Simplify 0 into 0 4.072 * [backup-simplify]: Simplify 1 into 1 4.072 * [backup-simplify]: Simplify (/ y 1) into y 4.072 * [backup-simplify]: Simplify (- y) into (- y) 4.073 * [backup-simplify]: Simplify (exp (- (/ y t))) into (exp (- (/ y t))) 4.073 * [backup-simplify]: Simplify (- (exp (- (/ y t)))) into (- (exp (- (/ y t)))) 4.073 * [backup-simplify]: Simplify (+ (exp (/ y t)) (- (exp (- (/ y t))))) into (- (exp (/ y t)) (exp (- (/ y t)))) 4.073 * [backup-simplify]: Simplify (+ (exp (/ y t)) (exp (- (/ y t)))) into (+ (exp (- (/ y t))) (exp (/ y t))) 4.074 * [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)))) 4.074 * [taylor]: Taking taylor expansion of (tanh (/ y x)) in t 4.074 * [taylor]: Rewrote expression to (/ (- (exp (/ y x)) (exp (- (/ y x)))) (+ (exp (/ y x)) (exp (- (/ y x))))) 4.074 * [taylor]: Taking taylor expansion of (- (exp (/ y x)) (exp (- (/ y x)))) in t 4.074 * [taylor]: Taking taylor expansion of (exp (/ y x)) in t 4.074 * [taylor]: Taking taylor expansion of (/ y x) in t 4.074 * [taylor]: Taking taylor expansion of y in t 4.074 * [backup-simplify]: Simplify y into y 4.074 * [taylor]: Taking taylor expansion of x in t 4.074 * [backup-simplify]: Simplify x into x 4.074 * [backup-simplify]: Simplify (/ y x) into (/ y x) 4.074 * [backup-simplify]: Simplify (exp (/ y x)) into (exp (/ y x)) 4.074 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in t 4.074 * [taylor]: Taking taylor expansion of (- (/ y x)) in t 4.074 * [taylor]: Taking taylor expansion of (/ y x) in t 4.074 * [taylor]: Taking taylor expansion of y in t 4.074 * [backup-simplify]: Simplify y into y 4.074 * [taylor]: Taking taylor expansion of x in t 4.074 * [backup-simplify]: Simplify x into x 4.074 * [backup-simplify]: Simplify (/ y x) into (/ y x) 4.074 * [backup-simplify]: Simplify (- (/ y x)) into (- (/ y x)) 4.075 * [backup-simplify]: Simplify (- (/ y x)) into (- (/ y x)) 4.075 * [backup-simplify]: Simplify (exp (- (/ y x))) into (exp (- (/ y x))) 4.075 * [taylor]: Taking taylor expansion of (+ (exp (/ y x)) (exp (- (/ y x)))) in t 4.075 * [taylor]: Taking taylor expansion of (exp (/ y x)) in t 4.075 * [taylor]: Taking taylor expansion of (/ y x) in t 4.075 * [taylor]: Taking taylor expansion of y in t 4.075 * [backup-simplify]: Simplify y into y 4.075 * [taylor]: Taking taylor expansion of x in t 4.075 * [backup-simplify]: Simplify x into x 4.075 * [backup-simplify]: Simplify (/ y x) into (/ y x) 4.075 * [backup-simplify]: Simplify (exp (/ y x)) into (exp (/ y x)) 4.075 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in t 4.075 * [taylor]: Taking taylor expansion of (- (/ y x)) in t 4.075 * [taylor]: Taking taylor expansion of (/ y x) in t 4.075 * [taylor]: Taking taylor expansion of y in t 4.075 * [backup-simplify]: Simplify y into y 4.075 * [taylor]: Taking taylor expansion of x in t 4.075 * [backup-simplify]: Simplify x into x 4.075 * [backup-simplify]: Simplify (/ y x) into (/ y x) 4.075 * [backup-simplify]: Simplify (- (/ y x)) into (- (/ y x)) 4.076 * [backup-simplify]: Simplify (- (/ y x)) into (- (/ y x)) 4.076 * [backup-simplify]: Simplify (exp (- (/ y x))) into (exp (- (/ y x))) 4.076 * [backup-simplify]: Simplify (- (exp (- (/ y x)))) into (- (exp (- (/ y x)))) 4.076 * [backup-simplify]: Simplify (+ (exp (/ y x)) (- (exp (- (/ y x))))) into (- (exp (/ y x)) (exp (- (/ y x)))) 4.076 * [backup-simplify]: Simplify (+ (exp (/ y x)) (exp (- (/ y x)))) into (+ (exp (/ y x)) (exp (- (/ y x)))) 4.077 * [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))))) 4.077 * [taylor]: Taking taylor expansion of z in t 4.077 * [backup-simplify]: Simplify z into z 4.077 * [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)))))) 4.078 * [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)))))) 4.080 * [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) 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) 4.080 * [taylor]: Taking taylor expansion of (/ 1 x) in t 4.080 * [taylor]: Taking taylor expansion of x in t 4.080 * [backup-simplify]: Simplify x into x 4.080 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.080 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ (- (tanh (/ y t)) (tanh (/ y x))) z) (/ 1 x)) in z 4.080 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ (- (tanh (/ y t)) (tanh (/ y x))) z)) (/ 1 x)) 4.080 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ (- (tanh (/ y t)) (tanh (/ y x))) z)) in z 4.080 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.080 * [taylor]: Taking taylor expansion of y in z 4.080 * [backup-simplify]: Simplify y into y 4.081 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.081 * [taylor]: Taking taylor expansion of (/ (- (tanh (/ y t)) (tanh (/ y x))) z) in z 4.081 * [taylor]: Taking taylor expansion of (- (tanh (/ y t)) (tanh (/ y x))) in z 4.081 * [taylor]: Taking taylor expansion of (tanh (/ y t)) in z 4.081 * [taylor]: Rewrote expression to (/ (- (exp (/ y t)) (exp (- (/ y t)))) (+ (exp (/ y t)) (exp (- (/ y t))))) 4.081 * [taylor]: Taking taylor expansion of (- (exp (/ y t)) (exp (- (/ y t)))) in z 4.081 * [taylor]: Taking taylor expansion of (exp (/ y t)) in z 4.081 * [taylor]: Taking taylor expansion of (/ y t) in z 4.081 * [taylor]: Taking taylor expansion of y in z 4.081 * [backup-simplify]: Simplify y into y 4.081 * [taylor]: Taking taylor expansion of t in z 4.081 * [backup-simplify]: Simplify t into t 4.081 * [backup-simplify]: Simplify (/ y t) into (/ y t) 4.081 * [backup-simplify]: Simplify (exp (/ y t)) into (exp (/ y t)) 4.081 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in z 4.081 * [taylor]: Taking taylor expansion of (- (/ y t)) in z 4.081 * [taylor]: Taking taylor expansion of (/ y t) in z 4.081 * [taylor]: Taking taylor expansion of y in z 4.081 * [backup-simplify]: Simplify y into y 4.081 * [taylor]: Taking taylor expansion of t in z 4.081 * [backup-simplify]: Simplify t into t 4.081 * [backup-simplify]: Simplify (/ y t) into (/ y t) 4.082 * [backup-simplify]: Simplify (- (/ y t)) into (- (/ y t)) 4.082 * [backup-simplify]: Simplify (- (/ y t)) into (- (/ y t)) 4.082 * [backup-simplify]: Simplify (exp (- (/ y t))) into (exp (- (/ y t))) 4.082 * [taylor]: Taking taylor expansion of (+ (exp (/ y t)) (exp (- (/ y t)))) in z 4.082 * [taylor]: Taking taylor expansion of (exp (/ y t)) in z 4.082 * [taylor]: Taking taylor expansion of (/ y t) in z 4.082 * [taylor]: Taking taylor expansion of y in z 4.082 * [backup-simplify]: Simplify y into y 4.082 * [taylor]: Taking taylor expansion of t in z 4.082 * [backup-simplify]: Simplify t into t 4.082 * [backup-simplify]: Simplify (/ y t) into (/ y t) 4.082 * [backup-simplify]: Simplify (exp (/ y t)) into (exp (/ y t)) 4.082 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in z 4.082 * [taylor]: Taking taylor expansion of (- (/ y t)) in z 4.082 * [taylor]: Taking taylor expansion of (/ y t) in z 4.082 * [taylor]: Taking taylor expansion of y in z 4.082 * [backup-simplify]: Simplify y into y 4.082 * [taylor]: Taking taylor expansion of t in z 4.082 * [backup-simplify]: Simplify t into t 4.082 * [backup-simplify]: Simplify (/ y t) into (/ y t) 4.082 * [backup-simplify]: Simplify (- (/ y t)) into (- (/ y t)) 4.083 * [backup-simplify]: Simplify (- (/ y t)) into (- (/ y t)) 4.083 * [backup-simplify]: Simplify (exp (- (/ y t))) into (exp (- (/ y t))) 4.083 * [backup-simplify]: Simplify (- (exp (- (/ y t)))) into (- (exp (- (/ y t)))) 4.083 * [backup-simplify]: Simplify (+ (exp (/ y t)) (- (exp (- (/ y t))))) into (- (exp (/ y t)) (exp (- (/ y t)))) 4.083 * [backup-simplify]: Simplify (+ (exp (/ y t)) (exp (- (/ y t)))) into (+ (exp (- (/ y t))) (exp (/ y t))) 4.084 * [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)))) 4.084 * [taylor]: Taking taylor expansion of (tanh (/ y x)) in z 4.084 * [taylor]: Rewrote expression to (/ (- (exp (/ y x)) (exp (- (/ y x)))) (+ (exp (/ y x)) (exp (- (/ y x))))) 4.084 * [taylor]: Taking taylor expansion of (- (exp (/ y x)) (exp (- (/ y x)))) in z 4.084 * [taylor]: Taking taylor expansion of (exp (/ y x)) in z 4.084 * [taylor]: Taking taylor expansion of (/ y x) in z 4.084 * [taylor]: Taking taylor expansion of y in z 4.084 * [backup-simplify]: Simplify y into y 4.084 * [taylor]: Taking taylor expansion of x in z 4.084 * [backup-simplify]: Simplify x into x 4.084 * [backup-simplify]: Simplify (/ y x) into (/ y x) 4.084 * [backup-simplify]: Simplify (exp (/ y x)) into (exp (/ y x)) 4.084 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in z 4.084 * [taylor]: Taking taylor expansion of (- (/ y x)) in z 4.084 * [taylor]: Taking taylor expansion of (/ y x) in z 4.084 * [taylor]: Taking taylor expansion of y in z 4.084 * [backup-simplify]: Simplify y into y 4.084 * [taylor]: Taking taylor expansion of x in z 4.084 * [backup-simplify]: Simplify x into x 4.084 * [backup-simplify]: Simplify (/ y x) into (/ y x) 4.085 * [backup-simplify]: Simplify (- (/ y x)) into (- (/ y x)) 4.085 * [backup-simplify]: Simplify (- (/ y x)) into (- (/ y x)) 4.085 * [backup-simplify]: Simplify (exp (- (/ y x))) into (exp (- (/ y x))) 4.085 * [taylor]: Taking taylor expansion of (+ (exp (/ y x)) (exp (- (/ y x)))) in z 4.085 * [taylor]: Taking taylor expansion of (exp (/ y x)) in z 4.085 * [taylor]: Taking taylor expansion of (/ y x) in z 4.085 * [taylor]: Taking taylor expansion of y in z 4.085 * [backup-simplify]: Simplify y into y 4.085 * [taylor]: Taking taylor expansion of x in z 4.085 * [backup-simplify]: Simplify x into x 4.085 * [backup-simplify]: Simplify (/ y x) into (/ y x) 4.085 * [backup-simplify]: Simplify (exp (/ y x)) into (exp (/ y x)) 4.085 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in z 4.085 * [taylor]: Taking taylor expansion of (- (/ y x)) in z 4.085 * [taylor]: Taking taylor expansion of (/ y x) in z 4.085 * [taylor]: Taking taylor expansion of y in z 4.085 * [backup-simplify]: Simplify y into y 4.085 * [taylor]: Taking taylor expansion of x in z 4.085 * [backup-simplify]: Simplify x into x 4.085 * [backup-simplify]: Simplify (/ y x) into (/ y x) 4.086 * [backup-simplify]: Simplify (- (/ y x)) into (- (/ y x)) 4.086 * [backup-simplify]: Simplify (- (/ y x)) into (- (/ y x)) 4.086 * [backup-simplify]: Simplify (exp (- (/ y x))) into (exp (- (/ y x))) 4.086 * [backup-simplify]: Simplify (- (exp (- (/ y x)))) into (- (exp (- (/ y x)))) 4.086 * [backup-simplify]: Simplify (+ (exp (/ y x)) (- (exp (- (/ y x))))) into (- (exp (/ y x)) (exp (- (/ y x)))) 4.086 * [backup-simplify]: Simplify (+ (exp (/ y x)) (exp (- (/ y x)))) into (+ (exp (/ y x)) (exp (- (/ y x)))) 4.087 * [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))))) 4.087 * [taylor]: Taking taylor expansion of z in z 4.087 * [backup-simplify]: Simplify 0 into 0 4.087 * [backup-simplify]: Simplify 1 into 1 4.087 * [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)))))) 4.088 * [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)))))) 4.090 * [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)))))) 1) 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)))))) 4.090 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.090 * [taylor]: Taking taylor expansion of x in z 4.090 * [backup-simplify]: Simplify x into x 4.090 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.090 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ (- (tanh (/ y t)) (tanh (/ y x))) z) (/ 1 x)) in y 4.091 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ (- (tanh (/ y t)) (tanh (/ y x))) z)) (/ 1 x)) 4.091 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ (- (tanh (/ y t)) (tanh (/ y x))) z)) in y 4.091 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.091 * [taylor]: Taking taylor expansion of y in y 4.091 * [backup-simplify]: Simplify 0 into 0 4.091 * [backup-simplify]: Simplify 1 into 1 4.091 * [backup-simplify]: Simplify (/ 1 1) into 1 4.091 * [taylor]: Taking taylor expansion of (/ (- (tanh (/ y t)) (tanh (/ y x))) z) in y 4.091 * [taylor]: Taking taylor expansion of (- (tanh (/ y t)) (tanh (/ y x))) in y 4.092 * [taylor]: Taking taylor expansion of (tanh (/ y t)) in y 4.092 * [taylor]: Rewrote expression to (/ (- (exp (/ y t)) (exp (- (/ y t)))) (+ (exp (/ y t)) (exp (- (/ y t))))) 4.092 * [taylor]: Taking taylor expansion of (- (exp (/ y t)) (exp (- (/ y t)))) in y 4.092 * [taylor]: Taking taylor expansion of (exp (/ y t)) in y 4.092 * [taylor]: Taking taylor expansion of (/ y t) in y 4.092 * [taylor]: Taking taylor expansion of y in y 4.092 * [backup-simplify]: Simplify 0 into 0 4.092 * [backup-simplify]: Simplify 1 into 1 4.092 * [taylor]: Taking taylor expansion of t in y 4.092 * [backup-simplify]: Simplify t into t 4.092 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 4.092 * [backup-simplify]: Simplify (exp 0) into 1 4.092 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in y 4.092 * [taylor]: Taking taylor expansion of (- (/ y t)) in y 4.092 * [taylor]: Taking taylor expansion of (/ y t) in y 4.092 * [taylor]: Taking taylor expansion of y in y 4.092 * [backup-simplify]: Simplify 0 into 0 4.092 * [backup-simplify]: Simplify 1 into 1 4.092 * [taylor]: Taking taylor expansion of t in y 4.092 * [backup-simplify]: Simplify t into t 4.092 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 4.093 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 4.093 * [backup-simplify]: Simplify (exp 0) into 1 4.093 * [taylor]: Taking taylor expansion of (+ (exp (/ y t)) (exp (- (/ y t)))) in y 4.093 * [taylor]: Taking taylor expansion of (exp (/ y t)) in y 4.093 * [taylor]: Taking taylor expansion of (/ y t) in y 4.093 * [taylor]: Taking taylor expansion of y in y 4.093 * [backup-simplify]: Simplify 0 into 0 4.093 * [backup-simplify]: Simplify 1 into 1 4.093 * [taylor]: Taking taylor expansion of t in y 4.093 * [backup-simplify]: Simplify t into t 4.093 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 4.093 * [backup-simplify]: Simplify (exp 0) into 1 4.093 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in y 4.093 * [taylor]: Taking taylor expansion of (- (/ y t)) in y 4.093 * [taylor]: Taking taylor expansion of (/ y t) in y 4.093 * [taylor]: Taking taylor expansion of y in y 4.093 * [backup-simplify]: Simplify 0 into 0 4.093 * [backup-simplify]: Simplify 1 into 1 4.093 * [taylor]: Taking taylor expansion of t in y 4.093 * [backup-simplify]: Simplify t into t 4.093 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 4.093 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 4.093 * [backup-simplify]: Simplify (exp 0) into 1 4.094 * [backup-simplify]: Simplify (- 1) into -1 4.094 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.094 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (/ 1 t) 1) 1)))) into (/ 1 t) 4.095 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 4.095 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (- (/ 1 t)) 1) 1)))) into (/ -1 t) 4.095 * [backup-simplify]: Simplify (- (/ -1 t)) into (/ 1 t) 4.095 * [backup-simplify]: Simplify (+ (/ 1 t) (/ 1 t)) into (* 2 (/ 1 t)) 4.095 * [backup-simplify]: Simplify (+ 1 1) into 2 4.096 * [backup-simplify]: Simplify (/ (* 2 (/ 1 t)) 2) into (/ 1 t) 4.096 * [taylor]: Taking taylor expansion of (tanh (/ y x)) in y 4.096 * [taylor]: Rewrote expression to (/ (- (exp (/ y x)) (exp (- (/ y x)))) (+ (exp (/ y x)) (exp (- (/ y x))))) 4.096 * [taylor]: Taking taylor expansion of (- (exp (/ y x)) (exp (- (/ y x)))) in y 4.096 * [taylor]: Taking taylor expansion of (exp (/ y x)) in y 4.096 * [taylor]: Taking taylor expansion of (/ y x) in y 4.096 * [taylor]: Taking taylor expansion of y in y 4.096 * [backup-simplify]: Simplify 0 into 0 4.096 * [backup-simplify]: Simplify 1 into 1 4.096 * [taylor]: Taking taylor expansion of x in y 4.096 * [backup-simplify]: Simplify x into x 4.096 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.096 * [backup-simplify]: Simplify (exp 0) into 1 4.096 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in y 4.096 * [taylor]: Taking taylor expansion of (- (/ y x)) in y 4.096 * [taylor]: Taking taylor expansion of (/ y x) in y 4.096 * [taylor]: Taking taylor expansion of y in y 4.096 * [backup-simplify]: Simplify 0 into 0 4.096 * [backup-simplify]: Simplify 1 into 1 4.096 * [taylor]: Taking taylor expansion of x in y 4.096 * [backup-simplify]: Simplify x into x 4.096 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.096 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 4.096 * [backup-simplify]: Simplify (exp 0) into 1 4.096 * [taylor]: Taking taylor expansion of (+ (exp (/ y x)) (exp (- (/ y x)))) in y 4.097 * [taylor]: Taking taylor expansion of (exp (/ y x)) in y 4.097 * [taylor]: Taking taylor expansion of (/ y x) in y 4.097 * [taylor]: Taking taylor expansion of y in y 4.097 * [backup-simplify]: Simplify 0 into 0 4.097 * [backup-simplify]: Simplify 1 into 1 4.097 * [taylor]: Taking taylor expansion of x in y 4.097 * [backup-simplify]: Simplify x into x 4.097 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.097 * [backup-simplify]: Simplify (exp 0) into 1 4.097 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in y 4.097 * [taylor]: Taking taylor expansion of (- (/ y x)) in y 4.097 * [taylor]: Taking taylor expansion of (/ y x) in y 4.097 * [taylor]: Taking taylor expansion of y in y 4.097 * [backup-simplify]: Simplify 0 into 0 4.097 * [backup-simplify]: Simplify 1 into 1 4.097 * [taylor]: Taking taylor expansion of x in y 4.097 * [backup-simplify]: Simplify x into x 4.097 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.097 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 4.097 * [backup-simplify]: Simplify (exp 0) into 1 4.098 * [backup-simplify]: Simplify (- 1) into -1 4.098 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.099 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (/ 1 x) 1) 1)))) into (/ 1 x) 4.099 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 4.099 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (- (/ 1 x)) 1) 1)))) into (/ -1 x) 4.099 * [backup-simplify]: Simplify (- (/ -1 x)) into (/ 1 x) 4.099 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 x)) into (* 2 (/ 1 x)) 4.100 * [backup-simplify]: Simplify (+ 1 1) into 2 4.100 * [backup-simplify]: Simplify (/ (* 2 (/ 1 x)) 2) into (/ 1 x) 4.100 * [taylor]: Taking taylor expansion of z in y 4.100 * [backup-simplify]: Simplify z into z 4.100 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 4.100 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 x))) into (- (/ 1 t) (/ 1 x)) 4.100 * [backup-simplify]: Simplify (/ (- (/ 1 t) (/ 1 x)) z) into (/ (- (/ 1 t) (/ 1 x)) z) 4.100 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.100 * [taylor]: Taking taylor expansion of x in y 4.100 * [backup-simplify]: Simplify x into x 4.100 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.100 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ (- (tanh (/ y t)) (tanh (/ y x))) z) (/ 1 x)) in y 4.100 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ (- (tanh (/ y t)) (tanh (/ y x))) z)) (/ 1 x)) 4.101 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ (- (tanh (/ y t)) (tanh (/ y x))) z)) in y 4.101 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.101 * [taylor]: Taking taylor expansion of y in y 4.101 * [backup-simplify]: Simplify 0 into 0 4.101 * [backup-simplify]: Simplify 1 into 1 4.101 * [backup-simplify]: Simplify (/ 1 1) into 1 4.101 * [taylor]: Taking taylor expansion of (/ (- (tanh (/ y t)) (tanh (/ y x))) z) in y 4.101 * [taylor]: Taking taylor expansion of (- (tanh (/ y t)) (tanh (/ y x))) in y 4.101 * [taylor]: Taking taylor expansion of (tanh (/ y t)) in y 4.101 * [taylor]: Rewrote expression to (/ (- (exp (/ y t)) (exp (- (/ y t)))) (+ (exp (/ y t)) (exp (- (/ y t))))) 4.101 * [taylor]: Taking taylor expansion of (- (exp (/ y t)) (exp (- (/ y t)))) in y 4.101 * [taylor]: Taking taylor expansion of (exp (/ y t)) in y 4.101 * [taylor]: Taking taylor expansion of (/ y t) in y 4.101 * [taylor]: Taking taylor expansion of y in y 4.101 * [backup-simplify]: Simplify 0 into 0 4.101 * [backup-simplify]: Simplify 1 into 1 4.101 * [taylor]: Taking taylor expansion of t in y 4.102 * [backup-simplify]: Simplify t into t 4.102 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 4.102 * [backup-simplify]: Simplify (exp 0) into 1 4.102 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in y 4.102 * [taylor]: Taking taylor expansion of (- (/ y t)) in y 4.102 * [taylor]: Taking taylor expansion of (/ y t) in y 4.102 * [taylor]: Taking taylor expansion of y in y 4.102 * [backup-simplify]: Simplify 0 into 0 4.102 * [backup-simplify]: Simplify 1 into 1 4.102 * [taylor]: Taking taylor expansion of t in y 4.102 * [backup-simplify]: Simplify t into t 4.102 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 4.102 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 4.102 * [backup-simplify]: Simplify (exp 0) into 1 4.102 * [taylor]: Taking taylor expansion of (+ (exp (/ y t)) (exp (- (/ y t)))) in y 4.102 * [taylor]: Taking taylor expansion of (exp (/ y t)) in y 4.102 * [taylor]: Taking taylor expansion of (/ y t) in y 4.102 * [taylor]: Taking taylor expansion of y in y 4.102 * [backup-simplify]: Simplify 0 into 0 4.102 * [backup-simplify]: Simplify 1 into 1 4.102 * [taylor]: Taking taylor expansion of t in y 4.102 * [backup-simplify]: Simplify t into t 4.103 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 4.103 * [backup-simplify]: Simplify (exp 0) into 1 4.103 * [taylor]: Taking taylor expansion of (exp (- (/ y t))) in y 4.103 * [taylor]: Taking taylor expansion of (- (/ y t)) in y 4.103 * [taylor]: Taking taylor expansion of (/ y t) in y 4.103 * [taylor]: Taking taylor expansion of y in y 4.103 * [backup-simplify]: Simplify 0 into 0 4.103 * [backup-simplify]: Simplify 1 into 1 4.103 * [taylor]: Taking taylor expansion of t in y 4.103 * [backup-simplify]: Simplify t into t 4.103 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 4.103 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 4.103 * [backup-simplify]: Simplify (exp 0) into 1 4.103 * [backup-simplify]: Simplify (- 1) into -1 4.104 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.104 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (/ 1 t) 1) 1)))) into (/ 1 t) 4.104 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 4.105 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (- (/ 1 t)) 1) 1)))) into (/ -1 t) 4.105 * [backup-simplify]: Simplify (- (/ -1 t)) into (/ 1 t) 4.105 * [backup-simplify]: Simplify (+ (/ 1 t) (/ 1 t)) into (* 2 (/ 1 t)) 4.105 * [backup-simplify]: Simplify (+ 1 1) into 2 4.105 * [backup-simplify]: Simplify (/ (* 2 (/ 1 t)) 2) into (/ 1 t) 4.105 * [taylor]: Taking taylor expansion of (tanh (/ y x)) in y 4.105 * [taylor]: Rewrote expression to (/ (- (exp (/ y x)) (exp (- (/ y x)))) (+ (exp (/ y x)) (exp (- (/ y x))))) 4.106 * [taylor]: Taking taylor expansion of (- (exp (/ y x)) (exp (- (/ y x)))) in y 4.106 * [taylor]: Taking taylor expansion of (exp (/ y x)) in y 4.106 * [taylor]: Taking taylor expansion of (/ y x) in y 4.106 * [taylor]: Taking taylor expansion of y in y 4.106 * [backup-simplify]: Simplify 0 into 0 4.106 * [backup-simplify]: Simplify 1 into 1 4.106 * [taylor]: Taking taylor expansion of x in y 4.106 * [backup-simplify]: Simplify x into x 4.106 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.106 * [backup-simplify]: Simplify (exp 0) into 1 4.106 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in y 4.106 * [taylor]: Taking taylor expansion of (- (/ y x)) in y 4.106 * [taylor]: Taking taylor expansion of (/ y x) in y 4.106 * [taylor]: Taking taylor expansion of y in y 4.106 * [backup-simplify]: Simplify 0 into 0 4.106 * [backup-simplify]: Simplify 1 into 1 4.106 * [taylor]: Taking taylor expansion of x in y 4.106 * [backup-simplify]: Simplify x into x 4.106 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.106 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 4.106 * [backup-simplify]: Simplify (exp 0) into 1 4.106 * [taylor]: Taking taylor expansion of (+ (exp (/ y x)) (exp (- (/ y x)))) in y 4.106 * [taylor]: Taking taylor expansion of (exp (/ y x)) in y 4.106 * [taylor]: Taking taylor expansion of (/ y x) in y 4.106 * [taylor]: Taking taylor expansion of y in y 4.106 * [backup-simplify]: Simplify 0 into 0 4.106 * [backup-simplify]: Simplify 1 into 1 4.106 * [taylor]: Taking taylor expansion of x in y 4.106 * [backup-simplify]: Simplify x into x 4.107 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.107 * [backup-simplify]: Simplify (exp 0) into 1 4.107 * [taylor]: Taking taylor expansion of (exp (- (/ y x))) in y 4.107 * [taylor]: Taking taylor expansion of (- (/ y x)) in y 4.107 * [taylor]: Taking taylor expansion of (/ y x) in y 4.107 * [taylor]: Taking taylor expansion of y in y 4.107 * [backup-simplify]: Simplify 0 into 0 4.107 * [backup-simplify]: Simplify 1 into 1 4.107 * [taylor]: Taking taylor expansion of x in y 4.107 * [backup-simplify]: Simplify x into x 4.107 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.107 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 4.107 * [backup-simplify]: Simplify (exp 0) into 1 4.107 * [backup-simplify]: Simplify (- 1) into -1 4.108 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.108 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (/ 1 x) 1) 1)))) into (/ 1 x) 4.108 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 4.108 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (- (/ 1 x)) 1) 1)))) into (/ -1 x) 4.109 * [backup-simplify]: Simplify (- (/ -1 x)) into (/ 1 x) 4.109 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 x)) into (* 2 (/ 1 x)) 4.109 * [backup-simplify]: Simplify (+ 1 1) into 2 4.109 * [backup-simplify]: Simplify (/ (* 2 (/ 1 x)) 2) into (/ 1 x) 4.109 * [taylor]: Taking taylor expansion of z in y 4.109 * [backup-simplify]: Simplify z into z 4.109 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 4.109 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 x))) into (- (/ 1 t) (/ 1 x)) 4.110 * [backup-simplify]: Simplify (/ (- (/ 1 t) (/ 1 x)) z) into (/ (- (/ 1 t) (/ 1 x)) z) 4.110 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.110 * [taylor]: Taking taylor expansion of x in y 4.110 * [backup-simplify]: Simplify x into x 4.110 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.110 * [backup-simplify]: Simplify (* 1 (/ (- (/ 1 t) (/ 1 x)) z)) into (/ (- (/ 1 t) (/ 1 x)) z) 4.110 * [backup-simplify]: Simplify (+ (/ (- (/ 1 t) (/ 1 x)) z) (/ 1 x)) into (- (+ (/ 1 (* t z)) (/ 1 x)) (/ 1 (* x z))) 4.110 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t z)) (/ 1 x)) (/ 1 (* x z))) in z 4.110 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 x)) in z 4.110 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 4.110 * [taylor]: Taking taylor expansion of (* t z) in z 4.110 * [taylor]: Taking taylor expansion of t in z 4.111 * [backup-simplify]: Simplify t into t 4.111 * [taylor]: Taking taylor expansion of z in z 4.111 * [backup-simplify]: Simplify 0 into 0 4.111 * [backup-simplify]: Simplify 1 into 1 4.111 * [backup-simplify]: Simplify (* t 0) into 0 4.111 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t 4.111 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 4.111 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.111 * [taylor]: Taking taylor expansion of x in z 4.111 * [backup-simplify]: Simplify x into x 4.111 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.111 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 4.111 * [taylor]: Taking taylor expansion of (* x z) in z 4.111 * [taylor]: Taking taylor expansion of x in z 4.111 * [backup-simplify]: Simplify x into x 4.112 * [taylor]: Taking taylor expansion of z in z 4.112 * [backup-simplify]: Simplify 0 into 0 4.112 * [backup-simplify]: Simplify 1 into 1 4.112 * [backup-simplify]: Simplify (* x 0) into 0 4.112 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.112 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.112 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t) 4.112 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 4.112 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 x))) into (- (/ 1 t) (/ 1 x)) 4.112 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t 4.112 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.113 * [taylor]: Taking taylor expansion of t in t 4.113 * [backup-simplify]: Simplify 0 into 0 4.113 * [backup-simplify]: Simplify 1 into 1 4.113 * [backup-simplify]: Simplify (/ 1 1) into 1 4.113 * [taylor]: Taking taylor expansion of (/ 1 x) in t 4.113 * [taylor]: Taking taylor expansion of x in t 4.113 * [backup-simplify]: Simplify x into x 4.113 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.114 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.114 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 4.114 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 4.114 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.114 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.114 * [taylor]: Taking taylor expansion of x in x 4.114 * [backup-simplify]: Simplify 0 into 0 4.114 * [backup-simplify]: Simplify 1 into 1 4.115 * [backup-simplify]: Simplify (/ 1 1) into 1 4.115 * [backup-simplify]: Simplify (- 1) into -1 4.115 * [backup-simplify]: Simplify -1 into -1 4.115 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0