15.076 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.112 * * * [progress]: [2/2] Setting up program.
0.119 * [progress]: [Phase 2 of 3] Improving.
0.120 * [simplify]: Simplifying:
  (/ (exp a) (+ (exp a) (exp b)))
0.120 * * [simplify]: iteration 0: 6 enodes
0.121 * * [simplify]: iteration 1: 7 enodes
0.122 * * [simplify]: iteration complete: 7 enodes
0.122 * * [simplify]: Extracting #0: cost 1 inf + 0
0.122 * * [simplify]: Extracting #1: cost 3 inf + 0
0.122 * * [simplify]: Extracting #2: cost 5 inf + 0
0.122 * * [simplify]: Extracting #3: cost 5 inf + 1
0.122 * * [simplify]: Extracting #4: cost 0 inf + 548
0.122 * [simplify]: Simplified to:
  (/ (exp a) (+ (exp a) (exp b)))
0.123 * * [progress]: iteration 1 / 4
0.123 * * * [progress]: picking best candidate
0.126 * * * * [pick]: Picked  #<alt (λ (a b) (/ (exp a) (+ (exp a) (exp b))))>
0.127 * * * [progress]: localizing error
0.149 * * * [progress]: generating rewritten candidates
0.149 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.180 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.196 * * * [progress]: generating series expansions
0.197 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.197 * [backup-simplify]: Simplify (/ (exp a) (+ (exp a) (exp b))) into (/ (exp a) (+ (exp a) (exp b)))
0.197 * [approximate]: Taking taylor expansion of (/ (exp a) (+ (exp a) (exp b))) in (a b) around 0
0.197 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (exp a) (exp b))) in b
0.197 * [taylor]: Taking taylor expansion of (exp a) in b
0.197 * [taylor]: Taking taylor expansion of a in b
0.197 * [backup-simplify]: Simplify a into a
0.197 * [backup-simplify]: Simplify (exp a) into (exp a)
0.197 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in b
0.197 * [taylor]: Taking taylor expansion of (exp a) in b
0.197 * [taylor]: Taking taylor expansion of a in b
0.197 * [backup-simplify]: Simplify a into a
0.197 * [backup-simplify]: Simplify (exp a) into (exp a)
0.197 * [taylor]: Taking taylor expansion of (exp b) in b
0.197 * [taylor]: Taking taylor expansion of b in b
0.197 * [backup-simplify]: Simplify 0 into 0
0.197 * [backup-simplify]: Simplify 1 into 1
0.197 * [backup-simplify]: Simplify (exp 0) into 1
0.198 * [backup-simplify]: Simplify (+ (exp a) 1) into (+ (exp a) 1)
0.198 * [backup-simplify]: Simplify (/ (exp a) (+ (exp a) 1)) into (/ (exp a) (+ (exp a) 1))
0.198 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (exp a) (exp b))) in a
0.198 * [taylor]: Taking taylor expansion of (exp a) in a
0.198 * [taylor]: Taking taylor expansion of a in a
0.198 * [backup-simplify]: Simplify 0 into 0
0.198 * [backup-simplify]: Simplify 1 into 1
0.198 * [backup-simplify]: Simplify (exp 0) into 1
0.198 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a
0.198 * [taylor]: Taking taylor expansion of (exp a) in a
0.198 * [taylor]: Taking taylor expansion of a in a
0.198 * [backup-simplify]: Simplify 0 into 0
0.198 * [backup-simplify]: Simplify 1 into 1
0.198 * [backup-simplify]: Simplify (exp 0) into 1
0.198 * [taylor]: Taking taylor expansion of (exp b) in a
0.198 * [taylor]: Taking taylor expansion of b in a
0.198 * [backup-simplify]: Simplify b into b
0.198 * [backup-simplify]: Simplify (exp b) into (exp b)
0.198 * [backup-simplify]: Simplify (+ 1 (exp b)) into (+ (exp b) 1)
0.198 * [backup-simplify]: Simplify (/ 1 (+ (exp b) 1)) into (/ 1 (+ (exp b) 1))
0.198 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (exp a) (exp b))) in a
0.198 * [taylor]: Taking taylor expansion of (exp a) in a
0.198 * [taylor]: Taking taylor expansion of a in a
0.199 * [backup-simplify]: Simplify 0 into 0
0.199 * [backup-simplify]: Simplify 1 into 1
0.199 * [backup-simplify]: Simplify (exp 0) into 1
0.199 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a
0.199 * [taylor]: Taking taylor expansion of (exp a) in a
0.199 * [taylor]: Taking taylor expansion of a in a
0.199 * [backup-simplify]: Simplify 0 into 0
0.199 * [backup-simplify]: Simplify 1 into 1
0.199 * [backup-simplify]: Simplify (exp 0) into 1
0.199 * [taylor]: Taking taylor expansion of (exp b) in a
0.199 * [taylor]: Taking taylor expansion of b in a
0.199 * [backup-simplify]: Simplify b into b
0.199 * [backup-simplify]: Simplify (exp b) into (exp b)
0.199 * [backup-simplify]: Simplify (+ 1 (exp b)) into (+ (exp b) 1)
0.199 * [backup-simplify]: Simplify (/ 1 (+ (exp b) 1)) into (/ 1 (+ (exp b) 1))
0.199 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b
0.199 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b
0.199 * [taylor]: Taking taylor expansion of (exp b) in b
0.199 * [taylor]: Taking taylor expansion of b in b
0.199 * [backup-simplify]: Simplify 0 into 0
0.199 * [backup-simplify]: Simplify 1 into 1
0.199 * [backup-simplify]: Simplify (exp 0) into 1
0.199 * [taylor]: Taking taylor expansion of 1 in b
0.199 * [backup-simplify]: Simplify 1 into 1
0.200 * [backup-simplify]: Simplify (+ 1 1) into 2
0.201 * [backup-simplify]: Simplify (/ 1 2) into 1/2
0.202 * [backup-simplify]: Simplify 1/2 into 1/2
0.203 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.204 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.205 * [backup-simplify]: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0
0.205 * [backup-simplify]: Simplify (+ 1 0) into 1
0.206 * [backup-simplify]: Simplify (- (/ 1 (+ (exp b) 1)) (+ (* (/ 1 (+ (exp b) 1)) (/ 1 (+ (exp b) 1))))) into (- (/ 1 (+ (exp b) 1)) (/ 1 (pow (+ (exp b) 1) 2)))
0.206 * [taylor]: Taking taylor expansion of (- (/ 1 (+ (exp b) 1)) (/ 1 (pow (+ (exp b) 1) 2))) in b
0.206 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b
0.206 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b
0.206 * [taylor]: Taking taylor expansion of (exp b) in b
0.206 * [taylor]: Taking taylor expansion of b in b
0.206 * [backup-simplify]: Simplify 0 into 0
0.206 * [backup-simplify]: Simplify 1 into 1
0.206 * [backup-simplify]: Simplify (exp 0) into 1
0.206 * [taylor]: Taking taylor expansion of 1 in b
0.206 * [backup-simplify]: Simplify 1 into 1
0.206 * [backup-simplify]: Simplify (+ 1 1) into 2
0.207 * [backup-simplify]: Simplify (/ 1 2) into 1/2
0.207 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp b) 1) 2)) in b
0.207 * [taylor]: Taking taylor expansion of (pow (+ (exp b) 1) 2) in b
0.207 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b
0.207 * [taylor]: Taking taylor expansion of (exp b) in b
0.207 * [taylor]: Taking taylor expansion of b in b
0.207 * [backup-simplify]: Simplify 0 into 0
0.207 * [backup-simplify]: Simplify 1 into 1
0.207 * [backup-simplify]: Simplify (exp 0) into 1
0.207 * [taylor]: Taking taylor expansion of 1 in b
0.207 * [backup-simplify]: Simplify 1 into 1
0.208 * [backup-simplify]: Simplify (+ 1 1) into 2
0.208 * [backup-simplify]: Simplify (* 2 2) into 4
0.208 * [backup-simplify]: Simplify (/ 1 4) into 1/4
0.209 * [backup-simplify]: Simplify (- 1/4) into -1/4
0.209 * [backup-simplify]: Simplify (+ 1/2 -1/4) into 1/4
0.209 * [backup-simplify]: Simplify 1/4 into 1/4
0.210 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.210 * [backup-simplify]: Simplify (+ 1 0) into 1
0.211 * [backup-simplify]: Simplify (- (+ (* 1/2 (/ 1 2)))) into -1/4
0.211 * [backup-simplify]: Simplify -1/4 into -1/4
0.211 * [backup-simplify]: Simplify (+ (* -1/4 (* b 1)) (+ (* 1/4 (* 1 a)) 1/2)) into (- (+ (* 1/4 a) 1/2) (* 1/4 b))
0.211 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 a)) (exp (/ 1 b)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a))))
0.211 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in (a b) around 0
0.211 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b
0.211 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
0.211 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.211 * [taylor]: Taking taylor expansion of a in b
0.211 * [backup-simplify]: Simplify a into a
0.211 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.211 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
0.211 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b
0.211 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b
0.211 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.211 * [taylor]: Taking taylor expansion of b in b
0.211 * [backup-simplify]: Simplify 0 into 0
0.211 * [backup-simplify]: Simplify 1 into 1
0.212 * [backup-simplify]: Simplify (/ 1 1) into 1
0.212 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
0.212 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
0.212 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.212 * [taylor]: Taking taylor expansion of a in b
0.212 * [backup-simplify]: Simplify a into a
0.212 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.212 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
0.212 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
0.212 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a))))
0.212 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a
0.212 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.212 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.212 * [taylor]: Taking taylor expansion of a in a
0.212 * [backup-simplify]: Simplify 0 into 0
0.212 * [backup-simplify]: Simplify 1 into 1
0.212 * [backup-simplify]: Simplify (/ 1 1) into 1
0.212 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
0.212 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a
0.212 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a
0.212 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.212 * [taylor]: Taking taylor expansion of b in a
0.212 * [backup-simplify]: Simplify b into b
0.212 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.212 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
0.213 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.213 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.213 * [taylor]: Taking taylor expansion of a in a
0.213 * [backup-simplify]: Simplify 0 into 0
0.213 * [backup-simplify]: Simplify 1 into 1
0.213 * [backup-simplify]: Simplify (/ 1 1) into 1
0.213 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
0.213 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
0.213 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a))))
0.213 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a
0.213 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.213 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.213 * [taylor]: Taking taylor expansion of a in a
0.213 * [backup-simplify]: Simplify 0 into 0
0.213 * [backup-simplify]: Simplify 1 into 1
0.213 * [backup-simplify]: Simplify (/ 1 1) into 1
0.213 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
0.213 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a
0.214 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a
0.214 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.214 * [taylor]: Taking taylor expansion of b in a
0.214 * [backup-simplify]: Simplify b into b
0.214 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.214 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
0.214 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.214 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.214 * [taylor]: Taking taylor expansion of a in a
0.214 * [backup-simplify]: Simplify 0 into 0
0.214 * [backup-simplify]: Simplify 1 into 1
0.214 * [backup-simplify]: Simplify (/ 1 1) into 1
0.214 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
0.214 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
0.214 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a))))
0.214 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b
0.214 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
0.214 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.214 * [taylor]: Taking taylor expansion of a in b
0.214 * [backup-simplify]: Simplify a into a
0.214 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.214 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
0.214 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b
0.214 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b
0.214 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.215 * [taylor]: Taking taylor expansion of b in b
0.215 * [backup-simplify]: Simplify 0 into 0
0.215 * [backup-simplify]: Simplify 1 into 1
0.215 * [backup-simplify]: Simplify (/ 1 1) into 1
0.215 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
0.215 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
0.215 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.215 * [taylor]: Taking taylor expansion of a in b
0.215 * [backup-simplify]: Simplify a into a
0.215 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.215 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
0.215 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
0.215 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a))))
0.215 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a))))
0.215 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
0.216 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0
0.216 * [backup-simplify]: Simplify (+ 0 0) into 0
0.216 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a)))) (+ (* (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a))))))) into 0
0.216 * [taylor]: Taking taylor expansion of 0 in b
0.217 * [backup-simplify]: Simplify 0 into 0
0.217 * [backup-simplify]: Simplify 0 into 0
0.217 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
0.217 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
0.217 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
0.218 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
0.218 * [backup-simplify]: Simplify (+ 0 0) into 0
0.218 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a)))) (+ (* (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a))))))) into 0
0.218 * [backup-simplify]: Simplify 0 into 0
0.218 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
0.219 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.219 * [backup-simplify]: Simplify (+ 0 0) into 0
0.220 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a)))) (+ (* (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a))))) (* 0 (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a))))))) into 0
0.220 * [taylor]: Taking taylor expansion of 0 in b
0.220 * [backup-simplify]: Simplify 0 into 0
0.220 * [backup-simplify]: Simplify 0 into 0
0.220 * [backup-simplify]: Simplify 0 into 0
0.220 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
0.221 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.221 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
0.222 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.222 * [backup-simplify]: Simplify (+ 0 0) into 0
0.222 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a)))) (+ (* (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a))))) (* 0 (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a))))))) into 0
0.222 * [backup-simplify]: Simplify 0 into 0
0.223 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
0.224 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
0.224 * [backup-simplify]: Simplify (+ 0 0) into 0
0.224 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a)))) (+ (* (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a))))) (* 0 (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a))))) (* 0 (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a))))))) into 0
0.224 * [taylor]: Taking taylor expansion of 0 in b
0.224 * [backup-simplify]: Simplify 0 into 0
0.224 * [backup-simplify]: Simplify 0 into 0
0.225 * [backup-simplify]: Simplify (/ (exp (/ 1 (/ 1 a))) (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a))))) into (/ (exp a) (+ (exp b) (exp a)))
0.225 * [backup-simplify]: Simplify (/ (exp (/ 1 (- a))) (+ (exp (/ 1 (- a))) (exp (/ 1 (- b))))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a))))
0.225 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in (a b) around 0
0.225 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b
0.225 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
0.225 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.225 * [taylor]: Taking taylor expansion of -1 in b
0.225 * [backup-simplify]: Simplify -1 into -1
0.225 * [taylor]: Taking taylor expansion of a in b
0.225 * [backup-simplify]: Simplify a into a
0.225 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
0.225 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
0.225 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b
0.225 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b
0.225 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.225 * [taylor]: Taking taylor expansion of -1 in b
0.225 * [backup-simplify]: Simplify -1 into -1
0.225 * [taylor]: Taking taylor expansion of b in b
0.225 * [backup-simplify]: Simplify 0 into 0
0.225 * [backup-simplify]: Simplify 1 into 1
0.225 * [backup-simplify]: Simplify (/ -1 1) into -1
0.225 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
0.225 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
0.225 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.225 * [taylor]: Taking taylor expansion of -1 in b
0.226 * [backup-simplify]: Simplify -1 into -1
0.226 * [taylor]: Taking taylor expansion of a in b
0.226 * [backup-simplify]: Simplify a into a
0.226 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
0.226 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
0.226 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
0.226 * [backup-simplify]: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a))))
0.226 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a
0.226 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.226 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.226 * [taylor]: Taking taylor expansion of -1 in a
0.226 * [backup-simplify]: Simplify -1 into -1
0.226 * [taylor]: Taking taylor expansion of a in a
0.226 * [backup-simplify]: Simplify 0 into 0
0.226 * [backup-simplify]: Simplify 1 into 1
0.226 * [backup-simplify]: Simplify (/ -1 1) into -1
0.226 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
0.226 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a
0.226 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a
0.226 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.226 * [taylor]: Taking taylor expansion of -1 in a
0.226 * [backup-simplify]: Simplify -1 into -1
0.226 * [taylor]: Taking taylor expansion of b in a
0.226 * [backup-simplify]: Simplify b into b
0.226 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
0.226 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
0.226 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.227 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.227 * [taylor]: Taking taylor expansion of -1 in a
0.227 * [backup-simplify]: Simplify -1 into -1
0.227 * [taylor]: Taking taylor expansion of a in a
0.227 * [backup-simplify]: Simplify 0 into 0
0.227 * [backup-simplify]: Simplify 1 into 1
0.227 * [backup-simplify]: Simplify (/ -1 1) into -1
0.227 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
0.227 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
0.227 * [backup-simplify]: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a))))
0.227 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a
0.227 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.227 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.227 * [taylor]: Taking taylor expansion of -1 in a
0.227 * [backup-simplify]: Simplify -1 into -1
0.227 * [taylor]: Taking taylor expansion of a in a
0.227 * [backup-simplify]: Simplify 0 into 0
0.227 * [backup-simplify]: Simplify 1 into 1
0.228 * [backup-simplify]: Simplify (/ -1 1) into -1
0.228 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
0.228 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a
0.228 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a
0.228 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.228 * [taylor]: Taking taylor expansion of -1 in a
0.228 * [backup-simplify]: Simplify -1 into -1
0.228 * [taylor]: Taking taylor expansion of b in a
0.228 * [backup-simplify]: Simplify b into b
0.228 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
0.228 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
0.228 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.228 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.228 * [taylor]: Taking taylor expansion of -1 in a
0.228 * [backup-simplify]: Simplify -1 into -1
0.228 * [taylor]: Taking taylor expansion of a in a
0.228 * [backup-simplify]: Simplify 0 into 0
0.228 * [backup-simplify]: Simplify 1 into 1
0.228 * [backup-simplify]: Simplify (/ -1 1) into -1
0.228 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
0.228 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
0.229 * [backup-simplify]: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a))))
0.229 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b
0.229 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
0.229 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.229 * [taylor]: Taking taylor expansion of -1 in b
0.229 * [backup-simplify]: Simplify -1 into -1
0.229 * [taylor]: Taking taylor expansion of a in b
0.229 * [backup-simplify]: Simplify a into a
0.229 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
0.229 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
0.229 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b
0.229 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b
0.229 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.229 * [taylor]: Taking taylor expansion of -1 in b
0.229 * [backup-simplify]: Simplify -1 into -1
0.229 * [taylor]: Taking taylor expansion of b in b
0.229 * [backup-simplify]: Simplify 0 into 0
0.229 * [backup-simplify]: Simplify 1 into 1
0.229 * [backup-simplify]: Simplify (/ -1 1) into -1
0.229 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
0.229 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
0.229 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.229 * [taylor]: Taking taylor expansion of -1 in b
0.229 * [backup-simplify]: Simplify -1 into -1
0.229 * [taylor]: Taking taylor expansion of a in b
0.229 * [backup-simplify]: Simplify a into a
0.229 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
0.230 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
0.230 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
0.230 * [backup-simplify]: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a))))
0.230 * [backup-simplify]: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a))))
0.230 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0
0.231 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0
0.231 * [backup-simplify]: Simplify (+ 0 0) into 0
0.231 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a)))) (+ (* (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a))))))) into 0
0.231 * [taylor]: Taking taylor expansion of 0 in b
0.231 * [backup-simplify]: Simplify 0 into 0
0.231 * [backup-simplify]: Simplify 0 into 0
0.231 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0
0.232 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
0.232 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0
0.232 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
0.233 * [backup-simplify]: Simplify (+ 0 0) into 0
0.233 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a)))) (+ (* (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a))))))) into 0
0.233 * [backup-simplify]: Simplify 0 into 0
0.233 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
0.234 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.234 * [backup-simplify]: Simplify (+ 0 0) into 0
0.235 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a)))) (+ (* (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a))))) (* 0 (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a))))))) into 0
0.235 * [taylor]: Taking taylor expansion of 0 in b
0.235 * [backup-simplify]: Simplify 0 into 0
0.235 * [backup-simplify]: Simplify 0 into 0
0.235 * [backup-simplify]: Simplify 0 into 0
0.235 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
0.236 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.236 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
0.236 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.237 * [backup-simplify]: Simplify (+ 0 0) into 0
0.237 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a)))) (+ (* (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a))))) (* 0 (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a))))))) into 0
0.237 * [backup-simplify]: Simplify 0 into 0
0.237 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
0.238 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
0.239 * [backup-simplify]: Simplify (+ 0 0) into 0
0.239 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a)))) (+ (* (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a))))) (* 0 (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a))))) (* 0 (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a))))))) into 0
0.239 * [taylor]: Taking taylor expansion of 0 in b
0.239 * [backup-simplify]: Simplify 0 into 0
0.239 * [backup-simplify]: Simplify 0 into 0
0.239 * [backup-simplify]: Simplify (/ (exp (/ -1 (/ 1 (- a)))) (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a)))))) into (/ (exp a) (+ (exp b) (exp a)))
0.239 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.239 * [backup-simplify]: Simplify (+ (exp a) (exp b)) into (+ (exp a) (exp b))
0.239 * [approximate]: Taking taylor expansion of (+ (exp a) (exp b)) in (a b) around 0
0.239 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in b
0.239 * [taylor]: Taking taylor expansion of (exp a) in b
0.239 * [taylor]: Taking taylor expansion of a in b
0.239 * [backup-simplify]: Simplify a into a
0.240 * [backup-simplify]: Simplify (exp a) into (exp a)
0.240 * [taylor]: Taking taylor expansion of (exp b) in b
0.240 * [taylor]: Taking taylor expansion of b in b
0.240 * [backup-simplify]: Simplify 0 into 0
0.240 * [backup-simplify]: Simplify 1 into 1
0.240 * [backup-simplify]: Simplify (exp 0) into 1
0.240 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a
0.240 * [taylor]: Taking taylor expansion of (exp a) in a
0.240 * [taylor]: Taking taylor expansion of a in a
0.240 * [backup-simplify]: Simplify 0 into 0
0.240 * [backup-simplify]: Simplify 1 into 1
0.240 * [backup-simplify]: Simplify (exp 0) into 1
0.240 * [taylor]: Taking taylor expansion of (exp b) in a
0.240 * [taylor]: Taking taylor expansion of b in a
0.240 * [backup-simplify]: Simplify b into b
0.240 * [backup-simplify]: Simplify (exp b) into (exp b)
0.240 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a
0.240 * [taylor]: Taking taylor expansion of (exp a) in a
0.240 * [taylor]: Taking taylor expansion of a in a
0.240 * [backup-simplify]: Simplify 0 into 0
0.240 * [backup-simplify]: Simplify 1 into 1
0.240 * [backup-simplify]: Simplify (exp 0) into 1
0.240 * [taylor]: Taking taylor expansion of (exp b) in a
0.240 * [taylor]: Taking taylor expansion of b in a
0.240 * [backup-simplify]: Simplify b into b
0.240 * [backup-simplify]: Simplify (exp b) into (exp b)
0.240 * [backup-simplify]: Simplify (+ 1 (exp b)) into (+ (exp b) 1)
0.240 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b
0.240 * [taylor]: Taking taylor expansion of (exp b) in b
0.240 * [taylor]: Taking taylor expansion of b in b
0.240 * [backup-simplify]: Simplify 0 into 0
0.240 * [backup-simplify]: Simplify 1 into 1
0.240 * [backup-simplify]: Simplify (exp 0) into 1
0.240 * [taylor]: Taking taylor expansion of 1 in b
0.240 * [backup-simplify]: Simplify 1 into 1
0.240 * [backup-simplify]: Simplify (+ 1 1) into 2
0.240 * [backup-simplify]: Simplify 2 into 2
0.241 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.242 * [backup-simplify]: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0
0.242 * [backup-simplify]: Simplify (+ 1 0) into 1
0.243 * [taylor]: Taking taylor expansion of 1 in b
0.243 * [backup-simplify]: Simplify 1 into 1
0.243 * [backup-simplify]: Simplify 1 into 1
0.244 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.244 * [backup-simplify]: Simplify (+ 1 0) into 1
0.244 * [backup-simplify]: Simplify 1 into 1
0.244 * [backup-simplify]: Simplify (+ (* 1 (* b 1)) (+ (* 1 (* 1 a)) 2)) into (+ a (+ b 2))
0.244 * [backup-simplify]: Simplify (+ (exp (/ 1 a)) (exp (/ 1 b))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
0.244 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in (a b) around 0
0.245 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b
0.245 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b
0.245 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.245 * [taylor]: Taking taylor expansion of b in b
0.245 * [backup-simplify]: Simplify 0 into 0
0.245 * [backup-simplify]: Simplify 1 into 1
0.245 * [backup-simplify]: Simplify (/ 1 1) into 1
0.245 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
0.245 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
0.245 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.245 * [taylor]: Taking taylor expansion of a in b
0.245 * [backup-simplify]: Simplify a into a
0.245 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.245 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
0.245 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a
0.245 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a
0.245 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.245 * [taylor]: Taking taylor expansion of b in a
0.246 * [backup-simplify]: Simplify b into b
0.246 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.246 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
0.246 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.246 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.246 * [taylor]: Taking taylor expansion of a in a
0.246 * [backup-simplify]: Simplify 0 into 0
0.246 * [backup-simplify]: Simplify 1 into 1
0.246 * [backup-simplify]: Simplify (/ 1 1) into 1
0.246 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
0.246 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a
0.246 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a
0.246 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.246 * [taylor]: Taking taylor expansion of b in a
0.246 * [backup-simplify]: Simplify b into b
0.246 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.247 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
0.247 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.247 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.247 * [taylor]: Taking taylor expansion of a in a
0.247 * [backup-simplify]: Simplify 0 into 0
0.247 * [backup-simplify]: Simplify 1 into 1
0.247 * [backup-simplify]: Simplify (/ 1 1) into 1
0.247 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
0.247 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
0.247 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b
0.247 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b
0.247 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.247 * [taylor]: Taking taylor expansion of b in b
0.247 * [backup-simplify]: Simplify 0 into 0
0.247 * [backup-simplify]: Simplify 1 into 1
0.248 * [backup-simplify]: Simplify (/ 1 1) into 1
0.248 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
0.248 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
0.248 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.248 * [taylor]: Taking taylor expansion of a in b
0.248 * [backup-simplify]: Simplify a into a
0.248 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.248 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
0.248 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
0.249 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
0.249 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
0.250 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0
0.250 * [backup-simplify]: Simplify (+ 0 0) into 0
0.250 * [taylor]: Taking taylor expansion of 0 in b
0.250 * [backup-simplify]: Simplify 0 into 0
0.250 * [backup-simplify]: Simplify 0 into 0
0.250 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
0.251 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
0.252 * [backup-simplify]: Simplify (+ 0 0) into 0
0.252 * [backup-simplify]: Simplify 0 into 0
0.252 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
0.253 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.254 * [backup-simplify]: Simplify (+ 0 0) into 0
0.254 * [taylor]: Taking taylor expansion of 0 in b
0.254 * [backup-simplify]: Simplify 0 into 0
0.254 * [backup-simplify]: Simplify 0 into 0
0.254 * [backup-simplify]: Simplify 0 into 0
0.254 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
0.255 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.256 * [backup-simplify]: Simplify (+ 0 0) into 0
0.256 * [backup-simplify]: Simplify 0 into 0
0.256 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
0.257 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
0.258 * [backup-simplify]: Simplify (+ 0 0) into 0
0.258 * [taylor]: Taking taylor expansion of 0 in b
0.258 * [backup-simplify]: Simplify 0 into 0
0.258 * [backup-simplify]: Simplify 0 into 0
0.258 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a)))) into (+ (exp b) (exp a))
0.258 * [backup-simplify]: Simplify (+ (exp (/ 1 (- a))) (exp (/ 1 (- b)))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
0.258 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in (a b) around 0
0.258 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b
0.258 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b
0.258 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.258 * [taylor]: Taking taylor expansion of -1 in b
0.259 * [backup-simplify]: Simplify -1 into -1
0.259 * [taylor]: Taking taylor expansion of b in b
0.259 * [backup-simplify]: Simplify 0 into 0
0.259 * [backup-simplify]: Simplify 1 into 1
0.259 * [backup-simplify]: Simplify (/ -1 1) into -1
0.259 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
0.259 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
0.259 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.259 * [taylor]: Taking taylor expansion of -1 in b
0.259 * [backup-simplify]: Simplify -1 into -1
0.259 * [taylor]: Taking taylor expansion of a in b
0.259 * [backup-simplify]: Simplify a into a
0.259 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
0.259 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
0.259 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a
0.259 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a
0.259 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.259 * [taylor]: Taking taylor expansion of -1 in a
0.260 * [backup-simplify]: Simplify -1 into -1
0.260 * [taylor]: Taking taylor expansion of b in a
0.260 * [backup-simplify]: Simplify b into b
0.260 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
0.260 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
0.260 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.260 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.260 * [taylor]: Taking taylor expansion of -1 in a
0.260 * [backup-simplify]: Simplify -1 into -1
0.260 * [taylor]: Taking taylor expansion of a in a
0.260 * [backup-simplify]: Simplify 0 into 0
0.260 * [backup-simplify]: Simplify 1 into 1
0.260 * [backup-simplify]: Simplify (/ -1 1) into -1
0.260 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
0.260 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a
0.260 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a
0.260 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.261 * [taylor]: Taking taylor expansion of -1 in a
0.261 * [backup-simplify]: Simplify -1 into -1
0.261 * [taylor]: Taking taylor expansion of b in a
0.261 * [backup-simplify]: Simplify b into b
0.261 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
0.261 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
0.261 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.261 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.261 * [taylor]: Taking taylor expansion of -1 in a
0.261 * [backup-simplify]: Simplify -1 into -1
0.261 * [taylor]: Taking taylor expansion of a in a
0.261 * [backup-simplify]: Simplify 0 into 0
0.261 * [backup-simplify]: Simplify 1 into 1
0.266 * [backup-simplify]: Simplify (/ -1 1) into -1
0.266 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
0.266 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
0.266 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b
0.266 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b
0.266 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.267 * [taylor]: Taking taylor expansion of -1 in b
0.267 * [backup-simplify]: Simplify -1 into -1
0.267 * [taylor]: Taking taylor expansion of b in b
0.267 * [backup-simplify]: Simplify 0 into 0
0.267 * [backup-simplify]: Simplify 1 into 1
0.267 * [backup-simplify]: Simplify (/ -1 1) into -1
0.267 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
0.267 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
0.267 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.267 * [taylor]: Taking taylor expansion of -1 in b
0.268 * [backup-simplify]: Simplify -1 into -1
0.268 * [taylor]: Taking taylor expansion of a in b
0.268 * [backup-simplify]: Simplify a into a
0.268 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
0.268 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
0.268 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
0.268 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
0.268 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0
0.269 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0
0.270 * [backup-simplify]: Simplify (+ 0 0) into 0
0.270 * [taylor]: Taking taylor expansion of 0 in b
0.270 * [backup-simplify]: Simplify 0 into 0
0.270 * [backup-simplify]: Simplify 0 into 0
0.270 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0
0.271 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
0.271 * [backup-simplify]: Simplify (+ 0 0) into 0
0.271 * [backup-simplify]: Simplify 0 into 0
0.271 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
0.273 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.273 * [backup-simplify]: Simplify (+ 0 0) into 0
0.273 * [taylor]: Taking taylor expansion of 0 in b
0.273 * [backup-simplify]: Simplify 0 into 0
0.273 * [backup-simplify]: Simplify 0 into 0
0.273 * [backup-simplify]: Simplify 0 into 0
0.273 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
0.274 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.274 * [backup-simplify]: Simplify (+ 0 0) into 0
0.274 * [backup-simplify]: Simplify 0 into 0
0.275 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
0.276 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
0.276 * [backup-simplify]: Simplify (+ 0 0) into 0
0.276 * [taylor]: Taking taylor expansion of 0 in b
0.276 * [backup-simplify]: Simplify 0 into 0
0.276 * [backup-simplify]: Simplify 0 into 0
0.276 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a))))) into (+ (exp b) (exp a))
0.276 * * * [progress]: simplifying candidates
0.277 * [simplify]: Simplifying:
  (- a (log (+ (exp a) (exp b))))
  (log (/ (exp a) (+ (exp a) (exp b))))
  (exp (/ (exp a) (+ (exp a) (exp b))))
  (/ (* (* (exp a) (exp a)) (exp a)) (* (* (+ (exp a) (exp b)) (+ (exp a) (exp b))) (+ (exp a) (exp b))))
  (* (cbrt (/ (exp a) (+ (exp a) (exp b)))) (cbrt (/ (exp a) (+ (exp a) (exp b)))))
  (cbrt (/ (exp a) (+ (exp a) (exp b))))
  (* (* (/ (exp a) (+ (exp a) (exp b))) (/ (exp a) (+ (exp a) (exp b)))) (/ (exp a) (+ (exp a) (exp b))))
  (sqrt (/ (exp a) (+ (exp a) (exp b))))
  (sqrt (/ (exp a) (+ (exp a) (exp b))))
  (- (exp a))
  (- (+ (exp a) (exp b)))
  (/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b)))))
  (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b))))
  (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ (exp a) (exp b))))
  (/ (cbrt (exp a)) (sqrt (+ (exp a) (exp b))))
  (/ (* (cbrt (exp a)) (cbrt (exp a))) 1)
  (/ (cbrt (exp a)) (+ (exp a) (exp b)))
  (/ (* (cbrt (exp a)) (cbrt (exp a))) 1)
  (/ (cbrt (exp a)) (+ (exp a) (exp b)))
  (/ (sqrt (exp a)) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b)))))
  (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b))))
  (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b))))
  (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b))))
  (/ (sqrt (exp a)) 1)
  (/ (sqrt (exp a)) (+ (exp a) (exp b)))
  (/ (sqrt (exp a)) 1)
  (/ (sqrt (exp a)) (+ (exp a) (exp b)))
  (/ 1 (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b)))))
  (/ (exp a) (cbrt (+ (exp a) (exp b))))
  (/ 1 (sqrt (+ (exp a) (exp b))))
  (/ (exp a) (sqrt (+ (exp a) (exp b))))
  (/ 1 1)
  (/ (exp a) (+ (exp a) (exp b)))
  (/ 1 1)
  (/ (exp a) (+ (exp a) (exp b)))
  (/ 1 (+ (exp a) (exp b)))
  (/ (+ (exp a) (exp b)) (exp a))
  (/ (exp a) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b)))))
  (/ (exp a) (sqrt (+ (exp a) (exp b))))
  (/ (exp a) 1)
  (/ (exp a) 1)
  (/ (+ (exp a) (exp b)) (cbrt (exp a)))
  (/ (+ (exp a) (exp b)) (sqrt (exp a)))
  (/ (+ (exp a) (exp b)) (exp a))
  (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))
  (/ (exp a) (- (* (exp a) (exp a)) (* (exp b) (exp b))))
  (* (exp (exp a)) (exp (exp b)))
  (log (+ (exp a) (exp b)))
  (exp (+ (exp a) (exp b)))
  (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))
  (cbrt (+ (exp a) (exp b)))
  (* (* (+ (exp a) (exp b)) (+ (exp a) (exp b))) (+ (exp a) (exp b)))
  (sqrt (+ (exp a) (exp b)))
  (sqrt (+ (exp a) (exp b)))
  (+ (pow (exp a) 3) (pow (exp b) 3))
  (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))
  (- (* (exp a) (exp a)) (* (exp b) (exp b)))
  (- (exp a) (exp b))
  (+ (exp a) (exp b))
  (- (+ (* 1/4 a) 1/2) (* 1/4 b))
  (/ (exp a) (+ (exp b) (exp a)))
  (/ (exp a) (+ (exp b) (exp a)))
  (+ a (+ b 2))
  (+ (exp b) (exp a))
  (+ (exp b) (exp a))
