78.487 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.099 * * * [progress]: [2/2] Setting up program.
0.101 * [progress]: [Phase 2 of 3] Improving.
0.101 * [simplify]: Simplifying:
  (/ (exp a) (+ (exp a) (exp b)))
0.101 * * [simplify]: Extracting # 0 : cost  0
0.101 * * [simplify]: Extracting # 1 : cost  0
0.101 * * [simplify]: Extracting # 2 : cost  0
0.101 * * [simplify]: Extracting # 3 : cost  0
0.101 * * [simplify]: Extracting # 4 : cost  0
0.101 * * [simplify]: Extracting # 5 : cost  0
0.101 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
0.102 * * [simplify]: Extracting # 0 : cost  0
0.102 * * [simplify]: iteration  1 :  7  enodes  (cost  8 )
0.103 * * [simplify]: Extracting # 0 : cost  0
0.103 * * [simplify]: iteration done:  7  enodes  (cost  8 )
0.103 * [simplify]: Simplified to:
  (/ (exp a) (+ (exp a) (exp b)))
0.104 * * [progress]: iteration 1 / 4
0.104 * * * [progress]: picking best candidate
0.105 * * * * [pick]: Picked  #<alt (λ (a b) (/ (exp a) (+ (exp a) (exp b))))>
0.105 * * * [progress]: localizing error
0.113 * * * [progress]: generating rewritten candidates
0.113 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.153 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.176 * * * [progress]: generating series expansions
0.176 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.176 * [backup-simplify]: Simplify (/ (exp a) (+ (exp a) (exp b))) into (/ (exp a) (+ (exp b) (exp a)))
0.176 * [approximate]: Taking taylor expansion of (/ (exp a) (+ (exp b) (exp a))) in (a b) around 0
0.176 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (exp b) (exp a))) in b
0.176 * [taylor]: Taking taylor expansion of (exp a) in b
0.176 * [taylor]: Taking taylor expansion of a in b
0.176 * [backup-simplify]: Simplify a into a
0.176 * [backup-simplify]: Simplify (exp a) into (exp a)
0.176 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in b
0.176 * [taylor]: Taking taylor expansion of (exp b) in b
0.176 * [taylor]: Taking taylor expansion of b in b
0.176 * [backup-simplify]: Simplify 0 into 0
0.176 * [backup-simplify]: Simplify 1 into 1
0.176 * [backup-simplify]: Simplify (exp 0) into 1
0.176 * [taylor]: Taking taylor expansion of (exp a) in b
0.176 * [taylor]: Taking taylor expansion of a in b
0.176 * [backup-simplify]: Simplify a into a
0.176 * [backup-simplify]: Simplify (exp a) into (exp a)
0.177 * [backup-simplify]: Simplify (+ 1 (exp a)) into (+ (exp a) 1)
0.177 * [backup-simplify]: Simplify (/ (exp a) (+ (exp a) 1)) into (/ (exp a) (+ 1 (exp a)))
0.177 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (exp b) (exp a))) in a
0.177 * [taylor]: Taking taylor expansion of (exp a) in a
0.177 * [taylor]: Taking taylor expansion of a in a
0.177 * [backup-simplify]: Simplify 0 into 0
0.177 * [backup-simplify]: Simplify 1 into 1
0.177 * [backup-simplify]: Simplify (exp 0) into 1
0.177 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in a
0.177 * [taylor]: Taking taylor expansion of (exp b) in a
0.177 * [taylor]: Taking taylor expansion of b in a
0.177 * [backup-simplify]: Simplify b into b
0.177 * [backup-simplify]: Simplify (exp b) into (exp b)
0.177 * [taylor]: Taking taylor expansion of (exp a) in a
0.177 * [taylor]: Taking taylor expansion of a in a
0.177 * [backup-simplify]: Simplify 0 into 0
0.177 * [backup-simplify]: Simplify 1 into 1
0.177 * [backup-simplify]: Simplify (exp 0) into 1
0.177 * [backup-simplify]: Simplify (+ (exp b) 1) into (+ (exp b) 1)
0.178 * [backup-simplify]: Simplify (/ 1 (+ (exp b) 1)) into (/ 1 (+ (exp b) 1))
0.178 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (exp b) (exp a))) in a
0.178 * [taylor]: Taking taylor expansion of (exp a) in a
0.178 * [taylor]: Taking taylor expansion of a in a
0.178 * [backup-simplify]: Simplify 0 into 0
0.178 * [backup-simplify]: Simplify 1 into 1
0.178 * [backup-simplify]: Simplify (exp 0) into 1
0.178 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in a
0.178 * [taylor]: Taking taylor expansion of (exp b) in a
0.178 * [taylor]: Taking taylor expansion of b in a
0.178 * [backup-simplify]: Simplify b into b
0.178 * [backup-simplify]: Simplify (exp b) into (exp b)
0.178 * [taylor]: Taking taylor expansion of (exp a) in a
0.178 * [taylor]: Taking taylor expansion of a in a
0.178 * [backup-simplify]: Simplify 0 into 0
0.178 * [backup-simplify]: Simplify 1 into 1
0.178 * [backup-simplify]: Simplify (exp 0) into 1
0.178 * [backup-simplify]: Simplify (+ (exp b) 1) into (+ (exp b) 1)
0.178 * [backup-simplify]: Simplify (/ 1 (+ (exp b) 1)) into (/ 1 (+ (exp b) 1))
0.178 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b
0.178 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b
0.178 * [taylor]: Taking taylor expansion of (exp b) in b
0.178 * [taylor]: Taking taylor expansion of b in b
0.178 * [backup-simplify]: Simplify 0 into 0
0.178 * [backup-simplify]: Simplify 1 into 1
0.178 * [backup-simplify]: Simplify (exp 0) into 1
0.178 * [taylor]: Taking taylor expansion of 1 in b
0.178 * [backup-simplify]: Simplify 1 into 1
0.179 * [backup-simplify]: Simplify (+ 1 1) into 2
0.179 * [backup-simplify]: Simplify (/ 1 2) into 1/2
0.179 * [backup-simplify]: Simplify 1/2 into 1/2
0.181 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.183 * [backup-simplify]: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0
0.183 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.184 * [backup-simplify]: Simplify (+ 0 1) into 1
0.184 * [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.184 * [taylor]: Taking taylor expansion of (- (/ 1 (+ (exp b) 1)) (/ 1 (pow (+ (exp b) 1) 2))) in b
0.184 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b
0.184 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b
0.184 * [taylor]: Taking taylor expansion of (exp b) in b
0.184 * [taylor]: Taking taylor expansion of b in b
0.184 * [backup-simplify]: Simplify 0 into 0
0.184 * [backup-simplify]: Simplify 1 into 1
0.184 * [backup-simplify]: Simplify (exp 0) into 1
0.184 * [taylor]: Taking taylor expansion of 1 in b
0.185 * [backup-simplify]: Simplify 1 into 1
0.185 * [backup-simplify]: Simplify (+ 1 1) into 2
0.185 * [backup-simplify]: Simplify (/ 1 2) into 1/2
0.185 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp b) 1) 2)) in b
0.185 * [taylor]: Taking taylor expansion of (pow (+ (exp b) 1) 2) in b
0.185 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b
0.185 * [taylor]: Taking taylor expansion of (exp b) in b
0.185 * [taylor]: Taking taylor expansion of b in b
0.185 * [backup-simplify]: Simplify 0 into 0
0.185 * [backup-simplify]: Simplify 1 into 1
0.185 * [backup-simplify]: Simplify (exp 0) into 1
0.185 * [taylor]: Taking taylor expansion of 1 in b
0.185 * [backup-simplify]: Simplify 1 into 1
0.186 * [backup-simplify]: Simplify (+ 1 1) into 2
0.186 * [backup-simplify]: Simplify (* 2 2) into 4
0.186 * [backup-simplify]: Simplify (/ 1 4) into 1/4
0.187 * [backup-simplify]: Simplify (- 1/4) into -1/4
0.187 * [backup-simplify]: Simplify (+ 1/2 -1/4) into 1/4
0.187 * [backup-simplify]: Simplify 1/4 into 1/4
0.188 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.189 * [backup-simplify]: Simplify (+ 1 0) into 1
0.189 * [backup-simplify]: Simplify (- (+ (* 1/2 (/ 1 2)))) into -1/4
0.189 * [backup-simplify]: Simplify -1/4 into -1/4
0.189 * [backup-simplify]: Simplify (+ (* -1/4 (* b 1)) (+ (* 1/4 (* 1 a)) 1/2)) into (- (+ (* 1/4 a) 1/2) (* 1/4 b))
0.190 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 a)) (exp (/ 1 b)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a))))
0.190 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in (a b) around 0
0.190 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b
0.190 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
0.190 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.190 * [taylor]: Taking taylor expansion of a in b
0.190 * [backup-simplify]: Simplify a into a
0.190 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.190 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
0.190 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b
0.190 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b
0.190 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.190 * [taylor]: Taking taylor expansion of b in b
0.190 * [backup-simplify]: Simplify 0 into 0
0.190 * [backup-simplify]: Simplify 1 into 1
0.191 * [backup-simplify]: Simplify (/ 1 1) into 1
0.191 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
0.191 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
0.191 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.191 * [taylor]: Taking taylor expansion of a in b
0.191 * [backup-simplify]: Simplify a into a
0.191 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.191 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
0.191 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
0.191 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a))))
0.191 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a
0.191 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.191 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.191 * [taylor]: Taking taylor expansion of a in a
0.191 * [backup-simplify]: Simplify 0 into 0
0.191 * [backup-simplify]: Simplify 1 into 1
0.192 * [backup-simplify]: Simplify (/ 1 1) into 1
0.192 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
0.192 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a
0.192 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a
0.192 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.192 * [taylor]: Taking taylor expansion of b in a
0.192 * [backup-simplify]: Simplify b into b
0.192 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.192 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
0.192 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.192 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.192 * [taylor]: Taking taylor expansion of a in a
0.192 * [backup-simplify]: Simplify 0 into 0
0.192 * [backup-simplify]: Simplify 1 into 1
0.193 * [backup-simplify]: Simplify (/ 1 1) into 1
0.193 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
0.193 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
0.193 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a))))
0.193 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a
0.193 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.193 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.193 * [taylor]: Taking taylor expansion of a in a
0.193 * [backup-simplify]: Simplify 0 into 0
0.193 * [backup-simplify]: Simplify 1 into 1
0.193 * [backup-simplify]: Simplify (/ 1 1) into 1
0.194 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
0.194 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a
0.194 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a
0.194 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.194 * [taylor]: Taking taylor expansion of b in a
0.194 * [backup-simplify]: Simplify b into b
0.194 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.194 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
0.194 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.194 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.194 * [taylor]: Taking taylor expansion of a in a
0.194 * [backup-simplify]: Simplify 0 into 0
0.194 * [backup-simplify]: Simplify 1 into 1
0.194 * [backup-simplify]: Simplify (/ 1 1) into 1
0.194 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
0.195 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
0.195 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a))))
0.195 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b
0.195 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
0.195 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.195 * [taylor]: Taking taylor expansion of a in b
0.195 * [backup-simplify]: Simplify a into a
0.195 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.195 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
0.195 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b
0.195 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b
0.195 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.195 * [taylor]: Taking taylor expansion of b in b
0.195 * [backup-simplify]: Simplify 0 into 0
0.195 * [backup-simplify]: Simplify 1 into 1
0.196 * [backup-simplify]: Simplify (/ 1 1) into 1
0.196 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
0.196 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
0.196 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.196 * [taylor]: Taking taylor expansion of a in b
0.196 * [backup-simplify]: Simplify a into a
0.196 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.196 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
0.196 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
0.196 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a))))
0.196 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a))))
0.197 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
0.197 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0
0.198 * [backup-simplify]: Simplify (+ 0 0) into 0
0.198 * [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.198 * [taylor]: Taking taylor expansion of 0 in b
0.198 * [backup-simplify]: Simplify 0 into 0
0.198 * [backup-simplify]: Simplify 0 into 0
0.199 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
0.199 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
0.199 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
0.200 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
0.201 * [backup-simplify]: Simplify (+ 0 0) into 0
0.201 * [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.201 * [backup-simplify]: Simplify 0 into 0
0.201 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
0.214 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.215 * [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))))) (* 0 (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a))))))) into 0
0.216 * [taylor]: Taking taylor expansion of 0 in b
0.216 * [backup-simplify]: Simplify 0 into 0
0.216 * [backup-simplify]: Simplify 0 into 0
0.216 * [backup-simplify]: Simplify 0 into 0
0.216 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
0.217 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.218 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
0.220 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.220 * [backup-simplify]: Simplify (+ 0 0) into 0
0.221 * [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.221 * [backup-simplify]: Simplify 0 into 0
0.221 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
0.223 * [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.223 * [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.224 * [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.226 * [backup-simplify]: Simplify (/ -1 1) into -1
0.226 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
0.226 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
0.226 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.226 * [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.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 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a
0.227 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a
0.227 * [taylor]: Taking taylor expansion of (/ -1 b) 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 b in a
0.227 * [backup-simplify]: Simplify b into b
0.227 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
0.227 * [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.229 * [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 a
0.229 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.229 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.229 * [taylor]: Taking taylor expansion of -1 in a
0.229 * [backup-simplify]: Simplify -1 into -1
0.229 * [taylor]: Taking taylor expansion of a in a
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 a)) into (exp (/ -1 a))
0.230 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a
0.230 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a
0.230 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.230 * [taylor]: Taking taylor expansion of -1 in a
0.230 * [backup-simplify]: Simplify -1 into -1
0.230 * [taylor]: Taking taylor expansion of b in a
0.230 * [backup-simplify]: Simplify b into b
0.230 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
0.230 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
0.230 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.230 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.230 * [taylor]: Taking taylor expansion of -1 in a
0.230 * [backup-simplify]: Simplify -1 into -1
0.230 * [taylor]: Taking taylor expansion of a in a
0.230 * [backup-simplify]: Simplify 0 into 0
0.230 * [backup-simplify]: Simplify 1 into 1
0.230 * [backup-simplify]: Simplify (/ -1 1) into -1
0.230 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
0.231 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
0.231 * [backup-simplify]: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a))))
0.231 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b
0.231 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
0.231 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.231 * [taylor]: Taking taylor expansion of -1 in b
0.231 * [backup-simplify]: Simplify -1 into -1
0.231 * [taylor]: Taking taylor expansion of a in b
0.231 * [backup-simplify]: Simplify a into a
0.231 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
0.231 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
0.231 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b
0.231 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b
0.231 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.231 * [taylor]: Taking taylor expansion of -1 in b
0.231 * [backup-simplify]: Simplify -1 into -1
0.231 * [taylor]: Taking taylor expansion of b in b
0.231 * [backup-simplify]: Simplify 0 into 0
0.231 * [backup-simplify]: Simplify 1 into 1
0.232 * [backup-simplify]: Simplify (/ -1 1) into -1
0.232 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
0.232 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
0.232 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.232 * [taylor]: Taking taylor expansion of -1 in b
0.232 * [backup-simplify]: Simplify -1 into -1
0.232 * [taylor]: Taking taylor expansion of a in b
0.232 * [backup-simplify]: Simplify a into a
0.232 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
0.232 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
0.232 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
0.233 * [backup-simplify]: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a))))
0.233 * [backup-simplify]: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a))))
0.233 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0
0.234 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (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))))))) 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 a) (+ (* (/ -1 a) (/ 0 a)))) into 0
0.236 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
0.236 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0
0.237 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
0.237 * [backup-simplify]: Simplify (+ 0 0) into 0
0.238 * [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.238 * [backup-simplify]: Simplify 0 into 0
0.238 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
0.239 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.239 * [backup-simplify]: Simplify (+ 0 0) into 0
0.240 * [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.240 * [taylor]: Taking taylor expansion of 0 in b
0.240 * [backup-simplify]: Simplify 0 into 0
0.240 * [backup-simplify]: Simplify 0 into 0
0.240 * [backup-simplify]: Simplify 0 into 0
0.241 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
0.242 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.242 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
0.243 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.244 * [backup-simplify]: Simplify (+ 0 0) into 0
0.245 * [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.245 * [backup-simplify]: Simplify 0 into 0
0.245 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
0.246 * [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.247 * [backup-simplify]: Simplify (+ 0 0) into 0
0.248 * [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.248 * [taylor]: Taking taylor expansion of 0 in b
0.248 * [backup-simplify]: Simplify 0 into 0
0.248 * [backup-simplify]: Simplify 0 into 0
0.248 * [backup-simplify]: Simplify (/ (exp (/ -1 (/ 1 (- a)))) (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a)))))) into (/ (exp a) (+ (exp b) (exp a)))
0.248 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.248 * [backup-simplify]: Simplify (+ (exp a) (exp b)) into (+ (exp b) (exp a))
0.248 * [approximate]: Taking taylor expansion of (+ (exp b) (exp a)) in (a b) around 0
0.248 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in b
0.248 * [taylor]: Taking taylor expansion of (exp b) in b
0.248 * [taylor]: Taking taylor expansion of b in b
0.249 * [backup-simplify]: Simplify 0 into 0
0.249 * [backup-simplify]: Simplify 1 into 1
0.249 * [backup-simplify]: Simplify (exp 0) into 1
0.249 * [taylor]: Taking taylor expansion of (exp a) in b
0.249 * [taylor]: Taking taylor expansion of a in b
0.249 * [backup-simplify]: Simplify a into a
0.249 * [backup-simplify]: Simplify (exp a) into (exp a)
0.249 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in a
0.249 * [taylor]: Taking taylor expansion of (exp b) in a
0.249 * [taylor]: Taking taylor expansion of b in a
0.249 * [backup-simplify]: Simplify b into b
0.249 * [backup-simplify]: Simplify (exp b) into (exp b)
0.249 * [taylor]: Taking taylor expansion of (exp a) in a
0.249 * [taylor]: Taking taylor expansion of a in a
0.249 * [backup-simplify]: Simplify 0 into 0
0.249 * [backup-simplify]: Simplify 1 into 1
0.249 * [backup-simplify]: Simplify (exp 0) into 1
0.249 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in a
0.249 * [taylor]: Taking taylor expansion of (exp b) in a
0.249 * [taylor]: Taking taylor expansion of b in a
0.249 * [backup-simplify]: Simplify b into b
0.249 * [backup-simplify]: Simplify (exp b) into (exp b)
0.249 * [taylor]: Taking taylor expansion of (exp a) in a
0.249 * [taylor]: Taking taylor expansion of a in a
0.249 * [backup-simplify]: Simplify 0 into 0
0.249 * [backup-simplify]: Simplify 1 into 1
0.249 * [backup-simplify]: Simplify (exp 0) into 1
0.249 * [backup-simplify]: Simplify (+ (exp b) 1) into (+ (exp b) 1)
0.249 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b
0.249 * [taylor]: Taking taylor expansion of (exp b) in b
0.249 * [taylor]: Taking taylor expansion of b in b
0.249 * [backup-simplify]: Simplify 0 into 0
0.250 * [backup-simplify]: Simplify 1 into 1
0.250 * [backup-simplify]: Simplify (exp 0) into 1
0.250 * [taylor]: Taking taylor expansion of 1 in b
0.250 * [backup-simplify]: Simplify 1 into 1
0.250 * [backup-simplify]: Simplify (+ 1 1) into 2
0.250 * [backup-simplify]: Simplify 2 into 2
0.251 * [backup-simplify]: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0
0.252 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.252 * [backup-simplify]: Simplify (+ 0 1) into 1
0.252 * [taylor]: Taking taylor expansion of 1 in b
0.252 * [backup-simplify]: Simplify 1 into 1
0.253 * [backup-simplify]: Simplify 1 into 1
0.253 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.254 * [backup-simplify]: Simplify (+ 1 0) into 1
0.254 * [backup-simplify]: Simplify 1 into 1
0.254 * [backup-simplify]: Simplify (+ (* 1 (* b 1)) (+ (* 1 (* 1 a)) 2)) into (+ a (+ b 2))
0.254 * [backup-simplify]: Simplify (+ (exp (/ 1 a)) (exp (/ 1 b))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
0.254 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in (a b) around 0
0.254 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b
0.254 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b
0.255 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.255 * [taylor]: Taking taylor expansion of b in b
0.255 * [backup-simplify]: Simplify 0 into 0
0.255 * [backup-simplify]: Simplify 1 into 1
0.255 * [backup-simplify]: Simplify (/ 1 1) into 1
0.255 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
0.255 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
0.255 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.255 * [taylor]: Taking taylor expansion of a in b
0.255 * [backup-simplify]: Simplify a into a
0.255 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.255 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
0.255 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a
0.256 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a
0.256 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.256 * [taylor]: Taking taylor expansion of b in a
0.256 * [backup-simplify]: Simplify b into b
0.256 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.256 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
0.256 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.256 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.256 * [taylor]: Taking taylor expansion of a in a
0.256 * [backup-simplify]: Simplify 0 into 0
0.256 * [backup-simplify]: Simplify 1 into 1
0.256 * [backup-simplify]: Simplify (/ 1 1) into 1
0.256 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
0.256 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a
0.256 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a
0.257 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.257 * [taylor]: Taking taylor expansion of b in a
0.257 * [backup-simplify]: Simplify b into b
0.257 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.257 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
0.257 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.257 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.257 * [taylor]: Taking taylor expansion of a in a
0.257 * [backup-simplify]: Simplify 0 into 0
0.257 * [backup-simplify]: Simplify 1 into 1
0.257 * [backup-simplify]: Simplify (/ 1 1) into 1
0.257 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
0.258 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
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 b in b
0.258 * [backup-simplify]: Simplify 0 into 0
0.258 * [backup-simplify]: Simplify 1 into 1
0.258 * [backup-simplify]: Simplify (/ 1 1) into 1
0.258 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
0.258 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
0.258 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.258 * [taylor]: Taking taylor expansion of a in b
0.258 * [backup-simplify]: Simplify a into a
0.258 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.259 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
0.259 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
0.259 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
0.259 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
0.260 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0
0.260 * [backup-simplify]: Simplify (+ 0 0) into 0
0.260 * [taylor]: Taking taylor expansion of 0 in b
0.260 * [backup-simplify]: Simplify 0 into 0
0.260 * [backup-simplify]: Simplify 0 into 0
0.261 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
0.261 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
0.262 * [backup-simplify]: Simplify (+ 0 0) into 0
0.262 * [backup-simplify]: Simplify 0 into 0
0.262 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
0.263 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.264 * [backup-simplify]: Simplify (+ 0 0) into 0
0.264 * [taylor]: Taking taylor expansion of 0 in b
0.264 * [backup-simplify]: Simplify 0 into 0
0.264 * [backup-simplify]: Simplify 0 into 0
0.264 * [backup-simplify]: Simplify 0 into 0
0.264 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
0.265 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.266 * [backup-simplify]: Simplify (+ 0 0) into 0
0.266 * [backup-simplify]: Simplify 0 into 0
0.266 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
0.268 * [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.268 * [backup-simplify]: Simplify (+ 0 0) into 0
0.268 * [taylor]: Taking taylor expansion of 0 in b
0.268 * [backup-simplify]: Simplify 0 into 0
0.268 * [backup-simplify]: Simplify 0 into 0
0.268 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a)))) into (+ (exp b) (exp a))
0.268 * [backup-simplify]: Simplify (+ (exp (/ 1 (- a))) (exp (/ 1 (- b)))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
0.268 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in (a b) around 0
0.268 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b
0.268 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b
0.269 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.269 * [taylor]: Taking taylor expansion of -1 in b
0.269 * [backup-simplify]: Simplify -1 into -1
0.269 * [taylor]: Taking taylor expansion of b in b
0.269 * [backup-simplify]: Simplify 0 into 0
0.269 * [backup-simplify]: Simplify 1 into 1
0.269 * [backup-simplify]: Simplify (/ -1 1) into -1
0.269 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
0.269 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
0.269 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.269 * [taylor]: Taking taylor expansion of -1 in b
0.269 * [backup-simplify]: Simplify -1 into -1
0.269 * [taylor]: Taking taylor expansion of a in b
0.269 * [backup-simplify]: Simplify a into a
0.269 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
0.269 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
0.269 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a
0.269 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a
0.269 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.269 * [taylor]: Taking taylor expansion of -1 in a
0.269 * [backup-simplify]: Simplify -1 into -1
0.270 * [taylor]: Taking taylor expansion of b in a
0.270 * [backup-simplify]: Simplify b into b
0.270 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
0.270 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
0.270 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.270 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.270 * [taylor]: Taking taylor expansion of -1 in a
0.270 * [backup-simplify]: Simplify -1 into -1
0.270 * [taylor]: Taking taylor expansion of a in a
0.270 * [backup-simplify]: Simplify 0 into 0
0.270 * [backup-simplify]: Simplify 1 into 1
0.270 * [backup-simplify]: Simplify (/ -1 1) into -1
0.270 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
0.270 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a
0.270 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a
0.270 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.270 * [taylor]: Taking taylor expansion of -1 in a
0.270 * [backup-simplify]: Simplify -1 into -1
0.270 * [taylor]: Taking taylor expansion of b in a
0.270 * [backup-simplify]: Simplify b into b
0.271 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
0.271 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
0.271 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.271 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.271 * [taylor]: Taking taylor expansion of -1 in a
0.271 * [backup-simplify]: Simplify -1 into -1
0.271 * [taylor]: Taking taylor expansion of a in a
0.271 * [backup-simplify]: Simplify 0 into 0
0.271 * [backup-simplify]: Simplify 1 into 1
0.271 * [backup-simplify]: Simplify (/ -1 1) into -1
0.271 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
0.271 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
0.271 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b
0.272 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b
0.272 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.272 * [taylor]: Taking taylor expansion of -1 in b
0.272 * [backup-simplify]: Simplify -1 into -1
0.272 * [taylor]: Taking taylor expansion of b in b
0.272 * [backup-simplify]: Simplify 0 into 0
0.272 * [backup-simplify]: Simplify 1 into 1
0.272 * [backup-simplify]: Simplify (/ -1 1) into -1
0.272 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
0.272 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
0.272 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.272 * [taylor]: Taking taylor expansion of -1 in b
0.272 * [backup-simplify]: Simplify -1 into -1
0.272 * [taylor]: Taking taylor expansion of a in b
0.272 * [backup-simplify]: Simplify a into a
0.272 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
0.272 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
0.273 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
0.273 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
0.273 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0
0.274 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0
0.274 * [backup-simplify]: Simplify (+ 0 0) into 0
0.274 * [taylor]: Taking taylor expansion of 0 in b
0.274 * [backup-simplify]: Simplify 0 into 0
0.274 * [backup-simplify]: Simplify 0 into 0
0.274 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0
0.275 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
0.275 * [backup-simplify]: Simplify (+ 0 0) into 0
0.275 * [backup-simplify]: Simplify 0 into 0
0.276 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
0.277 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.277 * [backup-simplify]: Simplify (+ 0 0) into 0
0.277 * [taylor]: Taking taylor expansion of 0 in b
0.277 * [backup-simplify]: Simplify 0 into 0
0.277 * [backup-simplify]: Simplify 0 into 0
0.277 * [backup-simplify]: Simplify 0 into 0
0.278 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
0.279 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
0.279 * [backup-simplify]: Simplify (+ 0 0) into 0
0.280 * [backup-simplify]: Simplify 0 into 0
0.280 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
0.281 * [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.282 * [backup-simplify]: Simplify (+ 0 0) into 0
0.282 * [taylor]: Taking taylor expansion of 0 in b
0.282 * [backup-simplify]: Simplify 0 into 0
0.282 * [backup-simplify]: Simplify 0 into 0
0.282 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a))))) into (+ (exp b) (exp a))
0.284 * * * [progress]: simplifying candidates
0.285 * [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.287 * * [simplify]: Extracting # 0 : cost  0
0.287 * * [simplify]: Extracting # 1 : cost  0
0.287 * * [simplify]: Extracting # 2 : cost  0
0.288 * * [simplify]: Extracting # 3 : cost  0
0.288 * * [simplify]: Extracting # 4 : cost  0
0.288 * * [simplify]: Extracting # 5 : cost  0
0.288 * * [simplify]: Extracting # 6 : cost  0
0.288 * * [simplify]: iteration  0 :  78  enodes  (cost  616 )
0.315 * * [simplify]: Extracting # 0 : cost  0
0.316 * * [simplify]: Extracting # 1 : cost  0
0.316 * * [simplify]: Extracting # 2 : cost  0
0.316 * * [simplify]: Extracting # 3 : cost  0
0.317 * * [simplify]: Extracting # 4 : cost  0
0.317 * * [simplify]: iteration  1 :  164  enodes  (cost  587 )
0.366 * * [simplify]: Extracting # 0 : cost  0
0.367 * * [simplify]: Extracting # 1 : cost  0
0.367 * * [simplify]: Extracting # 2 : cost  0
0.367 * * [simplify]: Extracting # 3 : cost  0
0.368 * * [simplify]: Extracting # 4 : cost  0
0.368 * * [simplify]: iteration  2 :  382  enodes  (cost  548 )
0.473 * * [simplify]: Extracting # 0 : cost  0
0.475 * * [simplify]: Extracting # 1 : cost  0
0.476 * * [simplify]: Extracting # 2 : cost  0
0.477 * * [simplify]: Extracting # 3 : cost  0
0.478 * * [simplify]: Extracting # 4 : cost  0
0.480 * * [simplify]: iteration  3 :  730  enodes  (cost  546 )
1.092 * * [simplify]: Extracting # 0 : cost  0
1.096 * * [simplify]: Extracting # 1 : cost  0
1.100 * * [simplify]: Extracting # 2 : cost  0
1.103 * * [simplify]: Extracting # 3 : cost  0
1.106 * * [simplify]: Extracting # 4 : cost  0
1.109 * * [simplify]: iteration  4 :  1872  enodes  (cost  546 )
2.880 * * [simplify]: Extracting # 0 : cost  0
2.903 * * [simplify]: Extracting # 1 : cost  0
2.913 * * [simplify]: Extracting # 2 : cost  0
2.922 * * [simplify]: Extracting # 3 : cost  0
2.931 * * [simplify]: Extracting # 4 : cost  0
2.939 * * [simplify]: iteration done:  5000  enodes  (cost  546 )
2.941 * [simplify]: Simplified to:
  (- a (log (+ (exp a) (exp b))))
  (- a (log (+ (exp a) (exp b))))
  (exp (/ (exp a) (+ (exp a) (exp b))))
  (pow (/ (exp a) (+ (exp b) (exp a))) 3)
  (* (cbrt (/ (exp a) (+ (exp a) (exp b)))) (cbrt (/ (exp a) (+ (exp a) (exp b)))))
  (cbrt (/ (exp a) (+ (exp a) (exp b))))
  (pow (/ (exp a) (+ (exp b) (exp a))) 3)
  (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)))
  (/ (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 b) (exp a)))
  1
  (/ (exp a) (+ (exp b) (exp a)))
  (/ 1 (+ (exp a) (exp b)))
  (/ (+ (exp b) (exp a)) (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 b) (exp a)) (exp a))
  (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))
  (/ (exp a) (- (exp (+ a a)) (exp (+ b 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)))
  (pow (+ (exp b) (exp a)) 3)
  (sqrt (+ (exp a) (exp b)))
  (sqrt (+ (exp a) (exp b)))
  (+ (pow (exp b) 3) (pow (exp a) 3))
  (+ (exp (+ a a)) (* (exp b) (- (exp b) (exp a))))
  (- (exp (+ a a)) (exp (+ b b)))
  (- (exp a) (exp b))
  (+ (exp a) (exp b))
  (+ (* 1/4 (- a b)) 1/2)
  (/ (exp a) (+ (exp b) (exp a)))
  (/ (exp a) (+ (exp b) (exp a)))
  (+ a (+ b 2))
  (+ (exp a) (exp b))
  (+ (exp a) (exp b))
2.941 * * * [progress]: adding candidates to table
3.106 * * [progress]: iteration 2 / 4
3.106 * * * [progress]: picking best candidate
3.111 * * * * [pick]: Picked  #<alt (λ (a b) (exp (- a (log (+ (exp a) (exp b))))))>
3.111 * * * [progress]: localizing error
3.122 * * * [progress]: generating rewritten candidates
3.122 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
3.137 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
3.152 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
3.173 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
3.186 * * * [progress]: generating series expansions
3.186 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
3.186 * [backup-simplify]: Simplify (log (+ (exp a) (exp b))) into (log (+ (exp b) (exp a)))
3.186 * [approximate]: Taking taylor expansion of (log (+ (exp b) (exp a))) in (a b) around 0
3.186 * [taylor]: Taking taylor expansion of (log (+ (exp b) (exp a))) in b
3.186 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in b
3.186 * [taylor]: Taking taylor expansion of (exp b) in b
3.186 * [taylor]: Taking taylor expansion of b in b
3.186 * [backup-simplify]: Simplify 0 into 0
3.186 * [backup-simplify]: Simplify 1 into 1
3.186 * [backup-simplify]: Simplify (exp 0) into 1
3.186 * [taylor]: Taking taylor expansion of (exp a) in b
3.186 * [taylor]: Taking taylor expansion of a in b
3.186 * [backup-simplify]: Simplify a into a
3.186 * [backup-simplify]: Simplify (exp a) into (exp a)
3.186 * [backup-simplify]: Simplify (+ 1 (exp a)) into (+ (exp a) 1)
3.186 * [backup-simplify]: Simplify (log (+ (exp a) 1)) into (log (+ 1 (exp a)))
3.186 * [taylor]: Taking taylor expansion of (log (+ (exp b) (exp a))) in a
3.186 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in a
3.186 * [taylor]: Taking taylor expansion of (exp b) in a
3.186 * [taylor]: Taking taylor expansion of b in a
3.186 * [backup-simplify]: Simplify b into b
3.186 * [backup-simplify]: Simplify (exp b) into (exp b)
3.186 * [taylor]: Taking taylor expansion of (exp a) in a
3.186 * [taylor]: Taking taylor expansion of a in a
3.186 * [backup-simplify]: Simplify 0 into 0
3.186 * [backup-simplify]: Simplify 1 into 1
3.186 * [backup-simplify]: Simplify (exp 0) into 1
3.187 * [backup-simplify]: Simplify (+ (exp b) 1) into (+ (exp b) 1)
3.187 * [backup-simplify]: Simplify (log (+ (exp b) 1)) into (log (+ (exp b) 1))
3.187 * [taylor]: Taking taylor expansion of (log (+ (exp b) (exp a))) in a
3.187 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in a
3.187 * [taylor]: Taking taylor expansion of (exp b) in a
3.187 * [taylor]: Taking taylor expansion of b in a
3.187 * [backup-simplify]: Simplify b into b
3.187 * [backup-simplify]: Simplify (exp b) into (exp b)
3.187 * [taylor]: Taking taylor expansion of (exp a) in a
3.187 * [taylor]: Taking taylor expansion of a in a
3.187 * [backup-simplify]: Simplify 0 into 0
3.187 * [backup-simplify]: Simplify 1 into 1
3.187 * [backup-simplify]: Simplify (exp 0) into 1
3.187 * [backup-simplify]: Simplify (+ (exp b) 1) into (+ (exp b) 1)
3.187 * [backup-simplify]: Simplify (log (+ (exp b) 1)) into (log (+ (exp b) 1))
3.187 * [taylor]: Taking taylor expansion of (log (+ (exp b) 1)) in b
3.187 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b
3.187 * [taylor]: Taking taylor expansion of (exp b) in b
3.187 * [taylor]: Taking taylor expansion of b in b
3.187 * [backup-simplify]: Simplify 0 into 0
3.187 * [backup-simplify]: Simplify 1 into 1
3.187 * [backup-simplify]: Simplify (exp 0) into 1
3.187 * [taylor]: Taking taylor expansion of 1 in b
3.187 * [backup-simplify]: Simplify 1 into 1
3.188 * [backup-simplify]: Simplify (+ 1 1) into 2
3.188 * [backup-simplify]: Simplify (log 2) into (log 2)
3.188 * [backup-simplify]: Simplify (log 2) into (log 2)
3.189 * [backup-simplify]: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0
3.190 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.190 * [backup-simplify]: Simplify (+ 0 1) into 1
3.191 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (+ (exp b) 1) 1)))) 1) into (/ 1 (+ (exp b) 1))
3.191 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b
3.191 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b
3.191 * [taylor]: Taking taylor expansion of (exp b) in b
3.191 * [taylor]: Taking taylor expansion of b in b
3.191 * [backup-simplify]: Simplify 0 into 0
3.191 * [backup-simplify]: Simplify 1 into 1
3.191 * [backup-simplify]: Simplify (exp 0) into 1
3.191 * [taylor]: Taking taylor expansion of 1 in b
3.191 * [backup-simplify]: Simplify 1 into 1
3.191 * [backup-simplify]: Simplify (+ 1 1) into 2
3.192 * [backup-simplify]: Simplify (/ 1 2) into 1/2
3.192 * [backup-simplify]: Simplify 1/2 into 1/2
3.192 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.193 * [backup-simplify]: Simplify (+ 1 0) into 1
3.193 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2
3.193 * [backup-simplify]: Simplify 1/2 into 1/2
3.194 * [backup-simplify]: Simplify (+ (* 1/2 (* b 1)) (+ (* 1/2 (* 1 a)) (log 2))) into (+ (* 1/2 a) (+ (log 2) (* 1/2 b)))
3.194 * [backup-simplify]: Simplify (log (+ (exp (/ 1 a)) (exp (/ 1 b)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.194 * [approximate]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in (a b) around 0
3.194 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b
3.194 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b
3.194 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b
3.194 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.194 * [taylor]: Taking taylor expansion of b in b
3.194 * [backup-simplify]: Simplify 0 into 0
3.194 * [backup-simplify]: Simplify 1 into 1
3.194 * [backup-simplify]: Simplify (/ 1 1) into 1
3.194 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.194 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
3.194 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.194 * [taylor]: Taking taylor expansion of a in b
3.194 * [backup-simplify]: Simplify a into a
3.194 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.195 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.195 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.195 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.195 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a
3.195 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a
3.195 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a
3.195 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.195 * [taylor]: Taking taylor expansion of b in a
3.195 * [backup-simplify]: Simplify b into b
3.195 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.195 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.195 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.195 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.195 * [taylor]: Taking taylor expansion of a in a
3.195 * [backup-simplify]: Simplify 0 into 0
3.195 * [backup-simplify]: Simplify 1 into 1
3.195 * [backup-simplify]: Simplify (/ 1 1) into 1
3.195 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.195 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.196 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.196 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a
3.196 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a
3.196 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a
3.196 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.196 * [taylor]: Taking taylor expansion of b in a
3.196 * [backup-simplify]: Simplify b into b
3.196 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.196 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.196 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.196 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.196 * [taylor]: Taking taylor expansion of a in a
3.196 * [backup-simplify]: Simplify 0 into 0
3.196 * [backup-simplify]: Simplify 1 into 1
3.196 * [backup-simplify]: Simplify (/ 1 1) into 1
3.196 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.196 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.196 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.196 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b
3.196 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b
3.196 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b
3.196 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.196 * [taylor]: Taking taylor expansion of b in b
3.196 * [backup-simplify]: Simplify 0 into 0
3.196 * [backup-simplify]: Simplify 1 into 1
3.197 * [backup-simplify]: Simplify (/ 1 1) into 1
3.197 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.197 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
3.197 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.197 * [taylor]: Taking taylor expansion of a in b
3.197 * [backup-simplify]: Simplify a into a
3.197 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.197 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.197 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.197 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.197 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.197 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
3.198 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0
3.198 * [backup-simplify]: Simplify (+ 0 0) into 0
3.199 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 b)) (exp (/ 1 a))) 1)))) 1) into 0
3.199 * [taylor]: Taking taylor expansion of 0 in b
3.199 * [backup-simplify]: Simplify 0 into 0
3.199 * [backup-simplify]: Simplify 0 into 0
3.199 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
3.200 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
3.200 * [backup-simplify]: Simplify (+ 0 0) into 0
3.201 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 b)) (exp (/ 1 a))) 1)))) 1) into 0
3.201 * [backup-simplify]: Simplify 0 into 0
3.202 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.204 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.204 * [backup-simplify]: Simplify (+ 0 0) into 0
3.207 * [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.207 * [taylor]: Taking taylor expansion of 0 in b
3.207 * [backup-simplify]: Simplify 0 into 0
3.207 * [backup-simplify]: Simplify 0 into 0
3.207 * [backup-simplify]: Simplify 0 into 0
3.207 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
3.208 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.209 * [backup-simplify]: Simplify (+ 0 0) into 0
3.211 * [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.211 * [backup-simplify]: Simplify 0 into 0
3.211 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.212 * [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.212 * [backup-simplify]: Simplify (+ 0 0) into 0
3.214 * [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.214 * [taylor]: Taking taylor expansion of 0 in b
3.214 * [backup-simplify]: Simplify 0 into 0
3.214 * [backup-simplify]: Simplify 0 into 0
3.214 * [backup-simplify]: Simplify (log (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a))))) into (log (+ (exp b) (exp a)))
3.214 * [backup-simplify]: Simplify (log (+ (exp (/ 1 (- a))) (exp (/ 1 (- b))))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.214 * [approximate]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in (a b) around 0
3.214 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b
3.214 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b
3.214 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b
3.214 * [taylor]: Taking taylor expansion of (/ -1 b) in b
3.214 * [taylor]: Taking taylor expansion of -1 in b
3.214 * [backup-simplify]: Simplify -1 into -1
3.215 * [taylor]: Taking taylor expansion of b in b
3.215 * [backup-simplify]: Simplify 0 into 0
3.215 * [backup-simplify]: Simplify 1 into 1
3.215 * [backup-simplify]: Simplify (/ -1 1) into -1
3.215 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.215 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
3.215 * [taylor]: Taking taylor expansion of (/ -1 a) in b
3.215 * [taylor]: Taking taylor expansion of -1 in b
3.215 * [backup-simplify]: Simplify -1 into -1
3.215 * [taylor]: Taking taylor expansion of a in b
3.215 * [backup-simplify]: Simplify a into a
3.215 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
3.215 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.215 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.215 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.215 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a
3.215 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a
3.215 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a
3.215 * [taylor]: Taking taylor expansion of (/ -1 b) in a
3.215 * [taylor]: Taking taylor expansion of -1 in a
3.215 * [backup-simplify]: Simplify -1 into -1
3.215 * [taylor]: Taking taylor expansion of b in a
3.215 * [backup-simplify]: Simplify b into b
3.215 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
3.215 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.216 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.216 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.216 * [taylor]: Taking taylor expansion of -1 in a
3.216 * [backup-simplify]: Simplify -1 into -1
3.216 * [taylor]: Taking taylor expansion of a in a
3.216 * [backup-simplify]: Simplify 0 into 0
3.216 * [backup-simplify]: Simplify 1 into 1
3.216 * [backup-simplify]: Simplify (/ -1 1) into -1
3.216 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.216 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.216 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.216 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a
3.216 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a
3.216 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a
3.216 * [taylor]: Taking taylor expansion of (/ -1 b) in a
3.216 * [taylor]: Taking taylor expansion of -1 in a
3.216 * [backup-simplify]: Simplify -1 into -1
3.216 * [taylor]: Taking taylor expansion of b in a
3.216 * [backup-simplify]: Simplify b into b
3.216 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
3.216 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.216 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.216 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.216 * [taylor]: Taking taylor expansion of -1 in a
3.216 * [backup-simplify]: Simplify -1 into -1
3.216 * [taylor]: Taking taylor expansion of a in a
3.216 * [backup-simplify]: Simplify 0 into 0
3.216 * [backup-simplify]: Simplify 1 into 1
3.217 * [backup-simplify]: Simplify (/ -1 1) into -1
3.217 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.217 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.220 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.220 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b
3.221 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b
3.221 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b
3.221 * [taylor]: Taking taylor expansion of (/ -1 b) in b
3.221 * [taylor]: Taking taylor expansion of -1 in b
3.221 * [backup-simplify]: Simplify -1 into -1
3.221 * [taylor]: Taking taylor expansion of b in b
3.221 * [backup-simplify]: Simplify 0 into 0
3.221 * [backup-simplify]: Simplify 1 into 1
3.221 * [backup-simplify]: Simplify (/ -1 1) into -1
3.221 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.221 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
3.221 * [taylor]: Taking taylor expansion of (/ -1 a) in b
3.221 * [taylor]: Taking taylor expansion of -1 in b
3.221 * [backup-simplify]: Simplify -1 into -1
3.221 * [taylor]: Taking taylor expansion of a in b
3.221 * [backup-simplify]: Simplify a into a
3.221 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
3.221 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.221 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.222 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.222 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.222 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0
3.222 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0
3.223 * [backup-simplify]: Simplify (+ 0 0) into 0
3.223 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 b)) (exp (/ -1 a))) 1)))) 1) into 0
3.223 * [taylor]: Taking taylor expansion of 0 in b
3.223 * [backup-simplify]: Simplify 0 into 0
3.223 * [backup-simplify]: Simplify 0 into 0
3.223 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0
3.224 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
3.224 * [backup-simplify]: Simplify (+ 0 0) into 0
3.225 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 b)) (exp (/ -1 a))) 1)))) 1) into 0
3.225 * [backup-simplify]: Simplify 0 into 0
3.225 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.226 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.226 * [backup-simplify]: Simplify (+ 0 0) into 0
3.227 * [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.227 * [taylor]: Taking taylor expansion of 0 in b
3.227 * [backup-simplify]: Simplify 0 into 0
3.227 * [backup-simplify]: Simplify 0 into 0
3.227 * [backup-simplify]: Simplify 0 into 0
3.227 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
3.228 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.228 * [backup-simplify]: Simplify (+ 0 0) into 0
3.230 * [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.230 * [backup-simplify]: Simplify 0 into 0
3.230 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.231 * [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.231 * [backup-simplify]: Simplify (+ 0 0) into 0
3.233 * [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.233 * [taylor]: Taking taylor expansion of 0 in b
3.233 * [backup-simplify]: Simplify 0 into 0
3.233 * [backup-simplify]: Simplify 0 into 0
3.233 * [backup-simplify]: Simplify (log (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a)))))) into (log (+ (exp b) (exp a)))
3.233 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
3.233 * [backup-simplify]: Simplify (- a (log (+ (exp a) (exp b)))) into (- a (log (+ (exp b) (exp a))))
3.233 * [approximate]: Taking taylor expansion of (- a (log (+ (exp b) (exp a)))) in (a b) around 0
3.233 * [taylor]: Taking taylor expansion of (- a (log (+ (exp b) (exp a)))) in b
3.233 * [taylor]: Taking taylor expansion of a in b
3.233 * [backup-simplify]: Simplify a into a
3.233 * [taylor]: Taking taylor expansion of (log (+ (exp b) (exp a))) in b
3.233 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in b
3.233 * [taylor]: Taking taylor expansion of (exp b) in b
3.233 * [taylor]: Taking taylor expansion of b in b
3.233 * [backup-simplify]: Simplify 0 into 0
3.233 * [backup-simplify]: Simplify 1 into 1
3.233 * [backup-simplify]: Simplify (exp 0) into 1
3.233 * [taylor]: Taking taylor expansion of (exp a) in b
3.233 * [taylor]: Taking taylor expansion of a in b
3.233 * [backup-simplify]: Simplify a into a
3.234 * [backup-simplify]: Simplify (exp a) into (exp a)
3.234 * [backup-simplify]: Simplify (+ 1 (exp a)) into (+ (exp a) 1)
3.234 * [backup-simplify]: Simplify (log (+ (exp a) 1)) into (log (+ 1 (exp a)))
3.234 * [taylor]: Taking taylor expansion of (- a (log (+ (exp b) (exp a)))) in a
3.234 * [taylor]: Taking taylor expansion of a in a
3.234 * [backup-simplify]: Simplify 0 into 0
3.234 * [backup-simplify]: Simplify 1 into 1
3.234 * [taylor]: Taking taylor expansion of (log (+ (exp b) (exp a))) in a
3.234 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in a
3.234 * [taylor]: Taking taylor expansion of (exp b) in a
3.234 * [taylor]: Taking taylor expansion of b in a
3.234 * [backup-simplify]: Simplify b into b
3.234 * [backup-simplify]: Simplify (exp b) into (exp b)
3.234 * [taylor]: Taking taylor expansion of (exp a) in a
3.234 * [taylor]: Taking taylor expansion of a in a
3.234 * [backup-simplify]: Simplify 0 into 0
3.234 * [backup-simplify]: Simplify 1 into 1
3.234 * [backup-simplify]: Simplify (exp 0) into 1
3.234 * [backup-simplify]: Simplify (+ (exp b) 1) into (+ (exp b) 1)
3.234 * [backup-simplify]: Simplify (log (+ (exp b) 1)) into (log (+ (exp b) 1))
3.234 * [taylor]: Taking taylor expansion of (- a (log (+ (exp b) (exp a)))) in a
3.234 * [taylor]: Taking taylor expansion of a in a
3.234 * [backup-simplify]: Simplify 0 into 0
3.234 * [backup-simplify]: Simplify 1 into 1
3.234 * [taylor]: Taking taylor expansion of (log (+ (exp b) (exp a))) in a
3.234 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in a
3.234 * [taylor]: Taking taylor expansion of (exp b) in a
3.234 * [taylor]: Taking taylor expansion of b in a
3.234 * [backup-simplify]: Simplify b into b
3.234 * [backup-simplify]: Simplify (exp b) into (exp b)
3.234 * [taylor]: Taking taylor expansion of (exp a) in a
3.234 * [taylor]: Taking taylor expansion of a in a
3.234 * [backup-simplify]: Simplify 0 into 0
3.234 * [backup-simplify]: Simplify 1 into 1
3.234 * [backup-simplify]: Simplify (exp 0) into 1
3.234 * [backup-simplify]: Simplify (+ (exp b) 1) into (+ (exp b) 1)
3.234 * [backup-simplify]: Simplify (log (+ (exp b) 1)) into (log (+ (exp b) 1))
3.234 * [backup-simplify]: Simplify (- (log (+ (exp b) 1))) into (- (log (+ (exp b) 1)))
3.235 * [backup-simplify]: Simplify (+ 0 (- (log (+ (exp b) 1)))) into (- (log (+ (exp b) 1)))
3.235 * [taylor]: Taking taylor expansion of (- (log (+ (exp b) 1))) in b
3.235 * [taylor]: Taking taylor expansion of (log (+ (exp b) 1)) in b
3.235 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b
3.235 * [taylor]: Taking taylor expansion of (exp b) in b
3.235 * [taylor]: Taking taylor expansion of b in b
3.235 * [backup-simplify]: Simplify 0 into 0
3.235 * [backup-simplify]: Simplify 1 into 1
3.235 * [backup-simplify]: Simplify (exp 0) into 1
3.235 * [taylor]: Taking taylor expansion of 1 in b
3.235 * [backup-simplify]: Simplify 1 into 1
3.235 * [backup-simplify]: Simplify (+ 1 1) into 2
3.235 * [backup-simplify]: Simplify (log 2) into (log 2)
3.236 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
3.236 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
3.237 * [backup-simplify]: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0
3.237 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.238 * [backup-simplify]: Simplify (+ 0 1) into 1
3.238 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (+ (exp b) 1) 1)))) 1) into (/ 1 (+ (exp b) 1))
3.238 * [backup-simplify]: Simplify (- (/ 1 (+ (exp b) 1))) into (- (/ 1 (+ (exp b) 1)))
3.238 * [backup-simplify]: Simplify (+ 1 (- (/ 1 (+ (exp b) 1)))) into (- 1 (/ 1 (+ (exp b) 1)))
3.238 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (+ (exp b) 1))) in b
3.238 * [taylor]: Taking taylor expansion of 1 in b
3.238 * [backup-simplify]: Simplify 1 into 1
3.238 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b
3.238 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b
3.238 * [taylor]: Taking taylor expansion of (exp b) in b
3.238 * [taylor]: Taking taylor expansion of b in b
3.238 * [backup-simplify]: Simplify 0 into 0
3.238 * [backup-simplify]: Simplify 1 into 1
3.238 * [backup-simplify]: Simplify (exp 0) into 1
3.238 * [taylor]: Taking taylor expansion of 1 in b
3.238 * [backup-simplify]: Simplify 1 into 1
3.239 * [backup-simplify]: Simplify (+ 1 1) into 2
3.239 * [backup-simplify]: Simplify (/ 1 2) into 1/2
3.239 * [backup-simplify]: Simplify (- 1/2) into -1/2
3.239 * [backup-simplify]: Simplify (+ 1 -1/2) into 1/2
3.240 * [backup-simplify]: Simplify 1/2 into 1/2
3.240 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.240 * [backup-simplify]: Simplify (+ 1 0) into 1
3.241 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2
3.241 * [backup-simplify]: Simplify (- 1/2) into -1/2
3.241 * [backup-simplify]: Simplify -1/2 into -1/2
3.242 * [backup-simplify]: Simplify (+ (* -1/2 (* b 1)) (+ (* 1/2 (* 1 a)) (- (log 2)))) into (- (* 1/2 a) (+ (log 2) (* 1/2 b)))
3.242 * [backup-simplify]: Simplify (- (/ 1 a) (log (+ (exp (/ 1 a)) (exp (/ 1 b))))) into (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))
3.242 * [approximate]: Taking taylor expansion of (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) in (a b) around 0
3.242 * [taylor]: Taking taylor expansion of (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) in b
3.242 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.242 * [taylor]: Taking taylor expansion of a in b
3.242 * [backup-simplify]: Simplify a into a
3.242 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.242 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b
3.242 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b
3.242 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b
3.242 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.242 * [taylor]: Taking taylor expansion of b in b
3.242 * [backup-simplify]: Simplify 0 into 0
3.242 * [backup-simplify]: Simplify 1 into 1
3.243 * [backup-simplify]: Simplify (/ 1 1) into 1
3.243 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.243 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
3.243 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.243 * [taylor]: Taking taylor expansion of a in b
3.243 * [backup-simplify]: Simplify a into a
3.243 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.243 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.243 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.243 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.243 * [taylor]: Taking taylor expansion of (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) in a
3.243 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.243 * [taylor]: Taking taylor expansion of a in a
3.243 * [backup-simplify]: Simplify 0 into 0
3.243 * [backup-simplify]: Simplify 1 into 1
3.243 * [backup-simplify]: Simplify (/ 1 1) into 1
3.244 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a
3.244 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a
3.244 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a
3.244 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.244 * [taylor]: Taking taylor expansion of b in a
3.244 * [backup-simplify]: Simplify b into b
3.244 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.244 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.244 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.244 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.244 * [taylor]: Taking taylor expansion of a in a
3.244 * [backup-simplify]: Simplify 0 into 0
3.244 * [backup-simplify]: Simplify 1 into 1
3.244 * [backup-simplify]: Simplify (/ 1 1) into 1
3.244 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.244 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.244 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.244 * [taylor]: Taking taylor expansion of (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) in a
3.244 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.244 * [taylor]: Taking taylor expansion of a in a
3.244 * [backup-simplify]: Simplify 0 into 0
3.244 * [backup-simplify]: Simplify 1 into 1
3.245 * [backup-simplify]: Simplify (/ 1 1) into 1
3.245 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a
3.245 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a
3.245 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a
3.245 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.245 * [taylor]: Taking taylor expansion of b in a
3.245 * [backup-simplify]: Simplify b into b
3.245 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.245 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.245 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.245 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.245 * [taylor]: Taking taylor expansion of a in a
3.245 * [backup-simplify]: Simplify 0 into 0
3.245 * [backup-simplify]: Simplify 1 into 1
3.245 * [backup-simplify]: Simplify (/ 1 1) into 1
3.245 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.245 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.246 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.246 * [backup-simplify]: Simplify (+ 1 0) into 1
3.246 * [taylor]: Taking taylor expansion of 1 in b
3.246 * [backup-simplify]: Simplify 1 into 1
3.246 * [backup-simplify]: Simplify 1 into 1
3.246 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.247 * [backup-simplify]: Simplify (- (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) into (- (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))
3.247 * [backup-simplify]: Simplify (+ 0 (- (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) into (- (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))
3.247 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) in b
3.247 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b
3.247 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b
3.247 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b
3.247 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.247 * [taylor]: Taking taylor expansion of b in b
3.247 * [backup-simplify]: Simplify 0 into 0
3.247 * [backup-simplify]: Simplify 1 into 1
3.247 * [backup-simplify]: Simplify (/ 1 1) into 1
3.247 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.247 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
3.247 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.247 * [taylor]: Taking taylor expansion of a in b
3.247 * [backup-simplify]: Simplify a into a
3.247 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.247 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.247 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.248 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.248 * [backup-simplify]: Simplify (- (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) into (- (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))
3.248 * [backup-simplify]: Simplify (- (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) into (- (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))
3.248 * [backup-simplify]: Simplify 0 into 0
3.248 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.248 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
3.249 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0
3.249 * [backup-simplify]: Simplify (+ 0 0) into 0
3.250 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 b)) (exp (/ 1 a))) 1)))) 1) into 0
3.250 * [backup-simplify]: Simplify (- 0) into 0
3.250 * [backup-simplify]: Simplify (+ 0 0) into 0
3.250 * [taylor]: Taking taylor expansion of 0 in b
3.250 * [backup-simplify]: Simplify 0 into 0
3.250 * [backup-simplify]: Simplify 0 into 0
3.250 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
3.251 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
3.251 * [backup-simplify]: Simplify (+ 0 0) into 0
3.252 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 b)) (exp (/ 1 a))) 1)))) 1) into 0
3.252 * [backup-simplify]: Simplify (- 0) into 0
3.252 * [backup-simplify]: Simplify 0 into 0
3.252 * [backup-simplify]: Simplify 0 into 0
3.252 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.253 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.253 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.254 * [backup-simplify]: Simplify (+ 0 0) into 0
3.255 * [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.255 * [backup-simplify]: Simplify (- 0) into 0
3.255 * [backup-simplify]: Simplify (+ 0 0) into 0
3.255 * [taylor]: Taking taylor expansion of 0 in b
3.255 * [backup-simplify]: Simplify 0 into 0
3.255 * [backup-simplify]: Simplify 0 into 0
3.255 * [backup-simplify]: Simplify 0 into 0
3.256 * [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.256 * [backup-simplify]: Simplify (- (/ 1 (- a)) (log (+ (exp (/ 1 (- a))) (exp (/ 1 (- b)))))) into (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)))
3.256 * [approximate]: Taking taylor expansion of (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a))) in (a b) around 0
3.256 * [taylor]: Taking taylor expansion of (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a))) in b
3.256 * [taylor]: Taking taylor expansion of (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)) in b
3.256 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b
3.256 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b
3.256 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b
3.256 * [taylor]: Taking taylor expansion of (/ -1 b) in b
3.256 * [taylor]: Taking taylor expansion of -1 in b
3.256 * [backup-simplify]: Simplify -1 into -1
3.256 * [taylor]: Taking taylor expansion of b in b
3.256 * [backup-simplify]: Simplify 0 into 0
3.256 * [backup-simplify]: Simplify 1 into 1
3.256 * [backup-simplify]: Simplify (/ -1 1) into -1
3.256 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.256 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
3.256 * [taylor]: Taking taylor expansion of (/ -1 a) in b
3.257 * [taylor]: Taking taylor expansion of -1 in b
3.257 * [backup-simplify]: Simplify -1 into -1
3.257 * [taylor]: Taking taylor expansion of a in b
3.257 * [backup-simplify]: Simplify a into a
3.257 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
3.257 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.257 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.257 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.257 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.257 * [taylor]: Taking taylor expansion of a in b
3.257 * [backup-simplify]: Simplify a into a
3.257 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.257 * [taylor]: Taking taylor expansion of (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a))) in a
3.257 * [taylor]: Taking taylor expansion of (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)) in a
3.257 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a
3.257 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a
3.257 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a
3.257 * [taylor]: Taking taylor expansion of (/ -1 b) in a
3.257 * [taylor]: Taking taylor expansion of -1 in a
3.257 * [backup-simplify]: Simplify -1 into -1
3.257 * [taylor]: Taking taylor expansion of b in a
3.257 * [backup-simplify]: Simplify b into b
3.257 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
3.257 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.257 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.257 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.257 * [taylor]: Taking taylor expansion of -1 in a
3.257 * [backup-simplify]: Simplify -1 into -1
3.257 * [taylor]: Taking taylor expansion of a in a
3.257 * [backup-simplify]: Simplify 0 into 0
3.257 * [backup-simplify]: Simplify 1 into 1
3.258 * [backup-simplify]: Simplify (/ -1 1) into -1
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 (/ 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.258 * [backup-simplify]: Simplify (/ 1 1) into 1
3.258 * [taylor]: Taking taylor expansion of (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a))) in a
3.258 * [taylor]: Taking taylor expansion of (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)) in 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 -1 in a
3.258 * [backup-simplify]: Simplify -1 into -1
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 -1 in a
3.258 * [backup-simplify]: Simplify -1 into -1
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 (/ 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 (+ 0 1) into 1
3.260 * [backup-simplify]: Simplify (- 1) into -1
3.260 * [taylor]: Taking taylor expansion of -1 in b
3.260 * [backup-simplify]: Simplify -1 into -1
3.260 * [backup-simplify]: Simplify -1 into -1
3.260 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.260 * [backup-simplify]: Simplify (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) 0) 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 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) in b
3.261 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b
3.261 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b
3.261 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b
3.261 * [taylor]: Taking taylor expansion of (/ -1 b) in b
3.261 * [taylor]: Taking taylor expansion of -1 in b
3.261 * [backup-simplify]: Simplify -1 into -1
3.261 * [taylor]: Taking taylor expansion of b in b
3.261 * [backup-simplify]: Simplify 0 into 0
3.261 * [backup-simplify]: Simplify 1 into 1
3.261 * [backup-simplify]: Simplify (/ -1 1) into -1
3.261 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.261 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
3.261 * [taylor]: Taking taylor expansion of (/ -1 a) in b
3.261 * [taylor]: Taking taylor expansion of -1 in b
3.261 * [backup-simplify]: Simplify -1 into -1
3.261 * [taylor]: Taking taylor expansion of a in b
3.261 * [backup-simplify]: Simplify a into a
3.261 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
3.261 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.261 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.262 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.262 * [backup-simplify]: Simplify (- (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) into (- (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))
3.262 * [backup-simplify]: Simplify (- (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) into (- (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))
3.262 * [backup-simplify]: Simplify 0 into 0
3.262 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0
3.262 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0
3.263 * [backup-simplify]: Simplify (+ 0 0) into 0
3.263 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 b)) (exp (/ -1 a))) 1)))) 1) into 0
3.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.264 * [backup-simplify]: Simplify (+ 0 0) into 0
3.264 * [backup-simplify]: Simplify (- 0) into 0
3.264 * [taylor]: Taking taylor expansion of 0 in b
3.264 * [backup-simplify]: Simplify 0 into 0
3.264 * [backup-simplify]: Simplify 0 into 0
3.264 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0
3.265 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
3.265 * [backup-simplify]: Simplify (+ 0 0) into 0
3.266 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 b)) (exp (/ -1 a))) 1)))) 1) into 0
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.267 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.268 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.268 * [backup-simplify]: Simplify (+ 0 0) into 0
3.270 * [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.271 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.272 * [backup-simplify]: Simplify (+ 0 0) into 0
3.272 * [backup-simplify]: Simplify (- 0) into 0
3.272 * [taylor]: Taking taylor expansion of 0 in b
3.272 * [backup-simplify]: Simplify 0 into 0
3.272 * [backup-simplify]: Simplify 0 into 0
3.272 * [backup-simplify]: Simplify 0 into 0
3.273 * [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.273 * * * * [progress]: [ 3 / 4 ] generating series at (2)
3.273 * [backup-simplify]: Simplify (exp (- a (log (+ (exp a) (exp b))))) into (exp (- a (log (+ (exp b) (exp a)))))
3.273 * [approximate]: Taking taylor expansion of (exp (- a (log (+ (exp b) (exp a))))) in (a b) around 0
3.273 * [taylor]: Taking taylor expansion of (exp (- a (log (+ (exp b) (exp a))))) in b
3.273 * [taylor]: Taking taylor expansion of (- a (log (+ (exp b) (exp a)))) in b
3.273 * [taylor]: Taking taylor expansion of a in b
3.273 * [backup-simplify]: Simplify a into a
3.273 * [taylor]: Taking taylor expansion of (log (+ (exp b) (exp a))) in b
3.273 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in b
3.273 * [taylor]: Taking taylor expansion of (exp b) in b
3.273 * [taylor]: Taking taylor expansion of b in b
3.273 * [backup-simplify]: Simplify 0 into 0
3.273 * [backup-simplify]: Simplify 1 into 1
3.273 * [backup-simplify]: Simplify (exp 0) into 1
3.273 * [taylor]: Taking taylor expansion of (exp a) in b
3.273 * [taylor]: Taking taylor expansion of a in b
3.273 * [backup-simplify]: Simplify a into a
3.274 * [backup-simplify]: Simplify (exp a) into (exp a)
3.274 * [backup-simplify]: Simplify (+ 1 (exp a)) into (+ (exp a) 1)
3.274 * [backup-simplify]: Simplify (log (+ (exp a) 1)) into (log (+ 1 (exp a)))
3.274 * [backup-simplify]: Simplify (- (log (+ 1 (exp a)))) into (- (log (+ (exp a) 1)))
3.274 * [backup-simplify]: Simplify (+ a (- (log (+ (exp a) 1)))) into (- a (log (+ 1 (exp a))))
3.274 * [backup-simplify]: Simplify (exp (- a (log (+ 1 (exp a))))) into (exp (- a (log (+ (exp a) 1))))
3.274 * [taylor]: Taking taylor expansion of (exp (- a (log (+ (exp b) (exp a))))) in a
3.274 * [taylor]: Taking taylor expansion of (- a (log (+ (exp b) (exp a)))) in a
3.274 * [taylor]: Taking taylor expansion of a in a
3.274 * [backup-simplify]: Simplify 0 into 0
3.274 * [backup-simplify]: Simplify 1 into 1
3.274 * [taylor]: Taking taylor expansion of (log (+ (exp b) (exp a))) in a
3.274 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in a
3.274 * [taylor]: Taking taylor expansion of (exp b) in a
3.274 * [taylor]: Taking taylor expansion of b in a
3.274 * [backup-simplify]: Simplify b into b
3.274 * [backup-simplify]: Simplify (exp b) into (exp b)
3.275 * [taylor]: Taking taylor expansion of (exp a) in a
3.275 * [taylor]: Taking taylor expansion of a in a
3.275 * [backup-simplify]: Simplify 0 into 0
3.275 * [backup-simplify]: Simplify 1 into 1
3.275 * [backup-simplify]: Simplify (exp 0) into 1
3.275 * [backup-simplify]: Simplify (+ (exp b) 1) into (+ (exp b) 1)
3.275 * [backup-simplify]: Simplify (log (+ (exp b) 1)) into (log (+ (exp b) 1))
3.275 * [backup-simplify]: Simplify (- (log (+ (exp b) 1))) into (- (log (+ (exp b) 1)))
3.275 * [backup-simplify]: Simplify (+ 0 (- (log (+ (exp b) 1)))) into (- (log (+ (exp b) 1)))
3.275 * [backup-simplify]: Simplify (exp (- (log (+ (exp b) 1)))) into (exp (- (log (+ (exp b) 1))))
3.275 * [taylor]: Taking taylor expansion of (exp (- a (log (+ (exp b) (exp a))))) in a
3.275 * [taylor]: Taking taylor expansion of (- a (log (+ (exp b) (exp a)))) in a
3.275 * [taylor]: Taking taylor expansion of a in a
3.275 * [backup-simplify]: Simplify 0 into 0
3.275 * [backup-simplify]: Simplify 1 into 1
3.275 * [taylor]: Taking taylor expansion of (log (+ (exp b) (exp a))) in a
3.275 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in a
3.275 * [taylor]: Taking taylor expansion of (exp b) in a
3.275 * [taylor]: Taking taylor expansion of b in a
3.275 * [backup-simplify]: Simplify b into b
3.276 * [backup-simplify]: Simplify (exp b) into (exp b)
3.276 * [taylor]: Taking taylor expansion of (exp a) in a
3.276 * [taylor]: Taking taylor expansion of a in a
3.276 * [backup-simplify]: Simplify 0 into 0
3.276 * [backup-simplify]: Simplify 1 into 1
3.276 * [backup-simplify]: Simplify (exp 0) into 1
3.276 * [backup-simplify]: Simplify (+ (exp b) 1) into (+ (exp b) 1)
3.276 * [backup-simplify]: Simplify (log (+ (exp b) 1)) into (log (+ (exp b) 1))
3.276 * [backup-simplify]: Simplify (- (log (+ (exp b) 1))) into (- (log (+ (exp b) 1)))
3.276 * [backup-simplify]: Simplify (+ 0 (- (log (+ (exp b) 1)))) into (- (log (+ (exp b) 1)))
3.276 * [backup-simplify]: Simplify (exp (- (log (+ (exp b) 1)))) into (exp (- (log (+ (exp b) 1))))
3.276 * [taylor]: Taking taylor expansion of (exp (- (log (+ (exp b) 1)))) in b
3.276 * [taylor]: Taking taylor expansion of (- (log (+ (exp b) 1))) in b
3.276 * [taylor]: Taking taylor expansion of (log (+ (exp b) 1)) in b
3.276 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b
3.276 * [taylor]: Taking taylor expansion of (exp b) in b
3.276 * [taylor]: Taking taylor expansion of b in b
3.276 * [backup-simplify]: Simplify 0 into 0
3.276 * [backup-simplify]: Simplify 1 into 1
3.277 * [backup-simplify]: Simplify (exp 0) into 1
3.277 * [taylor]: Taking taylor expansion of 1 in b
3.277 * [backup-simplify]: Simplify 1 into 1
3.277 * [backup-simplify]: Simplify (+ 1 1) into 2
3.277 * [backup-simplify]: Simplify (log 2) into (log 2)
3.278 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
3.279 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
3.280 * [backup-simplify]: Simplify (exp (- (log 2))) into (exp (- (log 2)))
3.282 * [backup-simplify]: Simplify (exp (- (log 2))) into (exp (- (log 2)))
3.283 * [backup-simplify]: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0
3.284 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.284 * [backup-simplify]: Simplify (+ 0 1) into 1
3.285 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (+ (exp b) 1) 1)))) 1) into (/ 1 (+ (exp b) 1))
3.285 * [backup-simplify]: Simplify (- (/ 1 (+ (exp b) 1))) into (- (/ 1 (+ (exp b) 1)))
3.285 * [backup-simplify]: Simplify (+ 1 (- (/ 1 (+ (exp b) 1)))) into (- 1 (/ 1 (+ (exp b) 1)))
3.286 * [backup-simplify]: Simplify (* (exp (- (log (+ (exp b) 1)))) (+ (* (/ (pow (- 1 (/ 1 (+ (exp b) 1))) 1) 1)))) into (* (- 1 (/ 1 (+ (exp b) 1))) (exp (- (log (+ (exp b) 1)))))
3.286 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 (+ (exp b) 1))) (exp (- (log (+ (exp b) 1))))) in b
3.286 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (+ (exp b) 1))) in b
3.286 * [taylor]: Taking taylor expansion of 1 in b
3.286 * [backup-simplify]: Simplify 1 into 1
3.286 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b
3.286 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b
3.286 * [taylor]: Taking taylor expansion of (exp b) in b
3.286 * [taylor]: Taking taylor expansion of b in b
3.286 * [backup-simplify]: Simplify 0 into 0
3.286 * [backup-simplify]: Simplify 1 into 1
3.286 * [backup-simplify]: Simplify (exp 0) into 1
3.286 * [taylor]: Taking taylor expansion of 1 in b
3.286 * [backup-simplify]: Simplify 1 into 1
3.287 * [backup-simplify]: Simplify (+ 1 1) into 2
3.287 * [backup-simplify]: Simplify (/ 1 2) into 1/2
3.287 * [taylor]: Taking taylor expansion of (exp (- (log (+ (exp b) 1)))) in b
3.287 * [taylor]: Taking taylor expansion of (- (log (+ (exp b) 1))) in b
3.287 * [taylor]: Taking taylor expansion of (log (+ (exp b) 1)) in b
3.287 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b
3.287 * [taylor]: Taking taylor expansion of (exp b) in b
3.287 * [taylor]: Taking taylor expansion of b in b
3.287 * [backup-simplify]: Simplify 0 into 0
3.287 * [backup-simplify]: Simplify 1 into 1
3.287 * [backup-simplify]: Simplify (exp 0) into 1
3.287 * [taylor]: Taking taylor expansion of 1 in b
3.287 * [backup-simplify]: Simplify 1 into 1
3.288 * [backup-simplify]: Simplify (+ 1 1) into 2
3.288 * [backup-simplify]: Simplify (log 2) into (log 2)
3.289 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
3.290 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
3.291 * [backup-simplify]: Simplify (exp (- (log 2))) into (exp (- (log 2)))
3.291 * [backup-simplify]: Simplify (- 1/2) into -1/2
3.292 * [backup-simplify]: Simplify (+ 1 -1/2) into 1/2
3.294 * [backup-simplify]: Simplify (* 1/2 (exp (- (log 2)))) into (* 1/2 (exp (- (log 2))))
3.296 * [backup-simplify]: Simplify (* 1/2 (exp (- (log 2)))) into (* 1/2 (exp (- (log 2))))
3.296 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
3.297 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.298 * [backup-simplify]: Simplify (+ 1 0) into 1
3.299 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2
3.299 * [backup-simplify]: Simplify (- 1/2) into -1/2
3.303 * [backup-simplify]: Simplify (* (exp (- (log 2))) (+ (* (/ (pow -1/2 1) 1)))) into (* -1/2 (exp (- (log 2))))
3.305 * [backup-simplify]: Simplify (* -1/2 (exp (- (log 2)))) into (* -1/2 (exp (- (log 2))))
3.310 * [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 (* (exp (- (log 2))) a))) (* 1/2 (* (exp (- (log 2))) b)))
3.311 * [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.311 * [approximate]: Taking taylor expansion of (exp (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) in (a b) around 0
3.311 * [taylor]: Taking taylor expansion of (exp (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) in b
3.311 * [taylor]: Taking taylor expansion of (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) in b
3.311 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.311 * [taylor]: Taking taylor expansion of a in b
3.311 * [backup-simplify]: Simplify a into a
3.311 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.311 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b
3.311 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b
3.311 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b
3.311 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.311 * [taylor]: Taking taylor expansion of b in b
3.311 * [backup-simplify]: Simplify 0 into 0
3.311 * [backup-simplify]: Simplify 1 into 1
3.312 * [backup-simplify]: Simplify (/ 1 1) into 1
3.312 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.312 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
3.312 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.312 * [taylor]: Taking taylor expansion of a in b
3.312 * [backup-simplify]: Simplify a into a
3.312 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.312 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.312 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.312 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.313 * [backup-simplify]: Simplify (- (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) into (- (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))
3.313 * [backup-simplify]: Simplify (+ (/ 1 a) (- (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) into (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))
3.313 * [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.313 * [taylor]: Taking taylor expansion of (exp (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) in a
3.313 * [taylor]: Taking taylor expansion of (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) in a
3.313 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.313 * [taylor]: Taking taylor expansion of a in a
3.313 * [backup-simplify]: Simplify 0 into 0
3.313 * [backup-simplify]: Simplify 1 into 1
3.314 * [backup-simplify]: Simplify (/ 1 1) into 1
3.314 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a
3.314 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a
3.314 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a
3.314 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.314 * [taylor]: Taking taylor expansion of b in a
3.314 * [backup-simplify]: Simplify b into b
3.314 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.314 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.314 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.314 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.314 * [taylor]: Taking taylor expansion of a in a
3.314 * [backup-simplify]: Simplify 0 into 0
3.314 * [backup-simplify]: Simplify 1 into 1
3.314 * [backup-simplify]: Simplify (/ 1 1) into 1
3.314 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.315 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.315 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.315 * [backup-simplify]: Simplify (+ 1 0) into 1
3.316 * [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.316 * [taylor]: Taking taylor expansion of (exp (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) in a
3.316 * [taylor]: Taking taylor expansion of (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) in a
3.316 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.316 * [taylor]: Taking taylor expansion of a in a
3.316 * [backup-simplify]: Simplify 0 into 0
3.316 * [backup-simplify]: Simplify 1 into 1
3.316 * [backup-simplify]: Simplify (/ 1 1) into 1
3.316 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a
3.316 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a
3.316 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a
3.316 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.316 * [taylor]: Taking taylor expansion of b in a
3.316 * [backup-simplify]: Simplify b into b
3.316 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.317 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.317 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.317 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.317 * [taylor]: Taking taylor expansion of a in a
3.317 * [backup-simplify]: Simplify 0 into 0
3.317 * [backup-simplify]: Simplify 1 into 1
3.317 * [backup-simplify]: Simplify (/ 1 1) into 1
3.317 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.317 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.317 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.318 * [backup-simplify]: Simplify (+ 1 0) into 1
3.318 * [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.318 * [taylor]: Taking taylor expansion of (exp (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) in b
3.318 * [taylor]: Taking taylor expansion of (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) in b
3.318 * [taylor]: Taking taylor expansion of (/ 1 a) in b
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 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b
3.318 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b
3.318 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b
3.319 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.319 * [taylor]: Taking taylor expansion of b in b
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 b)) into (exp (/ 1 b))
3.319 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
3.319 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.319 * [taylor]: Taking taylor expansion of a in b
3.319 * [backup-simplify]: Simplify a into a
3.319 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
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.320 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a))))
3.320 * [backup-simplify]: Simplify (- (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) into (- (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))
3.320 * [backup-simplify]: Simplify (+ (/ 1 a) (- (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) into (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))
3.320 * [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.321 * [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.321 * [taylor]: Taking taylor expansion of 0 in b
3.321 * [backup-simplify]: Simplify 0 into 0
3.321 * [backup-simplify]: Simplify 0 into 0
3.321 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
3.321 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
3.322 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
3.322 * [backup-simplify]: Simplify (+ 0 0) into 0
3.323 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 b)) (exp (/ 1 a))) 1)))) 1) into 0
3.324 * [backup-simplify]: Simplify (- 0) into 0
3.324 * [backup-simplify]: Simplify (+ 0 0) into 0
3.325 * [backup-simplify]: Simplify (* (exp (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0
3.325 * [backup-simplify]: Simplify 0 into 0
3.325 * [taylor]: Taking taylor expansion of 0 in b
3.325 * [backup-simplify]: Simplify 0 into 0
3.325 * [backup-simplify]: Simplify 0 into 0
3.325 * [backup-simplify]: Simplify 0 into 0
3.325 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
3.326 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
3.327 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.327 * [backup-simplify]: Simplify (+ 0 0) into 0
3.329 * [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.330 * [backup-simplify]: Simplify (- 0) into 0
3.330 * [backup-simplify]: Simplify (+ 0 0) into 0
3.332 * [backup-simplify]: Simplify (* (exp (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.332 * [backup-simplify]: Simplify 0 into 0
3.332 * [taylor]: Taking taylor expansion of 0 in b
3.332 * [backup-simplify]: Simplify 0 into 0
3.332 * [backup-simplify]: Simplify 0 into 0
3.332 * [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.332 * [backup-simplify]: Simplify (exp (- (/ 1 (- a)) (log (+ (exp (/ 1 (- a))) (exp (/ 1 (- b))))))) into (exp (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a))))
3.332 * [approximate]: Taking taylor expansion of (exp (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)))) in (a b) around 0
3.332 * [taylor]: Taking taylor expansion of (exp (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)))) in b
3.333 * [taylor]: Taking taylor expansion of (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a))) in b
3.333 * [taylor]: Taking taylor expansion of (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)) in b
3.333 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b
3.333 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b
3.333 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b
3.333 * [taylor]: Taking taylor expansion of (/ -1 b) in b
3.333 * [taylor]: Taking taylor expansion of -1 in b
3.333 * [backup-simplify]: Simplify -1 into -1
3.333 * [taylor]: Taking taylor expansion of b in b
3.333 * [backup-simplify]: Simplify 0 into 0
3.333 * [backup-simplify]: Simplify 1 into 1
3.333 * [backup-simplify]: Simplify (/ -1 1) into -1
3.333 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.333 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
3.333 * [taylor]: Taking taylor expansion of (/ -1 a) in b
3.333 * [taylor]: Taking taylor expansion of -1 in b
3.333 * [backup-simplify]: Simplify -1 into -1
3.333 * [taylor]: Taking taylor expansion of a in b
3.333 * [backup-simplify]: Simplify a into a
3.333 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
3.334 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.334 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.334 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.334 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.334 * [taylor]: Taking taylor expansion of a in b
3.334 * [backup-simplify]: Simplify a into a
3.334 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.334 * [backup-simplify]: Simplify (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)) into (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a))
3.334 * [backup-simplify]: Simplify (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a))) into (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)))
3.335 * [backup-simplify]: Simplify (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a))) into (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)))
3.335 * [backup-simplify]: Simplify (exp (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)))) into (exp (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a))))
3.335 * [taylor]: Taking taylor expansion of (exp (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)))) in a
3.335 * [taylor]: Taking taylor expansion of (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a))) in a
3.335 * [taylor]: Taking taylor expansion of (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)) in a
3.335 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a
3.335 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a
3.335 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a
3.335 * [taylor]: Taking taylor expansion of (/ -1 b) in a
3.335 * [taylor]: Taking taylor expansion of -1 in a
3.335 * [backup-simplify]: Simplify -1 into -1
3.335 * [taylor]: Taking taylor expansion of b in a
3.335 * [backup-simplify]: Simplify b into b
3.335 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
3.335 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.335 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.335 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.336 * [taylor]: Taking taylor expansion of -1 in a
3.336 * [backup-simplify]: Simplify -1 into -1
3.336 * [taylor]: Taking taylor expansion of a in a
3.336 * [backup-simplify]: Simplify 0 into 0
3.336 * [backup-simplify]: Simplify 1 into 1
3.336 * [backup-simplify]: Simplify (/ -1 1) into -1
3.336 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.336 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.336 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.336 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.337 * [taylor]: Taking taylor expansion of a in a
3.337 * [backup-simplify]: Simplify 0 into 0
3.337 * [backup-simplify]: Simplify 1 into 1
3.337 * [backup-simplify]: Simplify (/ 1 1) into 1
3.337 * [backup-simplify]: Simplify (+ 0 1) into 1
3.338 * [backup-simplify]: Simplify (- 1) into -1
3.338 * [backup-simplify]: Simplify (exp (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)))) into (exp (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a))))
3.338 * [taylor]: Taking taylor expansion of (exp (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)))) in a
3.338 * [taylor]: Taking taylor expansion of (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a))) in a
3.338 * [taylor]: Taking taylor expansion of (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)) in a
3.338 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a
3.338 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a
3.338 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a
3.338 * [taylor]: Taking taylor expansion of (/ -1 b) in a
3.338 * [taylor]: Taking taylor expansion of -1 in a
3.338 * [backup-simplify]: Simplify -1 into -1
3.338 * [taylor]: Taking taylor expansion of b in a
3.338 * [backup-simplify]: Simplify b into b
3.338 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
3.338 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.338 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.338 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.338 * [taylor]: Taking taylor expansion of -1 in a
3.338 * [backup-simplify]: Simplify -1 into -1
3.338 * [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 (/ -1 1) into -1
3.339 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.339 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.339 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.339 * [taylor]: Taking taylor expansion of (/ 1 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.340 * [backup-simplify]: Simplify (/ 1 1) into 1
3.340 * [backup-simplify]: Simplify (+ 0 1) into 1
3.341 * [backup-simplify]: Simplify (- 1) into -1
3.341 * [backup-simplify]: Simplify (exp (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)))) into (exp (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a))))
3.341 * [taylor]: Taking taylor expansion of (exp (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)))) in b
3.341 * [taylor]: Taking taylor expansion of (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a))) in b
3.341 * [taylor]: Taking taylor expansion of (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)) in b
3.341 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b
3.341 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b
3.341 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b
3.341 * [taylor]: Taking taylor expansion of (/ -1 b) in b
3.341 * [taylor]: Taking taylor expansion of -1 in b
3.341 * [backup-simplify]: Simplify -1 into -1
3.341 * [taylor]: Taking taylor expansion of b in b
3.341 * [backup-simplify]: Simplify 0 into 0
3.341 * [backup-simplify]: Simplify 1 into 1
3.342 * [backup-simplify]: Simplify (/ -1 1) into -1
3.342 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.342 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
3.342 * [taylor]: Taking taylor expansion of (/ -1 a) in b
3.342 * [taylor]: Taking taylor expansion of -1 in b
3.342 * [backup-simplify]: Simplify -1 into -1
3.342 * [taylor]: Taking taylor expansion of a in b
3.342 * [backup-simplify]: Simplify a into a
3.342 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
3.342 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.342 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.342 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a))))
3.342 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.343 * [taylor]: Taking taylor expansion of a in b
3.343 * [backup-simplify]: Simplify a into a
3.343 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.343 * [backup-simplify]: Simplify (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)) into (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a))
3.343 * [backup-simplify]: Simplify (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a))) into (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)))
3.343 * [backup-simplify]: Simplify (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a))) into (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)))
3.344 * [backup-simplify]: Simplify (exp (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)))) into (exp (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a))))
3.344 * [backup-simplify]: Simplify (exp (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)))) into (exp (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a))))
3.344 * [taylor]: Taking taylor expansion of 0 in b
3.344 * [backup-simplify]: Simplify 0 into 0
3.344 * [backup-simplify]: Simplify 0 into 0
3.345 * [backup-simplify]: Simplify (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a))) into (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)))
3.345 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0
3.346 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
3.346 * [backup-simplify]: Simplify (+ 0 0) into 0
3.347 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 b)) (exp (/ -1 a))) 1)))) 1) into 0
3.347 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
3.355 * [backup-simplify]: Simplify (+ 0 0) into 0
3.356 * [backup-simplify]: Simplify (- 0) into 0
3.358 * [backup-simplify]: Simplify (* (exp (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)))) (+ (* (/ (pow 0 1) 1)))) into 0
3.358 * [backup-simplify]: Simplify 0 into 0
3.358 * [taylor]: Taking taylor expansion of 0 in b
3.358 * [backup-simplify]: Simplify 0 into 0
3.358 * [backup-simplify]: Simplify 0 into 0
3.358 * [backup-simplify]: Simplify 0 into 0
3.358 * [backup-simplify]: Simplify (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a))) into (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)))
3.359 * [backup-simplify]: Simplify (- 0) into 0
3.359 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
3.361 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.361 * [backup-simplify]: Simplify (+ 0 0) into 0
3.363 * [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.364 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
3.364 * [backup-simplify]: Simplify (+ 0 0) into 0
3.364 * [backup-simplify]: Simplify (- 0) into 0
3.366 * [backup-simplify]: Simplify (* (exp (- (+ (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 1 a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.366 * [backup-simplify]: Simplify 0 into 0
3.366 * [taylor]: Taking taylor expansion of 0 in b
3.367 * [backup-simplify]: Simplify 0 into 0
3.367 * [backup-simplify]: Simplify 0 into 0
3.367 * [backup-simplify]: Simplify (exp (- (+ (log (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a)))))) (/ 1 (/ 1 (- a)))))) into (exp (- a (log (+ (exp b) (exp a)))))
3.367 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
3.367 * [backup-simplify]: Simplify (+ (exp a) (exp b)) into (+ (exp b) (exp a))
3.367 * [approximate]: Taking taylor expansion of (+ (exp b) (exp a)) in (a b) around 0
3.367 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in b
3.367 * [taylor]: Taking taylor expansion of (exp b) in b
3.367 * [taylor]: Taking taylor expansion of b in b
3.367 * [backup-simplify]: Simplify 0 into 0
3.367 * [backup-simplify]: Simplify 1 into 1
3.367 * [backup-simplify]: Simplify (exp 0) into 1
3.367 * [taylor]: Taking taylor expansion of (exp a) in b
3.367 * [taylor]: Taking taylor expansion of a in b
3.368 * [backup-simplify]: Simplify a into a
3.368 * [backup-simplify]: Simplify (exp a) into (exp a)
3.368 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in a
3.368 * [taylor]: Taking taylor expansion of (exp b) in a
3.368 * [taylor]: Taking taylor expansion of b in a
3.368 * [backup-simplify]: Simplify b into b
3.368 * [backup-simplify]: Simplify (exp b) into (exp b)
3.368 * [taylor]: Taking taylor expansion of (exp a) in a
3.368 * [taylor]: Taking taylor expansion of a in a
3.368 * [backup-simplify]: Simplify 0 into 0
3.368 * [backup-simplify]: Simplify 1 into 1
3.368 * [backup-simplify]: Simplify (exp 0) into 1
3.368 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in a
3.368 * [taylor]: Taking taylor expansion of (exp b) in a
3.368 * [taylor]: Taking taylor expansion of b in a
3.368 * [backup-simplify]: Simplify b into b
3.368 * [backup-simplify]: Simplify (exp b) into (exp b)
3.368 * [taylor]: Taking taylor expansion of (exp a) in a
3.368 * [taylor]: Taking taylor expansion of a in a
3.368 * [backup-simplify]: Simplify 0 into 0
3.368 * [backup-simplify]: Simplify 1 into 1
3.368 * [backup-simplify]: Simplify (exp 0) into 1
3.368 * [backup-simplify]: Simplify (+ (exp b) 1) into (+ (exp b) 1)
3.368 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b
3.368 * [taylor]: Taking taylor expansion of (exp b) in b
3.368 * [taylor]: Taking taylor expansion of b in b
3.368 * [backup-simplify]: Simplify 0 into 0
3.368 * [backup-simplify]: Simplify 1 into 1
3.368 * [backup-simplify]: Simplify (exp 0) into 1
3.368 * [taylor]: Taking taylor expansion of 1 in b
3.368 * [backup-simplify]: Simplify 1 into 1
3.369 * [backup-simplify]: Simplify (+ 1 1) into 2
3.369 * [backup-simplify]: Simplify 2 into 2
3.370 * [backup-simplify]: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0
3.371 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.372 * [backup-simplify]: Simplify (+ 0 1) into 1
3.372 * [taylor]: Taking taylor expansion of 1 in b
3.372 * [backup-simplify]: Simplify 1 into 1
3.372 * [backup-simplify]: Simplify 1 into 1
3.373 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.373 * [backup-simplify]: Simplify (+ 1 0) into 1
3.373 * [backup-simplify]: Simplify 1 into 1
3.373 * [backup-simplify]: Simplify (+ (* 1 (* b 1)) (+ (* 1 (* 1 a)) 2)) into (+ a (+ b 2))
3.374 * [backup-simplify]: Simplify (+ (exp (/ 1 a)) (exp (/ 1 b))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.374 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in (a b) around 0
3.374 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b
3.374 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b
3.374 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.374 * [taylor]: Taking taylor expansion of b in b
3.374 * [backup-simplify]: Simplify 0 into 0
3.374 * [backup-simplify]: Simplify 1 into 1
3.374 * [backup-simplify]: Simplify (/ 1 1) into 1
3.374 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.374 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
3.374 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.374 * [taylor]: Taking taylor expansion of a in b
3.375 * [backup-simplify]: Simplify a into a
3.375 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.375 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.375 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a
3.375 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a
3.375 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.375 * [taylor]: Taking taylor expansion of b in a
3.375 * [backup-simplify]: Simplify b into b
3.375 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.375 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.375 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.375 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.375 * [taylor]: Taking taylor expansion of a in a
3.375 * [backup-simplify]: Simplify 0 into 0
3.375 * [backup-simplify]: Simplify 1 into 1
3.375 * [backup-simplify]: Simplify (/ 1 1) into 1
3.376 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.376 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a
3.376 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a
3.376 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.376 * [taylor]: Taking taylor expansion of b in a
3.376 * [backup-simplify]: Simplify b into b
3.376 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.376 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.376 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.376 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.376 * [taylor]: Taking taylor expansion of a in a
3.376 * [backup-simplify]: Simplify 0 into 0
3.376 * [backup-simplify]: Simplify 1 into 1
3.376 * [backup-simplify]: Simplify (/ 1 1) into 1
3.376 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.377 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.377 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b
3.377 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b
3.377 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.377 * [taylor]: Taking taylor expansion of b in b
3.377 * [backup-simplify]: Simplify 0 into 0
3.377 * [backup-simplify]: Simplify 1 into 1
3.377 * [backup-simplify]: Simplify (/ 1 1) into 1
3.377 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b))
3.377 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b
3.377 * [taylor]: Taking taylor expansion of (/ 1 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 (/ 1 a) into (/ 1 a)
3.378 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
3.378 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.378 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a)))
3.378 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
3.379 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0
3.380 * [backup-simplify]: Simplify (+ 0 0) into 0
3.380 * [taylor]: Taking taylor expansion of 0 in b
3.380 * [backup-simplify]: Simplify 0 into 0
3.380 * [backup-simplify]: Simplify 0 into 0
3.380 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
3.381 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
3.381 * [backup-simplify]: Simplify (+ 0 0) into 0
3.381 * [backup-simplify]: Simplify 0 into 0
3.381 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.383 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.383 * [backup-simplify]: Simplify (+ 0 0) into 0
3.383 * [taylor]: Taking taylor expansion of 0 in b
3.383 * [backup-simplify]: Simplify 0 into 0
3.383 * [backup-simplify]: Simplify 0 into 0
3.383 * [backup-simplify]: Simplify 0 into 0
3.384 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
3.385 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.385 * [backup-simplify]: Simplify (+ 0 0) into 0
3.385 * [backup-simplify]: Simplify 0 into 0
3.386 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.387 * [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.388 * [backup-simplify]: Simplify (+ 0 0) into 0
3.388 * [taylor]: Taking taylor expansion of 0 in b
3.388 * [backup-simplify]: Simplify 0 into 0
3.388 * [backup-simplify]: Simplify 0 into 0
3.388 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a)))) into (+ (exp b) (exp a))
3.388 * [backup-simplify]: Simplify (+ (exp (/ 1 (- a))) (exp (/ 1 (- b)))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.388 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in (a b) around 0
3.388 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b
3.388 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b
3.388 * [taylor]: Taking taylor expansion of (/ -1 b) in b
3.388 * [taylor]: Taking taylor expansion of -1 in b
3.388 * [backup-simplify]: Simplify -1 into -1
3.388 * [taylor]: Taking taylor expansion of b in b
3.388 * [backup-simplify]: Simplify 0 into 0
3.389 * [backup-simplify]: Simplify 1 into 1
3.389 * [backup-simplify]: Simplify (/ -1 1) into -1
3.389 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.389 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
3.389 * [taylor]: Taking taylor expansion of (/ -1 a) in b
3.389 * [taylor]: Taking taylor expansion of -1 in b
3.389 * [backup-simplify]: Simplify -1 into -1
3.389 * [taylor]: Taking taylor expansion of a in b
3.389 * [backup-simplify]: Simplify a into a
3.389 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
3.389 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.389 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a
3.389 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a
3.389 * [taylor]: Taking taylor expansion of (/ -1 b) in a
3.390 * [taylor]: Taking taylor expansion of -1 in a
3.390 * [backup-simplify]: Simplify -1 into -1
3.390 * [taylor]: Taking taylor expansion of b in a
3.390 * [backup-simplify]: Simplify b into b
3.390 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
3.390 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.390 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.390 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.390 * [taylor]: Taking taylor expansion of -1 in a
3.390 * [backup-simplify]: Simplify -1 into -1
3.390 * [taylor]: Taking taylor expansion of a in a
3.390 * [backup-simplify]: Simplify 0 into 0
3.390 * [backup-simplify]: Simplify 1 into 1
3.390 * [backup-simplify]: Simplify (/ -1 1) into -1
3.390 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.390 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a
3.390 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a
3.391 * [taylor]: Taking taylor expansion of (/ -1 b) in a
3.391 * [taylor]: Taking taylor expansion of -1 in a
3.391 * [backup-simplify]: Simplify -1 into -1
3.391 * [taylor]: Taking taylor expansion of b in a
3.391 * [backup-simplify]: Simplify b into b
3.391 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
3.391 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.391 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.391 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.391 * [taylor]: Taking taylor expansion of -1 in a
3.391 * [backup-simplify]: Simplify -1 into -1
3.391 * [taylor]: Taking taylor expansion of a in a
3.391 * [backup-simplify]: Simplify 0 into 0
3.391 * [backup-simplify]: Simplify 1 into 1
3.391 * [backup-simplify]: Simplify (/ -1 1) into -1
3.391 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.392 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.392 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b
3.392 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b
3.392 * [taylor]: Taking taylor expansion of (/ -1 b) in b
3.392 * [taylor]: Taking taylor expansion of -1 in b
3.392 * [backup-simplify]: Simplify -1 into -1
3.392 * [taylor]: Taking taylor expansion of b in b
3.392 * [backup-simplify]: Simplify 0 into 0
3.392 * [backup-simplify]: Simplify 1 into 1
3.392 * [backup-simplify]: Simplify (/ -1 1) into -1
3.392 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b))
3.392 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b
3.392 * [taylor]: Taking taylor expansion of (/ -1 a) in b
3.392 * [taylor]: Taking taylor expansion of -1 in b
3.392 * [backup-simplify]: Simplify -1 into -1
3.392 * [taylor]: Taking taylor expansion of a in b
3.393 * [backup-simplify]: Simplify a into a
3.393 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
3.393 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
3.393 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.393 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a)))
3.393 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0
3.394 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0
3.394 * [backup-simplify]: Simplify (+ 0 0) into 0
3.394 * [taylor]: Taking taylor expansion of 0 in b
3.394 * [backup-simplify]: Simplify 0 into 0
3.394 * [backup-simplify]: Simplify 0 into 0
3.395 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0
3.395 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0
3.396 * [backup-simplify]: Simplify (+ 0 0) into 0
3.396 * [backup-simplify]: Simplify 0 into 0
3.396 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.398 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.398 * [backup-simplify]: Simplify (+ 0 0) into 0
3.398 * [taylor]: Taking taylor expansion of 0 in b
3.398 * [backup-simplify]: Simplify 0 into 0
3.398 * [backup-simplify]: Simplify 0 into 0
3.398 * [backup-simplify]: Simplify 0 into 0
3.399 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
3.400 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.401 * [backup-simplify]: Simplify (+ 0 0) into 0
3.401 * [backup-simplify]: Simplify 0 into 0
3.401 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.403 * [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.403 * [backup-simplify]: Simplify (+ 0 0) into 0
3.403 * [taylor]: Taking taylor expansion of 0 in b
3.403 * [backup-simplify]: Simplify 0 into 0
3.403 * [backup-simplify]: Simplify 0 into 0
3.403 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a))))) into (+ (exp b) (exp a))
3.404 * * * [progress]: simplifying candidates
3.405 * [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 (* (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))))))
  (* (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/2 a) (+ (log 2) (* 1/2 b)))
  (log (+ (exp b) (exp a)))
  (log (+ (exp b) (exp a)))
  (- (* 1/2 a) (+ (log 2) (* 1/2 b)))
  (- a (log (+ (exp b) (exp a))))
  (- a (log (+ (exp b) (exp a))))
  (- (+ (exp (- (log 2))) (* 1/2 (* (exp (- (log 2))) a))) (* 1/2 (* (exp (- (log 2))) b)))
  (exp (- a (log (+ (exp b) (exp a)))))
  (exp (- a (log (+ (exp b) (exp a)))))
  (+ a (+ b 2))
  (+ (exp b) (exp a))
  (+ (exp b) (exp a))
