1545555400.994 * [misc]progress: [Phase 1 of 3] Setting up. 1545555400.994 * * * [misc]progress: [1/2] Preparing points 1545555400.994 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545555401.104 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555401.104 * * * * [misc]points: Sampling 78 additional inputs, on iter 1 have 178 / 256 1545555401.178 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555401.178 * * * * [misc]points: Sampling 24 additional inputs, on iter 2 have 232 / 256 1545555401.195 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555401.195 * * * * [misc]points: Sampling 7 additional inputs, on iter 3 have 249 / 256 1545555401.202 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555401.202 * * * * [misc]points: Sampling 4 additional inputs, on iter 4 have 252 / 256 1545555401.204 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555401.204 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 255 / 256 1545555401.207 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555401.207 * * * * [exit]points: Sampled 258 points with exact outputs 1545555401.208 * * * [misc]progress: [2/2] Setting up program. 1545555401.213 * [misc]progress: [Phase 2 of 3] Improving. 1545555401.214 * [enter]simplify: Simplifying (/ (exp a) (+ (exp a) (exp b))) 1545555401.214 * * [misc]simplify: iters left: 5 (6 enodes) 1545555401.216 * * [misc]simplify: iters left: 4 (7 enodes) 1545555401.218 * [exit]simplify: Simplified to (/ (exp a) (+ (exp a) (exp b))) 1545555401.230 * * [misc]progress: iteration 1 / 4 1545555401.230 * * * [misc]progress: picking best candidate 1545555401.234 * * * * [misc]pick: Picked # 1545555401.234 * * * [misc]progress: localizing error 1545555401.255 * * * [misc]progress: generating rewritten candidates 1545555401.255 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1545555401.267 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) 1545555401.274 * * * [misc]progress: generating series expansions 1545555401.274 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1545555401.275 * [misc]backup-simplify: Simplify (/ (exp a) (+ (exp a) (exp b))) into (/ (exp a) (+ (exp a) (exp b))) 1545555401.275 * [misc]approximate: Taking taylor expansion of (/ (exp a) (+ (exp a) (exp b))) in (a b) around 0 1545555401.275 * [misc]taylor: Taking taylor expansion of (/ (exp a) (+ (exp a) (exp b))) in b 1545555401.275 * [misc]taylor: Taking taylor expansion of (exp a) in b 1545555401.275 * [misc]taylor: Taking taylor expansion of a in b 1545555401.275 * [misc]backup-simplify: Simplify a into a 1545555401.275 * [misc]backup-simplify: Simplify (exp a) into (exp a) 1545555401.275 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp b)) in b 1545555401.275 * [misc]taylor: Taking taylor expansion of (exp a) in b 1545555401.275 * [misc]taylor: Taking taylor expansion of a in b 1545555401.275 * [misc]backup-simplify: Simplify a into a 1545555401.275 * [misc]backup-simplify: Simplify (exp a) into (exp a) 1545555401.275 * [misc]taylor: Taking taylor expansion of (exp b) in b 1545555401.275 * [misc]taylor: Taking taylor expansion of b in b 1545555401.275 * [misc]backup-simplify: Simplify 0 into 0 1545555401.275 * [misc]backup-simplify: Simplify 1 into 1 1545555401.275 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555401.275 * [misc]backup-simplify: Simplify (+ (exp a) 1) into (+ (exp a) 1) 1545555401.275 * [misc]backup-simplify: Simplify (/ (exp a) (+ (exp a) 1)) into (/ (exp a) (+ (exp a) 1)) 1545555401.275 * [misc]taylor: Taking taylor expansion of (/ (exp a) (+ (exp a) (exp b))) in a 1545555401.275 * [misc]taylor: Taking taylor expansion of (exp a) in a 1545555401.275 * [misc]taylor: Taking taylor expansion of a in a 1545555401.275 * [misc]backup-simplify: Simplify 0 into 0 1545555401.275 * [misc]backup-simplify: Simplify 1 into 1 1545555401.275 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555401.275 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp b)) in a 1545555401.276 * [misc]taylor: Taking taylor expansion of (exp a) in a 1545555401.276 * [misc]taylor: Taking taylor expansion of a in a 1545555401.276 * [misc]backup-simplify: Simplify 0 into 0 1545555401.276 * [misc]backup-simplify: Simplify 1 into 1 1545555401.276 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555401.276 * [misc]taylor: Taking taylor expansion of (exp b) in a 1545555401.276 * [misc]taylor: Taking taylor expansion of b in a 1545555401.276 * [misc]backup-simplify: Simplify b into b 1545555401.276 * [misc]backup-simplify: Simplify (exp b) into (exp b) 1545555401.276 * [misc]backup-simplify: Simplify (+ 1 (exp b)) into (+ (exp b) 1) 1545555401.276 * [misc]backup-simplify: Simplify (/ 1 (+ (exp b) 1)) into (/ 1 (+ (exp b) 1)) 1545555401.276 * [misc]taylor: Taking taylor expansion of (/ (exp a) (+ (exp a) (exp b))) in a 1545555401.276 * [misc]taylor: Taking taylor expansion of (exp a) in a 1545555401.276 * [misc]taylor: Taking taylor expansion of a in a 1545555401.276 * [misc]backup-simplify: Simplify 0 into 0 1545555401.276 * [misc]backup-simplify: Simplify 1 into 1 1545555401.276 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555401.276 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp b)) in a 1545555401.276 * [misc]taylor: Taking taylor expansion of (exp a) in a 1545555401.276 * [misc]taylor: Taking taylor expansion of a in a 1545555401.276 * [misc]backup-simplify: Simplify 0 into 0 1545555401.276 * [misc]backup-simplify: Simplify 1 into 1 1545555401.276 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555401.277 * [misc]taylor: Taking taylor expansion of (exp b) in a 1545555401.277 * [misc]taylor: Taking taylor expansion of b in a 1545555401.277 * [misc]backup-simplify: Simplify b into b 1545555401.277 * [misc]backup-simplify: Simplify (exp b) into (exp b) 1545555401.277 * [misc]backup-simplify: Simplify (+ 1 (exp b)) into (+ (exp b) 1) 1545555401.277 * [misc]backup-simplify: Simplify (/ 1 (+ (exp b) 1)) into (/ 1 (+ (exp b) 1)) 1545555401.277 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b 1545555401.277 * [misc]taylor: Taking taylor expansion of (+ (exp b) 1) in b 1545555401.277 * [misc]taylor: Taking taylor expansion of (exp b) in b 1545555401.277 * [misc]taylor: Taking taylor expansion of b in b 1545555401.277 * [misc]backup-simplify: Simplify 0 into 0 1545555401.277 * [misc]backup-simplify: Simplify 1 into 1 1545555401.277 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555401.277 * [misc]taylor: Taking taylor expansion of 1 in b 1545555401.277 * [misc]backup-simplify: Simplify 1 into 1 1545555401.277 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1545555401.278 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 1545555401.278 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545555401.280 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1545555401.281 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1545555401.282 * [misc]backup-simplify: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0 1545555401.283 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545555401.283 * [misc]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))) 1545555401.283 * [misc]taylor: Taking taylor expansion of (- (/ 1 (+ (exp b) 1)) (/ 1 (pow (+ (exp b) 1) 2))) in b 1545555401.283 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b 1545555401.283 * [misc]taylor: Taking taylor expansion of (+ (exp b) 1) in b 1545555401.283 * [misc]taylor: Taking taylor expansion of (exp b) in b 1545555401.283 * [misc]taylor: Taking taylor expansion of b in b 1545555401.283 * [misc]backup-simplify: Simplify 0 into 0 1545555401.283 * [misc]backup-simplify: Simplify 1 into 1 1545555401.283 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555401.283 * [misc]taylor: Taking taylor expansion of 1 in b 1545555401.284 * [misc]backup-simplify: Simplify 1 into 1 1545555401.284 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1545555401.284 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 1545555401.284 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ (exp b) 1) 2)) in b 1545555401.284 * [misc]taylor: Taking taylor expansion of (pow (+ (exp b) 1) 2) in b 1545555401.284 * [misc]taylor: Taking taylor expansion of (+ (exp b) 1) in b 1545555401.284 * [misc]taylor: Taking taylor expansion of (exp b) in b 1545555401.284 * [misc]taylor: Taking taylor expansion of b in b 1545555401.284 * [misc]backup-simplify: Simplify 0 into 0 1545555401.284 * [misc]backup-simplify: Simplify 1 into 1 1545555401.284 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555401.284 * [misc]taylor: Taking taylor expansion of 1 in b 1545555401.284 * [misc]backup-simplify: Simplify 1 into 1 1545555401.284 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1545555401.285 * [misc]backup-simplify: Simplify (* 2 2) into 4 1545555401.285 * [misc]backup-simplify: Simplify (/ 1 4) into 1/4 1545555401.285 * [misc]backup-simplify: Simplify (- 1/4) into -1/4 1545555401.285 * [misc]backup-simplify: Simplify (+ 1/2 -1/4) into 1/4 1545555401.285 * [misc]backup-simplify: Simplify 1/4 into 1/4 1545555401.287 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1545555401.287 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545555401.287 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 1 2)))) into -1/4 1545555401.287 * [misc]backup-simplify: Simplify -1/4 into -1/4 1545555401.287 * [misc]backup-simplify: Simplify (+ (* -1/4 (* b 1)) (+ (* 1/4 (* 1 a)) 1/2)) into (- (+ (* 1/4 a) 1/2) (* 1/4 b)) 1545555401.288 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 a)) (exp (/ 1 b)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1545555401.288 * [misc]approximate: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in (a b) around 0 1545555401.288 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b 1545555401.288 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1545555401.288 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1545555401.288 * [misc]taylor: Taking taylor expansion of a in b 1545555401.288 * [misc]backup-simplify: Simplify a into a 1545555401.288 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1545555401.288 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555401.288 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1545555401.288 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in b 1545555401.288 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1545555401.288 * [misc]taylor: Taking taylor expansion of b in b 1545555401.288 * [misc]backup-simplify: Simplify 0 into 0 1545555401.288 * [misc]backup-simplify: Simplify 1 into 1 1545555401.288 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555401.288 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1545555401.288 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1545555401.288 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1545555401.288 * [misc]taylor: Taking taylor expansion of a in b 1545555401.288 * [misc]backup-simplify: Simplify a into a 1545555401.288 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1545555401.288 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555401.288 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1545555401.288 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1545555401.288 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a 1545555401.288 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1545555401.288 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1545555401.288 * [misc]taylor: Taking taylor expansion of a in a 1545555401.288 * [misc]backup-simplify: Simplify 0 into 0 1545555401.288 * [misc]backup-simplify: Simplify 1 into 1 1545555401.289 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555401.289 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555401.289 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1545555401.289 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in a 1545555401.289 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1545555401.289 * [misc]taylor: Taking taylor expansion of b in a 1545555401.289 * [misc]backup-simplify: Simplify b into b 1545555401.289 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1545555401.289 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1545555401.289 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1545555401.289 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1545555401.289 * [misc]taylor: Taking taylor expansion of a in a 1545555401.289 * [misc]backup-simplify: Simplify 0 into 0 1545555401.289 * [misc]backup-simplify: Simplify 1 into 1 1545555401.289 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555401.289 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555401.289 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1545555401.289 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1545555401.289 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a 1545555401.289 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1545555401.289 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1545555401.289 * [misc]taylor: Taking taylor expansion of a in a 1545555401.289 * [misc]backup-simplify: Simplify 0 into 0 1545555401.289 * [misc]backup-simplify: Simplify 1 into 1 1545555401.289 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555401.289 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555401.289 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1545555401.289 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in a 1545555401.289 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1545555401.289 * [misc]taylor: Taking taylor expansion of b in a 1545555401.290 * [misc]backup-simplify: Simplify b into b 1545555401.290 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1545555401.290 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1545555401.290 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1545555401.290 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1545555401.290 * [misc]taylor: Taking taylor expansion of a in a 1545555401.290 * [misc]backup-simplify: Simplify 0 into 0 1545555401.290 * [misc]backup-simplify: Simplify 1 into 1 1545555401.290 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555401.290 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555401.290 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1545555401.290 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1545555401.290 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b 1545555401.290 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1545555401.290 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1545555401.290 * [misc]taylor: Taking taylor expansion of a in b 1545555401.290 * [misc]backup-simplify: Simplify a into a 1545555401.290 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1545555401.290 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555401.290 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1545555401.290 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in b 1545555401.290 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1545555401.290 * [misc]taylor: Taking taylor expansion of b in b 1545555401.290 * [misc]backup-simplify: Simplify 0 into 0 1545555401.290 * [misc]backup-simplify: Simplify 1 into 1 1545555401.290 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555401.290 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1545555401.290 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1545555401.291 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1545555401.291 * [misc]taylor: Taking taylor expansion of a in b 1545555401.291 * [misc]backup-simplify: Simplify a into a 1545555401.291 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1545555401.291 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555401.291 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1545555401.291 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1545555401.291 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1545555401.291 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1545555401.292 * [misc]backup-simplify: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555401.292 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555401.292 * [misc]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 1545555401.292 * [misc]taylor: Taking taylor expansion of 0 in b 1545555401.292 * [misc]backup-simplify: Simplify 0 into 0 1545555401.292 * [misc]backup-simplify: Simplify 0 into 0 1545555401.292 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1545555401.293 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555401.293 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1545555401.294 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555401.294 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555401.294 * [misc]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 1545555401.294 * [misc]backup-simplify: Simplify 0 into 0 1545555401.294 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1545555401.295 * [misc]backup-simplify: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555401.296 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555401.296 * [misc]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 1545555401.296 * [misc]taylor: Taking taylor expansion of 0 in b 1545555401.296 * [misc]backup-simplify: Simplify 0 into 0 1545555401.296 * [misc]backup-simplify: Simplify 0 into 0 1545555401.296 * [misc]backup-simplify: Simplify 0 into 0 1545555401.296 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555401.297 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555401.297 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555401.299 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555401.299 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555401.299 * [misc]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 1545555401.299 * [misc]backup-simplify: Simplify 0 into 0 1545555401.299 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 1545555401.301 * [misc]backup-simplify: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1545555401.301 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555401.302 * [misc]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 1545555401.302 * [misc]taylor: Taking taylor expansion of 0 in b 1545555401.302 * [misc]backup-simplify: Simplify 0 into 0 1545555401.302 * [misc]backup-simplify: Simplify 0 into 0 1545555401.302 * [misc]backup-simplify: Simplify (/ (exp (/ 1 (/ 1 a))) (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a))))) into (/ (exp a) (+ (exp b) (exp a))) 1545555401.302 * [misc]backup-simplify: Simplify (/ (exp (/ 1 (- a))) (+ (exp (/ 1 (- a))) (exp (/ 1 (- b))))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1545555401.302 * [misc]approximate: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in (a b) around 0 1545555401.302 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b 1545555401.302 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1545555401.302 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1545555401.302 * [misc]taylor: Taking taylor expansion of -1 in b 1545555401.302 * [misc]backup-simplify: Simplify -1 into -1 1545555401.302 * [misc]taylor: Taking taylor expansion of a in b 1545555401.302 * [misc]backup-simplify: Simplify a into a 1545555401.302 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1545555401.302 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555401.302 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1545555401.302 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in b 1545555401.302 * [misc]taylor: Taking taylor expansion of (/ -1 b) in b 1545555401.302 * [misc]taylor: Taking taylor expansion of -1 in b 1545555401.302 * [misc]backup-simplify: Simplify -1 into -1 1545555401.302 * [misc]taylor: Taking taylor expansion of b in b 1545555401.302 * [misc]backup-simplify: Simplify 0 into 0 1545555401.302 * [misc]backup-simplify: Simplify 1 into 1 1545555401.302 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545555401.303 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1545555401.303 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1545555401.303 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1545555401.303 * [misc]taylor: Taking taylor expansion of -1 in b 1545555401.303 * [misc]backup-simplify: Simplify -1 into -1 1545555401.303 * [misc]taylor: Taking taylor expansion of a in b 1545555401.303 * [misc]backup-simplify: Simplify a into a 1545555401.303 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1545555401.303 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555401.303 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1545555401.303 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1545555401.303 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a 1545555401.303 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1545555401.303 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1545555401.303 * [misc]taylor: Taking taylor expansion of -1 in a 1545555401.303 * [misc]backup-simplify: Simplify -1 into -1 1545555401.303 * [misc]taylor: Taking taylor expansion of a in a 1545555401.303 * [misc]backup-simplify: Simplify 0 into 0 1545555401.303 * [misc]backup-simplify: Simplify 1 into 1 1545555401.303 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545555401.303 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555401.303 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1545555401.303 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in a 1545555401.303 * [misc]taylor: Taking taylor expansion of (/ -1 b) in a 1545555401.303 * [misc]taylor: Taking taylor expansion of -1 in a 1545555401.303 * [misc]backup-simplify: Simplify -1 into -1 1545555401.303 * [misc]taylor: Taking taylor expansion of b in a 1545555401.303 * [misc]backup-simplify: Simplify b into b 1545555401.303 * [misc]backup-simplify: Simplify (/ -1 b) into (/ -1 b) 1545555401.303 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1545555401.303 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1545555401.303 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1545555401.303 * [misc]taylor: Taking taylor expansion of -1 in a 1545555401.304 * [misc]backup-simplify: Simplify -1 into -1 1545555401.304 * [misc]taylor: Taking taylor expansion of a in a 1545555401.304 * [misc]backup-simplify: Simplify 0 into 0 1545555401.304 * [misc]backup-simplify: Simplify 1 into 1 1545555401.304 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545555401.304 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555401.304 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1545555401.304 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1545555401.304 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a 1545555401.304 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1545555401.304 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1545555401.304 * [misc]taylor: Taking taylor expansion of -1 in a 1545555401.304 * [misc]backup-simplify: Simplify -1 into -1 1545555401.304 * [misc]taylor: Taking taylor expansion of a in a 1545555401.304 * [misc]backup-simplify: Simplify 0 into 0 1545555401.304 * [misc]backup-simplify: Simplify 1 into 1 1545555401.304 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545555401.304 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555401.304 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1545555401.304 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in a 1545555401.305 * [misc]taylor: Taking taylor expansion of (/ -1 b) in a 1545555401.305 * [misc]taylor: Taking taylor expansion of -1 in a 1545555401.305 * [misc]backup-simplify: Simplify -1 into -1 1545555401.305 * [misc]taylor: Taking taylor expansion of b in a 1545555401.305 * [misc]backup-simplify: Simplify b into b 1545555401.305 * [misc]backup-simplify: Simplify (/ -1 b) into (/ -1 b) 1545555401.305 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1545555401.305 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1545555401.305 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1545555401.305 * [misc]taylor: Taking taylor expansion of -1 in a 1545555401.305 * [misc]backup-simplify: Simplify -1 into -1 1545555401.305 * [misc]taylor: Taking taylor expansion of a in a 1545555401.305 * [misc]backup-simplify: Simplify 0 into 0 1545555401.305 * [misc]backup-simplify: Simplify 1 into 1 1545555401.305 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545555401.305 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555401.305 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1545555401.305 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1545555401.305 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b 1545555401.305 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1545555401.305 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1545555401.305 * [misc]taylor: Taking taylor expansion of -1 in b 1545555401.305 * [misc]backup-simplify: Simplify -1 into -1 1545555401.305 * [misc]taylor: Taking taylor expansion of a in b 1545555401.305 * [misc]backup-simplify: Simplify a into a 1545555401.305 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1545555401.305 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555401.305 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1545555401.305 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in b 1545555401.305 * [misc]taylor: Taking taylor expansion of (/ -1 b) in b 1545555401.305 * [misc]taylor: Taking taylor expansion of -1 in b 1545555401.305 * [misc]backup-simplify: Simplify -1 into -1 1545555401.305 * [misc]taylor: Taking taylor expansion of b in b 1545555401.306 * [misc]backup-simplify: Simplify 0 into 0 1545555401.306 * [misc]backup-simplify: Simplify 1 into 1 1545555401.306 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545555401.306 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1545555401.306 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1545555401.306 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1545555401.306 * [misc]taylor: Taking taylor expansion of -1 in b 1545555401.306 * [misc]backup-simplify: Simplify -1 into -1 1545555401.306 * [misc]taylor: Taking taylor expansion of a in b 1545555401.306 * [misc]backup-simplify: Simplify a into a 1545555401.306 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1545555401.306 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555401.306 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1545555401.306 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1545555401.306 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1545555401.306 * [misc]backup-simplify: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0 1545555401.307 * [misc]backup-simplify: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555401.307 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555401.308 * [misc]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 1545555401.308 * [misc]taylor: Taking taylor expansion of 0 in b 1545555401.308 * [misc]backup-simplify: Simplify 0 into 0 1545555401.308 * [misc]backup-simplify: Simplify 0 into 0 1545555401.308 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1545555401.309 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555401.309 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1545555401.309 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555401.309 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555401.310 * [misc]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 1545555401.310 * [misc]backup-simplify: Simplify 0 into 0 1545555401.310 * [misc]backup-simplify: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1545555401.311 * [misc]backup-simplify: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555401.311 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555401.312 * [misc]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 1545555401.312 * [misc]taylor: Taking taylor expansion of 0 in b 1545555401.312 * [misc]backup-simplify: Simplify 0 into 0 1545555401.312 * [misc]backup-simplify: Simplify 0 into 0 1545555401.312 * [misc]backup-simplify: Simplify 0 into 0 1545555401.312 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555401.314 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555401.314 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555401.316 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555401.316 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555401.317 * [misc]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 1545555401.317 * [misc]backup-simplify: Simplify 0 into 0 1545555401.317 * [misc]backup-simplify: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 1545555401.320 * [misc]backup-simplify: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1545555401.330 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555401.331 * [misc]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 1545555401.331 * [misc]taylor: Taking taylor expansion of 0 in b 1545555401.331 * [misc]backup-simplify: Simplify 0 into 0 1545555401.331 * [misc]backup-simplify: Simplify 0 into 0 1545555401.331 * [misc]backup-simplify: Simplify (/ (exp (/ -1 (/ 1 (- a)))) (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a)))))) into (/ (exp a) (+ (exp b) (exp a))) 1545555401.331 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) 1545555401.331 * [misc]backup-simplify: Simplify (+ (exp a) (exp b)) into (+ (exp a) (exp b)) 1545555401.331 * [misc]approximate: Taking taylor expansion of (+ (exp a) (exp b)) in (a b) around 0 1545555401.331 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp b)) in b 1545555401.331 * [misc]taylor: Taking taylor expansion of (exp a) in b 1545555401.331 * [misc]taylor: Taking taylor expansion of a in b 1545555401.331 * [misc]backup-simplify: Simplify a into a 1545555401.331 * [misc]backup-simplify: Simplify (exp a) into (exp a) 1545555401.331 * [misc]taylor: Taking taylor expansion of (exp b) in b 1545555401.331 * [misc]taylor: Taking taylor expansion of b in b 1545555401.331 * [misc]backup-simplify: Simplify 0 into 0 1545555401.332 * [misc]backup-simplify: Simplify 1 into 1 1545555401.332 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555401.332 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp b)) in a 1545555401.332 * [misc]taylor: Taking taylor expansion of (exp a) in a 1545555401.332 * [misc]taylor: Taking taylor expansion of a in a 1545555401.332 * [misc]backup-simplify: Simplify 0 into 0 1545555401.332 * [misc]backup-simplify: Simplify 1 into 1 1545555401.332 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555401.332 * [misc]taylor: Taking taylor expansion of (exp b) in a 1545555401.332 * [misc]taylor: Taking taylor expansion of b in a 1545555401.332 * [misc]backup-simplify: Simplify b into b 1545555401.332 * [misc]backup-simplify: Simplify (exp b) into (exp b) 1545555401.332 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp b)) in a 1545555401.332 * [misc]taylor: Taking taylor expansion of (exp a) in a 1545555401.332 * [misc]taylor: Taking taylor expansion of a in a 1545555401.332 * [misc]backup-simplify: Simplify 0 into 0 1545555401.332 * [misc]backup-simplify: Simplify 1 into 1 1545555401.332 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555401.332 * [misc]taylor: Taking taylor expansion of (exp b) in a 1545555401.332 * [misc]taylor: Taking taylor expansion of b in a 1545555401.332 * [misc]backup-simplify: Simplify b into b 1545555401.332 * [misc]backup-simplify: Simplify (exp b) into (exp b) 1545555401.332 * [misc]backup-simplify: Simplify (+ 1 (exp b)) into (+ (exp b) 1) 1545555401.332 * [misc]taylor: Taking taylor expansion of (+ (exp b) 1) in b 1545555401.332 * [misc]taylor: Taking taylor expansion of (exp b) in b 1545555401.332 * [misc]taylor: Taking taylor expansion of b in b 1545555401.332 * [misc]backup-simplify: Simplify 0 into 0 1545555401.332 * [misc]backup-simplify: Simplify 1 into 1 1545555401.333 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555401.333 * [misc]taylor: Taking taylor expansion of 1 in b 1545555401.333 * [misc]backup-simplify: Simplify 1 into 1 1545555401.333 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1545555401.333 * [misc]backup-simplify: Simplify 2 into 2 1545555401.335 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1545555401.336 * [misc]backup-simplify: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0 1545555401.336 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545555401.336 * [misc]taylor: Taking taylor expansion of 1 in b 1545555401.336 * [misc]backup-simplify: Simplify 1 into 1 1545555401.336 * [misc]backup-simplify: Simplify 1 into 1 1545555401.337 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1545555401.337 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545555401.338 * [misc]backup-simplify: Simplify 1 into 1 1545555401.338 * [misc]backup-simplify: Simplify (+ (* 1 (* b 1)) (+ (* 1 (* 1 a)) 2)) into (+ a (+ b 2)) 1545555401.338 * [misc]backup-simplify: Simplify (+ (exp (/ 1 a)) (exp (/ 1 b))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1545555401.338 * [misc]approximate: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in (a b) around 0 1545555401.338 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1545555401.338 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in b 1545555401.338 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1545555401.338 * [misc]taylor: Taking taylor expansion of b in b 1545555401.338 * [misc]backup-simplify: Simplify 0 into 0 1545555401.338 * [misc]backup-simplify: Simplify 1 into 1 1545555401.338 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555401.338 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1545555401.338 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1545555401.338 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1545555401.338 * [misc]taylor: Taking taylor expansion of a in b 1545555401.338 * [misc]backup-simplify: Simplify a into a 1545555401.338 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1545555401.338 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555401.338 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1545555401.338 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in a 1545555401.339 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1545555401.339 * [misc]taylor: Taking taylor expansion of b in a 1545555401.339 * [misc]backup-simplify: Simplify b into b 1545555401.339 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1545555401.339 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1545555401.339 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1545555401.339 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1545555401.339 * [misc]taylor: Taking taylor expansion of a in a 1545555401.339 * [misc]backup-simplify: Simplify 0 into 0 1545555401.339 * [misc]backup-simplify: Simplify 1 into 1 1545555401.339 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555401.339 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555401.339 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1545555401.339 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in a 1545555401.339 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1545555401.339 * [misc]taylor: Taking taylor expansion of b in a 1545555401.339 * [misc]backup-simplify: Simplify b into b 1545555401.339 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1545555401.339 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1545555401.339 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1545555401.339 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1545555401.339 * [misc]taylor: Taking taylor expansion of a in a 1545555401.340 * [misc]backup-simplify: Simplify 0 into 0 1545555401.340 * [misc]backup-simplify: Simplify 1 into 1 1545555401.340 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555401.340 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555401.340 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1545555401.340 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1545555401.340 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in b 1545555401.340 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1545555401.340 * [misc]taylor: Taking taylor expansion of b in b 1545555401.340 * [misc]backup-simplify: Simplify 0 into 0 1545555401.340 * [misc]backup-simplify: Simplify 1 into 1 1545555401.340 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555401.340 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1545555401.340 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1545555401.340 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1545555401.340 * [misc]taylor: Taking taylor expansion of a in b 1545555401.341 * [misc]backup-simplify: Simplify a into a 1545555401.341 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1545555401.341 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555401.341 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1545555401.341 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1545555401.341 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1545555401.342 * [misc]backup-simplify: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555401.342 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555401.342 * [misc]taylor: Taking taylor expansion of 0 in b 1545555401.342 * [misc]backup-simplify: Simplify 0 into 0 1545555401.343 * [misc]backup-simplify: Simplify 0 into 0 1545555401.343 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1545555401.344 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555401.344 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555401.344 * [misc]backup-simplify: Simplify 0 into 0 1545555401.344 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1545555401.346 * [misc]backup-simplify: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555401.346 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555401.346 * [misc]taylor: Taking taylor expansion of 0 in b 1545555401.346 * [misc]backup-simplify: Simplify 0 into 0 1545555401.346 * [misc]backup-simplify: Simplify 0 into 0 1545555401.347 * [misc]backup-simplify: Simplify 0 into 0 1545555401.347 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555401.349 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555401.349 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555401.349 * [misc]backup-simplify: Simplify 0 into 0 1545555401.349 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 1545555401.352 * [misc]backup-simplify: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1545555401.352 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555401.352 * [misc]taylor: Taking taylor expansion of 0 in b 1545555401.352 * [misc]backup-simplify: Simplify 0 into 0 1545555401.352 * [misc]backup-simplify: Simplify 0 into 0 1545555401.353 * [misc]backup-simplify: Simplify (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a)))) into (+ (exp b) (exp a)) 1545555401.353 * [misc]backup-simplify: Simplify (+ (exp (/ 1 (- a))) (exp (/ 1 (- b)))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1545555401.353 * [misc]approximate: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in (a b) around 0 1545555401.353 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1545555401.353 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in b 1545555401.353 * [misc]taylor: Taking taylor expansion of (/ -1 b) in b 1545555401.353 * [misc]taylor: Taking taylor expansion of -1 in b 1545555401.353 * [misc]backup-simplify: Simplify -1 into -1 1545555401.353 * [misc]taylor: Taking taylor expansion of b in b 1545555401.353 * [misc]backup-simplify: Simplify 0 into 0 1545555401.353 * [misc]backup-simplify: Simplify 1 into 1 1545555401.353 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545555401.353 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1545555401.353 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1545555401.353 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1545555401.353 * [misc]taylor: Taking taylor expansion of -1 in b 1545555401.353 * [misc]backup-simplify: Simplify -1 into -1 1545555401.353 * [misc]taylor: Taking taylor expansion of a in b 1545555401.353 * [misc]backup-simplify: Simplify a into a 1545555401.353 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1545555401.354 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555401.354 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1545555401.354 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in a 1545555401.354 * [misc]taylor: Taking taylor expansion of (/ -1 b) in a 1545555401.354 * [misc]taylor: Taking taylor expansion of -1 in a 1545555401.354 * [misc]backup-simplify: Simplify -1 into -1 1545555401.354 * [misc]taylor: Taking taylor expansion of b in a 1545555401.354 * [misc]backup-simplify: Simplify b into b 1545555401.354 * [misc]backup-simplify: Simplify (/ -1 b) into (/ -1 b) 1545555401.354 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1545555401.354 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1545555401.354 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1545555401.354 * [misc]taylor: Taking taylor expansion of -1 in a 1545555401.354 * [misc]backup-simplify: Simplify -1 into -1 1545555401.354 * [misc]taylor: Taking taylor expansion of a in a 1545555401.354 * [misc]backup-simplify: Simplify 0 into 0 1545555401.354 * [misc]backup-simplify: Simplify 1 into 1 1545555401.354 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545555401.354 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555401.354 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1545555401.354 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in a 1545555401.354 * [misc]taylor: Taking taylor expansion of (/ -1 b) in a 1545555401.354 * [misc]taylor: Taking taylor expansion of -1 in a 1545555401.354 * [misc]backup-simplify: Simplify -1 into -1 1545555401.354 * [misc]taylor: Taking taylor expansion of b in a 1545555401.354 * [misc]backup-simplify: Simplify b into b 1545555401.354 * [misc]backup-simplify: Simplify (/ -1 b) into (/ -1 b) 1545555401.355 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1545555401.355 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1545555401.355 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1545555401.355 * [misc]taylor: Taking taylor expansion of -1 in a 1545555401.355 * [misc]backup-simplify: Simplify -1 into -1 1545555401.355 * [misc]taylor: Taking taylor expansion of a in a 1545555401.355 * [misc]backup-simplify: Simplify 0 into 0 1545555401.355 * [misc]backup-simplify: Simplify 1 into 1 1545555401.355 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545555401.355 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555401.355 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1545555401.355 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1545555401.355 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in b 1545555401.355 * [misc]taylor: Taking taylor expansion of (/ -1 b) in b 1545555401.355 * [misc]taylor: Taking taylor expansion of -1 in b 1545555401.355 * [misc]backup-simplify: Simplify -1 into -1 1545555401.355 * [misc]taylor: Taking taylor expansion of b in b 1545555401.355 * [misc]backup-simplify: Simplify 0 into 0 1545555401.355 * [misc]backup-simplify: Simplify 1 into 1 1545555401.355 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545555401.356 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1545555401.356 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1545555401.356 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1545555401.356 * [misc]taylor: Taking taylor expansion of -1 in b 1545555401.356 * [misc]backup-simplify: Simplify -1 into -1 1545555401.356 * [misc]taylor: Taking taylor expansion of a in b 1545555401.356 * [misc]backup-simplify: Simplify a into a 1545555401.356 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1545555401.356 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555401.356 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1545555401.356 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1545555401.356 * [misc]backup-simplify: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0 1545555401.358 * [misc]backup-simplify: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555401.358 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555401.358 * [misc]taylor: Taking taylor expansion of 0 in b 1545555401.358 * [misc]backup-simplify: Simplify 0 into 0 1545555401.358 * [misc]backup-simplify: Simplify 0 into 0 1545555401.358 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1545555401.359 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555401.359 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555401.359 * [misc]backup-simplify: Simplify 0 into 0 1545555401.360 * [misc]backup-simplify: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1545555401.362 * [misc]backup-simplify: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555401.362 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555401.362 * [misc]taylor: Taking taylor expansion of 0 in b 1545555401.362 * [misc]backup-simplify: Simplify 0 into 0 1545555401.362 * [misc]backup-simplify: Simplify 0 into 0 1545555401.362 * [misc]backup-simplify: Simplify 0 into 0 1545555401.362 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555401.364 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555401.364 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555401.364 * [misc]backup-simplify: Simplify 0 into 0 1545555401.364 * [misc]backup-simplify: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 1545555401.367 * [misc]backup-simplify: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1545555401.367 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555401.368 * [misc]taylor: Taking taylor expansion of 0 in b 1545555401.368 * [misc]backup-simplify: Simplify 0 into 0 1545555401.368 * [misc]backup-simplify: Simplify 0 into 0 1545555401.368 * [misc]backup-simplify: Simplify (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a))))) into (+ (exp b) (exp a)) 1545555401.368 * * * [misc]progress: simplifying candidates 1545555401.368 * * * * [misc]progress: [ 1 / 51 ] simplifiying candidate # 1545555401.368 * * * * [misc]progress: [ 2 / 51 ] simplifiying candidate # 1545555401.368 * [enter]simplify: Simplifying (- a (log (+ (exp a) (exp b)))) 1545555401.368 * * [misc]simplify: iters left: 6 (7 enodes) 1545555401.370 * * [misc]simplify: iters left: 5 (10 enodes) 1545555401.373 * * [misc]simplify: iters left: 4 (11 enodes) 1545555401.376 * [exit]simplify: Simplified to (- a (log (+ (exp a) (exp b)))) 1545555401.376 * [misc]simplify: Simplified (2 1) to (λ (a b) (exp (- a (log (+ (exp a) (exp b)))))) 1545555401.376 * * * * [misc]progress: [ 3 / 51 ] simplifiying candidate # 1545555401.376 * * * * [misc]progress: [ 4 / 51 ] simplifiying candidate # 1545555401.376 * * * * [misc]progress: [ 5 / 51 ] simplifiying candidate # 1545555401.376 * [enter]simplify: Simplifying (/ (* (* (exp a) (exp a)) (exp a)) (* (* (+ (exp a) (exp b)) (+ (exp a) (exp b))) (+ (exp a) (exp b)))) 1545555401.376 * * [misc]simplify: iters left: 6 (10 enodes) 1545555401.380 * * [misc]simplify: iters left: 5 (34 enodes) 1545555401.391 * * [misc]simplify: iters left: 4 (117 enodes) 1545555401.419 * * [misc]simplify: iters left: 3 (324 enodes) 1545555401.593 * [exit]simplify: Simplified to (pow (/ (exp a) (+ (exp a) (exp b))) 3) 1545555401.593 * [misc]simplify: Simplified (2 1) to (λ (a b) (cbrt (pow (/ (exp a) (+ (exp a) (exp b))) 3))) 1545555401.593 * * * * [misc]progress: [ 6 / 51 ] simplifiying candidate # 1545555401.593 * * * * [misc]progress: [ 7 / 51 ] simplifiying candidate # 1545555401.593 * * * * [misc]progress: [ 8 / 51 ] simplifiying candidate # 1545555401.593 * * * * [misc]progress: [ 9 / 51 ] simplifiying candidate # 1545555401.593 * * * * [misc]progress: [ 10 / 51 ] simplifiying candidate # 1545555401.594 * [enter]simplify: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) 1545555401.594 * * [misc]simplify: iters left: 6 (10 enodes) 1545555401.597 * * [misc]simplify: iters left: 5 (17 enodes) 1545555401.602 * * [misc]simplify: iters left: 4 (26 enodes) 1545555401.609 * * [misc]simplify: iters left: 3 (29 enodes) 1545555401.614 * * [misc]simplify: iters left: 2 (32 enodes) 1545555401.618 * [exit]simplify: Simplified to (* (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))) (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b))))) 1545555401.618 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (* (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))) (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b))))) (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))))) 1545555401.618 * [enter]simplify: Simplifying (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))) 1545555401.618 * * [misc]simplify: iters left: 6 (8 enodes) 1545555401.619 * * [misc]simplify: iters left: 5 (9 enodes) 1545555401.621 * [exit]simplify: Simplified to (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))) 1545555401.621 * [misc]simplify: Simplified (2 2) to (λ (a 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)))))) 1545555401.621 * * * * [misc]progress: [ 11 / 51 ] simplifiying candidate # 1545555401.621 * [enter]simplify: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ (exp a) (exp b)))) 1545555401.621 * * [misc]simplify: iters left: 6 (9 enodes) 1545555401.624 * * [misc]simplify: iters left: 5 (12 enodes) 1545555401.628 * * [misc]simplify: iters left: 4 (14 enodes) 1545555401.632 * * [misc]simplify: iters left: 3 (15 enodes) 1545555401.636 * [exit]simplify: Simplified to (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ (exp a) (exp b)))) 1545555401.636 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ (exp a) (exp b)))) (/ (cbrt (exp a)) (sqrt (+ (exp a) (exp b)))))) 1545555401.636 * [enter]simplify: Simplifying (/ (cbrt (exp a)) (sqrt (+ (exp a) (exp b)))) 1545555401.636 * * [misc]simplify: iters left: 6 (8 enodes) 1545555401.641 * * [misc]simplify: iters left: 5 (9 enodes) 1545555401.643 * [exit]simplify: Simplified to (/ (cbrt (exp a)) (sqrt (+ (exp a) (exp b)))) 1545555401.644 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ (exp a) (exp b)))) (/ (cbrt (exp a)) (sqrt (+ (exp a) (exp b)))))) 1545555401.644 * * * * [misc]progress: [ 12 / 51 ] simplifiying candidate # 1545555401.644 * [enter]simplify: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) 1) 1545555401.644 * * [misc]simplify: iters left: 6 (6 enodes) 1545555401.646 * * [misc]simplify: iters left: 5 (10 enodes) 1545555401.648 * * [misc]simplify: iters left: 4 (16 enodes) 1545555401.650 * * [misc]simplify: iters left: 3 (18 enodes) 1545555401.652 * * [misc]simplify: iters left: 2 (23 enodes) 1545555401.655 * [exit]simplify: Simplified to (* (cbrt (exp a)) (cbrt (exp a))) 1545555401.656 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))))) 1545555401.656 * [enter]simplify: Simplifying (/ (cbrt (exp a)) (+ (exp a) (exp b))) 1545555401.656 * * [misc]simplify: iters left: 5 (7 enodes) 1545555401.657 * * [misc]simplify: iters left: 4 (8 enodes) 1545555401.658 * [exit]simplify: Simplified to (/ (cbrt (exp a)) (+ (exp a) (exp b))) 1545555401.658 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))))) 1545555401.658 * * * * [misc]progress: [ 13 / 51 ] simplifiying candidate # 1545555401.658 * [enter]simplify: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) 1) 1545555401.658 * * [misc]simplify: iters left: 6 (6 enodes) 1545555401.659 * * [misc]simplify: iters left: 5 (10 enodes) 1545555401.660 * * [misc]simplify: iters left: 4 (16 enodes) 1545555401.662 * * [misc]simplify: iters left: 3 (18 enodes) 1545555401.664 * * [misc]simplify: iters left: 2 (23 enodes) 1545555401.666 * [exit]simplify: Simplified to (* (cbrt (exp a)) (cbrt (exp a))) 1545555401.666 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))))) 1545555401.667 * [enter]simplify: Simplifying (/ (cbrt (exp a)) (+ (exp a) (exp b))) 1545555401.667 * * [misc]simplify: iters left: 5 (7 enodes) 1545555401.668 * * [misc]simplify: iters left: 4 (8 enodes) 1545555401.669 * [exit]simplify: Simplified to (/ (cbrt (exp a)) (+ (exp a) (exp b))) 1545555401.669 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))))) 1545555401.669 * * * * [misc]progress: [ 14 / 51 ] simplifiying candidate # 1545555401.669 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) 1545555401.669 * * [misc]simplify: iters left: 6 (9 enodes) 1545555401.670 * * [misc]simplify: iters left: 5 (12 enodes) 1545555401.672 * [exit]simplify: Simplified to (/ (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))) (cbrt (+ (exp a) (exp b)))) 1545555401.672 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))) (cbrt (+ (exp a) (exp b)))) (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))))) 1545555401.672 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))) 1545555401.672 * * [misc]simplify: iters left: 6 (8 enodes) 1545555401.673 * * [misc]simplify: iters left: 5 (9 enodes) 1545555401.674 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))) 1545555401.674 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (sqrt (exp a)) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))))) 1545555401.674 * * * * [misc]progress: [ 15 / 51 ] simplifiying candidate # 1545555401.674 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) 1545555401.674 * * [misc]simplify: iters left: 6 (8 enodes) 1545555401.675 * * [misc]simplify: iters left: 5 (9 enodes) 1545555401.676 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) 1545555401.676 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))))) 1545555401.676 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) 1545555401.676 * * [misc]simplify: iters left: 6 (8 enodes) 1545555401.677 * * [misc]simplify: iters left: 5 (9 enodes) 1545555401.679 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) 1545555401.679 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))))) 1545555401.679 * * * * [misc]progress: [ 16 / 51 ] simplifiying candidate # 1545555401.679 * [enter]simplify: Simplifying (/ (sqrt (exp a)) 1) 1545555401.679 * * [misc]simplify: iters left: 4 (5 enodes) 1545555401.679 * * [misc]simplify: iters left: 3 (7 enodes) 1545555401.681 * * [misc]simplify: iters left: 2 (9 enodes) 1545555401.682 * [exit]simplify: Simplified to (sqrt (exp a)) 1545555401.682 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp a) (exp b))))) 1545555401.682 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (+ (exp a) (exp b))) 1545555401.682 * * [misc]simplify: iters left: 5 (7 enodes) 1545555401.683 * * [misc]simplify: iters left: 4 (8 enodes) 1545555401.684 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (+ (exp a) (exp b))) 1545555401.684 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp a) (exp b))))) 1545555401.684 * * * * [misc]progress: [ 17 / 51 ] simplifiying candidate # 1545555401.684 * [enter]simplify: Simplifying (/ (sqrt (exp a)) 1) 1545555401.684 * * [misc]simplify: iters left: 4 (5 enodes) 1545555401.685 * * [misc]simplify: iters left: 3 (7 enodes) 1545555401.686 * * [misc]simplify: iters left: 2 (9 enodes) 1545555401.687 * [exit]simplify: Simplified to (sqrt (exp a)) 1545555401.687 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp a) (exp b))))) 1545555401.687 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (+ (exp a) (exp b))) 1545555401.687 * * [misc]simplify: iters left: 5 (7 enodes) 1545555401.688 * * [misc]simplify: iters left: 4 (8 enodes) 1545555401.689 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (+ (exp a) (exp b))) 1545555401.689 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp a) (exp b))))) 1545555401.689 * * * * [misc]progress: [ 18 / 51 ] simplifiying candidate # 1545555401.689 * [enter]simplify: Simplifying (/ 1 (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) 1545555401.689 * * [misc]simplify: iters left: 6 (9 enodes) 1545555401.690 * * [misc]simplify: iters left: 5 (14 enodes) 1545555401.692 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (+ (exp a) (exp b)))) (cbrt (+ (exp a) (exp b)))) 1545555401.692 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ (/ 1 (cbrt (+ (exp a) (exp b)))) (cbrt (+ (exp a) (exp b)))) (/ (exp a) (cbrt (+ (exp a) (exp b)))))) 1545555401.692 * [enter]simplify: Simplifying (/ (exp a) (cbrt (+ (exp a) (exp b)))) 1545555401.692 * * [misc]simplify: iters left: 6 (7 enodes) 1545555401.693 * * [misc]simplify: iters left: 5 (8 enodes) 1545555401.694 * [exit]simplify: Simplified to (/ (exp a) (cbrt (+ (exp a) (exp b)))) 1545555401.694 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ 1 (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) (/ (exp a) (cbrt (+ (exp a) (exp b)))))) 1545555401.694 * * * * [misc]progress: [ 19 / 51 ] simplifiying candidate # 1545555401.694 * [enter]simplify: Simplifying (/ 1 (sqrt (+ (exp a) (exp b)))) 1545555401.694 * * [misc]simplify: iters left: 6 (8 enodes) 1545555401.695 * * [misc]simplify: iters left: 5 (11 enodes) 1545555401.697 * [exit]simplify: Simplified to (/ 1 (sqrt (+ (exp a) (exp b)))) 1545555401.697 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ 1 (sqrt (+ (exp a) (exp b)))) (/ (exp a) (sqrt (+ (exp a) (exp b)))))) 1545555401.697 * [enter]simplify: Simplifying (/ (exp a) (sqrt (+ (exp a) (exp b)))) 1545555401.697 * * [misc]simplify: iters left: 6 (7 enodes) 1545555401.698 * * [misc]simplify: iters left: 5 (8 enodes) 1545555401.699 * [exit]simplify: Simplified to (/ (exp a) (sqrt (+ (exp a) (exp b)))) 1545555401.699 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ 1 (sqrt (+ (exp a) (exp b)))) (/ (exp a) (sqrt (+ (exp a) (exp b)))))) 1545555401.699 * * * * [misc]progress: [ 20 / 51 ] simplifiying candidate # 1545555401.699 * [enter]simplify: Simplifying (/ 1 1) 1545555401.699 * * [misc]simplify: iters left: 2 (2 enodes) 1545555401.699 * * [misc]simplify: iters left: 1 (4 enodes) 1545555401.700 * [exit]simplify: Simplified to 1 1545555401.700 * [misc]simplify: Simplified (2 1) to (λ (a b) (* 1 (/ (exp a) (+ (exp a) (exp b))))) 1545555401.700 * [enter]simplify: Simplifying (/ (exp a) (+ (exp a) (exp b))) 1545555401.700 * * [misc]simplify: iters left: 5 (6 enodes) 1545555401.701 * * [misc]simplify: iters left: 4 (7 enodes) 1545555401.701 * [exit]simplify: Simplified to (/ (exp a) (+ (exp a) (exp b))) 1545555401.702 * [misc]simplify: Simplified (2 2) to (λ (a b) (* 1 (/ (exp a) (+ (exp a) (exp b))))) 1545555401.702 * * * * [misc]progress: [ 21 / 51 ] simplifiying candidate # 1545555401.702 * [enter]simplify: Simplifying (/ 1 1) 1545555401.702 * * [misc]simplify: iters left: 2 (2 enodes) 1545555401.702 * * [misc]simplify: iters left: 1 (4 enodes) 1545555401.702 * [exit]simplify: Simplified to 1 1545555401.702 * [misc]simplify: Simplified (2 1) to (λ (a b) (* 1 (/ (exp a) (+ (exp a) (exp b))))) 1545555401.703 * [enter]simplify: Simplifying (/ (exp a) (+ (exp a) (exp b))) 1545555401.703 * * [misc]simplify: iters left: 5 (6 enodes) 1545555401.703 * * [misc]simplify: iters left: 4 (7 enodes) 1545555401.704 * [exit]simplify: Simplified to (/ (exp a) (+ (exp a) (exp b))) 1545555401.704 * [misc]simplify: Simplified (2 2) to (λ (a b) (* 1 (/ (exp a) (+ (exp a) (exp b))))) 1545555401.704 * * * * [misc]progress: [ 22 / 51 ] simplifiying candidate # 1545555401.705 * * * * [misc]progress: [ 23 / 51 ] simplifiying candidate # 1545555401.705 * * * * [misc]progress: [ 24 / 51 ] simplifiying candidate # 1545555401.705 * * * * [misc]progress: [ 25 / 51 ] simplifiying candidate # 1545555401.705 * [enter]simplify: Simplifying (cbrt (+ (exp a) (exp b))) 1545555401.705 * * [misc]simplify: iters left: 4 (6 enodes) 1545555401.706 * * [misc]simplify: iters left: 3 (7 enodes) 1545555401.706 * [exit]simplify: Simplified to (cbrt (+ (exp a) (exp b))) 1545555401.706 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (/ (exp a) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) (cbrt (+ (exp a) (exp b))))) 1545555401.706 * * * * [misc]progress: [ 26 / 51 ] simplifiying candidate # 1545555401.707 * [enter]simplify: Simplifying (sqrt (+ (exp a) (exp b))) 1545555401.707 * * [misc]simplify: iters left: 4 (6 enodes) 1545555401.708 * * [misc]simplify: iters left: 3 (7 enodes) 1545555401.709 * [exit]simplify: Simplified to (sqrt (+ (exp a) (exp b))) 1545555401.709 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (/ (exp a) (sqrt (+ (exp a) (exp b)))) (sqrt (+ (exp a) (exp b))))) 1545555401.709 * * * * [misc]progress: [ 27 / 51 ] simplifiying candidate # 1545555401.710 * [enter]simplify: Simplifying (+ (exp a) (exp b)) 1545555401.710 * * [misc]simplify: iters left: 3 (5 enodes) 1545555401.711 * * [misc]simplify: iters left: 2 (6 enodes) 1545555401.713 * [exit]simplify: Simplified to (+ (exp a) (exp b)) 1545555401.713 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (/ (exp a) 1) (+ (exp a) (exp b)))) 1545555401.713 * * * * [misc]progress: [ 28 / 51 ] simplifiying candidate # 1545555401.713 * [enter]simplify: Simplifying (+ (exp a) (exp b)) 1545555401.713 * * [misc]simplify: iters left: 3 (5 enodes) 1545555401.714 * * [misc]simplify: iters left: 2 (6 enodes) 1545555401.716 * [exit]simplify: Simplified to (+ (exp a) (exp b)) 1545555401.716 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (/ (exp a) 1) (+ (exp a) (exp b)))) 1545555401.716 * * * * [misc]progress: [ 29 / 51 ] simplifiying candidate # 1545555401.716 * [enter]simplify: Simplifying (* (cbrt (exp a)) (cbrt (exp a))) 1545555401.716 * * [misc]simplify: iters left: 4 (4 enodes) 1545555401.717 * [exit]simplify: Simplified to (* (cbrt (exp a)) (cbrt (exp a))) 1545555401.717 * [misc]simplify: Simplified (2 1) to (λ (a b) (/ (* (cbrt (exp a)) (cbrt (exp a))) (/ (+ (exp a) (exp b)) (cbrt (exp a))))) 1545555401.717 * * * * [misc]progress: [ 30 / 51 ] simplifiying candidate # 1545555401.718 * [enter]simplify: Simplifying (sqrt (exp a)) 1545555401.718 * * [misc]simplify: iters left: 2 (3 enodes) 1545555401.719 * [exit]simplify: Simplified to (sqrt (exp a)) 1545555401.719 * [misc]simplify: Simplified (2 1) to (λ (a b) (/ (sqrt (exp a)) (/ (+ (exp a) (exp b)) (sqrt (exp a))))) 1545555401.719 * * * * [misc]progress: [ 31 / 51 ] simplifiying candidate # 1545555401.719 * * * * [misc]progress: [ 32 / 51 ] simplifiying candidate # 1545555401.719 * [enter]simplify: Simplifying (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))) 1545555401.719 * * [misc]simplify: iters left: 6 (9 enodes) 1545555401.722 * * [misc]simplify: iters left: 5 (23 enodes) 1545555401.727 * * [misc]simplify: iters left: 4 (40 enodes) 1545555401.732 * * [misc]simplify: iters left: 3 (52 enodes) 1545555401.739 * * [misc]simplify: iters left: 2 (64 enodes) 1545555401.747 * * [misc]simplify: iters left: 1 (82 enodes) 1545555401.767 * [exit]simplify: Simplified to (- (* (exp b) (- (exp b) (exp a))) (* (exp a) (- (exp a)))) 1545555401.767 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (- (* (exp b) (- (exp b) (exp a))) (* (exp a) (- (exp a)))))) 1545555401.767 * * * * [misc]progress: [ 33 / 51 ] simplifiying candidate # 1545555401.767 * [enter]simplify: Simplifying (- (exp a) (exp b)) 1545555401.767 * * [misc]simplify: iters left: 3 (5 enodes) 1545555401.769 * * [misc]simplify: iters left: 2 (7 enodes) 1545555401.770 * * [misc]simplify: iters left: 1 (8 enodes) 1545555401.772 * [exit]simplify: Simplified to (- (exp a) (exp b)) 1545555401.773 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (exp a) (- (* (exp a) (exp a)) (* (exp b) (exp b)))) (- (exp a) (exp b)))) 1545555401.773 * * * * [misc]progress: [ 34 / 51 ] simplifiying candidate # 1545555401.773 * [enter]simplify: Simplifying (* (exp (exp a)) (exp (exp b))) 1545555401.773 * * [misc]simplify: iters left: 4 (7 enodes) 1545555401.775 * * [misc]simplify: iters left: 3 (10 enodes) 1545555401.778 * * [misc]simplify: iters left: 2 (12 enodes) 1545555401.781 * [exit]simplify: Simplified to (exp (+ (exp a) (exp b))) 1545555401.781 * [misc]simplify: Simplified (2 2 1) to (λ (a b) (/ (exp a) (log (exp (+ (exp a) (exp b)))))) 1545555401.781 * * * * [misc]progress: [ 35 / 51 ] simplifiying candidate # 1545555401.781 * * * * [misc]progress: [ 36 / 51 ] simplifiying candidate # 1545555401.781 * * * * [misc]progress: [ 37 / 51 ] simplifiying candidate # 1545555401.781 * * * * [misc]progress: [ 38 / 51 ] simplifiying candidate # 1545555401.781 * * * * [misc]progress: [ 39 / 51 ] simplifiying candidate # 1545555401.781 * * * * [misc]progress: [ 40 / 51 ] simplifiying candidate # 1545555401.781 * * * * [misc]progress: [ 41 / 51 ] simplifiying candidate # 1545555401.781 * * * * [misc]progress: [ 42 / 51 ] simplifiying candidate # 1545555401.781 * * * * [misc]progress: [ 43 / 51 ] simplifiying candidate # 1545555401.781 * * * * [misc]progress: [ 44 / 51 ] simplifiying candidate # 1545555401.782 * [enter]simplify: Simplifying (+ (exp a) (exp b)) 1545555401.782 * * [misc]simplify: iters left: 3 (5 enodes) 1545555401.783 * * [misc]simplify: iters left: 2 (6 enodes) 1545555401.785 * [exit]simplify: Simplified to (+ (exp a) (exp b)) 1545555401.785 * [misc]simplify: Simplified (2 2 2) to (λ (a b) (/ (exp a) (* 1 (+ (exp a) (exp b))))) 1545555401.785 * * * * [misc]progress: [ 45 / 51 ] simplifiying candidate # 1545555401.785 * * * * [misc]progress: [ 46 / 51 ] simplifiying candidate # 1545555401.785 * [enter]simplify: Simplifying (- (+ (* 1/4 a) 1/2) (* 1/4 b)) 1545555401.785 * * [misc]simplify: iters left: 6 (8 enodes) 1545555401.788 * * [misc]simplify: iters left: 5 (15 enodes) 1545555401.793 * * [misc]simplify: iters left: 4 (30 enodes) 1545555401.802 * * [misc]simplify: iters left: 3 (41 enodes) 1545555401.813 * * [misc]simplify: iters left: 2 (48 enodes) 1545555401.824 * * [misc]simplify: iters left: 1 (57 enodes) 1545555401.841 * [exit]simplify: Simplified to (- 1/2 (* 1/4 (- b a))) 1545555401.842 * [misc]simplify: Simplified (2) to (λ (a b) (- 1/2 (* 1/4 (- b a)))) 1545555401.842 * * * * [misc]progress: [ 47 / 51 ] simplifiying candidate # 1545555401.842 * [enter]simplify: Simplifying (/ (exp a) (+ (exp b) (exp a))) 1545555401.842 * * [misc]simplify: iters left: 5 (6 enodes) 1545555401.844 * * [misc]simplify: iters left: 4 (7 enodes) 1545555401.846 * [exit]simplify: Simplified to (/ (exp a) (+ (exp a) (exp b))) 1545555401.846 * [misc]simplify: Simplified (2) to (λ (a b) (/ (exp a) (+ (exp a) (exp b)))) 1545555401.846 * * * * [misc]progress: [ 48 / 51 ] simplifiying candidate # 1545555401.847 * [enter]simplify: Simplifying (/ (exp a) (+ (exp b) (exp a))) 1545555401.847 * * [misc]simplify: iters left: 5 (6 enodes) 1545555401.849 * * [misc]simplify: iters left: 4 (7 enodes) 1545555401.851 * [exit]simplify: Simplified to (/ (exp a) (+ (exp a) (exp b))) 1545555401.851 * [misc]simplify: Simplified (2) to (λ (a b) (/ (exp a) (+ (exp a) (exp b)))) 1545555401.851 * * * * [misc]progress: [ 49 / 51 ] simplifiying candidate # 1545555401.852 * [enter]simplify: Simplifying (+ a (+ b 2)) 1545555401.852 * * [misc]simplify: iters left: 4 (5 enodes) 1545555401.853 * * [misc]simplify: iters left: 3 (9 enodes) 1545555401.856 * * [misc]simplify: iters left: 2 (15 enodes) 1545555401.860 * * [misc]simplify: iters left: 1 (17 enodes) 1545555401.864 * [exit]simplify: Simplified to (+ (+ b a) 2) 1545555401.864 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (exp a) (+ (+ b a) 2))) 1545555401.864 * * * * [misc]progress: [ 50 / 51 ] simplifiying candidate # 1545555401.864 * [enter]simplify: Simplifying (+ (exp b) (exp a)) 1545555401.865 * * [misc]simplify: iters left: 3 (5 enodes) 1545555401.866 * * [misc]simplify: iters left: 2 (6 enodes) 1545555401.868 * [exit]simplify: Simplified to (+ (exp b) (exp a)) 1545555401.868 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (exp a) (+ (exp b) (exp a)))) 1545555401.868 * * * * [misc]progress: [ 51 / 51 ] simplifiying candidate # 1545555401.868 * [enter]simplify: Simplifying (+ (exp b) (exp a)) 1545555401.868 * * [misc]simplify: iters left: 3 (5 enodes) 1545555401.870 * * [misc]simplify: iters left: 2 (6 enodes) 1545555401.871 * [exit]simplify: Simplified to (+ (exp b) (exp a)) 1545555401.871 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (exp a) (+ (exp b) (exp a)))) 1545555401.872 * * * [misc]progress: adding candidates to table 1545555402.333 * * [misc]progress: iteration 2 / 4 1545555402.333 * * * [misc]progress: picking best candidate 1545555402.341 * * * * [misc]pick: Picked # 1545555402.341 * * * [misc]progress: localizing error 1545555402.346 * * * [misc]progress: generating rewritten candidates 1545555402.346 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1545555402.352 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) 1545555402.357 * * * [misc]progress: generating series expansions 1545555402.357 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1545555402.357 * [misc]backup-simplify: Simplify (/ (exp a) (+ (exp b) (exp a))) into (/ (exp a) (+ (exp b) (exp a))) 1545555402.357 * [misc]approximate: Taking taylor expansion of (/ (exp a) (+ (exp b) (exp a))) in (a b) around 0 1545555402.357 * [misc]taylor: Taking taylor expansion of (/ (exp a) (+ (exp b) (exp a))) in b 1545555402.357 * [misc]taylor: Taking taylor expansion of (exp a) in b 1545555402.357 * [misc]taylor: Taking taylor expansion of a in b 1545555402.357 * [misc]backup-simplify: Simplify a into a 1545555402.357 * [misc]backup-simplify: Simplify (exp a) into (exp a) 1545555402.357 * [misc]taylor: Taking taylor expansion of (+ (exp b) (exp a)) in b 1545555402.357 * [misc]taylor: Taking taylor expansion of (exp b) in b 1545555402.357 * [misc]taylor: Taking taylor expansion of b in b 1545555402.357 * [misc]backup-simplify: Simplify 0 into 0 1545555402.357 * [misc]backup-simplify: Simplify 1 into 1 1545555402.357 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555402.357 * [misc]taylor: Taking taylor expansion of (exp a) in b 1545555402.357 * [misc]taylor: Taking taylor expansion of a in b 1545555402.357 * [misc]backup-simplify: Simplify a into a 1545555402.357 * [misc]backup-simplify: Simplify (exp a) into (exp a) 1545555402.357 * [misc]backup-simplify: Simplify (+ 1 (exp a)) into (+ (exp a) 1) 1545555402.357 * [misc]backup-simplify: Simplify (/ (exp a) (+ (exp a) 1)) into (/ (exp a) (+ (exp a) 1)) 1545555402.357 * [misc]taylor: Taking taylor expansion of (/ (exp a) (+ (exp b) (exp a))) in a 1545555402.357 * [misc]taylor: Taking taylor expansion of (exp a) in a 1545555402.357 * [misc]taylor: Taking taylor expansion of a in a 1545555402.357 * [misc]backup-simplify: Simplify 0 into 0 1545555402.357 * [misc]backup-simplify: Simplify 1 into 1 1545555402.357 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555402.357 * [misc]taylor: Taking taylor expansion of (+ (exp b) (exp a)) in a 1545555402.357 * [misc]taylor: Taking taylor expansion of (exp b) in a 1545555402.357 * [misc]taylor: Taking taylor expansion of b in a 1545555402.357 * [misc]backup-simplify: Simplify b into b 1545555402.357 * [misc]backup-simplify: Simplify (exp b) into (exp b) 1545555402.357 * [misc]taylor: Taking taylor expansion of (exp a) in a 1545555402.357 * [misc]taylor: Taking taylor expansion of a in a 1545555402.357 * [misc]backup-simplify: Simplify 0 into 0 1545555402.357 * [misc]backup-simplify: Simplify 1 into 1 1545555402.357 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555402.358 * [misc]backup-simplify: Simplify (+ (exp b) 1) into (+ (exp b) 1) 1545555402.358 * [misc]backup-simplify: Simplify (/ 1 (+ (exp b) 1)) into (/ 1 (+ (exp b) 1)) 1545555402.358 * [misc]taylor: Taking taylor expansion of (/ (exp a) (+ (exp b) (exp a))) in a 1545555402.358 * [misc]taylor: Taking taylor expansion of (exp a) in a 1545555402.358 * [misc]taylor: Taking taylor expansion of a in a 1545555402.358 * [misc]backup-simplify: Simplify 0 into 0 1545555402.358 * [misc]backup-simplify: Simplify 1 into 1 1545555402.358 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555402.358 * [misc]taylor: Taking taylor expansion of (+ (exp b) (exp a)) in a 1545555402.358 * [misc]taylor: Taking taylor expansion of (exp b) in a 1545555402.358 * [misc]taylor: Taking taylor expansion of b in a 1545555402.358 * [misc]backup-simplify: Simplify b into b 1545555402.358 * [misc]backup-simplify: Simplify (exp b) into (exp b) 1545555402.358 * [misc]taylor: Taking taylor expansion of (exp a) in a 1545555402.358 * [misc]taylor: Taking taylor expansion of a in a 1545555402.358 * [misc]backup-simplify: Simplify 0 into 0 1545555402.358 * [misc]backup-simplify: Simplify 1 into 1 1545555402.358 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555402.358 * [misc]backup-simplify: Simplify (+ (exp b) 1) into (+ (exp b) 1) 1545555402.358 * [misc]backup-simplify: Simplify (/ 1 (+ (exp b) 1)) into (/ 1 (+ (exp b) 1)) 1545555402.358 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b 1545555402.358 * [misc]taylor: Taking taylor expansion of (+ (exp b) 1) in b 1545555402.358 * [misc]taylor: Taking taylor expansion of (exp b) in b 1545555402.358 * [misc]taylor: Taking taylor expansion of b in b 1545555402.358 * [misc]backup-simplify: Simplify 0 into 0 1545555402.358 * [misc]backup-simplify: Simplify 1 into 1 1545555402.358 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555402.358 * [misc]taylor: Taking taylor expansion of 1 in b 1545555402.358 * [misc]backup-simplify: Simplify 1 into 1 1545555402.358 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1545555402.358 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 1545555402.358 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545555402.359 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1545555402.360 * [misc]backup-simplify: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0 1545555402.361 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1545555402.361 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545555402.361 * [misc]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))) 1545555402.361 * [misc]taylor: Taking taylor expansion of (- (/ 1 (+ (exp b) 1)) (/ 1 (pow (+ (exp b) 1) 2))) in b 1545555402.361 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b 1545555402.361 * [misc]taylor: Taking taylor expansion of (+ (exp b) 1) in b 1545555402.361 * [misc]taylor: Taking taylor expansion of (exp b) in b 1545555402.361 * [misc]taylor: Taking taylor expansion of b in b 1545555402.361 * [misc]backup-simplify: Simplify 0 into 0 1545555402.361 * [misc]backup-simplify: Simplify 1 into 1 1545555402.361 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555402.361 * [misc]taylor: Taking taylor expansion of 1 in b 1545555402.361 * [misc]backup-simplify: Simplify 1 into 1 1545555402.361 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1545555402.361 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 1545555402.362 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ (exp b) 1) 2)) in b 1545555402.362 * [misc]taylor: Taking taylor expansion of (pow (+ (exp b) 1) 2) in b 1545555402.362 * [misc]taylor: Taking taylor expansion of (+ (exp b) 1) in b 1545555402.362 * [misc]taylor: Taking taylor expansion of (exp b) in b 1545555402.362 * [misc]taylor: Taking taylor expansion of b in b 1545555402.362 * [misc]backup-simplify: Simplify 0 into 0 1545555402.362 * [misc]backup-simplify: Simplify 1 into 1 1545555402.362 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555402.362 * [misc]taylor: Taking taylor expansion of 1 in b 1545555402.362 * [misc]backup-simplify: Simplify 1 into 1 1545555402.362 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1545555402.362 * [misc]backup-simplify: Simplify (* 2 2) into 4 1545555402.362 * [misc]backup-simplify: Simplify (/ 1 4) into 1/4 1545555402.362 * [misc]backup-simplify: Simplify (- 1/4) into -1/4 1545555402.362 * [misc]backup-simplify: Simplify (+ 1/2 -1/4) into 1/4 1545555402.362 * [misc]backup-simplify: Simplify 1/4 into 1/4 1545555402.363 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1545555402.363 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545555402.363 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 1 2)))) into -1/4 1545555402.363 * [misc]backup-simplify: Simplify -1/4 into -1/4 1545555402.364 * [misc]backup-simplify: Simplify (+ (* -1/4 (* b 1)) (+ (* 1/4 (* 1 a)) 1/2)) into (- (+ (* 1/4 a) 1/2) (* 1/4 b)) 1545555402.364 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1545555402.364 * [misc]approximate: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in (a b) around 0 1545555402.364 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b 1545555402.364 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1545555402.364 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1545555402.364 * [misc]taylor: Taking taylor expansion of a in b 1545555402.364 * [misc]backup-simplify: Simplify a into a 1545555402.364 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1545555402.364 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555402.364 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1545555402.364 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in b 1545555402.364 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1545555402.364 * [misc]taylor: Taking taylor expansion of b in b 1545555402.364 * [misc]backup-simplify: Simplify 0 into 0 1545555402.364 * [misc]backup-simplify: Simplify 1 into 1 1545555402.364 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555402.364 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1545555402.364 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1545555402.364 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1545555402.364 * [misc]taylor: Taking taylor expansion of a in b 1545555402.364 * [misc]backup-simplify: Simplify a into a 1545555402.364 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1545555402.364 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555402.364 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1545555402.364 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1545555402.364 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a 1545555402.364 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1545555402.365 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1545555402.365 * [misc]taylor: Taking taylor expansion of a in a 1545555402.365 * [misc]backup-simplify: Simplify 0 into 0 1545555402.365 * [misc]backup-simplify: Simplify 1 into 1 1545555402.365 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555402.365 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555402.365 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1545555402.365 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in a 1545555402.365 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1545555402.365 * [misc]taylor: Taking taylor expansion of b in a 1545555402.365 * [misc]backup-simplify: Simplify b into b 1545555402.365 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1545555402.365 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1545555402.365 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1545555402.365 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1545555402.365 * [misc]taylor: Taking taylor expansion of a in a 1545555402.365 * [misc]backup-simplify: Simplify 0 into 0 1545555402.365 * [misc]backup-simplify: Simplify 1 into 1 1545555402.365 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555402.365 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555402.365 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1545555402.365 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1545555402.365 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a 1545555402.365 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1545555402.365 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1545555402.365 * [misc]taylor: Taking taylor expansion of a in a 1545555402.365 * [misc]backup-simplify: Simplify 0 into 0 1545555402.365 * [misc]backup-simplify: Simplify 1 into 1 1545555402.365 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555402.366 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555402.366 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1545555402.366 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in a 1545555402.366 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1545555402.366 * [misc]taylor: Taking taylor expansion of b in a 1545555402.366 * [misc]backup-simplify: Simplify b into b 1545555402.366 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1545555402.366 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1545555402.366 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1545555402.366 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1545555402.366 * [misc]taylor: Taking taylor expansion of a in a 1545555402.366 * [misc]backup-simplify: Simplify 0 into 0 1545555402.366 * [misc]backup-simplify: Simplify 1 into 1 1545555402.366 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555402.366 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555402.366 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1545555402.366 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1545555402.366 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b 1545555402.366 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1545555402.366 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1545555402.366 * [misc]taylor: Taking taylor expansion of a in b 1545555402.366 * [misc]backup-simplify: Simplify a into a 1545555402.366 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1545555402.366 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555402.366 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1545555402.366 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in b 1545555402.366 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1545555402.366 * [misc]taylor: Taking taylor expansion of b in b 1545555402.366 * [misc]backup-simplify: Simplify 0 into 0 1545555402.366 * [misc]backup-simplify: Simplify 1 into 1 1545555402.366 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555402.367 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1545555402.367 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1545555402.367 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1545555402.367 * [misc]taylor: Taking taylor expansion of a in b 1545555402.367 * [misc]backup-simplify: Simplify a into a 1545555402.367 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1545555402.367 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555402.367 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1545555402.367 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1545555402.367 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1545555402.367 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1545555402.368 * [misc]backup-simplify: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555402.368 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555402.368 * [misc]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 1545555402.368 * [misc]taylor: Taking taylor expansion of 0 in b 1545555402.368 * [misc]backup-simplify: Simplify 0 into 0 1545555402.368 * [misc]backup-simplify: Simplify 0 into 0 1545555402.368 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1545555402.369 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555402.369 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1545555402.370 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555402.370 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555402.370 * [misc]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 1545555402.370 * [misc]backup-simplify: Simplify 0 into 0 1545555402.370 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1545555402.372 * [misc]backup-simplify: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555402.372 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555402.372 * [misc]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 1545555402.373 * [misc]taylor: Taking taylor expansion of 0 in b 1545555402.373 * [misc]backup-simplify: Simplify 0 into 0 1545555402.373 * [misc]backup-simplify: Simplify 0 into 0 1545555402.373 * [misc]backup-simplify: Simplify 0 into 0 1545555402.373 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555402.375 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555402.375 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555402.377 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555402.377 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555402.377 * [misc]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 1545555402.378 * [misc]backup-simplify: Simplify 0 into 0 1545555402.378 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 1545555402.381 * [misc]backup-simplify: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1545555402.381 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555402.382 * [misc]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 1545555402.382 * [misc]taylor: Taking taylor expansion of 0 in b 1545555402.382 * [misc]backup-simplify: Simplify 0 into 0 1545555402.382 * [misc]backup-simplify: Simplify 0 into 0 1545555402.382 * [misc]backup-simplify: Simplify (/ (exp (/ 1 (/ 1 a))) (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a))))) into (/ (exp a) (+ (exp b) (exp a))) 1545555402.382 * [misc]backup-simplify: Simplify (/ (exp (/ 1 (- a))) (+ (exp (/ 1 (- b))) (exp (/ 1 (- a))))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1545555402.382 * [misc]approximate: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in (a b) around 0 1545555402.382 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b 1545555402.382 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1545555402.383 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1545555402.383 * [misc]taylor: Taking taylor expansion of -1 in b 1545555402.383 * [misc]backup-simplify: Simplify -1 into -1 1545555402.383 * [misc]taylor: Taking taylor expansion of a in b 1545555402.383 * [misc]backup-simplify: Simplify a into a 1545555402.383 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1545555402.383 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555402.383 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1545555402.383 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in b 1545555402.383 * [misc]taylor: Taking taylor expansion of (/ -1 b) in b 1545555402.383 * [misc]taylor: Taking taylor expansion of -1 in b 1545555402.383 * [misc]backup-simplify: Simplify -1 into -1 1545555402.383 * [misc]taylor: Taking taylor expansion of b in b 1545555402.383 * [misc]backup-simplify: Simplify 0 into 0 1545555402.383 * [misc]backup-simplify: Simplify 1 into 1 1545555402.383 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545555402.383 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1545555402.383 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1545555402.383 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1545555402.383 * [misc]taylor: Taking taylor expansion of -1 in b 1545555402.383 * [misc]backup-simplify: Simplify -1 into -1 1545555402.383 * [misc]taylor: Taking taylor expansion of a in b 1545555402.383 * [misc]backup-simplify: Simplify a into a 1545555402.383 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1545555402.383 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555402.384 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1545555402.384 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1545555402.384 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a 1545555402.384 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1545555402.384 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1545555402.384 * [misc]taylor: Taking taylor expansion of -1 in a 1545555402.384 * [misc]backup-simplify: Simplify -1 into -1 1545555402.384 * [misc]taylor: Taking taylor expansion of a in a 1545555402.384 * [misc]backup-simplify: Simplify 0 into 0 1545555402.384 * [misc]backup-simplify: Simplify 1 into 1 1545555402.384 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545555402.384 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555402.384 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1545555402.384 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in a 1545555402.384 * [misc]taylor: Taking taylor expansion of (/ -1 b) in a 1545555402.384 * [misc]taylor: Taking taylor expansion of -1 in a 1545555402.384 * [misc]backup-simplify: Simplify -1 into -1 1545555402.384 * [misc]taylor: Taking taylor expansion of b in a 1545555402.384 * [misc]backup-simplify: Simplify b into b 1545555402.385 * [misc]backup-simplify: Simplify (/ -1 b) into (/ -1 b) 1545555402.385 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1545555402.385 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1545555402.385 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1545555402.385 * [misc]taylor: Taking taylor expansion of -1 in a 1545555402.385 * [misc]backup-simplify: Simplify -1 into -1 1545555402.385 * [misc]taylor: Taking taylor expansion of a in a 1545555402.385 * [misc]backup-simplify: Simplify 0 into 0 1545555402.385 * [misc]backup-simplify: Simplify 1 into 1 1545555402.385 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545555402.385 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555402.385 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1545555402.385 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1545555402.385 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a 1545555402.385 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1545555402.386 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1545555402.386 * [misc]taylor: Taking taylor expansion of -1 in a 1545555402.386 * [misc]backup-simplify: Simplify -1 into -1 1545555402.386 * [misc]taylor: Taking taylor expansion of a in a 1545555402.386 * [misc]backup-simplify: Simplify 0 into 0 1545555402.386 * [misc]backup-simplify: Simplify 1 into 1 1545555402.386 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545555402.386 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555402.386 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1545555402.386 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in a 1545555402.386 * [misc]taylor: Taking taylor expansion of (/ -1 b) in a 1545555402.386 * [misc]taylor: Taking taylor expansion of -1 in a 1545555402.386 * [misc]backup-simplify: Simplify -1 into -1 1545555402.386 * [misc]taylor: Taking taylor expansion of b in a 1545555402.386 * [misc]backup-simplify: Simplify b into b 1545555402.386 * [misc]backup-simplify: Simplify (/ -1 b) into (/ -1 b) 1545555402.386 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1545555402.386 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1545555402.386 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1545555402.386 * [misc]taylor: Taking taylor expansion of -1 in a 1545555402.386 * [misc]backup-simplify: Simplify -1 into -1 1545555402.386 * [misc]taylor: Taking taylor expansion of a in a 1545555402.386 * [misc]backup-simplify: Simplify 0 into 0 1545555402.386 * [misc]backup-simplify: Simplify 1 into 1 1545555402.387 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545555402.387 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555402.387 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1545555402.387 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1545555402.387 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b 1545555402.387 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1545555402.387 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1545555402.387 * [misc]taylor: Taking taylor expansion of -1 in b 1545555402.387 * [misc]backup-simplify: Simplify -1 into -1 1545555402.387 * [misc]taylor: Taking taylor expansion of a in b 1545555402.387 * [misc]backup-simplify: Simplify a into a 1545555402.387 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1545555402.387 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555402.387 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1545555402.388 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in b 1545555402.388 * [misc]taylor: Taking taylor expansion of (/ -1 b) in b 1545555402.388 * [misc]taylor: Taking taylor expansion of -1 in b 1545555402.388 * [misc]backup-simplify: Simplify -1 into -1 1545555402.388 * [misc]taylor: Taking taylor expansion of b in b 1545555402.388 * [misc]backup-simplify: Simplify 0 into 0 1545555402.388 * [misc]backup-simplify: Simplify 1 into 1 1545555402.388 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545555402.388 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1545555402.388 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1545555402.388 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1545555402.388 * [misc]taylor: Taking taylor expansion of -1 in b 1545555402.388 * [misc]backup-simplify: Simplify -1 into -1 1545555402.388 * [misc]taylor: Taking taylor expansion of a in b 1545555402.388 * [misc]backup-simplify: Simplify a into a 1545555402.388 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1545555402.388 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555402.388 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1545555402.389 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1545555402.389 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1545555402.389 * [misc]backup-simplify: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0 1545555402.390 * [misc]backup-simplify: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555402.390 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555402.391 * [misc]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 1545555402.391 * [misc]taylor: Taking taylor expansion of 0 in b 1545555402.391 * [misc]backup-simplify: Simplify 0 into 0 1545555402.391 * [misc]backup-simplify: Simplify 0 into 0 1545555402.391 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1545555402.393 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555402.393 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1545555402.394 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555402.394 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555402.394 * [misc]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 1545555402.394 * [misc]backup-simplify: Simplify 0 into 0 1545555402.395 * [misc]backup-simplify: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1545555402.397 * [misc]backup-simplify: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555402.397 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555402.397 * [misc]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 1545555402.397 * [misc]taylor: Taking taylor expansion of 0 in b 1545555402.397 * [misc]backup-simplify: Simplify 0 into 0 1545555402.398 * [misc]backup-simplify: Simplify 0 into 0 1545555402.398 * [misc]backup-simplify: Simplify 0 into 0 1545555402.398 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555402.400 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555402.400 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555402.402 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555402.403 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555402.403 * [misc]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 1545555402.403 * [misc]backup-simplify: Simplify 0 into 0 1545555402.404 * [misc]backup-simplify: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 1545555402.407 * [misc]backup-simplify: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1545555402.407 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555402.408 * [misc]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 1545555402.408 * [misc]taylor: Taking taylor expansion of 0 in b 1545555402.408 * [misc]backup-simplify: Simplify 0 into 0 1545555402.408 * [misc]backup-simplify: Simplify 0 into 0 1545555402.408 * [misc]backup-simplify: Simplify (/ (exp (/ -1 (/ 1 (- a)))) (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a)))))) into (/ (exp a) (+ (exp b) (exp a))) 1545555402.408 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) 1545555402.408 * [misc]backup-simplify: Simplify (+ (exp b) (exp a)) into (+ (exp b) (exp a)) 1545555402.408 * [misc]approximate: Taking taylor expansion of (+ (exp b) (exp a)) in (b a) around 0 1545555402.408 * [misc]taylor: Taking taylor expansion of (+ (exp b) (exp a)) in a 1545555402.408 * [misc]taylor: Taking taylor expansion of (exp b) in a 1545555402.408 * [misc]taylor: Taking taylor expansion of b in a 1545555402.408 * [misc]backup-simplify: Simplify b into b 1545555402.409 * [misc]backup-simplify: Simplify (exp b) into (exp b) 1545555402.409 * [misc]taylor: Taking taylor expansion of (exp a) in a 1545555402.409 * [misc]taylor: Taking taylor expansion of a in a 1545555402.409 * [misc]backup-simplify: Simplify 0 into 0 1545555402.409 * [misc]backup-simplify: Simplify 1 into 1 1545555402.409 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555402.409 * [misc]taylor: Taking taylor expansion of (+ (exp b) (exp a)) in b 1545555402.409 * [misc]taylor: Taking taylor expansion of (exp b) in b 1545555402.409 * [misc]taylor: Taking taylor expansion of b in b 1545555402.409 * [misc]backup-simplify: Simplify 0 into 0 1545555402.409 * [misc]backup-simplify: Simplify 1 into 1 1545555402.409 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555402.409 * [misc]taylor: Taking taylor expansion of (exp a) in b 1545555402.409 * [misc]taylor: Taking taylor expansion of a in b 1545555402.409 * [misc]backup-simplify: Simplify a into a 1545555402.409 * [misc]backup-simplify: Simplify (exp a) into (exp a) 1545555402.409 * [misc]taylor: Taking taylor expansion of (+ (exp b) (exp a)) in b 1545555402.409 * [misc]taylor: Taking taylor expansion of (exp b) in b 1545555402.409 * [misc]taylor: Taking taylor expansion of b in b 1545555402.409 * [misc]backup-simplify: Simplify 0 into 0 1545555402.409 * [misc]backup-simplify: Simplify 1 into 1 1545555402.409 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555402.409 * [misc]taylor: Taking taylor expansion of (exp a) in b 1545555402.409 * [misc]taylor: Taking taylor expansion of a in b 1545555402.409 * [misc]backup-simplify: Simplify a into a 1545555402.409 * [misc]backup-simplify: Simplify (exp a) into (exp a) 1545555402.409 * [misc]backup-simplify: Simplify (+ 1 (exp a)) into (+ (exp a) 1) 1545555402.409 * [misc]taylor: Taking taylor expansion of (+ (exp a) 1) in a 1545555402.409 * [misc]taylor: Taking taylor expansion of (exp a) in a 1545555402.409 * [misc]taylor: Taking taylor expansion of a in a 1545555402.409 * [misc]backup-simplify: Simplify 0 into 0 1545555402.409 * [misc]backup-simplify: Simplify 1 into 1 1545555402.409 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555402.409 * [misc]taylor: Taking taylor expansion of 1 in a 1545555402.409 * [misc]backup-simplify: Simplify 1 into 1 1545555402.410 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1545555402.410 * [misc]backup-simplify: Simplify 2 into 2 1545555402.411 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1545555402.412 * [misc]backup-simplify: Simplify (* (exp a) (+ (* (/ (pow 0 1) 1)))) into 0 1545555402.413 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545555402.413 * [misc]taylor: Taking taylor expansion of 1 in a 1545555402.413 * [misc]backup-simplify: Simplify 1 into 1 1545555402.413 * [misc]backup-simplify: Simplify 1 into 1 1545555402.414 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1545555402.414 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545555402.414 * [misc]backup-simplify: Simplify 1 into 1 1545555402.414 * [misc]backup-simplify: Simplify (+ (* 1 (* a 1)) (+ (* 1 (* 1 b)) 2)) into (+ a (+ b 2)) 1545555402.415 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1545555402.415 * [misc]approximate: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in (b a) around 0 1545555402.415 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1545555402.415 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in a 1545555402.415 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1545555402.415 * [misc]taylor: Taking taylor expansion of b in a 1545555402.415 * [misc]backup-simplify: Simplify b into b 1545555402.415 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1545555402.415 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1545555402.415 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1545555402.415 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1545555402.415 * [misc]taylor: Taking taylor expansion of a in a 1545555402.415 * [misc]backup-simplify: Simplify 0 into 0 1545555402.415 * [misc]backup-simplify: Simplify 1 into 1 1545555402.415 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555402.415 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555402.415 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1545555402.415 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in b 1545555402.415 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1545555402.415 * [misc]taylor: Taking taylor expansion of b in b 1545555402.415 * [misc]backup-simplify: Simplify 0 into 0 1545555402.415 * [misc]backup-simplify: Simplify 1 into 1 1545555402.416 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555402.416 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1545555402.416 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1545555402.416 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1545555402.416 * [misc]taylor: Taking taylor expansion of a in b 1545555402.416 * [misc]backup-simplify: Simplify a into a 1545555402.416 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1545555402.416 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555402.416 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1545555402.416 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in b 1545555402.416 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1545555402.416 * [misc]taylor: Taking taylor expansion of b in b 1545555402.416 * [misc]backup-simplify: Simplify 0 into 0 1545555402.416 * [misc]backup-simplify: Simplify 1 into 1 1545555402.416 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555402.416 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1545555402.416 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1545555402.416 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1545555402.416 * [misc]taylor: Taking taylor expansion of a in b 1545555402.416 * [misc]backup-simplify: Simplify a into a 1545555402.416 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1545555402.416 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555402.416 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1545555402.416 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1545555402.416 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in a 1545555402.416 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1545555402.416 * [misc]taylor: Taking taylor expansion of b in a 1545555402.416 * [misc]backup-simplify: Simplify b into b 1545555402.416 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1545555402.416 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1545555402.416 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1545555402.416 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1545555402.416 * [misc]taylor: Taking taylor expansion of a in a 1545555402.416 * [misc]backup-simplify: Simplify 0 into 0 1545555402.416 * [misc]backup-simplify: Simplify 1 into 1 1545555402.417 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555402.417 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555402.417 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1545555402.417 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1545555402.417 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1545555402.418 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555402.418 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555402.418 * [misc]taylor: Taking taylor expansion of 0 in a 1545555402.418 * [misc]backup-simplify: Simplify 0 into 0 1545555402.418 * [misc]backup-simplify: Simplify 0 into 0 1545555402.418 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1545555402.419 * [misc]backup-simplify: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555402.419 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555402.419 * [misc]backup-simplify: Simplify 0 into 0 1545555402.419 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555402.420 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555402.420 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555402.420 * [misc]taylor: Taking taylor expansion of 0 in a 1545555402.420 * [misc]backup-simplify: Simplify 0 into 0 1545555402.420 * [misc]backup-simplify: Simplify 0 into 0 1545555402.420 * [misc]backup-simplify: Simplify 0 into 0 1545555402.420 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1545555402.421 * [misc]backup-simplify: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555402.422 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555402.422 * [misc]backup-simplify: Simplify 0 into 0 1545555402.422 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555402.424 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1545555402.424 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555402.424 * [misc]taylor: Taking taylor expansion of 0 in a 1545555402.424 * [misc]backup-simplify: Simplify 0 into 0 1545555402.424 * [misc]backup-simplify: Simplify 0 into 0 1545555402.424 * [misc]backup-simplify: Simplify (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a)))) into (+ (exp b) (exp a)) 1545555402.424 * [misc]backup-simplify: Simplify (+ (exp (/ 1 (- b))) (exp (/ 1 (- a)))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1545555402.424 * [misc]approximate: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in (b a) around 0 1545555402.424 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1545555402.424 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in a 1545555402.424 * [misc]taylor: Taking taylor expansion of (/ -1 b) in a 1545555402.424 * [misc]taylor: Taking taylor expansion of -1 in a 1545555402.424 * [misc]backup-simplify: Simplify -1 into -1 1545555402.424 * [misc]taylor: Taking taylor expansion of b in a 1545555402.424 * [misc]backup-simplify: Simplify b into b 1545555402.424 * [misc]backup-simplify: Simplify (/ -1 b) into (/ -1 b) 1545555402.424 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1545555402.424 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1545555402.424 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1545555402.424 * [misc]taylor: Taking taylor expansion of -1 in a 1545555402.424 * [misc]backup-simplify: Simplify -1 into -1 1545555402.424 * [misc]taylor: Taking taylor expansion of a in a 1545555402.424 * [misc]backup-simplify: Simplify 0 into 0 1545555402.424 * [misc]backup-simplify: Simplify 1 into 1 1545555402.425 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545555402.425 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555402.425 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1545555402.425 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in b 1545555402.425 * [misc]taylor: Taking taylor expansion of (/ -1 b) in b 1545555402.425 * [misc]taylor: Taking taylor expansion of -1 in b 1545555402.425 * [misc]backup-simplify: Simplify -1 into -1 1545555402.425 * [misc]taylor: Taking taylor expansion of b in b 1545555402.425 * [misc]backup-simplify: Simplify 0 into 0 1545555402.425 * [misc]backup-simplify: Simplify 1 into 1 1545555402.425 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545555402.425 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1545555402.425 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1545555402.425 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1545555402.425 * [misc]taylor: Taking taylor expansion of -1 in b 1545555402.425 * [misc]backup-simplify: Simplify -1 into -1 1545555402.425 * [misc]taylor: Taking taylor expansion of a in b 1545555402.425 * [misc]backup-simplify: Simplify a into a 1545555402.425 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1545555402.425 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555402.425 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1545555402.425 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in b 1545555402.425 * [misc]taylor: Taking taylor expansion of (/ -1 b) in b 1545555402.425 * [misc]taylor: Taking taylor expansion of -1 in b 1545555402.425 * [misc]backup-simplify: Simplify -1 into -1 1545555402.425 * [misc]taylor: Taking taylor expansion of b in b 1545555402.425 * [misc]backup-simplify: Simplify 0 into 0 1545555402.425 * [misc]backup-simplify: Simplify 1 into 1 1545555402.425 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545555402.425 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1545555402.425 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1545555402.425 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1545555402.425 * [misc]taylor: Taking taylor expansion of -1 in b 1545555402.425 * [misc]backup-simplify: Simplify -1 into -1 1545555402.425 * [misc]taylor: Taking taylor expansion of a in b 1545555402.425 * [misc]backup-simplify: Simplify a into a 1545555402.425 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1545555402.425 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555402.426 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1545555402.426 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1545555402.426 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in a 1545555402.426 * [misc]taylor: Taking taylor expansion of (/ -1 b) in a 1545555402.426 * [misc]taylor: Taking taylor expansion of -1 in a 1545555402.426 * [misc]backup-simplify: Simplify -1 into -1 1545555402.426 * [misc]taylor: Taking taylor expansion of b in a 1545555402.426 * [misc]backup-simplify: Simplify b into b 1545555402.426 * [misc]backup-simplify: Simplify (/ -1 b) into (/ -1 b) 1545555402.426 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1545555402.426 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1545555402.426 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1545555402.426 * [misc]taylor: Taking taylor expansion of -1 in a 1545555402.426 * [misc]backup-simplify: Simplify -1 into -1 1545555402.426 * [misc]taylor: Taking taylor expansion of a in a 1545555402.426 * [misc]backup-simplify: Simplify 0 into 0 1545555402.426 * [misc]backup-simplify: Simplify 1 into 1 1545555402.426 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545555402.426 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555402.426 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1545555402.426 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1545555402.426 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1545555402.427 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555402.427 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555402.427 * [misc]taylor: Taking taylor expansion of 0 in a 1545555402.427 * [misc]backup-simplify: Simplify 0 into 0 1545555402.427 * [misc]backup-simplify: Simplify 0 into 0 1545555402.427 * [misc]backup-simplify: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0 1545555402.428 * [misc]backup-simplify: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555402.428 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555402.428 * [misc]backup-simplify: Simplify 0 into 0 1545555402.428 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555402.430 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555402.430 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555402.430 * [misc]taylor: Taking taylor expansion of 0 in a 1545555402.430 * [misc]backup-simplify: Simplify 0 into 0 1545555402.430 * [misc]backup-simplify: Simplify 0 into 0 1545555402.430 * [misc]backup-simplify: Simplify 0 into 0 1545555402.430 * [misc]backup-simplify: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1545555402.431 * [misc]backup-simplify: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555402.431 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555402.431 * [misc]backup-simplify: Simplify 0 into 0 1545555402.431 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555402.433 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1545555402.433 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555402.433 * [misc]taylor: Taking taylor expansion of 0 in a 1545555402.433 * [misc]backup-simplify: Simplify 0 into 0 1545555402.433 * [misc]backup-simplify: Simplify 0 into 0 1545555402.434 * [misc]backup-simplify: Simplify (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a))))) into (+ (exp b) (exp a)) 1545555402.434 * * * [misc]progress: simplifying candidates 1545555402.434 * * * * [misc]progress: [ 1 / 51 ] simplifiying candidate # 1545555402.434 * * * * [misc]progress: [ 2 / 51 ] simplifiying candidate # 1545555402.434 * [enter]simplify: Simplifying (- a (log (+ (exp b) (exp a)))) 1545555402.434 * * [misc]simplify: iters left: 6 (7 enodes) 1545555402.435 * * [misc]simplify: iters left: 5 (10 enodes) 1545555402.436 * * [misc]simplify: iters left: 4 (11 enodes) 1545555402.437 * [exit]simplify: Simplified to (- a (log (+ (exp a) (exp b)))) 1545555402.438 * [misc]simplify: Simplified (2 1) to (λ (a b) (exp (- a (log (+ (exp a) (exp b)))))) 1545555402.438 * * * * [misc]progress: [ 3 / 51 ] simplifiying candidate # 1545555402.438 * * * * [misc]progress: [ 4 / 51 ] simplifiying candidate # 1545555402.438 * * * * [misc]progress: [ 5 / 51 ] simplifiying candidate # 1545555402.438 * [enter]simplify: Simplifying (/ (* (* (exp a) (exp a)) (exp a)) (* (* (+ (exp b) (exp a)) (+ (exp b) (exp a))) (+ (exp b) (exp a)))) 1545555402.438 * * [misc]simplify: iters left: 6 (10 enodes) 1545555402.443 * * [misc]simplify: iters left: 5 (34 enodes) 1545555402.451 * * [misc]simplify: iters left: 4 (117 enodes) 1545555402.504 * * [misc]simplify: iters left: 3 (324 enodes) 1545555402.698 * [exit]simplify: Simplified to (pow (/ (exp a) (+ (exp a) (exp b))) 3) 1545555402.698 * [misc]simplify: Simplified (2 1) to (λ (a b) (cbrt (pow (/ (exp a) (+ (exp a) (exp b))) 3))) 1545555402.698 * * * * [misc]progress: [ 6 / 51 ] simplifiying candidate # 1545555402.698 * * * * [misc]progress: [ 7 / 51 ] simplifiying candidate # 1545555402.698 * * * * [misc]progress: [ 8 / 51 ] simplifiying candidate # 1545555402.698 * * * * [misc]progress: [ 9 / 51 ] simplifiying candidate # 1545555402.698 * * * * [misc]progress: [ 10 / 51 ] simplifiying candidate # 1545555402.699 * [enter]simplify: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (+ (exp b) (exp a))) (cbrt (+ (exp b) (exp a))))) 1545555402.699 * * [misc]simplify: iters left: 6 (10 enodes) 1545555402.702 * * [misc]simplify: iters left: 5 (17 enodes) 1545555402.707 * * [misc]simplify: iters left: 4 (26 enodes) 1545555402.714 * * [misc]simplify: iters left: 3 (29 enodes) 1545555402.722 * * [misc]simplify: iters left: 2 (32 enodes) 1545555402.730 * [exit]simplify: Simplified to (* (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))) (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b))))) 1545555402.730 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (* (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))) (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b))))) (/ (cbrt (exp a)) (cbrt (+ (exp b) (exp a)))))) 1545555402.730 * [enter]simplify: Simplifying (/ (cbrt (exp a)) (cbrt (+ (exp b) (exp a)))) 1545555402.730 * * [misc]simplify: iters left: 6 (8 enodes) 1545555402.733 * * [misc]simplify: iters left: 5 (9 enodes) 1545555402.735 * [exit]simplify: Simplified to (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))) 1545555402.735 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (+ (exp b) (exp a))) (cbrt (+ (exp b) (exp a))))) (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))))) 1545555402.735 * * * * [misc]progress: [ 11 / 51 ] simplifiying candidate # 1545555402.736 * [enter]simplify: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ (exp b) (exp a)))) 1545555402.736 * * [misc]simplify: iters left: 6 (9 enodes) 1545555402.739 * * [misc]simplify: iters left: 5 (12 enodes) 1545555402.742 * * [misc]simplify: iters left: 4 (14 enodes) 1545555402.746 * * [misc]simplify: iters left: 3 (15 enodes) 1545555402.750 * [exit]simplify: Simplified to (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ (exp a) (exp b)))) 1545555402.751 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ (exp a) (exp b)))) (/ (cbrt (exp a)) (sqrt (+ (exp b) (exp a)))))) 1545555402.751 * [enter]simplify: Simplifying (/ (cbrt (exp a)) (sqrt (+ (exp b) (exp a)))) 1545555402.751 * * [misc]simplify: iters left: 6 (8 enodes) 1545555402.753 * * [misc]simplify: iters left: 5 (9 enodes) 1545555402.756 * [exit]simplify: Simplified to (/ (cbrt (exp a)) (sqrt (+ (exp a) (exp b)))) 1545555402.756 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ (exp b) (exp a)))) (/ (cbrt (exp a)) (sqrt (+ (exp a) (exp b)))))) 1545555402.756 * * * * [misc]progress: [ 12 / 51 ] simplifiying candidate # 1545555402.756 * [enter]simplify: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) 1) 1545555402.756 * * [misc]simplify: iters left: 6 (6 enodes) 1545555402.758 * * [misc]simplify: iters left: 5 (10 enodes) 1545555402.762 * * [misc]simplify: iters left: 4 (16 enodes) 1545555402.766 * * [misc]simplify: iters left: 3 (18 enodes) 1545555402.770 * * [misc]simplify: iters left: 2 (23 enodes) 1545555402.775 * [exit]simplify: Simplified to (* (cbrt (exp a)) (cbrt (exp a))) 1545555402.775 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp b) (exp a))))) 1545555402.775 * [enter]simplify: Simplifying (/ (cbrt (exp a)) (+ (exp b) (exp a))) 1545555402.775 * * [misc]simplify: iters left: 5 (7 enodes) 1545555402.777 * * [misc]simplify: iters left: 4 (8 enodes) 1545555402.779 * [exit]simplify: Simplified to (/ (cbrt (exp a)) (+ (exp a) (exp b))) 1545555402.779 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))))) 1545555402.779 * * * * [misc]progress: [ 13 / 51 ] simplifiying candidate # 1545555402.779 * [enter]simplify: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) 1) 1545555402.779 * * [misc]simplify: iters left: 6 (6 enodes) 1545555402.781 * * [misc]simplify: iters left: 5 (10 enodes) 1545555402.784 * * [misc]simplify: iters left: 4 (16 enodes) 1545555402.788 * * [misc]simplify: iters left: 3 (18 enodes) 1545555402.791 * * [misc]simplify: iters left: 2 (23 enodes) 1545555402.796 * [exit]simplify: Simplified to (* (cbrt (exp a)) (cbrt (exp a))) 1545555402.796 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp b) (exp a))))) 1545555402.796 * [enter]simplify: Simplifying (/ (cbrt (exp a)) (+ (exp b) (exp a))) 1545555402.797 * * [misc]simplify: iters left: 5 (7 enodes) 1545555402.798 * * [misc]simplify: iters left: 4 (8 enodes) 1545555402.803 * [exit]simplify: Simplified to (/ (cbrt (exp a)) (+ (exp a) (exp b))) 1545555402.803 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))))) 1545555402.803 * * * * [misc]progress: [ 14 / 51 ] simplifiying candidate # 1545555402.803 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (* (cbrt (+ (exp b) (exp a))) (cbrt (+ (exp b) (exp a))))) 1545555402.803 * * [misc]simplify: iters left: 6 (9 enodes) 1545555402.806 * * [misc]simplify: iters left: 5 (12 enodes) 1545555402.809 * [exit]simplify: Simplified to (/ (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))) (cbrt (+ (exp a) (exp b)))) 1545555402.809 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))) (cbrt (+ (exp a) (exp b)))) (/ (sqrt (exp a)) (cbrt (+ (exp b) (exp a)))))) 1545555402.809 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (cbrt (+ (exp b) (exp a)))) 1545555402.809 * * [misc]simplify: iters left: 6 (8 enodes) 1545555402.811 * * [misc]simplify: iters left: 5 (9 enodes) 1545555402.813 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))) 1545555402.814 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (sqrt (exp a)) (* (cbrt (+ (exp b) (exp a))) (cbrt (+ (exp b) (exp a))))) (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))))) 1545555402.814 * * * * [misc]progress: [ 15 / 51 ] simplifiying candidate # 1545555402.814 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (sqrt (+ (exp b) (exp a)))) 1545555402.814 * * [misc]simplify: iters left: 6 (8 enodes) 1545555402.816 * * [misc]simplify: iters left: 5 (9 enodes) 1545555402.818 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) 1545555402.818 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) (/ (sqrt (exp a)) (sqrt (+ (exp b) (exp a)))))) 1545555402.818 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (sqrt (+ (exp b) (exp a)))) 1545555402.818 * * [misc]simplify: iters left: 6 (8 enodes) 1545555402.820 * * [misc]simplify: iters left: 5 (9 enodes) 1545555402.823 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) 1545555402.823 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (sqrt (exp a)) (sqrt (+ (exp b) (exp a)))) (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))))) 1545555402.823 * * * * [misc]progress: [ 16 / 51 ] simplifiying candidate # 1545555402.823 * [enter]simplify: Simplifying (/ (sqrt (exp a)) 1) 1545555402.823 * * [misc]simplify: iters left: 4 (5 enodes) 1545555402.824 * * [misc]simplify: iters left: 3 (7 enodes) 1545555402.826 * * [misc]simplify: iters left: 2 (9 enodes) 1545555402.828 * [exit]simplify: Simplified to (sqrt (exp a)) 1545555402.828 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp b) (exp a))))) 1545555402.828 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (+ (exp b) (exp a))) 1545555402.828 * * [misc]simplify: iters left: 5 (7 enodes) 1545555402.830 * * [misc]simplify: iters left: 4 (8 enodes) 1545555402.832 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (+ (exp a) (exp b))) 1545555402.832 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp a) (exp b))))) 1545555402.832 * * * * [misc]progress: [ 17 / 51 ] simplifiying candidate # 1545555402.832 * [enter]simplify: Simplifying (/ (sqrt (exp a)) 1) 1545555402.832 * * [misc]simplify: iters left: 4 (5 enodes) 1545555402.834 * * [misc]simplify: iters left: 3 (7 enodes) 1545555402.836 * * [misc]simplify: iters left: 2 (9 enodes) 1545555402.837 * [exit]simplify: Simplified to (sqrt (exp a)) 1545555402.837 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp b) (exp a))))) 1545555402.837 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (+ (exp b) (exp a))) 1545555402.837 * * [misc]simplify: iters left: 5 (7 enodes) 1545555402.839 * * [misc]simplify: iters left: 4 (8 enodes) 1545555402.841 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (+ (exp a) (exp b))) 1545555402.841 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp a) (exp b))))) 1545555402.841 * * * * [misc]progress: [ 18 / 51 ] simplifiying candidate # 1545555402.841 * [enter]simplify: Simplifying (/ 1 (* (cbrt (+ (exp b) (exp a))) (cbrt (+ (exp b) (exp a))))) 1545555402.842 * * [misc]simplify: iters left: 6 (9 enodes) 1545555402.844 * * [misc]simplify: iters left: 5 (14 enodes) 1545555402.848 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (+ (exp b) (exp a)))) (cbrt (+ (exp b) (exp a)))) 1545555402.848 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ (/ 1 (cbrt (+ (exp b) (exp a)))) (cbrt (+ (exp b) (exp a)))) (/ (exp a) (cbrt (+ (exp b) (exp a)))))) 1545555402.848 * [enter]simplify: Simplifying (/ (exp a) (cbrt (+ (exp b) (exp a)))) 1545555402.848 * * [misc]simplify: iters left: 6 (7 enodes) 1545555402.850 * * [misc]simplify: iters left: 5 (8 enodes) 1545555402.852 * [exit]simplify: Simplified to (/ (exp a) (cbrt (+ (exp a) (exp b)))) 1545555402.852 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ 1 (* (cbrt (+ (exp b) (exp a))) (cbrt (+ (exp b) (exp a))))) (/ (exp a) (cbrt (+ (exp a) (exp b)))))) 1545555402.852 * * * * [misc]progress: [ 19 / 51 ] simplifiying candidate # 1545555402.853 * [enter]simplify: Simplifying (/ 1 (sqrt (+ (exp b) (exp a)))) 1545555402.853 * * [misc]simplify: iters left: 6 (8 enodes) 1545555402.855 * * [misc]simplify: iters left: 5 (11 enodes) 1545555402.858 * [exit]simplify: Simplified to (/ 1 (sqrt (+ (exp b) (exp a)))) 1545555402.858 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ 1 (sqrt (+ (exp b) (exp a)))) (/ (exp a) (sqrt (+ (exp b) (exp a)))))) 1545555402.858 * [enter]simplify: Simplifying (/ (exp a) (sqrt (+ (exp b) (exp a)))) 1545555402.858 * * [misc]simplify: iters left: 6 (7 enodes) 1545555402.860 * * [misc]simplify: iters left: 5 (8 enodes) 1545555402.862 * [exit]simplify: Simplified to (/ (exp a) (sqrt (+ (exp a) (exp b)))) 1545555402.862 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ 1 (sqrt (+ (exp b) (exp a)))) (/ (exp a) (sqrt (+ (exp a) (exp b)))))) 1545555402.862 * * * * [misc]progress: [ 20 / 51 ] simplifiying candidate # 1545555402.863 * [enter]simplify: Simplifying (/ 1 1) 1545555402.863 * * [misc]simplify: iters left: 2 (2 enodes) 1545555402.863 * * [misc]simplify: iters left: 1 (4 enodes) 1545555402.864 * [exit]simplify: Simplified to 1 1545555402.864 * [misc]simplify: Simplified (2 1) to (λ (a b) (* 1 (/ (exp a) (+ (exp b) (exp a))))) 1545555402.864 * [enter]simplify: Simplifying (/ (exp a) (+ (exp b) (exp a))) 1545555402.864 * * [misc]simplify: iters left: 5 (6 enodes) 1545555402.866 * * [misc]simplify: iters left: 4 (7 enodes) 1545555402.868 * [exit]simplify: Simplified to (/ (exp a) (+ (exp a) (exp b))) 1545555402.868 * [misc]simplify: Simplified (2 2) to (λ (a b) (* 1 (/ (exp a) (+ (exp a) (exp b))))) 1545555402.868 * * * * [misc]progress: [ 21 / 51 ] simplifiying candidate # 1545555402.868 * [enter]simplify: Simplifying (/ 1 1) 1545555402.868 * * [misc]simplify: iters left: 2 (2 enodes) 1545555402.869 * * [misc]simplify: iters left: 1 (4 enodes) 1545555402.870 * [exit]simplify: Simplified to 1 1545555402.870 * [misc]simplify: Simplified (2 1) to (λ (a b) (* 1 (/ (exp a) (+ (exp b) (exp a))))) 1545555402.870 * [enter]simplify: Simplifying (/ (exp a) (+ (exp b) (exp a))) 1545555402.870 * * [misc]simplify: iters left: 5 (6 enodes) 1545555402.872 * * [misc]simplify: iters left: 4 (7 enodes) 1545555402.874 * [exit]simplify: Simplified to (/ (exp a) (+ (exp a) (exp b))) 1545555402.874 * [misc]simplify: Simplified (2 2) to (λ (a b) (* 1 (/ (exp a) (+ (exp a) (exp b))))) 1545555402.874 * * * * [misc]progress: [ 22 / 51 ] simplifiying candidate # 1545555402.874 * * * * [misc]progress: [ 23 / 51 ] simplifiying candidate # 1545555402.874 * * * * [misc]progress: [ 24 / 51 ] simplifiying candidate # 1545555402.874 * * * * [misc]progress: [ 25 / 51 ] simplifiying candidate # 1545555402.874 * [enter]simplify: Simplifying (cbrt (+ (exp b) (exp a))) 1545555402.874 * * [misc]simplify: iters left: 4 (6 enodes) 1545555402.875 * * [misc]simplify: iters left: 3 (7 enodes) 1545555402.876 * [exit]simplify: Simplified to (cbrt (+ (exp b) (exp a))) 1545555402.876 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (/ (exp a) (* (cbrt (+ (exp b) (exp a))) (cbrt (+ (exp b) (exp a))))) (cbrt (+ (exp b) (exp a))))) 1545555402.876 * * * * [misc]progress: [ 26 / 51 ] simplifiying candidate # 1545555402.877 * [enter]simplify: Simplifying (sqrt (+ (exp b) (exp a))) 1545555402.877 * * [misc]simplify: iters left: 4 (6 enodes) 1545555402.877 * * [misc]simplify: iters left: 3 (7 enodes) 1545555402.878 * [exit]simplify: Simplified to (sqrt (+ (exp b) (exp a))) 1545555402.878 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (/ (exp a) (sqrt (+ (exp b) (exp a)))) (sqrt (+ (exp b) (exp a))))) 1545555402.878 * * * * [misc]progress: [ 27 / 51 ] simplifiying candidate # 1545555402.879 * [enter]simplify: Simplifying (+ (exp b) (exp a)) 1545555402.879 * * [misc]simplify: iters left: 3 (5 enodes) 1545555402.879 * * [misc]simplify: iters left: 2 (6 enodes) 1545555402.880 * [exit]simplify: Simplified to (+ (exp b) (exp a)) 1545555402.880 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (/ (exp a) 1) (+ (exp b) (exp a)))) 1545555402.880 * * * * [misc]progress: [ 28 / 51 ] simplifiying candidate # 1545555402.880 * [enter]simplify: Simplifying (+ (exp b) (exp a)) 1545555402.880 * * [misc]simplify: iters left: 3 (5 enodes) 1545555402.881 * * [misc]simplify: iters left: 2 (6 enodes) 1545555402.882 * [exit]simplify: Simplified to (+ (exp b) (exp a)) 1545555402.882 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (/ (exp a) 1) (+ (exp b) (exp a)))) 1545555402.882 * * * * [misc]progress: [ 29 / 51 ] simplifiying candidate # 1545555402.882 * [enter]simplify: Simplifying (* (cbrt (exp a)) (cbrt (exp a))) 1545555402.882 * * [misc]simplify: iters left: 4 (4 enodes) 1545555402.882 * [exit]simplify: Simplified to (* (cbrt (exp a)) (cbrt (exp a))) 1545555402.882 * [misc]simplify: Simplified (2 1) to (λ (a b) (/ (* (cbrt (exp a)) (cbrt (exp a))) (/ (+ (exp b) (exp a)) (cbrt (exp a))))) 1545555402.882 * * * * [misc]progress: [ 30 / 51 ] simplifiying candidate # 1545555402.883 * [enter]simplify: Simplifying (sqrt (exp a)) 1545555402.883 * * [misc]simplify: iters left: 2 (3 enodes) 1545555402.883 * [exit]simplify: Simplified to (sqrt (exp a)) 1545555402.883 * [misc]simplify: Simplified (2 1) to (λ (a b) (/ (sqrt (exp a)) (/ (+ (exp b) (exp a)) (sqrt (exp a))))) 1545555402.883 * * * * [misc]progress: [ 31 / 51 ] simplifiying candidate # 1545555402.883 * * * * [misc]progress: [ 32 / 51 ] simplifiying candidate # 1545555402.883 * [enter]simplify: Simplifying (+ (* (exp b) (exp b)) (- (* (exp a) (exp a)) (* (exp b) (exp a)))) 1545555402.883 * * [misc]simplify: iters left: 6 (9 enodes) 1545555402.885 * * [misc]simplify: iters left: 5 (23 enodes) 1545555402.888 * * [misc]simplify: iters left: 4 (40 enodes) 1545555402.894 * * [misc]simplify: iters left: 3 (52 enodes) 1545555402.906 * * [misc]simplify: iters left: 2 (64 enodes) 1545555402.924 * * [misc]simplify: iters left: 1 (82 enodes) 1545555402.949 * [exit]simplify: Simplified to (- (* (exp a) (- (exp a) (exp b))) (* (exp b) (- (exp b)))) 1545555402.950 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3))) (- (* (exp a) (- (exp a) (exp b))) (* (exp b) (- (exp b)))))) 1545555402.950 * * * * [misc]progress: [ 33 / 51 ] simplifiying candidate # 1545555402.950 * [enter]simplify: Simplifying (- (exp b) (exp a)) 1545555402.950 * * [misc]simplify: iters left: 3 (5 enodes) 1545555402.951 * * [misc]simplify: iters left: 2 (7 enodes) 1545555402.953 * * [misc]simplify: iters left: 1 (8 enodes) 1545555402.956 * [exit]simplify: Simplified to (- (exp b) (exp a)) 1545555402.956 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (exp a) (- (* (exp b) (exp b)) (* (exp a) (exp a)))) (- (exp b) (exp a)))) 1545555402.956 * * * * [misc]progress: [ 34 / 51 ] simplifiying candidate # 1545555402.956 * [enter]simplify: Simplifying (* (exp (exp b)) (exp (exp a))) 1545555402.956 * * [misc]simplify: iters left: 4 (7 enodes) 1545555402.958 * * [misc]simplify: iters left: 3 (10 enodes) 1545555402.960 * * [misc]simplify: iters left: 2 (12 enodes) 1545555402.961 * [exit]simplify: Simplified to (exp (+ (exp b) (exp a))) 1545555402.961 * [misc]simplify: Simplified (2 2 1) to (λ (a b) (/ (exp a) (log (exp (+ (exp b) (exp a)))))) 1545555402.962 * * * * [misc]progress: [ 35 / 51 ] simplifiying candidate # 1545555402.962 * * * * [misc]progress: [ 36 / 51 ] simplifiying candidate # 1545555402.962 * * * * [misc]progress: [ 37 / 51 ] simplifiying candidate # 1545555402.962 * * * * [misc]progress: [ 38 / 51 ] simplifiying candidate # 1545555402.962 * * * * [misc]progress: [ 39 / 51 ] simplifiying candidate # 1545555402.962 * * * * [misc]progress: [ 40 / 51 ] simplifiying candidate # 1545555402.962 * * * * [misc]progress: [ 41 / 51 ] simplifiying candidate # 1545555402.962 * * * * [misc]progress: [ 42 / 51 ] simplifiying candidate # 1545555402.962 * * * * [misc]progress: [ 43 / 51 ] simplifiying candidate # 1545555402.962 * * * * [misc]progress: [ 44 / 51 ] simplifiying candidate # 1545555402.962 * [enter]simplify: Simplifying (+ (exp b) (exp a)) 1545555402.962 * * [misc]simplify: iters left: 3 (5 enodes) 1545555402.963 * * [misc]simplify: iters left: 2 (6 enodes) 1545555402.964 * [exit]simplify: Simplified to (+ (exp b) (exp a)) 1545555402.964 * [misc]simplify: Simplified (2 2 2) to (λ (a b) (/ (exp a) (* 1 (+ (exp b) (exp a))))) 1545555402.964 * * * * [misc]progress: [ 45 / 51 ] simplifiying candidate # 1545555402.964 * * * * [misc]progress: [ 46 / 51 ] simplifiying candidate # 1545555402.964 * [enter]simplify: Simplifying (- (+ (* 1/4 a) 1/2) (* 1/4 b)) 1545555402.964 * * [misc]simplify: iters left: 6 (8 enodes) 1545555402.965 * * [misc]simplify: iters left: 5 (15 enodes) 1545555402.968 * * [misc]simplify: iters left: 4 (30 enodes) 1545555402.972 * * [misc]simplify: iters left: 3 (41 enodes) 1545555402.977 * * [misc]simplify: iters left: 2 (48 enodes) 1545555402.982 * * [misc]simplify: iters left: 1 (57 enodes) 1545555402.989 * [exit]simplify: Simplified to (- 1/2 (* 1/4 (- b a))) 1545555402.989 * [misc]simplify: Simplified (2) to (λ (a b) (- 1/2 (* 1/4 (- b a)))) 1545555402.989 * * * * [misc]progress: [ 47 / 51 ] simplifiying candidate # 1545555402.990 * [enter]simplify: Simplifying (/ (exp a) (+ (exp b) (exp a))) 1545555402.990 * * [misc]simplify: iters left: 5 (6 enodes) 1545555402.990 * * [misc]simplify: iters left: 4 (7 enodes) 1545555402.991 * [exit]simplify: Simplified to (/ (exp a) (+ (exp a) (exp b))) 1545555402.991 * [misc]simplify: Simplified (2) to (λ (a b) (/ (exp a) (+ (exp a) (exp b)))) 1545555402.992 * * * * [misc]progress: [ 48 / 51 ] simplifiying candidate # 1545555402.992 * [enter]simplify: Simplifying (/ (exp a) (+ (exp b) (exp a))) 1545555402.992 * * [misc]simplify: iters left: 5 (6 enodes) 1545555402.993 * * [misc]simplify: iters left: 4 (7 enodes) 1545555402.993 * [exit]simplify: Simplified to (/ (exp a) (+ (exp a) (exp b))) 1545555402.993 * [misc]simplify: Simplified (2) to (λ (a b) (/ (exp a) (+ (exp a) (exp b)))) 1545555402.993 * * * * [misc]progress: [ 49 / 51 ] simplifiying candidate # 1545555402.994 * [enter]simplify: Simplifying (+ a (+ b 2)) 1545555402.994 * * [misc]simplify: iters left: 4 (5 enodes) 1545555402.994 * * [misc]simplify: iters left: 3 (9 enodes) 1545555402.996 * * [misc]simplify: iters left: 2 (15 enodes) 1545555402.997 * * [misc]simplify: iters left: 1 (17 enodes) 1545555402.999 * [exit]simplify: Simplified to (+ (+ b a) 2) 1545555402.999 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (exp a) (+ (+ b a) 2))) 1545555402.999 * * * * [misc]progress: [ 50 / 51 ] simplifiying candidate # 1545555402.999 * [enter]simplify: Simplifying (+ (exp b) (exp a)) 1545555402.999 * * [misc]simplify: iters left: 3 (5 enodes) 1545555403.000 * * [misc]simplify: iters left: 2 (6 enodes) 1545555403.001 * [exit]simplify: Simplified to (+ (exp b) (exp a)) 1545555403.001 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (exp a) (+ (exp b) (exp a)))) 1545555403.001 * * * * [misc]progress: [ 51 / 51 ] simplifiying candidate # 1545555403.001 * [enter]simplify: Simplifying (+ (exp b) (exp a)) 1545555403.001 * * [misc]simplify: iters left: 3 (5 enodes) 1545555403.002 * * [misc]simplify: iters left: 2 (6 enodes) 1545555403.002 * [exit]simplify: Simplified to (+ (exp b) (exp a)) 1545555403.002 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (exp a) (+ (exp b) (exp a)))) 1545555403.003 * * * [misc]progress: adding candidates to table 1545555403.489 * * [misc]progress: iteration 3 / 4 1545555403.489 * * * [misc]progress: picking best candidate 1545555403.493 * * * * [misc]pick: Picked # 1545555403.493 * * * [misc]progress: localizing error 1545555403.501 * * * [misc]progress: generating rewritten candidates 1545555403.501 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1545555403.505 * * * [misc]progress: generating series expansions 1545555403.505 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1545555403.505 * [misc]backup-simplify: Simplify (/ (exp a) (+ a (+ b 2))) into (/ (exp a) (+ a (+ b 2))) 1545555403.505 * [misc]approximate: Taking taylor expansion of (/ (exp a) (+ a (+ b 2))) in (a b) around 0 1545555403.505 * [misc]taylor: Taking taylor expansion of (/ (exp a) (+ a (+ b 2))) in b 1545555403.505 * [misc]taylor: Taking taylor expansion of (exp a) in b 1545555403.505 * [misc]taylor: Taking taylor expansion of a in b 1545555403.505 * [misc]backup-simplify: Simplify a into a 1545555403.505 * [misc]backup-simplify: Simplify (exp a) into (exp a) 1545555403.505 * [misc]taylor: Taking taylor expansion of (+ a (+ b 2)) in b 1545555403.505 * [misc]taylor: Taking taylor expansion of a in b 1545555403.505 * [misc]backup-simplify: Simplify a into a 1545555403.505 * [misc]taylor: Taking taylor expansion of (+ b 2) in b 1545555403.505 * [misc]taylor: Taking taylor expansion of b in b 1545555403.505 * [misc]backup-simplify: Simplify 0 into 0 1545555403.505 * [misc]backup-simplify: Simplify 1 into 1 1545555403.505 * [misc]taylor: Taking taylor expansion of 2 in b 1545555403.505 * [misc]backup-simplify: Simplify 2 into 2 1545555403.506 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1545555403.506 * [misc]backup-simplify: Simplify (+ a 2) into (+ a 2) 1545555403.506 * [misc]backup-simplify: Simplify (/ (exp a) (+ a 2)) into (/ (exp a) (+ a 2)) 1545555403.506 * [misc]taylor: Taking taylor expansion of (/ (exp a) (+ a (+ b 2))) in a 1545555403.506 * [misc]taylor: Taking taylor expansion of (exp a) in a 1545555403.506 * [misc]taylor: Taking taylor expansion of a in a 1545555403.506 * [misc]backup-simplify: Simplify 0 into 0 1545555403.506 * [misc]backup-simplify: Simplify 1 into 1 1545555403.506 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555403.506 * [misc]taylor: Taking taylor expansion of (+ a (+ b 2)) in a 1545555403.506 * [misc]taylor: Taking taylor expansion of a in a 1545555403.506 * [misc]backup-simplify: Simplify 0 into 0 1545555403.506 * [misc]backup-simplify: Simplify 1 into 1 1545555403.506 * [misc]taylor: Taking taylor expansion of (+ b 2) in a 1545555403.506 * [misc]taylor: Taking taylor expansion of b in a 1545555403.506 * [misc]backup-simplify: Simplify b into b 1545555403.506 * [misc]taylor: Taking taylor expansion of 2 in a 1545555403.506 * [misc]backup-simplify: Simplify 2 into 2 1545555403.506 * [misc]backup-simplify: Simplify (+ b 2) into (+ b 2) 1545555403.506 * [misc]backup-simplify: Simplify (+ 0 (+ b 2)) into (+ b 2) 1545555403.506 * [misc]backup-simplify: Simplify (/ 1 (+ b 2)) into (/ 1 (+ b 2)) 1545555403.506 * [misc]taylor: Taking taylor expansion of (/ (exp a) (+ a (+ b 2))) in a 1545555403.506 * [misc]taylor: Taking taylor expansion of (exp a) in a 1545555403.506 * [misc]taylor: Taking taylor expansion of a in a 1545555403.506 * [misc]backup-simplify: Simplify 0 into 0 1545555403.506 * [misc]backup-simplify: Simplify 1 into 1 1545555403.506 * [misc]backup-simplify: Simplify (exp 0) into 1 1545555403.506 * [misc]taylor: Taking taylor expansion of (+ a (+ b 2)) in a 1545555403.506 * [misc]taylor: Taking taylor expansion of a in a 1545555403.506 * [misc]backup-simplify: Simplify 0 into 0 1545555403.506 * [misc]backup-simplify: Simplify 1 into 1 1545555403.506 * [misc]taylor: Taking taylor expansion of (+ b 2) in a 1545555403.506 * [misc]taylor: Taking taylor expansion of b in a 1545555403.506 * [misc]backup-simplify: Simplify b into b 1545555403.506 * [misc]taylor: Taking taylor expansion of 2 in a 1545555403.506 * [misc]backup-simplify: Simplify 2 into 2 1545555403.506 * [misc]backup-simplify: Simplify (+ b 2) into (+ b 2) 1545555403.506 * [misc]backup-simplify: Simplify (+ 0 (+ b 2)) into (+ b 2) 1545555403.507 * [misc]backup-simplify: Simplify (/ 1 (+ b 2)) into (/ 1 (+ b 2)) 1545555403.507 * [misc]taylor: Taking taylor expansion of (/ 1 (+ b 2)) in b 1545555403.507 * [misc]taylor: Taking taylor expansion of (+ b 2) in b 1545555403.507 * [misc]taylor: Taking taylor expansion of b in b 1545555403.507 * [misc]backup-simplify: Simplify 0 into 0 1545555403.507 * [misc]backup-simplify: Simplify 1 into 1 1545555403.507 * [misc]taylor: Taking taylor expansion of 2 in b 1545555403.507 * [misc]backup-simplify: Simplify 2 into 2 1545555403.507 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1545555403.507 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 1545555403.507 * [misc]backup-simplify: Simplify 1/2 into 1/2 1545555403.510 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1545555403.510 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555403.510 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545555403.511 * [misc]backup-simplify: Simplify (- (/ 1 (+ b 2)) (+ (* (/ 1 (+ b 2)) (/ 1 (+ b 2))))) into (- (/ 1 (+ b 2)) (/ 1 (pow (+ b 2) 2))) 1545555403.511 * [misc]taylor: Taking taylor expansion of (- (/ 1 (+ b 2)) (/ 1 (pow (+ b 2) 2))) in b 1545555403.511 * [misc]taylor: Taking taylor expansion of (/ 1 (+ b 2)) in b 1545555403.511 * [misc]taylor: Taking taylor expansion of (+ b 2) in b 1545555403.511 * [misc]taylor: Taking taylor expansion of b in b 1545555403.511 * [misc]backup-simplify: Simplify 0 into 0 1545555403.511 * [misc]backup-simplify: Simplify 1 into 1 1545555403.511 * [misc]taylor: Taking taylor expansion of 2 in b 1545555403.511 * [misc]backup-simplify: Simplify 2 into 2 1545555403.511 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1545555403.511 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 1545555403.511 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ b 2) 2)) in b 1545555403.511 * [misc]taylor: Taking taylor expansion of (pow (+ b 2) 2) in b 1545555403.511 * [misc]taylor: Taking taylor expansion of (+ b 2) in b 1545555403.511 * [misc]taylor: Taking taylor expansion of b in b 1545555403.511 * [misc]backup-simplify: Simplify 0 into 0 1545555403.511 * [misc]backup-simplify: Simplify 1 into 1 1545555403.511 * [misc]taylor: Taking taylor expansion of 2 in b 1545555403.511 * [misc]backup-simplify: Simplify 2 into 2 1545555403.511 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1545555403.511 * [misc]backup-simplify: Simplify (* 2 2) into 4 1545555403.511 * [misc]backup-simplify: Simplify (/ 1 4) into 1/4 1545555403.512 * [misc]backup-simplify: Simplify (- 1/4) into -1/4 1545555403.512 * [misc]backup-simplify: Simplify (+ 1/2 -1/4) into 1/4 1545555403.512 * [misc]backup-simplify: Simplify 1/4 into 1/4 1545555403.512 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545555403.512 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 1 2)))) into -1/4 1545555403.512 * [misc]backup-simplify: Simplify -1/4 into -1/4 1545555403.512 * [misc]backup-simplify: Simplify (+ (* -1/4 (* b 1)) (+ (* 1/4 (* 1 a)) 1/2)) into (- (+ (* 1/4 a) 1/2) (* 1/4 b)) 1545555403.512 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (/ 1 a) (+ (/ 1 b) 2))) into (/ (exp (/ 1 a)) (+ (/ 1 a) (+ (/ 1 b) 2))) 1545555403.512 * [misc]approximate: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (/ 1 a) (+ (/ 1 b) 2))) in (a b) around 0 1545555403.512 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (/ 1 a) (+ (/ 1 b) 2))) in b 1545555403.512 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1545555403.512 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1545555403.512 * [misc]taylor: Taking taylor expansion of a in b 1545555403.512 * [misc]backup-simplify: Simplify a into a 1545555403.512 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1545555403.512 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555403.513 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) 2)) in b 1545555403.513 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1545555403.513 * [misc]taylor: Taking taylor expansion of a in b 1545555403.513 * [misc]backup-simplify: Simplify a into a 1545555403.513 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1545555403.513 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) 2) in b 1545555403.513 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1545555403.513 * [misc]taylor: Taking taylor expansion of b in b 1545555403.513 * [misc]backup-simplify: Simplify 0 into 0 1545555403.513 * [misc]backup-simplify: Simplify 1 into 1 1545555403.513 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555403.513 * [misc]taylor: Taking taylor expansion of 2 in b 1545555403.513 * [misc]backup-simplify: Simplify 2 into 2 1545555403.513 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545555403.513 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545555403.513 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) 1) into (exp (/ 1 a)) 1545555403.513 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (/ 1 a) (+ (/ 1 b) 2))) in a 1545555403.513 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1545555403.513 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1545555403.513 * [misc]taylor: Taking taylor expansion of a in a 1545555403.513 * [misc]backup-simplify: Simplify 0 into 0 1545555403.513 * [misc]backup-simplify: Simplify 1 into 1 1545555403.513 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555403.513 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555403.513 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) 2)) in a 1545555403.513 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1545555403.513 * [misc]taylor: Taking taylor expansion of a in a 1545555403.513 * [misc]backup-simplify: Simplify 0 into 0 1545555403.513 * [misc]backup-simplify: Simplify 1 into 1 1545555403.514 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555403.514 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) 2) in a 1545555403.514 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1545555403.514 * [misc]taylor: Taking taylor expansion of b in a 1545555403.514 * [misc]backup-simplify: Simplify b into b 1545555403.514 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1545555403.514 * [misc]taylor: Taking taylor expansion of 2 in a 1545555403.514 * [misc]backup-simplify: Simplify 2 into 2 1545555403.514 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545555403.514 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) 1) into (exp (/ 1 a)) 1545555403.514 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (/ 1 a) (+ (/ 1 b) 2))) in a 1545555403.514 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1545555403.514 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1545555403.514 * [misc]taylor: Taking taylor expansion of a in a 1545555403.514 * [misc]backup-simplify: Simplify 0 into 0 1545555403.514 * [misc]backup-simplify: Simplify 1 into 1 1545555403.514 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555403.514 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555403.514 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) 2)) in a 1545555403.514 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1545555403.514 * [misc]taylor: Taking taylor expansion of a in a 1545555403.514 * [misc]backup-simplify: Simplify 0 into 0 1545555403.514 * [misc]backup-simplify: Simplify 1 into 1 1545555403.514 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555403.514 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) 2) in a 1545555403.514 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1545555403.514 * [misc]taylor: Taking taylor expansion of b in a 1545555403.514 * [misc]backup-simplify: Simplify b into b 1545555403.514 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1545555403.514 * [misc]taylor: Taking taylor expansion of 2 in a 1545555403.514 * [misc]backup-simplify: Simplify 2 into 2 1545555403.514 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545555403.515 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) 1) into (exp (/ 1 a)) 1545555403.515 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1545555403.515 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1545555403.515 * [misc]taylor: Taking taylor expansion of a in b 1545555403.515 * [misc]backup-simplify: Simplify a into a 1545555403.515 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1545555403.515 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555403.515 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1545555403.516 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555403.516 * [misc]backup-simplify: Simplify 0 into 0 1545555403.516 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545555403.516 * [misc]backup-simplify: Simplify (+ (/ 1 b) 2) into (+ (/ 1 b) 2) 1545555403.516 * [misc]backup-simplify: Simplify (+ 0 (+ (/ 1 b) 2)) into (+ (/ 1 b) 2) 1545555403.516 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ 1 a)) (/ (+ (/ 1 b) 2) 1)))) into (- (+ (* 2 (exp (/ 1 a))) (/ (exp (/ 1 a)) b))) 1545555403.516 * [misc]taylor: Taking taylor expansion of (- (+ (* 2 (exp (/ 1 a))) (/ (exp (/ 1 a)) b))) in b 1545555403.516 * [misc]taylor: Taking taylor expansion of (+ (* 2 (exp (/ 1 a))) (/ (exp (/ 1 a)) b)) in b 1545555403.516 * [misc]taylor: Taking taylor expansion of (* 2 (exp (/ 1 a))) in b 1545555403.516 * [misc]taylor: Taking taylor expansion of 2 in b 1545555403.516 * [misc]backup-simplify: Simplify 2 into 2 1545555403.516 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1545555403.516 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1545555403.516 * [misc]taylor: Taking taylor expansion of a in b 1545555403.516 * [misc]backup-simplify: Simplify a into a 1545555403.516 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1545555403.516 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555403.516 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) b) in b 1545555403.516 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1545555403.516 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1545555403.516 * [misc]taylor: Taking taylor expansion of a in b 1545555403.516 * [misc]backup-simplify: Simplify a into a 1545555403.517 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1545555403.517 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555403.517 * [misc]taylor: Taking taylor expansion of b in b 1545555403.517 * [misc]backup-simplify: Simplify 0 into 0 1545555403.517 * [misc]backup-simplify: Simplify 1 into 1 1545555403.517 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) 1) into (exp (/ 1 a)) 1545555403.517 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1545555403.517 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555403.518 * [misc]backup-simplify: Simplify (+ (* 2 0) (* 0 (exp (/ 1 a)))) into 0 1545555403.518 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1545555403.518 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555403.519 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555403.520 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555403.520 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ 1 a)) (/ 0 1)))) into 0 1545555403.520 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545555403.520 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555403.521 * [misc]backup-simplify: Simplify (- 0) into 0 1545555403.521 * [misc]backup-simplify: Simplify 0 into 0 1545555403.521 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555403.522 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555403.522 * [misc]backup-simplify: Simplify 0 into 0 1545555403.522 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545555403.522 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1545555403.523 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555403.523 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555403.523 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ 1 a)) (/ 0 1)) (* (- (+ (* 2 (exp (/ 1 a))) (/ (exp (/ 1 a)) b))) (/ (+ (/ 1 b) 2) 1)))) into (+ (* 4 (exp (/ 1 a))) (+ (/ (exp (/ 1 a)) (pow b 2)) (* 4 (/ (exp (/ 1 a)) b)))) 1545555403.523 * [misc]taylor: Taking taylor expansion of (+ (* 4 (exp (/ 1 a))) (+ (/ (exp (/ 1 a)) (pow b 2)) (* 4 (/ (exp (/ 1 a)) b)))) in b 1545555403.523 * [misc]taylor: Taking taylor expansion of (* 4 (exp (/ 1 a))) in b 1545555403.523 * [misc]taylor: Taking taylor expansion of 4 in b 1545555403.523 * [misc]backup-simplify: Simplify 4 into 4 1545555403.523 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1545555403.523 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1545555403.523 * [misc]taylor: Taking taylor expansion of a in b 1545555403.523 * [misc]backup-simplify: Simplify a into a 1545555403.523 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1545555403.523 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555403.523 * [misc]taylor: Taking taylor expansion of (+ (/ (exp (/ 1 a)) (pow b 2)) (* 4 (/ (exp (/ 1 a)) b))) in b 1545555403.523 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) (pow b 2)) in b 1545555403.523 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1545555403.523 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1545555403.523 * [misc]taylor: Taking taylor expansion of a in b 1545555403.523 * [misc]backup-simplify: Simplify a into a 1545555403.524 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1545555403.524 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555403.524 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1545555403.524 * [misc]taylor: Taking taylor expansion of b in b 1545555403.524 * [misc]backup-simplify: Simplify 0 into 0 1545555403.524 * [misc]backup-simplify: Simplify 1 into 1 1545555403.524 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545555403.524 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) 1) into (exp (/ 1 a)) 1545555403.524 * [misc]taylor: Taking taylor expansion of (* 4 (/ (exp (/ 1 a)) b)) in b 1545555403.524 * [misc]taylor: Taking taylor expansion of 4 in b 1545555403.524 * [misc]backup-simplify: Simplify 4 into 4 1545555403.524 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) b) in b 1545555403.524 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1545555403.524 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1545555403.524 * [misc]taylor: Taking taylor expansion of a in b 1545555403.524 * [misc]backup-simplify: Simplify a into a 1545555403.524 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1545555403.524 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1545555403.524 * [misc]taylor: Taking taylor expansion of b in b 1545555403.524 * [misc]backup-simplify: Simplify 0 into 0 1545555403.524 * [misc]backup-simplify: Simplify 1 into 1 1545555403.524 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) 1) into (exp (/ 1 a)) 1545555403.524 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1545555403.525 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555403.525 * [misc]backup-simplify: Simplify (+ (* 4 0) (* 0 (exp (/ 1 a)))) into 0 1545555403.525 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1545555403.526 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555403.526 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555403.528 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1545555403.528 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545555403.529 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555403.529 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545555403.529 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ 1 a)) (/ 0 1)))) into 0 1545555403.529 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545555403.530 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555403.531 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545555403.531 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545555403.532 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1545555403.532 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555403.534 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555403.535 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555403.535 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ 1 a)) (/ 0 1)))) into 0 1545555403.536 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545555403.536 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 (exp (/ 1 a))))) into 0 1545555403.536 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555403.536 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555403.536 * [misc]backup-simplify: Simplify 0 into 0 1545555403.537 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555403.538 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555403.539 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (exp (/ 1 a))))) into 0 1545555403.539 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555403.542 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1545555403.543 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545555403.543 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555403.543 * [misc]backup-simplify: Simplify (- 0) into 0 1545555403.543 * [misc]backup-simplify: Simplify 0 into 0 1545555403.543 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555403.546 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1545555403.546 * [misc]backup-simplify: Simplify 0 into 0 1545555403.546 * [misc]backup-simplify: Simplify 0 into 0 1545555403.547 * [misc]backup-simplify: Simplify (/ (exp (/ 1 (- a))) (+ (/ 1 (- a)) (+ (/ 1 (- b)) 2))) into (/ (exp (/ -1 a)) (- 2 (+ (/ 1 a) (/ 1 b)))) 1545555403.547 * [misc]approximate: Taking taylor expansion of (/ (exp (/ -1 a)) (- 2 (+ (/ 1 a) (/ 1 b)))) in (a b) around 0 1545555403.547 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) (- 2 (+ (/ 1 a) (/ 1 b)))) in b 1545555403.547 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1545555403.547 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1545555403.547 * [misc]taylor: Taking taylor expansion of -1 in b 1545555403.547 * [misc]backup-simplify: Simplify -1 into -1 1545555403.547 * [misc]taylor: Taking taylor expansion of a in b 1545555403.547 * [misc]backup-simplify: Simplify a into a 1545555403.547 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1545555403.547 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555403.547 * [misc]taylor: Taking taylor expansion of (- 2 (+ (/ 1 a) (/ 1 b))) in b 1545555403.547 * [misc]taylor: Taking taylor expansion of 2 in b 1545555403.547 * [misc]backup-simplify: Simplify 2 into 2 1545555403.547 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 1545555403.547 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1545555403.547 * [misc]taylor: Taking taylor expansion of a in b 1545555403.547 * [misc]backup-simplify: Simplify a into a 1545555403.547 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1545555403.547 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1545555403.547 * [misc]taylor: Taking taylor expansion of b in b 1545555403.547 * [misc]backup-simplify: Simplify 0 into 0 1545555403.547 * [misc]backup-simplify: Simplify 1 into 1 1545555403.547 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555403.548 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545555403.548 * [misc]backup-simplify: Simplify (- 1) into -1 1545555403.548 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1545555403.548 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) -1) into (* -1 (exp (/ -1 a))) 1545555403.548 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) (- 2 (+ (/ 1 a) (/ 1 b)))) in a 1545555403.548 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1545555403.548 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1545555403.548 * [misc]taylor: Taking taylor expansion of -1 in a 1545555403.548 * [misc]backup-simplify: Simplify -1 into -1 1545555403.548 * [misc]taylor: Taking taylor expansion of a in a 1545555403.548 * [misc]backup-simplify: Simplify 0 into 0 1545555403.548 * [misc]backup-simplify: Simplify 1 into 1 1545555403.548 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545555403.548 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555403.548 * [misc]taylor: Taking taylor expansion of (- 2 (+ (/ 1 a) (/ 1 b))) in a 1545555403.548 * [misc]taylor: Taking taylor expansion of 2 in a 1545555403.548 * [misc]backup-simplify: Simplify 2 into 2 1545555403.549 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 1545555403.549 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1545555403.549 * [misc]taylor: Taking taylor expansion of a in a 1545555403.549 * [misc]backup-simplify: Simplify 0 into 0 1545555403.549 * [misc]backup-simplify: Simplify 1 into 1 1545555403.549 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555403.549 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1545555403.549 * [misc]taylor: Taking taylor expansion of b in a 1545555403.549 * [misc]backup-simplify: Simplify b into b 1545555403.549 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1545555403.549 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545555403.549 * [misc]backup-simplify: Simplify (- 1) into -1 1545555403.549 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1545555403.549 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) -1) into (* -1 (exp (/ -1 a))) 1545555403.549 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) (- 2 (+ (/ 1 a) (/ 1 b)))) in a 1545555403.549 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1545555403.550 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1545555403.550 * [misc]taylor: Taking taylor expansion of -1 in a 1545555403.550 * [misc]backup-simplify: Simplify -1 into -1 1545555403.550 * [misc]taylor: Taking taylor expansion of a in a 1545555403.550 * [misc]backup-simplify: Simplify 0 into 0 1545555403.550 * [misc]backup-simplify: Simplify 1 into 1 1545555403.550 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545555403.550 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555403.550 * [misc]taylor: Taking taylor expansion of (- 2 (+ (/ 1 a) (/ 1 b))) in a 1545555403.550 * [misc]taylor: Taking taylor expansion of 2 in a 1545555403.550 * [misc]backup-simplify: Simplify 2 into 2 1545555403.550 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 1545555403.550 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1545555403.550 * [misc]taylor: Taking taylor expansion of a in a 1545555403.550 * [misc]backup-simplify: Simplify 0 into 0 1545555403.550 * [misc]backup-simplify: Simplify 1 into 1 1545555403.550 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545555403.550 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1545555403.550 * [misc]taylor: Taking taylor expansion of b in a 1545555403.550 * [misc]backup-simplify: Simplify b into b 1545555403.550 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1545555403.551 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545555403.551 * [misc]backup-simplify: Simplify (- 1) into -1 1545555403.551 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1545555403.551 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) -1) into (* -1 (exp (/ -1 a))) 1545555403.551 * [misc]taylor: Taking taylor expansion of (* -1 (exp (/ -1 a))) in b 1545555403.551 * [misc]taylor: Taking taylor expansion of -1 in b 1545555403.551 * [misc]backup-simplify: Simplify -1 into -1 1545555403.551 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1545555403.551 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1545555403.551 * [misc]taylor: Taking taylor expansion of -1 in b 1545555403.551 * [misc]backup-simplify: Simplify -1 into -1 1545555403.551 * [misc]taylor: Taking taylor expansion of a in b 1545555403.551 * [misc]backup-simplify: Simplify a into a 1545555403.551 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1545555403.551 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555403.551 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1545555403.553 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555403.553 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (exp (/ -1 a)))) into 0 1545555403.553 * [misc]backup-simplify: Simplify 0 into 0 1545555403.553 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545555403.553 * [misc]backup-simplify: Simplify (+ 0 (/ 1 b)) into (/ 1 b) 1545555403.553 * [misc]backup-simplify: Simplify (- (/ 1 b)) into (- (/ 1 b)) 1545555403.554 * [misc]backup-simplify: Simplify (+ 2 (- (/ 1 b))) into (- 2 (/ 1 b)) 1545555403.554 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* (* -1 (exp (/ -1 a))) (/ (- 2 (/ 1 b)) -1)))) into (- (/ (exp (/ -1 a)) b) (* 2 (exp (/ -1 a)))) 1545555403.554 * [misc]taylor: Taking taylor expansion of (- (/ (exp (/ -1 a)) b) (* 2 (exp (/ -1 a)))) in b 1545555403.554 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) b) in b 1545555403.554 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1545555403.554 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1545555403.554 * [misc]taylor: Taking taylor expansion of -1 in b 1545555403.554 * [misc]backup-simplify: Simplify -1 into -1 1545555403.554 * [misc]taylor: Taking taylor expansion of a in b 1545555403.554 * [misc]backup-simplify: Simplify a into a 1545555403.554 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1545555403.554 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555403.554 * [misc]taylor: Taking taylor expansion of b in b 1545555403.554 * [misc]backup-simplify: Simplify 0 into 0 1545555403.554 * [misc]backup-simplify: Simplify 1 into 1 1545555403.555 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) 1) into (exp (/ -1 a)) 1545555403.555 * [misc]taylor: Taking taylor expansion of (* 2 (exp (/ -1 a))) in b 1545555403.555 * [misc]taylor: Taking taylor expansion of 2 in b 1545555403.555 * [misc]backup-simplify: Simplify 2 into 2 1545555403.555 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1545555403.555 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1545555403.555 * [misc]taylor: Taking taylor expansion of -1 in b 1545555403.555 * [misc]backup-simplify: Simplify -1 into -1 1545555403.555 * [misc]taylor: Taking taylor expansion of a in b 1545555403.555 * [misc]backup-simplify: Simplify a into a 1545555403.555 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1545555403.555 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555403.555 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1545555403.555 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555403.557 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555403.558 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555403.558 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ -1 a)) (/ 0 1)))) into 0 1545555403.559 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ -1 a)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545555403.559 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1545555403.560 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555403.560 * [misc]backup-simplify: Simplify (+ (* 2 0) (* 0 (exp (/ -1 a)))) into 0 1545555403.561 * [misc]backup-simplify: Simplify (- 0) into 0 1545555403.561 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555403.561 * [misc]backup-simplify: Simplify 0 into 0 1545555403.561 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555403.563 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555403.563 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ -1 a))))) into 0 1545555403.563 * [misc]backup-simplify: Simplify 0 into 0 1545555403.564 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545555403.564 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1545555403.564 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555403.564 * [misc]backup-simplify: Simplify (- 0) into 0 1545555403.564 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555403.565 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* (* -1 (exp (/ -1 a))) (/ 0 -1)) (* (- (/ (exp (/ -1 a)) b) (* 2 (exp (/ -1 a)))) (/ (- 2 (/ 1 b)) -1)))) into (- (* 4 (/ (exp (/ -1 a)) b)) (+ (* 4 (exp (/ -1 a))) (/ (exp (/ -1 a)) (pow b 2)))) 1545555403.565 * [misc]taylor: Taking taylor expansion of (- (* 4 (/ (exp (/ -1 a)) b)) (+ (* 4 (exp (/ -1 a))) (/ (exp (/ -1 a)) (pow b 2)))) in b 1545555403.565 * [misc]taylor: Taking taylor expansion of (* 4 (/ (exp (/ -1 a)) b)) in b 1545555403.565 * [misc]taylor: Taking taylor expansion of 4 in b 1545555403.565 * [misc]backup-simplify: Simplify 4 into 4 1545555403.565 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) b) in b 1545555403.565 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1545555403.565 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1545555403.565 * [misc]taylor: Taking taylor expansion of -1 in b 1545555403.565 * [misc]backup-simplify: Simplify -1 into -1 1545555403.565 * [misc]taylor: Taking taylor expansion of a in b 1545555403.565 * [misc]backup-simplify: Simplify a into a 1545555403.565 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1545555403.565 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555403.565 * [misc]taylor: Taking taylor expansion of b in b 1545555403.566 * [misc]backup-simplify: Simplify 0 into 0 1545555403.566 * [misc]backup-simplify: Simplify 1 into 1 1545555403.566 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) 1) into (exp (/ -1 a)) 1545555403.566 * [misc]taylor: Taking taylor expansion of (+ (* 4 (exp (/ -1 a))) (/ (exp (/ -1 a)) (pow b 2))) in b 1545555403.566 * [misc]taylor: Taking taylor expansion of (* 4 (exp (/ -1 a))) in b 1545555403.566 * [misc]taylor: Taking taylor expansion of 4 in b 1545555403.566 * [misc]backup-simplify: Simplify 4 into 4 1545555403.566 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1545555403.566 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1545555403.566 * [misc]taylor: Taking taylor expansion of -1 in b 1545555403.566 * [misc]backup-simplify: Simplify -1 into -1 1545555403.566 * [misc]taylor: Taking taylor expansion of a in b 1545555403.566 * [misc]backup-simplify: Simplify a into a 1545555403.566 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1545555403.566 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555403.566 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) (pow b 2)) in b 1545555403.566 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1545555403.566 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1545555403.566 * [misc]taylor: Taking taylor expansion of -1 in b 1545555403.566 * [misc]backup-simplify: Simplify -1 into -1 1545555403.566 * [misc]taylor: Taking taylor expansion of a in b 1545555403.566 * [misc]backup-simplify: Simplify a into a 1545555403.566 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1545555403.566 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1545555403.566 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1545555403.566 * [misc]taylor: Taking taylor expansion of b in b 1545555403.566 * [misc]backup-simplify: Simplify 0 into 0 1545555403.566 * [misc]backup-simplify: Simplify 1 into 1 1545555403.567 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545555403.567 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) 1) into (exp (/ -1 a)) 1545555403.567 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1545555403.567 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555403.568 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555403.569 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555403.569 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ -1 a)) (/ 0 1)))) into 0 1545555403.569 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ -1 a)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545555403.570 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 (exp (/ -1 a))))) into 0 1545555403.570 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1545555403.570 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555403.571 * [misc]backup-simplify: Simplify (+ (* 4 0) (* 0 (exp (/ -1 a)))) into 0 1545555403.571 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1545555403.571 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555403.571 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555403.573 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1545555403.573 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545555403.574 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1545555403.574 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545555403.574 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ -1 a)) (/ 0 1)))) into 0 1545555403.574 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545555403.575 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555403.576 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ -1 a)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545555403.576 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ -1 a)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545555403.576 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555403.576 * [misc]backup-simplify: Simplify (- 0) into 0 1545555403.576 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555403.576 * [misc]backup-simplify: Simplify 0 into 0 1545555403.577 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555403.579 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1545555403.579 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ -1 a)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545555403.579 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555403.580 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1545555403.581 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (exp (/ -1 a))))) into 0 1545555403.581 * [misc]backup-simplify: Simplify (- 0) into 0 1545555403.581 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545555403.581 * [misc]backup-simplify: Simplify 0 into 0 1545555403.581 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 1545555403.583 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1545555403.584 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 a)))))) into 0 1545555403.584 * [misc]backup-simplify: Simplify 0 into 0 1545555403.584 * [misc]backup-simplify: Simplify 0 into 0 1545555403.584 * * * [misc]progress: simplifying candidates 1545555403.584 * * * * [misc]progress: [ 1 / 32 ] simplifiying candidate # 1545555403.584 * * * * [misc]progress: [ 2 / 32 ] simplifiying candidate # 1545555403.584 * [enter]simplify: Simplifying (- a (log (+ a (+ b 2)))) 1545555403.584 * * [misc]simplify: iters left: 6 (7 enodes) 1545555403.585 * * [misc]simplify: iters left: 5 (13 enodes) 1545555403.587 * * [misc]simplify: iters left: 4 (20 enodes) 1545555403.589 * * [misc]simplify: iters left: 3 (21 enodes) 1545555403.592 * [exit]simplify: Simplified to (- a (log (+ (+ b a) 2))) 1545555403.592 * [misc]simplify: Simplified (2 1) to (λ (a b) (exp (- a (log (+ (+ b a) 2))))) 1545555403.592 * * * * [misc]progress: [ 3 / 32 ] simplifiying candidate # 1545555403.592 * * * * [misc]progress: [ 4 / 32 ] simplifiying candidate # 1545555403.592 * * * * [misc]progress: [ 5 / 32 ] simplifiying candidate # 1545555403.592 * [enter]simplify: Simplifying (/ (* (* (exp a) (exp a)) (exp a)) (* (* (+ a (+ b 2)) (+ a (+ b 2))) (+ a (+ b 2)))) 1545555403.592 * * [misc]simplify: iters left: 6 (11 enodes) 1545555403.594 * * [misc]simplify: iters left: 5 (38 enodes) 1545555403.613 * * [misc]simplify: iters left: 4 (162 enodes) 1545555403.723 * [exit]simplify: Simplified to (pow (/ (exp a) (+ 2 (+ a b))) 3) 1545555403.723 * [misc]simplify: Simplified (2 1) to (λ (a b) (cbrt (pow (/ (exp a) (+ 2 (+ a b))) 3))) 1545555403.723 * * * * [misc]progress: [ 6 / 32 ] simplifiying candidate # 1545555403.723 * * * * [misc]progress: [ 7 / 32 ] simplifiying candidate # 1545555403.723 * * * * [misc]progress: [ 8 / 32 ] simplifiying candidate # 1545555403.723 * * * * [misc]progress: [ 9 / 32 ] simplifiying candidate # 1545555403.723 * * * * [misc]progress: [ 10 / 32 ] simplifiying candidate # 1545555403.724 * [enter]simplify: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (+ a (+ b 2))) (cbrt (+ a (+ b 2))))) 1545555403.724 * * [misc]simplify: iters left: 6 (11 enodes) 1545555403.727 * * [misc]simplify: iters left: 5 (21 enodes) 1545555403.736 * * [misc]simplify: iters left: 4 (36 enodes) 1545555403.745 * * [misc]simplify: iters left: 3 (41 enodes) 1545555403.754 * * [misc]simplify: iters left: 2 (44 enodes) 1545555403.764 * [exit]simplify: Simplified to (* (/ (cbrt (exp a)) (cbrt (+ a (+ 2 b)))) (/ (cbrt (exp a)) (cbrt (+ a (+ 2 b))))) 1545555403.764 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (* (/ (cbrt (exp a)) (cbrt (+ a (+ 2 b)))) (/ (cbrt (exp a)) (cbrt (+ a (+ 2 b))))) (/ (cbrt (exp a)) (cbrt (+ a (+ b 2)))))) 1545555403.764 * [enter]simplify: Simplifying (/ (cbrt (exp a)) (cbrt (+ a (+ b 2)))) 1545555403.764 * * [misc]simplify: iters left: 6 (9 enodes) 1545555403.767 * * [misc]simplify: iters left: 5 (13 enodes) 1545555403.770 * * [misc]simplify: iters left: 4 (19 enodes) 1545555403.774 * * [misc]simplify: iters left: 3 (21 enodes) 1545555403.779 * [exit]simplify: Simplified to (/ (cbrt (exp a)) (cbrt (+ b (+ a 2)))) 1545555403.779 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (+ a (+ b 2))) (cbrt (+ a (+ b 2))))) (/ (cbrt (exp a)) (cbrt (+ b (+ a 2)))))) 1545555403.779 * * * * [misc]progress: [ 11 / 32 ] simplifiying candidate # 1545555403.779 * [enter]simplify: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ a (+ b 2)))) 1545555403.779 * * [misc]simplify: iters left: 6 (10 enodes) 1545555403.782 * * [misc]simplify: iters left: 5 (16 enodes) 1545555403.787 * * [misc]simplify: iters left: 4 (24 enodes) 1545555403.792 * * [misc]simplify: iters left: 3 (26 enodes) 1545555403.799 * [exit]simplify: Simplified to (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ a (+ 2 b)))) 1545555403.799 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ a (+ 2 b)))) (/ (cbrt (exp a)) (sqrt (+ a (+ b 2)))))) 1545555403.799 * [enter]simplify: Simplifying (/ (cbrt (exp a)) (sqrt (+ a (+ b 2)))) 1545555403.799 * * [misc]simplify: iters left: 6 (9 enodes) 1545555403.801 * * [misc]simplify: iters left: 5 (13 enodes) 1545555403.805 * * [misc]simplify: iters left: 4 (19 enodes) 1545555403.809 * * [misc]simplify: iters left: 3 (21 enodes) 1545555403.814 * [exit]simplify: Simplified to (/ (cbrt (exp a)) (sqrt (+ b (+ a 2)))) 1545555403.814 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ a (+ b 2)))) (/ (cbrt (exp a)) (sqrt (+ b (+ a 2)))))) 1545555403.814 * * * * [misc]progress: [ 12 / 32 ] simplifiying candidate # 1545555403.814 * [enter]simplify: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) 1) 1545555403.814 * * [misc]simplify: iters left: 6 (6 enodes) 1545555403.816 * * [misc]simplify: iters left: 5 (10 enodes) 1545555403.819 * * [misc]simplify: iters left: 4 (16 enodes) 1545555403.823 * * [misc]simplify: iters left: 3 (18 enodes) 1545555403.826 * * [misc]simplify: iters left: 2 (23 enodes) 1545555403.831 * [exit]simplify: Simplified to (* (cbrt (exp a)) (cbrt (exp a))) 1545555403.831 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ a (+ b 2))))) 1545555403.832 * [enter]simplify: Simplifying (/ (cbrt (exp a)) (+ a (+ b 2))) 1545555403.832 * * [misc]simplify: iters left: 6 (8 enodes) 1545555403.834 * * [misc]simplify: iters left: 5 (12 enodes) 1545555403.837 * * [misc]simplify: iters left: 4 (18 enodes) 1545555403.841 * * [misc]simplify: iters left: 3 (20 enodes) 1545555403.846 * [exit]simplify: Simplified to (/ (cbrt (exp a)) (+ (+ b a) 2)) 1545555403.846 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (+ b a) 2)))) 1545555403.846 * * * * [misc]progress: [ 13 / 32 ] simplifiying candidate # 1545555403.846 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (* (cbrt (+ a (+ b 2))) (cbrt (+ a (+ b 2))))) 1545555403.846 * * [misc]simplify: iters left: 6 (10 enodes) 1545555403.849 * * [misc]simplify: iters left: 5 (16 enodes) 1545555403.854 * * [misc]simplify: iters left: 4 (22 enodes) 1545555403.859 * * [misc]simplify: iters left: 3 (24 enodes) 1545555403.865 * [exit]simplify: Simplified to (/ (/ (sqrt (exp a)) (cbrt (+ (+ b 2) a))) (cbrt (+ (+ b 2) a))) 1545555403.865 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ (/ (sqrt (exp a)) (cbrt (+ (+ b 2) a))) (cbrt (+ (+ b 2) a))) (/ (sqrt (exp a)) (cbrt (+ a (+ b 2)))))) 1545555403.865 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (cbrt (+ a (+ b 2)))) 1545555403.866 * * [misc]simplify: iters left: 6 (9 enodes) 1545555403.868 * * [misc]simplify: iters left: 5 (13 enodes) 1545555403.870 * * [misc]simplify: iters left: 4 (19 enodes) 1545555403.873 * * [misc]simplify: iters left: 3 (21 enodes) 1545555403.875 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (cbrt (+ b (+ a 2)))) 1545555403.875 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (sqrt (exp a)) (* (cbrt (+ a (+ b 2))) (cbrt (+ a (+ b 2))))) (/ (sqrt (exp a)) (cbrt (+ b (+ a 2)))))) 1545555403.875 * * * * [misc]progress: [ 14 / 32 ] simplifiying candidate # 1545555403.876 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (sqrt (+ a (+ b 2)))) 1545555403.876 * * [misc]simplify: iters left: 6 (9 enodes) 1545555403.877 * * [misc]simplify: iters left: 5 (13 enodes) 1545555403.879 * * [misc]simplify: iters left: 4 (19 enodes) 1545555403.881 * * [misc]simplify: iters left: 3 (21 enodes) 1545555403.883 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (sqrt (+ b (+ a 2)))) 1545555403.883 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ (sqrt (exp a)) (sqrt (+ b (+ a 2)))) (/ (sqrt (exp a)) (sqrt (+ a (+ b 2)))))) 1545555403.884 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (sqrt (+ a (+ b 2)))) 1545555403.884 * * [misc]simplify: iters left: 6 (9 enodes) 1545555403.885 * * [misc]simplify: iters left: 5 (13 enodes) 1545555403.886 * * [misc]simplify: iters left: 4 (19 enodes) 1545555403.889 * * [misc]simplify: iters left: 3 (21 enodes) 1545555403.891 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (sqrt (+ b (+ a 2)))) 1545555403.891 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (sqrt (exp a)) (sqrt (+ a (+ b 2)))) (/ (sqrt (exp a)) (sqrt (+ b (+ a 2)))))) 1545555403.891 * * * * [misc]progress: [ 15 / 32 ] simplifiying candidate # 1545555403.891 * [enter]simplify: Simplifying (/ (sqrt (exp a)) 1) 1545555403.891 * * [misc]simplify: iters left: 4 (5 enodes) 1545555403.892 * * [misc]simplify: iters left: 3 (7 enodes) 1545555403.894 * * [misc]simplify: iters left: 2 (9 enodes) 1545555403.895 * [exit]simplify: Simplified to (sqrt (exp a)) 1545555403.895 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ a (+ b 2))))) 1545555403.895 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (+ a (+ b 2))) 1545555403.895 * * [misc]simplify: iters left: 6 (8 enodes) 1545555403.896 * * [misc]simplify: iters left: 5 (12 enodes) 1545555403.898 * * [misc]simplify: iters left: 4 (18 enodes) 1545555403.900 * * [misc]simplify: iters left: 3 (20 enodes) 1545555403.903 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (+ (+ b a) 2)) 1545555403.903 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (+ b a) 2)))) 1545555403.903 * * * * [misc]progress: [ 16 / 32 ] simplifiying candidate # 1545555403.903 * [enter]simplify: Simplifying (/ 1 (* (cbrt (+ a (+ b 2))) (cbrt (+ a (+ b 2))))) 1545555403.903 * * [misc]simplify: iters left: 6 (9 enodes) 1545555403.905 * * [misc]simplify: iters left: 5 (17 enodes) 1545555403.907 * * [misc]simplify: iters left: 4 (23 enodes) 1545555403.910 * * [misc]simplify: iters left: 3 (24 enodes) 1545555403.913 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (+ 2 (+ a b)))) (cbrt (+ 2 (+ a b)))) 1545555403.913 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ (/ 1 (cbrt (+ 2 (+ a b)))) (cbrt (+ 2 (+ a b)))) (/ (exp a) (cbrt (+ a (+ b 2)))))) 1545555403.914 * [enter]simplify: Simplifying (/ (exp a) (cbrt (+ a (+ b 2)))) 1545555403.914 * * [misc]simplify: iters left: 6 (8 enodes) 1545555403.916 * * [misc]simplify: iters left: 5 (12 enodes) 1545555403.920 * * [misc]simplify: iters left: 4 (18 enodes) 1545555403.925 * * [misc]simplify: iters left: 3 (19 enodes) 1545555403.930 * [exit]simplify: Simplified to (/ (exp a) (cbrt (+ a (+ 2 b)))) 1545555403.930 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ 1 (* (cbrt (+ a (+ b 2))) (cbrt (+ a (+ b 2))))) (/ (exp a) (cbrt (+ a (+ 2 b)))))) 1545555403.930 * * * * [misc]progress: [ 17 / 32 ] simplifiying candidate # 1545555403.930 * [enter]simplify: Simplifying (/ 1 (sqrt (+ a (+ b 2)))) 1545555403.930 * * [misc]simplify: iters left: 6 (8 enodes) 1545555403.932 * * [misc]simplify: iters left: 5 (14 enodes) 1545555403.933 * * [misc]simplify: iters left: 4 (20 enodes) 1545555403.936 * * [misc]simplify: iters left: 3 (21 enodes) 1545555403.938 * [exit]simplify: Simplified to (/ 1 (sqrt (+ (+ a 2) b))) 1545555403.938 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ 1 (sqrt (+ (+ a 2) b))) (/ (exp a) (sqrt (+ a (+ b 2)))))) 1545555403.938 * [enter]simplify: Simplifying (/ (exp a) (sqrt (+ a (+ b 2)))) 1545555403.938 * * [misc]simplify: iters left: 6 (8 enodes) 1545555403.939 * * [misc]simplify: iters left: 5 (12 enodes) 1545555403.941 * * [misc]simplify: iters left: 4 (18 enodes) 1545555403.943 * * [misc]simplify: iters left: 3 (19 enodes) 1545555403.945 * [exit]simplify: Simplified to (/ (exp a) (sqrt (+ a (+ 2 b)))) 1545555403.945 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ 1 (sqrt (+ a (+ b 2)))) (/ (exp a) (sqrt (+ a (+ 2 b)))))) 1545555403.945 * * * * [misc]progress: [ 18 / 32 ] simplifiying candidate # 1545555403.945 * [enter]simplify: Simplifying (/ 1 1) 1545555403.945 * * [misc]simplify: iters left: 2 (2 enodes) 1545555403.946 * * [misc]simplify: iters left: 1 (4 enodes) 1545555403.946 * [exit]simplify: Simplified to 1 1545555403.946 * [misc]simplify: Simplified (2 1) to (λ (a b) (* 1 (/ (exp a) (+ a (+ b 2))))) 1545555403.946 * [enter]simplify: Simplifying (/ (exp a) (+ a (+ b 2))) 1545555403.946 * * [misc]simplify: iters left: 6 (7 enodes) 1545555403.947 * * [misc]simplify: iters left: 5 (11 enodes) 1545555403.948 * * [misc]simplify: iters left: 4 (17 enodes) 1545555403.951 * * [misc]simplify: iters left: 3 (19 enodes) 1545555403.954 * [exit]simplify: Simplified to (/ (exp a) (+ a (+ 2 b))) 1545555403.954 * [misc]simplify: Simplified (2 2) to (λ (a b) (* 1 (/ (exp a) (+ a (+ 2 b))))) 1545555403.954 * * * * [misc]progress: [ 19 / 32 ] simplifiying candidate # 1545555403.954 * * * * [misc]progress: [ 20 / 32 ] simplifiying candidate # 1545555403.954 * * * * [misc]progress: [ 21 / 32 ] simplifiying candidate # 1545555403.954 * * * * [misc]progress: [ 22 / 32 ] simplifiying candidate # 1545555403.954 * [enter]simplify: Simplifying (cbrt (+ a (+ b 2))) 1545555403.954 * * [misc]simplify: iters left: 5 (6 enodes) 1545555403.955 * * [misc]simplify: iters left: 4 (10 enodes) 1545555403.956 * * [misc]simplify: iters left: 3 (16 enodes) 1545555403.958 * * [misc]simplify: iters left: 2 (18 enodes) 1545555403.960 * [exit]simplify: Simplified to (cbrt (+ 2 (+ b a))) 1545555403.960 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (/ (exp a) (* (cbrt (+ a (+ b 2))) (cbrt (+ a (+ b 2))))) (cbrt (+ 2 (+ b a))))) 1545555403.960 * * * * [misc]progress: [ 23 / 32 ] simplifiying candidate # 1545555403.960 * [enter]simplify: Simplifying (sqrt (+ a (+ b 2))) 1545555403.960 * * [misc]simplify: iters left: 5 (6 enodes) 1545555403.961 * * [misc]simplify: iters left: 4 (10 enodes) 1545555403.962 * * [misc]simplify: iters left: 3 (16 enodes) 1545555403.964 * * [misc]simplify: iters left: 2 (18 enodes) 1545555403.966 * [exit]simplify: Simplified to (sqrt (+ 2 (+ b a))) 1545555403.966 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (/ (exp a) (sqrt (+ a (+ b 2)))) (sqrt (+ 2 (+ b a))))) 1545555403.966 * * * * [misc]progress: [ 24 / 32 ] simplifiying candidate # 1545555403.966 * [enter]simplify: Simplifying (+ a (+ b 2)) 1545555403.966 * * [misc]simplify: iters left: 4 (5 enodes) 1545555403.967 * * [misc]simplify: iters left: 3 (9 enodes) 1545555403.969 * * [misc]simplify: iters left: 2 (15 enodes) 1545555403.972 * * [misc]simplify: iters left: 1 (17 enodes) 1545555403.973 * [exit]simplify: Simplified to (+ (+ b a) 2) 1545555403.973 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (/ (exp a) 1) (+ (+ b a) 2))) 1545555403.973 * * * * [misc]progress: [ 25 / 32 ] simplifiying candidate # 1545555403.974 * [enter]simplify: Simplifying (* (cbrt (exp a)) (cbrt (exp a))) 1545555403.974 * * [misc]simplify: iters left: 4 (4 enodes) 1545555403.974 * [exit]simplify: Simplified to (* (cbrt (exp a)) (cbrt (exp a))) 1545555403.974 * [misc]simplify: Simplified (2 1) to (λ (a b) (/ (* (cbrt (exp a)) (cbrt (exp a))) (/ (+ a (+ b 2)) (cbrt (exp a))))) 1545555403.974 * * * * [misc]progress: [ 26 / 32 ] simplifiying candidate # 1545555403.974 * [enter]simplify: Simplifying (sqrt (exp a)) 1545555403.974 * * [misc]simplify: iters left: 2 (3 enodes) 1545555403.975 * [exit]simplify: Simplified to (sqrt (exp a)) 1545555403.975 * [misc]simplify: Simplified (2 1) to (λ (a b) (/ (sqrt (exp a)) (/ (+ a (+ b 2)) (sqrt (exp a))))) 1545555403.975 * * * * [misc]progress: [ 27 / 32 ] simplifiying candidate # 1545555403.975 * * * * [misc]progress: [ 28 / 32 ] simplifiying candidate # 1545555403.975 * [enter]simplify: Simplifying (+ (* a a) (- (* (+ b 2) (+ b 2)) (* a (+ b 2)))) 1545555403.975 * * [misc]simplify: iters left: 6 (9 enodes) 1545555403.977 * * [misc]simplify: iters left: 5 (30 enodes) 1545555403.983 * * [misc]simplify: iters left: 4 (92 enodes) 1545555404.006 * * [misc]simplify: iters left: 3 (243 enodes) 1545555404.084 * [exit]simplify: Simplified to (- (* (+ 2 b) (+ 2 b)) (* (+ (- b a) 2) a)) 1545555404.084 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (exp a) (+ (pow a 3) (pow (+ b 2) 3))) (- (* (+ 2 b) (+ 2 b)) (* (+ (- b a) 2) a)))) 1545555404.084 * * * * [misc]progress: [ 29 / 32 ] simplifiying candidate # 1545555404.084 * [enter]simplify: Simplifying (- a (+ b 2)) 1545555404.084 * * [misc]simplify: iters left: 4 (5 enodes) 1545555404.085 * * [misc]simplify: iters left: 3 (10 enodes) 1545555404.087 * * [misc]simplify: iters left: 2 (19 enodes) 1545555404.090 * * [misc]simplify: iters left: 1 (32 enodes) 1545555404.096 * [exit]simplify: Simplified to (- (+ -2 a) b) 1545555404.096 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (exp a) (- (* a a) (* (+ b 2) (+ b 2)))) (- (+ -2 a) b))) 1545555404.097 * * * * [misc]progress: [ 30 / 32 ] simplifiying candidate # 1545555404.097 * [enter]simplify: Simplifying (- (+ (* 1/4 a) 1/2) (* 1/4 b)) 1545555404.097 * * [misc]simplify: iters left: 6 (8 enodes) 1545555404.098 * * [misc]simplify: iters left: 5 (15 enodes) 1545555404.101 * * [misc]simplify: iters left: 4 (30 enodes) 1545555404.106 * * [misc]simplify: iters left: 3 (41 enodes) 1545555404.111 * * [misc]simplify: iters left: 2 (48 enodes) 1545555404.116 * * [misc]simplify: iters left: 1 (57 enodes) 1545555404.124 * [exit]simplify: Simplified to (- 1/2 (* 1/4 (- b a))) 1545555404.124 * [misc]simplify: Simplified (2) to (λ (a b) (- 1/2 (* 1/4 (- b a)))) 1545555404.124 * * * * [misc]progress: [ 31 / 32 ] simplifiying candidate # 1545555404.124 * [enter]simplify: Simplifying 0 1545555404.124 * * [misc]simplify: iters left: 0 (1 enodes) 1545555404.124 * [exit]simplify: Simplified to 0 1545555404.124 * [misc]simplify: Simplified (2) to (λ (a b) 0) 1545555404.124 * * * * [misc]progress: [ 32 / 32 ] simplifiying candidate # 1545555404.125 * [enter]simplify: Simplifying 0 1545555404.125 * * [misc]simplify: iters left: 0 (1 enodes) 1545555404.125 * [exit]simplify: Simplified to 0 1545555404.125 * [misc]simplify: Simplified (2) to (λ (a b) 0) 1545555404.125 * * * [misc]progress: adding candidates to table 1545555404.510 * * [misc]progress: iteration 4 / 4 1545555404.510 * * * [misc]progress: picking best candidate 1545555404.515 * * * * [misc]pick: Picked # 1545555404.515 * * * [misc]progress: localizing error 1545555404.531 * * * [misc]progress: generating rewritten candidates 1545555404.531 * * * [misc]progress: generating series expansions 1545555404.531 * * * [misc]progress: simplifying candidates 1545555404.531 * * * [misc]progress: adding candidates to table 1545555404.531 * [misc]progress: [Phase 3 of 3] Extracting. 1545555404.532 * * [misc]regime: Finding splitpoints for: (# # #) 1545555404.532 * * * [misc]regime-changes: Trying 4 branch expressions: (b (exp b) a (exp a)) 1545555404.532 * * * * [misc]regimes: Trying to branch on b from (# # #) 1545555404.563 * * * * [misc]regimes: Trying to branch on (exp b) from (# # #) 1545555404.589 * * * * [misc]regimes: Trying to branch on a from (# # #) 1545555404.630 * * * * [misc]regimes: Trying to branch on (exp a) from (# # #) 1545555404.653 * * * [misc]regime: Found split indices: #