0.277 * * [simplify]: iteration 0: 78 enodes
0.292 * * [simplify]: iteration 1: 176 enodes
0.352 * * [simplify]: iteration 2: 470 enodes
0.506 * * [simplify]: iteration 3: 993 enodes
1.157 * * [simplify]: iteration 4: 2545 enodes
2.370 * * [simplify]: iteration complete: 5001 enodes
2.371 * * [simplify]: Extracting #0: cost 48 inf + 0
2.373 * * [simplify]: Extracting #1: cost 464 inf + 1
2.380 * * [simplify]: Extracting #2: cost 963 inf + 1974
2.400 * * [simplify]: Extracting #3: cost 777 inf + 64134
2.476 * * [simplify]: Extracting #4: cost 295 inf + 238055
2.541 * * [simplify]: Extracting #5: cost 44 inf + 355546
2.619 * * [simplify]: Extracting #6: cost 16 inf + 375207
2.709 * * [simplify]: Extracting #7: cost 4 inf + 376835
2.793 * * [simplify]: Extracting #8: cost 0 inf + 378127
2.868 * [simplify]: Simplified to:
  (log (/ (exp a) (+ (exp a) (exp b))))
  (log (/ (exp a) (+ (exp a) (exp b))))
  (exp (/ (exp a) (+ (exp a) (exp b))))
  (* (/ (exp a) (+ (exp a) (exp b))) (* (/ (exp a) (+ (exp a) (exp b))) (/ (exp a) (+ (exp a) (exp b)))))
  (* (cbrt (/ (exp a) (+ (exp a) (exp b)))) (cbrt (/ (exp a) (+ (exp a) (exp b)))))
  (cbrt (/ (exp a) (+ (exp a) (exp b))))
  (* (/ (exp a) (+ (exp a) (exp b))) (* (/ (exp a) (+ (exp a) (exp b))) (/ (exp a) (+ (exp a) (exp b)))))
  (sqrt (/ (exp a) (+ (exp a) (exp b))))
  (sqrt (/ (exp a) (+ (exp a) (exp b))))
  (- (exp a))
  (- (+ (exp a) (exp b)))
  (* (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))) (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))))
  (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b))))
  (* (cbrt (exp a)) (/ (cbrt (exp a)) (sqrt (+ (exp a) (exp b)))))
  (/ (cbrt (exp a)) (sqrt (+ (exp a) (exp b))))
  (* (cbrt (exp a)) (cbrt (exp a)))
  (/ (cbrt (exp a)) (+ (exp a) (exp b)))
  (* (cbrt (exp a)) (cbrt (exp a)))
  (/ (cbrt (exp a)) (+ (exp a) (exp b)))
  (/ (sqrt (exp a)) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b)))))
  (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b))))
  (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b))))
  (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b))))
  (sqrt (exp a))
  (/ (sqrt (exp a)) (+ (exp a) (exp b)))
  (sqrt (exp a))
  (/ (sqrt (exp a)) (+ (exp a) (exp b)))
  (/ 1 (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b)))))
  (/ (exp a) (cbrt (+ (exp a) (exp b))))
  (/ 1 (sqrt (+ (exp a) (exp b))))
  (/ (exp a) (sqrt (+ (exp a) (exp b))))
  1
  (/ (exp a) (+ (exp a) (exp b)))
  1
  (/ (exp a) (+ (exp a) (exp b)))
  (/ 1 (+ (exp a) (exp b)))
  (/ (+ (exp a) (exp b)) (exp a))
  (/ (/ (exp a) (cbrt (+ (exp a) (exp b)))) (cbrt (+ (exp a) (exp b))))
  (/ (exp a) (sqrt (+ (exp a) (exp b))))
  (exp a)
  (exp a)
  (/ (+ (exp a) (exp b)) (cbrt (exp a)))
  (/ (+ (exp a) (exp b)) (sqrt (exp a)))
  (/ (+ (exp a) (exp b)) (exp a))
  (/ (exp a) (+ (exp (* 3 b)) (exp (* 3 a))))
  (/ (/ (exp a) (- (exp a) (exp b))) (+ (exp a) (exp b)))
  (exp (+ (exp b) (exp a)))
  (log (+ (exp a) (exp b)))
  (exp (+ (exp b) (exp a)))
  (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))
  (cbrt (+ (exp a) (exp b)))
  (* (+ (exp b) (exp a)) (* (+ (exp b) (exp a)) (+ (exp b) (exp a))))
  (sqrt (+ (exp a) (exp b)))
  (sqrt (+ (exp a) (exp b)))
  (+ (exp (* 3 b)) (exp (* 3 a)))
  (- (* (exp b) (- (exp b) (exp a))) (* (exp a) (- (exp a))))
  (* (+ (exp a) (exp b)) (- (exp a) (exp b)))
  (- (exp a) (exp b))
  (+ (exp a) (exp b))
  (- 1/2 (* 1/4 (- b a)))
  (/ (exp a) (+ (exp a) (exp b)))
  (/ (exp a) (+ (exp a) (exp b)))
  (+ (+ a b) 2)
  (+ (exp a) (exp b))
  (+ (exp a) (exp b))
