77.743 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.122 * * * [progress]: [2/2] Setting up program. 0.128 * [progress]: [Phase 2 of 3] Improving. 0.128 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.128 * [simplify]: Simplifying: (/ (exp a) (+ (exp a) (exp b))) 0.128 * * [simplify]: iteration 0: 6 enodes 0.130 * * [simplify]: iteration 1: 7 enodes 0.132 * * [simplify]: iteration complete: 7 enodes 0.132 * * [simplify]: Extracting #0: cost 1 inf + 0 0.132 * * [simplify]: Extracting #1: cost 3 inf + 0 0.132 * * [simplify]: Extracting #2: cost 5 inf + 0 0.132 * * [simplify]: Extracting #3: cost 5 inf + 1 0.132 * * [simplify]: Extracting #4: cost 0 inf + 548 0.132 * [simplify]: Simplified to: (/ (exp a) (+ (exp a) (exp b))) 0.133 * * [progress]: iteration 1 / 4 0.133 * * * [progress]: picking best candidate 0.135 * * * * [pick]: Picked # 0.135 * * * [progress]: localizing error 0.159 * * * [progress]: generating rewritten candidates 0.159 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.187 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.204 * * * [progress]: generating series expansions 0.204 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.204 * [backup-simplify]: Simplify (/ (exp a) (+ (exp a) (exp b))) into (/ (exp a) (+ (exp a) (exp b))) 0.204 * [approximate]: Taking taylor expansion of (/ (exp a) (+ (exp a) (exp b))) in (a b) around 0 0.204 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (exp a) (exp b))) in b 0.204 * [taylor]: Taking taylor expansion of (exp a) in b 0.204 * [taylor]: Taking taylor expansion of a in b 0.204 * [backup-simplify]: Simplify a into a 0.205 * [backup-simplify]: Simplify (exp a) into (exp a) 0.205 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in b 0.205 * [taylor]: Taking taylor expansion of (exp a) in b 0.205 * [taylor]: Taking taylor expansion of a in b 0.205 * [backup-simplify]: Simplify a into a 0.205 * [backup-simplify]: Simplify (exp a) into (exp a) 0.205 * [taylor]: Taking taylor expansion of (exp b) in b 0.205 * [taylor]: Taking taylor expansion of b in b 0.205 * [backup-simplify]: Simplify 0 into 0 0.205 * [backup-simplify]: Simplify 1 into 1 0.205 * [backup-simplify]: Simplify (exp 0) into 1 0.205 * [backup-simplify]: Simplify (+ (exp a) 1) into (+ (exp a) 1) 0.205 * [backup-simplify]: Simplify (/ (exp a) (+ (exp a) 1)) into (/ (exp a) (+ (exp a) 1)) 0.205 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (exp a) (exp b))) in a 0.205 * [taylor]: Taking taylor expansion of (exp a) in a 0.205 * [taylor]: Taking taylor expansion of a in a 0.205 * [backup-simplify]: Simplify 0 into 0 0.205 * [backup-simplify]: Simplify 1 into 1 0.205 * [backup-simplify]: Simplify (exp 0) into 1 0.205 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a 0.205 * [taylor]: Taking taylor expansion of (exp a) in a 0.205 * [taylor]: Taking taylor expansion of a in a 0.205 * [backup-simplify]: Simplify 0 into 0 0.205 * [backup-simplify]: Simplify 1 into 1 0.205 * [backup-simplify]: Simplify (exp 0) into 1 0.205 * [taylor]: Taking taylor expansion of (exp b) in a 0.205 * [taylor]: Taking taylor expansion of b in a 0.205 * [backup-simplify]: Simplify b into b 0.205 * [backup-simplify]: Simplify (exp b) into (exp b) 0.205 * [backup-simplify]: Simplify (+ 1 (exp b)) into (+ (exp b) 1) 0.206 * [backup-simplify]: Simplify (/ 1 (+ (exp b) 1)) into (/ 1 (+ (exp b) 1)) 0.206 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (exp a) (exp b))) in a 0.206 * [taylor]: Taking taylor expansion of (exp a) in a 0.206 * [taylor]: Taking taylor expansion of a in a 0.206 * [backup-simplify]: Simplify 0 into 0 0.206 * [backup-simplify]: Simplify 1 into 1 0.206 * [backup-simplify]: Simplify (exp 0) into 1 0.206 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a 0.206 * [taylor]: Taking taylor expansion of (exp a) in a 0.206 * [taylor]: Taking taylor expansion of a in a 0.206 * [backup-simplify]: Simplify 0 into 0 0.206 * [backup-simplify]: Simplify 1 into 1 0.206 * [backup-simplify]: Simplify (exp 0) into 1 0.206 * [taylor]: Taking taylor expansion of (exp b) in a 0.206 * [taylor]: Taking taylor expansion of b in a 0.206 * [backup-simplify]: Simplify b into b 0.206 * [backup-simplify]: Simplify (exp b) into (exp b) 0.206 * [backup-simplify]: Simplify (+ 1 (exp b)) into (+ (exp b) 1) 0.206 * [backup-simplify]: Simplify (/ 1 (+ (exp b) 1)) into (/ 1 (+ (exp b) 1)) 0.206 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b 0.206 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b 0.206 * [taylor]: Taking taylor expansion of (exp b) in b 0.206 * [taylor]: Taking taylor expansion of b in b 0.206 * [backup-simplify]: Simplify 0 into 0 0.206 * [backup-simplify]: Simplify 1 into 1 0.206 * [backup-simplify]: Simplify (exp 0) into 1 0.206 * [taylor]: Taking taylor expansion of 1 in b 0.206 * [backup-simplify]: Simplify 1 into 1 0.207 * [backup-simplify]: Simplify (+ 1 1) into 2 0.208 * [backup-simplify]: Simplify (/ 1 2) into 1/2 0.208 * [backup-simplify]: Simplify 1/2 into 1/2 0.209 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.210 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.211 * [backup-simplify]: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0 0.212 * [backup-simplify]: Simplify (+ 1 0) into 1 0.212 * [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.212 * [taylor]: Taking taylor expansion of (- (/ 1 (+ (exp b) 1)) (/ 1 (pow (+ (exp b) 1) 2))) in b 0.212 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b 0.212 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b 0.212 * [taylor]: Taking taylor expansion of (exp b) in b 0.212 * [taylor]: Taking taylor expansion of b in b 0.212 * [backup-simplify]: Simplify 0 into 0 0.212 * [backup-simplify]: Simplify 1 into 1 0.212 * [backup-simplify]: Simplify (exp 0) into 1 0.212 * [taylor]: Taking taylor expansion of 1 in b 0.212 * [backup-simplify]: Simplify 1 into 1 0.213 * [backup-simplify]: Simplify (+ 1 1) into 2 0.213 * [backup-simplify]: Simplify (/ 1 2) into 1/2 0.213 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp b) 1) 2)) in b 0.213 * [taylor]: Taking taylor expansion of (pow (+ (exp b) 1) 2) in b 0.213 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b 0.213 * [taylor]: Taking taylor expansion of (exp b) in b 0.213 * [taylor]: Taking taylor expansion of b in b 0.213 * [backup-simplify]: Simplify 0 into 0 0.213 * [backup-simplify]: Simplify 1 into 1 0.213 * [backup-simplify]: Simplify (exp 0) into 1 0.213 * [taylor]: Taking taylor expansion of 1 in b 0.213 * [backup-simplify]: Simplify 1 into 1 0.214 * [backup-simplify]: Simplify (+ 1 1) into 2 0.214 * [backup-simplify]: Simplify (* 2 2) into 4 0.215 * [backup-simplify]: Simplify (/ 1 4) into 1/4 0.215 * [backup-simplify]: Simplify (- 1/4) into -1/4 0.215 * [backup-simplify]: Simplify (+ 1/2 -1/4) into 1/4 0.215 * [backup-simplify]: Simplify 1/4 into 1/4 0.217 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.217 * [backup-simplify]: Simplify (+ 1 0) into 1 0.218 * [backup-simplify]: Simplify (- (+ (* 1/2 (/ 1 2)))) into -1/4 0.218 * [backup-simplify]: Simplify -1/4 into -1/4 0.218 * [backup-simplify]: Simplify (+ (* -1/4 (* b 1)) (+ (* 1/4 (* 1 a)) 1/2)) into (- (+ (* 1/4 a) 1/2) (* 1/4 b)) 0.219 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 a)) (exp (/ 1 b)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 0.219 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in (a b) around 0 0.219 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b 0.219 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.219 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.219 * [taylor]: Taking taylor expansion of a in b 0.219 * [backup-simplify]: Simplify a into a 0.219 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.219 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 0.219 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 0.219 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.219 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.219 * [taylor]: Taking taylor expansion of b in b 0.219 * [backup-simplify]: Simplify 0 into 0 0.219 * [backup-simplify]: Simplify 1 into 1 0.219 * [backup-simplify]: Simplify (/ 1 1) into 1 0.220 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 0.220 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.220 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.220 * [taylor]: Taking taylor expansion of a in b 0.220 * [backup-simplify]: Simplify a into a 0.220 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.220 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 0.220 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 0.220 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 0.220 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a 0.220 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.220 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.220 * [taylor]: Taking taylor expansion of a in a 0.220 * [backup-simplify]: Simplify 0 into 0 0.220 * [backup-simplify]: Simplify 1 into 1 0.221 * [backup-simplify]: Simplify (/ 1 1) into 1 0.221 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 0.221 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 0.221 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.221 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.221 * [taylor]: Taking taylor expansion of b in a 0.221 * [backup-simplify]: Simplify b into b 0.221 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.221 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 0.221 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.221 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.221 * [taylor]: Taking taylor expansion of a in a 0.221 * [backup-simplify]: Simplify 0 into 0 0.221 * [backup-simplify]: Simplify 1 into 1 0.222 * [backup-simplify]: Simplify (/ 1 1) into 1 0.222 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 0.222 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 0.222 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 0.222 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a 0.222 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.222 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.222 * [taylor]: Taking taylor expansion of a in a 0.222 * [backup-simplify]: Simplify 0 into 0 0.222 * [backup-simplify]: Simplify 1 into 1 0.222 * [backup-simplify]: Simplify (/ 1 1) into 1 0.223 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 0.223 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 0.223 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.223 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.223 * [taylor]: Taking taylor expansion of b in a 0.223 * [backup-simplify]: Simplify b into b 0.223 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.223 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 0.223 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.223 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.223 * [taylor]: Taking taylor expansion of a in a 0.223 * [backup-simplify]: Simplify 0 into 0 0.223 * [backup-simplify]: Simplify 1 into 1 0.223 * [backup-simplify]: Simplify (/ 1 1) into 1 0.223 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 0.224 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 0.224 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 0.224 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b 0.224 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.224 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.224 * [taylor]: Taking taylor expansion of a in b 0.224 * [backup-simplify]: Simplify a into a 0.224 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.224 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 0.224 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 0.224 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.224 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.224 * [taylor]: Taking taylor expansion of b in b 0.224 * [backup-simplify]: Simplify 0 into 0 0.224 * [backup-simplify]: Simplify 1 into 1 0.225 * [backup-simplify]: Simplify (/ 1 1) into 1 0.225 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 0.225 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.225 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.225 * [taylor]: Taking taylor expansion of 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 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 0.225 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (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 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.227 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 0.227 * [backup-simplify]: Simplify (+ 0 0) into 0 0.227 * [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.228 * [taylor]: Taking taylor expansion of 0 in b 0.228 * [backup-simplify]: Simplify 0 into 0 0.228 * [backup-simplify]: Simplify 0 into 0 0.228 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.229 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 0.229 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.230 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 0.230 * [backup-simplify]: Simplify (+ 0 0) into 0 0.230 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a)))) (+ (* (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a))))))) into 0 0.231 * [backup-simplify]: Simplify 0 into 0 0.231 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.232 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.233 * [backup-simplify]: Simplify (+ 0 0) into 0 0.233 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a)))) (+ (* (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a))))) (* 0 (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a))))))) into 0 0.233 * [taylor]: Taking taylor expansion of 0 in b 0.233 * [backup-simplify]: Simplify 0 into 0 0.233 * [backup-simplify]: Simplify 0 into 0 0.233 * [backup-simplify]: Simplify 0 into 0 0.234 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 0.235 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.235 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 0.237 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.237 * [backup-simplify]: Simplify (+ 0 0) into 0 0.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))))) (* 0 (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a))))))) into 0 0.238 * [backup-simplify]: Simplify 0 into 0 0.238 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.240 * [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.240 * [backup-simplify]: Simplify (+ 0 0) into 0 0.241 * [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.241 * [taylor]: Taking taylor expansion of 0 in b 0.241 * [backup-simplify]: Simplify 0 into 0 0.241 * [backup-simplify]: Simplify 0 into 0 0.242 * [backup-simplify]: Simplify (/ (exp (/ 1 (/ 1 a))) (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a))))) into (/ (exp a) (+ (exp b) (exp a))) 0.242 * [backup-simplify]: Simplify (/ (exp (/ 1 (- a))) (+ (exp (/ 1 (- a))) (exp (/ 1 (- b))))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 0.242 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in (a b) around 0 0.242 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b 0.242 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.242 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.242 * [taylor]: Taking taylor expansion of -1 in b 0.242 * [backup-simplify]: Simplify -1 into -1 0.242 * [taylor]: Taking taylor expansion of a in b 0.242 * [backup-simplify]: Simplify a into a 0.242 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 0.242 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 0.242 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 0.242 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.242 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.242 * [taylor]: Taking taylor expansion of -1 in b 0.242 * [backup-simplify]: Simplify -1 into -1 0.242 * [taylor]: Taking taylor expansion of b in b 0.242 * [backup-simplify]: Simplify 0 into 0 0.242 * [backup-simplify]: Simplify 1 into 1 0.243 * [backup-simplify]: Simplify (/ -1 1) into -1 0.243 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 0.243 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.243 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.243 * [taylor]: Taking taylor expansion of -1 in b 0.243 * [backup-simplify]: Simplify -1 into -1 0.243 * [taylor]: Taking taylor expansion of a in b 0.243 * [backup-simplify]: Simplify a into a 0.243 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 0.243 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 0.243 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 0.244 * [backup-simplify]: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 0.244 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a 0.244 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.244 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.244 * [taylor]: Taking taylor expansion of -1 in a 0.244 * [backup-simplify]: Simplify -1 into -1 0.244 * [taylor]: Taking taylor expansion of a in a 0.244 * [backup-simplify]: Simplify 0 into 0 0.244 * [backup-simplify]: Simplify 1 into 1 0.244 * [backup-simplify]: Simplify (/ -1 1) into -1 0.244 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 0.244 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 0.244 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.245 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.245 * [taylor]: Taking taylor expansion of -1 in a 0.245 * [backup-simplify]: Simplify -1 into -1 0.245 * [taylor]: Taking taylor expansion of b in a 0.245 * [backup-simplify]: Simplify b into b 0.245 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b) 0.245 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 0.245 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.245 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.245 * [taylor]: Taking taylor expansion of -1 in a 0.245 * [backup-simplify]: Simplify -1 into -1 0.245 * [taylor]: Taking taylor expansion of a in a 0.245 * [backup-simplify]: Simplify 0 into 0 0.245 * [backup-simplify]: Simplify 1 into 1 0.245 * [backup-simplify]: Simplify (/ -1 1) into -1 0.246 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 0.246 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 0.246 * [backup-simplify]: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 0.246 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a 0.246 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.246 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.246 * [taylor]: Taking taylor expansion of -1 in a 0.246 * [backup-simplify]: Simplify -1 into -1 0.246 * [taylor]: Taking taylor expansion of a in a 0.246 * [backup-simplify]: Simplify 0 into 0 0.246 * [backup-simplify]: Simplify 1 into 1 0.247 * [backup-simplify]: Simplify (/ -1 1) into -1 0.247 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 0.247 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 0.247 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.247 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.247 * [taylor]: Taking taylor expansion of -1 in a 0.247 * [backup-simplify]: Simplify -1 into -1 0.247 * [taylor]: Taking taylor expansion of b in a 0.247 * [backup-simplify]: Simplify b into b 0.247 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b) 0.247 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 0.247 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.247 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.247 * [taylor]: Taking taylor expansion of -1 in a 0.247 * [backup-simplify]: Simplify -1 into -1 0.247 * [taylor]: Taking taylor expansion of a in a 0.247 * [backup-simplify]: Simplify 0 into 0 0.247 * [backup-simplify]: Simplify 1 into 1 0.248 * [backup-simplify]: Simplify (/ -1 1) into -1 0.248 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 0.248 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 0.248 * [backup-simplify]: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 0.248 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b 0.248 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.248 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.248 * [taylor]: Taking taylor expansion of -1 in b 0.248 * [backup-simplify]: Simplify -1 into -1 0.248 * [taylor]: Taking taylor expansion of a in b 0.248 * [backup-simplify]: Simplify a into a 0.248 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 0.248 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 0.249 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 0.249 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.249 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.249 * [taylor]: Taking taylor expansion of -1 in b 0.249 * [backup-simplify]: Simplify -1 into -1 0.249 * [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 (/ -1 1) into -1 0.249 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 0.249 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.249 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.249 * [taylor]: Taking taylor expansion of -1 in b 0.249 * [backup-simplify]: Simplify -1 into -1 0.249 * [taylor]: Taking taylor expansion of a in b 0.249 * [backup-simplify]: Simplify a into a 0.250 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 0.250 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 0.250 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 0.250 * [backup-simplify]: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 0.250 * [backup-simplify]: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 0.250 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0 0.251 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 0.252 * [backup-simplify]: Simplify (+ 0 0) into 0 0.252 * [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.252 * [taylor]: Taking taylor expansion of 0 in b 0.252 * [backup-simplify]: Simplify 0 into 0 0.252 * [backup-simplify]: Simplify 0 into 0 0.252 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 0.253 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 0.253 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 0.253 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 0.253 * [backup-simplify]: Simplify (+ 0 0) into 0 0.254 * [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.254 * [backup-simplify]: Simplify 0 into 0 0.254 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.255 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.255 * [backup-simplify]: Simplify (+ 0 0) into 0 0.255 * [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.255 * [taylor]: Taking taylor expansion of 0 in b 0.255 * [backup-simplify]: Simplify 0 into 0 0.255 * [backup-simplify]: Simplify 0 into 0 0.255 * [backup-simplify]: Simplify 0 into 0 0.255 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 0.256 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.256 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 0.257 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.257 * [backup-simplify]: Simplify (+ 0 0) into 0 0.258 * [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.258 * [backup-simplify]: Simplify 0 into 0 0.258 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.259 * [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.259 * [backup-simplify]: Simplify (+ 0 0) into 0 0.260 * [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.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.260 * [backup-simplify]: Simplify (/ (exp (/ -1 (/ 1 (- a)))) (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a)))))) into (/ (exp a) (+ (exp b) (exp a))) 0.260 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.260 * [backup-simplify]: Simplify (+ (exp a) (exp b)) into (+ (exp a) (exp b)) 0.260 * [approximate]: Taking taylor expansion of (+ (exp a) (exp b)) in (a b) around 0 0.260 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in b 0.260 * [taylor]: Taking taylor expansion of (exp a) in b 0.260 * [taylor]: Taking taylor expansion of a in b 0.260 * [backup-simplify]: Simplify a into a 0.260 * [backup-simplify]: Simplify (exp a) into (exp a) 0.260 * [taylor]: Taking taylor expansion of (exp b) in b 0.260 * [taylor]: Taking taylor expansion of b in b 0.260 * [backup-simplify]: Simplify 0 into 0 0.260 * [backup-simplify]: Simplify 1 into 1 0.260 * [backup-simplify]: Simplify (exp 0) into 1 0.260 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a 0.260 * [taylor]: Taking taylor expansion of (exp a) in a 0.260 * [taylor]: Taking taylor expansion of a in a 0.260 * [backup-simplify]: Simplify 0 into 0 0.260 * [backup-simplify]: Simplify 1 into 1 0.260 * [backup-simplify]: Simplify (exp 0) into 1 0.260 * [taylor]: Taking taylor expansion of (exp b) in a 0.260 * [taylor]: Taking taylor expansion of b in a 0.260 * [backup-simplify]: Simplify b into b 0.260 * [backup-simplify]: Simplify (exp b) into (exp b) 0.260 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a 0.260 * [taylor]: Taking taylor expansion of (exp a) in a 0.260 * [taylor]: Taking taylor expansion of a in a 0.260 * [backup-simplify]: Simplify 0 into 0 0.260 * [backup-simplify]: Simplify 1 into 1 0.260 * [backup-simplify]: Simplify (exp 0) into 1 0.260 * [taylor]: Taking taylor expansion of (exp b) in a 0.260 * [taylor]: Taking taylor expansion of b in a 0.260 * [backup-simplify]: Simplify b into b 0.260 * [backup-simplify]: Simplify (exp b) into (exp b) 0.260 * [backup-simplify]: Simplify (+ 1 (exp b)) into (+ (exp b) 1) 0.261 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b 0.261 * [taylor]: Taking taylor expansion of (exp b) in b 0.261 * [taylor]: Taking taylor expansion of b in b 0.261 * [backup-simplify]: Simplify 0 into 0 0.261 * [backup-simplify]: Simplify 1 into 1 0.261 * [backup-simplify]: Simplify (exp 0) into 1 0.261 * [taylor]: Taking taylor expansion of 1 in b 0.261 * [backup-simplify]: Simplify 1 into 1 0.261 * [backup-simplify]: Simplify (+ 1 1) into 2 0.261 * [backup-simplify]: Simplify 2 into 2 0.262 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.262 * [backup-simplify]: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0 0.262 * [backup-simplify]: Simplify (+ 1 0) into 1 0.262 * [taylor]: Taking taylor expansion of 1 in b 0.262 * [backup-simplify]: Simplify 1 into 1 0.263 * [backup-simplify]: Simplify 1 into 1 0.263 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.263 * [backup-simplify]: Simplify (+ 1 0) into 1 0.263 * [backup-simplify]: Simplify 1 into 1 0.264 * [backup-simplify]: Simplify (+ (* 1 (* b 1)) (+ (* 1 (* 1 a)) 2)) into (+ a (+ b 2)) 0.264 * [backup-simplify]: Simplify (+ (exp (/ 1 a)) (exp (/ 1 b))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 0.264 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in (a b) around 0 0.264 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 0.264 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.264 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.264 * [taylor]: Taking taylor expansion of b in b 0.264 * [backup-simplify]: Simplify 0 into 0 0.264 * [backup-simplify]: Simplify 1 into 1 0.264 * [backup-simplify]: Simplify (/ 1 1) into 1 0.264 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 0.264 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.264 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.264 * [taylor]: Taking taylor expansion of a in b 0.264 * [backup-simplify]: Simplify a into a 0.264 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.264 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 0.264 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 0.264 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.264 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.264 * [taylor]: Taking taylor expansion of b in a 0.264 * [backup-simplify]: Simplify b into b 0.264 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.264 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 0.264 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.264 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.264 * [taylor]: Taking taylor expansion of a in a 0.264 * [backup-simplify]: Simplify 0 into 0 0.264 * [backup-simplify]: Simplify 1 into 1 0.265 * [backup-simplify]: Simplify (/ 1 1) into 1 0.265 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 0.265 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 0.265 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.265 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.265 * [taylor]: Taking taylor expansion of b in a 0.265 * [backup-simplify]: Simplify b into b 0.265 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.265 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 0.265 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.265 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.265 * [taylor]: Taking taylor expansion of a in a 0.265 * [backup-simplify]: Simplify 0 into 0 0.265 * [backup-simplify]: Simplify 1 into 1 0.269 * [backup-simplify]: Simplify (/ 1 1) into 1 0.270 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 0.270 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 0.270 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 0.270 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.270 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.270 * [taylor]: Taking taylor expansion of b in b 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 b)) into (exp (/ 1 b)) 0.270 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.270 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.270 * [taylor]: Taking taylor expansion of a in b 0.270 * [backup-simplify]: Simplify a into a 0.270 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.270 * [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 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 0.271 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.271 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 0.271 * [backup-simplify]: Simplify (+ 0 0) into 0 0.272 * [taylor]: Taking taylor expansion of 0 in b 0.272 * [backup-simplify]: Simplify 0 into 0 0.272 * [backup-simplify]: Simplify 0 into 0 0.272 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.272 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 0.272 * [backup-simplify]: Simplify (+ 0 0) into 0 0.272 * [backup-simplify]: Simplify 0 into 0 0.273 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.273 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.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 into 0 0.274 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 0.275 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.275 * [backup-simplify]: Simplify (+ 0 0) into 0 0.275 * [backup-simplify]: Simplify 0 into 0 0.275 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.276 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.276 * [backup-simplify]: Simplify (+ 0 0) into 0 0.276 * [taylor]: Taking taylor expansion of 0 in b 0.276 * [backup-simplify]: Simplify 0 into 0 0.276 * [backup-simplify]: Simplify 0 into 0 0.276 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a)))) into (+ (exp b) (exp a)) 0.277 * [backup-simplify]: Simplify (+ (exp (/ 1 (- a))) (exp (/ 1 (- b)))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 0.277 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in (a b) around 0 0.277 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 0.277 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.277 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.277 * [taylor]: Taking taylor expansion of -1 in b 0.277 * [backup-simplify]: Simplify -1 into -1 0.277 * [taylor]: Taking taylor expansion of b in b 0.277 * [backup-simplify]: Simplify 0 into 0 0.277 * [backup-simplify]: Simplify 1 into 1 0.277 * [backup-simplify]: Simplify (/ -1 1) into -1 0.277 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 0.277 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.277 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.277 * [taylor]: Taking taylor expansion of -1 in b 0.277 * [backup-simplify]: Simplify -1 into -1 0.277 * [taylor]: Taking taylor expansion of a in b 0.277 * [backup-simplify]: Simplify a into a 0.277 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 0.277 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 0.277 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 0.277 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.277 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.277 * [taylor]: Taking taylor expansion of -1 in a 0.277 * [backup-simplify]: Simplify -1 into -1 0.277 * [taylor]: Taking taylor expansion of b in a 0.277 * [backup-simplify]: Simplify b into b 0.277 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b) 0.277 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 0.277 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.277 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.278 * [taylor]: Taking taylor expansion of -1 in a 0.278 * [backup-simplify]: Simplify -1 into -1 0.278 * [taylor]: Taking taylor expansion of a in a 0.278 * [backup-simplify]: Simplify 0 into 0 0.278 * [backup-simplify]: Simplify 1 into 1 0.278 * [backup-simplify]: Simplify (/ -1 1) into -1 0.278 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 0.278 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 0.278 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.278 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.278 * [taylor]: Taking taylor expansion of -1 in a 0.278 * [backup-simplify]: Simplify -1 into -1 0.278 * [taylor]: Taking taylor expansion of b in a 0.278 * [backup-simplify]: Simplify b into b 0.278 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b) 0.278 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 0.278 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.278 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.278 * [taylor]: Taking taylor expansion of -1 in a 0.278 * [backup-simplify]: Simplify -1 into -1 0.278 * [taylor]: Taking taylor expansion of a in a 0.278 * [backup-simplify]: Simplify 0 into 0 0.278 * [backup-simplify]: Simplify 1 into 1 0.279 * [backup-simplify]: Simplify (/ -1 1) into -1 0.279 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 0.279 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 0.279 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 0.279 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.279 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.279 * [taylor]: Taking taylor expansion of -1 in b 0.279 * [backup-simplify]: Simplify -1 into -1 0.279 * [taylor]: Taking taylor expansion of b in b 0.279 * [backup-simplify]: Simplify 0 into 0 0.279 * [backup-simplify]: Simplify 1 into 1 0.280 * [backup-simplify]: Simplify (/ -1 1) into -1 0.280 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 0.280 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.280 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.280 * [taylor]: Taking taylor expansion of -1 in b 0.280 * [backup-simplify]: Simplify -1 into -1 0.280 * [taylor]: Taking taylor expansion of a in b 0.280 * [backup-simplify]: Simplify a into a 0.280 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 0.280 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 0.280 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 0.280 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 0.280 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0 0.281 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 0.281 * [backup-simplify]: Simplify (+ 0 0) into 0 0.281 * [taylor]: Taking taylor expansion of 0 in b 0.281 * [backup-simplify]: Simplify 0 into 0 0.281 * [backup-simplify]: Simplify 0 into 0 0.281 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 0.282 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 0.282 * [backup-simplify]: Simplify (+ 0 0) into 0 0.282 * [backup-simplify]: Simplify 0 into 0 0.282 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.283 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.283 * [backup-simplify]: Simplify (+ 0 0) into 0 0.283 * [taylor]: Taking taylor expansion of 0 in b 0.283 * [backup-simplify]: Simplify 0 into 0 0.283 * [backup-simplify]: Simplify 0 into 0 0.284 * [backup-simplify]: Simplify 0 into 0 0.284 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 0.284 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.285 * [backup-simplify]: Simplify (+ 0 0) into 0 0.285 * [backup-simplify]: Simplify 0 into 0 0.285 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.286 * [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.286 * [backup-simplify]: Simplify (+ 0 0) into 0 0.286 * [taylor]: Taking taylor expansion of 0 in b 0.286 * [backup-simplify]: Simplify 0 into 0 0.286 * [backup-simplify]: Simplify 0 into 0 0.286 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a))))) into (+ (exp b) (exp a)) 0.286 * * * [progress]: simplifying candidates 0.286 * * * * [progress]: [ 1 / 53 ] simplifiying candidate # 0.286 * * * * [progress]: [ 2 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 3 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 4 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 5 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 6 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 7 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 8 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 9 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 10 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 11 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 12 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 13 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 14 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 15 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 16 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 17 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 18 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 19 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 20 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 21 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 22 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 23 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 24 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 25 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 26 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 27 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 28 / 53 ] simplifiying candidate # 0.287 * * * * [progress]: [ 29 / 53 ] simplifiying candidate # 0.288 * * * * [progress]: [ 30 / 53 ] simplifiying candidate # 0.288 * * * * [progress]: [ 31 / 53 ] simplifiying candidate # 0.288 * * * * [progress]: [ 32 / 53 ] simplifiying candidate # 0.288 * * * * [progress]: [ 33 / 53 ] simplifiying candidate # 0.288 * * * * [progress]: [ 34 / 53 ] simplifiying candidate #real (real->posit16 (/ (exp a) (+ (exp a) (exp b))))))> 0.288 * * * * [progress]: [ 35 / 53 ] simplifiying candidate # 0.288 * * * * [progress]: [ 36 / 53 ] simplifiying candidate # 0.288 * * * * [progress]: [ 37 / 53 ] simplifiying candidate # 0.288 * * * * [progress]: [ 38 / 53 ] simplifiying candidate # 0.288 * * * * [progress]: [ 39 / 53 ] simplifiying candidate # 0.288 * * * * [progress]: [ 40 / 53 ] simplifiying candidate # 0.288 * * * * [progress]: [ 41 / 53 ] simplifiying candidate # 0.288 * * * * [progress]: [ 42 / 53 ] simplifiying candidate # 0.288 * * * * [progress]: [ 43 / 53 ] simplifiying candidate # 0.288 * * * * [progress]: [ 44 / 53 ] simplifiying candidate # 0.288 * * * * [progress]: [ 45 / 53 ] simplifiying candidate # 0.288 * * * * [progress]: [ 46 / 53 ] simplifiying candidate #real (real->posit16 (+ (exp a) (exp b))))))> 0.288 * * * * [progress]: [ 47 / 53 ] simplifiying candidate # 0.288 * * * * [progress]: [ 48 / 53 ] simplifiying candidate # 0.288 * * * * [progress]: [ 49 / 53 ] simplifiying candidate # 0.288 * * * * [progress]: [ 50 / 53 ] simplifiying candidate # 0.288 * * * * [progress]: [ 51 / 53 ] simplifiying candidate # 0.288 * * * * [progress]: [ 52 / 53 ] simplifiying candidate # 0.288 * * * * [progress]: [ 53 / 53 ] simplifiying candidate # 0.289 * [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)))) (real->posit16 (/ (exp a) (+ (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)) (real->posit16 (+ (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.290 * * [simplify]: iteration 0: 80 enodes 0.313 * * [simplify]: iteration 1: 178 enodes 0.363 * * [simplify]: iteration 2: 471 enodes 0.553 * * [simplify]: iteration 3: 1052 enodes 0.842 * * [simplify]: iteration 4: 2004 enodes 1.139 * * [simplify]: iteration complete: 2004 enodes 1.140 * * [simplify]: Extracting #0: cost 50 inf + 0 1.141 * * [simplify]: Extracting #1: cost 344 inf + 1 1.144 * * [simplify]: Extracting #2: cost 512 inf + 3428 1.158 * * [simplify]: Extracting #3: cost 266 inf + 59110 1.187 * * [simplify]: Extracting #4: cost 82 inf + 119970 1.207 * * [simplify]: Extracting #5: cost 56 inf + 139113 1.228 * * [simplify]: Extracting #6: cost 23 inf + 144990 1.266 * * [simplify]: Extracting #7: cost 1 inf + 152595 1.306 * * [simplify]: Extracting #8: cost 0 inf + 152918 1.328 * [simplify]: Simplified to: (log (/ (exp a) (+ (exp a) (exp b)))) (log (/ (exp a) (+ (exp a) (exp b)))) (exp (/ (exp a) (+ (exp a) (exp b)))) (* (* (/ (exp a) (+ (exp a) (exp b))) (/ (exp a) (+ (exp a) (exp b)))) (/ (exp a) (+ (exp a) (exp b)))) (* (cbrt (/ (exp a) (+ (exp a) (exp b)))) (cbrt (/ (exp a) (+ (exp a) (exp b))))) (cbrt (/ (exp a) (+ (exp a) (exp b)))) (* (* (/ (exp a) (+ (exp a) (exp b))) (/ (exp a) (+ (exp a) (exp b)))) (/ (exp a) (+ (exp a) (exp b)))) (sqrt (/ (exp a) (+ (exp a) (exp b)))) (sqrt (/ (exp a) (+ (exp a) (exp b)))) (- (exp a)) (- (- (exp b)) (exp a)) (* (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))) (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b))))) (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))) (* (cbrt (exp a)) (/ (cbrt (exp a)) (sqrt (+ (exp a) (exp b))))) (/ (cbrt (exp a)) (sqrt (+ (exp a) (exp b)))) (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))) (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))) (/ (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))) (cbrt (+ (exp a) (exp b)))) (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))) (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp a) (exp b))) (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp a) (exp b))) (/ (/ 1 (cbrt (+ (exp a) (exp b)))) (cbrt (+ (exp a) (exp b)))) (/ (exp a) (cbrt (+ (exp a) (exp b)))) (/ 1 (sqrt (+ (exp a) (exp b)))) (/ (exp a) (sqrt (+ (exp a) (exp b)))) 1 (/ (exp a) (+ (exp a) (exp b))) 1 (/ (exp a) (+ (exp a) (exp b))) (/ 1 (+ (exp a) (exp b))) (/ (+ (exp a) (exp b)) (exp a)) (/ (/ (exp a) (cbrt (+ (exp a) (exp b)))) (cbrt (+ (exp a) (exp b)))) (/ (exp a) (sqrt (+ (exp a) (exp b)))) (exp a) (exp a) (/ (+ (exp a) (exp b)) (cbrt (exp a))) (/ (+ (exp a) (exp b)) (sqrt (exp a))) (/ (+ (exp a) (exp b)) (exp a)) (/ (exp a) (+ (exp (* 3 b)) (exp (* 3 a)))) (/ (exp a) (* (+ (exp b) (exp a)) (- (exp a) (exp b)))) (real->posit16 (/ (exp a) (+ (exp a) (exp b)))) (exp (+ (exp b) (exp a))) (log (+ (exp a) (exp b))) (exp (+ (exp b) (exp a))) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b)))) (cbrt (+ (exp a) (exp b))) (* (* (+ (exp a) (exp b)) (+ (exp a) (exp b))) (+ (exp a) (exp b))) (sqrt (+ (exp a) (exp b))) (sqrt (+ (exp a) (exp b))) (+ (exp (* 3 b)) (exp (* 3 a))) (+ (* (exp a) (exp a)) (* (- (exp b) (exp a)) (exp b))) (* (+ (exp b) (exp a)) (- (exp a) (exp b))) (- (exp a) (exp b)) (+ (exp a) (exp b)) (real->posit16 (+ (exp a) (exp b))) (- 1/2 (* 1/4 (- b a))) (/ (exp a) (+ (exp a) (exp b))) (/ (exp a) (+ (exp a) (exp b))) (+ (+ 2 b) a) (+ (exp a) (exp b)) (+ (exp a) (exp b)) 1.330 * * * [progress]: adding candidates to table 1.529 * * [progress]: iteration 2 / 4 1.529 * * * [progress]: picking best candidate 1.538 * * * * [pick]: Picked # 1.538 * * * [progress]: localizing error 1.557 * * * [progress]: generating rewritten candidates 1.557 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 1.563 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 1.582 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2 1) 1.602 * * * [progress]: generating series expansions 1.603 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 1.603 * [backup-simplify]: Simplify (log (+ (exp a) (exp b))) into (log (+ (exp a) (exp b))) 1.603 * [approximate]: Taking taylor expansion of (log (+ (exp a) (exp b))) in (a b) around 0 1.603 * [taylor]: Taking taylor expansion of (log (+ (exp a) (exp b))) in b 1.603 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in b 1.603 * [taylor]: Taking taylor expansion of (exp a) in b 1.603 * [taylor]: Taking taylor expansion of a in b 1.603 * [backup-simplify]: Simplify a into a 1.603 * [backup-simplify]: Simplify (exp a) into (exp a) 1.603 * [taylor]: Taking taylor expansion of (exp b) in b 1.603 * [taylor]: Taking taylor expansion of b in b 1.603 * [backup-simplify]: Simplify 0 into 0 1.603 * [backup-simplify]: Simplify 1 into 1 1.603 * [backup-simplify]: Simplify (exp 0) into 1 1.603 * [backup-simplify]: Simplify (+ (exp a) 1) into (+ (exp a) 1) 1.603 * [backup-simplify]: Simplify (log (+ (exp a) 1)) into (log (+ (exp a) 1)) 1.603 * [taylor]: Taking taylor expansion of (log (+ (exp a) (exp b))) in a 1.603 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a 1.603 * [taylor]: Taking taylor expansion of (exp a) in a 1.603 * [taylor]: Taking taylor expansion of a in a 1.604 * [backup-simplify]: Simplify 0 into 0 1.604 * [backup-simplify]: Simplify 1 into 1 1.604 * [backup-simplify]: Simplify (exp 0) into 1 1.604 * [taylor]: Taking taylor expansion of (exp b) in a 1.604 * [taylor]: Taking taylor expansion of b in a 1.604 * [backup-simplify]: Simplify b into b 1.604 * [backup-simplify]: Simplify (exp b) into (exp b) 1.604 * [backup-simplify]: Simplify (+ 1 (exp b)) into (+ (exp b) 1) 1.604 * [backup-simplify]: Simplify (log (+ (exp b) 1)) into (log (+ (exp b) 1)) 1.604 * [taylor]: Taking taylor expansion of (log (+ (exp a) (exp b))) in a 1.604 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a 1.604 * [taylor]: Taking taylor expansion of (exp a) in a 1.604 * [taylor]: Taking taylor expansion of a in a 1.604 * [backup-simplify]: Simplify 0 into 0 1.604 * [backup-simplify]: Simplify 1 into 1 1.604 * [backup-simplify]: Simplify (exp 0) into 1 1.604 * [taylor]: Taking taylor expansion of (exp b) in a 1.604 * [taylor]: Taking taylor expansion of b in a 1.604 * [backup-simplify]: Simplify b into b 1.604 * [backup-simplify]: Simplify (exp b) into (exp b) 1.604 * [backup-simplify]: Simplify (+ 1 (exp b)) into (+ (exp b) 1) 1.604 * [backup-simplify]: Simplify (log (+ (exp b) 1)) into (log (+ (exp b) 1)) 1.604 * [taylor]: Taking taylor expansion of (log (+ (exp b) 1)) in b 1.604 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b 1.604 * [taylor]: Taking taylor expansion of (exp b) in b 1.604 * [taylor]: Taking taylor expansion of b in b 1.604 * [backup-simplify]: Simplify 0 into 0 1.604 * [backup-simplify]: Simplify 1 into 1 1.604 * [backup-simplify]: Simplify (exp 0) into 1 1.604 * [taylor]: Taking taylor expansion of 1 in b 1.604 * [backup-simplify]: Simplify 1 into 1 1.605 * [backup-simplify]: Simplify (+ 1 1) into 2 1.605 * [backup-simplify]: Simplify (log 2) into (log 2) 1.605 * [backup-simplify]: Simplify (log 2) into (log 2) 1.606 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.607 * [backup-simplify]: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0 1.607 * [backup-simplify]: Simplify (+ 1 0) into 1 1.607 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (+ (exp b) 1) 1)))) 1) into (/ 1 (+ (exp b) 1)) 1.607 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b 1.607 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b 1.608 * [taylor]: Taking taylor expansion of (exp b) in b 1.608 * [taylor]: Taking taylor expansion of b in b 1.608 * [backup-simplify]: Simplify 0 into 0 1.608 * [backup-simplify]: Simplify 1 into 1 1.608 * [backup-simplify]: Simplify (exp 0) into 1 1.608 * [taylor]: Taking taylor expansion of 1 in b 1.608 * [backup-simplify]: Simplify 1 into 1 1.608 * [backup-simplify]: Simplify (+ 1 1) into 2 1.608 * [backup-simplify]: Simplify (/ 1 2) into 1/2 1.608 * [backup-simplify]: Simplify 1/2 into 1/2 1.609 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.609 * [backup-simplify]: Simplify (+ 1 0) into 1 1.610 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2 1.610 * [backup-simplify]: Simplify 1/2 into 1/2 1.610 * [backup-simplify]: Simplify (+ (* 1/2 (* b 1)) (+ (* 1/2 (* 1 a)) (log 2))) into (+ (* 1/2 a) (+ (* 1/2 b) (log 2))) 1.610 * [backup-simplify]: Simplify (log (+ (exp (/ 1 a)) (exp (/ 1 b)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1.610 * [approximate]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in (a b) around 0 1.610 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b 1.610 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1.610 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 1.610 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.610 * [taylor]: Taking taylor expansion of b in b 1.610 * [backup-simplify]: Simplify 0 into 0 1.610 * [backup-simplify]: Simplify 1 into 1 1.611 * [backup-simplify]: Simplify (/ 1 1) into 1 1.611 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1.611 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.611 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.611 * [taylor]: Taking taylor expansion of a in b 1.611 * [backup-simplify]: Simplify a into a 1.611 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.611 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1.611 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1.611 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1.611 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a 1.611 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1.611 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 1.611 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.611 * [taylor]: Taking taylor expansion of b in a 1.611 * [backup-simplify]: Simplify b into b 1.611 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.611 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1.611 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.611 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.611 * [taylor]: Taking taylor expansion of a in a 1.611 * [backup-simplify]: Simplify 0 into 0 1.611 * [backup-simplify]: Simplify 1 into 1 1.612 * [backup-simplify]: Simplify (/ 1 1) into 1 1.612 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1.612 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1.612 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1.612 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a 1.612 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1.612 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 1.612 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.612 * [taylor]: Taking taylor expansion of b in a 1.612 * [backup-simplify]: Simplify b into b 1.612 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.612 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1.612 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.612 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.612 * [taylor]: Taking taylor expansion of a in a 1.612 * [backup-simplify]: Simplify 0 into 0 1.612 * [backup-simplify]: Simplify 1 into 1 1.612 * [backup-simplify]: Simplify (/ 1 1) into 1 1.612 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1.612 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1.612 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1.613 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b 1.613 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1.613 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 1.613 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.613 * [taylor]: Taking taylor expansion of b in b 1.613 * [backup-simplify]: Simplify 0 into 0 1.613 * [backup-simplify]: Simplify 1 into 1 1.613 * [backup-simplify]: Simplify (/ 1 1) into 1 1.613 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1.613 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.613 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.613 * [taylor]: Taking taylor expansion of a in b 1.613 * [backup-simplify]: Simplify a into a 1.613 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.613 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1.613 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1.613 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1.613 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1.613 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1.614 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1.614 * [backup-simplify]: Simplify (+ 0 0) into 0 1.615 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 b)) (exp (/ 1 a))) 1)))) 1) into 0 1.615 * [taylor]: Taking taylor expansion of 0 in b 1.615 * [backup-simplify]: Simplify 0 into 0 1.615 * [backup-simplify]: Simplify 0 into 0 1.615 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.615 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1.616 * [backup-simplify]: Simplify (+ 0 0) into 0 1.616 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 b)) (exp (/ 1 a))) 1)))) 1) into 0 1.616 * [backup-simplify]: Simplify 0 into 0 1.617 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1.618 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.618 * [backup-simplify]: Simplify (+ 0 0) into 0 1.620 * [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 1.620 * [taylor]: Taking taylor expansion of 0 in b 1.620 * [backup-simplify]: Simplify 0 into 0 1.620 * [backup-simplify]: Simplify 0 into 0 1.620 * [backup-simplify]: Simplify 0 into 0 1.620 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1.621 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.621 * [backup-simplify]: Simplify (+ 0 0) into 0 1.622 * [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 1.622 * [backup-simplify]: Simplify 0 into 0 1.622 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 1.623 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.623 * [backup-simplify]: Simplify (+ 0 0) into 0 1.626 * [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 1.627 * [taylor]: Taking taylor expansion of 0 in b 1.627 * [backup-simplify]: Simplify 0 into 0 1.627 * [backup-simplify]: Simplify 0 into 0 1.627 * [backup-simplify]: Simplify (log (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a))))) into (log (+ (exp b) (exp a))) 1.627 * [backup-simplify]: Simplify (log (+ (exp (/ 1 (- a))) (exp (/ 1 (- b))))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1.627 * [approximate]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in (a b) around 0 1.627 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b 1.627 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1.627 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 1.627 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.627 * [taylor]: Taking taylor expansion of -1 in b 1.627 * [backup-simplify]: Simplify -1 into -1 1.627 * [taylor]: Taking taylor expansion of b in b 1.627 * [backup-simplify]: Simplify 0 into 0 1.627 * [backup-simplify]: Simplify 1 into 1 1.628 * [backup-simplify]: Simplify (/ -1 1) into -1 1.628 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1.628 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.628 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.628 * [taylor]: Taking taylor expansion of -1 in b 1.628 * [backup-simplify]: Simplify -1 into -1 1.628 * [taylor]: Taking taylor expansion of a in b 1.628 * [backup-simplify]: Simplify a into a 1.628 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 1.628 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1.628 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1.628 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1.628 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a 1.629 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1.629 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 1.629 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.629 * [taylor]: Taking taylor expansion of -1 in a 1.629 * [backup-simplify]: Simplify -1 into -1 1.629 * [taylor]: Taking taylor expansion of b in a 1.629 * [backup-simplify]: Simplify b into b 1.629 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b) 1.629 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1.629 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.629 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.629 * [taylor]: Taking taylor expansion of -1 in a 1.629 * [backup-simplify]: Simplify -1 into -1 1.629 * [taylor]: Taking taylor expansion of a in a 1.629 * [backup-simplify]: Simplify 0 into 0 1.629 * [backup-simplify]: Simplify 1 into 1 1.629 * [backup-simplify]: Simplify (/ -1 1) into -1 1.630 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1.630 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1.630 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1.630 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a 1.630 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1.630 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 1.630 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.630 * [taylor]: Taking taylor expansion of -1 in a 1.630 * [backup-simplify]: Simplify -1 into -1 1.630 * [taylor]: Taking taylor expansion of b in a 1.630 * [backup-simplify]: Simplify b into b 1.630 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b) 1.630 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1.630 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.630 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.630 * [taylor]: Taking taylor expansion of -1 in a 1.630 * [backup-simplify]: Simplify -1 into -1 1.630 * [taylor]: Taking taylor expansion of a in a 1.630 * [backup-simplify]: Simplify 0 into 0 1.630 * [backup-simplify]: Simplify 1 into 1 1.631 * [backup-simplify]: Simplify (/ -1 1) into -1 1.631 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1.631 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1.631 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1.631 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b 1.631 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1.631 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 1.631 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.631 * [taylor]: Taking taylor expansion of -1 in b 1.631 * [backup-simplify]: Simplify -1 into -1 1.632 * [taylor]: Taking taylor expansion of b in b 1.632 * [backup-simplify]: Simplify 0 into 0 1.632 * [backup-simplify]: Simplify 1 into 1 1.632 * [backup-simplify]: Simplify (/ -1 1) into -1 1.632 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1.632 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.632 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.632 * [taylor]: Taking taylor expansion of -1 in b 1.632 * [backup-simplify]: Simplify -1 into -1 1.632 * [taylor]: Taking taylor expansion of a in b 1.632 * [backup-simplify]: Simplify a into a 1.632 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 1.632 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1.633 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1.633 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1.633 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1.633 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0 1.634 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1.634 * [backup-simplify]: Simplify (+ 0 0) into 0 1.635 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 b)) (exp (/ -1 a))) 1)))) 1) into 0 1.635 * [taylor]: Taking taylor expansion of 0 in b 1.635 * [backup-simplify]: Simplify 0 into 0 1.635 * [backup-simplify]: Simplify 0 into 0 1.636 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1.637 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1.637 * [backup-simplify]: Simplify (+ 0 0) into 0 1.638 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 b)) (exp (/ -1 a))) 1)))) 1) into 0 1.638 * [backup-simplify]: Simplify 0 into 0 1.638 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1.640 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.641 * [backup-simplify]: Simplify (+ 0 0) into 0 1.643 * [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 1.643 * [taylor]: Taking taylor expansion of 0 in b 1.643 * [backup-simplify]: Simplify 0 into 0 1.643 * [backup-simplify]: Simplify 0 into 0 1.643 * [backup-simplify]: Simplify 0 into 0 1.643 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1.645 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.645 * [backup-simplify]: Simplify (+ 0 0) into 0 1.647 * [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 1.647 * [backup-simplify]: Simplify 0 into 0 1.647 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 1.649 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.650 * [backup-simplify]: Simplify (+ 0 0) into 0 1.653 * [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 1.653 * [taylor]: Taking taylor expansion of 0 in b 1.653 * [backup-simplify]: Simplify 0 into 0 1.653 * [backup-simplify]: Simplify 0 into 0 1.653 * [backup-simplify]: Simplify (log (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a)))))) into (log (+ (exp b) (exp a))) 1.653 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 1.653 * [backup-simplify]: Simplify (- a (log (+ (exp a) (exp b)))) into (- a (log (+ (exp a) (exp b)))) 1.653 * [approximate]: Taking taylor expansion of (- a (log (+ (exp a) (exp b)))) in (a b) around 0 1.653 * [taylor]: Taking taylor expansion of (- a (log (+ (exp a) (exp b)))) in b 1.653 * [taylor]: Taking taylor expansion of a in b 1.654 * [backup-simplify]: Simplify a into a 1.654 * [taylor]: Taking taylor expansion of (log (+ (exp a) (exp b))) in b 1.654 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in b 1.654 * [taylor]: Taking taylor expansion of (exp a) in b 1.654 * [taylor]: Taking taylor expansion of a in b 1.654 * [backup-simplify]: Simplify a into a 1.654 * [backup-simplify]: Simplify (exp a) into (exp a) 1.654 * [taylor]: Taking taylor expansion of (exp b) in b 1.654 * [taylor]: Taking taylor expansion of b in b 1.654 * [backup-simplify]: Simplify 0 into 0 1.654 * [backup-simplify]: Simplify 1 into 1 1.654 * [backup-simplify]: Simplify (exp 0) into 1 1.654 * [backup-simplify]: Simplify (+ (exp a) 1) into (+ (exp a) 1) 1.654 * [backup-simplify]: Simplify (log (+ (exp a) 1)) into (log (+ (exp a) 1)) 1.654 * [taylor]: Taking taylor expansion of (- a (log (+ (exp a) (exp b)))) in a 1.654 * [taylor]: Taking taylor expansion of a in a 1.654 * [backup-simplify]: Simplify 0 into 0 1.654 * [backup-simplify]: Simplify 1 into 1 1.654 * [taylor]: Taking taylor expansion of (log (+ (exp a) (exp b))) in a 1.654 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a 1.654 * [taylor]: Taking taylor expansion of (exp a) in a 1.654 * [taylor]: Taking taylor expansion of a in a 1.654 * [backup-simplify]: Simplify 0 into 0 1.654 * [backup-simplify]: Simplify 1 into 1 1.654 * [backup-simplify]: Simplify (exp 0) into 1 1.654 * [taylor]: Taking taylor expansion of (exp b) in a 1.654 * [taylor]: Taking taylor expansion of b in a 1.654 * [backup-simplify]: Simplify b into b 1.654 * [backup-simplify]: Simplify (exp b) into (exp b) 1.654 * [backup-simplify]: Simplify (+ 1 (exp b)) into (+ (exp b) 1) 1.654 * [backup-simplify]: Simplify (log (+ (exp b) 1)) into (log (+ (exp b) 1)) 1.655 * [taylor]: Taking taylor expansion of (- a (log (+ (exp a) (exp b)))) in a 1.655 * [taylor]: Taking taylor expansion of a in a 1.655 * [backup-simplify]: Simplify 0 into 0 1.655 * [backup-simplify]: Simplify 1 into 1 1.655 * [taylor]: Taking taylor expansion of (log (+ (exp a) (exp b))) in a 1.655 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a 1.655 * [taylor]: Taking taylor expansion of (exp a) in a 1.655 * [taylor]: Taking taylor expansion of a in a 1.655 * [backup-simplify]: Simplify 0 into 0 1.655 * [backup-simplify]: Simplify 1 into 1 1.655 * [backup-simplify]: Simplify (exp 0) into 1 1.655 * [taylor]: Taking taylor expansion of (exp b) in a 1.655 * [taylor]: Taking taylor expansion of b in a 1.655 * [backup-simplify]: Simplify b into b 1.655 * [backup-simplify]: Simplify (exp b) into (exp b) 1.655 * [backup-simplify]: Simplify (+ 1 (exp b)) into (+ (exp b) 1) 1.655 * [backup-simplify]: Simplify (log (+ (exp b) 1)) into (log (+ (exp b) 1)) 1.655 * [backup-simplify]: Simplify (- (log (+ (exp b) 1))) into (- (log (+ (exp b) 1))) 1.655 * [backup-simplify]: Simplify (+ 0 (- (log (+ (exp b) 1)))) into (- (log (+ (exp b) 1))) 1.655 * [taylor]: Taking taylor expansion of (- (log (+ (exp b) 1))) in b 1.655 * [taylor]: Taking taylor expansion of (log (+ (exp b) 1)) in b 1.655 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b 1.655 * [taylor]: Taking taylor expansion of (exp b) in b 1.655 * [taylor]: Taking taylor expansion of b in b 1.655 * [backup-simplify]: Simplify 0 into 0 1.655 * [backup-simplify]: Simplify 1 into 1 1.655 * [backup-simplify]: Simplify (exp 0) into 1 1.655 * [taylor]: Taking taylor expansion of 1 in b 1.656 * [backup-simplify]: Simplify 1 into 1 1.656 * [backup-simplify]: Simplify (+ 1 1) into 2 1.657 * [backup-simplify]: Simplify (log 2) into (log 2) 1.657 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2)) 1.658 * [backup-simplify]: Simplify (- (log 2)) into (- (log 2)) 1.659 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.660 * [backup-simplify]: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0 1.661 * [backup-simplify]: Simplify (+ 1 0) into 1 1.661 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (+ (exp b) 1) 1)))) 1) into (/ 1 (+ (exp b) 1)) 1.661 * [backup-simplify]: Simplify (- (/ 1 (+ (exp b) 1))) into (- (/ 1 (+ (exp b) 1))) 1.662 * [backup-simplify]: Simplify (+ 1 (- (/ 1 (+ (exp b) 1)))) into (- 1 (/ 1 (+ (exp b) 1))) 1.662 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (+ (exp b) 1))) in b 1.662 * [taylor]: Taking taylor expansion of 1 in b 1.662 * [backup-simplify]: Simplify 1 into 1 1.662 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b 1.662 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b 1.662 * [taylor]: Taking taylor expansion of (exp b) in b 1.662 * [taylor]: Taking taylor expansion of b in b 1.662 * [backup-simplify]: Simplify 0 into 0 1.662 * [backup-simplify]: Simplify 1 into 1 1.662 * [backup-simplify]: Simplify (exp 0) into 1 1.662 * [taylor]: Taking taylor expansion of 1 in b 1.662 * [backup-simplify]: Simplify 1 into 1 1.662 * [backup-simplify]: Simplify (+ 1 1) into 2 1.663 * [backup-simplify]: Simplify (/ 1 2) into 1/2 1.663 * [backup-simplify]: Simplify (- 1/2) into -1/2 1.664 * [backup-simplify]: Simplify (+ 1 -1/2) into 1/2 1.664 * [backup-simplify]: Simplify 1/2 into 1/2 1.665 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.665 * [backup-simplify]: Simplify (+ 1 0) into 1 1.667 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2 1.667 * [backup-simplify]: Simplify (- 1/2) into -1/2 1.667 * [backup-simplify]: Simplify -1/2 into -1/2 1.668 * [backup-simplify]: Simplify (+ (* -1/2 (* b 1)) (+ (* 1/2 (* 1 a)) (- (log 2)))) into (- (* 1/2 a) (+ (* 1/2 b) (log 2))) 1.669 * [backup-simplify]: Simplify (- (/ 1 a) (log (+ (exp (/ 1 a)) (exp (/ 1 b))))) into (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) 1.669 * [approximate]: Taking taylor expansion of (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) in (a b) around 0 1.669 * [taylor]: Taking taylor expansion of (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) in b 1.669 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.669 * [taylor]: Taking taylor expansion of a in b 1.669 * [backup-simplify]: Simplify a into a 1.669 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.669 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b 1.669 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1.669 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 1.669 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.669 * [taylor]: Taking taylor expansion of b in b 1.669 * [backup-simplify]: Simplify 0 into 0 1.669 * [backup-simplify]: Simplify 1 into 1 1.670 * [backup-simplify]: Simplify (/ 1 1) into 1 1.670 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1.670 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.670 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.670 * [taylor]: Taking taylor expansion of a in b 1.670 * [backup-simplify]: Simplify a into a 1.670 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.670 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1.670 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1.670 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1.670 * [taylor]: Taking taylor expansion of (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) in a 1.670 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.670 * [taylor]: Taking taylor expansion of a in a 1.670 * [backup-simplify]: Simplify 0 into 0 1.670 * [backup-simplify]: Simplify 1 into 1 1.671 * [backup-simplify]: Simplify (/ 1 1) into 1 1.671 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a 1.671 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1.671 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 1.671 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.671 * [taylor]: Taking taylor expansion of b in a 1.671 * [backup-simplify]: Simplify b into b 1.671 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.671 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1.671 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.671 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.671 * [taylor]: Taking taylor expansion of a in a 1.671 * [backup-simplify]: Simplify 0 into 0 1.672 * [backup-simplify]: Simplify 1 into 1 1.672 * [backup-simplify]: Simplify (/ 1 1) into 1 1.672 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1.673 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1.673 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1.673 * [taylor]: Taking taylor expansion of (- (/ 1 a) (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) in a 1.673 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.673 * [taylor]: Taking taylor expansion of a in a 1.673 * [backup-simplify]: Simplify 0 into 0 1.673 * [backup-simplify]: Simplify 1 into 1 1.673 * [backup-simplify]: Simplify (/ 1 1) into 1 1.673 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a 1.673 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1.673 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 1.673 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.673 * [taylor]: Taking taylor expansion of b in a 1.673 * [backup-simplify]: Simplify b into b 1.674 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.674 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1.674 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.674 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.674 * [taylor]: Taking taylor expansion of a in a 1.674 * [backup-simplify]: Simplify 0 into 0 1.674 * [backup-simplify]: Simplify 1 into 1 1.674 * [backup-simplify]: Simplify (/ 1 1) into 1 1.674 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1.674 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1.675 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1.675 * [backup-simplify]: Simplify (+ 1 0) into 1 1.675 * [taylor]: Taking taylor expansion of 1 in b 1.675 * [backup-simplify]: Simplify 1 into 1 1.675 * [backup-simplify]: Simplify 1 into 1 1.676 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.676 * [backup-simplify]: Simplify (- (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) into (- (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) 1.677 * [backup-simplify]: Simplify (+ 0 (- (log (+ (exp (/ 1 b)) (exp (/ 1 a)))))) into (- (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) 1.677 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) in b 1.677 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b 1.677 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1.677 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 1.677 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.677 * [taylor]: Taking taylor expansion of b in b 1.677 * [backup-simplify]: Simplify 0 into 0 1.677 * [backup-simplify]: Simplify 1 into 1 1.677 * [backup-simplify]: Simplify (/ 1 1) into 1 1.677 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1.677 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.677 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.678 * [taylor]: Taking taylor expansion of a in b 1.678 * [backup-simplify]: Simplify a into a 1.678 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.678 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1.678 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1.678 * [backup-simplify]: Simplify (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (log (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1.678 * [backup-simplify]: Simplify (- (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) into (- (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) 1.678 * [backup-simplify]: Simplify (- (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) into (- (log (+ (exp (/ 1 b)) (exp (/ 1 a))))) 1.678 * [backup-simplify]: Simplify 0 into 0 1.679 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.679 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1.680 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1.681 * [backup-simplify]: Simplify (+ 0 0) into 0 1.682 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 b)) (exp (/ 1 a))) 1)))) 1) into 0 1.682 * [backup-simplify]: Simplify (- 0) into 0 1.682 * [backup-simplify]: Simplify (+ 0 0) into 0 1.682 * [taylor]: Taking taylor expansion of 0 in b 1.682 * [backup-simplify]: Simplify 0 into 0 1.682 * [backup-simplify]: Simplify 0 into 0 1.683 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.683 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1.684 * [backup-simplify]: Simplify (+ 0 0) into 0 1.685 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 b)) (exp (/ 1 a))) 1)))) 1) into 0 1.685 * [backup-simplify]: Simplify (- 0) into 0 1.685 * [backup-simplify]: Simplify 0 into 0 1.685 * [backup-simplify]: Simplify 0 into 0 1.686 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.686 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1.688 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.688 * [backup-simplify]: Simplify (+ 0 0) into 0 1.690 * [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 1.690 * [backup-simplify]: Simplify (- 0) into 0 1.691 * [backup-simplify]: Simplify (+ 0 0) into 0 1.691 * [taylor]: Taking taylor expansion of 0 in b 1.691 * [backup-simplify]: Simplify 0 into 0 1.691 * [backup-simplify]: Simplify 0 into 0 1.691 * [backup-simplify]: Simplify 0 into 0 1.691 * [backup-simplify]: Simplify (+ (- (log (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a)))))) (* 1 (* 1 (/ 1 (/ 1 a))))) into (- a (log (+ (exp b) (exp a)))) 1.692 * [backup-simplify]: Simplify (- (/ 1 (- a)) (log (+ (exp (/ 1 (- a))) (exp (/ 1 (- b)))))) into (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))) 1.692 * [approximate]: Taking taylor expansion of (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))) in (a b) around 0 1.692 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))) in b 1.692 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) in b 1.692 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.692 * [taylor]: Taking taylor expansion of a in b 1.692 * [backup-simplify]: Simplify a into a 1.692 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.692 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b 1.692 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1.692 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 1.692 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.692 * [taylor]: Taking taylor expansion of -1 in b 1.692 * [backup-simplify]: Simplify -1 into -1 1.692 * [taylor]: Taking taylor expansion of b in b 1.692 * [backup-simplify]: Simplify 0 into 0 1.692 * [backup-simplify]: Simplify 1 into 1 1.692 * [backup-simplify]: Simplify (/ -1 1) into -1 1.692 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1.692 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.692 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.692 * [taylor]: Taking taylor expansion of -1 in b 1.692 * [backup-simplify]: Simplify -1 into -1 1.692 * [taylor]: Taking taylor expansion of a in b 1.692 * [backup-simplify]: Simplify a into a 1.692 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 1.692 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1.693 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1.693 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1.693 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))) in a 1.693 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) in a 1.693 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.693 * [taylor]: Taking taylor expansion of a in a 1.693 * [backup-simplify]: Simplify 0 into 0 1.693 * [backup-simplify]: Simplify 1 into 1 1.693 * [backup-simplify]: Simplify (/ 1 1) into 1 1.693 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a 1.693 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1.693 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 1.693 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.693 * [taylor]: Taking taylor expansion of -1 in a 1.693 * [backup-simplify]: Simplify -1 into -1 1.693 * [taylor]: Taking taylor expansion of b in a 1.693 * [backup-simplify]: Simplify b into b 1.693 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b) 1.693 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1.693 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.693 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.693 * [taylor]: Taking taylor expansion of -1 in a 1.693 * [backup-simplify]: Simplify -1 into -1 1.693 * [taylor]: Taking taylor expansion of a in a 1.693 * [backup-simplify]: Simplify 0 into 0 1.693 * [backup-simplify]: Simplify 1 into 1 1.694 * [backup-simplify]: Simplify (/ -1 1) into -1 1.694 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1.694 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1.694 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1.694 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a)))))) in a 1.694 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) in a 1.694 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.694 * [taylor]: Taking taylor expansion of a in a 1.694 * [backup-simplify]: Simplify 0 into 0 1.694 * [backup-simplify]: Simplify 1 into 1 1.694 * [backup-simplify]: Simplify (/ 1 1) into 1 1.694 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a 1.694 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1.694 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 1.694 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.694 * [taylor]: Taking taylor expansion of -1 in a 1.694 * [backup-simplify]: Simplify -1 into -1 1.694 * [taylor]: Taking taylor expansion of b in a 1.694 * [backup-simplify]: Simplify b into b 1.694 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b) 1.694 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1.694 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.694 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.694 * [taylor]: Taking taylor expansion of -1 in a 1.694 * [backup-simplify]: Simplify -1 into -1 1.694 * [taylor]: Taking taylor expansion of a in a 1.694 * [backup-simplify]: Simplify 0 into 0 1.694 * [backup-simplify]: Simplify 1 into 1 1.695 * [backup-simplify]: Simplify (/ -1 1) into -1 1.695 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1.695 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1.695 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1.695 * [backup-simplify]: Simplify (+ 1 0) into 1 1.695 * [backup-simplify]: Simplify (- 1) into -1 1.695 * [taylor]: Taking taylor expansion of -1 in b 1.695 * [backup-simplify]: Simplify -1 into -1 1.696 * [backup-simplify]: Simplify -1 into -1 1.696 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.696 * [backup-simplify]: Simplify (+ 0 (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1.696 * [backup-simplify]: Simplify (- (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) into (- (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) 1.696 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) in b 1.696 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b 1.696 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1.696 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 1.696 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.696 * [taylor]: Taking taylor expansion of -1 in b 1.696 * [backup-simplify]: Simplify -1 into -1 1.696 * [taylor]: Taking taylor expansion of b in b 1.696 * [backup-simplify]: Simplify 0 into 0 1.696 * [backup-simplify]: Simplify 1 into 1 1.697 * [backup-simplify]: Simplify (/ -1 1) into -1 1.697 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1.697 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.697 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.697 * [taylor]: Taking taylor expansion of -1 in b 1.697 * [backup-simplify]: Simplify -1 into -1 1.697 * [taylor]: Taking taylor expansion of a in b 1.697 * [backup-simplify]: Simplify a into a 1.697 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 1.697 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1.697 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1.697 * [backup-simplify]: Simplify (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (log (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1.697 * [backup-simplify]: Simplify (- (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) into (- (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) 1.697 * [backup-simplify]: Simplify (- (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) into (- (log (+ (exp (/ -1 b)) (exp (/ -1 a))))) 1.697 * [backup-simplify]: Simplify 0 into 0 1.698 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.698 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0 1.698 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1.699 * [backup-simplify]: Simplify (+ 0 0) into 0 1.699 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 b)) (exp (/ -1 a))) 1)))) 1) into 0 1.699 * [backup-simplify]: Simplify (+ 0 0) into 0 1.700 * [backup-simplify]: Simplify (- 0) into 0 1.700 * [taylor]: Taking taylor expansion of 0 in b 1.700 * [backup-simplify]: Simplify 0 into 0 1.700 * [backup-simplify]: Simplify 0 into 0 1.700 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1.700 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1.701 * [backup-simplify]: Simplify (+ 0 0) into 0 1.701 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 b)) (exp (/ -1 a))) 1)))) 1) into 0 1.701 * [backup-simplify]: Simplify (- 0) into 0 1.701 * [backup-simplify]: Simplify 0 into 0 1.701 * [backup-simplify]: Simplify 0 into 0 1.702 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.702 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1.703 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.703 * [backup-simplify]: Simplify (+ 0 0) into 0 1.704 * [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 1.704 * [backup-simplify]: Simplify (+ 0 0) into 0 1.705 * [backup-simplify]: Simplify (- 0) into 0 1.705 * [taylor]: Taking taylor expansion of 0 in b 1.705 * [backup-simplify]: Simplify 0 into 0 1.705 * [backup-simplify]: Simplify 0 into 0 1.705 * [backup-simplify]: Simplify 0 into 0 1.705 * [backup-simplify]: Simplify (+ (- (log (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a))))))) (* -1 (* 1 (/ 1 (/ 1 (- a)))))) into (- a (log (+ (exp b) (exp a)))) 1.705 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2 1) 1.705 * [backup-simplify]: Simplify (+ (exp a) (exp b)) into (+ (exp a) (exp b)) 1.705 * [approximate]: Taking taylor expansion of (+ (exp a) (exp b)) in (a b) around 0 1.705 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in b 1.705 * [taylor]: Taking taylor expansion of (exp a) in b 1.705 * [taylor]: Taking taylor expansion of a in b 1.705 * [backup-simplify]: Simplify a into a 1.705 * [backup-simplify]: Simplify (exp a) into (exp a) 1.705 * [taylor]: Taking taylor expansion of (exp b) in b 1.705 * [taylor]: Taking taylor expansion of b in b 1.705 * [backup-simplify]: Simplify 0 into 0 1.705 * [backup-simplify]: Simplify 1 into 1 1.705 * [backup-simplify]: Simplify (exp 0) into 1 1.705 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a 1.705 * [taylor]: Taking taylor expansion of (exp a) in a 1.705 * [taylor]: Taking taylor expansion of a in a 1.705 * [backup-simplify]: Simplify 0 into 0 1.705 * [backup-simplify]: Simplify 1 into 1 1.705 * [backup-simplify]: Simplify (exp 0) into 1 1.705 * [taylor]: Taking taylor expansion of (exp b) in a 1.705 * [taylor]: Taking taylor expansion of b in a 1.705 * [backup-simplify]: Simplify b into b 1.705 * [backup-simplify]: Simplify (exp b) into (exp b) 1.705 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a 1.705 * [taylor]: Taking taylor expansion of (exp a) in a 1.705 * [taylor]: Taking taylor expansion of a in a 1.705 * [backup-simplify]: Simplify 0 into 0 1.705 * [backup-simplify]: Simplify 1 into 1 1.705 * [backup-simplify]: Simplify (exp 0) into 1 1.705 * [taylor]: Taking taylor expansion of (exp b) in a 1.705 * [taylor]: Taking taylor expansion of b in a 1.705 * [backup-simplify]: Simplify b into b 1.706 * [backup-simplify]: Simplify (exp b) into (exp b) 1.706 * [backup-simplify]: Simplify (+ 1 (exp b)) into (+ (exp b) 1) 1.706 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b 1.706 * [taylor]: Taking taylor expansion of (exp b) in b 1.706 * [taylor]: Taking taylor expansion of b in b 1.706 * [backup-simplify]: Simplify 0 into 0 1.706 * [backup-simplify]: Simplify 1 into 1 1.706 * [backup-simplify]: Simplify (exp 0) into 1 1.706 * [taylor]: Taking taylor expansion of 1 in b 1.706 * [backup-simplify]: Simplify 1 into 1 1.706 * [backup-simplify]: Simplify (+ 1 1) into 2 1.706 * [backup-simplify]: Simplify 2 into 2 1.707 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.707 * [backup-simplify]: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0 1.707 * [backup-simplify]: Simplify (+ 1 0) into 1 1.707 * [taylor]: Taking taylor expansion of 1 in b 1.707 * [backup-simplify]: Simplify 1 into 1 1.707 * [backup-simplify]: Simplify 1 into 1 1.708 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.708 * [backup-simplify]: Simplify (+ 1 0) into 1 1.708 * [backup-simplify]: Simplify 1 into 1 1.708 * [backup-simplify]: Simplify (+ (* 1 (* b 1)) (+ (* 1 (* 1 a)) 2)) into (+ a (+ b 2)) 1.709 * [backup-simplify]: Simplify (+ (exp (/ 1 a)) (exp (/ 1 b))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1.709 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in (a b) around 0 1.709 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1.709 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 1.709 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.709 * [taylor]: Taking taylor expansion of b in b 1.709 * [backup-simplify]: Simplify 0 into 0 1.709 * [backup-simplify]: Simplify 1 into 1 1.709 * [backup-simplify]: Simplify (/ 1 1) into 1 1.709 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1.709 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.709 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.709 * [taylor]: Taking taylor expansion of a in b 1.709 * [backup-simplify]: Simplify a into a 1.709 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.709 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1.709 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1.709 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 1.709 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.709 * [taylor]: Taking taylor expansion of b in a 1.709 * [backup-simplify]: Simplify b into b 1.709 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.709 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1.709 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.709 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.709 * [taylor]: Taking taylor expansion of a in a 1.709 * [backup-simplify]: Simplify 0 into 0 1.709 * [backup-simplify]: Simplify 1 into 1 1.710 * [backup-simplify]: Simplify (/ 1 1) into 1 1.710 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1.710 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1.710 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 1.710 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.710 * [taylor]: Taking taylor expansion of b in a 1.710 * [backup-simplify]: Simplify b into b 1.710 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.710 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1.710 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.710 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.710 * [taylor]: Taking taylor expansion of a in a 1.710 * [backup-simplify]: Simplify 0 into 0 1.710 * [backup-simplify]: Simplify 1 into 1 1.710 * [backup-simplify]: Simplify (/ 1 1) into 1 1.710 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1.710 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1.710 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1.710 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 1.710 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.710 * [taylor]: Taking taylor expansion of b in b 1.710 * [backup-simplify]: Simplify 0 into 0 1.710 * [backup-simplify]: Simplify 1 into 1 1.711 * [backup-simplify]: Simplify (/ 1 1) into 1 1.711 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1.711 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.711 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.711 * [taylor]: Taking taylor expansion of a in b 1.711 * [backup-simplify]: Simplify a into a 1.711 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.711 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1.711 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1.711 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1.711 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1.711 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1.712 * [backup-simplify]: Simplify (+ 0 0) into 0 1.712 * [taylor]: Taking taylor expansion of 0 in b 1.712 * [backup-simplify]: Simplify 0 into 0 1.712 * [backup-simplify]: Simplify 0 into 0 1.712 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.713 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1.713 * [backup-simplify]: Simplify (+ 0 0) into 0 1.713 * [backup-simplify]: Simplify 0 into 0 1.713 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1.715 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.715 * [backup-simplify]: Simplify (+ 0 0) into 0 1.715 * [taylor]: Taking taylor expansion of 0 in b 1.715 * [backup-simplify]: Simplify 0 into 0 1.715 * [backup-simplify]: Simplify 0 into 0 1.715 * [backup-simplify]: Simplify 0 into 0 1.716 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1.717 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.718 * [backup-simplify]: Simplify (+ 0 0) into 0 1.718 * [backup-simplify]: Simplify 0 into 0 1.718 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 1.720 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.720 * [backup-simplify]: Simplify (+ 0 0) into 0 1.720 * [taylor]: Taking taylor expansion of 0 in b 1.720 * [backup-simplify]: Simplify 0 into 0 1.720 * [backup-simplify]: Simplify 0 into 0 1.720 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a)))) into (+ (exp b) (exp a)) 1.721 * [backup-simplify]: Simplify (+ (exp (/ 1 (- a))) (exp (/ 1 (- b)))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1.721 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in (a b) around 0 1.721 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1.721 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 1.721 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.721 * [taylor]: Taking taylor expansion of -1 in b 1.721 * [backup-simplify]: Simplify -1 into -1 1.721 * [taylor]: Taking taylor expansion of b in b 1.721 * [backup-simplify]: Simplify 0 into 0 1.721 * [backup-simplify]: Simplify 1 into 1 1.721 * [backup-simplify]: Simplify (/ -1 1) into -1 1.721 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1.721 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.721 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.722 * [taylor]: Taking taylor expansion of -1 in b 1.722 * [backup-simplify]: Simplify -1 into -1 1.722 * [taylor]: Taking taylor expansion of a in b 1.722 * [backup-simplify]: Simplify a into a 1.722 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 1.722 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1.722 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1.722 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 1.722 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.722 * [taylor]: Taking taylor expansion of -1 in a 1.722 * [backup-simplify]: Simplify -1 into -1 1.722 * [taylor]: Taking taylor expansion of b in a 1.722 * [backup-simplify]: Simplify b into b 1.722 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b) 1.722 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1.722 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.722 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.722 * [taylor]: Taking taylor expansion of -1 in a 1.722 * [backup-simplify]: Simplify -1 into -1 1.722 * [taylor]: Taking taylor expansion of a in a 1.722 * [backup-simplify]: Simplify 0 into 0 1.722 * [backup-simplify]: Simplify 1 into 1 1.726 * [backup-simplify]: Simplify (/ -1 1) into -1 1.726 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1.726 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1.726 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 1.726 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.726 * [taylor]: Taking taylor expansion of -1 in a 1.726 * [backup-simplify]: Simplify -1 into -1 1.726 * [taylor]: Taking taylor expansion of b in a 1.726 * [backup-simplify]: Simplify b into b 1.726 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b) 1.726 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1.726 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.726 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.726 * [taylor]: Taking taylor expansion of -1 in a 1.727 * [backup-simplify]: Simplify -1 into -1 1.727 * [taylor]: Taking taylor expansion of a in a 1.727 * [backup-simplify]: Simplify 0 into 0 1.727 * [backup-simplify]: Simplify 1 into 1 1.727 * [backup-simplify]: Simplify (/ -1 1) into -1 1.727 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1.728 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1.728 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1.728 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 1.728 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.728 * [taylor]: Taking taylor expansion of -1 in b 1.728 * [backup-simplify]: Simplify -1 into -1 1.728 * [taylor]: Taking taylor expansion of b in b 1.728 * [backup-simplify]: Simplify 0 into 0 1.728 * [backup-simplify]: Simplify 1 into 1 1.728 * [backup-simplify]: Simplify (/ -1 1) into -1 1.729 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1.729 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.729 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.729 * [taylor]: Taking taylor expansion of -1 in b 1.729 * [backup-simplify]: Simplify -1 into -1 1.729 * [taylor]: Taking taylor expansion of a in b 1.729 * [backup-simplify]: Simplify a into a 1.729 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 1.729 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1.729 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1.729 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1.729 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0 1.730 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1.731 * [backup-simplify]: Simplify (+ 0 0) into 0 1.731 * [taylor]: Taking taylor expansion of 0 in b 1.731 * [backup-simplify]: Simplify 0 into 0 1.731 * [backup-simplify]: Simplify 0 into 0 1.731 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1.732 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1.733 * [backup-simplify]: Simplify (+ 0 0) into 0 1.733 * [backup-simplify]: Simplify 0 into 0 1.733 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1.734 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.735 * [backup-simplify]: Simplify (+ 0 0) into 0 1.735 * [taylor]: Taking taylor expansion of 0 in b 1.735 * [backup-simplify]: Simplify 0 into 0 1.735 * [backup-simplify]: Simplify 0 into 0 1.735 * [backup-simplify]: Simplify 0 into 0 1.735 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1.736 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.737 * [backup-simplify]: Simplify (+ 0 0) into 0 1.737 * [backup-simplify]: Simplify 0 into 0 1.737 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 1.739 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.739 * [backup-simplify]: Simplify (+ 0 0) into 0 1.739 * [taylor]: Taking taylor expansion of 0 in b 1.739 * [backup-simplify]: Simplify 0 into 0 1.739 * [backup-simplify]: Simplify 0 into 0 1.740 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a))))) into (+ (exp b) (exp a)) 1.740 * * * [progress]: simplifying candidates 1.740 * * * * [progress]: [ 1 / 60 ] simplifiying candidate # 1.740 * * * * [progress]: [ 2 / 60 ] simplifiying candidate # 1.740 * * * * [progress]: [ 3 / 60 ] simplifiying candidate # 1.740 * * * * [progress]: [ 4 / 60 ] simplifiying candidate # 1.740 * * * * [progress]: [ 5 / 60 ] simplifiying candidate # 1.740 * * * * [progress]: [ 6 / 60 ] simplifiying candidate # 1.740 * * * * [progress]: [ 7 / 60 ] simplifiying candidate # 1.740 * * * * [progress]: [ 8 / 60 ] simplifiying candidate # 1.740 * * * * [progress]: [ 9 / 60 ] simplifiying candidate # 1.740 * * * * [progress]: [ 10 / 60 ] simplifiying candidate # 1.740 * * * * [progress]: [ 11 / 60 ] simplifiying candidate # 1.741 * * * * [progress]: [ 12 / 60 ] simplifiying candidate # 1.741 * * * * [progress]: [ 13 / 60 ] simplifiying candidate # 1.741 * * * * [progress]: [ 14 / 60 ] simplifiying candidate # 1.741 * * * * [progress]: [ 15 / 60 ] simplifiying candidate # 1.741 * * * * [progress]: [ 16 / 60 ] simplifiying candidate #real (real->posit16 (log (+ (exp a) (exp b))))))))> 1.741 * * * * [progress]: [ 17 / 60 ] simplifiying candidate # 1.741 * * * * [progress]: [ 18 / 60 ] simplifiying candidate # 1.741 * * * * [progress]: [ 19 / 60 ] simplifiying candidate # 1.741 * * * * [progress]: [ 20 / 60 ] simplifiying candidate # 1.741 * * * * [progress]: [ 21 / 60 ] simplifiying candidate # 1.741 * * * * [progress]: [ 22 / 60 ] simplifiying candidate # 1.741 * * * * [progress]: [ 23 / 60 ] simplifiying candidate # 1.741 * * * * [progress]: [ 24 / 60 ] simplifiying candidate # 1.741 * * * * [progress]: [ 25 / 60 ] simplifiying candidate # 1.741 * * * * [progress]: [ 26 / 60 ] simplifiying candidate # 1.742 * * * * [progress]: [ 27 / 60 ] simplifiying candidate # 1.742 * * * * [progress]: [ 28 / 60 ] simplifiying candidate # 1.742 * * * * [progress]: [ 29 / 60 ] simplifiying candidate # 1.742 * * * * [progress]: [ 30 / 60 ] simplifiying candidate # 1.742 * * * * [progress]: [ 31 / 60 ] simplifiying candidate # 1.742 * * * * [progress]: [ 32 / 60 ] simplifiying candidate # 1.742 * * * * [progress]: [ 33 / 60 ] simplifiying candidate # 1.742 * * * * [progress]: [ 34 / 60 ] simplifiying candidate # 1.742 * * * * [progress]: [ 35 / 60 ] simplifiying candidate # 1.742 * * * * [progress]: [ 36 / 60 ] simplifiying candidate # 1.742 * * * * [progress]: [ 37 / 60 ] simplifiying candidate # 1.742 * * * * [progress]: [ 38 / 60 ] simplifiying candidate #real (real->posit16 (- a (log (+ (exp a) (exp b))))))))> 1.742 * * * * [progress]: [ 39 / 60 ] simplifiying candidate # 1.742 * * * * [progress]: [ 40 / 60 ] simplifiying candidate # 1.742 * * * * [progress]: [ 41 / 60 ] simplifiying candidate # 1.742 * * * * [progress]: [ 42 / 60 ] simplifiying candidate # 1.743 * * * * [progress]: [ 43 / 60 ] simplifiying candidate # 1.743 * * * * [progress]: [ 44 / 60 ] simplifiying candidate # 1.743 * * * * [progress]: [ 45 / 60 ] simplifiying candidate # 1.743 * * * * [progress]: [ 46 / 60 ] simplifiying candidate # 1.743 * * * * [progress]: [ 47 / 60 ] simplifiying candidate # 1.743 * * * * [progress]: [ 48 / 60 ] simplifiying candidate # 1.743 * * * * [progress]: [ 49 / 60 ] simplifiying candidate # 1.743 * * * * [progress]: [ 50 / 60 ] simplifiying candidate #real (real->posit16 (+ (exp a) (exp b))))))))> 1.743 * * * * [progress]: [ 51 / 60 ] simplifiying candidate # 1.743 * * * * [progress]: [ 52 / 60 ] simplifiying candidate # 1.743 * * * * [progress]: [ 53 / 60 ] simplifiying candidate # 1.743 * * * * [progress]: [ 54 / 60 ] simplifiying candidate # 1.743 * * * * [progress]: [ 55 / 60 ] simplifiying candidate # 1.743 * * * * [progress]: [ 56 / 60 ] simplifiying candidate # 1.743 * * * * [progress]: [ 57 / 60 ] simplifiying candidate # 1.743 * * * * [progress]: [ 58 / 60 ] simplifiying candidate # 1.744 * * * * [progress]: [ 59 / 60 ] simplifiying candidate # 1.744 * * * * [progress]: [ 60 / 60 ] simplifiying candidate # 1.745 * [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)))) (real->posit16 (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)))) (real->posit16 (- 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)) (real->posit16 (+ (exp a) (exp b))) (+ (* 1/2 a) (+ (* 1/2 b) (log 2))) (log (+ (exp b) (exp a))) (log (+ (exp b) (exp a))) (- (* 1/2 a) (+ (* 1/2 b) (log 2))) (- a (log (+ (exp b) (exp a)))) (- a (log (+ (exp b) (exp a)))) (+ a (+ b 2)) (+ (exp b) (exp a)) (+ (exp b) (exp a)) 1.746 * * [simplify]: iteration 0: 85 enodes 1.780 * * [simplify]: iteration 1: 185 enodes 1.827 * * [simplify]: iteration 2: 418 enodes 1.962 * * [simplify]: iteration 3: 1046 enodes 2.221 * * [simplify]: iteration 4: 2001 enodes 2.606 * * [simplify]: iteration complete: 2001 enodes 2.606 * * [simplify]: Extracting #0: cost 49 inf + 0 2.607 * * [simplify]: Extracting #1: cost 194 inf + 2 2.610 * * [simplify]: Extracting #2: cost 563 inf + 1230 2.616 * * [simplify]: Extracting #3: cost 592 inf + 12875 2.637 * * [simplify]: Extracting #4: cost 392 inf + 74661 2.686 * * [simplify]: Extracting #5: cost 99 inf + 182272 2.730 * * [simplify]: Extracting #6: cost 27 inf + 212601 2.781 * * [simplify]: Extracting #7: cost 7 inf + 215479 2.843 * * [simplify]: Extracting #8: cost 0 inf + 217740 2.903 * [simplify]: Simplified to: (log (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) (log (cbrt (+ (exp a) (exp b)))) (log (sqrt (+ (exp a) (exp b)))) (log (sqrt (+ (exp a) (exp b)))) 0 (log (+ (exp a) (exp b))) 0 (log (+ (exp a) (exp b))) (log (+ (* (* (exp a) (exp a)) (exp a)) (exp (* 3 b)))) (log (+ (* (exp a) (- (exp a) (exp b))) (* (exp b) (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 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)))) (real->posit16 (log (+ (exp a) (exp b)))) (/ (exp a) (+ (exp a) (exp b))) (log (- a (log (+ (exp a) (exp b))))) (/ (exp a) (+ (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))))) (- (* a (* a a)) (* (* (log (+ (exp a) (exp b))) (log (+ (exp a) (exp b)))) (log (+ (exp a) (exp b))))) (+ (* a (+ a (log (+ (exp a) (exp b))))) (* (log (+ (exp a) (exp b))) (log (+ (exp a) (exp b))))) (- (log (+ (exp a) (exp b)))) (* (+ a (log (+ (exp a) (exp b)))) (- a (log (+ (exp a) (exp b))))) (+ (log (+ (exp a) (exp b))) a) (+ (sqrt a) (sqrt (log (+ (exp a) (exp b))))) (- (sqrt a) (sqrt (log (+ (exp a) (exp b))))) (- a (log (+ (exp a) (exp b)))) (- a (log (+ (exp a) (exp b)))) (- (- a (log (cbrt (+ (exp a) (exp b))))) (log (cbrt (+ (exp a) (exp b))))) (- a (log (sqrt (+ (exp a) (exp b))))) a a (- a (log (+ (* (* (exp a) (exp a)) (exp a)) (exp (* 3 b))))) (- a (log (- (* (exp a) (exp a)) (* (exp b) (exp b))))) (- (log (+ (exp a) (exp b)))) (real->posit16 (- a (log (+ (exp a) (exp b))))) (exp (+ (exp a) (exp b))) (log (+ (exp a) (exp b))) (exp (+ (exp a) (exp b))) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b)))) (cbrt (+ (exp a) (exp b))) (* (+ (exp a) (exp b)) (* (+ (exp a) (exp b)) (+ (exp a) (exp b)))) (sqrt (+ (exp a) (exp b))) (sqrt (+ (exp a) (exp b))) (+ (* (* (exp a) (exp a)) (exp a)) (exp (* 3 b))) (+ (* (exp a) (- (exp a) (exp b))) (* (exp b) (exp b))) (- (* (exp a) (exp a)) (* (exp b) (exp b))) (- (exp a) (exp b)) (+ (exp a) (exp b)) (real->posit16 (+ (exp a) (exp b))) (+ (log 2) (* (+ a b) 1/2)) (log (+ (exp a) (exp b))) (log (+ (exp a) (exp b))) (- (* 1/2 (- a b)) (log 2)) (- a (log (+ (exp a) (exp b)))) (- a (log (+ (exp a) (exp b)))) (+ b (+ 2 a)) (+ (exp a) (exp b)) (+ (exp a) (exp b)) 2.909 * * * [progress]: adding candidates to table 3.186 * * [progress]: iteration 3 / 4 3.186 * * * [progress]: picking best candidate 3.188 * * * * [pick]: Picked # 3.188 * * * [progress]: localizing error 3.213 * * * [progress]: generating rewritten candidates 3.213 * * * [progress]: generating series expansions 3.214 * * * [progress]: simplifying candidates 3.214 * [simplify]: Simplifying: 3.214 * * [simplify]: iteration 0: 0 enodes 3.214 * * [simplify]: iteration complete: 0 enodes 3.214 * * [simplify]: Extracting #0: cost 0 inf + 0 3.214 * [simplify]: Simplified to: 3.214 * * * [progress]: adding candidates to table 3.215 * [progress]: [Phase 3 of 3] Extracting. 3.215 * * [regime]: Finding splitpoints for: (# #) 3.215 * * * [regime-changes]: Trying 3 branch expressions: ((exp b) b a) 3.215 * * * * [regimes]: Trying to branch on (exp b) from (# #) 3.259 * * * * [regimes]: Trying to branch on b from (# #) 3.285 * * * * [regimes]: Trying to branch on a from (# #) 3.310 * * * [regime]: Found split indices: #