0.231 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
45.226 * * * [progress]: [2/2] Setting up program.
45.231 * [progress]: [Phase 2 of 3] Improving.
45.231 * [simplify]: Simplifying:
  (/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))
45.231 * * [simplify]: Extracting # 0 : cost  0
45.231 * * [simplify]: Extracting # 1 : cost  0
45.231 * * [simplify]: Extracting # 2 : cost  0
45.231 * * [simplify]: Extracting # 3 : cost  0
45.231 * * [simplify]: Extracting # 4 : cost  0
45.231 * * [simplify]: Extracting # 5 : cost  0
45.231 * * [simplify]: Extracting # 6 : cost  0
45.231 * * [simplify]: Extracting # 7 : cost  0
45.231 * * [simplify]: Extracting # 8 : cost  0
45.231 * * [simplify]: Extracting # 9 : cost  0
45.231 * * [simplify]: Extracting # 10 : cost  0
45.231 * * [simplify]: Extracting # 11 : cost  0
45.231 * * [simplify]: Extracting # 12 : cost  0
45.232 * * [simplify]: iteration  0 :  22  enodes  (cost  43 )
45.235 * * [simplify]: Extracting # 0 : cost  0
45.235 * * [simplify]: Extracting # 1 : cost  0
45.235 * * [simplify]: Extracting # 2 : cost  0
45.235 * * [simplify]: Extracting # 3 : cost  0
45.235 * * [simplify]: Extracting # 4 : cost  0
45.235 * * [simplify]: Extracting # 5 : cost  0
45.235 * * [simplify]: iteration  1 :  53  enodes  (cost  43 )
45.268 * * [simplify]: Extracting # 0 : cost  0
45.269 * * [simplify]: Extracting # 1 : cost  0
45.269 * * [simplify]: Extracting # 2 : cost  0
45.269 * * [simplify]: Extracting # 3 : cost  0
45.269 * * [simplify]: Extracting # 4 : cost  0
45.269 * * [simplify]: iteration  2 :  147  enodes  (cost  43 )
45.336 * * [simplify]: Extracting # 0 : cost  0
45.337 * * [simplify]: Extracting # 1 : cost  0
45.338 * * [simplify]: Extracting # 2 : cost  0
45.338 * * [simplify]: Extracting # 3 : cost  0
45.339 * * [simplify]: Extracting # 4 : cost  0
45.340 * * [simplify]: iteration  3 :  839  enodes  (cost  43 )
45.823 * * [simplify]: Extracting # 0 : cost  0
45.828 * * [simplify]: Extracting # 1 : cost  0
45.834 * * [simplify]: Extracting # 2 : cost  0
45.840 * * [simplify]: Extracting # 3 : cost  0
45.845 * * [simplify]: Extracting # 4 : cost  0
45.853 * * [simplify]: iteration done:  5001  enodes  (cost  43 )
45.853 * [simplify]: Simplified to:
  (/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))