2.870 * * * [progress]: adding candidates to table
3.167 * * [progress]: iteration 2 / 4
3.167 * * * [progress]: picking best candidate
3.174 * * * * [pick]: Picked  #<alt (λ (a b) (exp (- a (log (+ (exp a) (exp b))))))>
3.174 * * * [progress]: localizing error
3.199 * * * [progress]: generating rewritten candidates
3.199 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
3.205 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
3.216 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
3.223 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
3.250 * * * [progress]: generating series expansions
3.250 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
3.250 * [backup-simplify]: Simplify (log (+ (exp a) (exp b))) into (log (+ (exp a) (exp b)))
3.250 * [approximate]: Taking taylor expansion of (log (+ (exp a) (exp b))) in (a b) around 0
3.250 * [taylor]: Taking taylor expansion of (log (+ (exp a) (exp b))) in b
3.250 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in b
3.250 * [taylor]: Taking taylor expansion of (exp a) in b
3.250 * [taylor]: Taking taylor expansion of a in b
3.250 * [backup-simplify]: Simplify a into a
3.250 * [backup-simplify]: Simplify (exp a) into (exp a)
3.250 * [taylor]: Taking taylor expansion of (exp b) in b
3.250 * [taylor]: Taking taylor expansion of b in b
3.250 * [backup-simplify]: Simplify 0 into 0
3.250 * [backup-simplify]: Simplify 1 into 1
3.250 * [backup-simplify]: Simplify (exp 0) into 1
3.250 * [backup-simplify]: Simplify (+ (exp a) 1) into (+ (exp a) 1)
3.250 * [backup-simplify]: Simplify (log (+ (exp a) 1)) into (log (+ (exp a) 1))
3.250 * [taylor]: Taking taylor expansion of (log (+ (exp a) (exp b))) in a
3.250 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a
3.250 * [taylor]: Taking taylor expansion of (exp a) in a
3.250 * [taylor]: Taking taylor expansion of a in a
3.250 * [backup-simplify]: Simplify 0 into 0
3.250 * [backup-simplify]: Simplify 1 into 1
3.251 * [backup-simplify]: Simplify (exp 0) into 1
3.251 * [taylor]: Taking taylor expansion of (exp b) in a
3.251 * [taylor]: Taking taylor expansion of b in a
3.251 * [backup-simplify]: Simplify b into b
3.251 * [backup-simplify]: Simplify (exp b) into (exp b)
3.251 * [backup-simplify]: Simplify (+ 1 (exp b)) into (+ (exp b) 1)
3.251 * [backup-simplify]: Simplify (log (+ (exp b) 1)) into (log (+ (exp b) 1))
3.251 * [taylor]: Taking taylor expansion of (log (+ (exp a) (exp b))) in a
3.251 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a
3.251 * [taylor]: Taking taylor expansion of (exp a) in a
3.251 * [taylor]: Taking taylor expansion of a in a
3.251 * [backup-simplify]: Simplify 0 into 0
3.251 * [backup-simplify]: Simplify 1 into 1
3.251 * [backup-simplify]: Simplify (exp 0) into 1
3.251 * [taylor]: Taking taylor expansion of (exp b) in a
3.251 * [taylor]: Taking taylor expansion of b in a
3.251 * [backup-simplify]: Simplify b into b
3.251 * [backup-simplify]: Simplify (exp b) into (exp b)
3.251 * [backup-simplify]: Simplify (+ 1 (exp b)) into (+ (exp b) 1)
3.251 * [backup-simplify]: Simplify (log (+ (exp b) 1)) into (log (+ (exp b) 1))
3.251 * [taylor]: Taking taylor expansion of (log (+ (exp b) 1)) in b
3.251 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b
3.251 * [taylor]: Taking taylor expansion of (exp b) in b
3.251 * [taylor]: Taking taylor expansion of b in b
3.251 * [backup-simplify]: Simplify 0 into 0
3.251 * [backup-simplify]: Simplify 1 into 1
3.251 * [backup-simplify]: Simplify (exp 0) into 1
3.251 * [taylor]: Taking taylor expansion of 1 in b
3.251 * [backup-simplify]: Simplify 1 into 1
3.252 * [backup-simplify]: Simplify (+ 1 1) into 2
3.252 * [backup-simplify]: Simplify (log 2) into (log 2)
3.252 * [backup-simplify]: Simplify (log 2) into (log 2)
3.253 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.254 * [backup-simplify]: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0
3.254 * [backup-simplify]: Simplify (+ 1 0) into 1
3.255 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (+ (exp b) 1) 1)))) 1) into (/ 1 (+ (exp b) 1))
3.255 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b
3.255 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b
3.255 * [taylor]: Taking taylor expansion of (exp b) in b
3.255 * [taylor]: Taking taylor expansion of b in b
3.255 * [backup-simplify]: Simplify 0 into 0
3.255 * [backup-simplify]: Simplify 1 into 1
3.255 * [backup-simplify]: Simplify (exp 0) into 1
3.255 * [taylor]: Taking taylor expansion of 1 in b
3.255 * [backup-simplify]: Simplify 1 into 1
3.255 * [backup-simplify]: Simplify (+ 1 1) into 2
3.255 * [backup-simplify]: Simplify (/ 1 2) into 1/2
3.255 * [backup-simplify]: Simplify 1/2 into 1/2
3.256 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.256 * [backup-simplify]: Simplify (+ 1 0) into 1
3.257 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2
3.257 * [backup-simplify]: Simplify 1/2 into 1/2
3.257 * [backup-simplify]: Simplify (+ (* 1/2 (* b 1)) (+ (* 1/2 (* 1 a)) (log 2))) into (+ (* 1/2 a) (+ (* 1/2 b) (log 2)))
3.257 * [backup-simplify]: Simplify (log (+ (exp (/ 1 a)) (exp (/ 1 b)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.258 * [approximate]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in (a b) around 0
3.258 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b
3.258 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b
3.258 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b
3.258 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.258 * [taylor]: Taking taylor expansion of b in b
3.258 * [backup-simplify]: Simplify 0 into 0
3.258 * [backup-simplify]: Simplify 1 into 1
3.258 * [backup-simplify]: Simplify (/ 1 1) into 1
3.258 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.258 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
3.258 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.258 * [taylor]: Taking taylor expansion of a in b
3.258 * [backup-simplify]: Simplify a into a
3.258 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.258 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.258 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.258 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.258 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a
3.258 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a
3.258 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a
3.258 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.258 * [taylor]: Taking taylor expansion of b in a
3.258 * [backup-simplify]: Simplify b into b
3.258 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.258 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.258 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.258 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.258 * [taylor]: Taking taylor expansion of a in a
3.258 * [backup-simplify]: Simplify 0 into 0
3.258 * [backup-simplify]: Simplify 1 into 1
3.259 * [backup-simplify]: Simplify (/ 1 1) into 1
3.259 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.259 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.259 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.259 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a
3.259 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a
3.259 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a
3.259 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.259 * [taylor]: Taking taylor expansion of b in a
3.259 * [backup-simplify]: Simplify b into b
3.259 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.259 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.259 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.259 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.259 * [taylor]: Taking taylor expansion of a in a
3.259 * [backup-simplify]: Simplify 0 into 0
3.259 * [backup-simplify]: Simplify 1 into 1
3.259 * [backup-simplify]: Simplify (/ 1 1) into 1
3.260 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.260 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.260 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.260 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b
3.260 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b
3.260 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b
3.260 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.260 * [taylor]: Taking taylor expansion of b in b
3.260 * [backup-simplify]: Simplify 0 into 0
3.260 * [backup-simplify]: Simplify 1 into 1
3.260 * [backup-simplify]: Simplify (/ 1 1) into 1
3.260 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.260 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
3.260 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.260 * [taylor]: Taking taylor expansion of a in b
3.260 * [backup-simplify]: Simplify a into a
3.260 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.260 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.260 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.260 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.261 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.261 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
3.261 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0
3.261 * [backup-simplify]: Simplify (+ 0 0) into 0
3.262 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 b)) (exp (/ 1 a))) 1)))) 1) into 0
3.262 * [taylor]: Taking taylor expansion of 0 in b
3.262 * [backup-simplify]: Simplify 0 into 0
3.262 * [backup-simplify]: Simplify 0 into 0
3.262 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
3.263 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
3.263 * [backup-simplify]: Simplify (+ 0 0) into 0
3.264 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 b)) (exp (/ 1 a))) 1)))) 1) into 0
3.264 * [backup-simplify]: Simplify 0 into 0
3.264 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.264 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.265 * [backup-simplify]: Simplify (+ 0 0) into 0
3.266 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ 1 b)) (exp (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ 1 b)) (exp (/ 1 a))) 1)))) 2) into 0
3.266 * [taylor]: Taking taylor expansion of 0 in b
3.266 * [backup-simplify]: Simplify 0 into 0
3.266 * [backup-simplify]: Simplify 0 into 0
3.266 * [backup-simplify]: Simplify 0 into 0
3.266 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
3.267 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.267 * [backup-simplify]: Simplify (+ 0 0) into 0
3.269 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ 1 b)) (exp (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ 1 b)) (exp (/ 1 a))) 1)))) 2) into 0
3.269 * [backup-simplify]: Simplify 0 into 0
3.269 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.270 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.271 * [backup-simplify]: Simplify (+ 0 0) into 0
3.274 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ 1 b)) (exp (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 b)) (exp (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 b)) (exp (/ 1 a))) 1)))) 6) into 0
3.274 * [taylor]: Taking taylor expansion of 0 in b
3.274 * [backup-simplify]: Simplify 0 into 0
3.274 * [backup-simplify]: Simplify 0 into 0
3.275 * [backup-simplify]: Simplify (log (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a))))) into (log (+ (exp b) (exp a)))
3.275 * [backup-simplify]: Simplify (log (+ (exp (/ 1 (- a))) (exp (/ 1 (- b))))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.275 * [approximate]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in (a b) around 0
3.275 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b
3.275 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b
3.275 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b
3.275 * [taylor]: Taking taylor expansion of (/ -1 b) in b
3.275 * [taylor]: Taking taylor expansion of -1 in b
3.275 * [backup-simplify]: Simplify -1 into -1
3.275 * [taylor]: Taking taylor expansion of b in b
3.275 * [backup-simplify]: Simplify 0 into 0
3.275 * [backup-simplify]: Simplify 1 into 1
3.276 * [backup-simplify]: Simplify (/ -1 1) into -1
3.276 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.276 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
3.276 * [taylor]: Taking taylor expansion of (/ -1 a) in b
3.276 * [taylor]: Taking taylor expansion of -1 in b
3.276 * [backup-simplify]: Simplify -1 into -1
3.276 * [taylor]: Taking taylor expansion of a in b
3.276 * [backup-simplify]: Simplify a into a
3.276 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
3.276 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.276 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.276 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.276 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a
3.276 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a
3.276 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a
3.276 * [taylor]: Taking taylor expansion of (/ -1 b) in a
3.276 * [taylor]: Taking taylor expansion of -1 in a
3.276 * [backup-simplify]: Simplify -1 into -1
3.277 * [taylor]: Taking taylor expansion of b in a
3.277 * [backup-simplify]: Simplify b into b
3.277 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
3.277 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.277 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.277 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.277 * [taylor]: Taking taylor expansion of -1 in a
3.277 * [backup-simplify]: Simplify -1 into -1
3.277 * [taylor]: Taking taylor expansion of a in a
3.277 * [backup-simplify]: Simplify 0 into 0
3.277 * [backup-simplify]: Simplify 1 into 1
3.277 * [backup-simplify]: Simplify (/ -1 1) into -1
3.277 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.278 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.278 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.278 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a
3.278 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a
3.278 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a
3.278 * [taylor]: Taking taylor expansion of (/ -1 b) in a
3.278 * [taylor]: Taking taylor expansion of -1 in a
3.278 * [backup-simplify]: Simplify -1 into -1
3.278 * [taylor]: Taking taylor expansion of b in a
3.278 * [backup-simplify]: Simplify b into b
3.278 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
3.278 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.278 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.278 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.278 * [taylor]: Taking taylor expansion of -1 in a
3.278 * [backup-simplify]: Simplify -1 into -1
3.278 * [taylor]: Taking taylor expansion of a in a
3.278 * [backup-simplify]: Simplify 0 into 0
3.278 * [backup-simplify]: Simplify 1 into 1
3.279 * [backup-simplify]: Simplify (/ -1 1) into -1
3.279 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.279 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.279 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.279 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b
3.279 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b
3.279 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b
3.279 * [taylor]: Taking taylor expansion of (/ -1 b) in b
3.279 * [taylor]: Taking taylor expansion of -1 in b
3.280 * [backup-simplify]: Simplify -1 into -1
3.280 * [taylor]: Taking taylor expansion of b in b
3.280 * [backup-simplify]: Simplify 0 into 0
3.280 * [backup-simplify]: Simplify 1 into 1
3.280 * [backup-simplify]: Simplify (/ -1 1) into -1
3.280 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.280 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
3.280 * [taylor]: Taking taylor expansion of (/ -1 a) in b
3.280 * [taylor]: Taking taylor expansion of -1 in b
3.280 * [backup-simplify]: Simplify -1 into -1
3.280 * [taylor]: Taking taylor expansion of a in b
3.280 * [backup-simplify]: Simplify a into a
3.280 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
3.280 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.281 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.281 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.281 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.282 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0
3.282 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0
3.283 * [backup-simplify]: Simplify (+ 0 0) into 0
3.284 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 b)) (exp (/ -1 a))) 1)))) 1) into 0
3.284 * [taylor]: Taking taylor expansion of 0 in b
3.284 * [backup-simplify]: Simplify 0 into 0
3.284 * [backup-simplify]: Simplify 0 into 0
3.284 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0
3.285 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
3.285 * [backup-simplify]: Simplify (+ 0 0) into 0
3.286 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 b)) (exp (/ -1 a))) 1)))) 1) into 0
3.286 * [backup-simplify]: Simplify 0 into 0
3.286 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.287 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.287 * [backup-simplify]: Simplify (+ 0 0) into 0
3.288 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ -1 b)) (exp (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ -1 b)) (exp (/ -1 a))) 1)))) 2) into 0
3.288 * [taylor]: Taking taylor expansion of 0 in b
3.288 * [backup-simplify]: Simplify 0 into 0
3.288 * [backup-simplify]: Simplify 0 into 0
3.288 * [backup-simplify]: Simplify 0 into 0
3.288 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
3.289 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.289 * [backup-simplify]: Simplify (+ 0 0) into 0
3.291 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ -1 b)) (exp (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ -1 b)) (exp (/ -1 a))) 1)))) 2) into 0
3.291 * [backup-simplify]: Simplify 0 into 0
3.291 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.292 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.292 * [backup-simplify]: Simplify (+ 0 0) into 0
3.294 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ -1 b)) (exp (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 b)) (exp (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 b)) (exp (/ -1 a))) 1)))) 6) into 0
3.294 * [taylor]: Taking taylor expansion of 0 in b
3.294 * [backup-simplify]: Simplify 0 into 0
3.294 * [backup-simplify]: Simplify 0 into 0
3.294 * [backup-simplify]: Simplify (log (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a)))))) into (log (+ (exp b) (exp a)))
3.294 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
3.294 * [backup-simplify]: Simplify (- a (log (+ (exp a) (exp b)))) into (- a (log (+ (exp a) (exp b))))
3.294 * [approximate]: Taking taylor expansion of (- a (log (+ (exp a) (exp b)))) in (a b) around 0
3.294 * [taylor]: Taking taylor expansion of (- a (log (+ (exp a) (exp b)))) in b
3.294 * [taylor]: Taking taylor expansion of a in b
3.294 * [backup-simplify]: Simplify a into a
3.294 * [taylor]: Taking taylor expansion of (log (+ (exp a) (exp b))) in b
3.294 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in b
3.295 * [taylor]: Taking taylor expansion of (exp a) in b
3.295 * [taylor]: Taking taylor expansion of a in b
3.295 * [backup-simplify]: Simplify a into a
3.295 * [backup-simplify]: Simplify (exp a) into (exp a)
3.295 * [taylor]: Taking taylor expansion of (exp b) in b
3.295 * [taylor]: Taking taylor expansion of b in b
3.295 * [backup-simplify]: Simplify 0 into 0
3.295 * [backup-simplify]: Simplify 1 into 1
3.295 * [backup-simplify]: Simplify (exp 0) into 1
3.295 * [backup-simplify]: Simplify (+ (exp a) 1) into (+ (exp a) 1)
3.295 * [backup-simplify]: Simplify (log (+ (exp a) 1)) into (log (+ (exp a) 1))
3.295 * [taylor]: Taking taylor expansion of (- a (log (+ (exp a) (exp b)))) in a
3.295 * [taylor]: Taking taylor expansion of a in a
3.295 * [backup-simplify]: Simplify 0 into 0
3.295 * [backup-simplify]: Simplify 1 into 1
3.295 * [taylor]: Taking taylor expansion of (log (+ (exp a) (exp b))) in a
3.295 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a
3.295 * [taylor]: Taking taylor expansion of (exp a) in a
3.295 * [taylor]: Taking taylor expansion of a in a
3.295 * [backup-simplify]: Simplify 0 into 0
3.295 * [backup-simplify]: Simplify 1 into 1
3.295 * [backup-simplify]: Simplify (exp 0) into 1
3.295 * [taylor]: Taking taylor expansion of (exp b) in a
3.295 * [taylor]: Taking taylor expansion of b in a
3.295 * [backup-simplify]: Simplify b into b
3.295 * [backup-simplify]: Simplify (exp b) into (exp b)
3.295 * [backup-simplify]: Simplify (+ 1 (exp b)) into (+ (exp b) 1)
3.295 * [backup-simplify]: Simplify (log (+ (exp b) 1)) into (log (+ (exp b) 1))
3.295 * [taylor]: Taking taylor expansion of (- a (log (+ (exp a) (exp b)))) in a
3.295 * [taylor]: Taking taylor expansion of a in a
3.295 * [backup-simplify]: Simplify 0 into 0
3.295 * [backup-simplify]: Simplify 1 into 1
3.295 * [taylor]: Taking taylor expansion of (log (+ (exp a) (exp b))) in a
3.295 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a
3.295 * [taylor]: Taking taylor expansion of (exp a) in a
3.295 * [taylor]: Taking taylor expansion of a in a
3.295 * [backup-simplify]: Simplify 0 into 0
3.295 * [backup-simplify]: Simplify 1 into 1
3.295 * [backup-simplify]: Simplify (exp 0) into 1
3.295 * [taylor]: Taking taylor expansion of (exp b) in a
3.295 * [taylor]: Taking taylor expansion of b in a
3.295 * [backup-simplify]: Simplify b into b
3.295 * [backup-simplify]: Simplify (exp b) into (exp b)
3.295 * [backup-simplify]: Simplify (+ 1 (exp b)) into (+ (exp b) 1)
3.295 * [backup-simplify]: Simplify (log (+ (exp b) 1)) into (log (+ (exp b) 1))
3.296 * [backup-simplify]: Simplify (- (log (+ (exp b) 1))) into (- (log (+ (exp b) 1)))
3.296 * [backup-simplify]: Simplify (+ 0 (- (log (+ (exp b) 1)))) into (- (log (+ (exp b) 1)))
3.296 * [taylor]: Taking taylor expansion of (- (log (+ (exp b) 1))) in b
3.296 * [taylor]: Taking taylor expansion of (log (+ (exp b) 1)) in b
3.296 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b
3.296 * [taylor]: Taking taylor expansion of (exp b) in b
3.296 * [taylor]: Taking taylor expansion of b in b
3.296 * [backup-simplify]: Simplify 0 into 0
3.296 * [backup-simplify]: Simplify 1 into 1
3.296 * [backup-simplify]: Simplify (exp 0) into 1
3.296 * [taylor]: Taking taylor expansion of 1 in b
3.296 * [backup-simplify]: Simplify 1 into 1
3.296 * [backup-simplify]: Simplify (+ 1 1) into 2
3.296 * [backup-simplify]: Simplify (log 2) into (log 2)
3.297 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
3.298 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
3.299 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.299 * [backup-simplify]: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0
3.299 * [backup-simplify]: Simplify (+ 1 0) into 1
3.300 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (+ (exp b) 1) 1)))) 1) into (/ 1 (+ (exp b) 1))
3.300 * [backup-simplify]: Simplify (- (/ 1 (+ (exp b) 1))) into (- (/ 1 (+ (exp b) 1)))
3.300 * [backup-simplify]: Simplify (+ 1 (- (/ 1 (+ (exp b) 1)))) into (- 1 (/ 1 (+ (exp b) 1)))
3.300 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (+ (exp b) 1))) in b
3.300 * [taylor]: Taking taylor expansion of 1 in b
3.300 * [backup-simplify]: Simplify 1 into 1
3.300 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b
3.300 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b
3.300 * [taylor]: Taking taylor expansion of (exp b) in b
3.300 * [taylor]: Taking taylor expansion of b in b
3.300 * [backup-simplify]: Simplify 0 into 0
3.300 * [backup-simplify]: Simplify 1 into 1
3.300 * [backup-simplify]: Simplify (exp 0) into 1
3.300 * [taylor]: Taking taylor expansion of 1 in b
3.300 * [backup-simplify]: Simplify 1 into 1
3.300 * [backup-simplify]: Simplify (+ 1 1) into 2
3.301 * [backup-simplify]: Simplify (/ 1 2) into 1/2
3.301 * [backup-simplify]: Simplify (- 1/2) into -1/2
3.301 * [backup-simplify]: Simplify (+ 1 -1/2) into 1/2
3.301 * [backup-simplify]: Simplify 1/2 into 1/2
3.302 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.302 * [backup-simplify]: Simplify (+ 1 0) into 1
3.303 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2
3.303 * [backup-simplify]: Simplify (- 1/2) into -1/2
3.303 * [backup-simplify]: Simplify -1/2 into -1/2
3.304 * [backup-simplify]: Simplify (+ (* -1/2 (* b 1)) (+ (* 1/2 (* 1 a)) (- (log 2)))) into (- (* 1/2 a) (+ (* 1/2 b) (log 2)))
3.304 * [backup-simplify]: Simplify (- (/ 1 a) (log (+ (exp (/ 1 a)) (exp (/ 1 b))))) into (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))
3.304 * [approximate]: Taking taylor expansion of (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) in (a b) around 0
3.304 * [taylor]: Taking taylor expansion of (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) in b
3.304 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.304 * [taylor]: Taking taylor expansion of a in b
3.304 * [backup-simplify]: Simplify a into a
3.304 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.304 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b
3.304 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b
3.304 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b
3.304 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.304 * [taylor]: Taking taylor expansion of b in b
3.304 * [backup-simplify]: Simplify 0 into 0
3.304 * [backup-simplify]: Simplify 1 into 1
3.304 * [backup-simplify]: Simplify (/ 1 1) into 1
3.304 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.305 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
3.305 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.305 * [taylor]: Taking taylor expansion of a in b
3.305 * [backup-simplify]: Simplify a into a
3.305 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.305 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.305 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.305 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.305 * [taylor]: Taking taylor expansion of (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) in a
3.305 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.305 * [taylor]: Taking taylor expansion of a in a
3.305 * [backup-simplify]: Simplify 0 into 0
3.305 * [backup-simplify]: Simplify 1 into 1
3.305 * [backup-simplify]: Simplify (/ 1 1) into 1
3.305 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a
3.305 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a
3.305 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a
3.305 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.305 * [taylor]: Taking taylor expansion of b in a
3.305 * [backup-simplify]: Simplify b into b
3.305 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.305 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.305 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.305 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.305 * [taylor]: Taking taylor expansion of a in a
3.305 * [backup-simplify]: Simplify 0 into 0
3.305 * [backup-simplify]: Simplify 1 into 1
3.306 * [backup-simplify]: Simplify (/ 1 1) into 1
3.306 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.306 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.306 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.306 * [taylor]: Taking taylor expansion of (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) in a
3.306 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.306 * [taylor]: Taking taylor expansion of a in a
3.306 * [backup-simplify]: Simplify 0 into 0
3.306 * [backup-simplify]: Simplify 1 into 1
3.306 * [backup-simplify]: Simplify (/ 1 1) into 1
3.306 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a
3.306 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a
3.306 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a
3.306 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.306 * [taylor]: Taking taylor expansion of b in a
3.306 * [backup-simplify]: Simplify b into b
3.306 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.306 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.306 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.306 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.306 * [taylor]: Taking taylor expansion of a in a
3.306 * [backup-simplify]: Simplify 0 into 0
3.306 * [backup-simplify]: Simplify 1 into 1
3.307 * [backup-simplify]: Simplify (/ 1 1) into 1
3.307 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.307 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.307 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.307 * [backup-simplify]: Simplify (+ 1 0) into 1
3.307 * [taylor]: Taking taylor expansion of 1 in b
3.307 * [backup-simplify]: Simplify 1 into 1
3.307 * [backup-simplify]: Simplify 1 into 1
3.308 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.308 * [backup-simplify]: Simplify (- (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) into (- (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))
3.308 * [backup-simplify]: Simplify (+ 0 (- (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) into (- (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))
3.308 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) in b
3.308 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b
3.308 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b
3.308 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b
3.308 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.308 * [taylor]: Taking taylor expansion of b in b
3.308 * [backup-simplify]: Simplify 0 into 0
3.308 * [backup-simplify]: Simplify 1 into 1
3.308 * [backup-simplify]: Simplify (/ 1 1) into 1
3.308 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.308 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
3.309 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.309 * [taylor]: Taking taylor expansion of a in b
3.309 * [backup-simplify]: Simplify a into a
3.309 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.309 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.309 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.309 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.309 * [backup-simplify]: Simplify (- (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) into (- (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))
3.309 * [backup-simplify]: Simplify (- (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) into (- (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))
3.309 * [backup-simplify]: Simplify 0 into 0
3.310 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.310 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
3.310 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0
3.310 * [backup-simplify]: Simplify (+ 0 0) into 0
3.311 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 b)) (exp (/ 1 a))) 1)))) 1) into 0
3.311 * [backup-simplify]: Simplify (- 0) into 0
3.311 * [backup-simplify]: Simplify (+ 0 0) into 0
3.312 * [taylor]: Taking taylor expansion of 0 in b
3.312 * [backup-simplify]: Simplify 0 into 0
3.312 * [backup-simplify]: Simplify 0 into 0
3.312 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
3.312 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
3.312 * [backup-simplify]: Simplify (+ 0 0) into 0
3.313 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 b)) (exp (/ 1 a))) 1)))) 1) into 0
3.313 * [backup-simplify]: Simplify (- 0) into 0
3.313 * [backup-simplify]: Simplify 0 into 0
3.313 * [backup-simplify]: Simplify 0 into 0
3.314 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.314 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.315 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.315 * [backup-simplify]: Simplify (+ 0 0) into 0
3.316 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ 1 b)) (exp (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ 1 b)) (exp (/ 1 a))) 1)))) 2) into 0
3.317 * [backup-simplify]: Simplify (- 0) into 0
3.317 * [backup-simplify]: Simplify (+ 0 0) into 0
3.317 * [taylor]: Taking taylor expansion of 0 in b
3.317 * [backup-simplify]: Simplify 0 into 0
3.317 * [backup-simplify]: Simplify 0 into 0
3.317 * [backup-simplify]: Simplify 0 into 0
3.317 * [backup-simplify]: Simplify (+ (- (log (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a)))))) (* 1 (* 1 (/ 1 (/ 1 a))))) into (- a (log (+ (exp b) (exp a))))
3.317 * [backup-simplify]: Simplify (- (/ 1 (- a)) (log (+ (exp (/ 1 (- a))) (exp (/ 1 (- b)))))) into (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))))
3.317 * [approximate]: Taking taylor expansion of (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))) in (a b) around 0
3.317 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))) in b
3.317 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) in b
3.317 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.317 * [taylor]: Taking taylor expansion of a in b
3.317 * [backup-simplify]: Simplify a into a
3.317 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.317 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b
3.317 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b
3.317 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b
3.317 * [taylor]: Taking taylor expansion of (/ -1 b) in b
3.317 * [taylor]: Taking taylor expansion of -1 in b
3.318 * [backup-simplify]: Simplify -1 into -1
3.318 * [taylor]: Taking taylor expansion of b in b
3.318 * [backup-simplify]: Simplify 0 into 0
3.318 * [backup-simplify]: Simplify 1 into 1
3.318 * [backup-simplify]: Simplify (/ -1 1) into -1
3.318 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.318 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
3.318 * [taylor]: Taking taylor expansion of (/ -1 a) in b
3.318 * [taylor]: Taking taylor expansion of -1 in b
3.318 * [backup-simplify]: Simplify -1 into -1
3.318 * [taylor]: Taking taylor expansion of a in b
3.318 * [backup-simplify]: Simplify a into a
3.318 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
3.318 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.318 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.318 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.318 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))) in a
3.318 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) in a
3.318 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.318 * [taylor]: Taking taylor expansion of a in a
3.318 * [backup-simplify]: Simplify 0 into 0
3.318 * [backup-simplify]: Simplify 1 into 1
3.319 * [backup-simplify]: Simplify (/ 1 1) into 1
3.319 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a
3.319 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a
3.319 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a
3.319 * [taylor]: Taking taylor expansion of (/ -1 b) in a
3.319 * [taylor]: Taking taylor expansion of -1 in a
3.319 * [backup-simplify]: Simplify -1 into -1
3.319 * [taylor]: Taking taylor expansion of b in a
3.319 * [backup-simplify]: Simplify b into b
3.319 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
3.319 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.319 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.319 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.319 * [taylor]: Taking taylor expansion of -1 in a
3.319 * [backup-simplify]: Simplify -1 into -1
3.319 * [taylor]: Taking taylor expansion of a in a
3.319 * [backup-simplify]: Simplify 0 into 0
3.319 * [backup-simplify]: Simplify 1 into 1
3.319 * [backup-simplify]: Simplify (/ -1 1) into -1
3.319 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.319 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.319 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.319 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))) in a
3.319 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) in a
3.319 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.319 * [taylor]: Taking taylor expansion of a in a
3.320 * [backup-simplify]: Simplify 0 into 0
3.320 * [backup-simplify]: Simplify 1 into 1
3.320 * [backup-simplify]: Simplify (/ 1 1) into 1
3.320 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a
3.320 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a
3.320 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a
3.320 * [taylor]: Taking taylor expansion of (/ -1 b) in a
3.320 * [taylor]: Taking taylor expansion of -1 in a
3.320 * [backup-simplify]: Simplify -1 into -1
3.320 * [taylor]: Taking taylor expansion of b in a
3.320 * [backup-simplify]: Simplify b into b
3.320 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
3.320 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.320 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.320 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.320 * [taylor]: Taking taylor expansion of -1 in a
3.320 * [backup-simplify]: Simplify -1 into -1
3.320 * [taylor]: Taking taylor expansion of a in a
3.320 * [backup-simplify]: Simplify 0 into 0
3.320 * [backup-simplify]: Simplify 1 into 1
3.320 * [backup-simplify]: Simplify (/ -1 1) into -1
3.320 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.320 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.321 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.321 * [backup-simplify]: Simplify (+ 1 0) into 1
3.321 * [backup-simplify]: Simplify (- 1) into -1
3.321 * [taylor]: Taking taylor expansion of -1 in b
3.321 * [backup-simplify]: Simplify -1 into -1
3.321 * [backup-simplify]: Simplify -1 into -1
3.322 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.322 * [backup-simplify]: Simplify (+ 0 (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.322 * [backup-simplify]: Simplify (- (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) into (- (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))
3.322 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) in b
3.323 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b
3.323 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b
3.323 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b
3.323 * [taylor]: Taking taylor expansion of (/ -1 b) in b
3.323 * [taylor]: Taking taylor expansion of -1 in b
3.323 * [backup-simplify]: Simplify -1 into -1
3.323 * [taylor]: Taking taylor expansion of b in b
3.323 * [backup-simplify]: Simplify 0 into 0
3.323 * [backup-simplify]: Simplify 1 into 1
3.323 * [backup-simplify]: Simplify (/ -1 1) into -1
3.323 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.323 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
3.323 * [taylor]: Taking taylor expansion of (/ -1 a) in b
3.323 * [taylor]: Taking taylor expansion of -1 in b
3.323 * [backup-simplify]: Simplify -1 into -1
3.323 * [taylor]: Taking taylor expansion of a in b
3.323 * [backup-simplify]: Simplify a into a
3.324 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
3.324 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.324 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.324 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.324 * [backup-simplify]: Simplify (- (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) into (- (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))
3.324 * [backup-simplify]: Simplify (- (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) into (- (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))
3.324 * [backup-simplify]: Simplify 0 into 0
3.326 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.326 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0
3.327 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0
3.327 * [backup-simplify]: Simplify (+ 0 0) into 0
3.328 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 b)) (exp (/ -1 a))) 1)))) 1) into 0
3.329 * [backup-simplify]: Simplify (+ 0 0) into 0
3.329 * [backup-simplify]: Simplify (- 0) into 0
3.329 * [taylor]: Taking taylor expansion of 0 in b
3.329 * [backup-simplify]: Simplify 0 into 0
3.329 * [backup-simplify]: Simplify 0 into 0
3.329 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0
3.330 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
3.331 * [backup-simplify]: Simplify (+ 0 0) into 0
3.332 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 b)) (exp (/ -1 a))) 1)))) 1) into 0
3.332 * [backup-simplify]: Simplify (- 0) into 0
3.332 * [backup-simplify]: Simplify 0 into 0
3.332 * [backup-simplify]: Simplify 0 into 0
3.333 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.333 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.335 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.335 * [backup-simplify]: Simplify (+ 0 0) into 0
3.337 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ -1 b)) (exp (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ -1 b)) (exp (/ -1 a))) 1)))) 2) into 0
3.337 * [backup-simplify]: Simplify (+ 0 0) into 0
3.338 * [backup-simplify]: Simplify (- 0) into 0
3.338 * [taylor]: Taking taylor expansion of 0 in b
3.338 * [backup-simplify]: Simplify 0 into 0
3.338 * [backup-simplify]: Simplify 0 into 0
3.338 * [backup-simplify]: Simplify 0 into 0
3.338 * [backup-simplify]: Simplify (+ (- (log (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a))))))) (* -1 (* 1 (/ 1 (/ 1 (- a)))))) into (- a (log (+ (exp b) (exp a))))
3.338 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
3.339 * [backup-simplify]: Simplify (+ (exp a) (exp b)) into (+ (exp a) (exp b))
3.339 * [approximate]: Taking taylor expansion of (+ (exp a) (exp b)) in (a b) around 0
3.339 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in b
3.339 * [taylor]: Taking taylor expansion of (exp a) in b
3.339 * [taylor]: Taking taylor expansion of a in b
3.339 * [backup-simplify]: Simplify a into a
3.339 * [backup-simplify]: Simplify (exp a) into (exp a)
3.339 * [taylor]: Taking taylor expansion of (exp b) in b
3.339 * [taylor]: Taking taylor expansion of b in b
3.339 * [backup-simplify]: Simplify 0 into 0
3.339 * [backup-simplify]: Simplify 1 into 1
3.339 * [backup-simplify]: Simplify (exp 0) into 1
3.339 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a
3.339 * [taylor]: Taking taylor expansion of (exp a) in a
3.339 * [taylor]: Taking taylor expansion of a in a
3.339 * [backup-simplify]: Simplify 0 into 0
3.339 * [backup-simplify]: Simplify 1 into 1
3.339 * [backup-simplify]: Simplify (exp 0) into 1
3.339 * [taylor]: Taking taylor expansion of (exp b) in a
3.339 * [taylor]: Taking taylor expansion of b in a
3.339 * [backup-simplify]: Simplify b into b
3.339 * [backup-simplify]: Simplify (exp b) into (exp b)
3.339 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a
3.339 * [taylor]: Taking taylor expansion of (exp a) in a
3.339 * [taylor]: Taking taylor expansion of a in a
3.339 * [backup-simplify]: Simplify 0 into 0
3.339 * [backup-simplify]: Simplify 1 into 1
3.339 * [backup-simplify]: Simplify (exp 0) into 1
3.340 * [taylor]: Taking taylor expansion of (exp b) in a
3.340 * [taylor]: Taking taylor expansion of b in a
3.340 * [backup-simplify]: Simplify b into b
3.340 * [backup-simplify]: Simplify (exp b) into (exp b)
3.340 * [backup-simplify]: Simplify (+ 1 (exp b)) into (+ (exp b) 1)
3.340 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b
3.340 * [taylor]: Taking taylor expansion of (exp b) in b
3.340 * [taylor]: Taking taylor expansion of b in b
3.340 * [backup-simplify]: Simplify 0 into 0
3.340 * [backup-simplify]: Simplify 1 into 1
3.340 * [backup-simplify]: Simplify (exp 0) into 1
3.340 * [taylor]: Taking taylor expansion of 1 in b
3.340 * [backup-simplify]: Simplify 1 into 1
3.340 * [backup-simplify]: Simplify (+ 1 1) into 2
3.341 * [backup-simplify]: Simplify 2 into 2
3.342 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.343 * [backup-simplify]: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0
3.343 * [backup-simplify]: Simplify (+ 1 0) into 1
3.343 * [taylor]: Taking taylor expansion of 1 in b
3.343 * [backup-simplify]: Simplify 1 into 1
3.343 * [backup-simplify]: Simplify 1 into 1
3.344 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.345 * [backup-simplify]: Simplify (+ 1 0) into 1
3.345 * [backup-simplify]: Simplify 1 into 1
3.345 * [backup-simplify]: Simplify (+ (* 1 (* b 1)) (+ (* 1 (* 1 a)) 2)) into (+ a (+ b 2))
3.345 * [backup-simplify]: Simplify (+ (exp (/ 1 a)) (exp (/ 1 b))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.345 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in (a b) around 0
3.345 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b
3.345 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b
3.345 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.345 * [taylor]: Taking taylor expansion of b in b
3.345 * [backup-simplify]: Simplify 0 into 0
3.346 * [backup-simplify]: Simplify 1 into 1
3.346 * [backup-simplify]: Simplify (/ 1 1) into 1
3.346 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.346 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
3.346 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.346 * [taylor]: Taking taylor expansion of a in b
3.346 * [backup-simplify]: Simplify a into a
3.346 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.346 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.346 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a
3.346 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a
3.346 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.346 * [taylor]: Taking taylor expansion of b in a
3.346 * [backup-simplify]: Simplify b into b
3.346 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.347 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.347 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.347 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.347 * [taylor]: Taking taylor expansion of a in a
3.347 * [backup-simplify]: Simplify 0 into 0
3.347 * [backup-simplify]: Simplify 1 into 1
3.347 * [backup-simplify]: Simplify (/ 1 1) into 1
3.347 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.347 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a
3.347 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a
3.347 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.347 * [taylor]: Taking taylor expansion of b in a
3.347 * [backup-simplify]: Simplify b into b
3.347 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.347 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.347 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.348 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.348 * [taylor]: Taking taylor expansion of a in a
3.348 * [backup-simplify]: Simplify 0 into 0
3.348 * [backup-simplify]: Simplify 1 into 1
3.348 * [backup-simplify]: Simplify (/ 1 1) into 1
3.348 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.348 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.348 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b
3.348 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b
3.348 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.348 * [taylor]: Taking taylor expansion of b in b
3.348 * [backup-simplify]: Simplify 0 into 0
3.348 * [backup-simplify]: Simplify 1 into 1
3.349 * [backup-simplify]: Simplify (/ 1 1) into 1
3.349 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.349 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
3.349 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.349 * [taylor]: Taking taylor expansion of a in b
3.349 * [backup-simplify]: Simplify a into a
3.349 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.349 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.349 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.350 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.350 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
3.351 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0
3.351 * [backup-simplify]: Simplify (+ 0 0) into 0
3.351 * [taylor]: Taking taylor expansion of 0 in b
3.351 * [backup-simplify]: Simplify 0 into 0
3.351 * [backup-simplify]: Simplify 0 into 0
3.351 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
3.352 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
3.352 * [backup-simplify]: Simplify (+ 0 0) into 0
3.352 * [backup-simplify]: Simplify 0 into 0
3.353 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.354 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.354 * [backup-simplify]: Simplify (+ 0 0) into 0
3.354 * [taylor]: Taking taylor expansion of 0 in b
3.354 * [backup-simplify]: Simplify 0 into 0
3.355 * [backup-simplify]: Simplify 0 into 0
3.355 * [backup-simplify]: Simplify 0 into 0
3.355 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
3.356 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.357 * [backup-simplify]: Simplify (+ 0 0) into 0
3.357 * [backup-simplify]: Simplify 0 into 0
3.357 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.358 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.359 * [backup-simplify]: Simplify (+ 0 0) into 0
3.359 * [taylor]: Taking taylor expansion of 0 in b
3.359 * [backup-simplify]: Simplify 0 into 0
3.359 * [backup-simplify]: Simplify 0 into 0
3.359 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a)))) into (+ (exp b) (exp a))
3.359 * [backup-simplify]: Simplify (+ (exp (/ 1 (- a))) (exp (/ 1 (- b)))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.359 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in (a b) around 0
3.359 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b
3.360 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b
3.360 * [taylor]: Taking taylor expansion of (/ -1 b) in b
3.360 * [taylor]: Taking taylor expansion of -1 in b
3.360 * [backup-simplify]: Simplify -1 into -1
3.360 * [taylor]: Taking taylor expansion of b in b
3.360 * [backup-simplify]: Simplify 0 into 0
3.360 * [backup-simplify]: Simplify 1 into 1
3.360 * [backup-simplify]: Simplify (/ -1 1) into -1
3.360 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.360 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
3.360 * [taylor]: Taking taylor expansion of (/ -1 a) in b
3.360 * [taylor]: Taking taylor expansion of -1 in b
3.360 * [backup-simplify]: Simplify -1 into -1
3.360 * [taylor]: Taking taylor expansion of a in b
3.360 * [backup-simplify]: Simplify a into a
3.360 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
3.361 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.361 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a
3.361 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a
3.361 * [taylor]: Taking taylor expansion of (/ -1 b) in a
3.361 * [taylor]: Taking taylor expansion of -1 in a
3.361 * [backup-simplify]: Simplify -1 into -1
3.361 * [taylor]: Taking taylor expansion of b in a
3.361 * [backup-simplify]: Simplify b into b
3.361 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
3.361 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.361 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.361 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.361 * [taylor]: Taking taylor expansion of -1 in a
3.361 * [backup-simplify]: Simplify -1 into -1
3.361 * [taylor]: Taking taylor expansion of a in a
3.361 * [backup-simplify]: Simplify 0 into 0
3.361 * [backup-simplify]: Simplify 1 into 1
3.362 * [backup-simplify]: Simplify (/ -1 1) into -1
3.362 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.362 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a
3.362 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a
3.362 * [taylor]: Taking taylor expansion of (/ -1 b) in a
3.362 * [taylor]: Taking taylor expansion of -1 in a
3.362 * [backup-simplify]: Simplify -1 into -1
3.362 * [taylor]: Taking taylor expansion of b in a
3.362 * [backup-simplify]: Simplify b into b
3.362 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
3.362 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.362 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.362 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.362 * [taylor]: Taking taylor expansion of -1 in a
3.362 * [backup-simplify]: Simplify -1 into -1
3.362 * [taylor]: Taking taylor expansion of a in a
3.362 * [backup-simplify]: Simplify 0 into 0
3.362 * [backup-simplify]: Simplify 1 into 1
3.363 * [backup-simplify]: Simplify (/ -1 1) into -1
3.363 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.363 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.363 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b
3.363 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b
3.363 * [taylor]: Taking taylor expansion of (/ -1 b) in b
3.363 * [taylor]: Taking taylor expansion of -1 in b
3.363 * [backup-simplify]: Simplify -1 into -1
3.363 * [taylor]: Taking taylor expansion of b in b
3.363 * [backup-simplify]: Simplify 0 into 0
3.363 * [backup-simplify]: Simplify 1 into 1
3.364 * [backup-simplify]: Simplify (/ -1 1) into -1
3.364 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.364 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
3.364 * [taylor]: Taking taylor expansion of (/ -1 a) in b
3.364 * [taylor]: Taking taylor expansion of -1 in b
3.364 * [backup-simplify]: Simplify -1 into -1
3.364 * [taylor]: Taking taylor expansion of a in b
3.364 * [backup-simplify]: Simplify a into a
3.364 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
3.364 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.364 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.364 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.365 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0
3.365 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0
3.366 * [backup-simplify]: Simplify (+ 0 0) into 0
3.366 * [taylor]: Taking taylor expansion of 0 in b
3.366 * [backup-simplify]: Simplify 0 into 0
3.366 * [backup-simplify]: Simplify 0 into 0
3.366 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0
3.367 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
3.367 * [backup-simplify]: Simplify (+ 0 0) into 0
3.367 * [backup-simplify]: Simplify 0 into 0
3.368 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.369 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.369 * [backup-simplify]: Simplify (+ 0 0) into 0
3.369 * [taylor]: Taking taylor expansion of 0 in b
3.369 * [backup-simplify]: Simplify 0 into 0
3.369 * [backup-simplify]: Simplify 0 into 0
3.370 * [backup-simplify]: Simplify 0 into 0
3.370 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
3.374 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.374 * [backup-simplify]: Simplify (+ 0 0) into 0
3.374 * [backup-simplify]: Simplify 0 into 0
3.375 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.376 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.377 * [backup-simplify]: Simplify (+ 0 0) into 0
3.377 * [taylor]: Taking taylor expansion of 0 in b
3.377 * [backup-simplify]: Simplify 0 into 0
3.377 * [backup-simplify]: Simplify 0 into 0
3.377 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a))))) into (+ (exp b) (exp a))
3.377 * * * * [progress]: [ 4 / 4 ] generating series at (2)
3.377 * [backup-simplify]: Simplify (exp (- a (log (+ (exp a) (exp b))))) into (exp (- a (log (+ (exp a) (exp b)))))
3.377 * [approximate]: Taking taylor expansion of (exp (- a (log (+ (exp a) (exp b))))) in (a b) around 0
3.377 * [taylor]: Taking taylor expansion of (exp (- a (log (+ (exp a) (exp b))))) in b
3.378 * [taylor]: Taking taylor expansion of (- a (log (+ (exp a) (exp b)))) in b
3.378 * [taylor]: Taking taylor expansion of a in b
3.378 * [backup-simplify]: Simplify a into a
3.378 * [taylor]: Taking taylor expansion of (log (+ (exp a) (exp b))) in b
3.378 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in b
3.378 * [taylor]: Taking taylor expansion of (exp a) in b
3.378 * [taylor]: Taking taylor expansion of a in b
3.378 * [backup-simplify]: Simplify a into a
3.378 * [backup-simplify]: Simplify (exp a) into (exp a)
3.378 * [taylor]: Taking taylor expansion of (exp b) in b
3.378 * [taylor]: Taking taylor expansion of b in b
3.378 * [backup-simplify]: Simplify 0 into 0
3.378 * [backup-simplify]: Simplify 1 into 1
3.378 * [backup-simplify]: Simplify (exp 0) into 1
3.378 * [backup-simplify]: Simplify (+ (exp a) 1) into (+ (exp a) 1)
3.378 * [backup-simplify]: Simplify (log (+ (exp a) 1)) into (log (+ (exp a) 1))
3.378 * [backup-simplify]: Simplify (- (log (+ (exp a) 1))) into (- (log (+ (exp a) 1)))
3.378 * [backup-simplify]: Simplify (+ a (- (log (+ (exp a) 1)))) into (- a (log (+ (exp a) 1)))
3.379 * [backup-simplify]: Simplify (exp (- a (log (+ (exp a) 1)))) into (exp (- a (log (+ (exp a) 1))))
3.379 * [taylor]: Taking taylor expansion of (exp (- a (log (+ (exp a) (exp b))))) in a
3.379 * [taylor]: Taking taylor expansion of (- a (log (+ (exp a) (exp b)))) in a
3.379 * [taylor]: Taking taylor expansion of a in a
3.379 * [backup-simplify]: Simplify 0 into 0
3.379 * [backup-simplify]: Simplify 1 into 1
3.379 * [taylor]: Taking taylor expansion of (log (+ (exp a) (exp b))) in a
3.379 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a
3.379 * [taylor]: Taking taylor expansion of (exp a) in a
3.379 * [taylor]: Taking taylor expansion of a in a
3.379 * [backup-simplify]: Simplify 0 into 0
3.379 * [backup-simplify]: Simplify 1 into 1
3.379 * [backup-simplify]: Simplify (exp 0) into 1
3.379 * [taylor]: Taking taylor expansion of (exp b) in a
3.379 * [taylor]: Taking taylor expansion of b in a
3.379 * [backup-simplify]: Simplify b into b
3.379 * [backup-simplify]: Simplify (exp b) into (exp b)
3.379 * [backup-simplify]: Simplify (+ 1 (exp b)) into (+ (exp b) 1)
3.379 * [backup-simplify]: Simplify (log (+ (exp b) 1)) into (log (+ (exp b) 1))
3.379 * [backup-simplify]: Simplify (- (log (+ (exp b) 1))) into (- (log (+ (exp b) 1)))
3.379 * [backup-simplify]: Simplify (+ 0 (- (log (+ (exp b) 1)))) into (- (log (+ (exp b) 1)))
3.380 * [backup-simplify]: Simplify (exp (- (log (+ (exp b) 1)))) into (exp (- (log (+ (exp b) 1))))
3.380 * [taylor]: Taking taylor expansion of (exp (- a (log (+ (exp a) (exp b))))) in a
3.380 * [taylor]: Taking taylor expansion of (- a (log (+ (exp a) (exp b)))) in a
3.380 * [taylor]: Taking taylor expansion of a in a
3.380 * [backup-simplify]: Simplify 0 into 0
3.380 * [backup-simplify]: Simplify 1 into 1
3.380 * [taylor]: Taking taylor expansion of (log (+ (exp a) (exp b))) in a
3.380 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a
3.380 * [taylor]: Taking taylor expansion of (exp a) in a
3.380 * [taylor]: Taking taylor expansion of a in a
3.380 * [backup-simplify]: Simplify 0 into 0
3.380 * [backup-simplify]: Simplify 1 into 1
3.380 * [backup-simplify]: Simplify (exp 0) into 1
3.380 * [taylor]: Taking taylor expansion of (exp b) in a
3.380 * [taylor]: Taking taylor expansion of b in a
3.380 * [backup-simplify]: Simplify b into b
3.380 * [backup-simplify]: Simplify (exp b) into (exp b)
3.380 * [backup-simplify]: Simplify (+ 1 (exp b)) into (+ (exp b) 1)
3.380 * [backup-simplify]: Simplify (log (+ (exp b) 1)) into (log (+ (exp b) 1))
3.380 * [backup-simplify]: Simplify (- (log (+ (exp b) 1))) into (- (log (+ (exp b) 1)))
3.381 * [backup-simplify]: Simplify (+ 0 (- (log (+ (exp b) 1)))) into (- (log (+ (exp b) 1)))
3.381 * [backup-simplify]: Simplify (exp (- (log (+ (exp b) 1)))) into (exp (- (log (+ (exp b) 1))))
3.381 * [taylor]: Taking taylor expansion of (exp (- (log (+ (exp b) 1)))) in b
3.381 * [taylor]: Taking taylor expansion of (- (log (+ (exp b) 1))) in b
3.381 * [taylor]: Taking taylor expansion of (log (+ (exp b) 1)) in b
3.381 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b
3.381 * [taylor]: Taking taylor expansion of (exp b) in b
3.381 * [taylor]: Taking taylor expansion of b in b
3.381 * [backup-simplify]: Simplify 0 into 0
3.381 * [backup-simplify]: Simplify 1 into 1
3.381 * [backup-simplify]: Simplify (exp 0) into 1
3.381 * [taylor]: Taking taylor expansion of 1 in b
3.381 * [backup-simplify]: Simplify 1 into 1
3.382 * [backup-simplify]: Simplify (+ 1 1) into 2
3.382 * [backup-simplify]: Simplify (log 2) into (log 2)
3.383 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
3.384 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
3.385 * [backup-simplify]: Simplify (exp (- (log 2))) into (exp (- (log 2)))
3.387 * [backup-simplify]: Simplify (exp (- (log 2))) into (exp (- (log 2)))
3.388 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.388 * [backup-simplify]: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0
3.389 * [backup-simplify]: Simplify (+ 1 0) into 1
3.390 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (+ (exp b) 1) 1)))) 1) into (/ 1 (+ (exp b) 1))
3.390 * [backup-simplify]: Simplify (- (/ 1 (+ (exp b) 1))) into (- (/ 1 (+ (exp b) 1)))
3.390 * [backup-simplify]: Simplify (+ 1 (- (/ 1 (+ (exp b) 1)))) into (- 1 (/ 1 (+ (exp b) 1)))
3.390 * [backup-simplify]: Simplify (* (exp (- (log (+ (exp b) 1)))) (+ (* (/ (pow (- 1 (/ 1 (+ (exp b) 1))) 1) 1)))) into (* (exp (- (log (+ (exp b) 1)))) (- 1 (/ 1 (+ (exp b) 1))))
3.391 * [taylor]: Taking taylor expansion of (* (exp (- (log (+ (exp b) 1)))) (- 1 (/ 1 (+ (exp b) 1)))) in b
3.391 * [taylor]: Taking taylor expansion of (exp (- (log (+ (exp b) 1)))) in b
3.391 * [taylor]: Taking taylor expansion of (- (log (+ (exp b) 1))) in b
3.391 * [taylor]: Taking taylor expansion of (log (+ (exp b) 1)) in b
3.391 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b
3.391 * [taylor]: Taking taylor expansion of (exp b) in b
3.391 * [taylor]: Taking taylor expansion of b in b
3.391 * [backup-simplify]: Simplify 0 into 0
3.391 * [backup-simplify]: Simplify 1 into 1
3.391 * [backup-simplify]: Simplify (exp 0) into 1
3.391 * [taylor]: Taking taylor expansion of 1 in b
3.391 * [backup-simplify]: Simplify 1 into 1
3.391 * [backup-simplify]: Simplify (+ 1 1) into 2
3.392 * [backup-simplify]: Simplify (log 2) into (log 2)
3.392 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
3.393 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
3.395 * [backup-simplify]: Simplify (exp (- (log 2))) into (exp (- (log 2)))
3.395 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (+ (exp b) 1))) in b
3.395 * [taylor]: Taking taylor expansion of 1 in b
3.395 * [backup-simplify]: Simplify 1 into 1
3.395 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b
3.395 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b
3.395 * [taylor]: Taking taylor expansion of (exp b) in b
3.395 * [taylor]: Taking taylor expansion of b in b
3.395 * [backup-simplify]: Simplify 0 into 0
3.395 * [backup-simplify]: Simplify 1 into 1
3.395 * [backup-simplify]: Simplify (exp 0) into 1
3.395 * [taylor]: Taking taylor expansion of 1 in b
3.395 * [backup-simplify]: Simplify 1 into 1
3.395 * [backup-simplify]: Simplify (+ 1 1) into 2
3.396 * [backup-simplify]: Simplify (/ 1 2) into 1/2
3.396 * [backup-simplify]: Simplify (- 1/2) into -1/2
3.397 * [backup-simplify]: Simplify (+ 1 -1/2) into 1/2
3.399 * [backup-simplify]: Simplify (* (exp (- (log 2))) 1/2) into (* 1/2 (exp (- (log 2))))
3.401 * [backup-simplify]: Simplify (* 1/2 (exp (- (log 2)))) into (* 1/2 (exp (- (log 2))))
3.403 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
3.404 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.404 * [backup-simplify]: Simplify (+ 1 0) into 1
3.406 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2
3.406 * [backup-simplify]: Simplify (- 1/2) into -1/2
3.410 * [backup-simplify]: Simplify (* (exp (- (log 2))) (+ (* (/ (pow -1/2 1) 1)))) into (* -1/2 (exp (- (log 2))))
3.412 * [backup-simplify]: Simplify (* -1/2 (exp (- (log 2)))) into (* -1/2 (exp (- (log 2))))
3.418 * [backup-simplify]: Simplify (+ (* (* -1/2 (exp (- (log 2)))) (* b 1)) (+ (* (* 1/2 (exp (- (log 2)))) (* 1 a)) (exp (- (log 2))))) into (- (+ (exp (- (log 2))) (* 1/2 (* a (exp (- (log 2)))))) (* 1/2 (* (exp (- (log 2))) b)))
3.418 * [backup-simplify]: Simplify (exp (- (/ 1 a) (log (+ (exp (/ 1 a)) (exp (/ 1 b)))))) into (exp (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))))
3.418 * [approximate]: Taking taylor expansion of (exp (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) in (a b) around 0
3.418 * [taylor]: Taking taylor expansion of (exp (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) in b
3.418 * [taylor]: Taking taylor expansion of (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) in b
3.418 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.418 * [taylor]: Taking taylor expansion of a in b
3.418 * [backup-simplify]: Simplify a into a
3.418 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.418 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b
3.418 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b
3.418 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b
3.418 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.418 * [taylor]: Taking taylor expansion of b in b
3.419 * [backup-simplify]: Simplify 0 into 0
3.419 * [backup-simplify]: Simplify 1 into 1
3.419 * [backup-simplify]: Simplify (/ 1 1) into 1
3.419 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.419 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
3.419 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.419 * [taylor]: Taking taylor expansion of a in b
3.419 * [backup-simplify]: Simplify a into a
3.419 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.419 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.419 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.420 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.420 * [backup-simplify]: Simplify (- (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) into (- (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))
3.420 * [backup-simplify]: Simplify (+ (/ 1 a) (- (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) into (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))
3.420 * [backup-simplify]: Simplify (exp (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) into (exp (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))))
3.420 * [taylor]: Taking taylor expansion of (exp (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) in a
3.420 * [taylor]: Taking taylor expansion of (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) in a
3.421 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.421 * [taylor]: Taking taylor expansion of a in a
3.421 * [backup-simplify]: Simplify 0 into 0
3.421 * [backup-simplify]: Simplify 1 into 1
3.421 * [backup-simplify]: Simplify (/ 1 1) into 1
3.421 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a
3.421 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a
3.421 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a
3.421 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.421 * [taylor]: Taking taylor expansion of b in a
3.421 * [backup-simplify]: Simplify b into b
3.421 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.421 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.421 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.421 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.421 * [taylor]: Taking taylor expansion of a in a
3.421 * [backup-simplify]: Simplify 0 into 0
3.422 * [backup-simplify]: Simplify 1 into 1
3.422 * [backup-simplify]: Simplify (/ 1 1) into 1
3.422 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.422 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.422 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.423 * [backup-simplify]: Simplify (+ 1 0) into 1
3.423 * [backup-simplify]: Simplify (exp (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) into (exp (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))))
3.423 * [taylor]: Taking taylor expansion of (exp (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) in a
3.423 * [taylor]: Taking taylor expansion of (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) in a
3.423 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.423 * [taylor]: Taking taylor expansion of a in a
3.423 * [backup-simplify]: Simplify 0 into 0
3.423 * [backup-simplify]: Simplify 1 into 1
3.424 * [backup-simplify]: Simplify (/ 1 1) into 1
3.424 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a
3.424 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a
3.424 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a
3.424 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.424 * [taylor]: Taking taylor expansion of b in a
3.424 * [backup-simplify]: Simplify b into b
3.424 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.424 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.424 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.424 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.424 * [taylor]: Taking taylor expansion of a in a
3.424 * [backup-simplify]: Simplify 0 into 0
3.424 * [backup-simplify]: Simplify 1 into 1
3.425 * [backup-simplify]: Simplify (/ 1 1) into 1
3.425 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.425 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.425 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.425 * [backup-simplify]: Simplify (+ 1 0) into 1
3.426 * [backup-simplify]: Simplify (exp (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) into (exp (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))))
3.426 * [taylor]: Taking taylor expansion of (exp (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) in b
3.426 * [taylor]: Taking taylor expansion of (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) in b
3.426 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.426 * [taylor]: Taking taylor expansion of a in b
3.426 * [backup-simplify]: Simplify a into a
3.426 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.426 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b
3.426 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b
3.426 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b
3.426 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.426 * [taylor]: Taking taylor expansion of b in b
3.426 * [backup-simplify]: Simplify 0 into 0
3.426 * [backup-simplify]: Simplify 1 into 1
3.427 * [backup-simplify]: Simplify (/ 1 1) into 1
3.427 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.427 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
3.427 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.427 * [taylor]: Taking taylor expansion of a in b
3.427 * [backup-simplify]: Simplify a into a
3.427 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.427 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.427 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.427 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.428 * [backup-simplify]: Simplify (- (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) into (- (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))
3.428 * [backup-simplify]: Simplify (+ (/ 1 a) (- (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) into (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))
3.428 * [backup-simplify]: Simplify (exp (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) into (exp (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))))
3.428 * [backup-simplify]: Simplify (exp (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) into (exp (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))))
3.428 * [taylor]: Taking taylor expansion of 0 in b
3.428 * [backup-simplify]: Simplify 0 into 0
3.428 * [backup-simplify]: Simplify 0 into 0
3.429 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
3.429 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
3.430 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
3.430 * [backup-simplify]: Simplify (+ 0 0) into 0
3.431 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 b)) (exp (/ 1 a))) 1)))) 1) into 0
3.431 * [backup-simplify]: Simplify (- 0) into 0
3.432 * [backup-simplify]: Simplify (+ 0 0) into 0
3.433 * [backup-simplify]: Simplify (* (exp (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0
3.433 * [backup-simplify]: Simplify 0 into 0
3.433 * [taylor]: Taking taylor expansion of 0 in b
3.433 * [backup-simplify]: Simplify 0 into 0
3.433 * [backup-simplify]: Simplify 0 into 0
3.433 * [backup-simplify]: Simplify 0 into 0
3.433 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
3.433 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
3.435 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.435 * [backup-simplify]: Simplify (+ 0 0) into 0
3.437 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ 1 b)) (exp (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ 1 b)) (exp (/ 1 a))) 1)))) 2) into 0
3.438 * [backup-simplify]: Simplify (- 0) into 0
3.438 * [backup-simplify]: Simplify (+ 0 0) into 0
3.440 * [backup-simplify]: Simplify (* (exp (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.440 * [backup-simplify]: Simplify 0 into 0
3.440 * [taylor]: Taking taylor expansion of 0 in b
3.440 * [backup-simplify]: Simplify 0 into 0
3.440 * [backup-simplify]: Simplify 0 into 0
3.440 * [backup-simplify]: Simplify (exp (- (/ 1 (/ 1 a)) (log (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a))))))) into (exp (- a (log (+ (exp b) (exp a)))))
3.440 * [backup-simplify]: Simplify (exp (- (/ 1 (- a)) (log (+ (exp (/ 1 (- a))) (exp (/ 1 (- b))))))) into (exp (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))))
3.440 * [approximate]: Taking taylor expansion of (exp (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))))) in (a b) around 0
3.440 * [taylor]: Taking taylor expansion of (exp (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))))) in b
3.440 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))) in b
3.440 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) in b
3.441 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.441 * [taylor]: Taking taylor expansion of a in b
3.441 * [backup-simplify]: Simplify a into a
3.441 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.441 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b
3.441 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b
3.441 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b
3.441 * [taylor]: Taking taylor expansion of (/ -1 b) in b
3.441 * [taylor]: Taking taylor expansion of -1 in b
3.441 * [backup-simplify]: Simplify -1 into -1
3.441 * [taylor]: Taking taylor expansion of b in b
3.441 * [backup-simplify]: Simplify 0 into 0
3.441 * [backup-simplify]: Simplify 1 into 1
3.441 * [backup-simplify]: Simplify (/ -1 1) into -1
3.441 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.441 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
3.441 * [taylor]: Taking taylor expansion of (/ -1 a) in b
3.441 * [taylor]: Taking taylor expansion of -1 in b
3.441 * [backup-simplify]: Simplify -1 into -1
3.441 * [taylor]: Taking taylor expansion of a in b
3.441 * [backup-simplify]: Simplify a into a
3.442 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
3.442 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.442 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.442 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.442 * [backup-simplify]: Simplify (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) into (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))
3.442 * [backup-simplify]: Simplify (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))) into (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))))
3.443 * [backup-simplify]: Simplify (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))) into (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))))
3.443 * [backup-simplify]: Simplify (exp (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))))) into (exp (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))))
3.443 * [taylor]: Taking taylor expansion of (exp (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))))) in a
3.443 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))) in a
3.443 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) in a
3.443 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.443 * [taylor]: Taking taylor expansion of a in a
3.443 * [backup-simplify]: Simplify 0 into 0
3.443 * [backup-simplify]: Simplify 1 into 1
3.444 * [backup-simplify]: Simplify (/ 1 1) into 1
3.444 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a
3.444 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a
3.444 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a
3.444 * [taylor]: Taking taylor expansion of (/ -1 b) in a
3.444 * [taylor]: Taking taylor expansion of -1 in a
3.444 * [backup-simplify]: Simplify -1 into -1
3.444 * [taylor]: Taking taylor expansion of b in a
3.444 * [backup-simplify]: Simplify b into b
3.444 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
3.444 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.444 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.444 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.444 * [taylor]: Taking taylor expansion of -1 in a
3.444 * [backup-simplify]: Simplify -1 into -1
3.444 * [taylor]: Taking taylor expansion of a in a
3.444 * [backup-simplify]: Simplify 0 into 0
3.444 * [backup-simplify]: Simplify 1 into 1
3.445 * [backup-simplify]: Simplify (/ -1 1) into -1
3.445 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.445 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.445 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.446 * [backup-simplify]: Simplify (+ 1 0) into 1
3.446 * [backup-simplify]: Simplify (- 1) into -1
3.446 * [backup-simplify]: Simplify (exp (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))))) into (exp (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))))
3.446 * [taylor]: Taking taylor expansion of (exp (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))))) in a
3.446 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))) in a
3.446 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) in a
3.446 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.446 * [taylor]: Taking taylor expansion of a in a
3.446 * [backup-simplify]: Simplify 0 into 0
3.446 * [backup-simplify]: Simplify 1 into 1
3.447 * [backup-simplify]: Simplify (/ 1 1) into 1
3.447 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a
3.447 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a
3.447 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a
3.447 * [taylor]: Taking taylor expansion of (/ -1 b) in a
3.447 * [taylor]: Taking taylor expansion of -1 in a
3.447 * [backup-simplify]: Simplify -1 into -1
3.447 * [taylor]: Taking taylor expansion of b in a
3.447 * [backup-simplify]: Simplify b into b
3.447 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
3.447 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.447 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.447 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.447 * [taylor]: Taking taylor expansion of -1 in a
3.447 * [backup-simplify]: Simplify -1 into -1
3.447 * [taylor]: Taking taylor expansion of a in a
3.447 * [backup-simplify]: Simplify 0 into 0
3.447 * [backup-simplify]: Simplify 1 into 1
3.448 * [backup-simplify]: Simplify (/ -1 1) into -1
3.448 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.448 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.448 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.449 * [backup-simplify]: Simplify (+ 1 0) into 1
3.449 * [backup-simplify]: Simplify (- 1) into -1
3.449 * [backup-simplify]: Simplify (exp (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))))) into (exp (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))))
3.449 * [taylor]: Taking taylor expansion of (exp (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))))) in b
3.450 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))) in b
3.450 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) in b
3.450 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.450 * [taylor]: Taking taylor expansion of a in b
3.450 * [backup-simplify]: Simplify a into a
3.450 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.450 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b
3.450 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b
3.450 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b
3.450 * [taylor]: Taking taylor expansion of (/ -1 b) in b
3.450 * [taylor]: Taking taylor expansion of -1 in b
3.450 * [backup-simplify]: Simplify -1 into -1
3.450 * [taylor]: Taking taylor expansion of b in b
3.450 * [backup-simplify]: Simplify 0 into 0
3.450 * [backup-simplify]: Simplify 1 into 1
3.450 * [backup-simplify]: Simplify (/ -1 1) into -1
3.450 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.450 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
3.450 * [taylor]: Taking taylor expansion of (/ -1 a) in b
3.451 * [taylor]: Taking taylor expansion of -1 in b
3.451 * [backup-simplify]: Simplify -1 into -1
3.451 * [taylor]: Taking taylor expansion of a in b
3.451 * [backup-simplify]: Simplify a into a
3.451 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
3.451 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.451 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.451 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.451 * [backup-simplify]: Simplify (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) into (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))
3.452 * [backup-simplify]: Simplify (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))) into (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))))
3.452 * [backup-simplify]: Simplify (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))) into (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))))
3.452 * [backup-simplify]: Simplify (exp (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))))) into (exp (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))))
3.452 * [backup-simplify]: Simplify (exp (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))))) into (exp (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))))
3.453 * [taylor]: Taking taylor expansion of 0 in b
3.453 * [backup-simplify]: Simplify 0 into 0
3.453 * [backup-simplify]: Simplify 0 into 0
3.453 * [backup-simplify]: Simplify (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))) into (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))))
3.453 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
3.453 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0
3.454 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
3.454 * [backup-simplify]: Simplify (+ 0 0) into 0
3.455 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 b)) (exp (/ -1 a))) 1)))) 1) into 0
3.456 * [backup-simplify]: Simplify (+ 0 0) into 0
3.456 * [backup-simplify]: Simplify (- 0) into 0
3.457 * [backup-simplify]: Simplify (* (exp (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))))) (+ (* (/ (pow 0 1) 1)))) into 0
3.457 * [backup-simplify]: Simplify 0 into 0
3.457 * [taylor]: Taking taylor expansion of 0 in b
3.457 * [backup-simplify]: Simplify 0 into 0
3.457 * [backup-simplify]: Simplify 0 into 0
3.457 * [backup-simplify]: Simplify 0 into 0
3.458 * [backup-simplify]: Simplify (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))) into (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))))
3.458 * [backup-simplify]: Simplify (- 0) into 0
3.458 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
3.458 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
3.460 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.460 * [backup-simplify]: Simplify (+ 0 0) into 0
3.462 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ -1 b)) (exp (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ -1 b)) (exp (/ -1 a))) 1)))) 2) into 0
3.463 * [backup-simplify]: Simplify (+ 0 0) into 0
3.463 * [backup-simplify]: Simplify (- 0) into 0
3.465 * [backup-simplify]: Simplify (* (exp (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.465 * [backup-simplify]: Simplify 0 into 0
3.465 * [taylor]: Taking taylor expansion of 0 in b
3.465 * [backup-simplify]: Simplify 0 into 0
3.465 * [backup-simplify]: Simplify 0 into 0
3.465 * [backup-simplify]: Simplify (exp (- (+ (/ 1 (/ 1 (- a))) (log (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a))))))))) into (exp (- a (log (+ (exp b) (exp a)))))
3.465 * * * [progress]: simplifying candidates
3.467 * [simplify]: Simplifying:
  (log (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b)))))
  (log (cbrt (+ (exp a) (exp b))))
  (log (sqrt (+ (exp a) (exp b))))
  (log (sqrt (+ (exp a) (exp b))))
  (log 1)
  (log (+ (exp a) (exp b)))
  (log 1)
  (log (+ (exp a) (exp b)))
  (log (+ (pow (exp a) 3) (pow (exp b) 3)))
  (log (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))))
  (log (- (* (exp a) (exp a)) (* (exp b) (exp b))))
  (log (- (exp a) (exp b)))
  (log (+ (exp a) (exp b)))
  (log (log (+ (exp a) (exp b))))
  (exp (log (+ (exp a) (exp b))))
  (* (cbrt (log (+ (exp a) (exp b)))) (cbrt (log (+ (exp a) (exp b)))))
  (cbrt (log (+ (exp a) (exp b))))
  (* (* (log (+ (exp a) (exp b))) (log (+ (exp a) (exp b)))) (log (+ (exp a) (exp b))))
  (sqrt (log (+ (exp a) (exp b))))
  (sqrt (log (+ (exp a) (exp b))))
  (/ (exp a) (+ (exp a) (exp b)))
  (log (- a (log (+ (exp a) (exp b)))))
  (exp (- a (log (+ (exp a) (exp b)))))
  (* (cbrt (- a (log (+ (exp a) (exp b))))) (cbrt (- a (log (+ (exp a) (exp b))))))
  (cbrt (- a (log (+ (exp a) (exp b)))))
  (* (* (- a (log (+ (exp a) (exp b)))) (- a (log (+ (exp a) (exp b))))) (- a (log (+ (exp a) (exp b)))))
  (sqrt (- a (log (+ (exp a) (exp b)))))
  (sqrt (- a (log (+ (exp a) (exp b)))))
  (- (pow a 3) (pow (log (+ (exp a) (exp b))) 3))
  (+ (* a a) (+ (* (log (+ (exp a) (exp b))) (log (+ (exp a) (exp b)))) (* a (log (+ (exp a) (exp b))))))
  (- (log (+ (exp a) (exp b))))
  (- (* a a) (* (log (+ (exp a) (exp b))) (log (+ (exp a) (exp b)))))
  (+ a (log (+ (exp a) (exp b))))
  (+ (sqrt a) (sqrt (log (+ (exp a) (exp b)))))
  (- (sqrt a) (sqrt (log (+ (exp a) (exp b)))))
  (- a (log (+ (exp a) (exp b))))
  (- a (log (+ (exp a) (exp b))))
  (- a (log (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))))
  (- a (log (sqrt (+ (exp a) (exp b)))))
  (- a (log 1))
  (- a (log 1))
  (- a (log (+ (pow (exp a) 3) (pow (exp b) 3))))
  (- a (log (- (* (exp a) (exp a)) (* (exp b) (exp b)))))
  (- (log (+ (exp a) (exp b))))
  (* (exp (exp a)) (exp (exp b)))
  (log (+ (exp a) (exp b)))
  (exp (+ (exp a) (exp b)))
  (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))
  (cbrt (+ (exp a) (exp b)))
  (* (* (+ (exp a) (exp b)) (+ (exp a) (exp b))) (+ (exp a) (exp b)))
  (sqrt (+ (exp a) (exp b)))
  (sqrt (+ (exp a) (exp b)))
  (+ (pow (exp a) 3) (pow (exp b) 3))
  (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))
  (- (* (exp a) (exp a)) (* (exp b) (exp b)))
  (- (exp a) (exp b))
  (+ (exp a) (exp b))
  (exp (* (cbrt (- a (log (+ (exp a) (exp b))))) (cbrt (- a (log (+ (exp a) (exp b)))))))
  (exp (sqrt (- a (log (+ (exp a) (exp b))))))
  (exp 1)
  (exp (+ (sqrt a) (sqrt (log (+ (exp a) (exp b))))))
  (exp 1)
  (exp 1)
  (exp a)
  (exp (- (log (+ (exp a) (exp b)))))
  (exp (- a (log (+ (pow (exp a) 3) (pow (exp b) 3)))))
  (exp (log (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b))))))
  (exp (- a (log (- (* (exp a) (exp a)) (* (exp b) (exp b))))))
  (exp (log (- (exp a) (exp b))))
  (exp a)
  (exp (- (log (+ (exp a) (exp b)))))
  (exp a)
  (exp (log (+ (exp a) (exp b))))
  (log (exp (- a (log (+ (exp a) (exp b))))))
  (exp (exp (- a (log (+ (exp a) (exp b))))))
  (* (cbrt (exp (- a (log (+ (exp a) (exp b)))))) (cbrt (exp (- a (log (+ (exp a) (exp b)))))))
  (cbrt (exp (- a (log (+ (exp a) (exp b))))))
  (* (* (exp (- a (log (+ (exp a) (exp b))))) (exp (- a (log (+ (exp a) (exp b)))))) (exp (- a (log (+ (exp a) (exp b))))))
  (sqrt (exp (- a (log (+ (exp a) (exp b))))))
  (sqrt (exp (- a (log (+ (exp a) (exp b))))))
  (+ (* 1/2 a) (+ (* 1/2 b) (log 2)))
  (log (+ (exp b) (exp a)))
  (log (+ (exp b) (exp a)))
  (- (* 1/2 a) (+ (* 1/2 b) (log 2)))
  (- a (log (+ (exp b) (exp a))))
  (- a (log (+ (exp b) (exp a))))
  (+ a (+ b 2))
  (+ (exp b) (exp a))
  (+ (exp b) (exp a))
  (- (+ (exp (- (log 2))) (* 1/2 (* a (exp (- (log 2)))))) (* 1/2 (* (exp (- (log 2))) b)))
  (exp (- a (log (+ (exp b) (exp a)))))
  (exp (- a (log (+ (exp b) (exp a)))))