3.406 * * [simplify]: Extracting # 0 : cost  0
3.406 * * [simplify]: Extracting # 1 : cost  0
3.406 * * [simplify]: Extracting # 2 : cost  0
3.407 * * [simplify]: Extracting # 3 : cost  0
3.407 * * [simplify]: Extracting # 4 : cost  0
3.407 * * [simplify]: Extracting # 5 : cost  0
3.407 * * [simplify]: Extracting # 6 : cost  0
3.407 * * [simplify]: Extracting # 7 : cost  0
3.407 * * [simplify]: iteration  0 :  107  enodes  (cost  890 )
3.429 * * [simplify]: Extracting # 0 : cost  0
3.429 * * [simplify]: Extracting # 1 : cost  0
3.430 * * [simplify]: Extracting # 2 : cost  0
3.430 * * [simplify]: Extracting # 3 : cost  0
3.430 * * [simplify]: Extracting # 4 : cost  0
3.430 * * [simplify]: Extracting # 5 : cost  0
3.431 * * [simplify]: iteration  1 :  234  enodes  (cost  819 )
3.500 * * [simplify]: Extracting # 0 : cost  0
3.501 * * [simplify]: Extracting # 1 : cost  0
3.501 * * [simplify]: Extracting # 2 : cost  0
3.502 * * [simplify]: Extracting # 3 : cost  0
3.502 * * [simplify]: Extracting # 4 : cost  0
3.503 * * [simplify]: iteration  2 :  480  enodes  (cost  746 )
3.693 * * [simplify]: Extracting # 0 : cost  0
3.694 * * [simplify]: Extracting # 1 : cost  0
3.695 * * [simplify]: Extracting # 2 : cost  0
3.696 * * [simplify]: Extracting # 3 : cost  0
3.697 * * [simplify]: iteration  3 :  936  enodes  (cost  742 )
4.090 * * [simplify]: Extracting # 0 : cost  0
4.093 * * [simplify]: Extracting # 1 : cost  0
4.096 * * [simplify]: Extracting # 2 : cost  0
4.098 * * [simplify]: Extracting # 3 : cost  0
4.102 * * [simplify]: Extracting # 4 : cost  0
4.107 * * [simplify]: Extracting # 5 : cost  0
4.111 * * [simplify]: iteration  4 :  2100  enodes  (cost  742 )
5.452 * * [simplify]: Extracting # 0 : cost  0
5.463 * * [simplify]: Extracting # 1 : cost  0
5.472 * * [simplify]: Extracting # 2 : cost  0
5.481 * * [simplify]: Extracting # 3 : cost  0
5.489 * * [simplify]: Extracting # 4 : cost  0
5.498 * * [simplify]: iteration done:  5000  enodes  (cost  742 )
5.499 * [simplify]: Simplified to:
  (* 2 (log (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 b) (exp a)))
  0
  (log (+ (exp b) (exp a)))
  (log (+ (pow (exp a) 3) (pow (exp b) 3)))
  (log (+ (* (exp b) (- (exp b) (exp a))) (exp (+ a a))))
  (log (- (exp (+ a a)) (exp (+ b b))))
  (log (- (exp a) (exp b)))
  (log (+ (exp b) (exp a)))
  (log (log (+ (exp a) (exp b))))
  (+ (exp b) (exp a))
  (* (cbrt (log (+ (exp a) (exp b)))) (cbrt (log (+ (exp a) (exp b)))))
  (cbrt (log (+ (exp a) (exp b))))
  (pow (log (+ (exp a) (exp b))) 3)
  (sqrt (log (+ (exp a) (exp b))))
  (sqrt (log (+ (exp a) (exp b))))
  (/ (exp a) (+ (exp b) (exp a)))
  (log (- a (log (+ (exp a) (exp b)))))
  (/ (exp a) (+ (exp b) (exp a)))
  (* (cbrt (- a (log (+ (exp a) (exp b))))) (cbrt (- a (log (+ (exp a) (exp b))))))
  (cbrt (- a (log (+ (exp a) (exp b)))))
  (pow (- a (log (+ (exp a) (exp b)))) 3)
  (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))) (+ 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 b) (exp a))))
  (- a (log (+ (exp b) (exp a))))
  (- a (* 2 (log (cbrt (+ (exp a) (exp b))))))
  (- a (log (sqrt (+ (exp a) (exp b)))))
  a
  a
  (- a (log (+ (pow (exp a) 3) (pow (exp b) 3))))
  (- a (log (- (exp (+ a a)) (exp (+ b b)))))
  (- (log (+ (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))))))
  E
  (exp (+ (sqrt a) (sqrt (log (+ (exp a) (exp b))))))
  E
  E
  (exp a)
  (/ 1 (+ (exp b) (exp a)))
  (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3)))
  (+ (* (exp b) (- (exp b) (exp a))) (exp (+ a a)))
  (/ (exp a) (- (exp (+ a a)) (exp (+ b b))))
  (- (exp a) (exp b))
  (exp a)
  (/ 1 (+ (exp b) (exp a)))
  (exp a)
  (+ (exp b) (exp a))
  (- a (log (+ (exp b) (exp a))))
  (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))))
  (pow (/ (exp a) (+ (exp a) (exp b))) 3)
  (sqrt (/ (exp a) (+ (exp a) (exp b))))
  (sqrt (/ (exp a) (+ (exp a) (exp b))))
  (exp (+ (exp a) (exp b)))
  (log (+ (exp b) (exp a)))
  (exp (+ (exp a) (exp b)))
  (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))
  (cbrt (+ (exp a) (exp b)))
  (pow (+ (exp b) (exp a)) 3)
  (sqrt (+ (exp a) (exp b)))
  (sqrt (+ (exp a) (exp b)))
  (+ (pow (exp a) 3) (pow (exp b) 3))
  (+ (* (exp b) (- (exp b) (exp a))) (exp (+ a a)))
  (- (exp (+ a a)) (exp (+ b b)))
  (- (exp a) (exp b))
  (+ (exp b) (exp a))
  (+ (log 2) (* 1/2 (+ a b)))
  (log (+ (exp b) (exp a)))
  (log (+ (exp b) (exp a)))
  (- (* 1/2 (- a b)) (log 2))
  (- a (log (+ (exp b) (exp a))))
  (- a (log (+ (exp b) (exp a))))
  (+ 1/2 (* 1/4 (- a b)))
  (/ (exp a) (+ (exp b) (exp a)))
  (/ (exp a) (+ (exp b) (exp a)))
  (+ a (+ b 2))
  (+ (exp b) (exp a))
  (+ (exp b) (exp a))
