0.258 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
45.238 * * * [progress]: [2/2] Setting up program.
45.243 * [progress]: [Phase 2 of 3] Improving.
45.243 * [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.243 * * [simplify]: Extracting # 0 : cost  0
45.243 * * [simplify]: Extracting # 1 : cost  0
45.243 * * [simplify]: Extracting # 2 : cost  0
45.243 * * [simplify]: Extracting # 3 : cost  0
45.243 * * [simplify]: Extracting # 4 : cost  0
45.243 * * [simplify]: Extracting # 5 : cost  0
45.243 * * [simplify]: Extracting # 6 : cost  0
45.243 * * [simplify]: Extracting # 7 : cost  0
45.243 * * [simplify]: Extracting # 8 : cost  0
45.243 * * [simplify]: Extracting # 9 : cost  0
45.243 * * [simplify]: Extracting # 10 : cost  0
45.243 * * [simplify]: Extracting # 11 : cost  0
45.243 * * [simplify]: Extracting # 12 : cost  0
45.243 * * [simplify]: iteration  0 :  22  enodes  (cost  43 )
45.247 * * [simplify]: Extracting # 0 : cost  0
45.247 * * [simplify]: Extracting # 1 : cost  0
45.247 * * [simplify]: Extracting # 2 : cost  0
45.247 * * [simplify]: Extracting # 3 : cost  0
45.247 * * [simplify]: Extracting # 4 : cost  0
45.247 * * [simplify]: Extracting # 5 : cost  0
45.247 * * [simplify]: iteration  1 :  53  enodes  (cost  43 )
45.278 * * [simplify]: Extracting # 0 : cost  0
45.278 * * [simplify]: Extracting # 1 : cost  0
45.278 * * [simplify]: Extracting # 2 : cost  0
45.278 * * [simplify]: Extracting # 3 : cost  0
45.279 * * [simplify]: Extracting # 4 : cost  0
45.279 * * [simplify]: iteration  2 :  147  enodes  (cost  43 )
45.345 * * [simplify]: Extracting # 0 : cost  0
45.346 * * [simplify]: Extracting # 1 : cost  0
45.346 * * [simplify]: Extracting # 2 : cost  0
45.347 * * [simplify]: Extracting # 3 : cost  0
45.348 * * [simplify]: Extracting # 4 : cost  0
45.349 * * [simplify]: iteration  3 :  839  enodes  (cost  43 )
46.065 * * [simplify]: Extracting # 0 : cost  0
46.071 * * [simplify]: Extracting # 1 : cost  0
46.077 * * [simplify]: Extracting # 2 : cost  0
46.082 * * [simplify]: Extracting # 3 : cost  0
46.087 * * [simplify]: Extracting # 4 : cost  0
46.095 * * [simplify]: iteration done:  5001  enodes  (cost  43 )
46.095 * [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)))
46.095 * * [progress]: iteration 1 / 4
46.095 * * * [progress]: picking best candidate
46.100 * * * * [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))))>
46.100 * * * [progress]: localizing error
46.126 * * * [progress]: generating rewritten candidates
46.126 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
46.298 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
46.317 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1)
46.357 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
46.422 * * * [progress]: generating series expansions
46.422 * * * * [progress]: [ 1 / 4 ] generating series at (2)
46.423 * [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.423 * [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.423 * [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.423 * [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.423 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) in t
46.423 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0))))) in t
46.423 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0)))) in t
46.423 * [taylor]: Taking taylor expansion of c_p in t
46.423 * [backup-simplify]: Simplify c_p into c_p
46.423 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- s)) 1.0))) in t
46.423 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- s)) 1.0)) in t
46.423 * [taylor]: Taking taylor expansion of 1.0 in t
46.423 * [backup-simplify]: Simplify 1.0 into 1.0
46.423 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in t
46.423 * [taylor]: Taking taylor expansion of (exp (- s)) in t
46.423 * [taylor]: Taking taylor expansion of (- s) in t
46.423 * [taylor]: Taking taylor expansion of s in t
46.423 * [backup-simplify]: Simplify s into s
46.423 * [backup-simplify]: Simplify (- s) into (- s)
46.423 * [backup-simplify]: Simplify (- s) into (- s)
46.423 * [backup-simplify]: Simplify (exp (- s)) into (exp (- s))
46.423 * [taylor]: Taking taylor expansion of 1.0 in t
46.423 * [backup-simplify]: Simplify 1.0 into 1.0
46.423 * [backup-simplify]: Simplify (+ (exp (- s)) 1.0) into (+ (exp (- s)) 1.0)
46.423 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- s)) 1.0)) into (/ 1.0 (+ (exp (- s)) 1.0))
46.424 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- s)) 1.0))) into (log (/ 1.0 (+ (exp (- s)) 1.0)))
46.424 * [backup-simplify]: Simplify (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0)))) into (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0))))
46.424 * [backup-simplify]: Simplify (exp (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0))))) into (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p)
46.424 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n) in t
46.424 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))))) in t
46.424 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))))) in t
46.424 * [taylor]: Taking taylor expansion of c_n in t
46.424 * [backup-simplify]: Simplify c_n into c_n
46.424 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) in t
46.424 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) in t
46.424 * [taylor]: Taking taylor expansion of 1.0 in t
46.424 * [backup-simplify]: Simplify 1.0 into 1.0
46.424 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- s)) 1.0))) in t
46.424 * [taylor]: Taking taylor expansion of 1.0 in t
46.424 * [backup-simplify]: Simplify 1.0 into 1.0
46.424 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- s)) 1.0)) in t
46.424 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in t
46.424 * [taylor]: Taking taylor expansion of (exp (- s)) in t
46.424 * [taylor]: Taking taylor expansion of (- s) in t
46.424 * [taylor]: Taking taylor expansion of s in t
46.424 * [backup-simplify]: Simplify s into s
46.424 * [backup-simplify]: Simplify (- s) into (- s)
46.424 * [backup-simplify]: Simplify (- s) into (- s)
46.424 * [backup-simplify]: Simplify (exp (- s)) into (exp (- s))
46.424 * [taylor]: Taking taylor expansion of 1.0 in t
46.424 * [backup-simplify]: Simplify 1.0 into 1.0
46.424 * [backup-simplify]: Simplify (+ (exp (- s)) 1.0) into (+ (exp (- s)) 1.0)
46.424 * [backup-simplify]: Simplify (/ 1 (+ (exp (- s)) 1.0)) into (/ 1 (+ (exp (- s)) 1.0))
46.425 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- s)) 1.0))) into (/ 1.0 (+ (exp (- s)) 1.0))
46.425 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- s)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))
46.425 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))
46.425 * [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.425 * [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.425 * [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.425 * [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.425 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) in t
46.425 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) in t
46.425 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) in t
46.425 * [taylor]: Taking taylor expansion of c_p in t
46.425 * [backup-simplify]: Simplify c_p into c_p
46.425 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in t
46.425 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in t
46.425 * [taylor]: Taking taylor expansion of 1.0 in t
46.425 * [backup-simplify]: Simplify 1.0 into 1.0
46.425 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in t
46.425 * [taylor]: Taking taylor expansion of (exp (- t)) in t
46.425 * [taylor]: Taking taylor expansion of (- t) in t
46.425 * [taylor]: Taking taylor expansion of t in t
46.425 * [backup-simplify]: Simplify 0 into 0
46.425 * [backup-simplify]: Simplify 1 into 1
46.426 * [backup-simplify]: Simplify (- 0) into 0
46.426 * [backup-simplify]: Simplify (- 1) into -1
46.426 * [backup-simplify]: Simplify (exp 0) into 1
46.426 * [taylor]: Taking taylor expansion of 1.0 in t
46.426 * [backup-simplify]: Simplify 1.0 into 1.0
46.426 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0
46.427 * [backup-simplify]: Simplify (/ 1.0 2.0) into 0.5
46.427 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.427 * [backup-simplify]: Simplify (* c_p (log 0.5)) into (* (log 0.5) c_p)
46.428 * [backup-simplify]: Simplify (exp (* (log 0.5) c_p)) into (exp (* (log 0.5) c_p))
46.428 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n) in t
46.428 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))))) in t
46.428 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))) in t
46.428 * [taylor]: Taking taylor expansion of c_n in t
46.428 * [backup-simplify]: Simplify c_n into c_n
46.428 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in t
46.428 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in t
46.428 * [taylor]: Taking taylor expansion of 1.0 in t
46.428 * [backup-simplify]: Simplify 1.0 into 1.0
46.428 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in t
46.428 * [taylor]: Taking taylor expansion of 1.0 in t
46.428 * [backup-simplify]: Simplify 1.0 into 1.0
46.428 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in t
46.428 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in t
46.428 * [taylor]: Taking taylor expansion of (exp (- t)) in t
46.428 * [taylor]: Taking taylor expansion of (- t) in t
46.428 * [taylor]: Taking taylor expansion of t in t
46.428 * [backup-simplify]: Simplify 0 into 0
46.428 * [backup-simplify]: Simplify 1 into 1
46.428 * [backup-simplify]: Simplify (- 0) into 0
46.428 * [backup-simplify]: Simplify (- 1) into -1
46.428 * [backup-simplify]: Simplify (exp 0) into 1
46.428 * [taylor]: Taking taylor expansion of 1.0 in t
46.428 * [backup-simplify]: Simplify 1.0 into 1.0
46.429 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0
46.429 * [backup-simplify]: Simplify (/ 1 2.0) into 0.5
46.429 * [backup-simplify]: Simplify (* 1.0 0.5) into 0.5
46.429 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
46.430 * [backup-simplify]: Simplify (+ 1.0 (- 0.5)) into 0.5
46.430 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.430 * [backup-simplify]: Simplify (* c_n (log 0.5)) into (* (log 0.5) c_n)
46.431 * [backup-simplify]: Simplify (exp (* (log 0.5) c_n)) into (exp (* (log 0.5) c_n))
46.431 * [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.431 * [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.432 * [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.432 * [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.432 * [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.432 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) in c_n
46.432 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0))))) in c_n
46.432 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0)))) in c_n
46.432 * [taylor]: Taking taylor expansion of c_p in c_n
46.432 * [backup-simplify]: Simplify c_p into c_p
46.432 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- s)) 1.0))) in c_n
46.432 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- s)) 1.0)) in c_n
46.432 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.432 * [backup-simplify]: Simplify 1.0 into 1.0
46.432 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in c_n
46.432 * [taylor]: Taking taylor expansion of (exp (- s)) in c_n
46.432 * [taylor]: Taking taylor expansion of (- s) in c_n
46.432 * [taylor]: Taking taylor expansion of s in c_n
46.432 * [backup-simplify]: Simplify s into s
46.433 * [backup-simplify]: Simplify (- s) into (- s)
46.433 * [backup-simplify]: Simplify (- s) into (- s)
46.433 * [backup-simplify]: Simplify (exp (- s)) into (exp (- s))
46.433 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.433 * [backup-simplify]: Simplify 1.0 into 1.0
46.433 * [backup-simplify]: Simplify (+ (exp (- s)) 1.0) into (+ (exp (- s)) 1.0)
46.433 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- s)) 1.0)) into (/ 1.0 (+ (exp (- s)) 1.0))
46.433 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- s)) 1.0))) into (log (/ 1.0 (+ (exp (- s)) 1.0)))
46.433 * [backup-simplify]: Simplify (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0)))) into (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0))))
46.433 * [backup-simplify]: Simplify (exp (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0))))) into (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p)
46.433 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n) in c_n
46.433 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))))) in c_n
46.433 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))))) in c_n
46.433 * [taylor]: Taking taylor expansion of c_n in c_n
46.433 * [backup-simplify]: Simplify 0 into 0
46.433 * [backup-simplify]: Simplify 1 into 1
46.433 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) in c_n
46.433 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) in c_n
46.433 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.433 * [backup-simplify]: Simplify 1.0 into 1.0
46.433 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- s)) 1.0))) in c_n
46.433 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.433 * [backup-simplify]: Simplify 1.0 into 1.0
46.433 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- s)) 1.0)) in c_n
46.433 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in c_n
46.433 * [taylor]: Taking taylor expansion of (exp (- s)) in c_n
46.433 * [taylor]: Taking taylor expansion of (- s) in c_n
46.433 * [taylor]: Taking taylor expansion of s in c_n
46.433 * [backup-simplify]: Simplify s into s
46.433 * [backup-simplify]: Simplify (- s) into (- s)
46.433 * [backup-simplify]: Simplify (- s) into (- s)
46.433 * [backup-simplify]: Simplify (exp (- s)) into (exp (- s))
46.433 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.433 * [backup-simplify]: Simplify 1.0 into 1.0
46.434 * [backup-simplify]: Simplify (+ (exp (- s)) 1.0) into (+ (exp (- s)) 1.0)
46.434 * [backup-simplify]: Simplify (/ 1 (+ (exp (- s)) 1.0)) into (/ 1 (+ (exp (- s)) 1.0))
46.434 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- s)) 1.0))) into (/ 1.0 (+ (exp (- s)) 1.0))
46.434 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- s)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))
46.434 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))
46.434 * [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.434 * [backup-simplify]: Simplify (* 0 (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))))) into 0
46.435 * [backup-simplify]: Simplify (- s) into (- s)
46.435 * [backup-simplify]: Simplify (- 0) into 0
46.436 * [backup-simplify]: Simplify (* (exp (- s)) (+ (* (/ (pow 0 1) 1)))) into 0
46.436 * [backup-simplify]: Simplify (+ 0 0) into 0
46.436 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (- s)) 1.0)) (/ 0 (+ (exp (- s)) 1.0))))) into 0
46.436 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 (+ (exp (- s)) 1.0)))) into 0
46.436 * [backup-simplify]: Simplify (- 0) into 0
46.437 * [backup-simplify]: Simplify (+ 0 0) into 0
46.437 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) 1)))) 1) into 0
46.438 * [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.438 * [backup-simplify]: Simplify (exp 0) into 1
46.438 * [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.438 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) in c_n
46.438 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) in c_n
46.438 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) in c_n
46.438 * [taylor]: Taking taylor expansion of c_p in c_n
46.438 * [backup-simplify]: Simplify c_p into c_p
46.438 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in c_n
46.438 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in c_n
46.438 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.438 * [backup-simplify]: Simplify 1.0 into 1.0
46.438 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_n
46.438 * [taylor]: Taking taylor expansion of (exp (- t)) in c_n
46.438 * [taylor]: Taking taylor expansion of (- t) in c_n
46.438 * [taylor]: Taking taylor expansion of t in c_n
46.438 * [backup-simplify]: Simplify t into t
46.438 * [backup-simplify]: Simplify (- t) into (- t)
46.438 * [backup-simplify]: Simplify (- t) into (- t)
46.438 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.438 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.438 * [backup-simplify]: Simplify 1.0 into 1.0
46.438 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.438 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- t)) 1.0)) into (/ 1.0 (+ (exp (- t)) 1.0))
46.438 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- t)) 1.0))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.438 * [backup-simplify]: Simplify (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) into (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))
46.438 * [backup-simplify]: Simplify (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) into (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p)
46.438 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n) in c_n
46.438 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))))) in c_n
46.438 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))) in c_n
46.438 * [taylor]: Taking taylor expansion of c_n in c_n
46.439 * [backup-simplify]: Simplify 0 into 0
46.439 * [backup-simplify]: Simplify 1 into 1
46.439 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_n
46.439 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_n
46.439 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.439 * [backup-simplify]: Simplify 1.0 into 1.0
46.439 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_n
46.439 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.439 * [backup-simplify]: Simplify 1.0 into 1.0
46.439 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_n
46.439 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_n
46.439 * [taylor]: Taking taylor expansion of (exp (- t)) in c_n
46.439 * [taylor]: Taking taylor expansion of (- t) in c_n
46.439 * [taylor]: Taking taylor expansion of t in c_n
46.439 * [backup-simplify]: Simplify t into t
46.439 * [backup-simplify]: Simplify (- t) into (- t)
46.439 * [backup-simplify]: Simplify (- t) into (- t)
46.439 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.439 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.439 * [backup-simplify]: Simplify 1.0 into 1.0
46.439 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.439 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0))
46.439 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0))
46.439 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.439 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.439 * [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.439 * [backup-simplify]: Simplify (* 0 (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))) into 0
46.440 * [backup-simplify]: Simplify (- t) into (- t)
46.440 * [backup-simplify]: Simplify (- 0) into 0
46.440 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0
46.440 * [backup-simplify]: Simplify (+ 0 0) into 0
46.441 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0
46.441 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 (+ (exp (- t)) 1.0)))) into 0
46.441 * [backup-simplify]: Simplify (- 0) into 0
46.441 * [backup-simplify]: Simplify (+ 0 0) into 0
46.442 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 1)))) 1) into 0
46.442 * [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.442 * [backup-simplify]: Simplify (exp 0) into 1
46.442 * [backup-simplify]: Simplify (* (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) 1) into (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p)
46.443 * [backup-simplify]: Simplify (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) 1) into (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p)
46.443 * [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.443 * [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.443 * [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.443 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) in c_p
46.443 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0))))) in c_p
46.443 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0)))) in c_p
46.443 * [taylor]: Taking taylor expansion of c_p in c_p
46.443 * [backup-simplify]: Simplify 0 into 0
46.443 * [backup-simplify]: Simplify 1 into 1
46.443 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- s)) 1.0))) in c_p
46.443 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- s)) 1.0)) in c_p
46.443 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.443 * [backup-simplify]: Simplify 1.0 into 1.0
46.443 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in c_p
46.443 * [taylor]: Taking taylor expansion of (exp (- s)) in c_p
46.443 * [taylor]: Taking taylor expansion of (- s) in c_p
46.443 * [taylor]: Taking taylor expansion of s in c_p
46.443 * [backup-simplify]: Simplify s into s
46.443 * [backup-simplify]: Simplify (- s) into (- s)
46.443 * [backup-simplify]: Simplify (- s) into (- s)
46.443 * [backup-simplify]: Simplify (exp (- s)) into (exp (- s))
46.443 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.443 * [backup-simplify]: Simplify 1.0 into 1.0
46.443 * [backup-simplify]: Simplify (+ (exp (- s)) 1.0) into (+ (exp (- s)) 1.0)
46.443 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- s)) 1.0)) into (/ 1.0 (+ (exp (- s)) 1.0))
46.443 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- s)) 1.0))) into (log (/ 1.0 (+ (exp (- s)) 1.0)))
46.443 * [backup-simplify]: Simplify (* 0 (log (/ 1.0 (+ (exp (- s)) 1.0)))) into 0
46.444 * [backup-simplify]: Simplify (- s) into (- s)
46.444 * [backup-simplify]: Simplify (- 0) into 0
46.444 * [backup-simplify]: Simplify (* (exp (- s)) (+ (* (/ (pow 0 1) 1)))) into 0
46.445 * [backup-simplify]: Simplify (+ 0 0) into 0
46.445 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (- s)) 1.0)) (+ (* (/ 1.0 (+ (exp (- s)) 1.0)) (/ 0 (+ (exp (- s)) 1.0))))) into 0
46.445 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1.0 (+ (exp (- s)) 1.0)) 1)))) 1) into 0
46.446 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (/ 1.0 (+ (exp (- s)) 1.0))))) into (log (/ 1.0 (+ (exp (- s)) 1.0)))
46.446 * [backup-simplify]: Simplify (exp 0) into 1
46.446 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n) in c_p
46.446 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))))) in c_p
46.446 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))))) in c_p
46.446 * [taylor]: Taking taylor expansion of c_n in c_p
46.446 * [backup-simplify]: Simplify c_n into c_n
46.446 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) in c_p
46.446 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) in c_p
46.446 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.446 * [backup-simplify]: Simplify 1.0 into 1.0
46.446 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- s)) 1.0))) in c_p
46.446 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.446 * [backup-simplify]: Simplify 1.0 into 1.0
46.446 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- s)) 1.0)) in c_p
46.446 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in c_p
46.446 * [taylor]: Taking taylor expansion of (exp (- s)) in c_p
46.446 * [taylor]: Taking taylor expansion of (- s) in c_p
46.446 * [taylor]: Taking taylor expansion of s in c_p
46.446 * [backup-simplify]: Simplify s into s
46.446 * [backup-simplify]: Simplify (- s) into (- s)
46.446 * [backup-simplify]: Simplify (- s) into (- s)
46.446 * [backup-simplify]: Simplify (exp (- s)) into (exp (- s))
46.446 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.446 * [backup-simplify]: Simplify 1.0 into 1.0
46.446 * [backup-simplify]: Simplify (+ (exp (- s)) 1.0) into (+ (exp (- s)) 1.0)
46.446 * [backup-simplify]: Simplify (/ 1 (+ (exp (- s)) 1.0)) into (/ 1 (+ (exp (- s)) 1.0))
46.446 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- s)) 1.0))) into (/ 1.0 (+ (exp (- s)) 1.0))
46.446 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- s)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))
46.446 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))
46.447 * [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.447 * [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.447 * [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.447 * [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.447 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) in c_p
46.447 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) in c_p
46.447 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) in c_p
46.447 * [taylor]: Taking taylor expansion of c_p in c_p
46.447 * [backup-simplify]: Simplify 0 into 0
46.447 * [backup-simplify]: Simplify 1 into 1
46.447 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in c_p
46.447 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in c_p
46.447 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.447 * [backup-simplify]: Simplify 1.0 into 1.0
46.447 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_p
46.447 * [taylor]: Taking taylor expansion of (exp (- t)) in c_p
46.447 * [taylor]: Taking taylor expansion of (- t) in c_p
46.447 * [taylor]: Taking taylor expansion of t in c_p
46.447 * [backup-simplify]: Simplify t into t
46.447 * [backup-simplify]: Simplify (- t) into (- t)
46.447 * [backup-simplify]: Simplify (- t) into (- t)
46.447 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.447 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.447 * [backup-simplify]: Simplify 1.0 into 1.0
46.447 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.447 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- t)) 1.0)) into (/ 1.0 (+ (exp (- t)) 1.0))
46.447 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- t)) 1.0))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.448 * [backup-simplify]: Simplify (* 0 (log (/ 1.0 (+ (exp (- t)) 1.0)))) into 0
46.448 * [backup-simplify]: Simplify (- t) into (- t)
46.448 * [backup-simplify]: Simplify (- 0) into 0
46.448 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0
46.448 * [backup-simplify]: Simplify (+ 0 0) into 0
46.449 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (- t)) 1.0)) (+ (* (/ 1.0 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0
46.449 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1.0 (+ (exp (- t)) 1.0)) 1)))) 1) into 0
46.449 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (/ 1.0 (+ (exp (- t)) 1.0))))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.449 * [backup-simplify]: Simplify (exp 0) into 1
46.450 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n) in c_p
46.450 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))))) in c_p
46.450 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))) in c_p
46.450 * [taylor]: Taking taylor expansion of c_n in c_p
46.450 * [backup-simplify]: Simplify c_n into c_n
46.450 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_p
46.450 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_p
46.450 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.450 * [backup-simplify]: Simplify 1.0 into 1.0
46.450 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_p
46.450 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.450 * [backup-simplify]: Simplify 1.0 into 1.0
46.450 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_p
46.450 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_p
46.450 * [taylor]: Taking taylor expansion of (exp (- t)) in c_p
46.450 * [taylor]: Taking taylor expansion of (- t) in c_p
46.450 * [taylor]: Taking taylor expansion of t in c_p
46.450 * [backup-simplify]: Simplify t into t
46.450 * [backup-simplify]: Simplify (- t) into (- t)
46.450 * [backup-simplify]: Simplify (- t) into (- t)
46.450 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.450 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.450 * [backup-simplify]: Simplify 1.0 into 1.0
46.450 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.450 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0))
46.450 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0))
46.450 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.450 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.450 * [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.451 * [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.451 * [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.451 * [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.451 * [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.451 * [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.452 * [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.452 * [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.452 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) in s
46.452 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0))))) in s
46.452 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0)))) in s
46.452 * [taylor]: Taking taylor expansion of c_p in s
46.452 * [backup-simplify]: Simplify c_p into c_p
46.452 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- s)) 1.0))) in s
46.452 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- s)) 1.0)) in s
46.452 * [taylor]: Taking taylor expansion of 1.0 in s
46.452 * [backup-simplify]: Simplify 1.0 into 1.0
46.452 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in s
46.452 * [taylor]: Taking taylor expansion of (exp (- s)) in s
46.452 * [taylor]: Taking taylor expansion of (- s) in s
46.452 * [taylor]: Taking taylor expansion of s in s
46.452 * [backup-simplify]: Simplify 0 into 0
46.452 * [backup-simplify]: Simplify 1 into 1
46.452 * [backup-simplify]: Simplify (- 0) into 0
46.452 * [backup-simplify]: Simplify (- 1) into -1
46.452 * [backup-simplify]: Simplify (exp 0) into 1
46.452 * [taylor]: Taking taylor expansion of 1.0 in s
46.452 * [backup-simplify]: Simplify 1.0 into 1.0
46.453 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0
46.453 * [backup-simplify]: Simplify (/ 1.0 2.0) into 0.5
46.453 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.453 * [backup-simplify]: Simplify (* c_p (log 0.5)) into (* (log 0.5) c_p)
46.454 * [backup-simplify]: Simplify (exp (* (log 0.5) c_p)) into (exp (* (log 0.5) c_p))
46.454 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n) in s
46.454 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))))) in s
46.454 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))))) in s
46.454 * [taylor]: Taking taylor expansion of c_n in s
46.454 * [backup-simplify]: Simplify c_n into c_n
46.454 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) in s
46.454 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) in s
46.454 * [taylor]: Taking taylor expansion of 1.0 in s
46.454 * [backup-simplify]: Simplify 1.0 into 1.0
46.454 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- s)) 1.0))) in s
46.454 * [taylor]: Taking taylor expansion of 1.0 in s
46.454 * [backup-simplify]: Simplify 1.0 into 1.0
46.454 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- s)) 1.0)) in s
46.454 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in s
46.454 * [taylor]: Taking taylor expansion of (exp (- s)) in s
46.454 * [taylor]: Taking taylor expansion of (- s) in s
46.454 * [taylor]: Taking taylor expansion of s in s
46.454 * [backup-simplify]: Simplify 0 into 0
46.454 * [backup-simplify]: Simplify 1 into 1
46.454 * [backup-simplify]: Simplify (- 0) into 0
46.454 * [backup-simplify]: Simplify (- 1) into -1
46.454 * [backup-simplify]: Simplify (exp 0) into 1
46.454 * [taylor]: Taking taylor expansion of 1.0 in s
46.454 * [backup-simplify]: Simplify 1.0 into 1.0
46.455 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0
46.455 * [backup-simplify]: Simplify (/ 1 2.0) into 0.5
46.455 * [backup-simplify]: Simplify (* 1.0 0.5) into 0.5
46.455 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
46.456 * [backup-simplify]: Simplify (+ 1.0 (- 0.5)) into 0.5
46.456 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.456 * [backup-simplify]: Simplify (* c_n (log 0.5)) into (* (log 0.5) c_n)
46.457 * [backup-simplify]: Simplify (exp (* (log 0.5) c_n)) into (exp (* (log 0.5) c_n))
46.457 * [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.457 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) in s
46.457 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) in s
46.457 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) in s
46.457 * [taylor]: Taking taylor expansion of c_p in s
46.457 * [backup-simplify]: Simplify c_p into c_p
46.457 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in s
46.457 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in s
46.457 * [taylor]: Taking taylor expansion of 1.0 in s
46.457 * [backup-simplify]: Simplify 1.0 into 1.0
46.457 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in s
46.457 * [taylor]: Taking taylor expansion of (exp (- t)) in s
46.457 * [taylor]: Taking taylor expansion of (- t) in s
46.457 * [taylor]: Taking taylor expansion of t in s
46.457 * [backup-simplify]: Simplify t into t
46.457 * [backup-simplify]: Simplify (- t) into (- t)
46.457 * [backup-simplify]: Simplify (- t) into (- t)
46.457 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.457 * [taylor]: Taking taylor expansion of 1.0 in s
46.457 * [backup-simplify]: Simplify 1.0 into 1.0
46.457 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.457 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- t)) 1.0)) into (/ 1.0 (+ (exp (- t)) 1.0))
46.457 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- t)) 1.0))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.457 * [backup-simplify]: Simplify (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) into (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))
46.458 * [backup-simplify]: Simplify (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) into (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p)
46.458 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n) in s
46.458 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))))) in s
46.458 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))) in s
46.458 * [taylor]: Taking taylor expansion of c_n in s
46.458 * [backup-simplify]: Simplify c_n into c_n
46.458 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in s
46.458 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in s
46.458 * [taylor]: Taking taylor expansion of 1.0 in s
46.458 * [backup-simplify]: Simplify 1.0 into 1.0
46.458 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in s
46.458 * [taylor]: Taking taylor expansion of 1.0 in s
46.458 * [backup-simplify]: Simplify 1.0 into 1.0
46.458 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in s
46.458 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in s
46.458 * [taylor]: Taking taylor expansion of (exp (- t)) in s
46.458 * [taylor]: Taking taylor expansion of (- t) in s
46.458 * [taylor]: Taking taylor expansion of t in s
46.458 * [backup-simplify]: Simplify t into t
46.458 * [backup-simplify]: Simplify (- t) into (- t)
46.458 * [backup-simplify]: Simplify (- t) into (- t)
46.458 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.458 * [taylor]: Taking taylor expansion of 1.0 in s
46.458 * [backup-simplify]: Simplify 1.0 into 1.0
46.458 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.458 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0))
46.458 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0))
46.458 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.458 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.458 * [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.459 * [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.459 * [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.459 * [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.459 * [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.460 * [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.460 * [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.460 * [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.460 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) in s
46.460 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0))))) in s
46.460 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0)))) in s
46.460 * [taylor]: Taking taylor expansion of c_p in s
46.460 * [backup-simplify]: Simplify c_p into c_p
46.460 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- s)) 1.0))) in s
46.460 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- s)) 1.0)) in s
46.461 * [taylor]: Taking taylor expansion of 1.0 in s
46.461 * [backup-simplify]: Simplify 1.0 into 1.0
46.461 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in s
46.461 * [taylor]: Taking taylor expansion of (exp (- s)) in s
46.461 * [taylor]: Taking taylor expansion of (- s) in s
46.461 * [taylor]: Taking taylor expansion of s in s
46.461 * [backup-simplify]: Simplify 0 into 0
46.461 * [backup-simplify]: Simplify 1 into 1
46.461 * [backup-simplify]: Simplify (- 0) into 0
46.461 * [backup-simplify]: Simplify (- 1) into -1
46.461 * [backup-simplify]: Simplify (exp 0) into 1
46.461 * [taylor]: Taking taylor expansion of 1.0 in s
46.461 * [backup-simplify]: Simplify 1.0 into 1.0
46.461 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0
46.462 * [backup-simplify]: Simplify (/ 1.0 2.0) into 0.5
46.462 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.462 * [backup-simplify]: Simplify (* c_p (log 0.5)) into (* (log 0.5) c_p)
46.462 * [backup-simplify]: Simplify (exp (* (log 0.5) c_p)) into (exp (* (log 0.5) c_p))
46.462 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n) in s
46.462 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))))) in s
46.462 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))))) in s
46.462 * [taylor]: Taking taylor expansion of c_n in s
46.463 * [backup-simplify]: Simplify c_n into c_n
46.463 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) in s
46.463 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) in s
46.463 * [taylor]: Taking taylor expansion of 1.0 in s
46.463 * [backup-simplify]: Simplify 1.0 into 1.0
46.463 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- s)) 1.0))) in s
46.463 * [taylor]: Taking taylor expansion of 1.0 in s
46.463 * [backup-simplify]: Simplify 1.0 into 1.0
46.463 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- s)) 1.0)) in s
46.463 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in s
46.463 * [taylor]: Taking taylor expansion of (exp (- s)) in s
46.463 * [taylor]: Taking taylor expansion of (- s) in s
46.463 * [taylor]: Taking taylor expansion of s in s
46.463 * [backup-simplify]: Simplify 0 into 0
46.463 * [backup-simplify]: Simplify 1 into 1
46.463 * [backup-simplify]: Simplify (- 0) into 0
46.463 * [backup-simplify]: Simplify (- 1) into -1
46.463 * [backup-simplify]: Simplify (exp 0) into 1
46.463 * [taylor]: Taking taylor expansion of 1.0 in s
46.463 * [backup-simplify]: Simplify 1.0 into 1.0
46.463 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0
46.464 * [backup-simplify]: Simplify (/ 1 2.0) into 0.5
46.464 * [backup-simplify]: Simplify (* 1.0 0.5) into 0.5
46.464 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
46.465 * [backup-simplify]: Simplify (+ 1.0 (- 0.5)) into 0.5
46.465 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.465 * [backup-simplify]: Simplify (* c_n (log 0.5)) into (* (log 0.5) c_n)
46.465 * [backup-simplify]: Simplify (exp (* (log 0.5) c_n)) into (exp (* (log 0.5) c_n))
46.465 * [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.465 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) in s
46.466 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) in s
46.466 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) in s
46.466 * [taylor]: Taking taylor expansion of c_p in s
46.466 * [backup-simplify]: Simplify c_p into c_p
46.466 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in s
46.466 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in s
46.466 * [taylor]: Taking taylor expansion of 1.0 in s
46.466 * [backup-simplify]: Simplify 1.0 into 1.0
46.466 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in s
46.466 * [taylor]: Taking taylor expansion of (exp (- t)) in s
46.466 * [taylor]: Taking taylor expansion of (- t) in s
46.466 * [taylor]: Taking taylor expansion of t in s
46.466 * [backup-simplify]: Simplify t into t
46.466 * [backup-simplify]: Simplify (- t) into (- t)
46.466 * [backup-simplify]: Simplify (- t) into (- t)
46.466 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.466 * [taylor]: Taking taylor expansion of 1.0 in s
46.466 * [backup-simplify]: Simplify 1.0 into 1.0
46.466 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.466 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- t)) 1.0)) into (/ 1.0 (+ (exp (- t)) 1.0))
46.466 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- t)) 1.0))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.466 * [backup-simplify]: Simplify (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) into (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))
46.466 * [backup-simplify]: Simplify (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) into (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p)
46.466 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n) in s
46.466 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))))) in s
46.466 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))) in s
46.466 * [taylor]: Taking taylor expansion of c_n in s
46.466 * [backup-simplify]: Simplify c_n into c_n
46.466 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in s
46.466 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in s
46.466 * [taylor]: Taking taylor expansion of 1.0 in s
46.466 * [backup-simplify]: Simplify 1.0 into 1.0
46.466 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in s
46.466 * [taylor]: Taking taylor expansion of 1.0 in s
46.466 * [backup-simplify]: Simplify 1.0 into 1.0
46.467 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in s
46.467 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in s
46.467 * [taylor]: Taking taylor expansion of (exp (- t)) in s
46.467 * [taylor]: Taking taylor expansion of (- t) in s
46.467 * [taylor]: Taking taylor expansion of t in s
46.467 * [backup-simplify]: Simplify t into t
46.467 * [backup-simplify]: Simplify (- t) into (- t)
46.467 * [backup-simplify]: Simplify (- t) into (- t)
46.467 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.467 * [taylor]: Taking taylor expansion of 1.0 in s
46.467 * [backup-simplify]: Simplify 1.0 into 1.0
46.467 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.467 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0))
46.467 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0))
46.467 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.467 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.467 * [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.467 * [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.467 * [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.473 * [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.473 * [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.474 * [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.474 * [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.474 * [taylor]: Taking taylor expansion of (* (exp (* (log 0.5) c_n)) (exp (* (log 0.5) c_p))) in c_p
46.474 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_n)) in c_p
46.474 * [taylor]: Taking taylor expansion of (* (log 0.5) c_n) in c_p
46.474 * [taylor]: Taking taylor expansion of (log 0.5) in c_p
46.474 * [taylor]: Taking taylor expansion of 0.5 in c_p
46.474 * [backup-simplify]: Simplify 0.5 into 0.5
46.475 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.475 * [taylor]: Taking taylor expansion of c_n in c_p
46.475 * [backup-simplify]: Simplify c_n into c_n
46.475 * [backup-simplify]: Simplify (* (log 0.5) c_n) into (* (log 0.5) c_n)
46.475 * [backup-simplify]: Simplify (exp (* (log 0.5) c_n)) into (exp (* (log 0.5) c_n))
46.475 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_p)) in c_p
46.475 * [taylor]: Taking taylor expansion of (* (log 0.5) c_p) in c_p
46.475 * [taylor]: Taking taylor expansion of (log 0.5) in c_p
46.475 * [taylor]: Taking taylor expansion of 0.5 in c_p
46.475 * [backup-simplify]: Simplify 0.5 into 0.5
46.476 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.476 * [taylor]: Taking taylor expansion of c_p in c_p
46.476 * [backup-simplify]: Simplify 0 into 0
46.476 * [backup-simplify]: Simplify 1 into 1
46.476 * [backup-simplify]: Simplify (* (log 0.5) 0) into 0
46.477 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0
46.478 * [backup-simplify]: Simplify (+ (* (log 0.5) 1) (* 0 0)) into (log 0.5)
46.478 * [backup-simplify]: Simplify (exp 0) into 1
46.478 * [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.478 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) in c_p
46.478 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) in c_p
46.478 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) in c_p
46.478 * [taylor]: Taking taylor expansion of c_p in c_p
46.478 * [backup-simplify]: Simplify 0 into 0
46.478 * [backup-simplify]: Simplify 1 into 1
46.478 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in c_p
46.478 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in c_p
46.478 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.478 * [backup-simplify]: Simplify 1.0 into 1.0
46.478 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_p
46.478 * [taylor]: Taking taylor expansion of (exp (- t)) in c_p
46.478 * [taylor]: Taking taylor expansion of (- t) in c_p
46.478 * [taylor]: Taking taylor expansion of t in c_p
46.478 * [backup-simplify]: Simplify t into t
46.478 * [backup-simplify]: Simplify (- t) into (- t)
46.478 * [backup-simplify]: Simplify (- t) into (- t)
46.478 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.478 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.478 * [backup-simplify]: Simplify 1.0 into 1.0
46.478 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.478 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- t)) 1.0)) into (/ 1.0 (+ (exp (- t)) 1.0))
46.479 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- t)) 1.0))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.479 * [backup-simplify]: Simplify (* 0 (log (/ 1.0 (+ (exp (- t)) 1.0)))) into 0
46.479 * [backup-simplify]: Simplify (- t) into (- t)
46.479 * [backup-simplify]: Simplify (- 0) into 0
46.479 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0
46.480 * [backup-simplify]: Simplify (+ 0 0) into 0
46.480 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (- t)) 1.0)) (+ (* (/ 1.0 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0
46.480 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1.0 (+ (exp (- t)) 1.0)) 1)))) 1) into 0
46.481 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (/ 1.0 (+ (exp (- t)) 1.0))))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.481 * [backup-simplify]: Simplify (exp 0) into 1
46.481 * [taylor]: Taking taylor expansion of (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) in c_p
46.481 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n) in c_p
46.481 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_p
46.481 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_p
46.481 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.481 * [backup-simplify]: Simplify 1.0 into 1.0
46.481 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_p
46.481 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.481 * [backup-simplify]: Simplify 1.0 into 1.0
46.481 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_p
46.481 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_p
46.481 * [taylor]: Taking taylor expansion of (exp (- t)) in c_p
46.481 * [taylor]: Taking taylor expansion of (- t) in c_p
46.481 * [taylor]: Taking taylor expansion of t in c_p
46.481 * [backup-simplify]: Simplify t into t
46.481 * [backup-simplify]: Simplify (- t) into (- t)
46.481 * [backup-simplify]: Simplify (- t) into (- t)
46.481 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.481 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.481 * [backup-simplify]: Simplify 1.0 into 1.0
46.481 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.481 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0))
46.481 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0))
46.481 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.481 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.482 * [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.482 * [taylor]: Taking taylor expansion of c_n in c_p
46.482 * [backup-simplify]: Simplify c_n into c_n
46.482 * [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.482 * [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.482 * [backup-simplify]: Simplify (* (exp (* (log 0.5) c_n)) 1) into (exp (* (log 0.5) c_n))
46.482 * [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.483 * [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.483 * [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.483 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_n)) in c_n
46.483 * [taylor]: Taking taylor expansion of (* (log 0.5) c_n) in c_n
46.483 * [taylor]: Taking taylor expansion of (log 0.5) in c_n
46.483 * [taylor]: Taking taylor expansion of 0.5 in c_n
46.483 * [backup-simplify]: Simplify 0.5 into 0.5
46.483 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.483 * [taylor]: Taking taylor expansion of c_n in c_n
46.483 * [backup-simplify]: Simplify 0 into 0
46.483 * [backup-simplify]: Simplify 1 into 1
46.483 * [backup-simplify]: Simplify (* (log 0.5) 0) into 0
46.484 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0
46.485 * [backup-simplify]: Simplify (+ (* (log 0.5) 1) (* 0 0)) into (log 0.5)
46.485 * [backup-simplify]: Simplify (exp 0) into 1
46.485 * [taylor]: Taking taylor expansion of (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) in c_n
46.485 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n) in c_n
46.485 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_n
46.485 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_n
46.485 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.485 * [backup-simplify]: Simplify 1.0 into 1.0
46.485 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_n
46.485 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.485 * [backup-simplify]: Simplify 1.0 into 1.0
46.486 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_n
46.486 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_n
46.486 * [taylor]: Taking taylor expansion of (exp (- t)) in c_n
46.486 * [taylor]: Taking taylor expansion of (- t) in c_n
46.486 * [taylor]: Taking taylor expansion of t in c_n
46.486 * [backup-simplify]: Simplify t into t
46.486 * [backup-simplify]: Simplify (- t) into (- t)
46.486 * [backup-simplify]: Simplify (- t) into (- t)
46.486 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.486 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.486 * [backup-simplify]: Simplify 1.0 into 1.0
46.486 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.486 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0))
46.486 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0))
46.486 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.486 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.486 * [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.486 * [taylor]: Taking taylor expansion of c_n in c_n
46.486 * [backup-simplify]: Simplify 0 into 0
46.486 * [backup-simplify]: Simplify 1 into 1
46.486 * [backup-simplify]: Simplify (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 0) into 0
46.486 * [backup-simplify]: Simplify (- t) into (- t)
46.487 * [backup-simplify]: Simplify (- 0) into 0
46.487 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0
46.487 * [backup-simplify]: Simplify (+ 0 0) into 0
46.487 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0
46.488 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 (+ (exp (- t)) 1.0)))) into 0
46.488 * [backup-simplify]: Simplify (- 0) into 0
46.488 * [backup-simplify]: Simplify (+ 0 0) into 0
46.489 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 1)))) 1) into 0
46.489 * [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.489 * [backup-simplify]: Simplify (exp 0) into 1
46.489 * [backup-simplify]: Simplify (/ 1 1) into 1
46.489 * [taylor]: Taking taylor expansion of 1 in t
46.489 * [backup-simplify]: Simplify 1 into 1
46.489 * [backup-simplify]: Simplify 1 into 1
46.490 * [backup-simplify]: Simplify (- 1) into -1
46.490 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
46.491 * [backup-simplify]: Simplify (+ -1 0) into -1
46.492 * [backup-simplify]: Simplify (- (+ (* 0.5 (/ -1 2.0)))) into 0.25
46.493 * [backup-simplify]: Simplify (+ (* 1.0 0.25) (* 0 0.5)) into 0.25
46.493 * [backup-simplify]: Simplify (- 0.25) into (- 0.25)
46.494 * [backup-simplify]: Simplify (+ 0 (- 0.25)) into (- 0.25)
46.498 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 0.25)) 1)) (pow 0.5 1)))) 1) into -0.5
46.498 * [backup-simplify]: Simplify (+ (* c_n -0.5) (* 0 (log 0.5))) into (- (* 0.5 c_n))
46.499 * [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.499 * [backup-simplify]: Simplify (- 1) into -1
46.499 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
46.500 * [backup-simplify]: Simplify (+ -1 0) into -1
46.501 * [backup-simplify]: Simplify (- (/ 0 2.0) (+ (* 0.5 (/ -1 2.0)))) into 0.25
46.505 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0.25) 1)) (pow 0.5 1)))) 1) into 0.5
46.505 * [backup-simplify]: Simplify (+ (* c_p 0.5) (* 0 (log 0.5))) into (* 0.5 c_p)
46.506 * [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.507 * [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.507 * [backup-simplify]: Simplify (- t) into (- t)
46.507 * [backup-simplify]: Simplify (- 0) into 0
46.508 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0
46.508 * [backup-simplify]: Simplify (+ 0 0) into 0
46.508 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0
46.508 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 (+ (exp (- t)) 1.0)))) into 0
46.509 * [backup-simplify]: Simplify (- 0) into 0
46.509 * [backup-simplify]: Simplify (+ 0 0) into 0
46.509 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 1)))) 1) into 0
46.510 * [backup-simplify]: Simplify (+ (* c_n 0) (* 0 (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))))) into 0
46.510 * [backup-simplify]: Simplify (* (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) (+ (* (/ (pow 0 1) 1)))) into 0
46.510 * [backup-simplify]: Simplify (- t) into (- t)
46.510 * [backup-simplify]: Simplify (- 0) into 0
46.511 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0
46.511 * [backup-simplify]: Simplify (+ 0 0) into 0
46.511 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (- t)) 1.0)) (+ (* (/ 1.0 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0
46.512 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1.0 (+ (exp (- t)) 1.0)) 1)))) 1) into 0
46.512 * [backup-simplify]: Simplify (+ (* c_p 0) (* 0 (log (/ 1.0 (+ (exp (- t)) 1.0))))) into 0
46.512 * [backup-simplify]: Simplify (* (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) (+ (* (/ (pow 0 1) 1)))) into 0
46.513 * [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.515 * [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.515 * [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.515 * [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.515 * [taylor]: Taking taylor expansion of 0.5 in c_p
46.515 * [backup-simplify]: Simplify 0.5 into 0.5
46.515 * [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.515 * [taylor]: Taking taylor expansion of (* (exp (* (log 0.5) c_n)) (* c_p (exp (* (log 0.5) c_p)))) in c_p
46.515 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_n)) in c_p
46.515 * [taylor]: Taking taylor expansion of (* (log 0.5) c_n) in c_p
46.515 * [taylor]: Taking taylor expansion of (log 0.5) in c_p
46.515 * [taylor]: Taking taylor expansion of 0.5 in c_p
46.515 * [backup-simplify]: Simplify 0.5 into 0.5
46.516 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.516 * [taylor]: Taking taylor expansion of c_n in c_p
46.516 * [backup-simplify]: Simplify c_n into c_n
46.516 * [backup-simplify]: Simplify (* (log 0.5) c_n) into (* (log 0.5) c_n)
46.516 * [backup-simplify]: Simplify (exp (* (log 0.5) c_n)) into (exp (* (log 0.5) c_n))
46.516 * [taylor]: Taking taylor expansion of (* c_p (exp (* (log 0.5) c_p))) in c_p
46.516 * [taylor]: Taking taylor expansion of c_p in c_p
46.516 * [backup-simplify]: Simplify 0 into 0
46.516 * [backup-simplify]: Simplify 1 into 1
46.516 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_p)) in c_p
46.516 * [taylor]: Taking taylor expansion of (* (log 0.5) c_p) in c_p
46.516 * [taylor]: Taking taylor expansion of (log 0.5) in c_p
46.516 * [taylor]: Taking taylor expansion of 0.5 in c_p
46.516 * [backup-simplify]: Simplify 0.5 into 0.5
46.517 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.517 * [taylor]: Taking taylor expansion of c_p in c_p
46.517 * [backup-simplify]: Simplify 0 into 0
46.517 * [backup-simplify]: Simplify 1 into 1
46.517 * [backup-simplify]: Simplify (* (log 0.5) 0) into 0
46.518 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0
46.519 * [backup-simplify]: Simplify (+ (* (log 0.5) 1) (* 0 0)) into (log 0.5)
46.519 * [backup-simplify]: Simplify (exp 0) into 1
46.519 * [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.519 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) in c_p
46.519 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) in c_p
46.519 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) in c_p
46.519 * [taylor]: Taking taylor expansion of c_p in c_p
46.519 * [backup-simplify]: Simplify 0 into 0
46.519 * [backup-simplify]: Simplify 1 into 1
46.519 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in c_p
46.519 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in c_p
46.519 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.519 * [backup-simplify]: Simplify 1.0 into 1.0
46.519 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_p
46.519 * [taylor]: Taking taylor expansion of (exp (- t)) in c_p
46.519 * [taylor]: Taking taylor expansion of (- t) in c_p
46.519 * [taylor]: Taking taylor expansion of t in c_p
46.519 * [backup-simplify]: Simplify t into t
46.519 * [backup-simplify]: Simplify (- t) into (- t)
46.519 * [backup-simplify]: Simplify (- t) into (- t)
46.519 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.519 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.519 * [backup-simplify]: Simplify 1.0 into 1.0
46.519 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.519 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- t)) 1.0)) into (/ 1.0 (+ (exp (- t)) 1.0))
46.520 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- t)) 1.0))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.520 * [backup-simplify]: Simplify (* 0 (log (/ 1.0 (+ (exp (- t)) 1.0)))) into 0
46.520 * [backup-simplify]: Simplify (- t) into (- t)
46.520 * [backup-simplify]: Simplify (- 0) into 0
46.520 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0
46.521 * [backup-simplify]: Simplify (+ 0 0) into 0
46.521 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (- t)) 1.0)) (+ (* (/ 1.0 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0
46.521 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1.0 (+ (exp (- t)) 1.0)) 1)))) 1) into 0
46.522 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (/ 1.0 (+ (exp (- t)) 1.0))))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.522 * [backup-simplify]: Simplify (exp 0) into 1
46.522 * [taylor]: Taking taylor expansion of (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) in c_p
46.522 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n) in c_p
46.522 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_p
46.522 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_p
46.522 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.522 * [backup-simplify]: Simplify 1.0 into 1.0
46.522 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_p
46.522 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.522 * [backup-simplify]: Simplify 1.0 into 1.0
46.522 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_p
46.522 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_p
46.522 * [taylor]: Taking taylor expansion of (exp (- t)) in c_p
46.522 * [taylor]: Taking taylor expansion of (- t) in c_p
46.522 * [taylor]: Taking taylor expansion of t in c_p
46.522 * [backup-simplify]: Simplify t into t
46.522 * [backup-simplify]: Simplify (- t) into (- t)
46.522 * [backup-simplify]: Simplify (- t) into (- t)
46.522 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.522 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.522 * [backup-simplify]: Simplify 1.0 into 1.0
46.522 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.522 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0))
46.522 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0))
46.522 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.522 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.523 * [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.523 * [taylor]: Taking taylor expansion of c_n in c_p
46.523 * [backup-simplify]: Simplify c_n into c_n
46.523 * [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.523 * [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.523 * [backup-simplify]: Simplify (* 0 1) into 0
46.523 * [backup-simplify]: Simplify (* (exp (* (log 0.5) c_n)) 0) into 0
46.526 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log 0.5) 1) 1)))) into (log 0.5)
46.526 * [backup-simplify]: Simplify (+ (* 0 (log 0.5)) (* 1 1)) into 1
46.527 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0
46.527 * [backup-simplify]: Simplify (+ (* (log 0.5) 0) (* 0 c_n)) into 0
46.528 * [backup-simplify]: Simplify (* (exp (* (log 0.5) c_n)) (+ (* (/ (pow 0 1) 1)))) into 0
46.528 * [backup-simplify]: Simplify (+ (* (exp (* (log 0.5) c_n)) 1) (* 0 0)) into (exp (* (log 0.5) c_n))
46.529 * [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.529 * [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.529 * [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.529 * [taylor]: Taking taylor expansion of 0.5 in c_p
46.529 * [backup-simplify]: Simplify 0.5 into 0.5
46.529 * [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.529 * [taylor]: Taking taylor expansion of (* (exp (* (log 0.5) c_n)) (* (exp (* (log 0.5) c_p)) c_n)) in c_p
46.529 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_n)) in c_p
46.529 * [taylor]: Taking taylor expansion of (* (log 0.5) c_n) in c_p
46.529 * [taylor]: Taking taylor expansion of (log 0.5) in c_p
46.529 * [taylor]: Taking taylor expansion of 0.5 in c_p
46.529 * [backup-simplify]: Simplify 0.5 into 0.5
46.529 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.530 * [taylor]: Taking taylor expansion of c_n in c_p
46.530 * [backup-simplify]: Simplify c_n into c_n
46.530 * [backup-simplify]: Simplify (* (log 0.5) c_n) into (* (log 0.5) c_n)
46.530 * [backup-simplify]: Simplify (exp (* (log 0.5) c_n)) into (exp (* (log 0.5) c_n))
46.530 * [taylor]: Taking taylor expansion of (* (exp (* (log 0.5) c_p)) c_n) in c_p
46.530 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_p)) in c_p
46.530 * [taylor]: Taking taylor expansion of (* (log 0.5) c_p) in c_p
46.530 * [taylor]: Taking taylor expansion of (log 0.5) in c_p
46.530 * [taylor]: Taking taylor expansion of 0.5 in c_p
46.530 * [backup-simplify]: Simplify 0.5 into 0.5
46.530 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.530 * [taylor]: Taking taylor expansion of c_p in c_p
46.530 * [backup-simplify]: Simplify 0 into 0
46.530 * [backup-simplify]: Simplify 1 into 1
46.531 * [backup-simplify]: Simplify (* (log 0.5) 0) into 0
46.531 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0
46.533 * [backup-simplify]: Simplify (+ (* (log 0.5) 1) (* 0 0)) into (log 0.5)
46.533 * [backup-simplify]: Simplify (exp 0) into 1
46.533 * [taylor]: Taking taylor expansion of c_n in c_p
46.533 * [backup-simplify]: Simplify c_n into c_n
46.533 * [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.533 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) in c_p
46.533 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) in c_p
46.533 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) in c_p
46.533 * [taylor]: Taking taylor expansion of c_p in c_p
46.533 * [backup-simplify]: Simplify 0 into 0
46.533 * [backup-simplify]: Simplify 1 into 1
46.533 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in c_p
46.533 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in c_p
46.533 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.533 * [backup-simplify]: Simplify 1.0 into 1.0
46.533 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_p
46.533 * [taylor]: Taking taylor expansion of (exp (- t)) in c_p
46.533 * [taylor]: Taking taylor expansion of (- t) in c_p
46.533 * [taylor]: Taking taylor expansion of t in c_p
46.533 * [backup-simplify]: Simplify t into t
46.533 * [backup-simplify]: Simplify (- t) into (- t)
46.533 * [backup-simplify]: Simplify (- t) into (- t)
46.533 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.533 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.533 * [backup-simplify]: Simplify 1.0 into 1.0
46.533 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.533 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- t)) 1.0)) into (/ 1.0 (+ (exp (- t)) 1.0))
46.533 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- t)) 1.0))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.533 * [backup-simplify]: Simplify (* 0 (log (/ 1.0 (+ (exp (- t)) 1.0)))) into 0
46.533 * [backup-simplify]: Simplify (- t) into (- t)
46.534 * [backup-simplify]: Simplify (- 0) into 0
46.534 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0
46.534 * [backup-simplify]: Simplify (+ 0 0) into 0
46.535 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (- t)) 1.0)) (+ (* (/ 1.0 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0
46.535 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1.0 (+ (exp (- t)) 1.0)) 1)))) 1) into 0
46.535 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (/ 1.0 (+ (exp (- t)) 1.0))))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.535 * [backup-simplify]: Simplify (exp 0) into 1
46.535 * [taylor]: Taking taylor expansion of (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) in c_p
46.535 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n) in c_p
46.535 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_p
46.535 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_p
46.536 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.536 * [backup-simplify]: Simplify 1.0 into 1.0
46.536 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_p
46.536 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.536 * [backup-simplify]: Simplify 1.0 into 1.0
46.536 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_p
46.536 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_p
46.536 * [taylor]: Taking taylor expansion of (exp (- t)) in c_p
46.536 * [taylor]: Taking taylor expansion of (- t) in c_p
46.536 * [taylor]: Taking taylor expansion of t in c_p
46.536 * [backup-simplify]: Simplify t into t
46.536 * [backup-simplify]: Simplify (- t) into (- t)
46.536 * [backup-simplify]: Simplify (- t) into (- t)
46.536 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.536 * [taylor]: Taking taylor expansion of 1.0 in c_p
46.536 * [backup-simplify]: Simplify 1.0 into 1.0
46.536 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.536 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0))
46.536 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0))
46.536 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.536 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.536 * [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.536 * [taylor]: Taking taylor expansion of c_n in c_p
46.536 * [backup-simplify]: Simplify c_n into c_n
46.536 * [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.537 * [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.537 * [backup-simplify]: Simplify (* 1 c_n) into c_n
46.537 * [backup-simplify]: Simplify (* (exp (* (log 0.5) c_n)) c_n) into (* (exp (* (log 0.5) c_n)) c_n)
46.537 * [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.538 * [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.538 * [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.539 * [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.539 * [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.539 * [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.539 * [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.539 * [taylor]: Taking taylor expansion of 0.5 in c_n
46.539 * [backup-simplify]: Simplify 0.5 into 0.5
46.539 * [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.539 * [taylor]: Taking taylor expansion of (* (exp (* (log 0.5) c_n)) c_n) in c_n
46.539 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_n)) in c_n
46.539 * [taylor]: Taking taylor expansion of (* (log 0.5) c_n) in c_n
46.539 * [taylor]: Taking taylor expansion of (log 0.5) in c_n
46.539 * [taylor]: Taking taylor expansion of 0.5 in c_n
46.539 * [backup-simplify]: Simplify 0.5 into 0.5
46.540 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.540 * [taylor]: Taking taylor expansion of c_n in c_n
46.540 * [backup-simplify]: Simplify 0 into 0
46.540 * [backup-simplify]: Simplify 1 into 1
46.540 * [backup-simplify]: Simplify (* (log 0.5) 0) into 0
46.541 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0
46.542 * [backup-simplify]: Simplify (+ (* (log 0.5) 1) (* 0 0)) into (log 0.5)
46.542 * [backup-simplify]: Simplify (exp 0) into 1
46.542 * [taylor]: Taking taylor expansion of c_n in c_n
46.542 * [backup-simplify]: Simplify 0 into 0
46.542 * [backup-simplify]: Simplify 1 into 1
46.542 * [taylor]: Taking taylor expansion of (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) in c_n
46.542 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n) in c_n
46.542 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_n
46.542 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_n
46.542 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.542 * [backup-simplify]: Simplify 1.0 into 1.0
46.542 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_n
46.542 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.542 * [backup-simplify]: Simplify 1.0 into 1.0
46.542 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_n
46.542 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_n
46.542 * [taylor]: Taking taylor expansion of (exp (- t)) in c_n
46.542 * [taylor]: Taking taylor expansion of (- t) in c_n
46.542 * [taylor]: Taking taylor expansion of t in c_n
46.542 * [backup-simplify]: Simplify t into t
46.542 * [backup-simplify]: Simplify (- t) into (- t)
46.542 * [backup-simplify]: Simplify (- t) into (- t)
46.542 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.542 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.542 * [backup-simplify]: Simplify 1.0 into 1.0
46.542 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.542 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0))
46.542 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0))
46.543 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.543 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.543 * [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.543 * [taylor]: Taking taylor expansion of c_n in c_n
46.543 * [backup-simplify]: Simplify 0 into 0
46.543 * [backup-simplify]: Simplify 1 into 1
46.543 * [backup-simplify]: Simplify (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 0) into 0
46.543 * [backup-simplify]: Simplify (- t) into (- t)
46.543 * [backup-simplify]: Simplify (- 0) into 0
46.544 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0
46.544 * [backup-simplify]: Simplify (+ 0 0) into 0
46.544 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0
46.544 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 (+ (exp (- t)) 1.0)))) into 0
46.545 * [backup-simplify]: Simplify (- 0) into 0
46.545 * [backup-simplify]: Simplify (+ 0 0) into 0
46.545 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 1)))) 1) into 0
46.546 * [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.546 * [backup-simplify]: Simplify (exp 0) into 1
46.546 * [backup-simplify]: Simplify (* 1 0) into 0
46.548 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log 0.5) 1) 1)))) into (log 0.5)
46.549 * [backup-simplify]: Simplify (+ (* 1 1) (* (log 0.5) 0)) into 1
46.549 * [backup-simplify]: Simplify (/ 1 1) into 1
46.551 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log 0.5) 1) 1)))) into (log 0.5)
46.552 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0
46.553 * [backup-simplify]: Simplify (+ (* (log 0.5) 0) (* 0 c_n)) into 0
46.553 * [backup-simplify]: Simplify (* (exp (* (log 0.5) c_n)) (+ (* (/ (pow 0 1) 1)))) into 0
46.554 * [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.554 * [backup-simplify]: Simplify (- t) into (- t)
46.554 * [backup-simplify]: Simplify (- 0) into 0
46.555 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0
46.555 * [backup-simplify]: Simplify (+ 0 0) into 0
46.555 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0
46.556 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 (+ (exp (- t)) 1.0)))) into 0
46.556 * [backup-simplify]: Simplify (- 0) into 0
46.556 * [backup-simplify]: Simplify (+ 0 0) into 0
46.559 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 1)))) 1) into 0
46.559 * [backup-simplify]: Simplify (+ (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 0) (* 0 c_n)) into 0
46.560 * [backup-simplify]: Simplify (* (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) (+ (* (/ (pow 0 1) 1)))) into 0
46.560 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (/ 1.0 (+ (exp (- t)) 1.0))) 1) 1)))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.561 * [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.562 * [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.562 * [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.562 * [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.562 * [taylor]: Taking taylor expansion of (* (log 0.5) (exp (* (log 0.5) c_n))) in c_n
46.562 * [taylor]: Taking taylor expansion of (log 0.5) in c_n
46.562 * [taylor]: Taking taylor expansion of 0.5 in c_n
46.562 * [backup-simplify]: Simplify 0.5 into 0.5
46.563 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.563 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_n)) in c_n
46.563 * [taylor]: Taking taylor expansion of (* (log 0.5) c_n) in c_n
46.563 * [taylor]: Taking taylor expansion of (log 0.5) in c_n
46.563 * [taylor]: Taking taylor expansion of 0.5 in c_n
46.563 * [backup-simplify]: Simplify 0.5 into 0.5
46.563 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.563 * [taylor]: Taking taylor expansion of c_n in c_n
46.563 * [backup-simplify]: Simplify 0 into 0
46.563 * [backup-simplify]: Simplify 1 into 1
46.563 * [backup-simplify]: Simplify (* (log 0.5) 0) into 0
46.564 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0
46.565 * [backup-simplify]: Simplify (+ (* (log 0.5) 1) (* 0 0)) into (log 0.5)
46.565 * [backup-simplify]: Simplify (exp 0) into 1
46.565 * [taylor]: Taking taylor expansion of (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) in c_n
46.565 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n) in c_n
46.565 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_n
46.565 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_n
46.565 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.565 * [backup-simplify]: Simplify 1.0 into 1.0
46.565 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_n
46.565 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.565 * [backup-simplify]: Simplify 1.0 into 1.0
46.565 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_n
46.565 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_n
46.565 * [taylor]: Taking taylor expansion of (exp (- t)) in c_n
46.565 * [taylor]: Taking taylor expansion of (- t) in c_n
46.565 * [taylor]: Taking taylor expansion of t in c_n
46.565 * [backup-simplify]: Simplify t into t
46.565 * [backup-simplify]: Simplify (- t) into (- t)
46.565 * [backup-simplify]: Simplify (- t) into (- t)
46.565 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.566 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.566 * [backup-simplify]: Simplify 1.0 into 1.0
46.566 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.566 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0))
46.566 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0))
46.566 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.566 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.566 * [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.566 * [taylor]: Taking taylor expansion of c_n in c_n
46.566 * [backup-simplify]: Simplify 0 into 0
46.566 * [backup-simplify]: Simplify 1 into 1
46.566 * [backup-simplify]: Simplify (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 0) into 0
46.566 * [backup-simplify]: Simplify (- t) into (- t)
46.566 * [backup-simplify]: Simplify (- 0) into 0
46.567 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0
46.567 * [backup-simplify]: Simplify (+ 0 0) into 0
46.567 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0
46.568 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 (+ (exp (- t)) 1.0)))) into 0
46.568 * [backup-simplify]: Simplify (- 0) into 0
46.568 * [backup-simplify]: Simplify (+ 0 0) into 0
46.569 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 1)))) 1) into 0
46.569 * [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.569 * [backup-simplify]: Simplify (exp 0) into 1
46.569 * [backup-simplify]: Simplify (* (log 0.5) 1) into (log 0.5)
46.570 * [backup-simplify]: Simplify (/ (log 0.5) 1) into (log 0.5)
46.570 * [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.570 * [taylor]: Taking taylor expansion of (* (exp (* (log 0.5) c_n)) (log (/ 1.0 (+ (exp (- t)) 1.0)))) in c_n
46.570 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_n)) in c_n
46.570 * [taylor]: Taking taylor expansion of (* (log 0.5) c_n) in c_n
46.570 * [taylor]: Taking taylor expansion of (log 0.5) in c_n
46.570 * [taylor]: Taking taylor expansion of 0.5 in c_n
46.570 * [backup-simplify]: Simplify 0.5 into 0.5
46.570 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.570 * [taylor]: Taking taylor expansion of c_n in c_n
46.570 * [backup-simplify]: Simplify 0 into 0
46.570 * [backup-simplify]: Simplify 1 into 1
46.571 * [backup-simplify]: Simplify (* (log 0.5) 0) into 0
46.571 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0
46.573 * [backup-simplify]: Simplify (+ (* (log 0.5) 1) (* 0 0)) into (log 0.5)
46.573 * [backup-simplify]: Simplify (exp 0) into 1
46.573 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in c_n
46.573 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in c_n
46.573 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.573 * [backup-simplify]: Simplify 1.0 into 1.0
46.573 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_n
46.573 * [taylor]: Taking taylor expansion of (exp (- t)) in c_n
46.573 * [taylor]: Taking taylor expansion of (- t) in c_n
46.573 * [taylor]: Taking taylor expansion of t in c_n
46.573 * [backup-simplify]: Simplify t into t
46.573 * [backup-simplify]: Simplify (- t) into (- t)
46.573 * [backup-simplify]: Simplify (- t) into (- t)
46.573 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.573 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.573 * [backup-simplify]: Simplify 1.0 into 1.0
46.573 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.573 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- t)) 1.0)) into (/ 1.0 (+ (exp (- t)) 1.0))
46.573 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- t)) 1.0))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.573 * [taylor]: Taking taylor expansion of (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) in c_n
46.573 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n) in c_n
46.573 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_n
46.573 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_n
46.573 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.573 * [backup-simplify]: Simplify 1.0 into 1.0
46.573 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_n
46.573 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.573 * [backup-simplify]: Simplify 1.0 into 1.0
46.573 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_n
46.573 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_n
46.573 * [taylor]: Taking taylor expansion of (exp (- t)) in c_n
46.573 * [taylor]: Taking taylor expansion of (- t) in c_n
46.573 * [taylor]: Taking taylor expansion of t in c_n
46.573 * [backup-simplify]: Simplify t into t
46.573 * [backup-simplify]: Simplify (- t) into (- t)
46.573 * [backup-simplify]: Simplify (- t) into (- t)
46.573 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t))
46.574 * [taylor]: Taking taylor expansion of 1.0 in c_n
46.574 * [backup-simplify]: Simplify 1.0 into 1.0
46.574 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0)
46.574 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0))
46.574 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0))
46.574 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.574 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))
46.574 * [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.574 * [taylor]: Taking taylor expansion of c_n in c_n
46.574 * [backup-simplify]: Simplify 0 into 0
46.574 * [backup-simplify]: Simplify 1 into 1
46.574 * [backup-simplify]: Simplify (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 0) into 0
46.574 * [backup-simplify]: Simplify (- t) into (- t)
46.574 * [backup-simplify]: Simplify (- 0) into 0
46.575 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0
46.575 * [backup-simplify]: Simplify (+ 0 0) into 0
46.575 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0
46.576 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 (+ (exp (- t)) 1.0)))) into 0
46.576 * [backup-simplify]: Simplify (- 0) into 0
46.576 * [backup-simplify]: Simplify (+ 0 0) into 0
46.577 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 1)))) 1) into 0
46.577 * [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.577 * [backup-simplify]: Simplify (exp 0) into 1
46.577 * [backup-simplify]: Simplify (* 1 (log (/ 1.0 (+ (exp (- t)) 1.0)))) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.577 * [backup-simplify]: Simplify (/ (log (/ 1.0 (+ (exp (- t)) 1.0))) 1) into (log (/ 1.0 (+ (exp (- t)) 1.0)))
46.577 * [backup-simplify]: Simplify (- (log (/ 1.0 (+ (exp (- t)) 1.0)))) into (- (log (/ 1.0 (+ (exp (- t)) 1.0))))
46.578 * [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.578 * [taylor]: Taking taylor expansion of (- (log 0.5) (log (/ 1.0 (+ (exp (- t)) 1.0)))) in t
46.578 * [taylor]: Taking taylor expansion of (log 0.5) in t
46.578 * [taylor]: Taking taylor expansion of 0.5 in t
46.578 * [backup-simplify]: Simplify 0.5 into 0.5
46.578 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.578 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in t
46.578 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in t
46.578 * [taylor]: Taking taylor expansion of 1.0 in t
46.578 * [backup-simplify]: Simplify 1.0 into 1.0
46.578 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in t
46.578 * [taylor]: Taking taylor expansion of (exp (- t)) in t
46.578 * [taylor]: Taking taylor expansion of (- t) in t
46.578 * [taylor]: Taking taylor expansion of t in t
46.578 * [backup-simplify]: Simplify 0 into 0
46.578 * [backup-simplify]: Simplify 1 into 1
46.578 * [backup-simplify]: Simplify (- 0) into 0
46.578 * [backup-simplify]: Simplify (- 1) into -1
46.579 * [backup-simplify]: Simplify (exp 0) into 1
46.579 * [taylor]: Taking taylor expansion of 1.0 in t
46.579 * [backup-simplify]: Simplify 1.0 into 1.0
46.579 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0
46.579 * [backup-simplify]: Simplify (/ 1.0 2.0) into 0.5
46.579 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.580 * [backup-simplify]: Simplify (- (log 0.5)) into (- (log 0.5))
46.581 * [backup-simplify]: Simplify (+ (log 0.5) (- (log 0.5))) into 0
46.581 * [backup-simplify]: Simplify 0 into 0
46.583 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log 0.5) 1) 1)))) into (log 0.5)
46.583 * [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.584 * [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.584 * [taylor]: Taking taylor expansion of (- (log 0.5) (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))) in t
46.584 * [taylor]: Taking taylor expansion of (log 0.5) in t
46.584 * [taylor]: Taking taylor expansion of 0.5 in t
46.584 * [backup-simplify]: Simplify 0.5 into 0.5
46.584 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.584 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in t
46.584 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in t
46.584 * [taylor]: Taking taylor expansion of 1.0 in t
46.584 * [backup-simplify]: Simplify 1.0 into 1.0
46.584 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in t
46.585 * [taylor]: Taking taylor expansion of 1.0 in t
46.585 * [backup-simplify]: Simplify 1.0 into 1.0
46.585 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in t
46.585 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in t
46.585 * [taylor]: Taking taylor expansion of (exp (- t)) in t
46.585 * [taylor]: Taking taylor expansion of (- t) in t
46.585 * [taylor]: Taking taylor expansion of t in t
46.585 * [backup-simplify]: Simplify 0 into 0
46.585 * [backup-simplify]: Simplify 1 into 1
46.585 * [backup-simplify]: Simplify (- 0) into 0
46.585 * [backup-simplify]: Simplify (- 1) into -1
46.585 * [backup-simplify]: Simplify (exp 0) into 1
46.585 * [taylor]: Taking taylor expansion of 1.0 in t
46.585 * [backup-simplify]: Simplify 1.0 into 1.0
46.585 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0
46.586 * [backup-simplify]: Simplify (/ 1 2.0) into 0.5
46.586 * [backup-simplify]: Simplify (* 1.0 0.5) into 0.5
46.586 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
46.587 * [backup-simplify]: Simplify (+ 1.0 (- 0.5)) into 0.5
46.587 * [backup-simplify]: Simplify (log 0.5) into (log 0.5)
46.587 * [backup-simplify]: Simplify (- (log 0.5)) into (- (log 0.5))
46.588 * [backup-simplify]: Simplify (+ (log 0.5) (- (log 0.5))) into 0
46.588 * [backup-simplify]: Simplify 0 into 0
46.588 * [backup-simplify]: Simplify 0 into 0
46.589 * [backup-simplify]: Simplify (- 1) into -1
46.589 * [backup-simplify]: Simplify (- 0) into 0
46.590 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
46.590 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
46.593 * [backup-simplify]: Simplify (- (+ (* 0.5 (/ 1/2 2.0)) (* 0.25 (/ -1 2.0)))) into 0
46.593 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0.25) (* 0 0.5))) into 0
46.594 * [backup-simplify]: Simplify (- 0) into 0
46.594 * [backup-simplify]: Simplify (+ 0 0) into 0
46.601 * [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.602 * [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))))