0.204 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 42.520 * * * [progress]: [2/2] Setting up program. 42.525 * [progress]: [Phase 2 of 3] Improving. 42.525 * [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))) 42.525 * * [simplify]: Extracting # 0 : cost 0 42.525 * * [simplify]: Extracting # 1 : cost 0 42.525 * * [simplify]: Extracting # 2 : cost 0 42.525 * * [simplify]: Extracting # 3 : cost 0 42.525 * * [simplify]: Extracting # 4 : cost 0 42.525 * * [simplify]: Extracting # 5 : cost 0 42.526 * * [simplify]: Extracting # 6 : cost 0 42.526 * * [simplify]: Extracting # 7 : cost 0 42.526 * * [simplify]: Extracting # 8 : cost 0 42.526 * * [simplify]: Extracting # 9 : cost 0 42.526 * * [simplify]: Extracting # 10 : cost 0 42.526 * * [simplify]: Extracting # 11 : cost 0 42.526 * * [simplify]: Extracting # 12 : cost 0 42.526 * * [simplify]: iteration 0 : 22 enodes (cost 43 ) 42.529 * * [simplify]: Extracting # 0 : cost 0 42.529 * * [simplify]: Extracting # 1 : cost 0 42.529 * * [simplify]: Extracting # 2 : cost 0 42.529 * * [simplify]: Extracting # 3 : cost 0 42.529 * * [simplify]: Extracting # 4 : cost 0 42.529 * * [simplify]: Extracting # 5 : cost 0 42.529 * * [simplify]: iteration 1 : 53 enodes (cost 43 ) 42.564 * * [simplify]: Extracting # 0 : cost 0 42.564 * * [simplify]: Extracting # 1 : cost 0 42.564 * * [simplify]: Extracting # 2 : cost 0 42.564 * * [simplify]: Extracting # 3 : cost 0 42.564 * * [simplify]: Extracting # 4 : cost 0 42.565 * * [simplify]: iteration 2 : 147 enodes (cost 43 ) 42.631 * * [simplify]: Extracting # 0 : cost 0 42.632 * * [simplify]: Extracting # 1 : cost 0 42.632 * * [simplify]: Extracting # 2 : cost 0 42.633 * * [simplify]: Extracting # 3 : cost 0 42.634 * * [simplify]: Extracting # 4 : cost 0 42.635 * * [simplify]: iteration 3 : 839 enodes (cost 43 ) 43.115 * * [simplify]: Extracting # 0 : cost 0 43.120 * * [simplify]: Extracting # 1 : cost 0 43.127 * * [simplify]: Extracting # 2 : cost 0 43.132 * * [simplify]: Extracting # 3 : cost 0 43.138 * * [simplify]: Extracting # 4 : cost 0 43.146 * * [simplify]: iteration done: 5001 enodes (cost 43 ) 43.146 * [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))) 43.146 * * [progress]: iteration 1 / 4 43.146 * * * [progress]: picking best candidate 43.150 * * * * [pick]: Picked # 43.150 * * * [progress]: localizing error 43.178 * * * [progress]: generating rewritten candidates 43.178 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 43.353 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 43.372 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 43.403 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 43.453 * * * [progress]: generating series expansions 43.453 * * * * [progress]: [ 1 / 4 ] generating series at (2) 43.453 * [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))) 43.454 * [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 43.454 * [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 43.454 * [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 43.454 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) in t 43.454 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0))))) in t 43.454 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0)))) in t 43.454 * [taylor]: Taking taylor expansion of c_p in t 43.454 * [backup-simplify]: Simplify c_p into c_p 43.454 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- s)) 1.0))) in t 43.454 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- s)) 1.0)) in t 43.454 * [taylor]: Taking taylor expansion of 1.0 in t 43.454 * [backup-simplify]: Simplify 1.0 into 1.0 43.454 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in t 43.454 * [taylor]: Taking taylor expansion of (exp (- s)) in t 43.454 * [taylor]: Taking taylor expansion of (- s) in t 43.454 * [taylor]: Taking taylor expansion of s in t 43.454 * [backup-simplify]: Simplify s into s 43.454 * [backup-simplify]: Simplify (- s) into (- s) 43.454 * [backup-simplify]: Simplify (- s) into (- s) 43.454 * [backup-simplify]: Simplify (exp (- s)) into (exp (- s)) 43.454 * [taylor]: Taking taylor expansion of 1.0 in t 43.454 * [backup-simplify]: Simplify 1.0 into 1.0 43.454 * [backup-simplify]: Simplify (+ (exp (- s)) 1.0) into (+ (exp (- s)) 1.0) 43.454 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- s)) 1.0)) into (/ 1.0 (+ (exp (- s)) 1.0)) 43.454 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- s)) 1.0))) into (log (/ 1.0 (+ (exp (- s)) 1.0))) 43.454 * [backup-simplify]: Simplify (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0)))) into (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0)))) 43.455 * [backup-simplify]: Simplify (exp (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0))))) into (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) 43.455 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n) in t 43.455 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))))) in t 43.455 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))))) in t 43.455 * [taylor]: Taking taylor expansion of c_n in t 43.455 * [backup-simplify]: Simplify c_n into c_n 43.455 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) in t 43.455 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) in t 43.455 * [taylor]: Taking taylor expansion of 1.0 in t 43.455 * [backup-simplify]: Simplify 1.0 into 1.0 43.455 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- s)) 1.0))) in t 43.455 * [taylor]: Taking taylor expansion of 1.0 in t 43.455 * [backup-simplify]: Simplify 1.0 into 1.0 43.455 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- s)) 1.0)) in t 43.455 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in t 43.455 * [taylor]: Taking taylor expansion of (exp (- s)) in t 43.455 * [taylor]: Taking taylor expansion of (- s) in t 43.455 * [taylor]: Taking taylor expansion of s in t 43.455 * [backup-simplify]: Simplify s into s 43.455 * [backup-simplify]: Simplify (- s) into (- s) 43.455 * [backup-simplify]: Simplify (- s) into (- s) 43.455 * [backup-simplify]: Simplify (exp (- s)) into (exp (- s)) 43.455 * [taylor]: Taking taylor expansion of 1.0 in t 43.455 * [backup-simplify]: Simplify 1.0 into 1.0 43.455 * [backup-simplify]: Simplify (+ (exp (- s)) 1.0) into (+ (exp (- s)) 1.0) 43.455 * [backup-simplify]: Simplify (/ 1 (+ (exp (- s)) 1.0)) into (/ 1 (+ (exp (- s)) 1.0)) 43.455 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- s)) 1.0))) into (/ 1.0 (+ (exp (- s)) 1.0)) 43.455 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- s)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) 43.455 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) 43.456 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) 43.456 * [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)))))) 43.456 * [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) 43.456 * [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 43.456 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) in t 43.456 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) in t 43.456 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) in t 43.456 * [taylor]: Taking taylor expansion of c_p in t 43.456 * [backup-simplify]: Simplify c_p into c_p 43.456 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in t 43.456 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in t 43.456 * [taylor]: Taking taylor expansion of 1.0 in t 43.456 * [backup-simplify]: Simplify 1.0 into 1.0 43.456 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in t 43.456 * [taylor]: Taking taylor expansion of (exp (- t)) in t 43.456 * [taylor]: Taking taylor expansion of (- t) in t 43.456 * [taylor]: Taking taylor expansion of t in t 43.456 * [backup-simplify]: Simplify 0 into 0 43.456 * [backup-simplify]: Simplify 1 into 1 43.457 * [backup-simplify]: Simplify (- 0) into 0 43.457 * [backup-simplify]: Simplify (- 1) into -1 43.457 * [backup-simplify]: Simplify (exp 0) into 1 43.457 * [taylor]: Taking taylor expansion of 1.0 in t 43.457 * [backup-simplify]: Simplify 1.0 into 1.0 43.457 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0 43.457 * [backup-simplify]: Simplify (/ 1.0 2.0) into 0.5 43.458 * [backup-simplify]: Simplify (log 0.5) into (log 0.5) 43.458 * [backup-simplify]: Simplify (* c_p (log 0.5)) into (* (log 0.5) c_p) 43.458 * [backup-simplify]: Simplify (exp (* (log 0.5) c_p)) into (exp (* (log 0.5) c_p)) 43.458 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n) in t 43.458 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))))) in t 43.458 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))) in t 43.458 * [taylor]: Taking taylor expansion of c_n in t 43.458 * [backup-simplify]: Simplify c_n into c_n 43.458 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in t 43.458 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in t 43.458 * [taylor]: Taking taylor expansion of 1.0 in t 43.458 * [backup-simplify]: Simplify 1.0 into 1.0 43.458 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in t 43.458 * [taylor]: Taking taylor expansion of 1.0 in t 43.458 * [backup-simplify]: Simplify 1.0 into 1.0 43.458 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in t 43.458 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in t 43.458 * [taylor]: Taking taylor expansion of (exp (- t)) in t 43.458 * [taylor]: Taking taylor expansion of (- t) in t 43.458 * [taylor]: Taking taylor expansion of t in t 43.458 * [backup-simplify]: Simplify 0 into 0 43.459 * [backup-simplify]: Simplify 1 into 1 43.459 * [backup-simplify]: Simplify (- 0) into 0 43.459 * [backup-simplify]: Simplify (- 1) into -1 43.459 * [backup-simplify]: Simplify (exp 0) into 1 43.459 * [taylor]: Taking taylor expansion of 1.0 in t 43.459 * [backup-simplify]: Simplify 1.0 into 1.0 43.459 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0 43.460 * [backup-simplify]: Simplify (/ 1 2.0) into 0.5 43.460 * [backup-simplify]: Simplify (* 1.0 0.5) into 0.5 43.460 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 43.460 * [backup-simplify]: Simplify (+ 1.0 (- 0.5)) into 0.5 43.461 * [backup-simplify]: Simplify (log 0.5) into (log 0.5) 43.461 * [backup-simplify]: Simplify (* c_n (log 0.5)) into (* (log 0.5) c_n) 43.461 * [backup-simplify]: Simplify (exp (* (log 0.5) c_n)) into (exp (* (log 0.5) c_n)) 43.462 * [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)) 43.462 * [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))) 43.463 * [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)))) 43.463 * [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 43.463 * [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 43.463 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) in c_n 43.463 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0))))) in c_n 43.463 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0)))) in c_n 43.463 * [taylor]: Taking taylor expansion of c_p in c_n 43.463 * [backup-simplify]: Simplify c_p into c_p 43.463 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- s)) 1.0))) in c_n 43.463 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- s)) 1.0)) in c_n 43.463 * [taylor]: Taking taylor expansion of 1.0 in c_n 43.463 * [backup-simplify]: Simplify 1.0 into 1.0 43.463 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in c_n 43.463 * [taylor]: Taking taylor expansion of (exp (- s)) in c_n 43.463 * [taylor]: Taking taylor expansion of (- s) in c_n 43.463 * [taylor]: Taking taylor expansion of s in c_n 43.463 * [backup-simplify]: Simplify s into s 43.463 * [backup-simplify]: Simplify (- s) into (- s) 43.463 * [backup-simplify]: Simplify (- s) into (- s) 43.463 * [backup-simplify]: Simplify (exp (- s)) into (exp (- s)) 43.463 * [taylor]: Taking taylor expansion of 1.0 in c_n 43.463 * [backup-simplify]: Simplify 1.0 into 1.0 43.463 * [backup-simplify]: Simplify (+ (exp (- s)) 1.0) into (+ (exp (- s)) 1.0) 43.463 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- s)) 1.0)) into (/ 1.0 (+ (exp (- s)) 1.0)) 43.463 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- s)) 1.0))) into (log (/ 1.0 (+ (exp (- s)) 1.0))) 43.464 * [backup-simplify]: Simplify (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0)))) into (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0)))) 43.464 * [backup-simplify]: Simplify (exp (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0))))) into (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) 43.464 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n) in c_n 43.464 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))))) in c_n 43.464 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))))) in c_n 43.464 * [taylor]: Taking taylor expansion of c_n in c_n 43.464 * [backup-simplify]: Simplify 0 into 0 43.464 * [backup-simplify]: Simplify 1 into 1 43.464 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) in c_n 43.464 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) in c_n 43.464 * [taylor]: Taking taylor expansion of 1.0 in c_n 43.464 * [backup-simplify]: Simplify 1.0 into 1.0 43.464 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- s)) 1.0))) in c_n 43.464 * [taylor]: Taking taylor expansion of 1.0 in c_n 43.464 * [backup-simplify]: Simplify 1.0 into 1.0 43.464 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- s)) 1.0)) in c_n 43.464 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in c_n 43.464 * [taylor]: Taking taylor expansion of (exp (- s)) in c_n 43.464 * [taylor]: Taking taylor expansion of (- s) in c_n 43.464 * [taylor]: Taking taylor expansion of s in c_n 43.464 * [backup-simplify]: Simplify s into s 43.464 * [backup-simplify]: Simplify (- s) into (- s) 43.464 * [backup-simplify]: Simplify (- s) into (- s) 43.464 * [backup-simplify]: Simplify (exp (- s)) into (exp (- s)) 43.464 * [taylor]: Taking taylor expansion of 1.0 in c_n 43.464 * [backup-simplify]: Simplify 1.0 into 1.0 43.464 * [backup-simplify]: Simplify (+ (exp (- s)) 1.0) into (+ (exp (- s)) 1.0) 43.464 * [backup-simplify]: Simplify (/ 1 (+ (exp (- s)) 1.0)) into (/ 1 (+ (exp (- s)) 1.0)) 43.464 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- s)) 1.0))) into (/ 1.0 (+ (exp (- s)) 1.0)) 43.464 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- s)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) 43.465 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) 43.465 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) 43.465 * [backup-simplify]: Simplify (* 0 (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))))) into 0 43.465 * [backup-simplify]: Simplify (- s) into (- s) 43.465 * [backup-simplify]: Simplify (- 0) into 0 43.466 * [backup-simplify]: Simplify (* (exp (- s)) (+ (* (/ (pow 0 1) 1)))) into 0 43.466 * [backup-simplify]: Simplify (+ 0 0) into 0 43.466 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (- s)) 1.0)) (/ 0 (+ (exp (- s)) 1.0))))) into 0 43.466 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 (+ (exp (- s)) 1.0)))) into 0 43.466 * [backup-simplify]: Simplify (- 0) into 0 43.467 * [backup-simplify]: Simplify (+ 0 0) into 0 43.467 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) 1)))) 1) into 0 43.468 * [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))))) 43.468 * [backup-simplify]: Simplify (exp 0) into 1 43.468 * [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 43.468 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) in c_n 43.468 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) in c_n 43.468 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) in c_n 43.468 * [taylor]: Taking taylor expansion of c_p in c_n 43.468 * [backup-simplify]: Simplify c_p into c_p 43.468 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in c_n 43.468 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in c_n 43.468 * [taylor]: Taking taylor expansion of 1.0 in c_n 43.468 * [backup-simplify]: Simplify 1.0 into 1.0 43.468 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_n 43.468 * [taylor]: Taking taylor expansion of (exp (- t)) in c_n 43.468 * [taylor]: Taking taylor expansion of (- t) in c_n 43.468 * [taylor]: Taking taylor expansion of t in c_n 43.468 * [backup-simplify]: Simplify t into t 43.468 * [backup-simplify]: Simplify (- t) into (- t) 43.468 * [backup-simplify]: Simplify (- t) into (- t) 43.468 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t)) 43.468 * [taylor]: Taking taylor expansion of 1.0 in c_n 43.468 * [backup-simplify]: Simplify 1.0 into 1.0 43.468 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0) 43.468 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- t)) 1.0)) into (/ 1.0 (+ (exp (- t)) 1.0)) 43.468 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- t)) 1.0))) into (log (/ 1.0 (+ (exp (- t)) 1.0))) 43.468 * [backup-simplify]: Simplify (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) into (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) 43.468 * [backup-simplify]: Simplify (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) into (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) 43.468 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n) in c_n 43.468 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))))) in c_n 43.468 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))) in c_n 43.469 * [taylor]: Taking taylor expansion of c_n in c_n 43.469 * [backup-simplify]: Simplify 0 into 0 43.469 * [backup-simplify]: Simplify 1 into 1 43.469 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_n 43.469 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_n 43.469 * [taylor]: Taking taylor expansion of 1.0 in c_n 43.469 * [backup-simplify]: Simplify 1.0 into 1.0 43.469 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_n 43.469 * [taylor]: Taking taylor expansion of 1.0 in c_n 43.469 * [backup-simplify]: Simplify 1.0 into 1.0 43.469 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_n 43.469 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_n 43.469 * [taylor]: Taking taylor expansion of (exp (- t)) in c_n 43.469 * [taylor]: Taking taylor expansion of (- t) in c_n 43.469 * [taylor]: Taking taylor expansion of t in c_n 43.469 * [backup-simplify]: Simplify t into t 43.469 * [backup-simplify]: Simplify (- t) into (- t) 43.469 * [backup-simplify]: Simplify (- t) into (- t) 43.469 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t)) 43.469 * [taylor]: Taking taylor expansion of 1.0 in c_n 43.469 * [backup-simplify]: Simplify 1.0 into 1.0 43.469 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0) 43.469 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0)) 43.469 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0)) 43.469 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 43.469 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 43.469 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 43.470 * [backup-simplify]: Simplify (* 0 (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))) into 0 43.470 * [backup-simplify]: Simplify (- t) into (- t) 43.470 * [backup-simplify]: Simplify (- 0) into 0 43.470 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0 43.470 * [backup-simplify]: Simplify (+ 0 0) into 0 43.471 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0 43.471 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 (+ (exp (- t)) 1.0)))) into 0 43.471 * [backup-simplify]: Simplify (- 0) into 0 43.471 * [backup-simplify]: Simplify (+ 0 0) into 0 43.472 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 1)))) 1) into 0 43.472 * [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))))) 43.472 * [backup-simplify]: Simplify (exp 0) into 1 43.472 * [backup-simplify]: Simplify (* (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) 1) into (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) 43.473 * [backup-simplify]: Simplify (* (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) 1) into (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) 43.473 * [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)) 43.473 * [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 43.473 * [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 43.473 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) in c_p 43.473 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0))))) in c_p 43.473 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0)))) in c_p 43.473 * [taylor]: Taking taylor expansion of c_p in c_p 43.473 * [backup-simplify]: Simplify 0 into 0 43.473 * [backup-simplify]: Simplify 1 into 1 43.473 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- s)) 1.0))) in c_p 43.473 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- s)) 1.0)) in c_p 43.473 * [taylor]: Taking taylor expansion of 1.0 in c_p 43.473 * [backup-simplify]: Simplify 1.0 into 1.0 43.473 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in c_p 43.473 * [taylor]: Taking taylor expansion of (exp (- s)) in c_p 43.473 * [taylor]: Taking taylor expansion of (- s) in c_p 43.473 * [taylor]: Taking taylor expansion of s in c_p 43.473 * [backup-simplify]: Simplify s into s 43.473 * [backup-simplify]: Simplify (- s) into (- s) 43.473 * [backup-simplify]: Simplify (- s) into (- s) 43.473 * [backup-simplify]: Simplify (exp (- s)) into (exp (- s)) 43.473 * [taylor]: Taking taylor expansion of 1.0 in c_p 43.473 * [backup-simplify]: Simplify 1.0 into 1.0 43.473 * [backup-simplify]: Simplify (+ (exp (- s)) 1.0) into (+ (exp (- s)) 1.0) 43.473 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- s)) 1.0)) into (/ 1.0 (+ (exp (- s)) 1.0)) 43.473 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- s)) 1.0))) into (log (/ 1.0 (+ (exp (- s)) 1.0))) 43.474 * [backup-simplify]: Simplify (* 0 (log (/ 1.0 (+ (exp (- s)) 1.0)))) into 0 43.474 * [backup-simplify]: Simplify (- s) into (- s) 43.474 * [backup-simplify]: Simplify (- 0) into 0 43.474 * [backup-simplify]: Simplify (* (exp (- s)) (+ (* (/ (pow 0 1) 1)))) into 0 43.474 * [backup-simplify]: Simplify (+ 0 0) into 0 43.475 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (- s)) 1.0)) (+ (* (/ 1.0 (+ (exp (- s)) 1.0)) (/ 0 (+ (exp (- s)) 1.0))))) into 0 43.475 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1.0 (+ (exp (- s)) 1.0)) 1)))) 1) into 0 43.475 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (/ 1.0 (+ (exp (- s)) 1.0))))) into (log (/ 1.0 (+ (exp (- s)) 1.0))) 43.475 * [backup-simplify]: Simplify (exp 0) into 1 43.476 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n) in c_p 43.476 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))))) in c_p 43.476 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))))) in c_p 43.476 * [taylor]: Taking taylor expansion of c_n in c_p 43.476 * [backup-simplify]: Simplify c_n into c_n 43.476 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) in c_p 43.476 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) in c_p 43.476 * [taylor]: Taking taylor expansion of 1.0 in c_p 43.476 * [backup-simplify]: Simplify 1.0 into 1.0 43.476 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- s)) 1.0))) in c_p 43.476 * [taylor]: Taking taylor expansion of 1.0 in c_p 43.476 * [backup-simplify]: Simplify 1.0 into 1.0 43.476 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- s)) 1.0)) in c_p 43.476 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in c_p 43.476 * [taylor]: Taking taylor expansion of (exp (- s)) in c_p 43.476 * [taylor]: Taking taylor expansion of (- s) in c_p 43.476 * [taylor]: Taking taylor expansion of s in c_p 43.476 * [backup-simplify]: Simplify s into s 43.476 * [backup-simplify]: Simplify (- s) into (- s) 43.476 * [backup-simplify]: Simplify (- s) into (- s) 43.476 * [backup-simplify]: Simplify (exp (- s)) into (exp (- s)) 43.476 * [taylor]: Taking taylor expansion of 1.0 in c_p 43.476 * [backup-simplify]: Simplify 1.0 into 1.0 43.476 * [backup-simplify]: Simplify (+ (exp (- s)) 1.0) into (+ (exp (- s)) 1.0) 43.476 * [backup-simplify]: Simplify (/ 1 (+ (exp (- s)) 1.0)) into (/ 1 (+ (exp (- s)) 1.0)) 43.476 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- s)) 1.0))) into (/ 1.0 (+ (exp (- s)) 1.0)) 43.476 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- s)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) 43.476 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) 43.476 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) 43.477 * [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)))))) 43.477 * [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) 43.477 * [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 43.477 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) in c_p 43.477 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) in c_p 43.477 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) in c_p 43.477 * [taylor]: Taking taylor expansion of c_p in c_p 43.477 * [backup-simplify]: Simplify 0 into 0 43.477 * [backup-simplify]: Simplify 1 into 1 43.477 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in c_p 43.477 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in c_p 43.477 * [taylor]: Taking taylor expansion of 1.0 in c_p 43.477 * [backup-simplify]: Simplify 1.0 into 1.0 43.477 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_p 43.477 * [taylor]: Taking taylor expansion of (exp (- t)) in c_p 43.477 * [taylor]: Taking taylor expansion of (- t) in c_p 43.477 * [taylor]: Taking taylor expansion of t in c_p 43.477 * [backup-simplify]: Simplify t into t 43.477 * [backup-simplify]: Simplify (- t) into (- t) 43.477 * [backup-simplify]: Simplify (- t) into (- t) 43.477 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t)) 43.477 * [taylor]: Taking taylor expansion of 1.0 in c_p 43.477 * [backup-simplify]: Simplify 1.0 into 1.0 43.477 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0) 43.477 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- t)) 1.0)) into (/ 1.0 (+ (exp (- t)) 1.0)) 43.477 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- t)) 1.0))) into (log (/ 1.0 (+ (exp (- t)) 1.0))) 43.477 * [backup-simplify]: Simplify (* 0 (log (/ 1.0 (+ (exp (- t)) 1.0)))) into 0 43.477 * [backup-simplify]: Simplify (- t) into (- t) 43.478 * [backup-simplify]: Simplify (- 0) into 0 43.478 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0 43.478 * [backup-simplify]: Simplify (+ 0 0) into 0 43.479 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (- t)) 1.0)) (+ (* (/ 1.0 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0 43.479 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1.0 (+ (exp (- t)) 1.0)) 1)))) 1) into 0 43.480 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (/ 1.0 (+ (exp (- t)) 1.0))))) into (log (/ 1.0 (+ (exp (- t)) 1.0))) 43.480 * [backup-simplify]: Simplify (exp 0) into 1 43.480 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n) in c_p 43.480 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))))) in c_p 43.480 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))) in c_p 43.480 * [taylor]: Taking taylor expansion of c_n in c_p 43.480 * [backup-simplify]: Simplify c_n into c_n 43.480 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_p 43.480 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_p 43.480 * [taylor]: Taking taylor expansion of 1.0 in c_p 43.480 * [backup-simplify]: Simplify 1.0 into 1.0 43.480 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_p 43.480 * [taylor]: Taking taylor expansion of 1.0 in c_p 43.480 * [backup-simplify]: Simplify 1.0 into 1.0 43.480 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_p 43.480 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_p 43.480 * [taylor]: Taking taylor expansion of (exp (- t)) in c_p 43.480 * [taylor]: Taking taylor expansion of (- t) in c_p 43.480 * [taylor]: Taking taylor expansion of t in c_p 43.480 * [backup-simplify]: Simplify t into t 43.480 * [backup-simplify]: Simplify (- t) into (- t) 43.480 * [backup-simplify]: Simplify (- t) into (- t) 43.480 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t)) 43.480 * [taylor]: Taking taylor expansion of 1.0 in c_p 43.480 * [backup-simplify]: Simplify 1.0 into 1.0 43.480 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0) 43.480 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0)) 43.480 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0)) 43.480 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 43.481 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 43.481 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 43.481 * [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) 43.481 * [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)) 43.481 * [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) 43.481 * [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)) 43.482 * [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))) 43.482 * [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 43.482 * [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 43.482 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) in s 43.482 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0))))) in s 43.482 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0)))) in s 43.482 * [taylor]: Taking taylor expansion of c_p in s 43.482 * [backup-simplify]: Simplify c_p into c_p 43.482 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- s)) 1.0))) in s 43.482 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- s)) 1.0)) in s 43.482 * [taylor]: Taking taylor expansion of 1.0 in s 43.482 * [backup-simplify]: Simplify 1.0 into 1.0 43.482 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in s 43.482 * [taylor]: Taking taylor expansion of (exp (- s)) in s 43.482 * [taylor]: Taking taylor expansion of (- s) in s 43.482 * [taylor]: Taking taylor expansion of s in s 43.482 * [backup-simplify]: Simplify 0 into 0 43.482 * [backup-simplify]: Simplify 1 into 1 43.482 * [backup-simplify]: Simplify (- 0) into 0 43.482 * [backup-simplify]: Simplify (- 1) into -1 43.482 * [backup-simplify]: Simplify (exp 0) into 1 43.482 * [taylor]: Taking taylor expansion of 1.0 in s 43.482 * [backup-simplify]: Simplify 1.0 into 1.0 43.483 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0 43.483 * [backup-simplify]: Simplify (/ 1.0 2.0) into 0.5 43.483 * [backup-simplify]: Simplify (log 0.5) into (log 0.5) 43.483 * [backup-simplify]: Simplify (* c_p (log 0.5)) into (* (log 0.5) c_p) 43.484 * [backup-simplify]: Simplify (exp (* (log 0.5) c_p)) into (exp (* (log 0.5) c_p)) 43.484 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n) in s 43.484 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))))) in s 43.484 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))))) in s 43.484 * [taylor]: Taking taylor expansion of c_n in s 43.484 * [backup-simplify]: Simplify c_n into c_n 43.484 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) in s 43.484 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) in s 43.484 * [taylor]: Taking taylor expansion of 1.0 in s 43.484 * [backup-simplify]: Simplify 1.0 into 1.0 43.484 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- s)) 1.0))) in s 43.484 * [taylor]: Taking taylor expansion of 1.0 in s 43.484 * [backup-simplify]: Simplify 1.0 into 1.0 43.484 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- s)) 1.0)) in s 43.484 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in s 43.484 * [taylor]: Taking taylor expansion of (exp (- s)) in s 43.484 * [taylor]: Taking taylor expansion of (- s) in s 43.484 * [taylor]: Taking taylor expansion of s in s 43.484 * [backup-simplify]: Simplify 0 into 0 43.484 * [backup-simplify]: Simplify 1 into 1 43.484 * [backup-simplify]: Simplify (- 0) into 0 43.484 * [backup-simplify]: Simplify (- 1) into -1 43.484 * [backup-simplify]: Simplify (exp 0) into 1 43.484 * [taylor]: Taking taylor expansion of 1.0 in s 43.485 * [backup-simplify]: Simplify 1.0 into 1.0 43.485 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0 43.485 * [backup-simplify]: Simplify (/ 1 2.0) into 0.5 43.485 * [backup-simplify]: Simplify (* 1.0 0.5) into 0.5 43.486 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 43.486 * [backup-simplify]: Simplify (+ 1.0 (- 0.5)) into 0.5 43.486 * [backup-simplify]: Simplify (log 0.5) into (log 0.5) 43.487 * [backup-simplify]: Simplify (* c_n (log 0.5)) into (* (log 0.5) c_n) 43.487 * [backup-simplify]: Simplify (exp (* (log 0.5) c_n)) into (exp (* (log 0.5) c_n)) 43.487 * [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 43.487 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) in s 43.487 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) in s 43.487 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) in s 43.487 * [taylor]: Taking taylor expansion of c_p in s 43.487 * [backup-simplify]: Simplify c_p into c_p 43.487 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in s 43.487 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in s 43.487 * [taylor]: Taking taylor expansion of 1.0 in s 43.487 * [backup-simplify]: Simplify 1.0 into 1.0 43.487 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in s 43.487 * [taylor]: Taking taylor expansion of (exp (- t)) in s 43.487 * [taylor]: Taking taylor expansion of (- t) in s 43.487 * [taylor]: Taking taylor expansion of t in s 43.487 * [backup-simplify]: Simplify t into t 43.487 * [backup-simplify]: Simplify (- t) into (- t) 43.487 * [backup-simplify]: Simplify (- t) into (- t) 43.487 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t)) 43.487 * [taylor]: Taking taylor expansion of 1.0 in s 43.487 * [backup-simplify]: Simplify 1.0 into 1.0 43.487 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0) 43.487 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- t)) 1.0)) into (/ 1.0 (+ (exp (- t)) 1.0)) 43.487 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- t)) 1.0))) into (log (/ 1.0 (+ (exp (- t)) 1.0))) 43.488 * [backup-simplify]: Simplify (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) into (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) 43.488 * [backup-simplify]: Simplify (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) into (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) 43.488 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n) in s 43.488 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))))) in s 43.488 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))) in s 43.488 * [taylor]: Taking taylor expansion of c_n in s 43.488 * [backup-simplify]: Simplify c_n into c_n 43.488 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in s 43.488 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in s 43.488 * [taylor]: Taking taylor expansion of 1.0 in s 43.488 * [backup-simplify]: Simplify 1.0 into 1.0 43.488 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in s 43.488 * [taylor]: Taking taylor expansion of 1.0 in s 43.488 * [backup-simplify]: Simplify 1.0 into 1.0 43.488 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in s 43.488 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in s 43.488 * [taylor]: Taking taylor expansion of (exp (- t)) in s 43.488 * [taylor]: Taking taylor expansion of (- t) in s 43.488 * [taylor]: Taking taylor expansion of t in s 43.488 * [backup-simplify]: Simplify t into t 43.488 * [backup-simplify]: Simplify (- t) into (- t) 43.488 * [backup-simplify]: Simplify (- t) into (- t) 43.488 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t)) 43.488 * [taylor]: Taking taylor expansion of 1.0 in s 43.488 * [backup-simplify]: Simplify 1.0 into 1.0 43.488 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0) 43.488 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0)) 43.488 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0)) 43.488 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 43.488 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 43.489 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 43.489 * [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) 43.489 * [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)) 43.489 * [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))) 43.490 * [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))) 43.490 * [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)))) 43.491 * [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 43.491 * [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 43.491 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- s)) 1.0)) c_p) in s 43.491 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0))))) in s 43.491 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- s)) 1.0)))) in s 43.491 * [taylor]: Taking taylor expansion of c_p in s 43.491 * [backup-simplify]: Simplify c_p into c_p 43.491 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- s)) 1.0))) in s 43.491 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- s)) 1.0)) in s 43.491 * [taylor]: Taking taylor expansion of 1.0 in s 43.491 * [backup-simplify]: Simplify 1.0 into 1.0 43.491 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in s 43.491 * [taylor]: Taking taylor expansion of (exp (- s)) in s 43.491 * [taylor]: Taking taylor expansion of (- s) in s 43.491 * [taylor]: Taking taylor expansion of s in s 43.491 * [backup-simplify]: Simplify 0 into 0 43.491 * [backup-simplify]: Simplify 1 into 1 43.491 * [backup-simplify]: Simplify (- 0) into 0 43.491 * [backup-simplify]: Simplify (- 1) into -1 43.491 * [backup-simplify]: Simplify (exp 0) into 1 43.491 * [taylor]: Taking taylor expansion of 1.0 in s 43.491 * [backup-simplify]: Simplify 1.0 into 1.0 43.492 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0 43.492 * [backup-simplify]: Simplify (/ 1.0 2.0) into 0.5 43.492 * [backup-simplify]: Simplify (log 0.5) into (log 0.5) 43.492 * [backup-simplify]: Simplify (* c_p (log 0.5)) into (* (log 0.5) c_p) 43.493 * [backup-simplify]: Simplify (exp (* (log 0.5) c_p)) into (exp (* (log 0.5) c_p)) 43.493 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) c_n) in s 43.493 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))))) in s 43.493 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))))) in s 43.493 * [taylor]: Taking taylor expansion of c_n in s 43.493 * [backup-simplify]: Simplify c_n into c_n 43.493 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0))))) in s 43.493 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- s)) 1.0)))) in s 43.493 * [taylor]: Taking taylor expansion of 1.0 in s 43.493 * [backup-simplify]: Simplify 1.0 into 1.0 43.493 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- s)) 1.0))) in s 43.493 * [taylor]: Taking taylor expansion of 1.0 in s 43.493 * [backup-simplify]: Simplify 1.0 into 1.0 43.493 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- s)) 1.0)) in s 43.493 * [taylor]: Taking taylor expansion of (+ (exp (- s)) 1.0) in s 43.493 * [taylor]: Taking taylor expansion of (exp (- s)) in s 43.493 * [taylor]: Taking taylor expansion of (- s) in s 43.493 * [taylor]: Taking taylor expansion of s in s 43.493 * [backup-simplify]: Simplify 0 into 0 43.493 * [backup-simplify]: Simplify 1 into 1 43.493 * [backup-simplify]: Simplify (- 0) into 0 43.493 * [backup-simplify]: Simplify (- 1) into -1 43.493 * [backup-simplify]: Simplify (exp 0) into 1 43.493 * [taylor]: Taking taylor expansion of 1.0 in s 43.493 * [backup-simplify]: Simplify 1.0 into 1.0 43.494 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0 43.494 * [backup-simplify]: Simplify (/ 1 2.0) into 0.5 43.494 * [backup-simplify]: Simplify (* 1.0 0.5) into 0.5 43.494 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 43.495 * [backup-simplify]: Simplify (+ 1.0 (- 0.5)) into 0.5 43.495 * [backup-simplify]: Simplify (log 0.5) into (log 0.5) 43.495 * [backup-simplify]: Simplify (* c_n (log 0.5)) into (* (log 0.5) c_n) 43.496 * [backup-simplify]: Simplify (exp (* (log 0.5) c_n)) into (exp (* (log 0.5) c_n)) 43.496 * [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 43.496 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) in s 43.496 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) in s 43.496 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) in s 43.496 * [taylor]: Taking taylor expansion of c_p in s 43.496 * [backup-simplify]: Simplify c_p into c_p 43.496 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in s 43.496 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in s 43.496 * [taylor]: Taking taylor expansion of 1.0 in s 43.496 * [backup-simplify]: Simplify 1.0 into 1.0 43.496 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in s 43.496 * [taylor]: Taking taylor expansion of (exp (- t)) in s 43.496 * [taylor]: Taking taylor expansion of (- t) in s 43.496 * [taylor]: Taking taylor expansion of t in s 43.496 * [backup-simplify]: Simplify t into t 43.496 * [backup-simplify]: Simplify (- t) into (- t) 43.496 * [backup-simplify]: Simplify (- t) into (- t) 43.496 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t)) 43.496 * [taylor]: Taking taylor expansion of 1.0 in s 43.496 * [backup-simplify]: Simplify 1.0 into 1.0 43.496 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0) 43.496 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- t)) 1.0)) into (/ 1.0 (+ (exp (- t)) 1.0)) 43.496 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- t)) 1.0))) into (log (/ 1.0 (+ (exp (- t)) 1.0))) 43.496 * [backup-simplify]: Simplify (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) into (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) 43.497 * [backup-simplify]: Simplify (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) into (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) 43.497 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) c_n) in s 43.497 * [taylor]: Taking taylor expansion of (exp (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))))) in s 43.497 * [taylor]: Taking taylor expansion of (* c_n (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))) in s 43.497 * [taylor]: Taking taylor expansion of c_n in s 43.497 * [backup-simplify]: Simplify c_n into c_n 43.497 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in s 43.497 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in s 43.497 * [taylor]: Taking taylor expansion of 1.0 in s 43.497 * [backup-simplify]: Simplify 1.0 into 1.0 43.497 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in s 43.497 * [taylor]: Taking taylor expansion of 1.0 in s 43.497 * [backup-simplify]: Simplify 1.0 into 1.0 43.497 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in s 43.497 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in s 43.497 * [taylor]: Taking taylor expansion of (exp (- t)) in s 43.497 * [taylor]: Taking taylor expansion of (- t) in s 43.497 * [taylor]: Taking taylor expansion of t in s 43.497 * [backup-simplify]: Simplify t into t 43.497 * [backup-simplify]: Simplify (- t) into (- t) 43.497 * [backup-simplify]: Simplify (- t) into (- t) 43.497 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t)) 43.497 * [taylor]: Taking taylor expansion of 1.0 in s 43.497 * [backup-simplify]: Simplify 1.0 into 1.0 43.497 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0) 43.497 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0)) 43.497 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0)) 43.497 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 43.497 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 43.498 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 43.498 * [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) 43.498 * [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)) 43.498 * [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))) 43.499 * [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))) 43.499 * [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)))) 43.499 * [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 43.499 * [taylor]: Taking taylor expansion of (* (exp (* (log 0.5) c_n)) (exp (* (log 0.5) c_p))) in c_p 43.500 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_n)) in c_p 43.500 * [taylor]: Taking taylor expansion of (* (log 0.5) c_n) in c_p 43.500 * [taylor]: Taking taylor expansion of (log 0.5) in c_p 43.500 * [taylor]: Taking taylor expansion of 0.5 in c_p 43.500 * [backup-simplify]: Simplify 0.5 into 0.5 43.500 * [backup-simplify]: Simplify (log 0.5) into (log 0.5) 43.500 * [taylor]: Taking taylor expansion of c_n in c_p 43.500 * [backup-simplify]: Simplify c_n into c_n 43.500 * [backup-simplify]: Simplify (* (log 0.5) c_n) into (* (log 0.5) c_n) 43.500 * [backup-simplify]: Simplify (exp (* (log 0.5) c_n)) into (exp (* (log 0.5) c_n)) 43.500 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_p)) in c_p 43.500 * [taylor]: Taking taylor expansion of (* (log 0.5) c_p) in c_p 43.500 * [taylor]: Taking taylor expansion of (log 0.5) in c_p 43.501 * [taylor]: Taking taylor expansion of 0.5 in c_p 43.501 * [backup-simplify]: Simplify 0.5 into 0.5 43.501 * [backup-simplify]: Simplify (log 0.5) into (log 0.5) 43.501 * [taylor]: Taking taylor expansion of c_p in c_p 43.501 * [backup-simplify]: Simplify 0 into 0 43.501 * [backup-simplify]: Simplify 1 into 1 43.501 * [backup-simplify]: Simplify (* (log 0.5) 0) into 0 43.502 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0 43.503 * [backup-simplify]: Simplify (+ (* (log 0.5) 1) (* 0 0)) into (log 0.5) 43.503 * [backup-simplify]: Simplify (exp 0) into 1 43.503 * [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 43.503 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) in c_p 43.503 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) in c_p 43.503 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) in c_p 43.503 * [taylor]: Taking taylor expansion of c_p in c_p 43.503 * [backup-simplify]: Simplify 0 into 0 43.503 * [backup-simplify]: Simplify 1 into 1 43.503 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in c_p 43.503 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in c_p 43.503 * [taylor]: Taking taylor expansion of 1.0 in c_p 43.503 * [backup-simplify]: Simplify 1.0 into 1.0 43.503 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_p 43.503 * [taylor]: Taking taylor expansion of (exp (- t)) in c_p 43.503 * [taylor]: Taking taylor expansion of (- t) in c_p 43.503 * [taylor]: Taking taylor expansion of t in c_p 43.503 * [backup-simplify]: Simplify t into t 43.503 * [backup-simplify]: Simplify (- t) into (- t) 43.503 * [backup-simplify]: Simplify (- t) into (- t) 43.504 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t)) 43.504 * [taylor]: Taking taylor expansion of 1.0 in c_p 43.504 * [backup-simplify]: Simplify 1.0 into 1.0 43.504 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0) 43.504 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- t)) 1.0)) into (/ 1.0 (+ (exp (- t)) 1.0)) 43.504 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- t)) 1.0))) into (log (/ 1.0 (+ (exp (- t)) 1.0))) 43.504 * [backup-simplify]: Simplify (* 0 (log (/ 1.0 (+ (exp (- t)) 1.0)))) into 0 43.504 * [backup-simplify]: Simplify (- t) into (- t) 43.504 * [backup-simplify]: Simplify (- 0) into 0 43.505 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0 43.505 * [backup-simplify]: Simplify (+ 0 0) into 0 43.505 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (- t)) 1.0)) (+ (* (/ 1.0 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0 43.506 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1.0 (+ (exp (- t)) 1.0)) 1)))) 1) into 0 43.506 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (/ 1.0 (+ (exp (- t)) 1.0))))) into (log (/ 1.0 (+ (exp (- t)) 1.0))) 43.506 * [backup-simplify]: Simplify (exp 0) into 1 43.506 * [taylor]: Taking taylor expansion of (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) in c_p 43.506 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n) in c_p 43.506 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_p 43.506 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_p 43.506 * [taylor]: Taking taylor expansion of 1.0 in c_p 43.506 * [backup-simplify]: Simplify 1.0 into 1.0 43.506 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_p 43.506 * [taylor]: Taking taylor expansion of 1.0 in c_p 43.506 * [backup-simplify]: Simplify 1.0 into 1.0 43.506 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_p 43.506 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_p 43.506 * [taylor]: Taking taylor expansion of (exp (- t)) in c_p 43.506 * [taylor]: Taking taylor expansion of (- t) in c_p 43.506 * [taylor]: Taking taylor expansion of t in c_p 43.506 * [backup-simplify]: Simplify t into t 43.506 * [backup-simplify]: Simplify (- t) into (- t) 43.506 * [backup-simplify]: Simplify (- t) into (- t) 43.506 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t)) 43.506 * [taylor]: Taking taylor expansion of 1.0 in c_p 43.506 * [backup-simplify]: Simplify 1.0 into 1.0 43.506 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0) 43.506 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0)) 43.506 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0)) 43.507 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 43.507 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 43.507 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 43.507 * [taylor]: Taking taylor expansion of c_n in c_p 43.507 * [backup-simplify]: Simplify c_n into c_n 43.507 * [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) 43.507 * [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)) 43.507 * [backup-simplify]: Simplify (* (exp (* (log 0.5) c_n)) 1) into (exp (* (log 0.5) c_n)) 43.508 * [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)) 43.508 * [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))) 43.508 * [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 43.508 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_n)) in c_n 43.508 * [taylor]: Taking taylor expansion of (* (log 0.5) c_n) in c_n 43.508 * [taylor]: Taking taylor expansion of (log 0.5) in c_n 43.508 * [taylor]: Taking taylor expansion of 0.5 in c_n 43.508 * [backup-simplify]: Simplify 0.5 into 0.5 43.508 * [backup-simplify]: Simplify (log 0.5) into (log 0.5) 43.508 * [taylor]: Taking taylor expansion of c_n in c_n 43.508 * [backup-simplify]: Simplify 0 into 0 43.508 * [backup-simplify]: Simplify 1 into 1 43.509 * [backup-simplify]: Simplify (* (log 0.5) 0) into 0 43.510 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0 43.511 * [backup-simplify]: Simplify (+ (* (log 0.5) 1) (* 0 0)) into (log 0.5) 43.511 * [backup-simplify]: Simplify (exp 0) into 1 43.511 * [taylor]: Taking taylor expansion of (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) in c_n 43.511 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n) in c_n 43.511 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_n 43.511 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_n 43.511 * [taylor]: Taking taylor expansion of 1.0 in c_n 43.511 * [backup-simplify]: Simplify 1.0 into 1.0 43.511 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_n 43.511 * [taylor]: Taking taylor expansion of 1.0 in c_n 43.511 * [backup-simplify]: Simplify 1.0 into 1.0 43.511 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_n 43.511 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_n 43.511 * [taylor]: Taking taylor expansion of (exp (- t)) in c_n 43.511 * [taylor]: Taking taylor expansion of (- t) in c_n 43.511 * [taylor]: Taking taylor expansion of t in c_n 43.511 * [backup-simplify]: Simplify t into t 43.511 * [backup-simplify]: Simplify (- t) into (- t) 43.511 * [backup-simplify]: Simplify (- t) into (- t) 43.511 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t)) 43.511 * [taylor]: Taking taylor expansion of 1.0 in c_n 43.511 * [backup-simplify]: Simplify 1.0 into 1.0 43.511 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0) 43.511 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0)) 43.511 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0)) 43.511 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 43.511 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 43.512 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 43.512 * [taylor]: Taking taylor expansion of c_n in c_n 43.512 * [backup-simplify]: Simplify 0 into 0 43.512 * [backup-simplify]: Simplify 1 into 1 43.512 * [backup-simplify]: Simplify (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 0) into 0 43.512 * [backup-simplify]: Simplify (- t) into (- t) 43.512 * [backup-simplify]: Simplify (- 0) into 0 43.513 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0 43.513 * [backup-simplify]: Simplify (+ 0 0) into 0 43.513 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0 43.513 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 (+ (exp (- t)) 1.0)))) into 0 43.513 * [backup-simplify]: Simplify (- 0) into 0 43.514 * [backup-simplify]: Simplify (+ 0 0) into 0 43.514 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 1)))) 1) into 0 43.515 * [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))))) 43.515 * [backup-simplify]: Simplify (exp 0) into 1 43.515 * [backup-simplify]: Simplify (/ 1 1) into 1 43.515 * [taylor]: Taking taylor expansion of 1 in t 43.515 * [backup-simplify]: Simplify 1 into 1 43.515 * [backup-simplify]: Simplify 1 into 1 43.515 * [backup-simplify]: Simplify (- 1) into -1 43.516 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 43.516 * [backup-simplify]: Simplify (+ -1 0) into -1 43.517 * [backup-simplify]: Simplify (- (+ (* 0.5 (/ -1 2.0)))) into 0.25 43.518 * [backup-simplify]: Simplify (+ (* 1.0 0.25) (* 0 0.5)) into 0.25 43.519 * [backup-simplify]: Simplify (- 0.25) into (- 0.25) 43.519 * [backup-simplify]: Simplify (+ 0 (- 0.25)) into (- 0.25) 43.523 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 0.25)) 1)) (pow 0.5 1)))) 1) into -0.5 43.524 * [backup-simplify]: Simplify (+ (* c_n -0.5) (* 0 (log 0.5))) into (- (* 0.5 c_n)) 43.524 * [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)) 43.524 * [backup-simplify]: Simplify (- 1) into -1 43.525 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 43.525 * [backup-simplify]: Simplify (+ -1 0) into -1 43.527 * [backup-simplify]: Simplify (- (/ 0 2.0) (+ (* 0.5 (/ -1 2.0)))) into 0.25 43.531 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0.25) 1)) (pow 0.5 1)))) 1) into 0.5 43.531 * [backup-simplify]: Simplify (+ (* c_p 0.5) (* 0 (log 0.5))) into (* 0.5 c_p) 43.531 * [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)))) 43.532 * [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)))) 43.533 * [backup-simplify]: Simplify (- t) into (- t) 43.533 * [backup-simplify]: Simplify (- 0) into 0 43.533 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0 43.533 * [backup-simplify]: Simplify (+ 0 0) into 0 43.534 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0 43.534 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 (+ (exp (- t)) 1.0)))) into 0 43.534 * [backup-simplify]: Simplify (- 0) into 0 43.534 * [backup-simplify]: Simplify (+ 0 0) into 0 43.535 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 1)))) 1) into 0 43.535 * [backup-simplify]: Simplify (+ (* c_n 0) (* 0 (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))))) into 0 43.536 * [backup-simplify]: Simplify (* (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) (+ (* (/ (pow 0 1) 1)))) into 0 43.536 * [backup-simplify]: Simplify (- t) into (- t) 43.536 * [backup-simplify]: Simplify (- 0) into 0 43.536 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0 43.537 * [backup-simplify]: Simplify (+ 0 0) into 0 43.537 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (- t)) 1.0)) (+ (* (/ 1.0 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0 43.537 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1.0 (+ (exp (- t)) 1.0)) 1)))) 1) into 0 43.537 * [backup-simplify]: Simplify (+ (* c_p 0) (* 0 (log (/ 1.0 (+ (exp (- t)) 1.0))))) into 0 43.538 * [backup-simplify]: Simplify (* (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) (+ (* (/ (pow 0 1) 1)))) into 0 43.538 * [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 43.544 * [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)))))) 43.544 * [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 43.544 * [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 43.544 * [taylor]: Taking taylor expansion of 0.5 in c_p 43.544 * [backup-simplify]: Simplify 0.5 into 0.5 43.544 * [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 43.544 * [taylor]: Taking taylor expansion of (* (exp (* (log 0.5) c_n)) (* c_p (exp (* (log 0.5) c_p)))) in c_p 43.544 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_n)) in c_p 43.544 * [taylor]: Taking taylor expansion of (* (log 0.5) c_n) in c_p 43.544 * [taylor]: Taking taylor expansion of (log 0.5) in c_p 43.544 * [taylor]: Taking taylor expansion of 0.5 in c_p 43.544 * [backup-simplify]: Simplify 0.5 into 0.5 43.544 * [backup-simplify]: Simplify (log 0.5) into (log 0.5) 43.544 * [taylor]: Taking taylor expansion of c_n in c_p 43.544 * [backup-simplify]: Simplify c_n into c_n 43.545 * [backup-simplify]: Simplify (* (log 0.5) c_n) into (* (log 0.5) c_n) 43.545 * [backup-simplify]: Simplify (exp (* (log 0.5) c_n)) into (exp (* (log 0.5) c_n)) 43.545 * [taylor]: Taking taylor expansion of (* c_p (exp (* (log 0.5) c_p))) in c_p 43.545 * [taylor]: Taking taylor expansion of c_p in c_p 43.545 * [backup-simplify]: Simplify 0 into 0 43.545 * [backup-simplify]: Simplify 1 into 1 43.545 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_p)) in c_p 43.545 * [taylor]: Taking taylor expansion of (* (log 0.5) c_p) in c_p 43.545 * [taylor]: Taking taylor expansion of (log 0.5) in c_p 43.545 * [taylor]: Taking taylor expansion of 0.5 in c_p 43.545 * [backup-simplify]: Simplify 0.5 into 0.5 43.545 * [backup-simplify]: Simplify (log 0.5) into (log 0.5) 43.545 * [taylor]: Taking taylor expansion of c_p in c_p 43.545 * [backup-simplify]: Simplify 0 into 0 43.545 * [backup-simplify]: Simplify 1 into 1 43.546 * [backup-simplify]: Simplify (* (log 0.5) 0) into 0 43.546 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0 43.548 * [backup-simplify]: Simplify (+ (* (log 0.5) 1) (* 0 0)) into (log 0.5) 43.548 * [backup-simplify]: Simplify (exp 0) into 1 43.548 * [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 43.548 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) in c_p 43.548 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) in c_p 43.548 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) in c_p 43.548 * [taylor]: Taking taylor expansion of c_p in c_p 43.548 * [backup-simplify]: Simplify 0 into 0 43.548 * [backup-simplify]: Simplify 1 into 1 43.548 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in c_p 43.548 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in c_p 43.548 * [taylor]: Taking taylor expansion of 1.0 in c_p 43.548 * [backup-simplify]: Simplify 1.0 into 1.0 43.548 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_p 43.548 * [taylor]: Taking taylor expansion of (exp (- t)) in c_p 43.548 * [taylor]: Taking taylor expansion of (- t) in c_p 43.548 * [taylor]: Taking taylor expansion of t in c_p 43.548 * [backup-simplify]: Simplify t into t 43.548 * [backup-simplify]: Simplify (- t) into (- t) 43.548 * [backup-simplify]: Simplify (- t) into (- t) 43.548 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t)) 43.548 * [taylor]: Taking taylor expansion of 1.0 in c_p 43.548 * [backup-simplify]: Simplify 1.0 into 1.0 43.548 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0) 43.548 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- t)) 1.0)) into (/ 1.0 (+ (exp (- t)) 1.0)) 43.548 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- t)) 1.0))) into (log (/ 1.0 (+ (exp (- t)) 1.0))) 43.548 * [backup-simplify]: Simplify (* 0 (log (/ 1.0 (+ (exp (- t)) 1.0)))) into 0 43.548 * [backup-simplify]: Simplify (- t) into (- t) 43.549 * [backup-simplify]: Simplify (- 0) into 0 43.549 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0 43.549 * [backup-simplify]: Simplify (+ 0 0) into 0 43.549 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (- t)) 1.0)) (+ (* (/ 1.0 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0 43.550 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1.0 (+ (exp (- t)) 1.0)) 1)))) 1) into 0 43.550 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (/ 1.0 (+ (exp (- t)) 1.0))))) into (log (/ 1.0 (+ (exp (- t)) 1.0))) 43.550 * [backup-simplify]: Simplify (exp 0) into 1 43.550 * [taylor]: Taking taylor expansion of (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) in c_p 43.550 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n) in c_p 43.550 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_p 43.550 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_p 43.550 * [taylor]: Taking taylor expansion of 1.0 in c_p 43.550 * [backup-simplify]: Simplify 1.0 into 1.0 43.550 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_p 43.550 * [taylor]: Taking taylor expansion of 1.0 in c_p 43.550 * [backup-simplify]: Simplify 1.0 into 1.0 43.550 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_p 43.550 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_p 43.551 * [taylor]: Taking taylor expansion of (exp (- t)) in c_p 43.551 * [taylor]: Taking taylor expansion of (- t) in c_p 43.551 * [taylor]: Taking taylor expansion of t in c_p 43.551 * [backup-simplify]: Simplify t into t 43.551 * [backup-simplify]: Simplify (- t) into (- t) 43.551 * [backup-simplify]: Simplify (- t) into (- t) 43.551 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t)) 43.551 * [taylor]: Taking taylor expansion of 1.0 in c_p 43.551 * [backup-simplify]: Simplify 1.0 into 1.0 43.551 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0) 43.551 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0)) 43.551 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0)) 43.551 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 43.551 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 43.551 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 43.551 * [taylor]: Taking taylor expansion of c_n in c_p 43.551 * [backup-simplify]: Simplify c_n into c_n 43.551 * [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) 43.552 * [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)) 43.552 * [backup-simplify]: Simplify (* 0 1) into 0 43.552 * [backup-simplify]: Simplify (* (exp (* (log 0.5) c_n)) 0) into 0 43.554 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log 0.5) 1) 1)))) into (log 0.5) 43.555 * [backup-simplify]: Simplify (+ (* 0 (log 0.5)) (* 1 1)) into 1 43.556 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0 43.556 * [backup-simplify]: Simplify (+ (* (log 0.5) 0) (* 0 c_n)) into 0 43.557 * [backup-simplify]: Simplify (* (exp (* (log 0.5) c_n)) (+ (* (/ (pow 0 1) 1)))) into 0 43.557 * [backup-simplify]: Simplify (+ (* (exp (* (log 0.5) c_n)) 1) (* 0 0)) into (exp (* (log 0.5) c_n)) 43.557 * [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)) 43.558 * [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))) 43.558 * [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 43.558 * [taylor]: Taking taylor expansion of 0.5 in c_p 43.558 * [backup-simplify]: Simplify 0.5 into 0.5 43.558 * [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 43.558 * [taylor]: Taking taylor expansion of (* (exp (* (log 0.5) c_n)) (* (exp (* (log 0.5) c_p)) c_n)) in c_p 43.558 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_n)) in c_p 43.558 * [taylor]: Taking taylor expansion of (* (log 0.5) c_n) in c_p 43.558 * [taylor]: Taking taylor expansion of (log 0.5) in c_p 43.558 * [taylor]: Taking taylor expansion of 0.5 in c_p 43.558 * [backup-simplify]: Simplify 0.5 into 0.5 43.558 * [backup-simplify]: Simplify (log 0.5) into (log 0.5) 43.558 * [taylor]: Taking taylor expansion of c_n in c_p 43.558 * [backup-simplify]: Simplify c_n into c_n 43.558 * [backup-simplify]: Simplify (* (log 0.5) c_n) into (* (log 0.5) c_n) 43.559 * [backup-simplify]: Simplify (exp (* (log 0.5) c_n)) into (exp (* (log 0.5) c_n)) 43.559 * [taylor]: Taking taylor expansion of (* (exp (* (log 0.5) c_p)) c_n) in c_p 43.559 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_p)) in c_p 43.559 * [taylor]: Taking taylor expansion of (* (log 0.5) c_p) in c_p 43.559 * [taylor]: Taking taylor expansion of (log 0.5) in c_p 43.559 * [taylor]: Taking taylor expansion of 0.5 in c_p 43.559 * [backup-simplify]: Simplify 0.5 into 0.5 43.559 * [backup-simplify]: Simplify (log 0.5) into (log 0.5) 43.559 * [taylor]: Taking taylor expansion of c_p in c_p 43.559 * [backup-simplify]: Simplify 0 into 0 43.559 * [backup-simplify]: Simplify 1 into 1 43.559 * [backup-simplify]: Simplify (* (log 0.5) 0) into 0 43.560 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0 43.561 * [backup-simplify]: Simplify (+ (* (log 0.5) 1) (* 0 0)) into (log 0.5) 43.561 * [backup-simplify]: Simplify (exp 0) into 1 43.561 * [taylor]: Taking taylor expansion of c_n in c_p 43.561 * [backup-simplify]: Simplify c_n into c_n 43.561 * [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 43.561 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (+ (exp (- t)) 1.0)) c_p) in c_p 43.561 * [taylor]: Taking taylor expansion of (exp (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0))))) in c_p 43.561 * [taylor]: Taking taylor expansion of (* c_p (log (/ 1.0 (+ (exp (- t)) 1.0)))) in c_p 43.561 * [taylor]: Taking taylor expansion of c_p in c_p 43.561 * [backup-simplify]: Simplify 0 into 0 43.562 * [backup-simplify]: Simplify 1 into 1 43.562 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in c_p 43.562 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in c_p 43.562 * [taylor]: Taking taylor expansion of 1.0 in c_p 43.562 * [backup-simplify]: Simplify 1.0 into 1.0 43.562 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_p 43.562 * [taylor]: Taking taylor expansion of (exp (- t)) in c_p 43.562 * [taylor]: Taking taylor expansion of (- t) in c_p 43.562 * [taylor]: Taking taylor expansion of t in c_p 43.562 * [backup-simplify]: Simplify t into t 43.562 * [backup-simplify]: Simplify (- t) into (- t) 43.562 * [backup-simplify]: Simplify (- t) into (- t) 43.562 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t)) 43.562 * [taylor]: Taking taylor expansion of 1.0 in c_p 43.562 * [backup-simplify]: Simplify 1.0 into 1.0 43.562 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0) 43.562 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- t)) 1.0)) into (/ 1.0 (+ (exp (- t)) 1.0)) 43.562 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- t)) 1.0))) into (log (/ 1.0 (+ (exp (- t)) 1.0))) 43.562 * [backup-simplify]: Simplify (* 0 (log (/ 1.0 (+ (exp (- t)) 1.0)))) into 0 43.562 * [backup-simplify]: Simplify (- t) into (- t) 43.562 * [backup-simplify]: Simplify (- 0) into 0 43.563 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0 43.563 * [backup-simplify]: Simplify (+ 0 0) into 0 43.563 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (- t)) 1.0)) (+ (* (/ 1.0 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0 43.564 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1.0 (+ (exp (- t)) 1.0)) 1)))) 1) into 0 43.564 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log (/ 1.0 (+ (exp (- t)) 1.0))))) into (log (/ 1.0 (+ (exp (- t)) 1.0))) 43.564 * [backup-simplify]: Simplify (exp 0) into 1 43.564 * [taylor]: Taking taylor expansion of (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) in c_p 43.564 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n) in c_p 43.564 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_p 43.564 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_p 43.564 * [taylor]: Taking taylor expansion of 1.0 in c_p 43.564 * [backup-simplify]: Simplify 1.0 into 1.0 43.564 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_p 43.564 * [taylor]: Taking taylor expansion of 1.0 in c_p 43.564 * [backup-simplify]: Simplify 1.0 into 1.0 43.564 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_p 43.564 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_p 43.564 * [taylor]: Taking taylor expansion of (exp (- t)) in c_p 43.564 * [taylor]: Taking taylor expansion of (- t) in c_p 43.564 * [taylor]: Taking taylor expansion of t in c_p 43.564 * [backup-simplify]: Simplify t into t 43.564 * [backup-simplify]: Simplify (- t) into (- t) 43.564 * [backup-simplify]: Simplify (- t) into (- t) 43.564 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t)) 43.564 * [taylor]: Taking taylor expansion of 1.0 in c_p 43.564 * [backup-simplify]: Simplify 1.0 into 1.0 43.565 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0) 43.565 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0)) 43.565 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0)) 43.565 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 43.565 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 43.565 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 43.565 * [taylor]: Taking taylor expansion of c_n in c_p 43.565 * [backup-simplify]: Simplify c_n into c_n 43.565 * [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) 43.565 * [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)) 43.565 * [backup-simplify]: Simplify (* 1 c_n) into c_n 43.566 * [backup-simplify]: Simplify (* (exp (* (log 0.5) c_n)) c_n) into (* (exp (* (log 0.5) c_n)) c_n) 43.566 * [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)) 43.566 * [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))) 43.567 * [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)))) 43.567 * [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))))) 43.568 * [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))))) 43.568 * [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 43.568 * [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 43.568 * [taylor]: Taking taylor expansion of 0.5 in c_n 43.568 * [backup-simplify]: Simplify 0.5 into 0.5 43.568 * [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 43.568 * [taylor]: Taking taylor expansion of (* (exp (* (log 0.5) c_n)) c_n) in c_n 43.568 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_n)) in c_n 43.568 * [taylor]: Taking taylor expansion of (* (log 0.5) c_n) in c_n 43.568 * [taylor]: Taking taylor expansion of (log 0.5) in c_n 43.568 * [taylor]: Taking taylor expansion of 0.5 in c_n 43.568 * [backup-simplify]: Simplify 0.5 into 0.5 43.568 * [backup-simplify]: Simplify (log 0.5) into (log 0.5) 43.568 * [taylor]: Taking taylor expansion of c_n in c_n 43.568 * [backup-simplify]: Simplify 0 into 0 43.568 * [backup-simplify]: Simplify 1 into 1 43.569 * [backup-simplify]: Simplify (* (log 0.5) 0) into 0 43.569 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0 43.570 * [backup-simplify]: Simplify (+ (* (log 0.5) 1) (* 0 0)) into (log 0.5) 43.570 * [backup-simplify]: Simplify (exp 0) into 1 43.570 * [taylor]: Taking taylor expansion of c_n in c_n 43.570 * [backup-simplify]: Simplify 0 into 0 43.570 * [backup-simplify]: Simplify 1 into 1 43.571 * [taylor]: Taking taylor expansion of (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) in c_n 43.571 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n) in c_n 43.571 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_n 43.571 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_n 43.571 * [taylor]: Taking taylor expansion of 1.0 in c_n 43.571 * [backup-simplify]: Simplify 1.0 into 1.0 43.571 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_n 43.571 * [taylor]: Taking taylor expansion of 1.0 in c_n 43.571 * [backup-simplify]: Simplify 1.0 into 1.0 43.571 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_n 43.571 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_n 43.571 * [taylor]: Taking taylor expansion of (exp (- t)) in c_n 43.571 * [taylor]: Taking taylor expansion of (- t) in c_n 43.571 * [taylor]: Taking taylor expansion of t in c_n 43.571 * [backup-simplify]: Simplify t into t 43.571 * [backup-simplify]: Simplify (- t) into (- t) 43.571 * [backup-simplify]: Simplify (- t) into (- t) 43.571 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t)) 43.571 * [taylor]: Taking taylor expansion of 1.0 in c_n 43.571 * [backup-simplify]: Simplify 1.0 into 1.0 43.571 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0) 43.571 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0)) 43.571 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0)) 43.571 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 43.571 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 43.571 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 43.571 * [taylor]: Taking taylor expansion of c_n in c_n 43.571 * [backup-simplify]: Simplify 0 into 0 43.571 * [backup-simplify]: Simplify 1 into 1 43.572 * [backup-simplify]: Simplify (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 0) into 0 43.572 * [backup-simplify]: Simplify (- t) into (- t) 43.572 * [backup-simplify]: Simplify (- 0) into 0 43.572 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0 43.573 * [backup-simplify]: Simplify (+ 0 0) into 0 43.573 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0 43.573 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 (+ (exp (- t)) 1.0)))) into 0 43.573 * [backup-simplify]: Simplify (- 0) into 0 43.573 * [backup-simplify]: Simplify (+ 0 0) into 0 43.574 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 1)))) 1) into 0 43.574 * [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))))) 43.574 * [backup-simplify]: Simplify (exp 0) into 1 43.575 * [backup-simplify]: Simplify (* 1 0) into 0 43.577 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log 0.5) 1) 1)))) into (log 0.5) 43.577 * [backup-simplify]: Simplify (+ (* 1 1) (* (log 0.5) 0)) into 1 43.578 * [backup-simplify]: Simplify (/ 1 1) into 1 43.580 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log 0.5) 1) 1)))) into (log 0.5) 43.581 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0 43.581 * [backup-simplify]: Simplify (+ (* (log 0.5) 0) (* 0 c_n)) into 0 43.582 * [backup-simplify]: Simplify (* (exp (* (log 0.5) c_n)) (+ (* (/ (pow 0 1) 1)))) into 0 43.583 * [backup-simplify]: Simplify (+ (* (exp (* (log 0.5) c_n)) (log 0.5)) (* 0 1)) into (* (log 0.5) (exp (* (log 0.5) c_n))) 43.583 * [backup-simplify]: Simplify (- t) into (- t) 43.583 * [backup-simplify]: Simplify (- 0) into 0 43.583 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0 43.584 * [backup-simplify]: Simplify (+ 0 0) into 0 43.584 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0 43.584 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 (+ (exp (- t)) 1.0)))) into 0 43.584 * [backup-simplify]: Simplify (- 0) into 0 43.585 * [backup-simplify]: Simplify (+ 0 0) into 0 43.585 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 1)))) 1) into 0 43.585 * [backup-simplify]: Simplify (+ (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 0) (* 0 c_n)) into 0 43.586 * [backup-simplify]: Simplify (* (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) (+ (* (/ (pow 0 1) 1)))) into 0 43.586 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log (/ 1.0 (+ (exp (- t)) 1.0))) 1) 1)))) into (log (/ 1.0 (+ (exp (- t)) 1.0))) 43.586 * [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))) 43.588 * [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)))) 43.588 * [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 43.588 * [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 43.588 * [taylor]: Taking taylor expansion of (* (log 0.5) (exp (* (log 0.5) c_n))) in c_n 43.588 * [taylor]: Taking taylor expansion of (log 0.5) in c_n 43.588 * [taylor]: Taking taylor expansion of 0.5 in c_n 43.588 * [backup-simplify]: Simplify 0.5 into 0.5 43.588 * [backup-simplify]: Simplify (log 0.5) into (log 0.5) 43.588 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_n)) in c_n 43.588 * [taylor]: Taking taylor expansion of (* (log 0.5) c_n) in c_n 43.588 * [taylor]: Taking taylor expansion of (log 0.5) in c_n 43.588 * [taylor]: Taking taylor expansion of 0.5 in c_n 43.588 * [backup-simplify]: Simplify 0.5 into 0.5 43.589 * [backup-simplify]: Simplify (log 0.5) into (log 0.5) 43.589 * [taylor]: Taking taylor expansion of c_n in c_n 43.589 * [backup-simplify]: Simplify 0 into 0 43.589 * [backup-simplify]: Simplify 1 into 1 43.589 * [backup-simplify]: Simplify (* (log 0.5) 0) into 0 43.590 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0 43.591 * [backup-simplify]: Simplify (+ (* (log 0.5) 1) (* 0 0)) into (log 0.5) 43.591 * [backup-simplify]: Simplify (exp 0) into 1 43.591 * [taylor]: Taking taylor expansion of (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) in c_n 43.591 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n) in c_n 43.591 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_n 43.591 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_n 43.591 * [taylor]: Taking taylor expansion of 1.0 in c_n 43.591 * [backup-simplify]: Simplify 1.0 into 1.0 43.591 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_n 43.591 * [taylor]: Taking taylor expansion of 1.0 in c_n 43.591 * [backup-simplify]: Simplify 1.0 into 1.0 43.591 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_n 43.591 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_n 43.591 * [taylor]: Taking taylor expansion of (exp (- t)) in c_n 43.591 * [taylor]: Taking taylor expansion of (- t) in c_n 43.591 * [taylor]: Taking taylor expansion of t in c_n 43.591 * [backup-simplify]: Simplify t into t 43.591 * [backup-simplify]: Simplify (- t) into (- t) 43.591 * [backup-simplify]: Simplify (- t) into (- t) 43.591 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t)) 43.591 * [taylor]: Taking taylor expansion of 1.0 in c_n 43.591 * [backup-simplify]: Simplify 1.0 into 1.0 43.591 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0) 43.591 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0)) 43.592 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0)) 43.592 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 43.592 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 43.592 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 43.592 * [taylor]: Taking taylor expansion of c_n in c_n 43.592 * [backup-simplify]: Simplify 0 into 0 43.592 * [backup-simplify]: Simplify 1 into 1 43.592 * [backup-simplify]: Simplify (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 0) into 0 43.592 * [backup-simplify]: Simplify (- t) into (- t) 43.592 * [backup-simplify]: Simplify (- 0) into 0 43.593 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0 43.593 * [backup-simplify]: Simplify (+ 0 0) into 0 43.593 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0 43.593 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 (+ (exp (- t)) 1.0)))) into 0 43.594 * [backup-simplify]: Simplify (- 0) into 0 43.594 * [backup-simplify]: Simplify (+ 0 0) into 0 43.594 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 1)))) 1) into 0 43.595 * [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))))) 43.595 * [backup-simplify]: Simplify (exp 0) into 1 43.595 * [backup-simplify]: Simplify (* (log 0.5) 1) into (log 0.5) 43.596 * [backup-simplify]: Simplify (/ (log 0.5) 1) into (log 0.5) 43.596 * [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 43.596 * [taylor]: Taking taylor expansion of (* (exp (* (log 0.5) c_n)) (log (/ 1.0 (+ (exp (- t)) 1.0)))) in c_n 43.596 * [taylor]: Taking taylor expansion of (exp (* (log 0.5) c_n)) in c_n 43.596 * [taylor]: Taking taylor expansion of (* (log 0.5) c_n) in c_n 43.596 * [taylor]: Taking taylor expansion of (log 0.5) in c_n 43.596 * [taylor]: Taking taylor expansion of 0.5 in c_n 43.596 * [backup-simplify]: Simplify 0.5 into 0.5 43.596 * [backup-simplify]: Simplify (log 0.5) into (log 0.5) 43.596 * [taylor]: Taking taylor expansion of c_n in c_n 43.596 * [backup-simplify]: Simplify 0 into 0 43.596 * [backup-simplify]: Simplify 1 into 1 43.597 * [backup-simplify]: Simplify (* (log 0.5) 0) into 0 43.597 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 0.5 1)))) 1) into 0 43.598 * [backup-simplify]: Simplify (+ (* (log 0.5) 1) (* 0 0)) into (log 0.5) 43.598 * [backup-simplify]: Simplify (exp 0) into 1 43.598 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in c_n 43.598 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in c_n 43.599 * [taylor]: Taking taylor expansion of 1.0 in c_n 43.599 * [backup-simplify]: Simplify 1.0 into 1.0 43.599 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_n 43.599 * [taylor]: Taking taylor expansion of (exp (- t)) in c_n 43.599 * [taylor]: Taking taylor expansion of (- t) in c_n 43.599 * [taylor]: Taking taylor expansion of t in c_n 43.599 * [backup-simplify]: Simplify t into t 43.599 * [backup-simplify]: Simplify (- t) into (- t) 43.599 * [backup-simplify]: Simplify (- t) into (- t) 43.599 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t)) 43.599 * [taylor]: Taking taylor expansion of 1.0 in c_n 43.599 * [backup-simplify]: Simplify 1.0 into 1.0 43.599 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0) 43.599 * [backup-simplify]: Simplify (/ 1.0 (+ (exp (- t)) 1.0)) into (/ 1.0 (+ (exp (- t)) 1.0)) 43.599 * [backup-simplify]: Simplify (log (/ 1.0 (+ (exp (- t)) 1.0))) into (log (/ 1.0 (+ (exp (- t)) 1.0))) 43.599 * [taylor]: Taking taylor expansion of (exp (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n)) in c_n 43.599 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) c_n) in c_n 43.599 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in c_n 43.599 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in c_n 43.599 * [taylor]: Taking taylor expansion of 1.0 in c_n 43.599 * [backup-simplify]: Simplify 1.0 into 1.0 43.599 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in c_n 43.599 * [taylor]: Taking taylor expansion of 1.0 in c_n 43.599 * [backup-simplify]: Simplify 1.0 into 1.0 43.599 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in c_n 43.599 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in c_n 43.599 * [taylor]: Taking taylor expansion of (exp (- t)) in c_n 43.599 * [taylor]: Taking taylor expansion of (- t) in c_n 43.599 * [taylor]: Taking taylor expansion of t in c_n 43.599 * [backup-simplify]: Simplify t into t 43.599 * [backup-simplify]: Simplify (- t) into (- t) 43.599 * [backup-simplify]: Simplify (- t) into (- t) 43.599 * [backup-simplify]: Simplify (exp (- t)) into (exp (- t)) 43.599 * [taylor]: Taking taylor expansion of 1.0 in c_n 43.599 * [backup-simplify]: Simplify 1.0 into 1.0 43.599 * [backup-simplify]: Simplify (+ (exp (- t)) 1.0) into (+ (exp (- t)) 1.0) 43.599 * [backup-simplify]: Simplify (/ 1 (+ (exp (- t)) 1.0)) into (/ 1 (+ (exp (- t)) 1.0)) 43.600 * [backup-simplify]: Simplify (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) into (/ 1.0 (+ (exp (- t)) 1.0)) 43.600 * [backup-simplify]: Simplify (- (/ 1.0 (+ (exp (- t)) 1.0))) into (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 43.600 * [backup-simplify]: Simplify (+ 1.0 (- (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 43.600 * [backup-simplify]: Simplify (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) into (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 43.600 * [taylor]: Taking taylor expansion of c_n in c_n 43.600 * [backup-simplify]: Simplify 0 into 0 43.600 * [backup-simplify]: Simplify 1 into 1 43.600 * [backup-simplify]: Simplify (* (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) 0) into 0 43.600 * [backup-simplify]: Simplify (- t) into (- t) 43.600 * [backup-simplify]: Simplify (- 0) into 0 43.601 * [backup-simplify]: Simplify (* (exp (- t)) (+ (* (/ (pow 0 1) 1)))) into 0 43.601 * [backup-simplify]: Simplify (+ 0 0) into 0 43.601 * [backup-simplify]: Simplify (- (+ (* (/ 1 (+ (exp (- t)) 1.0)) (/ 0 (+ (exp (- t)) 1.0))))) into 0 43.601 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 (+ (exp (- t)) 1.0)))) into 0 43.602 * [backup-simplify]: Simplify (- 0) into 0 43.602 * [backup-simplify]: Simplify (+ 0 0) into 0 43.602 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) 1)))) 1) into 0 43.603 * [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))))) 43.603 * [backup-simplify]: Simplify (exp 0) into 1 43.603 * [backup-simplify]: Simplify (* 1 (log (/ 1.0 (+ (exp (- t)) 1.0)))) into (log (/ 1.0 (+ (exp (- t)) 1.0))) 43.603 * [backup-simplify]: Simplify (/ (log (/ 1.0 (+ (exp (- t)) 1.0))) 1) into (log (/ 1.0 (+ (exp (- t)) 1.0))) 43.603 * [backup-simplify]: Simplify (- (log (/ 1.0 (+ (exp (- t)) 1.0)))) into (- (log (/ 1.0 (+ (exp (- t)) 1.0)))) 43.603 * [backup-simplify]: Simplify (+ (log 0.5) (- (log (/ 1.0 (+ (exp (- t)) 1.0))))) into (- (log 0.5) (log (/ 1.0 (+ (exp (- t)) 1.0)))) 43.603 * [taylor]: Taking taylor expansion of (- (log 0.5) (log (/ 1.0 (+ (exp (- t)) 1.0)))) in t 43.603 * [taylor]: Taking taylor expansion of (log 0.5) in t 43.604 * [taylor]: Taking taylor expansion of 0.5 in t 43.604 * [backup-simplify]: Simplify 0.5 into 0.5 43.604 * [backup-simplify]: Simplify (log 0.5) into (log 0.5) 43.604 * [taylor]: Taking taylor expansion of (log (/ 1.0 (+ (exp (- t)) 1.0))) in t 43.604 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (exp (- t)) 1.0)) in t 43.604 * [taylor]: Taking taylor expansion of 1.0 in t 43.604 * [backup-simplify]: Simplify 1.0 into 1.0 43.604 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in t 43.604 * [taylor]: Taking taylor expansion of (exp (- t)) in t 43.604 * [taylor]: Taking taylor expansion of (- t) in t 43.604 * [taylor]: Taking taylor expansion of t in t 43.604 * [backup-simplify]: Simplify 0 into 0 43.604 * [backup-simplify]: Simplify 1 into 1 43.604 * [backup-simplify]: Simplify (- 0) into 0 43.604 * [backup-simplify]: Simplify (- 1) into -1 43.604 * [backup-simplify]: Simplify (exp 0) into 1 43.604 * [taylor]: Taking taylor expansion of 1.0 in t 43.604 * [backup-simplify]: Simplify 1.0 into 1.0 43.605 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0 43.605 * [backup-simplify]: Simplify (/ 1.0 2.0) into 0.5 43.605 * [backup-simplify]: Simplify (log 0.5) into (log 0.5) 43.606 * [backup-simplify]: Simplify (- (log 0.5)) into (- (log 0.5)) 43.607 * [backup-simplify]: Simplify (+ (log 0.5) (- (log 0.5))) into 0 43.607 * [backup-simplify]: Simplify 0 into 0 43.609 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (log 0.5) 1) 1)))) into (log 0.5) 43.609 * [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))))) 43.610 * [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)))))) 43.610 * [taylor]: Taking taylor expansion of (- (log 0.5) (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))))) in t 43.610 * [taylor]: Taking taylor expansion of (log 0.5) in t 43.610 * [taylor]: Taking taylor expansion of 0.5 in t 43.610 * [backup-simplify]: Simplify 0.5 into 0.5 43.610 * [backup-simplify]: Simplify (log 0.5) into (log 0.5) 43.610 * [taylor]: Taking taylor expansion of (log (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0))))) in t 43.610 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (+ (exp (- t)) 1.0)))) in t 43.610 * [taylor]: Taking taylor expansion of 1.0 in t 43.610 * [backup-simplify]: Simplify 1.0 into 1.0 43.610 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ (exp (- t)) 1.0))) in t 43.610 * [taylor]: Taking taylor expansion of 1.0 in t 43.610 * [backup-simplify]: Simplify 1.0 into 1.0 43.610 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp (- t)) 1.0)) in t 43.610 * [taylor]: Taking taylor expansion of (+ (exp (- t)) 1.0) in t 43.610 * [taylor]: Taking taylor expansion of (exp (- t)) in t 43.610 * [taylor]: Taking taylor expansion of (- t) in t 43.610 * [taylor]: Taking taylor expansion of t in t 43.611 * [backup-simplify]: Simplify 0 into 0 43.611 * [backup-simplify]: Simplify 1 into 1 43.611 * [backup-simplify]: Simplify (- 0) into 0 43.611 * [backup-simplify]: Simplify (- 1) into -1 43.611 * [backup-simplify]: Simplify (exp 0) into 1 43.611 * [taylor]: Taking taylor expansion of 1.0 in t 43.611 * [backup-simplify]: Simplify 1.0 into 1.0 43.611 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0 43.612 * [backup-simplify]: Simplify (/ 1 2.0) into 0.5 43.612 * [backup-simplify]: Simplify (* 1.0 0.5) into 0.5 43.612 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 43.612 * [backup-simplify]: Simplify (+ 1.0 (- 0.5)) into 0.5 43.613 * [backup-simplify]: Simplify (log 0.5) into (log 0.5) 43.613 * [backup-simplify]: Simplify (- (log 0.5)) into (- (log 0.5)) 43.614 * [backup-simplify]: Simplify (+ (log 0.5) (- (log 0.5))) into 0 43.614 * [backup-simplify]: Simplify 0 into 0 43.614 * [backup-simplify]: Simplify 0 into 0 43.615 * [backup-simplify]: Simplify (- 1) into -1 43.615 * [backup-simplify]: Simplify (- 0) into 0 43.616 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 43.616 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 43.618 * [backup-simplify]: Simplify (- (+ (* 0.5 (/ 1/2 2.0)) (* 0.25 (/ -1 2.0)))) into 0 43.619 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0.25) (* 0 0.5))) into 0 43.619 * [backup-simplify]: Simplify (- 0) into 0 43.619 * [backup-simplify]: Simplify (+ 0 0) into 0 43.629 * [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)) 43.630 * [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))))