5.500 * * * [progress]: adding candidates to table
5.884 * * [progress]: iteration 3 / 4
5.884 * * * [progress]: picking best candidate
5.890 * * * * [pick]: Picked  #<alt (λ (a b) (exp (- (* 1/2 (- a b)) (log 2))))>
5.890 * * * [progress]: localizing error
5.908 * * * [progress]: generating rewritten candidates
5.908 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
5.935 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
5.983 * * * [progress]: generating series expansions
5.983 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
5.985 * [backup-simplify]: Simplify (- (* 1/2 (- a b)) (log 2)) into (- (* 1/2 a) (+ (log 2) (* 1/2 b)))
5.985 * [approximate]: Taking taylor expansion of (- (* 1/2 a) (+ (log 2) (* 1/2 b))) in (a b) around 0
5.985 * [taylor]: Taking taylor expansion of (- (* 1/2 a) (+ (log 2) (* 1/2 b))) in b
5.985 * [taylor]: Taking taylor expansion of (* 1/2 a) in b
5.985 * [taylor]: Taking taylor expansion of 1/2 in b
5.985 * [backup-simplify]: Simplify 1/2 into 1/2
5.985 * [taylor]: Taking taylor expansion of a in b
5.985 * [backup-simplify]: Simplify a into a
5.985 * [taylor]: Taking taylor expansion of (+ (log 2) (* 1/2 b)) in b
5.985 * [taylor]: Taking taylor expansion of (log 2) in b
5.985 * [taylor]: Taking taylor expansion of 2 in b
5.985 * [backup-simplify]: Simplify 2 into 2
5.985 * [backup-simplify]: Simplify (log 2) into (log 2)
5.985 * [taylor]: Taking taylor expansion of (* 1/2 b) in b
5.985 * [taylor]: Taking taylor expansion of 1/2 in b
5.985 * [backup-simplify]: Simplify 1/2 into 1/2
5.985 * [taylor]: Taking taylor expansion of b in b
5.985 * [backup-simplify]: Simplify 0 into 0
5.985 * [backup-simplify]: Simplify 1 into 1
5.985 * [taylor]: Taking taylor expansion of (- (* 1/2 a) (+ (log 2) (* 1/2 b))) in a
5.985 * [taylor]: Taking taylor expansion of (* 1/2 a) in a
5.985 * [taylor]: Taking taylor expansion of 1/2 in a
5.985 * [backup-simplify]: Simplify 1/2 into 1/2
5.986 * [taylor]: Taking taylor expansion of a in a
5.986 * [backup-simplify]: Simplify 0 into 0
5.986 * [backup-simplify]: Simplify 1 into 1
5.986 * [taylor]: Taking taylor expansion of (+ (log 2) (* 1/2 b)) in a
5.986 * [taylor]: Taking taylor expansion of (log 2) in a
5.986 * [taylor]: Taking taylor expansion of 2 in a
5.986 * [backup-simplify]: Simplify 2 into 2
5.986 * [backup-simplify]: Simplify (log 2) into (log 2)
5.986 * [taylor]: Taking taylor expansion of (* 1/2 b) in a
5.986 * [taylor]: Taking taylor expansion of 1/2 in a
5.986 * [backup-simplify]: Simplify 1/2 into 1/2
5.986 * [taylor]: Taking taylor expansion of b in a
5.986 * [backup-simplify]: Simplify b into b
5.986 * [taylor]: Taking taylor expansion of (- (* 1/2 a) (+ (log 2) (* 1/2 b))) in a
5.986 * [taylor]: Taking taylor expansion of (* 1/2 a) in a
5.986 * [taylor]: Taking taylor expansion of 1/2 in a
5.986 * [backup-simplify]: Simplify 1/2 into 1/2
5.986 * [taylor]: Taking taylor expansion of a in a
5.986 * [backup-simplify]: Simplify 0 into 0
5.986 * [backup-simplify]: Simplify 1 into 1
5.986 * [taylor]: Taking taylor expansion of (+ (log 2) (* 1/2 b)) in a
5.986 * [taylor]: Taking taylor expansion of (log 2) in a
5.986 * [taylor]: Taking taylor expansion of 2 in a
5.986 * [backup-simplify]: Simplify 2 into 2
5.986 * [backup-simplify]: Simplify (log 2) into (log 2)
5.986 * [taylor]: Taking taylor expansion of (* 1/2 b) in a
5.986 * [taylor]: Taking taylor expansion of 1/2 in a
5.987 * [backup-simplify]: Simplify 1/2 into 1/2
5.987 * [taylor]: Taking taylor expansion of b in a
5.987 * [backup-simplify]: Simplify b into b
5.987 * [backup-simplify]: Simplify (* 1/2 0) into 0
5.987 * [backup-simplify]: Simplify (* 1/2 b) into (* 1/2 b)
5.987 * [backup-simplify]: Simplify (+ (log 2) (* 1/2 b)) into (+ (log 2) (* 1/2 b))
5.988 * [backup-simplify]: Simplify (- (+ (log 2) (* 1/2 b))) into (- (+ (log 2) (* 1/2 b)))
5.988 * [backup-simplify]: Simplify (+ 0 (- (+ (log 2) (* 1/2 b)))) into (- (+ (log 2) (* 1/2 b)))
5.988 * [taylor]: Taking taylor expansion of (- (+ (log 2) (* 1/2 b))) in b
5.988 * [taylor]: Taking taylor expansion of (+ (log 2) (* 1/2 b)) in b
5.988 * [taylor]: Taking taylor expansion of (log 2) in b
5.988 * [taylor]: Taking taylor expansion of 2 in b
5.988 * [backup-simplify]: Simplify 2 into 2
5.988 * [backup-simplify]: Simplify (log 2) into (log 2)
5.988 * [taylor]: Taking taylor expansion of (* 1/2 b) in b
5.988 * [taylor]: Taking taylor expansion of 1/2 in b
5.989 * [backup-simplify]: Simplify 1/2 into 1/2
5.989 * [taylor]: Taking taylor expansion of b in b
5.989 * [backup-simplify]: Simplify 0 into 0
5.989 * [backup-simplify]: Simplify 1 into 1
5.989 * [backup-simplify]: Simplify (* 1/2 0) into 0
5.989 * [backup-simplify]: Simplify (+ (log 2) 0) into (log 2)
5.990 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
5.991 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
5.991 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
5.992 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 2 1)))) 1) into 0
5.993 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 b)) into 0
5.993 * [backup-simplify]: Simplify (+ 0 0) into 0
5.993 * [backup-simplify]: Simplify (- 0) into 0
5.993 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
5.993 * [taylor]: Taking taylor expansion of 1/2 in b
5.993 * [backup-simplify]: Simplify 1/2 into 1/2
5.993 * [backup-simplify]: Simplify 1/2 into 1/2
5.994 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 2 1)))) 1) into 0
5.995 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
5.995 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
5.995 * [backup-simplify]: Simplify (- 1/2) into -1/2
5.995 * [backup-simplify]: Simplify -1/2 into -1/2
5.996 * [backup-simplify]: Simplify (+ (* -1/2 (* b 1)) (+ (* 1/2 (* 1 a)) (- (log 2)))) into (- (* 1/2 a) (+ (log 2) (* 1/2 b)))
5.996 * [backup-simplify]: Simplify (- (* 1/2 (- (/ 1 a) (/ 1 b))) (log 2)) into (- (* 1/2 (/ 1 a)) (+ (log 2) (* 1/2 (/ 1 b))))
5.996 * [approximate]: Taking taylor expansion of (- (* 1/2 (/ 1 a)) (+ (log 2) (* 1/2 (/ 1 b)))) in (a b) around 0
5.996 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 a)) (+ (log 2) (* 1/2 (/ 1 b)))) in b
5.996 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 a)) in b
5.996 * [taylor]: Taking taylor expansion of 1/2 in b
5.996 * [backup-simplify]: Simplify 1/2 into 1/2
5.996 * [taylor]: Taking taylor expansion of (/ 1 a) in b
5.996 * [taylor]: Taking taylor expansion of a in b
5.996 * [backup-simplify]: Simplify a into a
5.997 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
5.997 * [taylor]: Taking taylor expansion of (+ (log 2) (* 1/2 (/ 1 b))) in b
5.997 * [taylor]: Taking taylor expansion of (log 2) in b
5.997 * [taylor]: Taking taylor expansion of 2 in b
5.997 * [backup-simplify]: Simplify 2 into 2
5.997 * [backup-simplify]: Simplify (log 2) into (log 2)
5.997 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 b)) in b
5.997 * [taylor]: Taking taylor expansion of 1/2 in b
5.997 * [backup-simplify]: Simplify 1/2 into 1/2
5.997 * [taylor]: Taking taylor expansion of (/ 1 b) in b
5.997 * [taylor]: Taking taylor expansion of b in b
5.997 * [backup-simplify]: Simplify 0 into 0
5.997 * [backup-simplify]: Simplify 1 into 1
5.997 * [backup-simplify]: Simplify (/ 1 1) into 1
5.997 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 a)) (+ (log 2) (* 1/2 (/ 1 b)))) in a
5.997 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 a)) in a
5.997 * [taylor]: Taking taylor expansion of 1/2 in a
5.997 * [backup-simplify]: Simplify 1/2 into 1/2
5.997 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.997 * [taylor]: Taking taylor expansion of a in a
5.997 * [backup-simplify]: Simplify 0 into 0
5.997 * [backup-simplify]: Simplify 1 into 1
5.998 * [backup-simplify]: Simplify (/ 1 1) into 1
5.998 * [taylor]: Taking taylor expansion of (+ (log 2) (* 1/2 (/ 1 b))) in a
5.998 * [taylor]: Taking taylor expansion of (log 2) in a
5.998 * [taylor]: Taking taylor expansion of 2 in a
5.998 * [backup-simplify]: Simplify 2 into 2
5.998 * [backup-simplify]: Simplify (log 2) into (log 2)
5.998 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 b)) in a
5.998 * [taylor]: Taking taylor expansion of 1/2 in a
5.998 * [backup-simplify]: Simplify 1/2 into 1/2
5.998 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.998 * [taylor]: Taking taylor expansion of b in a
5.998 * [backup-simplify]: Simplify b into b
5.998 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
5.998 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 a)) (+ (log 2) (* 1/2 (/ 1 b)))) in a
5.998 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 a)) in a
5.998 * [taylor]: Taking taylor expansion of 1/2 in a
5.998 * [backup-simplify]: Simplify 1/2 into 1/2
5.998 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.998 * [taylor]: Taking taylor expansion of a in a
5.998 * [backup-simplify]: Simplify 0 into 0
5.998 * [backup-simplify]: Simplify 1 into 1
5.998 * [backup-simplify]: Simplify (/ 1 1) into 1
5.998 * [taylor]: Taking taylor expansion of (+ (log 2) (* 1/2 (/ 1 b))) in a
5.998 * [taylor]: Taking taylor expansion of (log 2) in a
5.999 * [taylor]: Taking taylor expansion of 2 in a
5.999 * [backup-simplify]: Simplify 2 into 2
5.999 * [backup-simplify]: Simplify (log 2) into (log 2)
5.999 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 b)) in a
5.999 * [taylor]: Taking taylor expansion of 1/2 in a
5.999 * [backup-simplify]: Simplify 1/2 into 1/2
5.999 * [taylor]: Taking taylor expansion of (/ 1 b) in a
5.999 * [taylor]: Taking taylor expansion of b in a
5.999 * [backup-simplify]: Simplify b into b
5.999 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
5.999 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
6.000 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
6.000 * [taylor]: Taking taylor expansion of 1/2 in b
6.000 * [backup-simplify]: Simplify 1/2 into 1/2
6.000 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.000 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0
6.001 * [backup-simplify]: Simplify (* 1/2 (/ 1 b)) into (/ 1/2 b)
6.001 * [backup-simplify]: Simplify (+ (log 2) (/ 1/2 b)) into (+ (log 2) (* 1/2 (/ 1 b)))
6.001 * [backup-simplify]: Simplify (- (+ (log 2) (* 1/2 (/ 1 b)))) into (- (+ (log 2) (* 1/2 (/ 1 b))))
6.002 * [backup-simplify]: Simplify (+ 0 (- (+ (log 2) (* 1/2 (/ 1 b))))) into (- (+ (log 2) (* 1/2 (/ 1 b))))
6.002 * [taylor]: Taking taylor expansion of (- (+ (log 2) (* 1/2 (/ 1 b)))) in b
6.002 * [taylor]: Taking taylor expansion of (+ (log 2) (* 1/2 (/ 1 b))) in b
6.002 * [taylor]: Taking taylor expansion of (log 2) in b
6.002 * [taylor]: Taking taylor expansion of 2 in b
6.002 * [backup-simplify]: Simplify 2 into 2
6.002 * [backup-simplify]: Simplify (log 2) into (log 2)
6.002 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 b)) in b
6.002 * [taylor]: Taking taylor expansion of 1/2 in b
6.002 * [backup-simplify]: Simplify 1/2 into 1/2
6.002 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.002 * [taylor]: Taking taylor expansion of b in b
6.002 * [backup-simplify]: Simplify 0 into 0
6.002 * [backup-simplify]: Simplify 1 into 1
6.002 * [backup-simplify]: Simplify (/ 1 1) into 1
6.003 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
6.003 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
6.003 * [backup-simplify]: Simplify (- 1/2) into -1/2
6.003 * [backup-simplify]: Simplify -1/2 into -1/2
6.003 * [backup-simplify]: Simplify 1/2 into 1/2
6.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.004 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0
6.005 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 2 1)))) 1) into 0
6.005 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
6.006 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (/ 1 b))) into 0
6.006 * [backup-simplify]: Simplify (+ 0 0) into 0
6.006 * [backup-simplify]: Simplify (- 0) into 0
6.006 * [backup-simplify]: Simplify (+ 0 0) into 0
6.006 * [taylor]: Taking taylor expansion of 0 in b
6.006 * [backup-simplify]: Simplify 0 into 0
6.007 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.007 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0
6.008 * [backup-simplify]: Simplify (+ (log 2) 0) into (log 2)
6.008 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
6.009 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
6.010 * [backup-simplify]: Simplify (+ (- (log 2)) (+ (* 1/2 (* 1 (/ 1 (/ 1 a)))) (* -1/2 (* (/ 1 (/ 1 b)) 1)))) into (- (* 1/2 a) (+ (log 2) (* 1/2 b)))
6.010 * [backup-simplify]: Simplify (- (* 1/2 (- (/ 1 (- a)) (/ 1 (- b)))) (log 2)) into (- (* 1/2 (/ 1 b)) (+ (log 2) (* 1/2 (/ 1 a))))
6.010 * [approximate]: Taking taylor expansion of (- (* 1/2 (/ 1 b)) (+ (log 2) (* 1/2 (/ 1 a)))) in (a b) around 0
6.010 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 b)) (+ (log 2) (* 1/2 (/ 1 a)))) in b
6.010 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 b)) in b
6.010 * [taylor]: Taking taylor expansion of 1/2 in b
6.010 * [backup-simplify]: Simplify 1/2 into 1/2
6.010 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.010 * [taylor]: Taking taylor expansion of b in b
6.010 * [backup-simplify]: Simplify 0 into 0
6.010 * [backup-simplify]: Simplify 1 into 1
6.010 * [backup-simplify]: Simplify (/ 1 1) into 1
6.010 * [taylor]: Taking taylor expansion of (+ (log 2) (* 1/2 (/ 1 a))) in b
6.010 * [taylor]: Taking taylor expansion of (log 2) in b
6.010 * [taylor]: Taking taylor expansion of 2 in b
6.011 * [backup-simplify]: Simplify 2 into 2
6.011 * [backup-simplify]: Simplify (log 2) into (log 2)
6.011 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 a)) in b
6.011 * [taylor]: Taking taylor expansion of 1/2 in b
6.011 * [backup-simplify]: Simplify 1/2 into 1/2
6.011 * [taylor]: Taking taylor expansion of (/ 1 a) in b
6.011 * [taylor]: Taking taylor expansion of a in b
6.011 * [backup-simplify]: Simplify a into a
6.011 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.011 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 b)) (+ (log 2) (* 1/2 (/ 1 a)))) in a
6.011 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 b)) in a
6.011 * [taylor]: Taking taylor expansion of 1/2 in a
6.011 * [backup-simplify]: Simplify 1/2 into 1/2
6.011 * [taylor]: Taking taylor expansion of (/ 1 b) in a
6.011 * [taylor]: Taking taylor expansion of b in a
6.011 * [backup-simplify]: Simplify b into b
6.011 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
6.011 * [taylor]: Taking taylor expansion of (+ (log 2) (* 1/2 (/ 1 a))) in a
6.011 * [taylor]: Taking taylor expansion of (log 2) in a
6.011 * [taylor]: Taking taylor expansion of 2 in a
6.011 * [backup-simplify]: Simplify 2 into 2
6.011 * [backup-simplify]: Simplify (log 2) into (log 2)
6.011 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 a)) in a
6.011 * [taylor]: Taking taylor expansion of 1/2 in a
6.011 * [backup-simplify]: Simplify 1/2 into 1/2
6.012 * [taylor]: Taking taylor expansion of (/ 1 a) in a
6.012 * [taylor]: Taking taylor expansion of a in a
6.012 * [backup-simplify]: Simplify 0 into 0
6.012 * [backup-simplify]: Simplify 1 into 1
6.012 * [backup-simplify]: Simplify (/ 1 1) into 1
6.012 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 b)) (+ (log 2) (* 1/2 (/ 1 a)))) in a
6.012 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 b)) in a
6.012 * [taylor]: Taking taylor expansion of 1/2 in a
6.012 * [backup-simplify]: Simplify 1/2 into 1/2
6.012 * [taylor]: Taking taylor expansion of (/ 1 b) in a
6.012 * [taylor]: Taking taylor expansion of b in a
6.012 * [backup-simplify]: Simplify b into b
6.012 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
6.012 * [taylor]: Taking taylor expansion of (+ (log 2) (* 1/2 (/ 1 a))) in a
6.012 * [taylor]: Taking taylor expansion of (log 2) in a
6.012 * [taylor]: Taking taylor expansion of 2 in a
6.012 * [backup-simplify]: Simplify 2 into 2
6.012 * [backup-simplify]: Simplify (log 2) into (log 2)
6.012 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 a)) in a
6.012 * [taylor]: Taking taylor expansion of 1/2 in a
6.012 * [backup-simplify]: Simplify 1/2 into 1/2
6.012 * [taylor]: Taking taylor expansion of (/ 1 a) in a
6.012 * [taylor]: Taking taylor expansion of a in a
6.012 * [backup-simplify]: Simplify 0 into 0
6.012 * [backup-simplify]: Simplify 1 into 1
6.013 * [backup-simplify]: Simplify (/ 1 1) into 1
6.013 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
6.013 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
6.013 * [backup-simplify]: Simplify (- 1/2) into -1/2
6.014 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2
6.014 * [taylor]: Taking taylor expansion of -1/2 in b
6.014 * [backup-simplify]: Simplify -1/2 into -1/2
6.014 * [backup-simplify]: Simplify (* 1/2 (/ 1 b)) into (/ 1/2 b)
6.014 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.015 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0
6.016 * [backup-simplify]: Simplify (+ (log 2) 0) into (log 2)
6.016 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
6.017 * [backup-simplify]: Simplify (+ (/ 1/2 b) (- (log 2))) into (- (* 1/2 (/ 1 b)) (log 2))
6.017 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 b)) (log 2)) in b
6.017 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 b)) in b
6.017 * [taylor]: Taking taylor expansion of 1/2 in b
6.017 * [backup-simplify]: Simplify 1/2 into 1/2
6.017 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.017 * [taylor]: Taking taylor expansion of b in b
6.017 * [backup-simplify]: Simplify 0 into 0
6.017 * [backup-simplify]: Simplify 1 into 1
6.017 * [backup-simplify]: Simplify (/ 1 1) into 1
6.017 * [taylor]: Taking taylor expansion of (log 2) in b
6.017 * [taylor]: Taking taylor expansion of 2 in b
6.017 * [backup-simplify]: Simplify 2 into 2
6.018 * [backup-simplify]: Simplify (log 2) into (log 2)
6.018 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
6.018 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
6.018 * [backup-simplify]: Simplify 1/2 into 1/2
6.018 * [backup-simplify]: Simplify -1/2 into -1/2
6.019 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
6.019 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (/ 1 b))) into 0
6.020 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 2 1)))) 1) into 0
6.020 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.021 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0
6.021 * [backup-simplify]: Simplify (+ 0 0) into 0
6.021 * [backup-simplify]: Simplify (- 0) into 0
6.021 * [backup-simplify]: Simplify (+ 0 0) into 0
6.021 * [taylor]: Taking taylor expansion of 0 in b
6.022 * [backup-simplify]: Simplify 0 into 0
6.022 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.022 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0
6.023 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
6.024 * [backup-simplify]: Simplify (+ 0 (- (log 2))) into (- (log 2))
6.024 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
6.025 * [backup-simplify]: Simplify (+ (- (log 2)) (+ (* -1/2 (* 1 (/ 1 (/ 1 (- a))))) (* 1/2 (* (/ 1 (/ 1 (- b))) 1)))) into (- (* 1/2 a) (+ (log 2) (* 1/2 b)))
6.025 * * * * [progress]: [ 2 / 2 ] generating series at (2)
6.026 * [backup-simplify]: Simplify (exp (- (* 1/2 (- a b)) (log 2))) into (exp (- (* 1/2 a) (+ (log 2) (* 1/2 b))))
6.026 * [approximate]: Taking taylor expansion of (exp (- (* 1/2 a) (+ (log 2) (* 1/2 b)))) in (a b) around 0
6.026 * [taylor]: Taking taylor expansion of (exp (- (* 1/2 a) (+ (log 2) (* 1/2 b)))) in b
6.026 * [taylor]: Taking taylor expansion of (- (* 1/2 a) (+ (log 2) (* 1/2 b))) in b
6.026 * [taylor]: Taking taylor expansion of (* 1/2 a) in b
6.026 * [taylor]: Taking taylor expansion of 1/2 in b
6.026 * [backup-simplify]: Simplify 1/2 into 1/2
6.026 * [taylor]: Taking taylor expansion of a in b
6.026 * [backup-simplify]: Simplify a into a
6.026 * [taylor]: Taking taylor expansion of (+ (log 2) (* 1/2 b)) in b
6.026 * [taylor]: Taking taylor expansion of (log 2) in b
6.026 * [taylor]: Taking taylor expansion of 2 in b
6.026 * [backup-simplify]: Simplify 2 into 2
6.026 * [backup-simplify]: Simplify (log 2) into (log 2)
6.026 * [taylor]: Taking taylor expansion of (* 1/2 b) in b
6.026 * [taylor]: Taking taylor expansion of 1/2 in b
6.026 * [backup-simplify]: Simplify 1/2 into 1/2
6.026 * [taylor]: Taking taylor expansion of b in b
6.026 * [backup-simplify]: Simplify 0 into 0
6.026 * [backup-simplify]: Simplify 1 into 1
6.026 * [backup-simplify]: Simplify (* 1/2 a) into (* 1/2 a)
6.027 * [backup-simplify]: Simplify (* 1/2 0) into 0
6.027 * [backup-simplify]: Simplify (+ (log 2) 0) into (log 2)
6.028 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
6.028 * [backup-simplify]: Simplify (+ (* 1/2 a) (- (log 2))) into (- (* 1/2 a) (log 2))
6.028 * [backup-simplify]: Simplify (exp (- (* 1/2 a) (log 2))) into (exp (- (* 1/2 a) (log 2)))
6.028 * [taylor]: Taking taylor expansion of (exp (- (* 1/2 a) (+ (log 2) (* 1/2 b)))) in a
6.029 * [taylor]: Taking taylor expansion of (- (* 1/2 a) (+ (log 2) (* 1/2 b))) in a
6.029 * [taylor]: Taking taylor expansion of (* 1/2 a) in a
6.029 * [taylor]: Taking taylor expansion of 1/2 in a
6.029 * [backup-simplify]: Simplify 1/2 into 1/2
6.029 * [taylor]: Taking taylor expansion of a in a
6.029 * [backup-simplify]: Simplify 0 into 0
6.029 * [backup-simplify]: Simplify 1 into 1
6.029 * [taylor]: Taking taylor expansion of (+ (log 2) (* 1/2 b)) in a
6.029 * [taylor]: Taking taylor expansion of (log 2) in a
6.029 * [taylor]: Taking taylor expansion of 2 in a
6.029 * [backup-simplify]: Simplify 2 into 2
6.029 * [backup-simplify]: Simplify (log 2) into (log 2)
6.029 * [taylor]: Taking taylor expansion of (* 1/2 b) in a
6.029 * [taylor]: Taking taylor expansion of 1/2 in a
6.029 * [backup-simplify]: Simplify 1/2 into 1/2
6.029 * [taylor]: Taking taylor expansion of b in a
6.029 * [backup-simplify]: Simplify b into b
6.029 * [backup-simplify]: Simplify (* 1/2 0) into 0
6.029 * [backup-simplify]: Simplify (* 1/2 b) into (* 1/2 b)
6.030 * [backup-simplify]: Simplify (+ (log 2) (* 1/2 b)) into (+ (log 2) (* 1/2 b))
6.030 * [backup-simplify]: Simplify (- (+ (log 2) (* 1/2 b))) into (- (+ (log 2) (* 1/2 b)))
6.030 * [backup-simplify]: Simplify (+ 0 (- (+ (log 2) (* 1/2 b)))) into (- (+ (log 2) (* 1/2 b)))
6.031 * [backup-simplify]: Simplify (exp (- (+ (log 2) (* 1/2 b)))) into (exp (- (+ (log 2) (* 1/2 b))))
6.031 * [taylor]: Taking taylor expansion of (exp (- (* 1/2 a) (+ (log 2) (* 1/2 b)))) in a
6.031 * [taylor]: Taking taylor expansion of (- (* 1/2 a) (+ (log 2) (* 1/2 b))) in a
6.031 * [taylor]: Taking taylor expansion of (* 1/2 a) in a
6.031 * [taylor]: Taking taylor expansion of 1/2 in a
6.031 * [backup-simplify]: Simplify 1/2 into 1/2
6.031 * [taylor]: Taking taylor expansion of a in a
6.031 * [backup-simplify]: Simplify 0 into 0
6.031 * [backup-simplify]: Simplify 1 into 1
6.031 * [taylor]: Taking taylor expansion of (+ (log 2) (* 1/2 b)) in a
6.031 * [taylor]: Taking taylor expansion of (log 2) in a
6.031 * [taylor]: Taking taylor expansion of 2 in a
6.031 * [backup-simplify]: Simplify 2 into 2
6.031 * [backup-simplify]: Simplify (log 2) into (log 2)
6.031 * [taylor]: Taking taylor expansion of (* 1/2 b) in a
6.031 * [taylor]: Taking taylor expansion of 1/2 in a
6.031 * [backup-simplify]: Simplify 1/2 into 1/2
6.031 * [taylor]: Taking taylor expansion of b in a
6.031 * [backup-simplify]: Simplify b into b
6.031 * [backup-simplify]: Simplify (* 1/2 0) into 0
6.031 * [backup-simplify]: Simplify (* 1/2 b) into (* 1/2 b)
6.032 * [backup-simplify]: Simplify (+ (log 2) (* 1/2 b)) into (+ (log 2) (* 1/2 b))
6.032 * [backup-simplify]: Simplify (- (+ (log 2) (* 1/2 b))) into (- (+ (log 2) (* 1/2 b)))
6.032 * [backup-simplify]: Simplify (+ 0 (- (+ (log 2) (* 1/2 b)))) into (- (+ (log 2) (* 1/2 b)))
6.033 * [backup-simplify]: Simplify (exp (- (+ (log 2) (* 1/2 b)))) into (exp (- (+ (log 2) (* 1/2 b))))
6.033 * [taylor]: Taking taylor expansion of (exp (- (+ (log 2) (* 1/2 b)))) in b
6.033 * [taylor]: Taking taylor expansion of (- (+ (log 2) (* 1/2 b))) in b
6.033 * [taylor]: Taking taylor expansion of (+ (log 2) (* 1/2 b)) in b
6.033 * [taylor]: Taking taylor expansion of (log 2) in b
6.033 * [taylor]: Taking taylor expansion of 2 in b
6.033 * [backup-simplify]: Simplify 2 into 2
6.033 * [backup-simplify]: Simplify (log 2) into (log 2)
6.033 * [taylor]: Taking taylor expansion of (* 1/2 b) in b
6.033 * [taylor]: Taking taylor expansion of 1/2 in b
6.033 * [backup-simplify]: Simplify 1/2 into 1/2
6.033 * [taylor]: Taking taylor expansion of b in b
6.033 * [backup-simplify]: Simplify 0 into 0
6.033 * [backup-simplify]: Simplify 1 into 1
6.034 * [backup-simplify]: Simplify (* 1/2 0) into 0
6.034 * [backup-simplify]: Simplify (+ (log 2) 0) into (log 2)
6.035 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
6.035 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
6.036 * [backup-simplify]: Simplify (exp (- (log 2))) into (exp (- (log 2)))
6.037 * [backup-simplify]: Simplify (exp (- (log 2))) into (exp (- (log 2)))
6.037 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
6.038 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 2 1)))) 1) into 0
6.038 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 b)) into 0
6.039 * [backup-simplify]: Simplify (+ 0 0) into 0
6.039 * [backup-simplify]: Simplify (- 0) into 0
6.039 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
6.041 * [backup-simplify]: Simplify (* (exp (- (+ (log 2) (* 1/2 b)))) (+ (* (/ (pow 1/2 1) 1)))) into (* 1/2 (exp (- (+ (log 2) (* 1/2 b)))))
6.041 * [taylor]: Taking taylor expansion of (* 1/2 (exp (- (+ (log 2) (* 1/2 b))))) in b
6.041 * [taylor]: Taking taylor expansion of 1/2 in b
6.041 * [backup-simplify]: Simplify 1/2 into 1/2
6.041 * [taylor]: Taking taylor expansion of (exp (- (+ (log 2) (* 1/2 b)))) in b
6.041 * [taylor]: Taking taylor expansion of (- (+ (log 2) (* 1/2 b))) in b
6.041 * [taylor]: Taking taylor expansion of (+ (log 2) (* 1/2 b)) in b
6.041 * [taylor]: Taking taylor expansion of (log 2) in b
6.041 * [taylor]: Taking taylor expansion of 2 in b
6.041 * [backup-simplify]: Simplify 2 into 2
6.042 * [backup-simplify]: Simplify (log 2) into (log 2)
6.042 * [taylor]: Taking taylor expansion of (* 1/2 b) in b
6.042 * [taylor]: Taking taylor expansion of 1/2 in b
6.042 * [backup-simplify]: Simplify 1/2 into 1/2
6.042 * [taylor]: Taking taylor expansion of b in b
6.042 * [backup-simplify]: Simplify 0 into 0
6.042 * [backup-simplify]: Simplify 1 into 1
6.042 * [backup-simplify]: Simplify (* 1/2 0) into 0
6.043 * [backup-simplify]: Simplify (+ (log 2) 0) into (log 2)
6.044 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
6.045 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
6.047 * [backup-simplify]: Simplify (exp (- (log 2))) into (exp (- (log 2)))
6.049 * [backup-simplify]: Simplify (* 1/2 (exp (- (log 2)))) into (* 1/2 (exp (- (log 2))))
6.052 * [backup-simplify]: Simplify (* 1/2 (exp (- (log 2)))) into (* 1/2 (exp (- (log 2))))
6.053 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2))
6.055 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 2 1)))) 1) into 0
6.055 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2
6.056 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
6.056 * [backup-simplify]: Simplify (- 1/2) into -1/2
6.060 * [backup-simplify]: Simplify (* (exp (- (log 2))) (+ (* (/ (pow -1/2 1) 1)))) into (* -1/2 (exp (- (log 2))))
6.069 * [backup-simplify]: Simplify (* -1/2 (exp (- (log 2)))) into (* -1/2 (exp (- (log 2))))
6.076 * [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 (* (exp (- (log 2))) a))) (* 1/2 (* (exp (- (log 2))) b)))
6.077 * [backup-simplify]: Simplify (exp (- (* 1/2 (- (/ 1 a) (/ 1 b))) (log 2))) into (exp (- (* 1/2 (/ 1 a)) (+ (log 2) (* 1/2 (/ 1 b)))))
6.077 * [approximate]: Taking taylor expansion of (exp (- (* 1/2 (/ 1 a)) (+ (log 2) (* 1/2 (/ 1 b))))) in (a b) around 0
6.078 * [taylor]: Taking taylor expansion of (exp (- (* 1/2 (/ 1 a)) (+ (log 2) (* 1/2 (/ 1 b))))) in b
6.078 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 a)) (+ (log 2) (* 1/2 (/ 1 b)))) in b
6.078 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 a)) in b
6.078 * [taylor]: Taking taylor expansion of 1/2 in b
6.078 * [backup-simplify]: Simplify 1/2 into 1/2
6.078 * [taylor]: Taking taylor expansion of (/ 1 a) in b
6.078 * [taylor]: Taking taylor expansion of a in b
6.078 * [backup-simplify]: Simplify a into a
6.078 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.078 * [taylor]: Taking taylor expansion of (+ (log 2) (* 1/2 (/ 1 b))) in b
6.078 * [taylor]: Taking taylor expansion of (log 2) in b
6.078 * [taylor]: Taking taylor expansion of 2 in b
6.078 * [backup-simplify]: Simplify 2 into 2
6.078 * [backup-simplify]: Simplify (log 2) into (log 2)
6.079 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 b)) in b
6.079 * [taylor]: Taking taylor expansion of 1/2 in b
6.079 * [backup-simplify]: Simplify 1/2 into 1/2
6.079 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.079 * [taylor]: Taking taylor expansion of b in b
6.079 * [backup-simplify]: Simplify 0 into 0
6.079 * [backup-simplify]: Simplify 1 into 1
6.079 * [backup-simplify]: Simplify (/ 1 1) into 1
6.080 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
6.081 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
6.081 * [backup-simplify]: Simplify (- 1/2) into -1/2
6.082 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2
6.083 * [backup-simplify]: Simplify (exp (- (* 1/2 (/ 1 a)) (+ (log 2) (* 1/2 (/ 1 b))))) into (exp (- (* 1/2 (/ 1 a)) (+ (log 2) (* 1/2 (/ 1 b)))))
6.083 * [taylor]: Taking taylor expansion of (exp (- (* 1/2 (/ 1 a)) (+ (log 2) (* 1/2 (/ 1 b))))) in a
6.083 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 a)) (+ (log 2) (* 1/2 (/ 1 b)))) in a
6.083 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 a)) in a
6.083 * [taylor]: Taking taylor expansion of 1/2 in a
6.083 * [backup-simplify]: Simplify 1/2 into 1/2
6.083 * [taylor]: Taking taylor expansion of (/ 1 a) in a
6.083 * [taylor]: Taking taylor expansion of a in a
6.083 * [backup-simplify]: Simplify 0 into 0
6.083 * [backup-simplify]: Simplify 1 into 1
6.084 * [backup-simplify]: Simplify (/ 1 1) into 1
6.084 * [taylor]: Taking taylor expansion of (+ (log 2) (* 1/2 (/ 1 b))) in a
6.084 * [taylor]: Taking taylor expansion of (log 2) in a
6.084 * [taylor]: Taking taylor expansion of 2 in a
6.084 * [backup-simplify]: Simplify 2 into 2
6.085 * [backup-simplify]: Simplify (log 2) into (log 2)
6.085 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 b)) in a
6.085 * [taylor]: Taking taylor expansion of 1/2 in a
6.085 * [backup-simplify]: Simplify 1/2 into 1/2
6.085 * [taylor]: Taking taylor expansion of (/ 1 b) in a
6.085 * [taylor]: Taking taylor expansion of b in a
6.085 * [backup-simplify]: Simplify b into b
6.085 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
6.085 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
6.086 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
6.087 * [backup-simplify]: Simplify (exp (- (* 1/2 (/ 1 a)) (+ (log 2) (* 1/2 (/ 1 b))))) into (exp (- (* 1/2 (/ 1 a)) (+ (log 2) (* 1/2 (/ 1 b)))))
6.087 * [taylor]: Taking taylor expansion of (exp (- (* 1/2 (/ 1 a)) (+ (log 2) (* 1/2 (/ 1 b))))) in a
6.087 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 a)) (+ (log 2) (* 1/2 (/ 1 b)))) in a
6.087 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 a)) in a
6.087 * [taylor]: Taking taylor expansion of 1/2 in a
6.087 * [backup-simplify]: Simplify 1/2 into 1/2
6.087 * [taylor]: Taking taylor expansion of (/ 1 a) in a
6.087 * [taylor]: Taking taylor expansion of a in a
6.087 * [backup-simplify]: Simplify 0 into 0
6.087 * [backup-simplify]: Simplify 1 into 1
6.087 * [backup-simplify]: Simplify (/ 1 1) into 1
6.088 * [taylor]: Taking taylor expansion of (+ (log 2) (* 1/2 (/ 1 b))) in a
6.088 * [taylor]: Taking taylor expansion of (log 2) in a
6.088 * [taylor]: Taking taylor expansion of 2 in a
6.088 * [backup-simplify]: Simplify 2 into 2
6.088 * [backup-simplify]: Simplify (log 2) into (log 2)
6.088 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 b)) in a
6.088 * [taylor]: Taking taylor expansion of 1/2 in a
6.088 * [backup-simplify]: Simplify 1/2 into 1/2
6.088 * [taylor]: Taking taylor expansion of (/ 1 b) in a
6.088 * [taylor]: Taking taylor expansion of b in a
6.088 * [backup-simplify]: Simplify b into b
6.088 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
6.089 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
6.089 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
6.090 * [backup-simplify]: Simplify (exp (- (* 1/2 (/ 1 a)) (+ (log 2) (* 1/2 (/ 1 b))))) into (exp (- (* 1/2 (/ 1 a)) (+ (log 2) (* 1/2 (/ 1 b)))))
6.090 * [taylor]: Taking taylor expansion of (exp (- (* 1/2 (/ 1 a)) (+ (log 2) (* 1/2 (/ 1 b))))) in b
6.090 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 a)) (+ (log 2) (* 1/2 (/ 1 b)))) in b
6.090 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 a)) in b
6.090 * [taylor]: Taking taylor expansion of 1/2 in b
6.090 * [backup-simplify]: Simplify 1/2 into 1/2
6.090 * [taylor]: Taking taylor expansion of (/ 1 a) in b
6.090 * [taylor]: Taking taylor expansion of a in b
6.090 * [backup-simplify]: Simplify a into a
6.091 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.091 * [taylor]: Taking taylor expansion of (+ (log 2) (* 1/2 (/ 1 b))) in b
6.091 * [taylor]: Taking taylor expansion of (log 2) in b
6.091 * [taylor]: Taking taylor expansion of 2 in b
6.091 * [backup-simplify]: Simplify 2 into 2
6.091 * [backup-simplify]: Simplify (log 2) into (log 2)
6.091 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 b)) in b
6.091 * [taylor]: Taking taylor expansion of 1/2 in b
6.091 * [backup-simplify]: Simplify 1/2 into 1/2
6.091 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.091 * [taylor]: Taking taylor expansion of b in b
6.091 * [backup-simplify]: Simplify 0 into 0
6.091 * [backup-simplify]: Simplify 1 into 1
6.092 * [backup-simplify]: Simplify (/ 1 1) into 1
6.092 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
6.093 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
6.093 * [backup-simplify]: Simplify (- 1/2) into -1/2
6.093 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2
6.094 * [backup-simplify]: Simplify (exp (- (* 1/2 (/ 1 a)) (+ (log 2) (* 1/2 (/ 1 b))))) into (exp (- (* 1/2 (/ 1 a)) (+ (log 2) (* 1/2 (/ 1 b)))))
6.095 * [backup-simplify]: Simplify (exp (- (* 1/2 (/ 1 a)) (+ (log 2) (* 1/2 (/ 1 b))))) into (exp (- (* 1/2 (/ 1 a)) (+ (log 2) (* 1/2 (/ 1 b)))))
6.095 * [taylor]: Taking taylor expansion of 0 in b
6.095 * [backup-simplify]: Simplify 0 into 0
6.095 * [backup-simplify]: Simplify 0 into 0
6.095 * [backup-simplify]: Simplify 0 into 0
6.095 * [taylor]: Taking taylor expansion of 0 in b
6.095 * [backup-simplify]: Simplify 0 into 0
6.095 * [backup-simplify]: Simplify 0 into 0
6.095 * [backup-simplify]: Simplify 0 into 0
6.095 * [backup-simplify]: Simplify 0 into 0
6.095 * [taylor]: Taking taylor expansion of 0 in b
6.095 * [backup-simplify]: Simplify 0 into 0
6.095 * [backup-simplify]: Simplify 0 into 0
6.096 * [backup-simplify]: Simplify (exp (- (* 1/2 (/ 1 (/ 1 a))) (+ (log 2) (* 1/2 (/ 1 (/ 1 b)))))) into (exp (- (* 1/2 a) (+ (log 2) (* 1/2 b))))
6.097 * [backup-simplify]: Simplify (exp (- (* 1/2 (- (/ 1 (- a)) (/ 1 (- b)))) (log 2))) into (exp (- (* 1/2 (/ 1 b)) (+ (log 2) (* 1/2 (/ 1 a)))))
6.097 * [approximate]: Taking taylor expansion of (exp (- (* 1/2 (/ 1 b)) (+ (log 2) (* 1/2 (/ 1 a))))) in (a b) around 0
6.097 * [taylor]: Taking taylor expansion of (exp (- (* 1/2 (/ 1 b)) (+ (log 2) (* 1/2 (/ 1 a))))) in b
6.097 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 b)) (+ (log 2) (* 1/2 (/ 1 a)))) in b
6.097 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 b)) in b
6.097 * [taylor]: Taking taylor expansion of 1/2 in b
6.097 * [backup-simplify]: Simplify 1/2 into 1/2
6.097 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.097 * [taylor]: Taking taylor expansion of b in b
6.097 * [backup-simplify]: Simplify 0 into 0
6.097 * [backup-simplify]: Simplify 1 into 1
6.098 * [backup-simplify]: Simplify (/ 1 1) into 1
6.098 * [taylor]: Taking taylor expansion of (+ (log 2) (* 1/2 (/ 1 a))) in b
6.098 * [taylor]: Taking taylor expansion of (log 2) in b
6.098 * [taylor]: Taking taylor expansion of 2 in b
6.098 * [backup-simplify]: Simplify 2 into 2
6.098 * [backup-simplify]: Simplify (log 2) into (log 2)
6.098 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 a)) in b
6.098 * [taylor]: Taking taylor expansion of 1/2 in b
6.098 * [backup-simplify]: Simplify 1/2 into 1/2
6.098 * [taylor]: Taking taylor expansion of (/ 1 a) in b
6.098 * [taylor]: Taking taylor expansion of a in b
6.099 * [backup-simplify]: Simplify a into a
6.099 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.099 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
6.099 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
6.100 * [backup-simplify]: Simplify (exp (- (* 1/2 (/ 1 b)) (+ (log 2) (* 1/2 (/ 1 a))))) into (exp (- (* 1/2 (/ 1 b)) (+ (log 2) (* 1/2 (/ 1 a)))))
6.100 * [taylor]: Taking taylor expansion of (exp (- (* 1/2 (/ 1 b)) (+ (log 2) (* 1/2 (/ 1 a))))) in a
6.100 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 b)) (+ (log 2) (* 1/2 (/ 1 a)))) in a
6.100 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 b)) in a
6.100 * [taylor]: Taking taylor expansion of 1/2 in a
6.100 * [backup-simplify]: Simplify 1/2 into 1/2
6.100 * [taylor]: Taking taylor expansion of (/ 1 b) in a
6.100 * [taylor]: Taking taylor expansion of b in a
6.100 * [backup-simplify]: Simplify b into b
6.100 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
6.100 * [taylor]: Taking taylor expansion of (+ (log 2) (* 1/2 (/ 1 a))) in a
6.100 * [taylor]: Taking taylor expansion of (log 2) in a
6.100 * [taylor]: Taking taylor expansion of 2 in a
6.100 * [backup-simplify]: Simplify 2 into 2
6.100 * [backup-simplify]: Simplify (log 2) into (log 2)
6.100 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 a)) in a
6.100 * [taylor]: Taking taylor expansion of 1/2 in a
6.100 * [backup-simplify]: Simplify 1/2 into 1/2
6.100 * [taylor]: Taking taylor expansion of (/ 1 a) in a
6.100 * [taylor]: Taking taylor expansion of a in a
6.100 * [backup-simplify]: Simplify 0 into 0
6.100 * [backup-simplify]: Simplify 1 into 1
6.100 * [backup-simplify]: Simplify (/ 1 1) into 1
6.101 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
6.101 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
6.101 * [backup-simplify]: Simplify (- 1/2) into -1/2
6.102 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2
6.102 * [backup-simplify]: Simplify (exp (- (* 1/2 (/ 1 b)) (+ (log 2) (* 1/2 (/ 1 a))))) into (exp (- (* 1/2 (/ 1 b)) (+ (log 2) (* 1/2 (/ 1 a)))))
6.102 * [taylor]: Taking taylor expansion of (exp (- (* 1/2 (/ 1 b)) (+ (log 2) (* 1/2 (/ 1 a))))) in a
6.102 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 b)) (+ (log 2) (* 1/2 (/ 1 a)))) in a
6.102 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 b)) in a
6.102 * [taylor]: Taking taylor expansion of 1/2 in a
6.102 * [backup-simplify]: Simplify 1/2 into 1/2
6.102 * [taylor]: Taking taylor expansion of (/ 1 b) in a
6.102 * [taylor]: Taking taylor expansion of b in a
6.102 * [backup-simplify]: Simplify b into b
6.102 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
6.102 * [taylor]: Taking taylor expansion of (+ (log 2) (* 1/2 (/ 1 a))) in a
6.102 * [taylor]: Taking taylor expansion of (log 2) in a
6.102 * [taylor]: Taking taylor expansion of 2 in a
6.102 * [backup-simplify]: Simplify 2 into 2
6.102 * [backup-simplify]: Simplify (log 2) into (log 2)
6.103 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 a)) in a
6.103 * [taylor]: Taking taylor expansion of 1/2 in a
6.103 * [backup-simplify]: Simplify 1/2 into 1/2
6.103 * [taylor]: Taking taylor expansion of (/ 1 a) in a
6.103 * [taylor]: Taking taylor expansion of a in a
6.103 * [backup-simplify]: Simplify 0 into 0
6.103 * [backup-simplify]: Simplify 1 into 1
6.103 * [backup-simplify]: Simplify (/ 1 1) into 1
6.103 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
6.103 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
6.104 * [backup-simplify]: Simplify (- 1/2) into -1/2
6.104 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2
6.104 * [backup-simplify]: Simplify (exp (- (* 1/2 (/ 1 b)) (+ (log 2) (* 1/2 (/ 1 a))))) into (exp (- (* 1/2 (/ 1 b)) (+ (log 2) (* 1/2 (/ 1 a)))))
6.104 * [taylor]: Taking taylor expansion of (exp (- (* 1/2 (/ 1 b)) (+ (log 2) (* 1/2 (/ 1 a))))) in b
6.104 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 b)) (+ (log 2) (* 1/2 (/ 1 a)))) in b
6.104 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 b)) in b
6.104 * [taylor]: Taking taylor expansion of 1/2 in b
6.104 * [backup-simplify]: Simplify 1/2 into 1/2
6.104 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.104 * [taylor]: Taking taylor expansion of b in b
6.104 * [backup-simplify]: Simplify 0 into 0
6.105 * [backup-simplify]: Simplify 1 into 1
6.105 * [backup-simplify]: Simplify (/ 1 1) into 1
6.105 * [taylor]: Taking taylor expansion of (+ (log 2) (* 1/2 (/ 1 a))) in b
6.105 * [taylor]: Taking taylor expansion of (log 2) in b
6.105 * [taylor]: Taking taylor expansion of 2 in b
6.105 * [backup-simplify]: Simplify 2 into 2
6.105 * [backup-simplify]: Simplify (log 2) into (log 2)
6.105 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 a)) in b
6.105 * [taylor]: Taking taylor expansion of 1/2 in b
6.105 * [backup-simplify]: Simplify 1/2 into 1/2
6.105 * [taylor]: Taking taylor expansion of (/ 1 a) in b
6.105 * [taylor]: Taking taylor expansion of a in b
6.105 * [backup-simplify]: Simplify a into a
6.105 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.106 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
6.106 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
6.106 * [backup-simplify]: Simplify (exp (- (* 1/2 (/ 1 b)) (+ (log 2) (* 1/2 (/ 1 a))))) into (exp (- (* 1/2 (/ 1 b)) (+ (log 2) (* 1/2 (/ 1 a)))))
6.107 * [backup-simplify]: Simplify (exp (- (* 1/2 (/ 1 b)) (+ (log 2) (* 1/2 (/ 1 a))))) into (exp (- (* 1/2 (/ 1 b)) (+ (log 2) (* 1/2 (/ 1 a)))))
6.107 * [taylor]: Taking taylor expansion of 0 in b
6.107 * [backup-simplify]: Simplify 0 into 0
6.107 * [backup-simplify]: Simplify 0 into 0
6.107 * [backup-simplify]: Simplify 0 into 0
6.107 * [taylor]: Taking taylor expansion of 0 in b
6.107 * [backup-simplify]: Simplify 0 into 0
6.107 * [backup-simplify]: Simplify 0 into 0
6.107 * [backup-simplify]: Simplify 0 into 0
6.107 * [backup-simplify]: Simplify 0 into 0
6.107 * [taylor]: Taking taylor expansion of 0 in b
6.107 * [backup-simplify]: Simplify 0 into 0
6.107 * [backup-simplify]: Simplify 0 into 0
6.107 * [backup-simplify]: Simplify (exp (- (* 1/2 (/ 1 (/ 1 (- b)))) (+ (log 2) (* 1/2 (/ 1 (/ 1 (- a))))))) into (exp (- (* 1/2 a) (+ (log 2) (* 1/2 b))))
6.107 * * * [progress]: simplifying candidates
6.108 * [simplify]: Simplifying:
  (/ (exp (* 1/2 (- a b))) 2)
  (log (- (* 1/2 (- a b)) (log 2)))
  (exp (- (* 1/2 (- a b)) (log 2)))
  (* (cbrt (- (* 1/2 (- a b)) (log 2))) (cbrt (- (* 1/2 (- a b)) (log 2))))
  (cbrt (- (* 1/2 (- a b)) (log 2)))
  (* (* (- (* 1/2 (- a b)) (log 2)) (- (* 1/2 (- a b)) (log 2))) (- (* 1/2 (- a b)) (log 2)))
  (sqrt (- (* 1/2 (- a b)) (log 2)))
  (sqrt (- (* 1/2 (- a b)) (log 2)))
  (- (pow (* 1/2 (- a b)) 3) (pow (log 2) 3))
  (+ (* (* 1/2 (- a b)) (* 1/2 (- a b))) (+ (* (log 2) (log 2)) (* (* 1/2 (- a b)) (log 2))))
  (- (log 2))
  (- (* (* 1/2 (- a b)) (* 1/2 (- a b))) (* (log 2) (log 2)))
  (+ (* 1/2 (- a b)) (log 2))
  (- (* 1/2 (- a b)) (log (* (cbrt 2) (cbrt 2))))
  (- (* 1/2 (- a b)) (log (sqrt 2)))
  (- (* 1/2 (- a b)) (log 1))
  (- (* 1/2 (- b)) (log 2))
  (- (* 1/2 (- b)) (log 2))
  (- (* (- b) 1/2) (log 2))
  (- (* (- b) 1/2) (log 2))
  (- (log 2))
  (exp (* (cbrt (- (* 1/2 (- a b)) (log 2))) (cbrt (- (* 1/2 (- a b)) (log 2)))))
  (exp (sqrt (- (* 1/2 (- a b)) (log 2))))
  (exp 1)
  (exp (* 1/2 (- a b)))
  (exp (- (log 2)))
  (exp (* 1/2 a))
  (exp (- (* 1/2 (- b)) (log 2)))
  (exp (* 1/2 a))
  (exp (- (* 1/2 (- b)) (log 2)))
  (exp (* a 1/2))
  (exp (- (* (- b) 1/2) (log 2)))
  (exp (* a 1/2))
  (exp (- (* (- b) 1/2) (log 2)))
  (exp (* 1/2 (- a b)))
  (exp (- (log 2)))
  (exp (* 1/2 (- a b)))
  (exp (log 2))
  (log (exp (- (* 1/2 (- a b)) (log 2))))
  (exp (exp (- (* 1/2 (- a b)) (log 2))))
  (* (cbrt (exp (- (* 1/2 (- a b)) (log 2)))) (cbrt (exp (- (* 1/2 (- a b)) (log 2)))))
  (cbrt (exp (- (* 1/2 (- a b)) (log 2))))
  (* (* (exp (- (* 1/2 (- a b)) (log 2))) (exp (- (* 1/2 (- a b)) (log 2)))) (exp (- (* 1/2 (- a b)) (log 2))))
  (sqrt (exp (- (* 1/2 (- a b)) (log 2))))
  (sqrt (exp (- (* 1/2 (- a b)) (log 2))))
  (- (* 1/2 a) (+ (log 2) (* 1/2 b)))
  (- (* 1/2 a) (+ (log 2) (* 1/2 b)))
  (- (* 1/2 a) (+ (log 2) (* 1/2 b)))
  (- (+ (exp (- (log 2))) (* 1/2 (* (exp (- (log 2))) a))) (* 1/2 (* (exp (- (log 2))) b)))
  (exp (- (* 1/2 a) (+ (log 2) (* 1/2 b))))
  (exp (- (* 1/2 a) (+ (log 2) (* 1/2 b))))
