1554298811.062 * [misc]progress: [Phase 1 of 3] Setting up. 1554298811.062 * * * [misc]progress: [1/2] Preparing points 1554298811.198 * * * [misc]progress: [2/2] Setting up program. 1554298811.202 * [misc]progress: [Phase 2 of 3] Improving. 1554298811.202 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1554298811.203 * [enter]simplify: Simplifying (/ (exp a) (+ (exp a) (exp b))) 1554298811.203 * * [misc]simplify: iters left: 5 (6 enodes) 1554298811.205 * * [misc]simplify: iters left: 4 (19 enodes) 1554298811.210 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298811.210 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554298811.210 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554298811.210 * * [misc]simplify: Extracting #3: cost 9 inf + 1 1554298811.211 * * [misc]simplify: Extracting #4: cost 0 inf + 1094 1554298811.211 * [exit]simplify: Simplified to (/ (exp a) (+ (exp a) (exp b))) 1554298811.211 * [misc]simplify: Simplified (2) to (λ (a b) (/ (exp a) (+ (exp a) (exp b)))) 1554298811.216 * * [misc]progress: iteration 1 / 4 1554298811.216 * * * [misc]progress: picking best candidate 1554298811.220 * * * * [misc]pick: Picked # 1554298811.221 * * * [misc]progress: localizing error 1554298811.240 * * * [misc]progress: generating rewritten candidates 1554298811.240 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1554298811.255 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) 1554298811.264 * * * [misc]progress: generating series expansions 1554298811.264 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1554298811.265 * [misc]backup-simplify: Simplify (/ (exp a) (+ (exp a) (exp b))) into (/ (exp a) (+ (exp a) (exp b))) 1554298811.265 * [misc]approximate: Taking taylor expansion of (/ (exp a) (+ (exp a) (exp b))) in (a b) around 0 1554298811.265 * [misc]taylor: Taking taylor expansion of (/ (exp a) (+ (exp a) (exp b))) in b 1554298811.265 * [misc]taylor: Taking taylor expansion of (exp a) in b 1554298811.265 * [misc]taylor: Taking taylor expansion of a in b 1554298811.265 * [misc]backup-simplify: Simplify a into a 1554298811.265 * [misc]backup-simplify: Simplify (exp a) into (exp a) 1554298811.265 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp b)) in b 1554298811.265 * [misc]taylor: Taking taylor expansion of (exp a) in b 1554298811.265 * [misc]taylor: Taking taylor expansion of a in b 1554298811.265 * [misc]backup-simplify: Simplify a into a 1554298811.265 * [misc]backup-simplify: Simplify (exp a) into (exp a) 1554298811.265 * [misc]taylor: Taking taylor expansion of (exp b) in b 1554298811.265 * [misc]taylor: Taking taylor expansion of b in b 1554298811.265 * [misc]backup-simplify: Simplify 0 into 0 1554298811.265 * [misc]backup-simplify: Simplify 1 into 1 1554298811.265 * [misc]backup-simplify: Simplify (exp 0) into 1 1554298811.266 * [misc]backup-simplify: Simplify (+ (exp a) 1) into (+ (exp a) 1) 1554298811.266 * [misc]backup-simplify: Simplify (/ (exp a) (+ (exp a) 1)) into (/ (exp a) (+ (exp a) 1)) 1554298811.266 * [misc]taylor: Taking taylor expansion of (/ (exp a) (+ (exp a) (exp b))) in a 1554298811.266 * [misc]taylor: Taking taylor expansion of (exp a) in a 1554298811.266 * [misc]taylor: Taking taylor expansion of a in a 1554298811.266 * [misc]backup-simplify: Simplify 0 into 0 1554298811.266 * [misc]backup-simplify: Simplify 1 into 1 1554298811.266 * [misc]backup-simplify: Simplify (exp 0) into 1 1554298811.266 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp b)) in a 1554298811.266 * [misc]taylor: Taking taylor expansion of (exp a) in a 1554298811.266 * [misc]taylor: Taking taylor expansion of a in a 1554298811.266 * [misc]backup-simplify: Simplify 0 into 0 1554298811.266 * [misc]backup-simplify: Simplify 1 into 1 1554298811.266 * [misc]backup-simplify: Simplify (exp 0) into 1 1554298811.266 * [misc]taylor: Taking taylor expansion of (exp b) in a 1554298811.266 * [misc]taylor: Taking taylor expansion of b in a 1554298811.266 * [misc]backup-simplify: Simplify b into b 1554298811.266 * [misc]backup-simplify: Simplify (exp b) into (exp b) 1554298811.266 * [misc]backup-simplify: Simplify (+ 1 (exp b)) into (+ (exp b) 1) 1554298811.266 * [misc]backup-simplify: Simplify (/ 1 (+ (exp b) 1)) into (/ 1 (+ (exp b) 1)) 1554298811.266 * [misc]taylor: Taking taylor expansion of (/ (exp a) (+ (exp a) (exp b))) in a 1554298811.266 * [misc]taylor: Taking taylor expansion of (exp a) in a 1554298811.266 * [misc]taylor: Taking taylor expansion of a in a 1554298811.266 * [misc]backup-simplify: Simplify 0 into 0 1554298811.266 * [misc]backup-simplify: Simplify 1 into 1 1554298811.266 * [misc]backup-simplify: Simplify (exp 0) into 1 1554298811.266 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp b)) in a 1554298811.267 * [misc]taylor: Taking taylor expansion of (exp a) in a 1554298811.267 * [misc]taylor: Taking taylor expansion of a in a 1554298811.267 * [misc]backup-simplify: Simplify 0 into 0 1554298811.267 * [misc]backup-simplify: Simplify 1 into 1 1554298811.267 * [misc]backup-simplify: Simplify (exp 0) into 1 1554298811.267 * [misc]taylor: Taking taylor expansion of (exp b) in a 1554298811.267 * [misc]taylor: Taking taylor expansion of b in a 1554298811.267 * [misc]backup-simplify: Simplify b into b 1554298811.267 * [misc]backup-simplify: Simplify (exp b) into (exp b) 1554298811.267 * [misc]backup-simplify: Simplify (+ 1 (exp b)) into (+ (exp b) 1) 1554298811.267 * [misc]backup-simplify: Simplify (/ 1 (+ (exp b) 1)) into (/ 1 (+ (exp b) 1)) 1554298811.267 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b 1554298811.267 * [misc]taylor: Taking taylor expansion of (+ (exp b) 1) in b 1554298811.267 * [misc]taylor: Taking taylor expansion of (exp b) in b 1554298811.267 * [misc]taylor: Taking taylor expansion of b in b 1554298811.267 * [misc]backup-simplify: Simplify 0 into 0 1554298811.267 * [misc]backup-simplify: Simplify 1 into 1 1554298811.267 * [misc]backup-simplify: Simplify (exp 0) into 1 1554298811.267 * [misc]taylor: Taking taylor expansion of 1 in b 1554298811.267 * [misc]backup-simplify: Simplify 1 into 1 1554298811.268 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1554298811.268 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 1554298811.268 * [misc]backup-simplify: Simplify 1/2 into 1/2 1554298811.270 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554298811.271 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554298811.272 * [misc]backup-simplify: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0 1554298811.272 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554298811.272 * [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))) 1554298811.272 * [misc]taylor: Taking taylor expansion of (- (/ 1 (+ (exp b) 1)) (/ 1 (pow (+ (exp b) 1) 2))) in b 1554298811.272 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b 1554298811.272 * [misc]taylor: Taking taylor expansion of (+ (exp b) 1) in b 1554298811.272 * [misc]taylor: Taking taylor expansion of (exp b) in b 1554298811.272 * [misc]taylor: Taking taylor expansion of b in b 1554298811.273 * [misc]backup-simplify: Simplify 0 into 0 1554298811.273 * [misc]backup-simplify: Simplify 1 into 1 1554298811.273 * [misc]backup-simplify: Simplify (exp 0) into 1 1554298811.273 * [misc]taylor: Taking taylor expansion of 1 in b 1554298811.273 * [misc]backup-simplify: Simplify 1 into 1 1554298811.273 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1554298811.273 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 1554298811.273 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ (exp b) 1) 2)) in b 1554298811.273 * [misc]taylor: Taking taylor expansion of (pow (+ (exp b) 1) 2) in b 1554298811.273 * [misc]taylor: Taking taylor expansion of (+ (exp b) 1) in b 1554298811.273 * [misc]taylor: Taking taylor expansion of (exp b) in b 1554298811.273 * [misc]taylor: Taking taylor expansion of b in b 1554298811.273 * [misc]backup-simplify: Simplify 0 into 0 1554298811.273 * [misc]backup-simplify: Simplify 1 into 1 1554298811.273 * [misc]backup-simplify: Simplify (exp 0) into 1 1554298811.273 * [misc]taylor: Taking taylor expansion of 1 in b 1554298811.273 * [misc]backup-simplify: Simplify 1 into 1 1554298811.273 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1554298811.274 * [misc]backup-simplify: Simplify (* 2 2) into 4 1554298811.274 * [misc]backup-simplify: Simplify (/ 1 4) into 1/4 1554298811.274 * [misc]backup-simplify: Simplify (- 1/4) into -1/4 1554298811.274 * [misc]backup-simplify: Simplify (+ 1/2 -1/4) into 1/4 1554298811.274 * [misc]backup-simplify: Simplify 1/4 into 1/4 1554298811.276 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554298811.276 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554298811.276 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 1 2)))) into -1/4 1554298811.276 * [misc]backup-simplify: Simplify -1/4 into -1/4 1554298811.276 * [misc]backup-simplify: Simplify (+ (* -1/4 (* b 1)) (+ (* 1/4 (* 1 a)) 1/2)) into (- (+ (* 1/4 a) 1/2) (* 1/4 b)) 1554298811.277 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 a)) (exp (/ 1 b)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1554298811.277 * [misc]approximate: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in (a b) around 0 1554298811.277 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b 1554298811.277 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1554298811.277 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1554298811.277 * [misc]taylor: Taking taylor expansion of a in b 1554298811.277 * [misc]backup-simplify: Simplify a into a 1554298811.277 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1554298811.277 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1554298811.277 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1554298811.277 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in b 1554298811.277 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1554298811.277 * [misc]taylor: Taking taylor expansion of b in b 1554298811.277 * [misc]backup-simplify: Simplify 0 into 0 1554298811.277 * [misc]backup-simplify: Simplify 1 into 1 1554298811.277 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554298811.277 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1554298811.277 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1554298811.277 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1554298811.277 * [misc]taylor: Taking taylor expansion of a in b 1554298811.277 * [misc]backup-simplify: Simplify a into a 1554298811.277 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1554298811.278 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1554298811.278 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1554298811.278 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1554298811.278 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a 1554298811.278 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1554298811.278 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1554298811.278 * [misc]taylor: Taking taylor expansion of a in a 1554298811.278 * [misc]backup-simplify: Simplify 0 into 0 1554298811.278 * [misc]backup-simplify: Simplify 1 into 1 1554298811.278 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554298811.278 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1554298811.278 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1554298811.278 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in a 1554298811.278 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1554298811.278 * [misc]taylor: Taking taylor expansion of b in a 1554298811.278 * [misc]backup-simplify: Simplify b into b 1554298811.278 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1554298811.279 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1554298811.279 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1554298811.279 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1554298811.279 * [misc]taylor: Taking taylor expansion of a in a 1554298811.279 * [misc]backup-simplify: Simplify 0 into 0 1554298811.279 * [misc]backup-simplify: Simplify 1 into 1 1554298811.279 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554298811.279 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1554298811.279 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1554298811.279 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1554298811.279 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a 1554298811.279 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1554298811.279 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1554298811.279 * [misc]taylor: Taking taylor expansion of a in a 1554298811.279 * [misc]backup-simplify: Simplify 0 into 0 1554298811.279 * [misc]backup-simplify: Simplify 1 into 1 1554298811.280 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554298811.280 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1554298811.280 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1554298811.280 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in a 1554298811.280 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1554298811.280 * [misc]taylor: Taking taylor expansion of b in a 1554298811.280 * [misc]backup-simplify: Simplify b into b 1554298811.280 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1554298811.280 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1554298811.280 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1554298811.280 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1554298811.280 * [misc]taylor: Taking taylor expansion of a in a 1554298811.280 * [misc]backup-simplify: Simplify 0 into 0 1554298811.280 * [misc]backup-simplify: Simplify 1 into 1 1554298811.280 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554298811.280 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1554298811.280 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1554298811.280 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1554298811.281 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b 1554298811.281 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1554298811.281 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1554298811.281 * [misc]taylor: Taking taylor expansion of a in b 1554298811.281 * [misc]backup-simplify: Simplify a into a 1554298811.281 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1554298811.281 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1554298811.281 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1554298811.281 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in b 1554298811.281 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1554298811.281 * [misc]taylor: Taking taylor expansion of b in b 1554298811.281 * [misc]backup-simplify: Simplify 0 into 0 1554298811.281 * [misc]backup-simplify: Simplify 1 into 1 1554298811.281 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554298811.281 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1554298811.281 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1554298811.281 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1554298811.281 * [misc]taylor: Taking taylor expansion of a in b 1554298811.281 * [misc]backup-simplify: Simplify a into a 1554298811.281 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1554298811.282 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1554298811.282 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1554298811.282 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1554298811.282 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1554298811.282 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1554298811.283 * [misc]backup-simplify: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1554298811.284 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554298811.284 * [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 1554298811.284 * [misc]taylor: Taking taylor expansion of 0 in b 1554298811.284 * [misc]backup-simplify: Simplify 0 into 0 1554298811.284 * [misc]backup-simplify: Simplify 0 into 0 1554298811.284 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1554298811.285 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1554298811.286 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1554298811.287 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1554298811.287 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554298811.287 * [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 1554298811.287 * [misc]backup-simplify: Simplify 0 into 0 1554298811.287 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1554298811.289 * [misc]backup-simplify: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554298811.289 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554298811.290 * [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 1554298811.290 * [misc]taylor: Taking taylor expansion of 0 in b 1554298811.290 * [misc]backup-simplify: Simplify 0 into 0 1554298811.290 * [misc]backup-simplify: Simplify 0 into 0 1554298811.290 * [misc]backup-simplify: Simplify 0 into 0 1554298811.290 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1554298811.292 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554298811.292 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1554298811.294 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554298811.294 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554298811.295 * [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 1554298811.295 * [misc]backup-simplify: Simplify 0 into 0 1554298811.295 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 1554298811.299 * [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 1554298811.299 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554298811.300 * [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 1554298811.300 * [misc]taylor: Taking taylor expansion of 0 in b 1554298811.300 * [misc]backup-simplify: Simplify 0 into 0 1554298811.300 * [misc]backup-simplify: Simplify 0 into 0 1554298811.300 * [misc]backup-simplify: Simplify (/ (exp (/ 1 (/ 1 a))) (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a))))) into (/ (exp a) (+ (exp b) (exp a))) 1554298811.300 * [misc]backup-simplify: Simplify (/ (exp (/ 1 (- a))) (+ (exp (/ 1 (- a))) (exp (/ 1 (- b))))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1554298811.300 * [misc]approximate: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in (a b) around 0 1554298811.300 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b 1554298811.301 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1554298811.301 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1554298811.301 * [misc]taylor: Taking taylor expansion of -1 in b 1554298811.301 * [misc]backup-simplify: Simplify -1 into -1 1554298811.301 * [misc]taylor: Taking taylor expansion of a in b 1554298811.301 * [misc]backup-simplify: Simplify a into a 1554298811.301 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1554298811.301 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1554298811.301 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1554298811.301 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in b 1554298811.301 * [misc]taylor: Taking taylor expansion of (/ -1 b) in b 1554298811.301 * [misc]taylor: Taking taylor expansion of -1 in b 1554298811.301 * [misc]backup-simplify: Simplify -1 into -1 1554298811.301 * [misc]taylor: Taking taylor expansion of b in b 1554298811.301 * [misc]backup-simplify: Simplify 0 into 0 1554298811.301 * [misc]backup-simplify: Simplify 1 into 1 1554298811.301 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554298811.301 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1554298811.301 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1554298811.301 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1554298811.301 * [misc]taylor: Taking taylor expansion of -1 in b 1554298811.301 * [misc]backup-simplify: Simplify -1 into -1 1554298811.301 * [misc]taylor: Taking taylor expansion of a in b 1554298811.301 * [misc]backup-simplify: Simplify a into a 1554298811.301 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1554298811.302 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1554298811.302 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1554298811.302 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1554298811.302 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a 1554298811.302 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1554298811.302 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1554298811.302 * [misc]taylor: Taking taylor expansion of -1 in a 1554298811.302 * [misc]backup-simplify: Simplify -1 into -1 1554298811.302 * [misc]taylor: Taking taylor expansion of a in a 1554298811.302 * [misc]backup-simplify: Simplify 0 into 0 1554298811.302 * [misc]backup-simplify: Simplify 1 into 1 1554298811.302 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554298811.302 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1554298811.302 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1554298811.302 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in a 1554298811.302 * [misc]taylor: Taking taylor expansion of (/ -1 b) in a 1554298811.302 * [misc]taylor: Taking taylor expansion of -1 in a 1554298811.303 * [misc]backup-simplify: Simplify -1 into -1 1554298811.303 * [misc]taylor: Taking taylor expansion of b in a 1554298811.303 * [misc]backup-simplify: Simplify b into b 1554298811.303 * [misc]backup-simplify: Simplify (/ -1 b) into (/ -1 b) 1554298811.303 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1554298811.303 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1554298811.303 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1554298811.303 * [misc]taylor: Taking taylor expansion of -1 in a 1554298811.303 * [misc]backup-simplify: Simplify -1 into -1 1554298811.303 * [misc]taylor: Taking taylor expansion of a in a 1554298811.303 * [misc]backup-simplify: Simplify 0 into 0 1554298811.303 * [misc]backup-simplify: Simplify 1 into 1 1554298811.303 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554298811.303 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1554298811.303 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1554298811.303 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1554298811.303 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a 1554298811.303 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1554298811.304 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1554298811.304 * [misc]taylor: Taking taylor expansion of -1 in a 1554298811.304 * [misc]backup-simplify: Simplify -1 into -1 1554298811.304 * [misc]taylor: Taking taylor expansion of a in a 1554298811.304 * [misc]backup-simplify: Simplify 0 into 0 1554298811.304 * [misc]backup-simplify: Simplify 1 into 1 1554298811.304 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554298811.304 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1554298811.304 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1554298811.304 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in a 1554298811.304 * [misc]taylor: Taking taylor expansion of (/ -1 b) in a 1554298811.304 * [misc]taylor: Taking taylor expansion of -1 in a 1554298811.304 * [misc]backup-simplify: Simplify -1 into -1 1554298811.304 * [misc]taylor: Taking taylor expansion of b in a 1554298811.304 * [misc]backup-simplify: Simplify b into b 1554298811.304 * [misc]backup-simplify: Simplify (/ -1 b) into (/ -1 b) 1554298811.304 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1554298811.304 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1554298811.304 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1554298811.304 * [misc]taylor: Taking taylor expansion of -1 in a 1554298811.304 * [misc]backup-simplify: Simplify -1 into -1 1554298811.304 * [misc]taylor: Taking taylor expansion of a in a 1554298811.304 * [misc]backup-simplify: Simplify 0 into 0 1554298811.304 * [misc]backup-simplify: Simplify 1 into 1 1554298811.305 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554298811.305 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1554298811.305 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1554298811.305 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1554298811.305 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b 1554298811.305 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1554298811.305 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1554298811.305 * [misc]taylor: Taking taylor expansion of -1 in b 1554298811.305 * [misc]backup-simplify: Simplify -1 into -1 1554298811.305 * [misc]taylor: Taking taylor expansion of a in b 1554298811.305 * [misc]backup-simplify: Simplify a into a 1554298811.305 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1554298811.305 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1554298811.305 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1554298811.305 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in b 1554298811.305 * [misc]taylor: Taking taylor expansion of (/ -1 b) in b 1554298811.305 * [misc]taylor: Taking taylor expansion of -1 in b 1554298811.306 * [misc]backup-simplify: Simplify -1 into -1 1554298811.306 * [misc]taylor: Taking taylor expansion of b in b 1554298811.306 * [misc]backup-simplify: Simplify 0 into 0 1554298811.306 * [misc]backup-simplify: Simplify 1 into 1 1554298811.306 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554298811.306 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1554298811.306 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1554298811.306 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1554298811.306 * [misc]taylor: Taking taylor expansion of -1 in b 1554298811.306 * [misc]backup-simplify: Simplify -1 into -1 1554298811.306 * [misc]taylor: Taking taylor expansion of a in b 1554298811.306 * [misc]backup-simplify: Simplify a into a 1554298811.306 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1554298811.306 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1554298811.306 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1554298811.306 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1554298811.307 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1554298811.307 * [misc]backup-simplify: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0 1554298811.308 * [misc]backup-simplify: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1554298811.308 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554298811.309 * [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 1554298811.309 * [misc]taylor: Taking taylor expansion of 0 in b 1554298811.309 * [misc]backup-simplify: Simplify 0 into 0 1554298811.309 * [misc]backup-simplify: Simplify 0 into 0 1554298811.309 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1554298811.310 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1554298811.310 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1554298811.311 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1554298811.311 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554298811.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))))))) into 0 1554298811.312 * [misc]backup-simplify: Simplify 0 into 0 1554298811.312 * [misc]backup-simplify: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1554298811.314 * [misc]backup-simplify: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554298811.314 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554298811.315 * [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 1554298811.315 * [misc]taylor: Taking taylor expansion of 0 in b 1554298811.315 * [misc]backup-simplify: Simplify 0 into 0 1554298811.315 * [misc]backup-simplify: Simplify 0 into 0 1554298811.315 * [misc]backup-simplify: Simplify 0 into 0 1554298811.315 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1554298811.317 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554298811.317 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1554298811.319 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554298811.319 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554298811.319 * [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 1554298811.320 * [misc]backup-simplify: Simplify 0 into 0 1554298811.320 * [misc]backup-simplify: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 1554298811.323 * [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 1554298811.323 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554298811.324 * [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 1554298811.324 * [misc]taylor: Taking taylor expansion of 0 in b 1554298811.324 * [misc]backup-simplify: Simplify 0 into 0 1554298811.324 * [misc]backup-simplify: Simplify 0 into 0 1554298811.324 * [misc]backup-simplify: Simplify (/ (exp (/ -1 (/ 1 (- a)))) (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a)))))) into (/ (exp a) (+ (exp b) (exp a))) 1554298811.324 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) 1554298811.325 * [misc]backup-simplify: Simplify (+ (exp a) (exp b)) into (+ (exp a) (exp b)) 1554298811.325 * [misc]approximate: Taking taylor expansion of (+ (exp a) (exp b)) in (a b) around 0 1554298811.325 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp b)) in b 1554298811.325 * [misc]taylor: Taking taylor expansion of (exp a) in b 1554298811.325 * [misc]taylor: Taking taylor expansion of a in b 1554298811.325 * [misc]backup-simplify: Simplify a into a 1554298811.325 * [misc]backup-simplify: Simplify (exp a) into (exp a) 1554298811.325 * [misc]taylor: Taking taylor expansion of (exp b) in b 1554298811.325 * [misc]taylor: Taking taylor expansion of b in b 1554298811.325 * [misc]backup-simplify: Simplify 0 into 0 1554298811.325 * [misc]backup-simplify: Simplify 1 into 1 1554298811.325 * [misc]backup-simplify: Simplify (exp 0) into 1 1554298811.325 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp b)) in a 1554298811.325 * [misc]taylor: Taking taylor expansion of (exp a) in a 1554298811.325 * [misc]taylor: Taking taylor expansion of a in a 1554298811.325 * [misc]backup-simplify: Simplify 0 into 0 1554298811.325 * [misc]backup-simplify: Simplify 1 into 1 1554298811.325 * [misc]backup-simplify: Simplify (exp 0) into 1 1554298811.325 * [misc]taylor: Taking taylor expansion of (exp b) in a 1554298811.325 * [misc]taylor: Taking taylor expansion of b in a 1554298811.325 * [misc]backup-simplify: Simplify b into b 1554298811.325 * [misc]backup-simplify: Simplify (exp b) into (exp b) 1554298811.325 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp b)) in a 1554298811.325 * [misc]taylor: Taking taylor expansion of (exp a) in a 1554298811.325 * [misc]taylor: Taking taylor expansion of a in a 1554298811.325 * [misc]backup-simplify: Simplify 0 into 0 1554298811.325 * [misc]backup-simplify: Simplify 1 into 1 1554298811.325 * [misc]backup-simplify: Simplify (exp 0) into 1 1554298811.325 * [misc]taylor: Taking taylor expansion of (exp b) in a 1554298811.325 * [misc]taylor: Taking taylor expansion of b in a 1554298811.325 * [misc]backup-simplify: Simplify b into b 1554298811.325 * [misc]backup-simplify: Simplify (exp b) into (exp b) 1554298811.326 * [misc]backup-simplify: Simplify (+ 1 (exp b)) into (+ (exp b) 1) 1554298811.326 * [misc]taylor: Taking taylor expansion of (+ (exp b) 1) in b 1554298811.326 * [misc]taylor: Taking taylor expansion of (exp b) in b 1554298811.326 * [misc]taylor: Taking taylor expansion of b in b 1554298811.326 * [misc]backup-simplify: Simplify 0 into 0 1554298811.326 * [misc]backup-simplify: Simplify 1 into 1 1554298811.326 * [misc]backup-simplify: Simplify (exp 0) into 1 1554298811.326 * [misc]taylor: Taking taylor expansion of 1 in b 1554298811.326 * [misc]backup-simplify: Simplify 1 into 1 1554298811.326 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1554298811.326 * [misc]backup-simplify: Simplify 2 into 2 1554298811.328 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554298811.328 * [misc]backup-simplify: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0 1554298811.329 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554298811.329 * [misc]taylor: Taking taylor expansion of 1 in b 1554298811.329 * [misc]backup-simplify: Simplify 1 into 1 1554298811.329 * [misc]backup-simplify: Simplify 1 into 1 1554298811.330 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554298811.330 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554298811.330 * [misc]backup-simplify: Simplify 1 into 1 1554298811.330 * [misc]backup-simplify: Simplify (+ (* 1 (* b 1)) (+ (* 1 (* 1 a)) 2)) into (+ a (+ b 2)) 1554298811.331 * [misc]backup-simplify: Simplify (+ (exp (/ 1 a)) (exp (/ 1 b))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1554298811.331 * [misc]approximate: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in (a b) around 0 1554298811.331 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1554298811.331 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in b 1554298811.331 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1554298811.331 * [misc]taylor: Taking taylor expansion of b in b 1554298811.331 * [misc]backup-simplify: Simplify 0 into 0 1554298811.331 * [misc]backup-simplify: Simplify 1 into 1 1554298811.331 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554298811.331 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1554298811.331 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1554298811.331 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1554298811.331 * [misc]taylor: Taking taylor expansion of a in b 1554298811.331 * [misc]backup-simplify: Simplify a into a 1554298811.331 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1554298811.331 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1554298811.331 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1554298811.331 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in a 1554298811.331 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1554298811.331 * [misc]taylor: Taking taylor expansion of b in a 1554298811.331 * [misc]backup-simplify: Simplify b into b 1554298811.332 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1554298811.332 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1554298811.332 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1554298811.332 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1554298811.332 * [misc]taylor: Taking taylor expansion of a in a 1554298811.332 * [misc]backup-simplify: Simplify 0 into 0 1554298811.332 * [misc]backup-simplify: Simplify 1 into 1 1554298811.332 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554298811.332 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1554298811.332 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1554298811.332 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in a 1554298811.332 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1554298811.332 * [misc]taylor: Taking taylor expansion of b in a 1554298811.332 * [misc]backup-simplify: Simplify b into b 1554298811.332 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1554298811.332 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1554298811.332 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1554298811.332 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1554298811.332 * [misc]taylor: Taking taylor expansion of a in a 1554298811.332 * [misc]backup-simplify: Simplify 0 into 0 1554298811.332 * [misc]backup-simplify: Simplify 1 into 1 1554298811.332 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554298811.333 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1554298811.333 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1554298811.333 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1554298811.333 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in b 1554298811.333 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1554298811.333 * [misc]taylor: Taking taylor expansion of b in b 1554298811.333 * [misc]backup-simplify: Simplify 0 into 0 1554298811.333 * [misc]backup-simplify: Simplify 1 into 1 1554298811.333 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554298811.333 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1554298811.333 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1554298811.333 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1554298811.333 * [misc]taylor: Taking taylor expansion of a in b 1554298811.333 * [misc]backup-simplify: Simplify a into a 1554298811.333 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1554298811.333 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1554298811.334 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1554298811.334 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1554298811.334 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1554298811.335 * [misc]backup-simplify: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1554298811.335 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554298811.335 * [misc]taylor: Taking taylor expansion of 0 in b 1554298811.335 * [misc]backup-simplify: Simplify 0 into 0 1554298811.335 * [misc]backup-simplify: Simplify 0 into 0 1554298811.336 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1554298811.337 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1554298811.337 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554298811.337 * [misc]backup-simplify: Simplify 0 into 0 1554298811.337 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1554298811.339 * [misc]backup-simplify: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554298811.339 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554298811.339 * [misc]taylor: Taking taylor expansion of 0 in b 1554298811.339 * [misc]backup-simplify: Simplify 0 into 0 1554298811.339 * [misc]backup-simplify: Simplify 0 into 0 1554298811.339 * [misc]backup-simplify: Simplify 0 into 0 1554298811.339 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1554298811.342 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554298811.342 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554298811.342 * [misc]backup-simplify: Simplify 0 into 0 1554298811.342 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 1554298811.351 * [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 1554298811.351 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554298811.351 * [misc]taylor: Taking taylor expansion of 0 in b 1554298811.351 * [misc]backup-simplify: Simplify 0 into 0 1554298811.351 * [misc]backup-simplify: Simplify 0 into 0 1554298811.351 * [misc]backup-simplify: Simplify (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a)))) into (+ (exp b) (exp a)) 1554298811.352 * [misc]backup-simplify: Simplify (+ (exp (/ 1 (- a))) (exp (/ 1 (- b)))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1554298811.352 * [misc]approximate: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in (a b) around 0 1554298811.352 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1554298811.352 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in b 1554298811.352 * [misc]taylor: Taking taylor expansion of (/ -1 b) in b 1554298811.352 * [misc]taylor: Taking taylor expansion of -1 in b 1554298811.352 * [misc]backup-simplify: Simplify -1 into -1 1554298811.352 * [misc]taylor: Taking taylor expansion of b in b 1554298811.352 * [misc]backup-simplify: Simplify 0 into 0 1554298811.352 * [misc]backup-simplify: Simplify 1 into 1 1554298811.352 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554298811.352 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1554298811.352 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1554298811.352 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1554298811.352 * [misc]taylor: Taking taylor expansion of -1 in b 1554298811.352 * [misc]backup-simplify: Simplify -1 into -1 1554298811.352 * [misc]taylor: Taking taylor expansion of a in b 1554298811.352 * [misc]backup-simplify: Simplify a into a 1554298811.352 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1554298811.352 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1554298811.353 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1554298811.353 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in a 1554298811.353 * [misc]taylor: Taking taylor expansion of (/ -1 b) in a 1554298811.353 * [misc]taylor: Taking taylor expansion of -1 in a 1554298811.353 * [misc]backup-simplify: Simplify -1 into -1 1554298811.353 * [misc]taylor: Taking taylor expansion of b in a 1554298811.353 * [misc]backup-simplify: Simplify b into b 1554298811.353 * [misc]backup-simplify: Simplify (/ -1 b) into (/ -1 b) 1554298811.353 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1554298811.353 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1554298811.353 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1554298811.353 * [misc]taylor: Taking taylor expansion of -1 in a 1554298811.353 * [misc]backup-simplify: Simplify -1 into -1 1554298811.353 * [misc]taylor: Taking taylor expansion of a in a 1554298811.353 * [misc]backup-simplify: Simplify 0 into 0 1554298811.353 * [misc]backup-simplify: Simplify 1 into 1 1554298811.353 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554298811.353 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1554298811.353 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1554298811.353 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in a 1554298811.353 * [misc]taylor: Taking taylor expansion of (/ -1 b) in a 1554298811.353 * [misc]taylor: Taking taylor expansion of -1 in a 1554298811.353 * [misc]backup-simplify: Simplify -1 into -1 1554298811.353 * [misc]taylor: Taking taylor expansion of b in a 1554298811.353 * [misc]backup-simplify: Simplify b into b 1554298811.353 * [misc]backup-simplify: Simplify (/ -1 b) into (/ -1 b) 1554298811.353 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1554298811.354 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1554298811.354 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1554298811.354 * [misc]taylor: Taking taylor expansion of -1 in a 1554298811.354 * [misc]backup-simplify: Simplify -1 into -1 1554298811.354 * [misc]taylor: Taking taylor expansion of a in a 1554298811.354 * [misc]backup-simplify: Simplify 0 into 0 1554298811.354 * [misc]backup-simplify: Simplify 1 into 1 1554298811.354 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554298811.354 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1554298811.354 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1554298811.354 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1554298811.354 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in b 1554298811.354 * [misc]taylor: Taking taylor expansion of (/ -1 b) in b 1554298811.354 * [misc]taylor: Taking taylor expansion of -1 in b 1554298811.354 * [misc]backup-simplify: Simplify -1 into -1 1554298811.354 * [misc]taylor: Taking taylor expansion of b in b 1554298811.354 * [misc]backup-simplify: Simplify 0 into 0 1554298811.354 * [misc]backup-simplify: Simplify 1 into 1 1554298811.355 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554298811.355 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1554298811.355 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1554298811.355 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1554298811.355 * [misc]taylor: Taking taylor expansion of -1 in b 1554298811.355 * [misc]backup-simplify: Simplify -1 into -1 1554298811.355 * [misc]taylor: Taking taylor expansion of a in b 1554298811.355 * [misc]backup-simplify: Simplify a into a 1554298811.355 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1554298811.355 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1554298811.355 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1554298811.355 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1554298811.355 * [misc]backup-simplify: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0 1554298811.357 * [misc]backup-simplify: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1554298811.357 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554298811.357 * [misc]taylor: Taking taylor expansion of 0 in b 1554298811.357 * [misc]backup-simplify: Simplify 0 into 0 1554298811.357 * [misc]backup-simplify: Simplify 0 into 0 1554298811.357 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1554298811.358 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1554298811.358 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554298811.358 * [misc]backup-simplify: Simplify 0 into 0 1554298811.359 * [misc]backup-simplify: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1554298811.360 * [misc]backup-simplify: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554298811.361 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554298811.361 * [misc]taylor: Taking taylor expansion of 0 in b 1554298811.361 * [misc]backup-simplify: Simplify 0 into 0 1554298811.361 * [misc]backup-simplify: Simplify 0 into 0 1554298811.361 * [misc]backup-simplify: Simplify 0 into 0 1554298811.361 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1554298811.363 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554298811.363 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554298811.363 * [misc]backup-simplify: Simplify 0 into 0 1554298811.363 * [misc]backup-simplify: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 1554298811.366 * [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 1554298811.367 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554298811.367 * [misc]taylor: Taking taylor expansion of 0 in b 1554298811.367 * [misc]backup-simplify: Simplify 0 into 0 1554298811.367 * [misc]backup-simplify: Simplify 0 into 0 1554298811.367 * [misc]backup-simplify: Simplify (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a))))) into (+ (exp b) (exp a)) 1554298811.367 * * * [misc]progress: simplifying candidates 1554298811.367 * * * * [misc]progress: [ 1 / 53 ] simplifiying candidate # 1554298811.367 * * * * [misc]progress: [ 2 / 53 ] simplifiying candidate # 1554298811.367 * [enter]simplify: Simplifying (- a (log (+ (exp a) (exp b)))) 1554298811.368 * * [misc]simplify: iters left: 6 (7 enodes) 1554298811.370 * * [misc]simplify: iters left: 5 (24 enodes) 1554298811.377 * * [misc]simplify: iters left: 4 (27 enodes) 1554298811.383 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298811.383 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554298811.383 * * [misc]simplify: Extracting #2: cost 7 inf + 1 1554298811.384 * * [misc]simplify: Extracting #3: cost 10 inf + 1 1554298811.384 * * [misc]simplify: Extracting #4: cost 12 inf + 72 1554298811.384 * * [misc]simplify: Extracting #5: cost 8 inf + 286 1554298811.384 * * [misc]simplify: Extracting #6: cost 3 inf + 1486 1554298811.384 * * [misc]simplify: Extracting #7: cost 1 inf + 2030 1554298811.385 * * [misc]simplify: Extracting #8: cost 0 inf + 2322 1554298811.386 * [exit]simplify: Simplified to (- a (log (+ (exp a) (exp b)))) 1554298811.386 * [misc]simplify: Simplified (2 1) to (λ (a b) (exp (- a (log (+ (exp a) (exp b)))))) 1554298811.386 * * * * [misc]progress: [ 3 / 53 ] simplifiying candidate # 1554298811.386 * * * * [misc]progress: [ 4 / 53 ] simplifiying candidate # 1554298811.386 * * * * [misc]progress: [ 5 / 53 ] simplifiying candidate # 1554298811.386 * [enter]simplify: Simplifying (/ (* (* (exp a) (exp a)) (exp a)) (* (* (+ (exp a) (exp b)) (+ (exp a) (exp b))) (+ (exp a) (exp b)))) 1554298811.386 * * [misc]simplify: iters left: 6 (10 enodes) 1554298811.391 * * [misc]simplify: iters left: 5 (54 enodes) 1554298811.408 * * [misc]simplify: iters left: 4 (167 enodes) 1554298811.449 * * [misc]simplify: iters left: 3 (409 enodes) 1554298811.609 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298811.609 * * [misc]simplify: Extracting #1: cost 25 inf + 0 1554298811.610 * * [misc]simplify: Extracting #2: cost 102 inf + 1 1554298811.615 * * [misc]simplify: Extracting #3: cost 195 inf + 557 1554298811.619 * * [misc]simplify: Extracting #4: cost 147 inf + 11617 1554298811.638 * * [misc]simplify: Extracting #5: cost 17 inf + 49211 1554298811.662 * * [misc]simplify: Extracting #6: cost 0 inf + 54415 1554298811.675 * * [misc]simplify: Extracting #7: cost 0 inf + 54375 1554298811.688 * [exit]simplify: Simplified to (* (/ (exp a) (+ (exp a) (exp b))) (* (/ (exp a) (+ (exp a) (exp b))) (/ (exp a) (+ (exp a) (exp b))))) 1554298811.688 * [misc]simplify: Simplified (2 1) to (λ (a b) (cbrt (* (/ (exp a) (+ (exp a) (exp b))) (* (/ (exp a) (+ (exp a) (exp b))) (/ (exp a) (+ (exp a) (exp b))))))) 1554298811.688 * * * * [misc]progress: [ 6 / 53 ] simplifiying candidate # 1554298811.688 * * * * [misc]progress: [ 7 / 53 ] simplifiying candidate # 1554298811.688 * * * * [misc]progress: [ 8 / 53 ] simplifiying candidate # 1554298811.688 * * * * [misc]progress: [ 9 / 53 ] simplifiying candidate # 1554298811.688 * * * * [misc]progress: [ 10 / 53 ] simplifiying candidate # 1554298811.688 * [enter]simplify: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) 1554298811.688 * * [misc]simplify: iters left: 6 (10 enodes) 1554298811.691 * * [misc]simplify: iters left: 5 (37 enodes) 1554298811.696 * * [misc]simplify: iters left: 4 (52 enodes) 1554298811.703 * * [misc]simplify: iters left: 3 (59 enodes) 1554298811.715 * * [misc]simplify: iters left: 2 (62 enodes) 1554298811.732 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298811.732 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1554298811.732 * * [misc]simplify: Extracting #2: cost 22 inf + 0 1554298811.733 * * [misc]simplify: Extracting #3: cost 26 inf + 0 1554298811.733 * * [misc]simplify: Extracting #4: cost 26 inf + 72 1554298811.733 * * [misc]simplify: Extracting #5: cost 18 inf + 970 1554298811.734 * * [misc]simplify: Extracting #6: cost 8 inf + 4310 1554298811.736 * * [misc]simplify: Extracting #7: cost 0 inf + 7366 1554298811.737 * [exit]simplify: Simplified to (* (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))) (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b))))) 1554298811.738 * [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)))))) 1554298811.738 * [enter]simplify: Simplifying (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))) 1554298811.738 * * [misc]simplify: iters left: 6 (8 enodes) 1554298811.741 * * [misc]simplify: iters left: 5 (25 enodes) 1554298811.747 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298811.747 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554298811.747 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554298811.747 * * [misc]simplify: Extracting #3: cost 12 inf + 0 1554298811.747 * * [misc]simplify: Extracting #4: cost 13 inf + 1 1554298811.747 * * [misc]simplify: Extracting #5: cost 11 inf + 73 1554298811.747 * * [misc]simplify: Extracting #6: cost 5 inf + 770 1554298811.748 * * [misc]simplify: Extracting #7: cost 1 inf + 1858 1554298811.748 * * [misc]simplify: Extracting #8: cost 0 inf + 2240 1554298811.748 * [exit]simplify: Simplified to (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))) 1554298811.748 * [misc]simplify: Simplified (2 2) 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)))))) 1554298811.749 * * * * [misc]progress: [ 11 / 53 ] simplifiying candidate # 1554298811.749 * [enter]simplify: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ (exp a) (exp b)))) 1554298811.749 * * [misc]simplify: iters left: 6 (9 enodes) 1554298811.753 * * [misc]simplify: iters left: 5 (30 enodes) 1554298811.761 * * [misc]simplify: iters left: 4 (34 enodes) 1554298811.770 * * [misc]simplify: iters left: 3 (37 enodes) 1554298811.780 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298811.780 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1554298811.780 * * [misc]simplify: Extracting #2: cost 14 inf + 0 1554298811.780 * * [misc]simplify: Extracting #3: cost 18 inf + 0 1554298811.780 * * [misc]simplify: Extracting #4: cost 17 inf + 143 1554298811.780 * * [misc]simplify: Extracting #5: cost 11 inf + 899 1554298811.781 * * [misc]simplify: Extracting #6: cost 4 inf + 2582 1554298811.781 * * [misc]simplify: Extracting #7: cost 0 inf + 3910 1554298811.782 * [exit]simplify: Simplified to (/ (cbrt (exp a)) (/ (sqrt (+ (exp a) (exp b))) (cbrt (exp a)))) 1554298811.782 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ (cbrt (exp a)) (/ (sqrt (+ (exp a) (exp b))) (cbrt (exp a)))) (/ (cbrt (exp a)) (sqrt (+ (exp a) (exp b)))))) 1554298811.783 * [enter]simplify: Simplifying (/ (cbrt (exp a)) (sqrt (+ (exp a) (exp b)))) 1554298811.783 * * [misc]simplify: iters left: 6 (8 enodes) 1554298811.786 * * [misc]simplify: iters left: 5 (25 enodes) 1554298811.792 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298811.792 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554298811.792 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554298811.792 * * [misc]simplify: Extracting #3: cost 12 inf + 0 1554298811.792 * * [misc]simplify: Extracting #4: cost 13 inf + 1 1554298811.793 * * [misc]simplify: Extracting #5: cost 11 inf + 73 1554298811.793 * * [misc]simplify: Extracting #6: cost 5 inf + 770 1554298811.793 * * [misc]simplify: Extracting #7: cost 1 inf + 1738 1554298811.794 * * [misc]simplify: Extracting #8: cost 0 inf + 2080 1554298811.794 * [exit]simplify: Simplified to (/ (cbrt (exp a)) (sqrt (+ (exp a) (exp b)))) 1554298811.794 * [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)))))) 1554298811.794 * * * * [misc]progress: [ 12 / 53 ] simplifiying candidate # 1554298811.795 * [enter]simplify: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) 1) 1554298811.795 * * [misc]simplify: iters left: 6 (6 enodes) 1554298811.798 * * [misc]simplify: iters left: 5 (20 enodes) 1554298811.804 * * [misc]simplify: iters left: 4 (30 enodes) 1554298811.813 * * [misc]simplify: iters left: 3 (31 enodes) 1554298811.821 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298811.821 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554298811.821 * * [misc]simplify: Extracting #2: cost 7 inf + 1 1554298811.821 * * [misc]simplify: Extracting #3: cost 9 inf + 1 1554298811.821 * * [misc]simplify: Extracting #4: cost 8 inf + 2 1554298811.821 * * [misc]simplify: Extracting #5: cost 0 inf + 1212 1554298811.821 * [exit]simplify: Simplified to (* (cbrt (exp a)) (cbrt (exp a))) 1554298811.822 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))))) 1554298811.822 * [enter]simplify: Simplifying (/ (cbrt (exp a)) (+ (exp a) (exp b))) 1554298811.822 * * [misc]simplify: iters left: 5 (7 enodes) 1554298811.825 * * [misc]simplify: iters left: 4 (22 enodes) 1554298811.831 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298811.831 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554298811.831 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554298811.831 * * [misc]simplify: Extracting #3: cost 12 inf + 0 1554298811.831 * * [misc]simplify: Extracting #4: cost 10 inf + 2 1554298811.831 * * [misc]simplify: Extracting #5: cost 4 inf + 650 1554298811.831 * * [misc]simplify: Extracting #6: cost 1 inf + 1254 1554298811.832 * * [misc]simplify: Extracting #7: cost 0 inf + 1556 1554298811.832 * [exit]simplify: Simplified to (/ (cbrt (exp a)) (+ (exp a) (exp b))) 1554298811.832 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))))) 1554298811.832 * * * * [misc]progress: [ 13 / 53 ] simplifiying candidate # 1554298811.833 * [enter]simplify: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) 1) 1554298811.833 * * [misc]simplify: iters left: 6 (6 enodes) 1554298811.836 * * [misc]simplify: iters left: 5 (20 enodes) 1554298811.843 * * [misc]simplify: iters left: 4 (30 enodes) 1554298811.852 * * [misc]simplify: iters left: 3 (31 enodes) 1554298811.859 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298811.859 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554298811.859 * * [misc]simplify: Extracting #2: cost 7 inf + 1 1554298811.859 * * [misc]simplify: Extracting #3: cost 9 inf + 1 1554298811.859 * * [misc]simplify: Extracting #4: cost 8 inf + 2 1554298811.859 * * [misc]simplify: Extracting #5: cost 0 inf + 1212 1554298811.859 * [exit]simplify: Simplified to (* (cbrt (exp a)) (cbrt (exp a))) 1554298811.859 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))))) 1554298811.860 * [enter]simplify: Simplifying (/ (cbrt (exp a)) (+ (exp a) (exp b))) 1554298811.860 * * [misc]simplify: iters left: 5 (7 enodes) 1554298811.861 * * [misc]simplify: iters left: 4 (22 enodes) 1554298811.864 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298811.864 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554298811.864 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554298811.864 * * [misc]simplify: Extracting #3: cost 12 inf + 0 1554298811.864 * * [misc]simplify: Extracting #4: cost 10 inf + 2 1554298811.864 * * [misc]simplify: Extracting #5: cost 4 inf + 650 1554298811.864 * * [misc]simplify: Extracting #6: cost 1 inf + 1254 1554298811.864 * * [misc]simplify: Extracting #7: cost 0 inf + 1556 1554298811.865 * [exit]simplify: Simplified to (/ (cbrt (exp a)) (+ (exp a) (exp b))) 1554298811.865 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))))) 1554298811.865 * * * * [misc]progress: [ 14 / 53 ] simplifiying candidate # 1554298811.865 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) 1554298811.865 * * [misc]simplify: iters left: 6 (9 enodes) 1554298811.867 * * [misc]simplify: iters left: 5 (30 enodes) 1554298811.873 * * [misc]simplify: iters left: 4 (32 enodes) 1554298811.878 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298811.878 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554298811.878 * * [misc]simplify: Extracting #2: cost 12 inf + 0 1554298811.878 * * [misc]simplify: Extracting #3: cost 16 inf + 0 1554298811.878 * * [misc]simplify: Extracting #4: cost 17 inf + 1 1554298811.878 * * [misc]simplify: Extracting #5: cost 14 inf + 144 1554298811.878 * * [misc]simplify: Extracting #6: cost 10 inf + 619 1554298811.879 * * [misc]simplify: Extracting #7: cost 4 inf + 2120 1554298811.879 * * [misc]simplify: Extracting #8: cost 0 inf + 3448 1554298811.879 * [exit]simplify: Simplified to (/ (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))) (cbrt (+ (exp a) (exp b)))) 1554298811.880 * [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)))))) 1554298811.880 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))) 1554298811.880 * * [misc]simplify: iters left: 6 (8 enodes) 1554298811.882 * * [misc]simplify: iters left: 5 (25 enodes) 1554298811.885 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298811.885 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554298811.885 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554298811.885 * * [misc]simplify: Extracting #3: cost 12 inf + 0 1554298811.885 * * [misc]simplify: Extracting #4: cost 13 inf + 1 1554298811.885 * * [misc]simplify: Extracting #5: cost 11 inf + 73 1554298811.885 * * [misc]simplify: Extracting #6: cost 5 inf + 690 1554298811.885 * * [misc]simplify: Extracting #7: cost 1 inf + 1738 1554298811.885 * * [misc]simplify: Extracting #8: cost 0 inf + 2080 1554298811.886 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))) 1554298811.886 * [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)))))) 1554298811.886 * * * * [misc]progress: [ 15 / 53 ] simplifiying candidate # 1554298811.886 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) 1554298811.886 * * [misc]simplify: iters left: 6 (8 enodes) 1554298811.888 * * [misc]simplify: iters left: 5 (25 enodes) 1554298811.891 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298811.891 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554298811.891 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554298811.891 * * [misc]simplify: Extracting #3: cost 12 inf + 0 1554298811.891 * * [misc]simplify: Extracting #4: cost 13 inf + 1 1554298811.891 * * [misc]simplify: Extracting #5: cost 11 inf + 73 1554298811.891 * * [misc]simplify: Extracting #6: cost 5 inf + 690 1554298811.892 * * [misc]simplify: Extracting #7: cost 1 inf + 1618 1554298811.892 * * [misc]simplify: Extracting #8: cost 0 inf + 1920 1554298811.892 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) 1554298811.892 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))))) 1554298811.892 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) 1554298811.893 * * [misc]simplify: iters left: 6 (8 enodes) 1554298811.894 * * [misc]simplify: iters left: 5 (25 enodes) 1554298811.897 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298811.897 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554298811.897 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554298811.897 * * [misc]simplify: Extracting #3: cost 12 inf + 0 1554298811.897 * * [misc]simplify: Extracting #4: cost 13 inf + 1 1554298811.897 * * [misc]simplify: Extracting #5: cost 11 inf + 73 1554298811.898 * * [misc]simplify: Extracting #6: cost 5 inf + 690 1554298811.898 * * [misc]simplify: Extracting #7: cost 1 inf + 1618 1554298811.898 * * [misc]simplify: Extracting #8: cost 0 inf + 1920 1554298811.898 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) 1554298811.898 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))))) 1554298811.898 * * * * [misc]progress: [ 16 / 53 ] simplifiying candidate # 1554298811.899 * [enter]simplify: Simplifying (/ (sqrt (exp a)) 1) 1554298811.899 * * [misc]simplify: iters left: 4 (5 enodes) 1554298811.900 * * [misc]simplify: iters left: 3 (15 enodes) 1554298811.904 * * [misc]simplify: iters left: 2 (17 enodes) 1554298811.909 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298811.909 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554298811.909 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1554298811.909 * * [misc]simplify: Extracting #3: cost 4 inf + 2 1554298811.909 * * [misc]simplify: Extracting #4: cost 1 inf + 255 1554298811.909 * * [misc]simplify: Extracting #5: cost 0 inf + 366 1554298811.909 * [exit]simplify: Simplified to (sqrt (exp a)) 1554298811.909 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp a) (exp b))))) 1554298811.910 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (+ (exp a) (exp b))) 1554298811.910 * * [misc]simplify: iters left: 5 (7 enodes) 1554298811.913 * * [misc]simplify: iters left: 4 (22 enodes) 1554298811.918 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298811.918 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554298811.918 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554298811.918 * * [misc]simplify: Extracting #3: cost 12 inf + 0 1554298811.918 * * [misc]simplify: Extracting #4: cost 10 inf + 2 1554298811.919 * * [misc]simplify: Extracting #5: cost 4 inf + 650 1554298811.919 * * [misc]simplify: Extracting #6: cost 1 inf + 1134 1554298811.919 * * [misc]simplify: Extracting #7: cost 0 inf + 1396 1554298811.920 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (+ (exp a) (exp b))) 1554298811.920 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp a) (exp b))))) 1554298811.920 * * * * [misc]progress: [ 17 / 53 ] simplifiying candidate # 1554298811.920 * [enter]simplify: Simplifying (/ (sqrt (exp a)) 1) 1554298811.921 * * [misc]simplify: iters left: 4 (5 enodes) 1554298811.923 * * [misc]simplify: iters left: 3 (15 enodes) 1554298811.928 * * [misc]simplify: iters left: 2 (17 enodes) 1554298811.932 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298811.933 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554298811.933 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1554298811.933 * * [misc]simplify: Extracting #3: cost 4 inf + 2 1554298811.933 * * [misc]simplify: Extracting #4: cost 1 inf + 255 1554298811.933 * * [misc]simplify: Extracting #5: cost 0 inf + 366 1554298811.933 * [exit]simplify: Simplified to (sqrt (exp a)) 1554298811.933 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp a) (exp b))))) 1554298811.933 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (+ (exp a) (exp b))) 1554298811.934 * * [misc]simplify: iters left: 5 (7 enodes) 1554298811.936 * * [misc]simplify: iters left: 4 (22 enodes) 1554298811.942 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298811.942 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554298811.942 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554298811.942 * * [misc]simplify: Extracting #3: cost 12 inf + 0 1554298811.942 * * [misc]simplify: Extracting #4: cost 10 inf + 2 1554298811.943 * * [misc]simplify: Extracting #5: cost 4 inf + 650 1554298811.943 * * [misc]simplify: Extracting #6: cost 1 inf + 1134 1554298811.943 * * [misc]simplify: Extracting #7: cost 0 inf + 1396 1554298811.944 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (+ (exp a) (exp b))) 1554298811.944 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp a) (exp b))))) 1554298811.944 * * * * [misc]progress: [ 18 / 53 ] simplifiying candidate # 1554298811.944 * [enter]simplify: Simplifying (/ 1 (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) 1554298811.944 * * [misc]simplify: iters left: 6 (9 enodes) 1554298811.949 * * [misc]simplify: iters left: 5 (32 enodes) 1554298811.958 * * [misc]simplify: iters left: 4 (36 enodes) 1554298811.968 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298811.968 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554298811.968 * * [misc]simplify: Extracting #2: cost 9 inf + 1 1554298811.968 * * [misc]simplify: Extracting #3: cost 12 inf + 1 1554298811.968 * * [misc]simplify: Extracting #4: cost 16 inf + 1 1554298811.969 * * [misc]simplify: Extracting #5: cost 14 inf + 3 1554298811.969 * * [misc]simplify: Extracting #6: cost 10 inf + 398 1554298811.969 * * [misc]simplify: Extracting #7: cost 3 inf + 2083 1554298811.970 * * [misc]simplify: Extracting #8: cost 0 inf + 3071 1554298811.971 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (+ (exp a) (exp b)))) (cbrt (+ (exp a) (exp b)))) 1554298811.971 * [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)))))) 1554298811.971 * [enter]simplify: Simplifying (/ (exp a) (cbrt (+ (exp a) (exp b)))) 1554298811.971 * * [misc]simplify: iters left: 6 (7 enodes) 1554298811.974 * * [misc]simplify: iters left: 5 (22 enodes) 1554298811.979 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298811.979 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554298811.980 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554298811.980 * * [misc]simplify: Extracting #3: cost 9 inf + 1 1554298811.980 * * [misc]simplify: Extracting #4: cost 9 inf + 143 1554298811.980 * * [misc]simplify: Extracting #5: cost 8 inf + 144 1554298811.980 * * [misc]simplify: Extracting #6: cost 1 inf + 1476 1554298811.981 * * [misc]simplify: Extracting #7: cost 0 inf + 1778 1554298811.981 * [exit]simplify: Simplified to (/ (exp a) (cbrt (+ (exp a) (exp b)))) 1554298811.981 * [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)))))) 1554298811.981 * * * * [misc]progress: [ 19 / 53 ] simplifiying candidate # 1554298811.981 * [enter]simplify: Simplifying (/ 1 (sqrt (+ (exp a) (exp b)))) 1554298811.982 * * [misc]simplify: iters left: 6 (8 enodes) 1554298811.985 * * [misc]simplify: iters left: 5 (27 enodes) 1554298811.993 * * [misc]simplify: iters left: 4 (29 enodes) 1554298812.001 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298812.001 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554298812.001 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1554298812.001 * * [misc]simplify: Extracting #3: cost 8 inf + 1 1554298812.001 * * [misc]simplify: Extracting #4: cost 12 inf + 1 1554298812.001 * * [misc]simplify: Extracting #5: cost 10 inf + 3 1554298812.001 * * [misc]simplify: Extracting #6: cost 5 inf + 469 1554298812.003 * * [misc]simplify: Extracting #7: cost 1 inf + 1358 1554298812.004 * * [misc]simplify: Extracting #8: cost 0 inf + 1621 1554298812.004 * [exit]simplify: Simplified to (/ 1 (sqrt (+ (exp a) (exp b)))) 1554298812.004 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ 1 (sqrt (+ (exp a) (exp b)))) (/ (exp a) (sqrt (+ (exp a) (exp b)))))) 1554298812.005 * [enter]simplify: Simplifying (/ (exp a) (sqrt (+ (exp a) (exp b)))) 1554298812.005 * * [misc]simplify: iters left: 6 (7 enodes) 1554298812.007 * * [misc]simplify: iters left: 5 (22 enodes) 1554298812.013 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298812.013 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554298812.013 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554298812.013 * * [misc]simplify: Extracting #3: cost 9 inf + 1 1554298812.013 * * [misc]simplify: Extracting #4: cost 9 inf + 143 1554298812.014 * * [misc]simplify: Extracting #5: cost 8 inf + 144 1554298812.014 * * [misc]simplify: Extracting #6: cost 1 inf + 1356 1554298812.014 * * [misc]simplify: Extracting #7: cost 0 inf + 1618 1554298812.015 * [exit]simplify: Simplified to (/ (exp a) (sqrt (+ (exp a) (exp b)))) 1554298812.015 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ 1 (sqrt (+ (exp a) (exp b)))) (/ (exp a) (sqrt (+ (exp a) (exp b)))))) 1554298812.015 * * * * [misc]progress: [ 20 / 53 ] simplifiying candidate # 1554298812.015 * [enter]simplify: Simplifying (/ 1 1) 1554298812.015 * * [misc]simplify: iters left: 2 (2 enodes) 1554298812.017 * * [misc]simplify: iters left: 1 (6 enodes) 1554298812.019 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298812.019 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1554298812.019 * [exit]simplify: Simplified to 1 1554298812.019 * [misc]simplify: Simplified (2 1) to (λ (a b) (* 1 (/ (exp a) (+ (exp a) (exp b))))) 1554298812.019 * [enter]simplify: Simplifying (/ (exp a) (+ (exp a) (exp b))) 1554298812.020 * * [misc]simplify: iters left: 5 (6 enodes) 1554298812.022 * * [misc]simplify: iters left: 4 (19 enodes) 1554298812.027 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298812.027 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554298812.027 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554298812.027 * * [misc]simplify: Extracting #3: cost 9 inf + 1 1554298812.028 * * [misc]simplify: Extracting #4: cost 0 inf + 1094 1554298812.028 * [exit]simplify: Simplified to (/ (exp a) (+ (exp a) (exp b))) 1554298812.028 * [misc]simplify: Simplified (2 2) to (λ (a b) (* 1 (/ (exp a) (+ (exp a) (exp b))))) 1554298812.028 * * * * [misc]progress: [ 21 / 53 ] simplifiying candidate # 1554298812.028 * [enter]simplify: Simplifying (/ 1 1) 1554298812.028 * * [misc]simplify: iters left: 2 (2 enodes) 1554298812.030 * * [misc]simplify: iters left: 1 (6 enodes) 1554298812.032 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298812.032 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1554298812.032 * [exit]simplify: Simplified to 1 1554298812.032 * [misc]simplify: Simplified (2 1) to (λ (a b) (* 1 (/ (exp a) (+ (exp a) (exp b))))) 1554298812.032 * [enter]simplify: Simplifying (/ (exp a) (+ (exp a) (exp b))) 1554298812.032 * * [misc]simplify: iters left: 5 (6 enodes) 1554298812.035 * * [misc]simplify: iters left: 4 (19 enodes) 1554298812.040 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298812.040 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554298812.040 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554298812.040 * * [misc]simplify: Extracting #3: cost 9 inf + 1 1554298812.040 * * [misc]simplify: Extracting #4: cost 0 inf + 1094 1554298812.040 * [exit]simplify: Simplified to (/ (exp a) (+ (exp a) (exp b))) 1554298812.040 * [misc]simplify: Simplified (2 2) to (λ (a b) (* 1 (/ (exp a) (+ (exp a) (exp b))))) 1554298812.040 * * * * [misc]progress: [ 22 / 53 ] simplifiying candidate # 1554298812.041 * * * * [misc]progress: [ 23 / 53 ] simplifiying candidate # 1554298812.041 * * * * [misc]progress: [ 24 / 53 ] simplifiying candidate # 1554298812.041 * * * * [misc]progress: [ 25 / 53 ] simplifiying candidate # 1554298812.041 * [enter]simplify: Simplifying (cbrt (+ (exp a) (exp b))) 1554298812.041 * * [misc]simplify: iters left: 4 (6 enodes) 1554298812.043 * * [misc]simplify: iters left: 3 (19 enodes) 1554298812.049 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298812.049 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554298812.049 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1554298812.049 * * [misc]simplify: Extracting #3: cost 10 inf + 0 1554298812.049 * * [misc]simplify: Extracting #4: cost 6 inf + 144 1554298812.049 * * [misc]simplify: Extracting #5: cost 0 inf + 1174 1554298812.049 * [exit]simplify: Simplified to (cbrt (+ (exp a) (exp b))) 1554298812.049 * [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))))) 1554298812.050 * * * * [misc]progress: [ 26 / 53 ] simplifiying candidate # 1554298812.050 * [enter]simplify: Simplifying (sqrt (+ (exp a) (exp b))) 1554298812.050 * * [misc]simplify: iters left: 4 (6 enodes) 1554298812.052 * * [misc]simplify: iters left: 3 (19 enodes) 1554298812.057 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298812.057 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554298812.057 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1554298812.057 * * [misc]simplify: Extracting #3: cost 10 inf + 0 1554298812.058 * * [misc]simplify: Extracting #4: cost 6 inf + 144 1554298812.058 * * [misc]simplify: Extracting #5: cost 0 inf + 1094 1554298812.058 * [exit]simplify: Simplified to (sqrt (+ (exp a) (exp b))) 1554298812.058 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (/ (exp a) (sqrt (+ (exp a) (exp b)))) (sqrt (+ (exp a) (exp b))))) 1554298812.058 * * * * [misc]progress: [ 27 / 53 ] simplifiying candidate # 1554298812.059 * [enter]simplify: Simplifying (+ (exp a) (exp b)) 1554298812.059 * * [misc]simplify: iters left: 3 (5 enodes) 1554298812.061 * * [misc]simplify: iters left: 2 (16 enodes) 1554298812.065 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298812.065 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554298812.065 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554298812.065 * * [misc]simplify: Extracting #3: cost 4 inf + 144 1554298812.065 * * [misc]simplify: Extracting #4: cost 0 inf + 650 1554298812.065 * [exit]simplify: Simplified to (+ (exp a) (exp b)) 1554298812.065 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (/ (exp a) 1) (+ (exp a) (exp b)))) 1554298812.066 * * * * [misc]progress: [ 28 / 53 ] simplifiying candidate # 1554298812.066 * [enter]simplify: Simplifying (+ (exp a) (exp b)) 1554298812.066 * * [misc]simplify: iters left: 3 (5 enodes) 1554298812.068 * * [misc]simplify: iters left: 2 (16 enodes) 1554298812.072 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298812.073 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554298812.073 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554298812.073 * * [misc]simplify: Extracting #3: cost 4 inf + 144 1554298812.073 * * [misc]simplify: Extracting #4: cost 0 inf + 650 1554298812.073 * [exit]simplify: Simplified to (+ (exp a) (exp b)) 1554298812.073 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (/ (exp a) 1) (+ (exp a) (exp b)))) 1554298812.073 * * * * [misc]progress: [ 29 / 53 ] simplifiying candidate # 1554298812.074 * [enter]simplify: Simplifying (* (cbrt (exp a)) (cbrt (exp a))) 1554298812.074 * * [misc]simplify: iters left: 4 (4 enodes) 1554298812.076 * * [misc]simplify: iters left: 3 (12 enodes) 1554298812.079 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298812.079 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554298812.079 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554298812.079 * * [misc]simplify: Extracting #3: cost 7 inf + 0 1554298812.079 * * [misc]simplify: Extracting #4: cost 6 inf + 1 1554298812.080 * * [misc]simplify: Extracting #5: cost 0 inf + 827 1554298812.080 * [exit]simplify: Simplified to (* (cbrt (exp a)) (cbrt (exp a))) 1554298812.080 * [misc]simplify: Simplified (2 1) to (λ (a b) (/ (* (cbrt (exp a)) (cbrt (exp a))) (/ (+ (exp a) (exp b)) (cbrt (exp a))))) 1554298812.080 * * * * [misc]progress: [ 30 / 53 ] simplifiying candidate # 1554298812.080 * [enter]simplify: Simplifying (sqrt (exp a)) 1554298812.080 * * [misc]simplify: iters left: 2 (3 enodes) 1554298812.082 * * [misc]simplify: iters left: 1 (9 enodes) 1554298812.084 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298812.084 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554298812.084 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554298812.084 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1554298812.084 * * [misc]simplify: Extracting #4: cost 0 inf + 365 1554298812.084 * [exit]simplify: Simplified to (sqrt (exp a)) 1554298812.084 * [misc]simplify: Simplified (2 1) to (λ (a b) (/ (sqrt (exp a)) (/ (+ (exp a) (exp b)) (sqrt (exp a))))) 1554298812.084 * * * * [misc]progress: [ 31 / 53 ] simplifiying candidate # 1554298812.084 * * * * [misc]progress: [ 32 / 53 ] simplifiying candidate # 1554298812.085 * [enter]simplify: Simplifying (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))) 1554298812.085 * * [misc]simplify: iters left: 6 (9 enodes) 1554298812.089 * * [misc]simplify: iters left: 5 (41 enodes) 1554298812.102 * * [misc]simplify: iters left: 4 (70 enodes) 1554298812.123 * * [misc]simplify: iters left: 3 (90 enodes) 1554298812.147 * * [misc]simplify: iters left: 2 (106 enodes) 1554298812.163 * * [misc]simplify: iters left: 1 (126 enodes) 1554298812.181 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298812.181 * * [misc]simplify: Extracting #1: cost 13 inf + 0 1554298812.181 * * [misc]simplify: Extracting #2: cost 36 inf + 0 1554298812.181 * * [misc]simplify: Extracting #3: cost 48 inf + 0 1554298812.182 * * [misc]simplify: Extracting #4: cost 39 inf + 599 1554298812.182 * * [misc]simplify: Extracting #5: cost 13 inf + 4950 1554298812.184 * * [misc]simplify: Extracting #6: cost 2 inf + 6890 1554298812.185 * * [misc]simplify: Extracting #7: cost 0 inf + 7294 1554298812.187 * [exit]simplify: Simplified to (- (exp (+ a a)) (* (exp b) (- (exp a) (exp b)))) 1554298812.188 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (- (exp (+ a a)) (* (exp b) (- (exp a) (exp b)))))) 1554298812.188 * * * * [misc]progress: [ 33 / 53 ] simplifiying candidate # 1554298812.188 * [enter]simplify: Simplifying (- (exp a) (exp b)) 1554298812.188 * * [misc]simplify: iters left: 3 (5 enodes) 1554298812.190 * * [misc]simplify: iters left: 2 (17 enodes) 1554298812.195 * * [misc]simplify: iters left: 1 (20 enodes) 1554298812.200 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298812.200 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554298812.200 * * [misc]simplify: Extracting #2: cost 10 inf + 0 1554298812.200 * * [misc]simplify: Extracting #3: cost 8 inf + 2 1554298812.200 * * [misc]simplify: Extracting #4: cost 1 inf + 761 1554298812.200 * * [misc]simplify: Extracting #5: cost 0 inf + 872 1554298812.201 * [exit]simplify: Simplified to (- (exp a) (exp b)) 1554298812.201 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (exp a) (- (* (exp a) (exp a)) (* (exp b) (exp b)))) (- (exp a) (exp b)))) 1554298812.201 * * * * [misc]progress: [ 34 / 53 ] simplifiying candidate #real (real->posit16 (/ (exp a) (+ (exp a) (exp b))))))> 1554298812.201 * * * * [misc]progress: [ 35 / 53 ] simplifiying candidate # 1554298812.201 * [enter]simplify: Simplifying (* (exp (exp a)) (exp (exp b))) 1554298812.201 * * [misc]simplify: iters left: 4 (7 enodes) 1554298812.204 * * [misc]simplify: iters left: 3 (24 enodes) 1554298812.210 * * [misc]simplify: iters left: 2 (28 enodes) 1554298812.217 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298812.217 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554298812.217 * * [misc]simplify: Extracting #2: cost 10 inf + 0 1554298812.217 * * [misc]simplify: Extracting #3: cost 14 inf + 0 1554298812.217 * * [misc]simplify: Extracting #4: cost 12 inf + 2 1554298812.217 * * [misc]simplify: Extracting #5: cost 5 inf + 791 1554298812.218 * * [misc]simplify: Extracting #6: cost 1 inf + 1466 1554298812.218 * * [misc]simplify: Extracting #7: cost 0 inf + 1718 1554298812.219 * [exit]simplify: Simplified to (exp (+ (exp a) (exp b))) 1554298812.219 * [misc]simplify: Simplified (2 2 1) to (λ (a b) (/ (exp a) (log (exp (+ (exp a) (exp b)))))) 1554298812.219 * * * * [misc]progress: [ 36 / 53 ] simplifiying candidate # 1554298812.219 * * * * [misc]progress: [ 37 / 53 ] simplifiying candidate # 1554298812.219 * * * * [misc]progress: [ 38 / 53 ] simplifiying candidate # 1554298812.219 * * * * [misc]progress: [ 39 / 53 ] simplifiying candidate # 1554298812.219 * * * * [misc]progress: [ 40 / 53 ] simplifiying candidate # 1554298812.219 * * * * [misc]progress: [ 41 / 53 ] simplifiying candidate # 1554298812.219 * * * * [misc]progress: [ 42 / 53 ] simplifiying candidate # 1554298812.219 * * * * [misc]progress: [ 43 / 53 ] simplifiying candidate # 1554298812.219 * * * * [misc]progress: [ 44 / 53 ] simplifiying candidate # 1554298812.219 * * * * [misc]progress: [ 45 / 53 ] simplifiying candidate # 1554298812.220 * [enter]simplify: Simplifying (+ (exp a) (exp b)) 1554298812.220 * * [misc]simplify: iters left: 3 (5 enodes) 1554298812.222 * * [misc]simplify: iters left: 2 (16 enodes) 1554298812.226 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298812.226 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554298812.226 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554298812.226 * * [misc]simplify: Extracting #3: cost 4 inf + 144 1554298812.226 * * [misc]simplify: Extracting #4: cost 0 inf + 650 1554298812.227 * [exit]simplify: Simplified to (+ (exp a) (exp b)) 1554298812.227 * [misc]simplify: Simplified (2 2 2) to (λ (a b) (/ (exp a) (* 1 (+ (exp a) (exp b))))) 1554298812.227 * * * * [misc]progress: [ 46 / 53 ] simplifiying candidate #real (real->posit16 (+ (exp a) (exp b))))))> 1554298812.227 * * * * [misc]progress: [ 47 / 53 ] simplifiying candidate # 1554298812.227 * * * * [misc]progress: [ 48 / 53 ] simplifiying candidate # 1554298812.227 * [enter]simplify: Simplifying (- (+ (* 1/4 a) 1/2) (* 1/4 b)) 1554298812.227 * * [misc]simplify: iters left: 6 (8 enodes) 1554298812.232 * * [misc]simplify: iters left: 5 (31 enodes) 1554298812.243 * * [misc]simplify: iters left: 4 (50 enodes) 1554298812.256 * * [misc]simplify: iters left: 3 (67 enodes) 1554298812.269 * * [misc]simplify: iters left: 2 (78 enodes) 1554298812.280 * * [misc]simplify: iters left: 1 (91 enodes) 1554298812.292 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298812.292 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1554298812.292 * * [misc]simplify: Extracting #2: cost 31 inf + 1 1554298812.293 * * [misc]simplify: Extracting #3: cost 31 inf + 5 1554298812.293 * * [misc]simplify: Extracting #4: cost 8 inf + 1334 1554298812.294 * * [misc]simplify: Extracting #5: cost 0 inf + 2159 1554298812.294 * * [misc]simplify: Extracting #6: cost 0 inf + 2079 1554298812.295 * [exit]simplify: Simplified to (+ 1/2 (* 1/4 (- a b))) 1554298812.295 * [misc]simplify: Simplified (2) to (λ (a b) (+ 1/2 (* 1/4 (- a b)))) 1554298812.295 * * * * [misc]progress: [ 49 / 53 ] simplifiying candidate # 1554298812.295 * [enter]simplify: Simplifying (/ (exp a) (+ (exp b) (exp a))) 1554298812.295 * * [misc]simplify: iters left: 5 (6 enodes) 1554298812.296 * * [misc]simplify: iters left: 4 (19 enodes) 1554298812.299 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298812.299 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554298812.299 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554298812.299 * * [misc]simplify: Extracting #3: cost 9 inf + 1 1554298812.299 * * [misc]simplify: Extracting #4: cost 0 inf + 1094 1554298812.299 * [exit]simplify: Simplified to (/ (exp a) (+ (exp a) (exp b))) 1554298812.299 * [misc]simplify: Simplified (2) to (λ (a b) (/ (exp a) (+ (exp a) (exp b)))) 1554298812.299 * * * * [misc]progress: [ 50 / 53 ] simplifiying candidate # 1554298812.299 * [enter]simplify: Simplifying (/ (exp a) (+ (exp b) (exp a))) 1554298812.299 * * [misc]simplify: iters left: 5 (6 enodes) 1554298812.301 * * [misc]simplify: iters left: 4 (19 enodes) 1554298812.303 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298812.303 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554298812.303 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554298812.303 * * [misc]simplify: Extracting #3: cost 9 inf + 1 1554298812.303 * * [misc]simplify: Extracting #4: cost 0 inf + 1094 1554298812.303 * [exit]simplify: Simplified to (/ (exp a) (+ (exp a) (exp b))) 1554298812.303 * [misc]simplify: Simplified (2) to (λ (a b) (/ (exp a) (+ (exp a) (exp b)))) 1554298812.304 * * * * [misc]progress: [ 51 / 53 ] simplifiying candidate # 1554298812.304 * [enter]simplify: Simplifying (+ a (+ b 2)) 1554298812.304 * * [misc]simplify: iters left: 4 (5 enodes) 1554298812.305 * * [misc]simplify: iters left: 3 (19 enodes) 1554298812.308 * * [misc]simplify: iters left: 2 (27 enodes) 1554298812.312 * * [misc]simplify: iters left: 1 (32 enodes) 1554298812.316 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298812.316 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1554298812.316 * * [misc]simplify: Extracting #2: cost 7 inf + 45 1554298812.316 * * [misc]simplify: Extracting #3: cost 0 inf + 421 1554298812.316 * [exit]simplify: Simplified to (+ (+ a 2) b) 1554298812.316 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (exp a) (+ (+ a 2) b))) 1554298812.316 * * * * [misc]progress: [ 52 / 53 ] simplifiying candidate # 1554298812.316 * [enter]simplify: Simplifying (+ (exp b) (exp a)) 1554298812.316 * * [misc]simplify: iters left: 3 (5 enodes) 1554298812.317 * * [misc]simplify: iters left: 2 (16 enodes) 1554298812.319 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298812.319 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554298812.319 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554298812.319 * * [misc]simplify: Extracting #3: cost 4 inf + 144 1554298812.320 * * [misc]simplify: Extracting #4: cost 0 inf + 650 1554298812.320 * [exit]simplify: Simplified to (+ (exp b) (exp a)) 1554298812.320 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (exp a) (+ (exp b) (exp a)))) 1554298812.320 * * * * [misc]progress: [ 53 / 53 ] simplifiying candidate # 1554298812.320 * [enter]simplify: Simplifying (+ (exp b) (exp a)) 1554298812.320 * * [misc]simplify: iters left: 3 (5 enodes) 1554298812.321 * * [misc]simplify: iters left: 2 (16 enodes) 1554298812.323 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554298812.323 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554298812.323 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554298812.323 * * [misc]simplify: Extracting #3: cost 4 inf + 144 1554298812.323 * * [misc]simplify: Extracting #4: cost 0 inf + 650 1554298812.323 * [exit]simplify: Simplified to (+ (exp b) (exp a)) 1554298812.323 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (exp a) (+ (exp b) (exp a)))) 1554298812.324 * * * [misc]progress: adding candidates to table 1554298812.789 * * [misc]progress: iteration 2 / 4 1554298812.789 * * * [misc]progress: picking best candidate 1554298812.791 * * * * [misc]pick: Picked # 1554298812.791 * * * [misc]progress: localizing error 1554298812.799 * * * [misc]progress: generating rewritten candidates 1554298812.799 * * * [misc]progress: generating series expansions 1554298812.799 * * * [misc]progress: simplifying candidates 1554298812.799 * * * [misc]progress: adding candidates to table 1554298812.799 * [misc]progress: [Phase 3 of 3] Extracting. 1554298812.799 * * [misc]regime: Finding splitpoints for: (# #) 1554298812.800 * * * [misc]regime-changes: Trying 5 branch expressions: (b (exp b) a (exp a) (/ (exp a) (+ (exp a) (exp b)))) 1554298812.800 * * * * [misc]regimes: Trying to branch on b from (# #) 1554298812.829 * * * * [misc]regimes: Trying to branch on (exp b) from (# #) 1554298812.852 * * * * [misc]regimes: Trying to branch on a from (# #) 1554298812.894 * * * * [misc]regimes: Trying to branch on (exp a) from (# #) 1554298812.916 * * * * [misc]regimes: Trying to branch on (/ (exp a) (+ (exp a) (exp b))) from (# #) 1554298812.953 * * * [misc]regime: Found split indices: #