3.469 * * [simplify]: iteration 0: 107 enodes
3.496 * * [simplify]: iteration 1: 240 enodes
3.550 * * [simplify]: iteration 2: 546 enodes
3.745 * * [simplify]: iteration 3: 1352 enodes
4.574 * * [simplify]: iteration 4: 4237 enodes
5.416 * * [simplify]: iteration complete: 5003 enodes
5.416 * * [simplify]: Extracting #0: cost 60 inf + 0
5.418 * * [simplify]: Extracting #1: cost 584 inf + 3
5.423 * * [simplify]: Extracting #2: cost 1382 inf + 6663
5.443 * * [simplify]: Extracting #3: cost 1237 inf + 39320
5.482 * * [simplify]: Extracting #4: cost 805 inf + 164043
5.550 * * [simplify]: Extracting #5: cost 191 inf + 412631
5.655 * * [simplify]: Extracting #6: cost 4 inf + 505693
5.790 * * [simplify]: Extracting #7: cost 0 inf + 508945
5.893 * [simplify]: Simplified to:
  (log (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b)))))
  (log (cbrt (+ (exp a) (exp b))))
  (log (sqrt (+ (exp a) (exp b))))
  (log (sqrt (+ (exp a) (exp b))))
  0
  (log (+ (exp a) (exp b)))
  0
  (log (+ (exp a) (exp b)))
  (log (+ (exp (* a 3)) (exp (* 3 b))))
  (log (- (* (exp b) (exp b)) (* (exp a) (- (exp b) (exp a)))))
  (log (* (- (exp a) (exp b)) (+ (exp b) (exp a))))
  (log (- (exp a) (exp b)))
  (log (+ (exp a) (exp b)))
  (log (log (+ (exp a) (exp b))))
  (+ (exp a) (exp b))
  (* (cbrt (log (+ (exp a) (exp b)))) (cbrt (log (+ (exp a) (exp b)))))
  (cbrt (log (+ (exp a) (exp b))))
  (* (* (log (+ (exp a) (exp b))) (log (+ (exp a) (exp b)))) (log (+ (exp a) (exp b))))
  (sqrt (log (+ (exp a) (exp b))))
  (sqrt (log (+ (exp a) (exp b))))
  (/ (exp a) (+ (exp a) (exp b)))
  (log (log (/ (exp a) (+ (exp a) (exp b)))))
  (/ (exp a) (+ (exp a) (exp b)))
  (* (cbrt (log (/ (exp a) (+ (exp a) (exp b))))) (cbrt (log (/ (exp a) (+ (exp a) (exp b))))))
  (cbrt (log (/ (exp a) (+ (exp a) (exp b)))))
  (* (* (log (/ (exp a) (+ (exp a) (exp b)))) (log (/ (exp a) (+ (exp a) (exp b))))) (log (/ (exp a) (+ (exp a) (exp b)))))
  (sqrt (log (/ (exp a) (+ (exp a) (exp b)))))
  (sqrt (log (/ (exp a) (+ (exp a) (exp b)))))
  (- (* (* a a) a) (* (* (log (+ (exp a) (exp b))) (log (+ (exp a) (exp b)))) (log (+ (exp a) (exp b)))))
  (+ (* (log (+ (exp a) (exp b))) (log (+ (exp a) (exp b)))) (* (+ (log (+ (exp a) (exp b))) a) a))
  (- (log (+ (exp a) (exp b))))
  (- (* a a) (* (log (+ (exp a) (exp b))) (log (+ (exp a) (exp b)))))
  (+ (log (+ (exp a) (exp b))) a)
  (+ (sqrt a) (sqrt (log (+ (exp a) (exp b)))))
  (- (sqrt a) (sqrt (log (+ (exp a) (exp b)))))
  (log (/ (exp a) (+ (exp a) (exp b))))
  (log (/ (exp a) (+ (exp a) (exp b))))
  (- a (log (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))))
  (- a (log (sqrt (+ (exp a) (exp b)))))
  a
  a
  (- a (log (+ (exp (* a 3)) (exp (* 3 b)))))
  (- a (log (* (- (exp a) (exp b)) (+ (exp b) (exp a)))))
  (- (log (+ (exp a) (exp b))))
  (exp (+ (exp a) (exp b)))
  (log (+ (exp a) (exp b)))
  (exp (+ (exp a) (exp b)))
  (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))
  (cbrt (+ (exp a) (exp b)))
  (* (+ (exp a) (exp b)) (* (+ (exp a) (exp b)) (+ (exp a) (exp b))))
  (sqrt (+ (exp a) (exp b)))
  (sqrt (+ (exp a) (exp b)))
  (+ (exp (* a 3)) (exp (* 3 b)))
  (- (* (exp b) (exp b)) (* (exp a) (- (exp b) (exp a))))
  (* (- (exp a) (exp b)) (+ (exp b) (exp a)))
  (- (exp a) (exp b))
  (+ (exp a) (exp b))
  (exp (* (cbrt (log (/ (exp a) (+ (exp a) (exp b))))) (cbrt (log (/ (exp a) (+ (exp a) (exp b)))))))
  (exp (sqrt (log (/ (exp a) (+ (exp a) (exp b))))))
  E
  (exp (+ (sqrt a) (sqrt (log (+ (exp a) (exp b))))))
  E
  E
  (exp a)
  (/ 1 (+ (exp a) (exp b)))
  (/ (exp a) (+ (exp (* a 3)) (exp (* 3 b))))
  (- (* (exp b) (exp b)) (* (exp a) (- (exp b) (exp a))))
  (/ (/ (exp a) (+ (exp a) (exp b))) (- (exp a) (exp b)))
  (- (exp a) (exp b))
  (exp a)
  (/ 1 (+ (exp a) (exp b)))
  (exp a)
  (+ (exp a) (exp b))
  (log (/ (exp a) (+ (exp a) (exp b))))
  (exp (/ (exp a) (+ (exp a) (exp b))))
  (* (cbrt (/ (exp a) (+ (exp a) (exp b)))) (cbrt (/ (exp a) (+ (exp a) (exp b)))))
  (cbrt (/ (exp a) (+ (exp a) (exp b))))
  (* (* (/ (exp a) (+ (exp a) (exp b))) (/ (exp a) (+ (exp a) (exp b)))) (/ (exp a) (+ (exp a) (exp b))))
  (sqrt (/ (exp a) (+ (exp a) (exp b))))
  (sqrt (/ (exp a) (+ (exp a) (exp b))))
  (+ (* 1/2 (+ b a)) (log 2))
  (log (+ (exp a) (exp b)))
  (log (+ (exp a) (exp b)))
  (- (* 1/2 (- a b)) (log 2))
  (log (/ (exp a) (+ (exp a) (exp b))))
  (log (/ (exp a) (+ (exp a) (exp b))))
  (+ (+ a b) 2)
  (+ (exp a) (exp b))
  (+ (exp a) (exp b))
  (+ (* 1/4 (- a b)) 1/2)
  (/ (exp a) (+ (exp a) (exp b)))
  (/ (exp a) (+ (exp a) (exp b)))