6.109 * * [simplify]: Extracting # 0 : cost  0
6.109 * * [simplify]: Extracting # 1 : cost  0
6.109 * * [simplify]: Extracting # 2 : cost  0
6.110 * * [simplify]: Extracting # 3 : cost  0
6.110 * * [simplify]: Extracting # 4 : cost  0
6.110 * * [simplify]: Extracting # 5 : cost  0
6.110 * * [simplify]: Extracting # 6 : cost  0
6.110 * * [simplify]: Extracting # 7 : cost  0
6.110 * * [simplify]: Extracting # 8 : cost  0
6.110 * * [simplify]: iteration  0 :  72  enodes  (cost  507 )
6.127 * * [simplify]: Extracting # 0 : cost  0
6.128 * * [simplify]: Extracting # 1 : cost  0
6.128 * * [simplify]: Extracting # 2 : cost  0
6.128 * * [simplify]: Extracting # 3 : cost  0
6.128 * * [simplify]: Extracting # 4 : cost  0
6.128 * * [simplify]: iteration  1 :  163  enodes  (cost  465 )
6.164 * * [simplify]: Extracting # 0 : cost  0
6.165 * * [simplify]: Extracting # 1 : cost  0
6.166 * * [simplify]: Extracting # 2 : cost  0
6.167 * * [simplify]: Extracting # 3 : cost  0
6.173 * * [simplify]: Extracting # 4 : cost  0
6.174 * * [simplify]: iteration  2 :  359  enodes  (cost  409 )
6.386 * * [simplify]: Extracting # 0 : cost  0
6.388 * * [simplify]: Extracting # 1 : cost  0
6.389 * * [simplify]: Extracting # 2 : cost  0
6.390 * * [simplify]: Extracting # 3 : cost  0
6.391 * * [simplify]: Extracting # 4 : cost  0
6.392 * * [simplify]: iteration  3 :  1187  enodes  (cost  384 )
7.459 * * [simplify]: Extracting # 0 : cost  0
7.472 * * [simplify]: Extracting # 1 : cost  0
7.484 * * [simplify]: Extracting # 2 : cost  0
7.494 * * [simplify]: Extracting # 3 : cost  0
7.505 * * [simplify]: Extracting # 4 : cost  0
7.517 * * [simplify]: iteration done:  5001  enodes  (cost  380 )
7.517 * [simplify]: Simplified to:
  (* (sqrt (exp (- a b))) 1/2)
  (log (- (* 1/2 (- a b)) (log 2)))
  (* (sqrt (exp (- a b))) 1/2)
  (* (cbrt (- (* 1/2 (- a b)) (log 2))) (cbrt (- (* 1/2 (- a b)) (log 2))))
  (cbrt (- (* 1/2 (- a b)) (log 2)))
  (pow (- (* 1/2 (- a b)) (log 2)) 3)
  (sqrt (- (* 1/2 (- a b)) (log 2)))
  (sqrt (- (* 1/2 (- a b)) (log 2)))
  (- (pow (* 1/2 (- a b)) 3) (pow (log 2) 3))
  (+ (* (log 2) (log 2)) (* (+ (* 1/2 (- a b)) (log 2)) (* 1/2 (- a b))))
  (- (log 2))
  (- (* 1/4 (* (- a b) (- a b))) (* (log 2) (log 2)))
  (+ (* 1/2 (- a b)) (log 2))
  (- (* 1/2 (- a b)) (* 2 (log (cbrt 2))))
  (- (* 1/2 (- a b)) (log (sqrt 2)))
  (* 1/2 (- a b))
  (- (* -1/2 b) (log 2))
  (- (* -1/2 b) (log 2))
  (- (* -1/2 b) (log 2))
  (- (* -1/2 b) (log 2))
  (- (log 2))
  (exp (* (cbrt (- (* 1/2 (- a b)) (log 2))) (cbrt (- (* 1/2 (- a b)) (log 2)))))
  (exp (sqrt (- (* 1/2 (- a b)) (log 2))))
  E
  (sqrt (exp (- a b)))
  1/2
  (sqrt (exp a))
  (/ 1/2 (sqrt (exp b)))
  (sqrt (exp a))
  (/ 1/2 (sqrt (exp b)))
  (sqrt (exp a))
  (/ 1/2 (sqrt (exp b)))
  (sqrt (exp a))
  (/ 1/2 (sqrt (exp b)))
  (sqrt (exp (- a b)))
  1/2
  (sqrt (exp (- a b)))
  2
  (- (* 1/2 (- a b)) (log 2))
  (sqrt (exp (sqrt (exp (- a b)))))
  (* (cbrt (* (sqrt (exp (- a b))) 1/2)) (cbrt (* (sqrt (exp (- a b))) 1/2)))
  (cbrt (* (sqrt (exp (- a b))) 1/2))
  (/ (pow (sqrt (exp (- a b))) 3) 8)
  (sqrt (* (sqrt (exp (- a b))) 1/2))
  (sqrt (* (sqrt (exp (- a b))) 1/2))
  (- (* 1/2 (- a b)) (log 2))
  (- (* 1/2 (- a b)) (log 2))
  (- (* 1/2 (- a b)) (log 2))
  (+ 1/2 (* 1/4 (- a b)))
  (* (sqrt (exp (- a b))) 1/2)
  (* (sqrt (exp (- a b))) 1/2)