45.854 * * [progress]: iteration 1 / 4
45.854 * * * [progress]: picking best candidate
45.858 * * * * [pick]: Picked  #<alt (λ (c_p c_n t s) (/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n))))>
45.858 * * * [progress]: localizing error
45.885 * * * [progress]: generating rewritten candidates
45.885 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
46.057 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
46.076 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1)
46.107 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
46.156 * * * [progress]: generating series expansions
46.156 * * * * [progress]: [ 1 / 4 ] generating series at (2)
46.157 * [backup-simplify]: Simplify (/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n))) into (/ (* (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n)) (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n)))
46.157 * [approximate]: Taking taylor expansion of (/ (* (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n)) (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n))) in (s c_p c_n t) around 0
46.157 * [taylor]: Taking taylor expansion of (/ (* (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n)) (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n))) in t
46.157 * [taylor]: Taking taylor expansion of (* (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n)) in t
46.157 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) in t
46.157 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0))))) in t
46.157 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0)))) in t
46.157 * [taylor]: Taking taylor expansion of c_p in t
46.157 * [backup-simplify]: Simplify c_p into c_p
46.157 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- s)) 1.0))) in t
46.157 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- s)) 1.0)) in t
46.157 * [taylor]: Taking taylor expansion of 1.0 in t
46.157 * [backup-simplify]: Simplify 1.0 into 1.0
46.157 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in t
46.157 * [taylor]: Taking taylor expansion of (exp (- s)) in t
46.157 * [taylor]: Taking taylor expansion of (- s) in t
46.157 * [taylor]: Taking taylor expansion of s in t
46.158 * [backup-simplify]: Simplify s into s
46.158 * [backup-simplify]: Simplify (- s) into (- s)
46.158 * [backup-simplify]: Simplify (- s) into (- s)
46.158 * [backup-simplify]: Simplify (exp (- s)) into (exp (- s))
46.158 * [taylor]: Taking taylor expansion of 1.0 in t
46.158 * [backup-simplify]: Simplify 1.0 into 1.0
46.158 * [backup-simplify]: Simplify (+ (exp (- s)) 1.0) into (+ (exp (- s)) 1.0)
46.158 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- s)) 1.0)) into (/ 1.0 (+ (exp (- s)) 1.0))
46.158 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- s)) 1.0))) into (log (/ 1.0 (+ (exp (- s)) 1.0)))
46.158 * [backup-simplify]: Simplify (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0)))) into (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0))))
46.158 * [backup-simplify]: Simplify (exp (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0))))) into (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p)
46.158 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n) in t
46.158 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))))) in t
46.158 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))))) in t
46.158 * [taylor]: Taking taylor expansion of c_n in t
46.158 * [backup-simplify]: Simplify c_n into c_n
46.158 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) in t
46.158 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) in t
46.158 * [taylor]: Taking taylor expansion of 1.0 in t
46.158 * [backup-simplify]: Simplify 1.0 into 1.0
46.158 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- s)) 1.0))) in t
46.158 * [taylor]: Taking taylor expansion of 1.0 in t
46.158 * [backup-simplify]: Simplify 1.0 into 1.0
46.158 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- s)) 1.0)) in t
46.158 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in t
46.158 * [taylor]: Taking taylor expansion of (exp (- s)) in t
46.158 * [taylor]: Taking taylor expansion of (- s) in t
46.158 * [taylor]: Taking taylor expansion of s in t
46.158 * [backup-simplify]: Simplify s into s
46.158 * [backup-simplify]: Simplify (- s) into (- s)
46.158 * [backup-simplify]: Simplify (- s) into (- s)
46.158 * [backup-simplify]: Simplify (exp (- s)) into (exp (- s))
46.158 * [taylor]: Taking taylor expansion of 1.0 in t
46.159 * [backup-simplify]: Simplify 1.0 into 1.0
46.159 * [backup-simplify]: Simplify (+ (exp (- s)) 1.0) into (+ (exp (- s)) 1.0)
46.159 * [backup-simplify]: Simplify (/ 1 (+ (exp (- s)) 1.0)) into (/ 1 (+ (exp (- s)) 1.0))
46.159 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- s)) 1.0))) into (/ 1.0 (+ (exp (- s)) 1.0))
46.159 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- s)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))
46.159 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))
46.159 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))))
46.159 * [backup-simplify]: Simplify (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))))) into (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))))
46.159 * [backup-simplify]: Simplify (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))))) into (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n)
46.159 * [taylor]: Taking taylor expansion of (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n)) in t
46.160 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) in t
46.160 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) in t
46.160 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) in t
46.160 * [taylor]: Taking taylor expansion of c_p in t
46.160 * [backup-simplify]: Simplify c_p into c_p
46.160 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in t
46.160 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in t
46.160 * [taylor]: Taking taylor expansion of 1.0 in t
46.160 * [backup-simplify]: Simplify 1.0 into 1.0
46.160 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in t
46.160 * [taylor]: Taking taylor expansion of (exp (- t)) in t
46.160 * [taylor]: Taking taylor expansion of (- t) in t
46.160 * [taylor]: Taking taylor expansion of t in t
46.160 * [backup-simplify]: Simplify 0 into 0
46.160 * [backup-simplify]: Simplify 1 into 1
46.160 * [backup-simplify]: Simplify (- 0) into 0
46.160 * [backup-simplify]: Simplify (- 1) into -1
46.160 * [backup-simplify]: Simplify (exp 0) into 1
46.160 * [taylor]: Taking taylor expansion of 1.0 in t
46.160 * [backup-simplify]: Simplify 1.0 into 1.0
46.161 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0
46.161 * [backup-simplify]: Simplify (/ 1.0 2.0) into 0.5
46.161 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.162 * [backup-simplify]: Simplify (* c_p (log 0.5)) into (* (log 0.5) c_p)
46.162 * [backup-simplify]: Simplify (exp (* (log 0.5) c_p)) into (exp (* (log 0.5) c_p))
46.162 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n) in t
46.162 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))))) in t
46.162 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))) in t
46.162 * [taylor]: Taking taylor expansion of c_n in t
46.162 * [backup-simplify]: Simplify c_n into c_n
46.162 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in t
46.162 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in t
46.162 * [taylor]: Taking taylor expansion of 1.0 in t
46.162 * [backup-simplify]: Simplify 1.0 into 1.0
46.162 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in t
46.162 * [taylor]: Taking taylor expansion of 1.0 in t
46.162 * [backup-simplify]: Simplify 1.0 into 1.0
46.162 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in t
46.162 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in t
46.162 * [taylor]: Taking taylor expansion of (exp (- t)) in t
46.162 * [taylor]: Taking taylor expansion of (- t) in t
46.162 * [taylor]: Taking taylor expansion of t in t
46.162 * [backup-simplify]: Simplify 0 into 0
46.162 * [backup-simplify]: Simplify 1 into 1
46.162 * [backup-simplify]: Simplify (- 0) into 0
46.163 * [backup-simplify]: Simplify (- 1) into -1
46.163 * [backup-simplify]: Simplify (exp 0) into 1
46.163 * [taylor]: Taking taylor expansion of 1.0 in t
46.163 * [backup-simplify]: Simplify 1.0 into 1.0
46.163 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0
46.163 * [backup-simplify]: Simplify (/ 1 2.0) into 0.5
46.163 * [backup-simplify]: Simplify (* 1.0 0.5) into 0.5
46.164 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
46.164 * [backup-simplify]: Simplify (+ 1.0 (- 0.5)) into 0.5
46.164 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.165 * [backup-simplify]: Simplify (* c_n (log 0.5)) into (* (log 0.5) c_n)
46.165 * [backup-simplify]: Simplify (exp (* (log 0.5) c_n)) into (exp (* (log 0.5) c_n))
46.165 * [backup-simplify]: Simplify (* (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n)) into (* (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n))
46.166 * [backup-simplify]: Simplify (* (exp (* (log 0.5) c_p)) (exp (* (log 0.5) c_n))) into (* (exp (* (log 0.5) c_n)) (exp (* (log 0.5) c_p)))
46.166 * [backup-simplify]: Simplify (/ (* (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n)) (* (exp (* (log 0.5) c_n)) (exp (* (log 0.5) c_p)))) into (/ (* (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n)) (* (exp (* (log 0.5) c_p)) (exp (* (log 0.5) c_n))))
46.166 * [taylor]: Taking taylor expansion of (/ (* (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n)) (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n))) in c_n
46.166 * [taylor]: Taking taylor expansion of (* (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n)) in c_n
46.167 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) in c_n
46.167 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0))))) in c_n
46.167 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0)))) in c_n
46.167 * [taylor]: Taking taylor expansion of c_p in c_n
46.167 * [backup-simplify]: Simplify c_p into c_p
46.167 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- s)) 1.0))) in c_n
46.167 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- s)) 1.0)) in c_n
46.167 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.167 * [backup-simplify]: Simplify 1.0 into 1.0
46.167 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in c_n
46.167 * [taylor]: Taking taylor expansion of (exp (- s)) in c_n
46.167 * [taylor]: Taking taylor expansion of (- s) in c_n
46.167 * [taylor]: Taking taylor expansion of s in c_n
46.167 * [backup-simplify]: Simplify s into s
46.167 * [backup-simplify]: Simplify (- s) into (- s)
46.167 * [backup-simplify]: Simplify (- s) into (- s)
46.167 * [backup-simplify]: Simplify (exp (- s)) into (exp (- s))
46.167 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.167 * [backup-simplify]: Simplify 1.0 into 1.0
46.167 * [backup-simplify]: Simplify (+ (exp (- s)) 1.0) into (+ (exp (- s)) 1.0)
46.167 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- s)) 1.0)) into (/ 1.0 (+ (exp (- s)) 1.0))
46.167 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- s)) 1.0))) into (log (/ 1.0 (+ (exp (- s)) 1.0)))
46.167 * [backup-simplify]: Simplify (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0)))) into (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0))))
46.167 * [backup-simplify]: Simplify (exp (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0))))) into (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p)
46.167 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n) in c_n
46.167 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))))) in c_n
46.167 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))))) in c_n
46.167 * [taylor]: Taking taylor expansion of c_n in c_n
46.167 * [backup-simplify]: Simplify 0 into 0
46.167 * [backup-simplify]: Simplify 1 into 1
46.167 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) in c_n
46.167 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) in c_n
46.167 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.167 * [backup-simplify]: Simplify 1.0 into 1.0
46.167 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- s)) 1.0))) in c_n
46.167 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.168 * [backup-simplify]: Simplify 1.0 into 1.0
46.168 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- s)) 1.0)) in c_n
46.168 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in c_n
46.168 * [taylor]: Taking taylor expansion of (exp (- s)) in c_n
46.168 * [taylor]: Taking taylor expansion of (- s) in c_n
46.168 * [taylor]: Taking taylor expansion of s in c_n
46.168 * [backup-simplify]: Simplify s into s
46.168 * [backup-simplify]: Simplify (- s) into (- s)
46.168 * [backup-simplify]: Simplify (- s) into (- s)
46.168 * [backup-simplify]: Simplify (exp (- s)) into (exp (- s))
46.168 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.168 * [backup-simplify]: Simplify 1.0 into 1.0
46.168 * [backup-simplify]: Simplify (+ (exp (- s)) 1.0) into (+ (exp (- s)) 1.0)
46.168 * [backup-simplify]: Simplify (/ 1 (+ (exp (- s)) 1.0)) into (/ 1 (+ (exp (- s)) 1.0))
46.168 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- s)) 1.0))) into (/ 1.0 (+ (exp (- s)) 1.0))
46.168 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- s)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))
46.168 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))
46.168 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))))
46.168 * [backup-simplify]: Simplify (* 0 (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))))) into 0
46.169 * [backup-simplify]: Simplify (- s) into (- s)
46.169 * [backup-simplify]: Simplify (- 0) into 0
46.169 * [backup-simplify]: Simplify (* (exp (- s)) (+ (* (/ (pow 0 1) 1)))) into 0
46.169 * [backup-simplify]: Simplify (+ 0 0) into 0
46.170 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (- s)) 1.0)) (/ 0 (+ (exp (- s)) 1.0))))) into 0
46.170 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 (+ (exp (- s)) 1.0)))) into 0
46.170 * [backup-simplify]: Simplify (- 0) into 0
46.170 * [backup-simplify]: Simplify (+ 0 0) into 0
46.171 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) 1)))) 1) into 0
46.171 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))))
46.171 * [backup-simplify]: Simplify (exp 0) into 1
46.171 * [taylor]: Taking taylor expansion of (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n)) in c_n
46.171 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) in c_n
46.171 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) in c_n
46.171 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) in c_n
46.171 * [taylor]: Taking taylor expansion of c_p in c_n
46.171 * [backup-simplify]: Simplify c_p into c_p
46.171 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in c_n
46.171 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in c_n
46.171 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.171 * [backup-simplify]: Simplify 1.0 into 1.0
46.171 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_n
46.172 * [taylor]: Taking taylor expansion of (exp (- t)) in c_n
46.172 * [taylor]: Taking taylor expansion of (- t) in c_n
46.172 * [taylor]: Taking taylor expansion of t in c_n
46.172 * [backup-simplify]: Simplify t into t
46.172 * [backup-simplify]: Simplify (- t) into (- t)
46.172 * [backup-simplify]: Simplify (- t) into (- t)
46.172 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.172 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.172 * [backup-simplify]: Simplify 1.0 into 1.0
46.172 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.172 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- t)) 1.0)) into (/ 1.0 (+ (exp (- t)) 1.0))
46.172 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- t)) 1.0))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.172 * [backup-simplify]: Simplify (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) into (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))
46.172 * [backup-simplify]: Simplify (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) into (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p)
46.172 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n) in c_n
46.172 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))))) in c_n
46.172 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))) in c_n
46.172 * [taylor]: Taking taylor expansion of c_n in c_n
46.172 * [backup-simplify]: Simplify 0 into 0
46.172 * [backup-simplify]: Simplify 1 into 1
46.172 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_n
46.172 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_n
46.172 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.172 * [backup-simplify]: Simplify 1.0 into 1.0
46.172 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_n
46.172 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.172 * [backup-simplify]: Simplify 1.0 into 1.0
46.172 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_n
46.172 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_n
46.172 * [taylor]: Taking taylor expansion of (exp (- t)) in c_n
46.172 * [taylor]: Taking taylor expansion of (- t) in c_n
46.172 * [taylor]: Taking taylor expansion of t in c_n
46.172 * [backup-simplify]: Simplify t into t
46.172 * [backup-simplify]: Simplify (- t) into (- t)
46.172 * [backup-simplify]: Simplify (- t) into (- t)
46.173 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.173 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.173 * [backup-simplify]: Simplify 1.0 into 1.0
46.173 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.173 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0))
46.173 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0))
46.173 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.173 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.173 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))
46.173 * [backup-simplify]: Simplify (* 0 (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))) into 0
46.173 * [backup-simplify]: Simplify (- t) into (- t)
46.173 * [backup-simplify]: Simplify (- 0) into 0
46.174 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0
46.174 * [backup-simplify]: Simplify (+ 0 0) into 0
46.174 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0
46.175 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 (+ (exp (- t)) 1.0)))) into 0
46.175 * [backup-simplify]: Simplify (- 0) into 0
46.175 * [backup-simplify]: Simplify (+ 0 0) into 0
46.176 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 1)))) 1) into 0
46.176 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))
46.176 * [backup-simplify]: Simplify (exp 0) into 1
46.176 * [backup-simplify]: Simplify (* (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) 1) into (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p)
46.176 * [backup-simplify]: Simplify (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) 1) into (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p)
46.176 * [backup-simplify]: Simplify (/ (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p)) into (/ (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p))
46.176 * [taylor]: Taking taylor expansion of (/ (* (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n)) (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n))) in c_p
46.176 * [taylor]: Taking taylor expansion of (* (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n)) in c_p
46.176 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) in c_p
46.176 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0))))) in c_p
46.177 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0)))) in c_p
46.177 * [taylor]: Taking taylor expansion of c_p in c_p
46.177 * [backup-simplify]: Simplify 0 into 0
46.177 * [backup-simplify]: Simplify 1 into 1
46.177 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- s)) 1.0))) in c_p
46.177 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- s)) 1.0)) in c_p
46.177 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.177 * [backup-simplify]: Simplify 1.0 into 1.0
46.177 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in c_p
46.177 * [taylor]: Taking taylor expansion of (exp (- s)) in c_p
46.177 * [taylor]: Taking taylor expansion of (- s) in c_p
46.177 * [taylor]: Taking taylor expansion of s in c_p
46.177 * [backup-simplify]: Simplify s into s
46.177 * [backup-simplify]: Simplify (- s) into (- s)
46.177 * [backup-simplify]: Simplify (- s) into (- s)
46.177 * [backup-simplify]: Simplify (exp (- s)) into (exp (- s))
46.177 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.177 * [backup-simplify]: Simplify 1.0 into 1.0
46.177 * [backup-simplify]: Simplify (+ (exp (- s)) 1.0) into (+ (exp (- s)) 1.0)
46.177 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- s)) 1.0)) into (/ 1.0 (+ (exp (- s)) 1.0))
46.177 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- s)) 1.0))) into (log (/ 1.0 (+ (exp (- s)) 1.0)))
46.177 * [backup-simplify]: Simplify (* 0 (log (/ 1.0 (+ (exp (- s)) 1.0)))) into 0
46.177 * [backup-simplify]: Simplify (- s) into (- s)
46.177 * [backup-simplify]: Simplify (- 0) into 0
46.178 * [backup-simplify]: Simplify (* (exp (- s)) (+ (* (/ (pow 0 1) 1)))) into 0
46.178 * [backup-simplify]: Simplify (+ 0 0) into 0
46.178 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (- s)) 1.0)) (+ (* (/ 1.0 (+ (exp (- s)) 1.0)) (/ 0 (+ (exp (- s)) 1.0))))) into 0
46.179 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1.0 (+ (exp (- s)) 1.0)) 1)))) 1) into 0
46.179 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (/ 1.0 (+ (exp (- s)) 1.0))))) into (log (/ 1.0 (+ (exp (- s)) 1.0)))
46.179 * [backup-simplify]: Simplify (exp 0) into 1
46.179 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n) in c_p
46.179 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))))) in c_p
46.179 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))))) in c_p
46.179 * [taylor]: Taking taylor expansion of c_n in c_p
46.179 * [backup-simplify]: Simplify c_n into c_n
46.179 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) in c_p
46.179 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) in c_p
46.179 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.179 * [backup-simplify]: Simplify 1.0 into 1.0
46.179 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- s)) 1.0))) in c_p
46.179 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.179 * [backup-simplify]: Simplify 1.0 into 1.0
46.179 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- s)) 1.0)) in c_p
46.179 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in c_p
46.179 * [taylor]: Taking taylor expansion of (exp (- s)) in c_p
46.179 * [taylor]: Taking taylor expansion of (- s) in c_p
46.179 * [taylor]: Taking taylor expansion of s in c_p
46.179 * [backup-simplify]: Simplify s into s
46.179 * [backup-simplify]: Simplify (- s) into (- s)
46.179 * [backup-simplify]: Simplify (- s) into (- s)
46.180 * [backup-simplify]: Simplify (exp (- s)) into (exp (- s))
46.180 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.180 * [backup-simplify]: Simplify 1.0 into 1.0
46.180 * [backup-simplify]: Simplify (+ (exp (- s)) 1.0) into (+ (exp (- s)) 1.0)
46.180 * [backup-simplify]: Simplify (/ 1 (+ (exp (- s)) 1.0)) into (/ 1 (+ (exp (- s)) 1.0))
46.180 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- s)) 1.0))) into (/ 1.0 (+ (exp (- s)) 1.0))
46.180 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- s)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))
46.180 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))
46.180 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))))
46.180 * [backup-simplify]: Simplify (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))))) into (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))))
46.180 * [backup-simplify]: Simplify (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))))) into (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n)
46.180 * [taylor]: Taking taylor expansion of (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n)) in c_p
46.180 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) in c_p
46.180 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) in c_p
46.180 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) in c_p
46.180 * [taylor]: Taking taylor expansion of c_p in c_p
46.180 * [backup-simplify]: Simplify 0 into 0
46.180 * [backup-simplify]: Simplify 1 into 1
46.180 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in c_p
46.181 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in c_p
46.181 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.181 * [backup-simplify]: Simplify 1.0 into 1.0
46.181 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_p
46.181 * [taylor]: Taking taylor expansion of (exp (- t)) in c_p
46.181 * [taylor]: Taking taylor expansion of (- t) in c_p
46.181 * [taylor]: Taking taylor expansion of t in c_p
46.181 * [backup-simplify]: Simplify t into t
46.181 * [backup-simplify]: Simplify (- t) into (- t)
46.181 * [backup-simplify]: Simplify (- t) into (- t)
46.181 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.181 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.181 * [backup-simplify]: Simplify 1.0 into 1.0
46.181 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.181 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- t)) 1.0)) into (/ 1.0 (+ (exp (- t)) 1.0))
46.181 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- t)) 1.0))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.181 * [backup-simplify]: Simplify (* 0 (log (/ 1.0 (+ (exp (- t)) 1.0)))) into 0
46.181 * [backup-simplify]: Simplify (- t) into (- t)
46.181 * [backup-simplify]: Simplify (- 0) into 0
46.182 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0
46.182 * [backup-simplify]: Simplify (+ 0 0) into 0
46.182 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (- t)) 1.0)) (+ (* (/ 1.0 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0
46.183 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1.0 (+ (exp (- t)) 1.0)) 1)))) 1) into 0
46.183 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (/ 1.0 (+ (exp (- t)) 1.0))))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.183 * [backup-simplify]: Simplify (exp 0) into 1
46.183 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n) in c_p
46.183 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))))) in c_p
46.183 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))) in c_p
46.183 * [taylor]: Taking taylor expansion of c_n in c_p
46.183 * [backup-simplify]: Simplify c_n into c_n
46.183 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_p
46.183 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_p
46.183 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.183 * [backup-simplify]: Simplify 1.0 into 1.0
46.183 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_p
46.183 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.183 * [backup-simplify]: Simplify 1.0 into 1.0
46.183 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_p
46.183 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_p
46.183 * [taylor]: Taking taylor expansion of (exp (- t)) in c_p
46.183 * [taylor]: Taking taylor expansion of (- t) in c_p
46.183 * [taylor]: Taking taylor expansion of t in c_p
46.183 * [backup-simplify]: Simplify t into t
46.183 * [backup-simplify]: Simplify (- t) into (- t)
46.183 * [backup-simplify]: Simplify (- t) into (- t)
46.183 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.183 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.183 * [backup-simplify]: Simplify 1.0 into 1.0
46.184 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.184 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0))
46.184 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0))
46.184 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.184 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.184 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))
46.184 * [backup-simplify]: Simplify (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))) into (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)
46.184 * [backup-simplify]: Simplify (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) into (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))
46.185 * [backup-simplify]: Simplify (* 1 (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n)) into (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n)
46.185 * [backup-simplify]: Simplify (* 1 (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))) into (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))
46.185 * [backup-simplify]: Simplify (/ (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))) into (/ (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)))
46.185 * [taylor]: Taking taylor expansion of (/ (* (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n)) (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n))) in s
46.185 * [taylor]: Taking taylor expansion of (* (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n)) in s
46.185 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) in s
46.185 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0))))) in s
46.185 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0)))) in s
46.185 * [taylor]: Taking taylor expansion of c_p in s
46.185 * [backup-simplify]: Simplify c_p into c_p
46.185 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- s)) 1.0))) in s
46.185 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- s)) 1.0)) in s
46.185 * [taylor]: Taking taylor expansion of 1.0 in s
46.185 * [backup-simplify]: Simplify 1.0 into 1.0
46.185 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in s
46.185 * [taylor]: Taking taylor expansion of (exp (- s)) in s
46.185 * [taylor]: Taking taylor expansion of (- s) in s
46.185 * [taylor]: Taking taylor expansion of s in s
46.185 * [backup-simplify]: Simplify 0 into 0
46.185 * [backup-simplify]: Simplify 1 into 1
46.186 * [backup-simplify]: Simplify (- 0) into 0
46.186 * [backup-simplify]: Simplify (- 1) into -1
46.186 * [backup-simplify]: Simplify (exp 0) into 1
46.186 * [taylor]: Taking taylor expansion of 1.0 in s
46.186 * [backup-simplify]: Simplify 1.0 into 1.0
46.186 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0
46.186 * [backup-simplify]: Simplify (/ 1.0 2.0) into 0.5
46.187 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.187 * [backup-simplify]: Simplify (* c_p (log 0.5)) into (* (log 0.5) c_p)
46.187 * [backup-simplify]: Simplify (exp (* (log 0.5) c_p)) into (exp (* (log 0.5) c_p))
46.187 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n) in s
46.187 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))))) in s
46.187 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))))) in s
46.187 * [taylor]: Taking taylor expansion of c_n in s
46.187 * [backup-simplify]: Simplify c_n into c_n
46.187 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) in s
46.187 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) in s
46.187 * [taylor]: Taking taylor expansion of 1.0 in s
46.187 * [backup-simplify]: Simplify 1.0 into 1.0
46.187 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- s)) 1.0))) in s
46.187 * [taylor]: Taking taylor expansion of 1.0 in s
46.187 * [backup-simplify]: Simplify 1.0 into 1.0
46.187 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- s)) 1.0)) in s
46.187 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in s
46.187 * [taylor]: Taking taylor expansion of (exp (- s)) in s
46.187 * [taylor]: Taking taylor expansion of (- s) in s
46.187 * [taylor]: Taking taylor expansion of s in s
46.187 * [backup-simplify]: Simplify 0 into 0
46.187 * [backup-simplify]: Simplify 1 into 1
46.188 * [backup-simplify]: Simplify (- 0) into 0
46.188 * [backup-simplify]: Simplify (- 1) into -1
46.188 * [backup-simplify]: Simplify (exp 0) into 1
46.188 * [taylor]: Taking taylor expansion of 1.0 in s
46.188 * [backup-simplify]: Simplify 1.0 into 1.0
46.188 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0
46.188 * [backup-simplify]: Simplify (/ 1 2.0) into 0.5
46.189 * [backup-simplify]: Simplify (* 1.0 0.5) into 0.5
46.189 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
46.189 * [backup-simplify]: Simplify (+ 1.0 (- 0.5)) into 0.5
46.190 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.190 * [backup-simplify]: Simplify (* c_n (log 0.5)) into (* (log 0.5) c_n)
46.190 * [backup-simplify]: Simplify (exp (* (log 0.5) c_n)) into (exp (* (log 0.5) c_n))
46.190 * [taylor]: Taking taylor expansion of (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n)) in s
46.190 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) in s
46.190 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) in s
46.190 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) in s
46.190 * [taylor]: Taking taylor expansion of c_p in s
46.190 * [backup-simplify]: Simplify c_p into c_p
46.190 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in s
46.190 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in s
46.190 * [taylor]: Taking taylor expansion of 1.0 in s
46.190 * [backup-simplify]: Simplify 1.0 into 1.0
46.190 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in s
46.190 * [taylor]: Taking taylor expansion of (exp (- t)) in s
46.190 * [taylor]: Taking taylor expansion of (- t) in s
46.190 * [taylor]: Taking taylor expansion of t in s
46.190 * [backup-simplify]: Simplify t into t
46.190 * [backup-simplify]: Simplify (- t) into (- t)
46.191 * [backup-simplify]: Simplify (- t) into (- t)
46.191 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.191 * [taylor]: Taking taylor expansion of 1.0 in s
46.191 * [backup-simplify]: Simplify 1.0 into 1.0
46.191 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.191 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- t)) 1.0)) into (/ 1.0 (+ (exp (- t)) 1.0))
46.191 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- t)) 1.0))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.191 * [backup-simplify]: Simplify (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) into (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))
46.191 * [backup-simplify]: Simplify (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) into (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p)
46.191 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n) in s
46.191 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))))) in s
46.191 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))) in s
46.191 * [taylor]: Taking taylor expansion of c_n in s
46.191 * [backup-simplify]: Simplify c_n into c_n
46.191 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in s
46.191 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in s
46.191 * [taylor]: Taking taylor expansion of 1.0 in s
46.191 * [backup-simplify]: Simplify 1.0 into 1.0
46.191 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in s
46.191 * [taylor]: Taking taylor expansion of 1.0 in s
46.191 * [backup-simplify]: Simplify 1.0 into 1.0
46.191 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in s
46.191 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in s
46.191 * [taylor]: Taking taylor expansion of (exp (- t)) in s
46.191 * [taylor]: Taking taylor expansion of (- t) in s
46.191 * [taylor]: Taking taylor expansion of t in s
46.191 * [backup-simplify]: Simplify t into t
46.191 * [backup-simplify]: Simplify (- t) into (- t)
46.191 * [backup-simplify]: Simplify (- t) into (- t)
46.191 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.191 * [taylor]: Taking taylor expansion of 1.0 in s
46.191 * [backup-simplify]: Simplify 1.0 into 1.0
46.192 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.192 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0))
46.192 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0))
46.192 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.192 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.192 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))
46.192 * [backup-simplify]: Simplify (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))) into (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)
46.192 * [backup-simplify]: Simplify (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) into (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))
46.193 * [backup-simplify]: Simplify (* (exp (* (log 0.5) c_p)) (exp (* (log 0.5) c_n))) into (* (exp (* (log 0.5) c_n)) (exp (* (log 0.5) c_p)))
46.193 * [backup-simplify]: Simplify (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))) into (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)))
46.194 * [backup-simplify]: Simplify (/ (* (exp (* (log 0.5) c_n)) (exp (* (log 0.5) c_p))) (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)))) into (/ (* (exp (* (log 0.5) c_n)) (exp (* (log 0.5) c_p))) (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))))
46.194 * [taylor]: Taking taylor expansion of (/ (* (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n)) (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n))) in s
46.194 * [taylor]: Taking taylor expansion of (* (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n)) in s
46.194 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) in s
46.194 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0))))) in s
46.194 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0)))) in s
46.194 * [taylor]: Taking taylor expansion of c_p in s
46.194 * [backup-simplify]: Simplify c_p into c_p
46.194 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- s)) 1.0))) in s
46.194 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- s)) 1.0)) in s
46.194 * [taylor]: Taking taylor expansion of 1.0 in s
46.194 * [backup-simplify]: Simplify 1.0 into 1.0
46.194 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in s
46.194 * [taylor]: Taking taylor expansion of (exp (- s)) in s
46.194 * [taylor]: Taking taylor expansion of (- s) in s
46.194 * [taylor]: Taking taylor expansion of s in s
46.194 * [backup-simplify]: Simplify 0 into 0
46.194 * [backup-simplify]: Simplify 1 into 1
46.194 * [backup-simplify]: Simplify (- 0) into 0
46.195 * [backup-simplify]: Simplify (- 1) into -1
46.195 * [backup-simplify]: Simplify (exp 0) into 1
46.195 * [taylor]: Taking taylor expansion of 1.0 in s
46.195 * [backup-simplify]: Simplify 1.0 into 1.0
46.195 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0
46.195 * [backup-simplify]: Simplify (/ 1.0 2.0) into 0.5
46.195 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.196 * [backup-simplify]: Simplify (* c_p (log 0.5)) into (* (log 0.5) c_p)
46.196 * [backup-simplify]: Simplify (exp (* (log 0.5) c_p)) into (exp (* (log 0.5) c_p))
46.196 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n) in s
46.196 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))))) in s
46.196 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))))) in s
46.196 * [taylor]: Taking taylor expansion of c_n in s
46.196 * [backup-simplify]: Simplify c_n into c_n
46.196 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) in s
46.196 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) in s
46.196 * [taylor]: Taking taylor expansion of 1.0 in s
46.196 * [backup-simplify]: Simplify 1.0 into 1.0
46.196 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- s)) 1.0))) in s
46.196 * [taylor]: Taking taylor expansion of 1.0 in s
46.196 * [backup-simplify]: Simplify 1.0 into 1.0
46.196 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- s)) 1.0)) in s
46.196 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in s
46.196 * [taylor]: Taking taylor expansion of (exp (- s)) in s
46.196 * [taylor]: Taking taylor expansion of (- s) in s
46.196 * [taylor]: Taking taylor expansion of s in s
46.196 * [backup-simplify]: Simplify 0 into 0
46.196 * [backup-simplify]: Simplify 1 into 1
46.196 * [backup-simplify]: Simplify (- 0) into 0
46.197 * [backup-simplify]: Simplify (- 1) into -1
46.197 * [backup-simplify]: Simplify (exp 0) into 1
46.197 * [taylor]: Taking taylor expansion of 1.0 in s
46.197 * [backup-simplify]: Simplify 1.0 into 1.0
46.197 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0
46.197 * [backup-simplify]: Simplify (/ 1 2.0) into 0.5
46.197 * [backup-simplify]: Simplify (* 1.0 0.5) into 0.5
46.198 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
46.198 * [backup-simplify]: Simplify (+ 1.0 (- 0.5)) into 0.5
46.198 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.199 * [backup-simplify]: Simplify (* c_n (log 0.5)) into (* (log 0.5) c_n)
46.199 * [backup-simplify]: Simplify (exp (* (log 0.5) c_n)) into (exp (* (log 0.5) c_n))
46.199 * [taylor]: Taking taylor expansion of (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n)) in s
46.199 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) in s
46.199 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) in s
46.199 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) in s
46.199 * [taylor]: Taking taylor expansion of c_p in s
46.199 * [backup-simplify]: Simplify c_p into c_p
46.199 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in s
46.199 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in s
46.199 * [taylor]: Taking taylor expansion of 1.0 in s
46.199 * [backup-simplify]: Simplify 1.0 into 1.0
46.199 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in s
46.199 * [taylor]: Taking taylor expansion of (exp (- t)) in s
46.199 * [taylor]: Taking taylor expansion of (- t) in s
46.199 * [taylor]: Taking taylor expansion of t in s
46.199 * [backup-simplify]: Simplify t into t
46.199 * [backup-simplify]: Simplify (- t) into (- t)
46.199 * [backup-simplify]: Simplify (- t) into (- t)
46.199 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.199 * [taylor]: Taking taylor expansion of 1.0 in s
46.199 * [backup-simplify]: Simplify 1.0 into 1.0
46.199 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.199 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- t)) 1.0)) into (/ 1.0 (+ (exp (- t)) 1.0))
46.200 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- t)) 1.0))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.200 * [backup-simplify]: Simplify (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) into (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))
46.200 * [backup-simplify]: Simplify (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) into (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p)
46.200 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n) in s
46.200 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))))) in s
46.200 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))) in s
46.200 * [taylor]: Taking taylor expansion of c_n in s
46.200 * [backup-simplify]: Simplify c_n into c_n
46.200 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in s
46.200 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in s
46.200 * [taylor]: Taking taylor expansion of 1.0 in s
46.200 * [backup-simplify]: Simplify 1.0 into 1.0
46.200 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in s
46.200 * [taylor]: Taking taylor expansion of 1.0 in s
46.200 * [backup-simplify]: Simplify 1.0 into 1.0
46.200 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in s
46.200 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in s
46.200 * [taylor]: Taking taylor expansion of (exp (- t)) in s
46.200 * [taylor]: Taking taylor expansion of (- t) in s
46.200 * [taylor]: Taking taylor expansion of t in s
46.200 * [backup-simplify]: Simplify t into t
46.200 * [backup-simplify]: Simplify (- t) into (- t)
46.200 * [backup-simplify]: Simplify (- t) into (- t)
46.200 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.200 * [taylor]: Taking taylor expansion of 1.0 in s
46.200 * [backup-simplify]: Simplify 1.0 into 1.0
46.200 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.200 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0))
46.200 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0))
46.201 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.201 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.201 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))
46.201 * [backup-simplify]: Simplify (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))) into (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)
46.201 * [backup-simplify]: Simplify (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) into (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))
46.202 * [backup-simplify]: Simplify (* (exp (* (log 0.5) c_p)) (exp (* (log 0.5) c_n))) into (* (exp (* (log 0.5) c_n)) (exp (* (log 0.5) c_p)))
46.202 * [backup-simplify]: Simplify (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))) into (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)))
46.203 * [backup-simplify]: Simplify (/ (* (exp (* (log 0.5) c_n)) (exp (* (log 0.5) c_p))) (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)))) into (/ (* (exp (* (log 0.5) c_n)) (exp (* (log 0.5) c_p))) (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))))
46.203 * [taylor]: Taking taylor expansion of (/ (* (exp (* (log 0.5) c_n)) (exp (* (log 0.5) c_p))) (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)))) in c_p
46.203 * [taylor]: Taking taylor expansion of (* (exp (* (log 0.5) c_n)) (exp (* (log 0.5) c_p))) in c_p
46.203 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_n)) in c_p
46.203 * [taylor]: Taking taylor expansion of (* (log 0.5) c_n) in c_p
46.203 * [taylor]: Taking taylor expansion of (log 0.5) in c_p
46.203 * [taylor]: Taking taylor expansion of 0.5 in c_p
46.203 * [backup-simplify]: Simplify 0.5 into 0.5
46.203 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.203 * [taylor]: Taking taylor expansion of c_n in c_p
46.203 * [backup-simplify]: Simplify c_n into c_n
46.203 * [backup-simplify]: Simplify (* (log 0.5) c_n) into (* (log 0.5) c_n)
46.204 * [backup-simplify]: Simplify (exp (* (log 0.5) c_n)) into (exp (* (log 0.5) c_n))
46.204 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_p)) in c_p
46.204 * [taylor]: Taking taylor expansion of (* (log 0.5) c_p) in c_p
46.204 * [taylor]: Taking taylor expansion of (log 0.5) in c_p
46.204 * [taylor]: Taking taylor expansion of 0.5 in c_p
46.204 * [backup-simplify]: Simplify 0.5 into 0.5
46.204 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.204 * [taylor]: Taking taylor expansion of c_p in c_p
46.204 * [backup-simplify]: Simplify 0 into 0
46.204 * [backup-simplify]: Simplify 1 into 1
46.204 * [backup-simplify]: Simplify (* (log 0.5) 0) into 0
46.205 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0
46.206 * [backup-simplify]: Simplify (+ (* (log 0.5) 1) (* 0 0)) into (log 0.5)
46.206 * [backup-simplify]: Simplify (exp 0) into 1
46.206 * [taylor]: Taking taylor expansion of (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))) in c_p
46.206 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) in c_p
46.206 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) in c_p
46.206 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) in c_p
46.206 * [taylor]: Taking taylor expansion of c_p in c_p
46.206 * [backup-simplify]: Simplify 0 into 0
46.206 * [backup-simplify]: Simplify 1 into 1
46.206 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in c_p
46.206 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in c_p
46.206 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.206 * [backup-simplify]: Simplify 1.0 into 1.0
46.206 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_p
46.206 * [taylor]: Taking taylor expansion of (exp (- t)) in c_p
46.206 * [taylor]: Taking taylor expansion of (- t) in c_p
46.206 * [taylor]: Taking taylor expansion of t in c_p
46.206 * [backup-simplify]: Simplify t into t
46.207 * [backup-simplify]: Simplify (- t) into (- t)
46.207 * [backup-simplify]: Simplify (- t) into (- t)
46.207 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.207 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.207 * [backup-simplify]: Simplify 1.0 into 1.0
46.207 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.207 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- t)) 1.0)) into (/ 1.0 (+ (exp (- t)) 1.0))
46.207 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- t)) 1.0))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.207 * [backup-simplify]: Simplify (* 0 (log (/ 1.0 (+ (exp (- t)) 1.0)))) into 0
46.207 * [backup-simplify]: Simplify (- t) into (- t)
46.207 * [backup-simplify]: Simplify (- 0) into 0
46.208 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0
46.208 * [backup-simplify]: Simplify (+ 0 0) into 0
46.208 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (- t)) 1.0)) (+ (* (/ 1.0 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0
46.209 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1.0 (+ (exp (- t)) 1.0)) 1)))) 1) into 0
46.209 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (/ 1.0 (+ (exp (- t)) 1.0))))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.209 * [backup-simplify]: Simplify (exp 0) into 1
46.209 * [taylor]: Taking taylor expansion of (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) in c_p
46.209 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n) in c_p
46.209 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_p
46.209 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_p
46.209 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.209 * [backup-simplify]: Simplify 1.0 into 1.0
46.209 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_p
46.209 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.209 * [backup-simplify]: Simplify 1.0 into 1.0
46.209 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_p
46.209 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_p
46.209 * [taylor]: Taking taylor expansion of (exp (- t)) in c_p
46.209 * [taylor]: Taking taylor expansion of (- t) in c_p
46.209 * [taylor]: Taking taylor expansion of t in c_p
46.209 * [backup-simplify]: Simplify t into t
46.209 * [backup-simplify]: Simplify (- t) into (- t)
46.209 * [backup-simplify]: Simplify (- t) into (- t)
46.209 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.209 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.209 * [backup-simplify]: Simplify 1.0 into 1.0
46.209 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.209 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0))
46.210 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0))
46.210 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.210 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.210 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))
46.210 * [taylor]: Taking taylor expansion of c_n in c_p
46.210 * [backup-simplify]: Simplify c_n into c_n
46.210 * [backup-simplify]: Simplify (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n) into (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)
46.210 * [backup-simplify]: Simplify (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) into (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))
46.210 * [backup-simplify]: Simplify (* (exp (* (log 0.5) c_n)) 1) into (exp (* (log 0.5) c_n))
46.211 * [backup-simplify]: Simplify (* 1 (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))) into (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))
46.211 * [backup-simplify]: Simplify (/ (exp (* (log 0.5) c_n)) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))) into (/ (exp (* (log 0.5) c_n)) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)))
46.211 * [taylor]: Taking taylor expansion of (/ (exp (* (log 0.5) c_n)) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))) in c_n
46.211 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_n)) in c_n
46.211 * [taylor]: Taking taylor expansion of (* (log 0.5) c_n) in c_n
46.211 * [taylor]: Taking taylor expansion of (log 0.5) in c_n
46.211 * [taylor]: Taking taylor expansion of 0.5 in c_n
46.211 * [backup-simplify]: Simplify 0.5 into 0.5
46.211 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.211 * [taylor]: Taking taylor expansion of c_n in c_n
46.211 * [backup-simplify]: Simplify 0 into 0
46.211 * [backup-simplify]: Simplify 1 into 1
46.212 * [backup-simplify]: Simplify (* (log 0.5) 0) into 0
46.212 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0
46.214 * [backup-simplify]: Simplify (+ (* (log 0.5) 1) (* 0 0)) into (log 0.5)
46.214 * [backup-simplify]: Simplify (exp 0) into 1
46.214 * [taylor]: Taking taylor expansion of (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) in c_n
46.214 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n) in c_n
46.214 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_n
46.214 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_n
46.214 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.214 * [backup-simplify]: Simplify 1.0 into 1.0
46.214 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_n
46.214 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.214 * [backup-simplify]: Simplify 1.0 into 1.0
46.214 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_n
46.214 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_n
46.214 * [taylor]: Taking taylor expansion of (exp (- t)) in c_n
46.214 * [taylor]: Taking taylor expansion of (- t) in c_n
46.214 * [taylor]: Taking taylor expansion of t in c_n
46.214 * [backup-simplify]: Simplify t into t
46.214 * [backup-simplify]: Simplify (- t) into (- t)
46.214 * [backup-simplify]: Simplify (- t) into (- t)
46.214 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.214 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.214 * [backup-simplify]: Simplify 1.0 into 1.0
46.214 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.214 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0))
46.214 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0))
46.214 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.214 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.215 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))
46.215 * [taylor]: Taking taylor expansion of c_n in c_n
46.215 * [backup-simplify]: Simplify 0 into 0
46.215 * [backup-simplify]: Simplify 1 into 1
46.215 * [backup-simplify]: Simplify (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 0) into 0
46.215 * [backup-simplify]: Simplify (- t) into (- t)
46.215 * [backup-simplify]: Simplify (- 0) into 0
46.215 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0
46.216 * [backup-simplify]: Simplify (+ 0 0) into 0
46.216 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0
46.216 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 (+ (exp (- t)) 1.0)))) into 0
46.216 * [backup-simplify]: Simplify (- 0) into 0
46.217 * [backup-simplify]: Simplify (+ 0 0) into 0
46.217 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 1)))) 1) into 0
46.217 * [backup-simplify]: Simplify (+ (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 1) (* 0 0)) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))
46.217 * [backup-simplify]: Simplify (exp 0) into 1
46.218 * [backup-simplify]: Simplify (/ 1 1) into 1
46.218 * [taylor]: Taking taylor expansion of 1 in t
46.218 * [backup-simplify]: Simplify 1 into 1
46.218 * [backup-simplify]: Simplify 1 into 1
46.218 * [backup-simplify]: Simplify (- 1) into -1
46.219 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
46.219 * [backup-simplify]: Simplify (+ -1 0) into -1
46.220 * [backup-simplify]: Simplify (- (+ (* 0.5 (/ -1 2.0)))) into 0.25
46.221 * [backup-simplify]: Simplify (+ (* 1.0 0.25) (* 0 0.5)) into 0.25
46.221 * [backup-simplify]: Simplify (- 0.25) into (- 0.25)
46.222 * [backup-simplify]: Simplify (+ 0 (- 0.25)) into (- 0.25)
46.226 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 0.25)) 1)) (pow 0.5 1)))) 1) into -0.5
46.226 * [backup-simplify]: Simplify (+ (* c_n -0.5) (* 0 (log 0.5))) into (- (* 0.5 c_n))
46.227 * [backup-simplify]: Simplify (* (exp (* (log 0.5) c_n)) (+ (* (/ (pow (- (* 0.5 c_n)) 1) 1)))) into (* -0.5 (* (exp (* (log 0.5) c_n)) c_n))
46.227 * [backup-simplify]: Simplify (- 1) into -1
46.228 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
46.228 * [backup-simplify]: Simplify (+ -1 0) into -1
46.229 * [backup-simplify]: Simplify (- (/ 0 2.0) (+ (* 0.5 (/ -1 2.0)))) into 0.25
46.233 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0.25) 1)) (pow 0.5 1)))) 1) into 0.5
46.233 * [backup-simplify]: Simplify (+ (* c_p 0.5) (* 0 (log 0.5))) into (* 0.5 c_p)
46.234 * [backup-simplify]: Simplify (* (exp (* (log 0.5) c_p)) (+ (* (/ (pow (* 0.5 c_p) 1) 1)))) into (* 0.5 (* c_p (exp (* (log 0.5) c_p))))
46.235 * [backup-simplify]: Simplify (+ (* (exp (* (log 0.5) c_p)) (* -0.5 (* (exp (* (log 0.5) c_n)) c_n))) (* (* 0.5 (* c_p (exp (* (log 0.5) c_p)))) (exp (* (log 0.5) c_n)))) into (- (* 0.5 (* (exp (* (log 0.5) c_n)) (* c_p (exp (* (log 0.5) c_p))))) (* 0.5 (* (exp (* (log 0.5) c_n)) (* (exp (* (log 0.5) c_p)) c_n))))
46.235 * [backup-simplify]: Simplify (- t) into (- t)
46.235 * [backup-simplify]: Simplify (- 0) into 0
46.236 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0
46.236 * [backup-simplify]: Simplify (+ 0 0) into 0
46.236 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0
46.236 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 (+ (exp (- t)) 1.0)))) into 0
46.237 * [backup-simplify]: Simplify (- 0) into 0
46.237 * [backup-simplify]: Simplify (+ 0 0) into 0
46.237 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 1)))) 1) into 0
46.238 * [backup-simplify]: Simplify (+ (* c_n 0) (* 0 (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))))) into 0
46.238 * [backup-simplify]: Simplify (* (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) (+ (* (/ (pow 0 1) 1)))) into 0
46.238 * [backup-simplify]: Simplify (- t) into (- t)
46.238 * [backup-simplify]: Simplify (- 0) into 0
46.239 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0
46.239 * [backup-simplify]: Simplify (+ 0 0) into 0
46.239 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (- t)) 1.0)) (+ (* (/ 1.0 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0
46.240 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1.0 (+ (exp (- t)) 1.0)) 1)))) 1) into 0
46.240 * [backup-simplify]: Simplify (+ (* c_p 0) (* 0 (log (/ 1.0 (+ (exp (- t)) 1.0))))) into 0
46.240 * [backup-simplify]: Simplify (* (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) (+ (* (/ (pow 0 1) 1)))) into 0
46.241 * [backup-simplify]: Simplify (+ (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) 0) (* 0 (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)))) into 0
46.246 * [backup-simplify]: Simplify (- (/ (- (* 0.5 (* (exp (* (log 0.5) c_n)) (* c_p (exp (* (log 0.5) c_p))))) (* 0.5 (* (exp (* (log 0.5) c_n)) (* (exp (* (log 0.5) c_p)) c_n)))) (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)))) (+ (* (/ (* (exp (* (log 0.5) c_n)) (exp (* (log 0.5) c_p))) (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)))) (/ 0 (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))))))) into (- (* 0.5 (/ (* (exp (* (log 0.5) c_n)) (* c_p (exp (* (log 0.5) c_p)))) (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))))) (* 0.5 (/ (* (exp (* (log 0.5) c_n)) (* (exp (* (log 0.5) c_p)) c_n)) (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))))))
46.246 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* (exp (* (log 0.5) c_n)) (* c_p (exp (* (log 0.5) c_p)))) (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))))) (* 0.5 (/ (* (exp (* (log 0.5) c_n)) (* (exp (* (log 0.5) c_p)) c_n)) (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)))))) in c_p
46.246 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (exp (* (log 0.5) c_n)) (* c_p (exp (* (log 0.5) c_p)))) (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))))) in c_p
46.246 * [taylor]: Taking taylor expansion of 0.5 in c_p
46.246 * [backup-simplify]: Simplify 0.5 into 0.5
46.246 * [taylor]: Taking taylor expansion of (/ (* (exp (* (log 0.5) c_n)) (* c_p (exp (* (log 0.5) c_p)))) (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)))) in c_p
46.246 * [taylor]: Taking taylor expansion of (* (exp (* (log 0.5) c_n)) (* c_p (exp (* (log 0.5) c_p)))) in c_p
46.246 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_n)) in c_p
46.246 * [taylor]: Taking taylor expansion of (* (log 0.5) c_n) in c_p
46.246 * [taylor]: Taking taylor expansion of (log 0.5) in c_p
46.246 * [taylor]: Taking taylor expansion of 0.5 in c_p
46.246 * [backup-simplify]: Simplify 0.5 into 0.5
46.247 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.247 * [taylor]: Taking taylor expansion of c_n in c_p
46.247 * [backup-simplify]: Simplify c_n into c_n
46.247 * [backup-simplify]: Simplify (* (log 0.5) c_n) into (* (log 0.5) c_n)
46.247 * [backup-simplify]: Simplify (exp (* (log 0.5) c_n)) into (exp (* (log 0.5) c_n))
46.247 * [taylor]: Taking taylor expansion of (* c_p (exp (* (log 0.5) c_p))) in c_p
46.247 * [taylor]: Taking taylor expansion of c_p in c_p
46.247 * [backup-simplify]: Simplify 0 into 0
46.247 * [backup-simplify]: Simplify 1 into 1
46.247 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_p)) in c_p
46.247 * [taylor]: Taking taylor expansion of (* (log 0.5) c_p) in c_p
46.247 * [taylor]: Taking taylor expansion of (log 0.5) in c_p
46.247 * [taylor]: Taking taylor expansion of 0.5 in c_p
46.247 * [backup-simplify]: Simplify 0.5 into 0.5
46.248 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.248 * [taylor]: Taking taylor expansion of c_p in c_p
46.248 * [backup-simplify]: Simplify 0 into 0
46.248 * [backup-simplify]: Simplify 1 into 1
46.248 * [backup-simplify]: Simplify (* (log 0.5) 0) into 0
46.249 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0
46.250 * [backup-simplify]: Simplify (+ (* (log 0.5) 1) (* 0 0)) into (log 0.5)
46.250 * [backup-simplify]: Simplify (exp 0) into 1
46.250 * [taylor]: Taking taylor expansion of (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))) in c_p
46.250 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) in c_p
46.250 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) in c_p
46.250 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) in c_p
46.250 * [taylor]: Taking taylor expansion of c_p in c_p
46.250 * [backup-simplify]: Simplify 0 into 0
46.250 * [backup-simplify]: Simplify 1 into 1
46.250 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in c_p
46.250 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in c_p
46.250 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.250 * [backup-simplify]: Simplify 1.0 into 1.0
46.250 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_p
46.250 * [taylor]: Taking taylor expansion of (exp (- t)) in c_p
46.250 * [taylor]: Taking taylor expansion of (- t) in c_p
46.250 * [taylor]: Taking taylor expansion of t in c_p
46.250 * [backup-simplify]: Simplify t into t
46.250 * [backup-simplify]: Simplify (- t) into (- t)
46.250 * [backup-simplify]: Simplify (- t) into (- t)
46.250 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.250 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.250 * [backup-simplify]: Simplify 1.0 into 1.0
46.250 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.250 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- t)) 1.0)) into (/ 1.0 (+ (exp (- t)) 1.0))
46.250 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- t)) 1.0))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.251 * [backup-simplify]: Simplify (* 0 (log (/ 1.0 (+ (exp (- t)) 1.0)))) into 0
46.251 * [backup-simplify]: Simplify (- t) into (- t)
46.251 * [backup-simplify]: Simplify (- 0) into 0
46.251 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0
46.251 * [backup-simplify]: Simplify (+ 0 0) into 0
46.252 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (- t)) 1.0)) (+ (* (/ 1.0 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0
46.252 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1.0 (+ (exp (- t)) 1.0)) 1)))) 1) into 0
46.252 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (/ 1.0 (+ (exp (- t)) 1.0))))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.253 * [backup-simplify]: Simplify (exp 0) into 1
46.253 * [taylor]: Taking taylor expansion of (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) in c_p
46.253 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n) in c_p
46.253 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_p
46.253 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_p
46.253 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.253 * [backup-simplify]: Simplify 1.0 into 1.0
46.253 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_p
46.253 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.253 * [backup-simplify]: Simplify 1.0 into 1.0
46.253 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_p
46.253 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_p
46.253 * [taylor]: Taking taylor expansion of (exp (- t)) in c_p
46.253 * [taylor]: Taking taylor expansion of (- t) in c_p
46.253 * [taylor]: Taking taylor expansion of t in c_p
46.253 * [backup-simplify]: Simplify t into t
46.253 * [backup-simplify]: Simplify (- t) into (- t)
46.253 * [backup-simplify]: Simplify (- t) into (- t)
46.253 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.253 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.253 * [backup-simplify]: Simplify 1.0 into 1.0
46.253 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.253 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0))
46.253 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0))
46.253 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.253 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.253 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))
46.253 * [taylor]: Taking taylor expansion of c_n in c_p
46.253 * [backup-simplify]: Simplify c_n into c_n
46.254 * [backup-simplify]: Simplify (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n) into (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)
46.254 * [backup-simplify]: Simplify (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) into (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))
46.254 * [backup-simplify]: Simplify (* 0 1) into 0
46.254 * [backup-simplify]: Simplify (* (exp (* (log 0.5) c_n)) 0) into 0
46.257 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log 0.5) 1) 1)))) into (log 0.5)
46.257 * [backup-simplify]: Simplify (+ (* 0 (log 0.5)) (* 1 1)) into 1
46.258 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0
46.258 * [backup-simplify]: Simplify (+ (* (log 0.5) 0) (* 0 c_n)) into 0
46.259 * [backup-simplify]: Simplify (* (exp (* (log 0.5) c_n)) (+ (* (/ (pow 0 1) 1)))) into 0
46.259 * [backup-simplify]: Simplify (+ (* (exp (* (log 0.5) c_n)) 1) (* 0 0)) into (exp (* (log 0.5) c_n))
46.259 * [backup-simplify]: Simplify (* 1 (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))) into (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))
46.260 * [backup-simplify]: Simplify (/ (exp (* (log 0.5) c_n)) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))) into (/ (exp (* (log 0.5) c_n)) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)))
46.260 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (exp (* (log 0.5) c_n)) (* (exp (* (log 0.5) c_p)) c_n)) (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))))) in c_p
46.260 * [taylor]: Taking taylor expansion of 0.5 in c_p
46.260 * [backup-simplify]: Simplify 0.5 into 0.5
46.260 * [taylor]: Taking taylor expansion of (/ (* (exp (* (log 0.5) c_n)) (* (exp (* (log 0.5) c_p)) c_n)) (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)))) in c_p
46.260 * [taylor]: Taking taylor expansion of (* (exp (* (log 0.5) c_n)) (* (exp (* (log 0.5) c_p)) c_n)) in c_p
46.260 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_n)) in c_p
46.260 * [taylor]: Taking taylor expansion of (* (log 0.5) c_n) in c_p
46.260 * [taylor]: Taking taylor expansion of (log 0.5) in c_p
46.260 * [taylor]: Taking taylor expansion of 0.5 in c_p
46.260 * [backup-simplify]: Simplify 0.5 into 0.5
46.260 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.260 * [taylor]: Taking taylor expansion of c_n in c_p
46.260 * [backup-simplify]: Simplify c_n into c_n
46.261 * [backup-simplify]: Simplify (* (log 0.5) c_n) into (* (log 0.5) c_n)
46.261 * [backup-simplify]: Simplify (exp (* (log 0.5) c_n)) into (exp (* (log 0.5) c_n))
46.261 * [taylor]: Taking taylor expansion of (* (exp (* (log 0.5) c_p)) c_n) in c_p
46.261 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_p)) in c_p
46.261 * [taylor]: Taking taylor expansion of (* (log 0.5) c_p) in c_p
46.261 * [taylor]: Taking taylor expansion of (log 0.5) in c_p
46.261 * [taylor]: Taking taylor expansion of 0.5 in c_p
46.261 * [backup-simplify]: Simplify 0.5 into 0.5
46.261 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.261 * [taylor]: Taking taylor expansion of c_p in c_p
46.261 * [backup-simplify]: Simplify 0 into 0
46.261 * [backup-simplify]: Simplify 1 into 1
46.262 * [backup-simplify]: Simplify (* (log 0.5) 0) into 0
46.262 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0
46.263 * [backup-simplify]: Simplify (+ (* (log 0.5) 1) (* 0 0)) into (log 0.5)
46.263 * [backup-simplify]: Simplify (exp 0) into 1
46.263 * [taylor]: Taking taylor expansion of c_n in c_p
46.263 * [backup-simplify]: Simplify c_n into c_n
46.264 * [taylor]: Taking taylor expansion of (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))) in c_p
46.264 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) in c_p
46.264 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) in c_p
46.264 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) in c_p
46.264 * [taylor]: Taking taylor expansion of c_p in c_p
46.264 * [backup-simplify]: Simplify 0 into 0
46.264 * [backup-simplify]: Simplify 1 into 1
46.264 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in c_p
46.264 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in c_p
46.264 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.264 * [backup-simplify]: Simplify 1.0 into 1.0
46.264 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_p
46.264 * [taylor]: Taking taylor expansion of (exp (- t)) in c_p
46.264 * [taylor]: Taking taylor expansion of (- t) in c_p
46.264 * [taylor]: Taking taylor expansion of t in c_p
46.264 * [backup-simplify]: Simplify t into t
46.264 * [backup-simplify]: Simplify (- t) into (- t)
46.264 * [backup-simplify]: Simplify (- t) into (- t)
46.264 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.264 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.264 * [backup-simplify]: Simplify 1.0 into 1.0
46.264 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.264 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- t)) 1.0)) into (/ 1.0 (+ (exp (- t)) 1.0))
46.264 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- t)) 1.0))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.264 * [backup-simplify]: Simplify (* 0 (log (/ 1.0 (+ (exp (- t)) 1.0)))) into 0
46.264 * [backup-simplify]: Simplify (- t) into (- t)
46.264 * [backup-simplify]: Simplify (- 0) into 0
46.265 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0
46.265 * [backup-simplify]: Simplify (+ 0 0) into 0
46.265 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (- t)) 1.0)) (+ (* (/ 1.0 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0
46.266 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1.0 (+ (exp (- t)) 1.0)) 1)))) 1) into 0
46.266 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (/ 1.0 (+ (exp (- t)) 1.0))))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.266 * [backup-simplify]: Simplify (exp 0) into 1
46.266 * [taylor]: Taking taylor expansion of (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) in c_p
46.266 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n) in c_p
46.266 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_p
46.266 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_p
46.266 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.266 * [backup-simplify]: Simplify 1.0 into 1.0
46.266 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_p
46.266 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.266 * [backup-simplify]: Simplify 1.0 into 1.0
46.266 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_p
46.266 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_p
46.266 * [taylor]: Taking taylor expansion of (exp (- t)) in c_p
46.266 * [taylor]: Taking taylor expansion of (- t) in c_p
46.266 * [taylor]: Taking taylor expansion of t in c_p
46.266 * [backup-simplify]: Simplify t into t
46.266 * [backup-simplify]: Simplify (- t) into (- t)
46.267 * [backup-simplify]: Simplify (- t) into (- t)
46.267 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.267 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.267 * [backup-simplify]: Simplify 1.0 into 1.0
46.267 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.267 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0))
46.267 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0))
46.267 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.267 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.267 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))
46.267 * [taylor]: Taking taylor expansion of c_n in c_p
46.267 * [backup-simplify]: Simplify c_n into c_n
46.267 * [backup-simplify]: Simplify (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n) into (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)
46.267 * [backup-simplify]: Simplify (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) into (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))
46.267 * [backup-simplify]: Simplify (* 1 c_n) into c_n
46.268 * [backup-simplify]: Simplify (* (exp (* (log 0.5) c_n)) c_n) into (* (exp (* (log 0.5) c_n)) c_n)
46.268 * [backup-simplify]: Simplify (* 1 (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))) into (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))
46.268 * [backup-simplify]: Simplify (/ (* (exp (* (log 0.5) c_n)) c_n) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))) into (/ (* (exp (* (log 0.5) c_n)) c_n) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)))
46.269 * [backup-simplify]: Simplify (* 0.5 (/ (* (exp (* (log 0.5) c_n)) c_n) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)))) into (* 0.5 (/ (* (exp (* (log 0.5) c_n)) c_n) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))))
46.269 * [backup-simplify]: Simplify (- (* 0.5 (/ (* (exp (* (log 0.5) c_n)) c_n) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))))) into (- (* 0.5 (/ (* (exp (* (log 0.5) c_n)) c_n) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)))))
46.270 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ (* (exp (* (log 0.5) c_n)) c_n) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)))))) into (- (* 0.5 (/ (* (exp (* (log 0.5) c_n)) c_n) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)))))
46.270 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (* (exp (* (log 0.5) c_n)) c_n) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))))) in c_n
46.270 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (exp (* (log 0.5) c_n)) c_n) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)))) in c_n
46.270 * [taylor]: Taking taylor expansion of 0.5 in c_n
46.270 * [backup-simplify]: Simplify 0.5 into 0.5
46.270 * [taylor]: Taking taylor expansion of (/ (* (exp (* (log 0.5) c_n)) c_n) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))) in c_n
46.270 * [taylor]: Taking taylor expansion of (* (exp (* (log 0.5) c_n)) c_n) in c_n
46.270 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_n)) in c_n
46.270 * [taylor]: Taking taylor expansion of (* (log 0.5) c_n) in c_n
46.270 * [taylor]: Taking taylor expansion of (log 0.5) in c_n
46.270 * [taylor]: Taking taylor expansion of 0.5 in c_n
46.270 * [backup-simplify]: Simplify 0.5 into 0.5
46.270 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.271 * [taylor]: Taking taylor expansion of c_n in c_n
46.271 * [backup-simplify]: Simplify 0 into 0
46.271 * [backup-simplify]: Simplify 1 into 1
46.271 * [backup-simplify]: Simplify (* (log 0.5) 0) into 0
46.272 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0
46.273 * [backup-simplify]: Simplify (+ (* (log 0.5) 1) (* 0 0)) into (log 0.5)
46.273 * [backup-simplify]: Simplify (exp 0) into 1
46.273 * [taylor]: Taking taylor expansion of c_n in c_n
46.273 * [backup-simplify]: Simplify 0 into 0
46.273 * [backup-simplify]: Simplify 1 into 1
46.273 * [taylor]: Taking taylor expansion of (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) in c_n
46.273 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n) in c_n
46.273 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_n
46.273 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_n
46.273 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.273 * [backup-simplify]: Simplify 1.0 into 1.0
46.273 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_n
46.273 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.273 * [backup-simplify]: Simplify 1.0 into 1.0
46.273 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_n
46.273 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_n
46.273 * [taylor]: Taking taylor expansion of (exp (- t)) in c_n
46.273 * [taylor]: Taking taylor expansion of (- t) in c_n
46.273 * [taylor]: Taking taylor expansion of t in c_n
46.273 * [backup-simplify]: Simplify t into t
46.273 * [backup-simplify]: Simplify (- t) into (- t)
46.273 * [backup-simplify]: Simplify (- t) into (- t)
46.273 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.273 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.273 * [backup-simplify]: Simplify 1.0 into 1.0
46.273 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.273 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0))
46.273 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0))
46.273 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.274 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.274 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))
46.274 * [taylor]: Taking taylor expansion of c_n in c_n
46.274 * [backup-simplify]: Simplify 0 into 0
46.274 * [backup-simplify]: Simplify 1 into 1
46.274 * [backup-simplify]: Simplify (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 0) into 0
46.274 * [backup-simplify]: Simplify (- t) into (- t)
46.274 * [backup-simplify]: Simplify (- 0) into 0
46.275 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0
46.275 * [backup-simplify]: Simplify (+ 0 0) into 0
46.275 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0
46.275 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 (+ (exp (- t)) 1.0)))) into 0
46.275 * [backup-simplify]: Simplify (- 0) into 0
46.276 * [backup-simplify]: Simplify (+ 0 0) into 0
46.276 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 1)))) 1) into 0
46.277 * [backup-simplify]: Simplify (+ (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 1) (* 0 0)) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))
46.277 * [backup-simplify]: Simplify (exp 0) into 1
46.277 * [backup-simplify]: Simplify (* 1 0) into 0
46.279 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log 0.5) 1) 1)))) into (log 0.5)
46.280 * [backup-simplify]: Simplify (+ (* 1 1) (* (log 0.5) 0)) into 1
46.280 * [backup-simplify]: Simplify (/ 1 1) into 1
46.282 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log 0.5) 1) 1)))) into (log 0.5)
46.283 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0
46.283 * [backup-simplify]: Simplify (+ (* (log 0.5) 0) (* 0 c_n)) into 0
46.284 * [backup-simplify]: Simplify (* (exp (* (log 0.5) c_n)) (+ (* (/ (pow 0 1) 1)))) into 0
46.285 * [backup-simplify]: Simplify (+ (* (exp (* (log 0.5) c_n)) (log 0.5)) (* 0 1)) into (* (log 0.5) (exp (* (log 0.5) c_n)))
46.285 * [backup-simplify]: Simplify (- t) into (- t)
46.285 * [backup-simplify]: Simplify (- 0) into 0
46.286 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0
46.286 * [backup-simplify]: Simplify (+ 0 0) into 0
46.286 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0
46.286 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 (+ (exp (- t)) 1.0)))) into 0
46.286 * [backup-simplify]: Simplify (- 0) into 0
46.287 * [backup-simplify]: Simplify (+ 0 0) into 0
46.287 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 1)))) 1) into 0
46.287 * [backup-simplify]: Simplify (+ (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 0) (* 0 c_n)) into 0
46.288 * [backup-simplify]: Simplify (* (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) (+ (* (/ (pow 0 1) 1)))) into 0
46.288 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (/ 1.0 (+ (exp (- t)) 1.0))) 1) 1)))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.289 * [backup-simplify]: Simplify (+ (* 1 0) (* (log (/ 1.0 (+ (exp (- t)) 1.0))) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)))) into (* (log (/ 1.0 (+ (exp (- t)) 1.0))) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)))
46.290 * [backup-simplify]: Simplify (- (/ (* (log 0.5) (exp (* (log 0.5) c_n))) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))) (+ (* (/ (exp (* (log 0.5) c_n)) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))) (/ (* (log (/ 1.0 (+ (exp (- t)) 1.0))) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)))))) into (- (/ (* (log 0.5) (exp (* (log 0.5) c_n))) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))) (/ (* (exp (* (log 0.5) c_n)) (log (/ 1.0 (+ (exp (- t)) 1.0)))) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))))
46.290 * [taylor]: Taking taylor expansion of (- (/ (* (log 0.5) (exp (* (log 0.5) c_n))) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))) (/ (* (exp (* (log 0.5) c_n)) (log (/ 1.0 (+ (exp (- t)) 1.0)))) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)))) in c_n
46.290 * [taylor]: Taking taylor expansion of (/ (* (log 0.5) (exp (* (log 0.5) c_n))) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))) in c_n
46.290 * [taylor]: Taking taylor expansion of (* (log 0.5) (exp (* (log 0.5) c_n))) in c_n
46.290 * [taylor]: Taking taylor expansion of (log 0.5) in c_n
46.290 * [taylor]: Taking taylor expansion of 0.5 in c_n
46.290 * [backup-simplify]: Simplify 0.5 into 0.5
46.290 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.290 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_n)) in c_n
46.290 * [taylor]: Taking taylor expansion of (* (log 0.5) c_n) in c_n
46.290 * [taylor]: Taking taylor expansion of (log 0.5) in c_n
46.291 * [taylor]: Taking taylor expansion of 0.5 in c_n
46.291 * [backup-simplify]: Simplify 0.5 into 0.5
46.291 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.291 * [taylor]: Taking taylor expansion of c_n in c_n
46.291 * [backup-simplify]: Simplify 0 into 0
46.291 * [backup-simplify]: Simplify 1 into 1
46.291 * [backup-simplify]: Simplify (* (log 0.5) 0) into 0
46.292 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0
46.293 * [backup-simplify]: Simplify (+ (* (log 0.5) 1) (* 0 0)) into (log 0.5)
46.293 * [backup-simplify]: Simplify (exp 0) into 1
46.293 * [taylor]: Taking taylor expansion of (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) in c_n
46.293 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n) in c_n
46.293 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_n
46.293 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_n
46.293 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.293 * [backup-simplify]: Simplify 1.0 into 1.0
46.293 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_n
46.293 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.293 * [backup-simplify]: Simplify 1.0 into 1.0
46.293 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_n
46.293 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_n
46.293 * [taylor]: Taking taylor expansion of (exp (- t)) in c_n
46.293 * [taylor]: Taking taylor expansion of (- t) in c_n
46.293 * [taylor]: Taking taylor expansion of t in c_n
46.293 * [backup-simplify]: Simplify t into t
46.293 * [backup-simplify]: Simplify (- t) into (- t)
46.293 * [backup-simplify]: Simplify (- t) into (- t)
46.293 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.293 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.293 * [backup-simplify]: Simplify 1.0 into 1.0
46.293 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.294 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0))
46.294 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0))
46.294 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.294 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.294 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))
46.294 * [taylor]: Taking taylor expansion of c_n in c_n
46.294 * [backup-simplify]: Simplify 0 into 0
46.294 * [backup-simplify]: Simplify 1 into 1
46.294 * [backup-simplify]: Simplify (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 0) into 0
46.294 * [backup-simplify]: Simplify (- t) into (- t)
46.294 * [backup-simplify]: Simplify (- 0) into 0
46.295 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0
46.295 * [backup-simplify]: Simplify (+ 0 0) into 0
46.295 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0
46.295 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 (+ (exp (- t)) 1.0)))) into 0
46.296 * [backup-simplify]: Simplify (- 0) into 0
46.296 * [backup-simplify]: Simplify (+ 0 0) into 0
46.296 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 1)))) 1) into 0
46.297 * [backup-simplify]: Simplify (+ (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 1) (* 0 0)) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))
46.297 * [backup-simplify]: Simplify (exp 0) into 1
46.297 * [backup-simplify]: Simplify (* (log 0.5) 1) into (log 0.5)
46.298 * [backup-simplify]: Simplify (/ (log 0.5) 1) into (log 0.5)
46.298 * [taylor]: Taking taylor expansion of (/ (* (exp (* (log 0.5) c_n)) (log (/ 1.0 (+ (exp (- t)) 1.0)))) (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n))) in c_n
46.298 * [taylor]: Taking taylor expansion of (* (exp (* (log 0.5) c_n)) (log (/ 1.0 (+ (exp (- t)) 1.0)))) in c_n
46.298 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_n)) in c_n
46.298 * [taylor]: Taking taylor expansion of (* (log 0.5) c_n) in c_n
46.298 * [taylor]: Taking taylor expansion of (log 0.5) in c_n
46.298 * [taylor]: Taking taylor expansion of 0.5 in c_n
46.298 * [backup-simplify]: Simplify 0.5 into 0.5
46.298 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.298 * [taylor]: Taking taylor expansion of c_n in c_n
46.298 * [backup-simplify]: Simplify 0 into 0
46.298 * [backup-simplify]: Simplify 1 into 1
46.299 * [backup-simplify]: Simplify (* (log 0.5) 0) into 0
46.299 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0
46.300 * [backup-simplify]: Simplify (+ (* (log 0.5) 1) (* 0 0)) into (log 0.5)
46.300 * [backup-simplify]: Simplify (exp 0) into 1
46.300 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in c_n
46.300 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in c_n
46.301 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.301 * [backup-simplify]: Simplify 1.0 into 1.0
46.301 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_n
46.301 * [taylor]: Taking taylor expansion of (exp (- t)) in c_n
46.301 * [taylor]: Taking taylor expansion of (- t) in c_n
46.301 * [taylor]: Taking taylor expansion of t in c_n
46.301 * [backup-simplify]: Simplify t into t
46.301 * [backup-simplify]: Simplify (- t) into (- t)
46.301 * [backup-simplify]: Simplify (- t) into (- t)
46.301 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.301 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.301 * [backup-simplify]: Simplify 1.0 into 1.0
46.301 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.301 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- t)) 1.0)) into (/ 1.0 (+ (exp (- t)) 1.0))
46.301 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- t)) 1.0))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.301 * [taylor]: Taking taylor expansion of (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) in c_n
46.301 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n) in c_n
46.301 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_n
46.301 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_n
46.301 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.301 * [backup-simplify]: Simplify 1.0 into 1.0
46.301 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_n
46.301 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.301 * [backup-simplify]: Simplify 1.0 into 1.0
46.301 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_n
46.301 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_n
46.301 * [taylor]: Taking taylor expansion of (exp (- t)) in c_n
46.301 * [taylor]: Taking taylor expansion of (- t) in c_n
46.301 * [taylor]: Taking taylor expansion of t in c_n
46.301 * [backup-simplify]: Simplify t into t
46.301 * [backup-simplify]: Simplify (- t) into (- t)
46.301 * [backup-simplify]: Simplify (- t) into (- t)
46.301 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.301 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.301 * [backup-simplify]: Simplify 1.0 into 1.0
46.301 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.301 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0))
46.302 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0))
46.302 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.302 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.302 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))
46.302 * [taylor]: Taking taylor expansion of c_n in c_n
46.302 * [backup-simplify]: Simplify 0 into 0
46.302 * [backup-simplify]: Simplify 1 into 1
46.302 * [backup-simplify]: Simplify (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 0) into 0
46.302 * [backup-simplify]: Simplify (- t) into (- t)
46.302 * [backup-simplify]: Simplify (- 0) into 0
46.303 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0
46.303 * [backup-simplify]: Simplify (+ 0 0) into 0
46.303 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0
46.303 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 (+ (exp (- t)) 1.0)))) into 0
46.304 * [backup-simplify]: Simplify (- 0) into 0
46.304 * [backup-simplify]: Simplify (+ 0 0) into 0
46.304 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 1)))) 1) into 0
46.305 * [backup-simplify]: Simplify (+ (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 1) (* 0 0)) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))
46.305 * [backup-simplify]: Simplify (exp 0) into 1
46.305 * [backup-simplify]: Simplify (* 1 (log (/ 1.0 (+ (exp (- t)) 1.0)))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.305 * [backup-simplify]: Simplify (/ (log (/ 1.0 (+ (exp (- t)) 1.0))) 1) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.305 * [backup-simplify]: Simplify (- (log (/ 1.0 (+ (exp (- t)) 1.0)))) into (- (log (/ 1.0 (+ (exp (- t)) 1.0))))
46.305 * [backup-simplify]: Simplify (+ (log 0.5) (- (log (/ 1.0 (+ (exp (- t)) 1.0))))) into (- (log 0.5) (log (/ 1.0 (+ (exp (- t)) 1.0))))
46.305 * [taylor]: Taking taylor expansion of (- (log 0.5) (log (/ 1.0 (+ (exp (- t)) 1.0)))) in t
46.305 * [taylor]: Taking taylor expansion of (log 0.5) in t
46.305 * [taylor]: Taking taylor expansion of 0.5 in t
46.305 * [backup-simplify]: Simplify 0.5 into 0.5
46.306 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.306 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in t
46.306 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in t
46.306 * [taylor]: Taking taylor expansion of 1.0 in t
46.306 * [backup-simplify]: Simplify 1.0 into 1.0
46.306 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in t
46.306 * [taylor]: Taking taylor expansion of (exp (- t)) in t
46.306 * [taylor]: Taking taylor expansion of (- t) in t
46.306 * [taylor]: Taking taylor expansion of t in t
46.306 * [backup-simplify]: Simplify 0 into 0
46.306 * [backup-simplify]: Simplify 1 into 1
46.306 * [backup-simplify]: Simplify (- 0) into 0
46.306 * [backup-simplify]: Simplify (- 1) into -1
46.306 * [backup-simplify]: Simplify (exp 0) into 1
46.306 * [taylor]: Taking taylor expansion of 1.0 in t
46.306 * [backup-simplify]: Simplify 1.0 into 1.0
46.307 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0
46.307 * [backup-simplify]: Simplify (/ 1.0 2.0) into 0.5
46.307 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.308 * [backup-simplify]: Simplify (- (log 0.5)) into (- (log 0.5))
46.309 * [backup-simplify]: Simplify (+ (log 0.5) (- (log 0.5))) into 0
46.309 * [backup-simplify]: Simplify 0 into 0
46.311 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log 0.5) 1) 1)))) into (log 0.5)
46.311 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 1) 1)))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))
46.312 * [backup-simplify]: Simplify (- (/ (log 0.5) 1) (+ (* 1 (/ (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 1)))) into (- (log 0.5) (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))))
46.312 * [taylor]: Taking taylor expansion of (- (log 0.5) (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))) in t
46.312 * [taylor]: Taking taylor expansion of (log 0.5) in t
46.312 * [taylor]: Taking taylor expansion of 0.5 in t
46.312 * [backup-simplify]: Simplify 0.5 into 0.5
46.312 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.312 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in t
46.312 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in t
46.312 * [taylor]: Taking taylor expansion of 1.0 in t
46.312 * [backup-simplify]: Simplify 1.0 into 1.0
46.312 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in t
46.312 * [taylor]: Taking taylor expansion of 1.0 in t
46.312 * [backup-simplify]: Simplify 1.0 into 1.0
46.312 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in t
46.312 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in t
46.312 * [taylor]: Taking taylor expansion of (exp (- t)) in t
46.312 * [taylor]: Taking taylor expansion of (- t) in t
46.312 * [taylor]: Taking taylor expansion of t in t
46.312 * [backup-simplify]: Simplify 0 into 0
46.312 * [backup-simplify]: Simplify 1 into 1
46.313 * [backup-simplify]: Simplify (- 0) into 0
46.313 * [backup-simplify]: Simplify (- 1) into -1
46.313 * [backup-simplify]: Simplify (exp 0) into 1
46.313 * [taylor]: Taking taylor expansion of 1.0 in t
46.313 * [backup-simplify]: Simplify 1.0 into 1.0
46.313 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0
46.313 * [backup-simplify]: Simplify (/ 1 2.0) into 0.5
46.314 * [backup-simplify]: Simplify (* 1.0 0.5) into 0.5
46.314 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
46.314 * [backup-simplify]: Simplify (+ 1.0 (- 0.5)) into 0.5
46.315 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.315 * [backup-simplify]: Simplify (- (log 0.5)) into (- (log 0.5))
46.316 * [backup-simplify]: Simplify (+ (log 0.5) (- (log 0.5))) into 0
46.316 * [backup-simplify]: Simplify 0 into 0
46.316 * [backup-simplify]: Simplify 0 into 0
46.316 * [backup-simplify]: Simplify (- 1) into -1
46.317 * [backup-simplify]: Simplify (- 0) into 0
46.317 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
46.318 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
46.320 * [backup-simplify]: Simplify (- (+ (* 0.5 (/ 1/2 2.0)) (* 0.25 (/ -1 2.0)))) into 0
46.321 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0.25) (* 0 0.5))) into 0
46.321 * [backup-simplify]: Simplify (- 0) into 0
46.321 * [backup-simplify]: Simplify (+ 0 0) into 0
46.331 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 0.25)) 2)) (pow 0.5 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 0.5 1)))) 2) into (/ -0.03125 (pow 0.5 2))
46.332 * [backup-simplify]: Simplify (+ (* c_n (/ -0.03125 (pow 0.5 2))) (+ (* 0 -0.5) (* 0 (log 0.5)))) into (- (* 0.03125 (/ c_n (pow 0.5 2))))