5.902 * * * [progress]: adding candidates to table
6.283 * * [progress]: iteration 3 / 4
6.283 * * * [progress]: picking best candidate
6.287 * * * * [pick]: Picked  #<alt (λ (a b) (- 1/2 (* 1/4 (- b a))))>
6.287 * * * [progress]: localizing error
6.294 * * * [progress]: generating rewritten candidates
6.294 * * * [progress]: generating series expansions
6.294 * * * [progress]: simplifying candidates
6.294 * [simplify]: Simplifying:
  
6.294 * * [simplify]: iteration 0: 0 enodes
6.295 * * [simplify]: iteration complete: 0 enodes
6.295 * * [simplify]: Extracting #0: cost 0 inf + 0
6.295 * [simplify]: Simplified to:
  
6.295 * * * [progress]: adding candidates to table
6.295 * [progress]: [Phase 3 of 3] Extracting.
6.295 * * [regime]: Finding splitpoints for: (#<alt (λ (a b) (exp (- a (log (+ (exp a) (exp b))))))> #<alt (λ (a b) (- 1/2 (* 1/4 (- b a))))>)
6.295 * * * [regime-changes]: Trying 3 branch expressions: ((exp b) b a)
6.295 * * * * [regimes]: Trying to branch on (exp b) from (#<alt (λ (a b) (exp (- a (log (+ (exp a) (exp b))))))> #<alt (λ (a b) (- 1/2 (* 1/4 (- b a))))>)
6.331 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b) (exp (- a (log (+ (exp a) (exp b))))))> #<alt (λ (a b) (- 1/2 (* 1/4 (- b a))))>)
6.365 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b) (exp (- a (log (+ (exp a) (exp b))))))> #<alt (λ (a b) (- 1/2 (* 1/4 (- b a))))>)
6.394 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
6.394 * [simplify]: Simplifying:
  (exp (- a (log (+ (exp a) (exp b)))))
6.394 * * [simplify]: iteration 0: 8 enodes
6.395 * * [simplify]: iteration 1: 9 enodes
6.395 * * [simplify]: iteration complete: 9 enodes
6.395 * * [simplify]: Extracting #0: cost 1 inf + 0
6.395 * * [simplify]: Extracting #1: cost 2 inf + 0
6.395 * * [simplify]: Extracting #2: cost 4 inf + 0
6.395 * * [simplify]: Extracting #3: cost 4 inf + 1
6.395 * * [simplify]: Extracting #4: cost 6 inf + 1
6.395 * * [simplify]: Extracting #5: cost 6 inf + 72
6.395 * * [simplify]: Extracting #6: cost 0 inf + 1232
6.395 * [simplify]: Simplified to:
  (exp (- a (log (+ (exp a) (exp b)))))
10.474 * [regime-testing]: Baseline error score: 0.5755005358134127
10.491 * [regime-testing]: Oracle error score: 0.5349293691687182
10.526 * [regime-testing]: End program error score: 0.5755005358134127
10.656 * [regime-testing]: Target error score: 0.01316912739128449