7.518 * * * [progress]: adding candidates to table
7.630 * * [progress]: iteration 4 / 4
7.630 * * * [progress]: picking best candidate
7.632 * * * * [pick]: Picked  #<alt (λ (a b) (+ 1/2 (* 1/4 (- a b))))>
7.632 * * * [progress]: localizing error
7.637 * * * [progress]: generating rewritten candidates
7.638 * * * [progress]: generating series expansions
7.638 * * * [progress]: simplifying candidates
7.638 * [simplify]: Simplifying:
  
7.638 * * [simplify]: Extracting # 0 : cost  0
7.638 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
7.638 * * [simplify]: Extracting # 0 : cost  0
7.638 * * [simplify]: iteration done:  0  enodes  (cost  0 )
7.638 * [simplify]: Simplified to:
  
7.638 * * * [progress]: adding candidates to table
7.638 * [progress]: [Phase 3 of 3] Extracting.
7.638 * * [regime]: Finding splitpoints for: (#<alt (λ (a b) (exp (- (* 1/2 (- a b)) (log 2))))> #<alt (λ (a b) (+ 1/2 (* 1/4 (- a b))))> #<alt (λ (a b) (/ (exp a) (+ (exp a) (exp b))))>)
7.639 * * * [regime-changes]: Trying 5 branch expressions: ((exp b) (exp a) (/ (exp a) (+ (exp a) (exp b))) b a)
7.639 * * * * [regimes]: Trying to branch on (exp b) from (#<alt (λ (a b) (exp (- (* 1/2 (- a b)) (log 2))))> #<alt (λ (a b) (+ 1/2 (* 1/4 (- a b))))> #<alt (λ (a b) (/ (exp a) (+ (exp a) (exp b))))>)
7.672 * * * * [regimes]: Trying to branch on (exp a) from (#<alt (λ (a b) (exp (- (* 1/2 (- a b)) (log 2))))> #<alt (λ (a b) (+ 1/2 (* 1/4 (- a b))))> #<alt (λ (a b) (/ (exp a) (+ (exp a) (exp b))))>)
7.703 * * * * [regimes]: Trying to branch on (/ (exp a) (+ (exp a) (exp b))) from (#<alt (λ (a b) (exp (- (* 1/2 (- a b)) (log 2))))> #<alt (λ (a b) (+ 1/2 (* 1/4 (- a b))))> #<alt (λ (a b) (/ (exp a) (+ (exp a) (exp b))))>)
7.732 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b) (exp (- (* 1/2 (- a b)) (log 2))))> #<alt (λ (a b) (+ 1/2 (* 1/4 (- a b))))> #<alt (λ (a b) (/ (exp a) (+ (exp a) (exp b))))>)
7.754 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b) (exp (- (* 1/2 (- a b)) (log 2))))> #<alt (λ (a b) (+ 1/2 (* 1/4 (- a b))))> #<alt (λ (a b) (/ (exp a) (+ (exp a) (exp b))))>)
7.782 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
7.783 * [simplify]: Simplifying:
  (/ (exp a) (+ (exp a) (exp b)))
7.783 * * [simplify]: Extracting # 0 : cost  0
7.783 * * [simplify]: Extracting # 1 : cost  0
7.783 * * [simplify]: Extracting # 2 : cost  0
7.783 * * [simplify]: Extracting # 3 : cost  0
7.783 * * [simplify]: Extracting # 4 : cost  0
7.783 * * [simplify]: Extracting # 5 : cost  0
7.783 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
7.783 * * [simplify]: Extracting # 0 : cost  0
7.783 * * [simplify]: iteration  1 :  7  enodes  (cost  8 )
7.783 * * [simplify]: Extracting # 0 : cost  0
7.783 * * [simplify]: iteration done:  7  enodes  (cost  8 )
7.783 * [simplify]: Simplified to:
  (/ (exp a) (+ (exp a) (exp b)))
11.690 * [regime-testing]: Baseline error score: 0.5418083276039012
11.694 * [regime-testing]: Oracle error score: 0.31676691172687976
11.703 * [regime-testing]: End program error score: 0.5418083276039012
11.754 * [regime-testing]: Target error score: 0.01715340746879214