1548150552.353 * [misc]progress: [Phase 1 of 3] Setting up. 1548150552.353 * * * [misc]progress: [1/2] Preparing points 1548150552.460 * * * [misc]progress: [2/2] Setting up program. 1548150552.462 * [misc]progress: [Phase 2 of 3] Improving. 1548150552.462 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1548150552.462 * [enter]simplify: Simplifying (/ (exp a) (+ (exp a) (exp b))) 1548150552.463 * * [misc]simplify: iters left: 5 (6 enodes) 1548150552.463 * * [misc]simplify: iters left: 4 (7 enodes) 1548150552.465 * [exit]simplify: Simplified to (/ (exp a) (+ (exp a) (exp b))) 1548150552.465 * [misc]simplify: Simplified (2) to (λ (a b) (/ (exp a) (+ (exp a) (exp b)))) 1548150552.467 * * [misc]progress: iteration 1 / 4 1548150552.467 * * * [misc]progress: picking best candidate 1548150552.470 * * * * [misc]pick: Picked # 1548150552.470 * * * [misc]progress: localizing error 1548150552.483 * * * [misc]progress: generating rewritten candidates 1548150552.484 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1548150552.496 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) 1548150552.504 * * * [misc]progress: generating series expansions 1548150552.504 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1548150552.504 * [misc]backup-simplify: Simplify (/ (exp a) (+ (exp a) (exp b))) into (/ (exp a) (+ (exp a) (exp b))) 1548150552.504 * [misc]approximate: Taking taylor expansion of (/ (exp a) (+ (exp a) (exp b))) in (a b) around 0 1548150552.504 * [misc]taylor: Taking taylor expansion of (/ (exp a) (+ (exp a) (exp b))) in b 1548150552.504 * [misc]taylor: Taking taylor expansion of (exp a) in b 1548150552.504 * [misc]taylor: Taking taylor expansion of a in b 1548150552.504 * [misc]backup-simplify: Simplify a into a 1548150552.505 * [misc]backup-simplify: Simplify (exp a) into (exp a) 1548150552.505 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp b)) in b 1548150552.505 * [misc]taylor: Taking taylor expansion of (exp a) in b 1548150552.505 * [misc]taylor: Taking taylor expansion of a in b 1548150552.505 * [misc]backup-simplify: Simplify a into a 1548150552.505 * [misc]backup-simplify: Simplify (exp a) into (exp a) 1548150552.505 * [misc]taylor: Taking taylor expansion of (exp b) in b 1548150552.505 * [misc]taylor: Taking taylor expansion of b in b 1548150552.505 * [misc]backup-simplify: Simplify 0 into 0 1548150552.505 * [misc]backup-simplify: Simplify 1 into 1 1548150552.505 * [misc]backup-simplify: Simplify (exp 0) into 1 1548150552.505 * [misc]backup-simplify: Simplify (+ (exp a) 1) into (+ (exp a) 1) 1548150552.505 * [misc]backup-simplify: Simplify (/ (exp a) (+ (exp a) 1)) into (/ (exp a) (+ (exp a) 1)) 1548150552.505 * [misc]taylor: Taking taylor expansion of (/ (exp a) (+ (exp a) (exp b))) in a 1548150552.505 * [misc]taylor: Taking taylor expansion of (exp a) in a 1548150552.505 * [misc]taylor: Taking taylor expansion of a in a 1548150552.505 * [misc]backup-simplify: Simplify 0 into 0 1548150552.505 * [misc]backup-simplify: Simplify 1 into 1 1548150552.505 * [misc]backup-simplify: Simplify (exp 0) into 1 1548150552.505 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp b)) in a 1548150552.505 * [misc]taylor: Taking taylor expansion of (exp a) in a 1548150552.505 * [misc]taylor: Taking taylor expansion of a in a 1548150552.505 * [misc]backup-simplify: Simplify 0 into 0 1548150552.505 * [misc]backup-simplify: Simplify 1 into 1 1548150552.505 * [misc]backup-simplify: Simplify (exp 0) into 1 1548150552.505 * [misc]taylor: Taking taylor expansion of (exp b) in a 1548150552.505 * [misc]taylor: Taking taylor expansion of b in a 1548150552.505 * [misc]backup-simplify: Simplify b into b 1548150552.505 * [misc]backup-simplify: Simplify (exp b) into (exp b) 1548150552.506 * [misc]backup-simplify: Simplify (+ 1 (exp b)) into (+ (exp b) 1) 1548150552.506 * [misc]backup-simplify: Simplify (/ 1 (+ (exp b) 1)) into (/ 1 (+ (exp b) 1)) 1548150552.506 * [misc]taylor: Taking taylor expansion of (/ (exp a) (+ (exp a) (exp b))) in a 1548150552.506 * [misc]taylor: Taking taylor expansion of (exp a) in a 1548150552.506 * [misc]taylor: Taking taylor expansion of a in a 1548150552.506 * [misc]backup-simplify: Simplify 0 into 0 1548150552.506 * [misc]backup-simplify: Simplify 1 into 1 1548150552.506 * [misc]backup-simplify: Simplify (exp 0) into 1 1548150552.506 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp b)) in a 1548150552.506 * [misc]taylor: Taking taylor expansion of (exp a) in a 1548150552.506 * [misc]taylor: Taking taylor expansion of a in a 1548150552.506 * [misc]backup-simplify: Simplify 0 into 0 1548150552.506 * [misc]backup-simplify: Simplify 1 into 1 1548150552.506 * [misc]backup-simplify: Simplify (exp 0) into 1 1548150552.506 * [misc]taylor: Taking taylor expansion of (exp b) in a 1548150552.506 * [misc]taylor: Taking taylor expansion of b in a 1548150552.506 * [misc]backup-simplify: Simplify b into b 1548150552.506 * [misc]backup-simplify: Simplify (exp b) into (exp b) 1548150552.506 * [misc]backup-simplify: Simplify (+ 1 (exp b)) into (+ (exp b) 1) 1548150552.506 * [misc]backup-simplify: Simplify (/ 1 (+ (exp b) 1)) into (/ 1 (+ (exp b) 1)) 1548150552.506 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b 1548150552.506 * [misc]taylor: Taking taylor expansion of (+ (exp b) 1) in b 1548150552.506 * [misc]taylor: Taking taylor expansion of (exp b) in b 1548150552.506 * [misc]taylor: Taking taylor expansion of b in b 1548150552.506 * [misc]backup-simplify: Simplify 0 into 0 1548150552.506 * [misc]backup-simplify: Simplify 1 into 1 1548150552.507 * [misc]backup-simplify: Simplify (exp 0) into 1 1548150552.507 * [misc]taylor: Taking taylor expansion of 1 in b 1548150552.507 * [misc]backup-simplify: Simplify 1 into 1 1548150552.507 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1548150552.507 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 1548150552.507 * [misc]backup-simplify: Simplify 1/2 into 1/2 1548150552.509 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1548150552.510 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1548150552.511 * [misc]backup-simplify: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0 1548150552.511 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548150552.512 * [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))) 1548150552.512 * [misc]taylor: Taking taylor expansion of (- (/ 1 (+ (exp b) 1)) (/ 1 (pow (+ (exp b) 1) 2))) in b 1548150552.512 * [misc]taylor: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b 1548150552.512 * [misc]taylor: Taking taylor expansion of (+ (exp b) 1) in b 1548150552.512 * [misc]taylor: Taking taylor expansion of (exp b) in b 1548150552.512 * [misc]taylor: Taking taylor expansion of b in b 1548150552.512 * [misc]backup-simplify: Simplify 0 into 0 1548150552.512 * [misc]backup-simplify: Simplify 1 into 1 1548150552.512 * [misc]backup-simplify: Simplify (exp 0) into 1 1548150552.512 * [misc]taylor: Taking taylor expansion of 1 in b 1548150552.512 * [misc]backup-simplify: Simplify 1 into 1 1548150552.512 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1548150552.512 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 1548150552.512 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ (exp b) 1) 2)) in b 1548150552.512 * [misc]taylor: Taking taylor expansion of (pow (+ (exp b) 1) 2) in b 1548150552.512 * [misc]taylor: Taking taylor expansion of (+ (exp b) 1) in b 1548150552.512 * [misc]taylor: Taking taylor expansion of (exp b) in b 1548150552.512 * [misc]taylor: Taking taylor expansion of b in b 1548150552.512 * [misc]backup-simplify: Simplify 0 into 0 1548150552.513 * [misc]backup-simplify: Simplify 1 into 1 1548150552.513 * [misc]backup-simplify: Simplify (exp 0) into 1 1548150552.513 * [misc]taylor: Taking taylor expansion of 1 in b 1548150552.513 * [misc]backup-simplify: Simplify 1 into 1 1548150552.513 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1548150552.513 * [misc]backup-simplify: Simplify (* 2 2) into 4 1548150552.513 * [misc]backup-simplify: Simplify (/ 1 4) into 1/4 1548150552.513 * [misc]backup-simplify: Simplify (- 1/4) into -1/4 1548150552.513 * [misc]backup-simplify: Simplify (+ 1/2 -1/4) into 1/4 1548150552.513 * [misc]backup-simplify: Simplify 1/4 into 1/4 1548150552.515 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1548150552.515 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548150552.515 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 1 2)))) into -1/4 1548150552.515 * [misc]backup-simplify: Simplify -1/4 into -1/4 1548150552.516 * [misc]backup-simplify: Simplify (+ (* -1/4 (* b 1)) (+ (* 1/4 (* 1 a)) 1/2)) into (- (+ (* 1/4 a) 1/2) (* 1/4 b)) 1548150552.516 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 a)) (exp (/ 1 b)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1548150552.516 * [misc]approximate: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in (a b) around 0 1548150552.516 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b 1548150552.516 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1548150552.516 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1548150552.516 * [misc]taylor: Taking taylor expansion of a in b 1548150552.516 * [misc]backup-simplify: Simplify a into a 1548150552.516 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1548150552.516 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1548150552.516 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1548150552.516 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in b 1548150552.516 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1548150552.516 * [misc]taylor: Taking taylor expansion of b in b 1548150552.516 * [misc]backup-simplify: Simplify 0 into 0 1548150552.516 * [misc]backup-simplify: Simplify 1 into 1 1548150552.516 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548150552.517 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1548150552.517 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1548150552.517 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1548150552.517 * [misc]taylor: Taking taylor expansion of a in b 1548150552.517 * [misc]backup-simplify: Simplify a into a 1548150552.517 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1548150552.517 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1548150552.517 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1548150552.517 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1548150552.517 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a 1548150552.517 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1548150552.517 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1548150552.517 * [misc]taylor: Taking taylor expansion of a in a 1548150552.517 * [misc]backup-simplify: Simplify 0 into 0 1548150552.517 * [misc]backup-simplify: Simplify 1 into 1 1548150552.518 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548150552.518 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1548150552.518 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1548150552.518 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in a 1548150552.518 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1548150552.518 * [misc]taylor: Taking taylor expansion of b in a 1548150552.518 * [misc]backup-simplify: Simplify b into b 1548150552.518 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1548150552.518 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1548150552.518 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1548150552.518 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1548150552.518 * [misc]taylor: Taking taylor expansion of a in a 1548150552.518 * [misc]backup-simplify: Simplify 0 into 0 1548150552.518 * [misc]backup-simplify: Simplify 1 into 1 1548150552.518 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548150552.518 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1548150552.518 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1548150552.519 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1548150552.519 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a 1548150552.519 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1548150552.519 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1548150552.519 * [misc]taylor: Taking taylor expansion of a in a 1548150552.519 * [misc]backup-simplify: Simplify 0 into 0 1548150552.519 * [misc]backup-simplify: Simplify 1 into 1 1548150552.519 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548150552.519 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1548150552.519 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1548150552.519 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in a 1548150552.519 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1548150552.519 * [misc]taylor: Taking taylor expansion of b in a 1548150552.519 * [misc]backup-simplify: Simplify b into b 1548150552.519 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1548150552.519 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1548150552.519 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1548150552.519 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1548150552.519 * [misc]taylor: Taking taylor expansion of a in a 1548150552.519 * [misc]backup-simplify: Simplify 0 into 0 1548150552.519 * [misc]backup-simplify: Simplify 1 into 1 1548150552.520 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548150552.520 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1548150552.520 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1548150552.520 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1548150552.520 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b 1548150552.520 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1548150552.520 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1548150552.520 * [misc]taylor: Taking taylor expansion of a in b 1548150552.520 * [misc]backup-simplify: Simplify a into a 1548150552.520 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1548150552.520 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1548150552.520 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1548150552.520 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in b 1548150552.520 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1548150552.520 * [misc]taylor: Taking taylor expansion of b in b 1548150552.521 * [misc]backup-simplify: Simplify 0 into 0 1548150552.521 * [misc]backup-simplify: Simplify 1 into 1 1548150552.521 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548150552.521 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1548150552.521 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1548150552.521 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1548150552.521 * [misc]taylor: Taking taylor expansion of a in b 1548150552.521 * [misc]backup-simplify: Simplify a into a 1548150552.521 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1548150552.521 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1548150552.521 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1548150552.521 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1548150552.522 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1548150552.522 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1548150552.523 * [misc]backup-simplify: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1548150552.523 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150552.524 * [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 1548150552.524 * [misc]taylor: Taking taylor expansion of 0 in b 1548150552.524 * [misc]backup-simplify: Simplify 0 into 0 1548150552.524 * [misc]backup-simplify: Simplify 0 into 0 1548150552.524 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1548150552.525 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1548150552.526 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1548150552.527 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1548150552.527 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150552.527 * [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 1548150552.527 * [misc]backup-simplify: Simplify 0 into 0 1548150552.527 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1548150552.529 * [misc]backup-simplify: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548150552.529 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150552.530 * [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 1548150552.530 * [misc]taylor: Taking taylor expansion of 0 in b 1548150552.530 * [misc]backup-simplify: Simplify 0 into 0 1548150552.530 * [misc]backup-simplify: Simplify 0 into 0 1548150552.530 * [misc]backup-simplify: Simplify 0 into 0 1548150552.530 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1548150552.532 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548150552.532 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1548150552.534 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548150552.534 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150552.535 * [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 1548150552.535 * [misc]backup-simplify: Simplify 0 into 0 1548150552.535 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 1548150552.538 * [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 1548150552.538 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150552.539 * [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 1548150552.539 * [misc]taylor: Taking taylor expansion of 0 in b 1548150552.539 * [misc]backup-simplify: Simplify 0 into 0 1548150552.539 * [misc]backup-simplify: Simplify 0 into 0 1548150552.539 * [misc]backup-simplify: Simplify (/ (exp (/ 1 (/ 1 a))) (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a))))) into (/ (exp a) (+ (exp b) (exp a))) 1548150552.540 * [misc]backup-simplify: Simplify (/ (exp (/ 1 (- a))) (+ (exp (/ 1 (- a))) (exp (/ 1 (- b))))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1548150552.540 * [misc]approximate: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in (a b) around 0 1548150552.540 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b 1548150552.540 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1548150552.540 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1548150552.540 * [misc]taylor: Taking taylor expansion of -1 in b 1548150552.540 * [misc]backup-simplify: Simplify -1 into -1 1548150552.540 * [misc]taylor: Taking taylor expansion of a in b 1548150552.540 * [misc]backup-simplify: Simplify a into a 1548150552.540 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1548150552.540 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1548150552.540 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1548150552.540 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in b 1548150552.540 * [misc]taylor: Taking taylor expansion of (/ -1 b) in b 1548150552.540 * [misc]taylor: Taking taylor expansion of -1 in b 1548150552.540 * [misc]backup-simplify: Simplify -1 into -1 1548150552.540 * [misc]taylor: Taking taylor expansion of b in b 1548150552.540 * [misc]backup-simplify: Simplify 0 into 0 1548150552.540 * [misc]backup-simplify: Simplify 1 into 1 1548150552.540 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1548150552.541 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1548150552.541 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1548150552.541 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1548150552.541 * [misc]taylor: Taking taylor expansion of -1 in b 1548150552.541 * [misc]backup-simplify: Simplify -1 into -1 1548150552.541 * [misc]taylor: Taking taylor expansion of a in b 1548150552.541 * [misc]backup-simplify: Simplify a into a 1548150552.541 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1548150552.541 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1548150552.541 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1548150552.541 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1548150552.541 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a 1548150552.541 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1548150552.541 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1548150552.541 * [misc]taylor: Taking taylor expansion of -1 in a 1548150552.541 * [misc]backup-simplify: Simplify -1 into -1 1548150552.541 * [misc]taylor: Taking taylor expansion of a in a 1548150552.541 * [misc]backup-simplify: Simplify 0 into 0 1548150552.541 * [misc]backup-simplify: Simplify 1 into 1 1548150552.542 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1548150552.542 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1548150552.542 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1548150552.542 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in a 1548150552.542 * [misc]taylor: Taking taylor expansion of (/ -1 b) in a 1548150552.542 * [misc]taylor: Taking taylor expansion of -1 in a 1548150552.542 * [misc]backup-simplify: Simplify -1 into -1 1548150552.542 * [misc]taylor: Taking taylor expansion of b in a 1548150552.542 * [misc]backup-simplify: Simplify b into b 1548150552.542 * [misc]backup-simplify: Simplify (/ -1 b) into (/ -1 b) 1548150552.542 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1548150552.542 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1548150552.542 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1548150552.542 * [misc]taylor: Taking taylor expansion of -1 in a 1548150552.542 * [misc]backup-simplify: Simplify -1 into -1 1548150552.542 * [misc]taylor: Taking taylor expansion of a in a 1548150552.542 * [misc]backup-simplify: Simplify 0 into 0 1548150552.542 * [misc]backup-simplify: Simplify 1 into 1 1548150552.542 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1548150552.542 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1548150552.543 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1548150552.543 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1548150552.543 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a 1548150552.543 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1548150552.543 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1548150552.543 * [misc]taylor: Taking taylor expansion of -1 in a 1548150552.543 * [misc]backup-simplify: Simplify -1 into -1 1548150552.543 * [misc]taylor: Taking taylor expansion of a in a 1548150552.543 * [misc]backup-simplify: Simplify 0 into 0 1548150552.543 * [misc]backup-simplify: Simplify 1 into 1 1548150552.543 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1548150552.543 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1548150552.543 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1548150552.543 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in a 1548150552.543 * [misc]taylor: Taking taylor expansion of (/ -1 b) in a 1548150552.543 * [misc]taylor: Taking taylor expansion of -1 in a 1548150552.543 * [misc]backup-simplify: Simplify -1 into -1 1548150552.543 * [misc]taylor: Taking taylor expansion of b in a 1548150552.543 * [misc]backup-simplify: Simplify b into b 1548150552.543 * [misc]backup-simplify: Simplify (/ -1 b) into (/ -1 b) 1548150552.544 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1548150552.544 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1548150552.544 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1548150552.544 * [misc]taylor: Taking taylor expansion of -1 in a 1548150552.544 * [misc]backup-simplify: Simplify -1 into -1 1548150552.544 * [misc]taylor: Taking taylor expansion of a in a 1548150552.544 * [misc]backup-simplify: Simplify 0 into 0 1548150552.544 * [misc]backup-simplify: Simplify 1 into 1 1548150552.544 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1548150552.544 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1548150552.544 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1548150552.544 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1548150552.544 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b 1548150552.544 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1548150552.544 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1548150552.544 * [misc]taylor: Taking taylor expansion of -1 in b 1548150552.544 * [misc]backup-simplify: Simplify -1 into -1 1548150552.544 * [misc]taylor: Taking taylor expansion of a in b 1548150552.545 * [misc]backup-simplify: Simplify a into a 1548150552.545 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1548150552.545 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1548150552.545 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1548150552.545 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in b 1548150552.545 * [misc]taylor: Taking taylor expansion of (/ -1 b) in b 1548150552.545 * [misc]taylor: Taking taylor expansion of -1 in b 1548150552.545 * [misc]backup-simplify: Simplify -1 into -1 1548150552.545 * [misc]taylor: Taking taylor expansion of b in b 1548150552.545 * [misc]backup-simplify: Simplify 0 into 0 1548150552.545 * [misc]backup-simplify: Simplify 1 into 1 1548150552.545 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1548150552.545 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1548150552.545 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1548150552.545 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1548150552.545 * [misc]taylor: Taking taylor expansion of -1 in b 1548150552.545 * [misc]backup-simplify: Simplify -1 into -1 1548150552.545 * [misc]taylor: Taking taylor expansion of a in b 1548150552.545 * [misc]backup-simplify: Simplify a into a 1548150552.545 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1548150552.545 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1548150552.545 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1548150552.546 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1548150552.546 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1548150552.546 * [misc]backup-simplify: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0 1548150552.547 * [misc]backup-simplify: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1548150552.547 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150552.548 * [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 1548150552.548 * [misc]taylor: Taking taylor expansion of 0 in b 1548150552.548 * [misc]backup-simplify: Simplify 0 into 0 1548150552.548 * [misc]backup-simplify: Simplify 0 into 0 1548150552.548 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1548150552.549 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1548150552.549 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1548150552.550 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1548150552.550 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150552.551 * [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 1548150552.551 * [misc]backup-simplify: Simplify 0 into 0 1548150552.551 * [misc]backup-simplify: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1548150552.553 * [misc]backup-simplify: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548150552.553 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150552.554 * [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 1548150552.554 * [misc]taylor: Taking taylor expansion of 0 in b 1548150552.554 * [misc]backup-simplify: Simplify 0 into 0 1548150552.554 * [misc]backup-simplify: Simplify 0 into 0 1548150552.554 * [misc]backup-simplify: Simplify 0 into 0 1548150552.554 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1548150552.569 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548150552.569 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1548150552.571 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548150552.571 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150552.572 * [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 1548150552.572 * [misc]backup-simplify: Simplify 0 into 0 1548150552.572 * [misc]backup-simplify: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 1548150552.575 * [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 1548150552.576 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150552.576 * [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 1548150552.576 * [misc]taylor: Taking taylor expansion of 0 in b 1548150552.576 * [misc]backup-simplify: Simplify 0 into 0 1548150552.576 * [misc]backup-simplify: Simplify 0 into 0 1548150552.576 * [misc]backup-simplify: Simplify (/ (exp (/ -1 (/ 1 (- a)))) (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a)))))) into (/ (exp a) (+ (exp b) (exp a))) 1548150552.577 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) 1548150552.577 * [misc]backup-simplify: Simplify (+ (exp a) (exp b)) into (+ (exp a) (exp b)) 1548150552.577 * [misc]approximate: Taking taylor expansion of (+ (exp a) (exp b)) in (a b) around 0 1548150552.577 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp b)) in b 1548150552.577 * [misc]taylor: Taking taylor expansion of (exp a) in b 1548150552.577 * [misc]taylor: Taking taylor expansion of a in b 1548150552.577 * [misc]backup-simplify: Simplify a into a 1548150552.577 * [misc]backup-simplify: Simplify (exp a) into (exp a) 1548150552.577 * [misc]taylor: Taking taylor expansion of (exp b) in b 1548150552.577 * [misc]taylor: Taking taylor expansion of b in b 1548150552.577 * [misc]backup-simplify: Simplify 0 into 0 1548150552.577 * [misc]backup-simplify: Simplify 1 into 1 1548150552.577 * [misc]backup-simplify: Simplify (exp 0) into 1 1548150552.577 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp b)) in a 1548150552.577 * [misc]taylor: Taking taylor expansion of (exp a) in a 1548150552.577 * [misc]taylor: Taking taylor expansion of a in a 1548150552.577 * [misc]backup-simplify: Simplify 0 into 0 1548150552.577 * [misc]backup-simplify: Simplify 1 into 1 1548150552.577 * [misc]backup-simplify: Simplify (exp 0) into 1 1548150552.577 * [misc]taylor: Taking taylor expansion of (exp b) in a 1548150552.577 * [misc]taylor: Taking taylor expansion of b in a 1548150552.577 * [misc]backup-simplify: Simplify b into b 1548150552.577 * [misc]backup-simplify: Simplify (exp b) into (exp b) 1548150552.577 * [misc]taylor: Taking taylor expansion of (+ (exp a) (exp b)) in a 1548150552.577 * [misc]taylor: Taking taylor expansion of (exp a) in a 1548150552.577 * [misc]taylor: Taking taylor expansion of a in a 1548150552.577 * [misc]backup-simplify: Simplify 0 into 0 1548150552.577 * [misc]backup-simplify: Simplify 1 into 1 1548150552.577 * [misc]backup-simplify: Simplify (exp 0) into 1 1548150552.577 * [misc]taylor: Taking taylor expansion of (exp b) in a 1548150552.577 * [misc]taylor: Taking taylor expansion of b in a 1548150552.577 * [misc]backup-simplify: Simplify b into b 1548150552.577 * [misc]backup-simplify: Simplify (exp b) into (exp b) 1548150552.577 * [misc]backup-simplify: Simplify (+ 1 (exp b)) into (+ (exp b) 1) 1548150552.577 * [misc]taylor: Taking taylor expansion of (+ (exp b) 1) in b 1548150552.578 * [misc]taylor: Taking taylor expansion of (exp b) in b 1548150552.578 * [misc]taylor: Taking taylor expansion of b in b 1548150552.578 * [misc]backup-simplify: Simplify 0 into 0 1548150552.578 * [misc]backup-simplify: Simplify 1 into 1 1548150552.578 * [misc]backup-simplify: Simplify (exp 0) into 1 1548150552.578 * [misc]taylor: Taking taylor expansion of 1 in b 1548150552.578 * [misc]backup-simplify: Simplify 1 into 1 1548150552.578 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1548150552.578 * [misc]backup-simplify: Simplify 2 into 2 1548150552.579 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1548150552.580 * [misc]backup-simplify: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0 1548150552.580 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548150552.580 * [misc]taylor: Taking taylor expansion of 1 in b 1548150552.580 * [misc]backup-simplify: Simplify 1 into 1 1548150552.580 * [misc]backup-simplify: Simplify 1 into 1 1548150552.581 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1548150552.581 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548150552.581 * [misc]backup-simplify: Simplify 1 into 1 1548150552.581 * [misc]backup-simplify: Simplify (+ (* 1 (* b 1)) (+ (* 1 (* 1 a)) 2)) into (+ a (+ b 2)) 1548150552.581 * [misc]backup-simplify: Simplify (+ (exp (/ 1 a)) (exp (/ 1 b))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1548150552.581 * [misc]approximate: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in (a b) around 0 1548150552.581 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1548150552.581 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in b 1548150552.581 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1548150552.581 * [misc]taylor: Taking taylor expansion of b in b 1548150552.581 * [misc]backup-simplify: Simplify 0 into 0 1548150552.581 * [misc]backup-simplify: Simplify 1 into 1 1548150552.581 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548150552.581 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1548150552.581 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1548150552.581 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1548150552.581 * [misc]taylor: Taking taylor expansion of a in b 1548150552.581 * [misc]backup-simplify: Simplify a into a 1548150552.581 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1548150552.581 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1548150552.581 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1548150552.581 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in a 1548150552.581 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1548150552.581 * [misc]taylor: Taking taylor expansion of b in a 1548150552.581 * [misc]backup-simplify: Simplify b into b 1548150552.581 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1548150552.581 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1548150552.581 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1548150552.581 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1548150552.582 * [misc]taylor: Taking taylor expansion of a in a 1548150552.582 * [misc]backup-simplify: Simplify 0 into 0 1548150552.582 * [misc]backup-simplify: Simplify 1 into 1 1548150552.582 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548150552.582 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1548150552.582 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1548150552.582 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in a 1548150552.582 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1548150552.582 * [misc]taylor: Taking taylor expansion of b in a 1548150552.582 * [misc]backup-simplify: Simplify b into b 1548150552.582 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1548150552.582 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1548150552.582 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1548150552.582 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1548150552.582 * [misc]taylor: Taking taylor expansion of a in a 1548150552.582 * [misc]backup-simplify: Simplify 0 into 0 1548150552.582 * [misc]backup-simplify: Simplify 1 into 1 1548150552.582 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548150552.582 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1548150552.582 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1548150552.582 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1548150552.582 * [misc]taylor: Taking taylor expansion of (exp (/ 1 b)) in b 1548150552.582 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1548150552.582 * [misc]taylor: Taking taylor expansion of b in b 1548150552.582 * [misc]backup-simplify: Simplify 0 into 0 1548150552.582 * [misc]backup-simplify: Simplify 1 into 1 1548150552.582 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548150552.582 * [misc]backup-simplify: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1548150552.582 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1548150552.582 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1548150552.582 * [misc]taylor: Taking taylor expansion of a in b 1548150552.583 * [misc]backup-simplify: Simplify a into a 1548150552.583 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1548150552.583 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1548150552.583 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1548150552.583 * [misc]backup-simplify: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1548150552.583 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1548150552.584 * [misc]backup-simplify: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1548150552.584 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150552.584 * [misc]taylor: Taking taylor expansion of 0 in b 1548150552.584 * [misc]backup-simplify: Simplify 0 into 0 1548150552.584 * [misc]backup-simplify: Simplify 0 into 0 1548150552.584 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1548150552.585 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1548150552.585 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150552.585 * [misc]backup-simplify: Simplify 0 into 0 1548150552.585 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1548150552.586 * [misc]backup-simplify: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548150552.586 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150552.586 * [misc]taylor: Taking taylor expansion of 0 in b 1548150552.586 * [misc]backup-simplify: Simplify 0 into 0 1548150552.586 * [misc]backup-simplify: Simplify 0 into 0 1548150552.586 * [misc]backup-simplify: Simplify 0 into 0 1548150552.586 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1548150552.588 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548150552.588 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150552.588 * [misc]backup-simplify: Simplify 0 into 0 1548150552.588 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 1548150552.590 * [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 1548150552.590 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150552.590 * [misc]taylor: Taking taylor expansion of 0 in b 1548150552.590 * [misc]backup-simplify: Simplify 0 into 0 1548150552.590 * [misc]backup-simplify: Simplify 0 into 0 1548150552.590 * [misc]backup-simplify: Simplify (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a)))) into (+ (exp b) (exp a)) 1548150552.590 * [misc]backup-simplify: Simplify (+ (exp (/ 1 (- a))) (exp (/ 1 (- b)))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1548150552.590 * [misc]approximate: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in (a b) around 0 1548150552.590 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1548150552.590 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in b 1548150552.590 * [misc]taylor: Taking taylor expansion of (/ -1 b) in b 1548150552.590 * [misc]taylor: Taking taylor expansion of -1 in b 1548150552.590 * [misc]backup-simplify: Simplify -1 into -1 1548150552.590 * [misc]taylor: Taking taylor expansion of b in b 1548150552.590 * [misc]backup-simplify: Simplify 0 into 0 1548150552.590 * [misc]backup-simplify: Simplify 1 into 1 1548150552.590 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1548150552.590 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1548150552.591 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1548150552.591 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1548150552.591 * [misc]taylor: Taking taylor expansion of -1 in b 1548150552.591 * [misc]backup-simplify: Simplify -1 into -1 1548150552.591 * [misc]taylor: Taking taylor expansion of a in b 1548150552.591 * [misc]backup-simplify: Simplify a into a 1548150552.591 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1548150552.591 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1548150552.591 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1548150552.591 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in a 1548150552.591 * [misc]taylor: Taking taylor expansion of (/ -1 b) in a 1548150552.591 * [misc]taylor: Taking taylor expansion of -1 in a 1548150552.591 * [misc]backup-simplify: Simplify -1 into -1 1548150552.591 * [misc]taylor: Taking taylor expansion of b in a 1548150552.591 * [misc]backup-simplify: Simplify b into b 1548150552.591 * [misc]backup-simplify: Simplify (/ -1 b) into (/ -1 b) 1548150552.591 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1548150552.591 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1548150552.591 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1548150552.591 * [misc]taylor: Taking taylor expansion of -1 in a 1548150552.591 * [misc]backup-simplify: Simplify -1 into -1 1548150552.591 * [misc]taylor: Taking taylor expansion of a in a 1548150552.591 * [misc]backup-simplify: Simplify 0 into 0 1548150552.591 * [misc]backup-simplify: Simplify 1 into 1 1548150552.591 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1548150552.591 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1548150552.591 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1548150552.591 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in a 1548150552.591 * [misc]taylor: Taking taylor expansion of (/ -1 b) in a 1548150552.591 * [misc]taylor: Taking taylor expansion of -1 in a 1548150552.591 * [misc]backup-simplify: Simplify -1 into -1 1548150552.591 * [misc]taylor: Taking taylor expansion of b in a 1548150552.591 * [misc]backup-simplify: Simplify b into b 1548150552.591 * [misc]backup-simplify: Simplify (/ -1 b) into (/ -1 b) 1548150552.591 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1548150552.591 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1548150552.591 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1548150552.591 * [misc]taylor: Taking taylor expansion of -1 in a 1548150552.591 * [misc]backup-simplify: Simplify -1 into -1 1548150552.591 * [misc]taylor: Taking taylor expansion of a in a 1548150552.591 * [misc]backup-simplify: Simplify 0 into 0 1548150552.591 * [misc]backup-simplify: Simplify 1 into 1 1548150552.592 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1548150552.592 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1548150552.592 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1548150552.592 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1548150552.592 * [misc]taylor: Taking taylor expansion of (exp (/ -1 b)) in b 1548150552.592 * [misc]taylor: Taking taylor expansion of (/ -1 b) in b 1548150552.592 * [misc]taylor: Taking taylor expansion of -1 in b 1548150552.592 * [misc]backup-simplify: Simplify -1 into -1 1548150552.592 * [misc]taylor: Taking taylor expansion of b in b 1548150552.592 * [misc]backup-simplify: Simplify 0 into 0 1548150552.592 * [misc]backup-simplify: Simplify 1 into 1 1548150552.592 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1548150552.592 * [misc]backup-simplify: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1548150552.592 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1548150552.592 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1548150552.592 * [misc]taylor: Taking taylor expansion of -1 in b 1548150552.592 * [misc]backup-simplify: Simplify -1 into -1 1548150552.592 * [misc]taylor: Taking taylor expansion of a in b 1548150552.592 * [misc]backup-simplify: Simplify a into a 1548150552.592 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1548150552.592 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1548150552.592 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1548150552.592 * [misc]backup-simplify: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1548150552.592 * [misc]backup-simplify: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0 1548150552.593 * [misc]backup-simplify: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1548150552.593 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150552.593 * [misc]taylor: Taking taylor expansion of 0 in b 1548150552.593 * [misc]backup-simplify: Simplify 0 into 0 1548150552.593 * [misc]backup-simplify: Simplify 0 into 0 1548150552.593 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1548150552.594 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1548150552.594 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150552.594 * [misc]backup-simplify: Simplify 0 into 0 1548150552.594 * [misc]backup-simplify: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1548150552.596 * [misc]backup-simplify: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548150552.596 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150552.596 * [misc]taylor: Taking taylor expansion of 0 in b 1548150552.596 * [misc]backup-simplify: Simplify 0 into 0 1548150552.596 * [misc]backup-simplify: Simplify 0 into 0 1548150552.596 * [misc]backup-simplify: Simplify 0 into 0 1548150552.596 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1548150552.597 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548150552.597 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150552.597 * [misc]backup-simplify: Simplify 0 into 0 1548150552.598 * [misc]backup-simplify: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 1548150552.600 * [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 1548150552.600 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150552.600 * [misc]taylor: Taking taylor expansion of 0 in b 1548150552.600 * [misc]backup-simplify: Simplify 0 into 0 1548150552.600 * [misc]backup-simplify: Simplify 0 into 0 1548150552.600 * [misc]backup-simplify: Simplify (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a))))) into (+ (exp b) (exp a)) 1548150552.600 * * * [misc]progress: simplifying candidates 1548150552.600 * * * * [misc]progress: [ 1 / 58 ] simplifiying candidate # 1548150552.600 * * * * [misc]progress: [ 2 / 58 ] simplifiying candidate # 1548150552.600 * * * * [misc]progress: [ 3 / 58 ] simplifiying candidate # 1548150552.601 * * * * [misc]progress: [ 4 / 58 ] simplifiying candidate # 1548150552.601 * [enter]simplify: Simplifying (- a (log (+ (exp a) (exp b)))) 1548150552.601 * * [misc]simplify: iters left: 6 (7 enodes) 1548150552.602 * * [misc]simplify: iters left: 5 (10 enodes) 1548150552.603 * * [misc]simplify: iters left: 4 (11 enodes) 1548150552.605 * [exit]simplify: Simplified to (- a (log (+ (exp a) (exp b)))) 1548150552.605 * [misc]simplify: Simplified (2 1) to (λ (a b) (exp (- a (log (+ (exp a) (exp b)))))) 1548150552.605 * * * * [misc]progress: [ 5 / 58 ] simplifiying candidate # 1548150552.605 * * * * [misc]progress: [ 6 / 58 ] simplifiying candidate # 1548150552.605 * * * * [misc]progress: [ 7 / 58 ] simplifiying candidate # 1548150552.605 * [enter]simplify: Simplifying (/ (* (* (exp a) (exp a)) (exp a)) (* (* (+ (exp a) (exp b)) (+ (exp a) (exp b))) (+ (exp a) (exp b)))) 1548150552.605 * * [misc]simplify: iters left: 6 (10 enodes) 1548150552.607 * * [misc]simplify: iters left: 5 (34 enodes) 1548150552.618 * * [misc]simplify: iters left: 4 (121 enodes) 1548150552.653 * * [misc]simplify: iters left: 3 (348 enodes) 1548150552.812 * [exit]simplify: Simplified to (pow (/ (exp a) (+ (exp a) (exp b))) 3) 1548150552.813 * [misc]simplify: Simplified (2 1) to (λ (a b) (cbrt (pow (/ (exp a) (+ (exp a) (exp b))) 3))) 1548150552.813 * * * * [misc]progress: [ 8 / 58 ] simplifiying candidate # 1548150552.813 * * * * [misc]progress: [ 9 / 58 ] simplifiying candidate # 1548150552.813 * * * * [misc]progress: [ 10 / 58 ] simplifiying candidate # 1548150552.813 * * * * [misc]progress: [ 11 / 58 ] simplifiying candidate # 1548150552.813 * * * * [misc]progress: [ 12 / 58 ] simplifiying candidate # 1548150552.813 * [enter]simplify: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) 1548150552.814 * * [misc]simplify: iters left: 6 (10 enodes) 1548150552.818 * * [misc]simplify: iters left: 5 (17 enodes) 1548150552.824 * * [misc]simplify: iters left: 4 (26 enodes) 1548150552.834 * * [misc]simplify: iters left: 3 (29 enodes) 1548150552.841 * * [misc]simplify: iters left: 2 (32 enodes) 1548150552.849 * [exit]simplify: Simplified to (* (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))) (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b))))) 1548150552.850 * [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)))))) 1548150552.850 * [enter]simplify: Simplifying (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))) 1548150552.850 * * [misc]simplify: iters left: 6 (8 enodes) 1548150552.852 * * [misc]simplify: iters left: 5 (9 enodes) 1548150552.854 * [exit]simplify: Simplified to (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))) 1548150552.854 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))))) 1548150552.855 * * * * [misc]progress: [ 13 / 58 ] simplifiying candidate # 1548150552.855 * [enter]simplify: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ (exp a) (exp b)))) 1548150552.855 * * [misc]simplify: iters left: 6 (9 enodes) 1548150552.857 * * [misc]simplify: iters left: 5 (12 enodes) 1548150552.858 * * [misc]simplify: iters left: 4 (14 enodes) 1548150552.860 * * [misc]simplify: iters left: 3 (15 enodes) 1548150552.862 * [exit]simplify: Simplified to (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ (exp a) (exp b)))) 1548150552.863 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ (exp a) (exp b)))) (/ (cbrt (exp a)) (sqrt (+ (exp a) (exp b)))))) 1548150552.863 * [enter]simplify: Simplifying (/ (cbrt (exp a)) (sqrt (+ (exp a) (exp b)))) 1548150552.863 * * [misc]simplify: iters left: 6 (8 enodes) 1548150552.864 * * [misc]simplify: iters left: 5 (9 enodes) 1548150552.865 * [exit]simplify: Simplified to (/ (cbrt (exp a)) (sqrt (+ (exp a) (exp b)))) 1548150552.865 * [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)))))) 1548150552.865 * * * * [misc]progress: [ 14 / 58 ] simplifiying candidate # 1548150552.865 * [enter]simplify: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) 1) 1548150552.865 * * [misc]simplify: iters left: 6 (6 enodes) 1548150552.866 * * [misc]simplify: iters left: 5 (10 enodes) 1548150552.868 * * [misc]simplify: iters left: 4 (16 enodes) 1548150552.870 * * [misc]simplify: iters left: 3 (18 enodes) 1548150552.871 * * [misc]simplify: iters left: 2 (23 enodes) 1548150552.875 * [exit]simplify: Simplified to (* (cbrt (exp a)) (cbrt (exp a))) 1548150552.875 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))))) 1548150552.875 * [enter]simplify: Simplifying (/ (cbrt (exp a)) (+ (exp a) (exp b))) 1548150552.875 * * [misc]simplify: iters left: 5 (7 enodes) 1548150552.876 * * [misc]simplify: iters left: 4 (8 enodes) 1548150552.878 * [exit]simplify: Simplified to (/ (cbrt (exp a)) (+ (exp a) (exp b))) 1548150552.878 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))))) 1548150552.878 * * * * [misc]progress: [ 15 / 58 ] simplifiying candidate # 1548150552.878 * [enter]simplify: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) 1) 1548150552.878 * * [misc]simplify: iters left: 6 (6 enodes) 1548150552.880 * * [misc]simplify: iters left: 5 (10 enodes) 1548150552.883 * * [misc]simplify: iters left: 4 (16 enodes) 1548150552.886 * * [misc]simplify: iters left: 3 (18 enodes) 1548150552.890 * * [misc]simplify: iters left: 2 (23 enodes) 1548150552.895 * [exit]simplify: Simplified to (* (cbrt (exp a)) (cbrt (exp a))) 1548150552.895 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))))) 1548150552.895 * [enter]simplify: Simplifying (/ (cbrt (exp a)) (+ (exp a) (exp b))) 1548150552.895 * * [misc]simplify: iters left: 5 (7 enodes) 1548150552.897 * * [misc]simplify: iters left: 4 (8 enodes) 1548150552.899 * [exit]simplify: Simplified to (/ (cbrt (exp a)) (+ (exp a) (exp b))) 1548150552.899 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))))) 1548150552.899 * * * * [misc]progress: [ 16 / 58 ] simplifiying candidate # 1548150552.900 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) 1548150552.900 * * [misc]simplify: iters left: 6 (9 enodes) 1548150552.902 * * [misc]simplify: iters left: 5 (12 enodes) 1548150552.906 * [exit]simplify: Simplified to (/ (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))) (cbrt (+ (exp a) (exp b)))) 1548150552.906 * [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)))))) 1548150552.906 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))) 1548150552.906 * * [misc]simplify: iters left: 6 (8 enodes) 1548150552.908 * * [misc]simplify: iters left: 5 (9 enodes) 1548150552.911 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))) 1548150552.911 * [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)))))) 1548150552.911 * * * * [misc]progress: [ 17 / 58 ] simplifiying candidate # 1548150552.911 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) 1548150552.911 * * [misc]simplify: iters left: 6 (8 enodes) 1548150552.914 * * [misc]simplify: iters left: 5 (9 enodes) 1548150552.916 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) 1548150552.916 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))))) 1548150552.916 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) 1548150552.916 * * [misc]simplify: iters left: 6 (8 enodes) 1548150552.919 * * [misc]simplify: iters left: 5 (9 enodes) 1548150552.923 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) 1548150552.923 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))))) 1548150552.923 * * * * [misc]progress: [ 18 / 58 ] simplifiying candidate # 1548150552.923 * [enter]simplify: Simplifying (/ (sqrt (exp a)) 1) 1548150552.924 * * [misc]simplify: iters left: 4 (5 enodes) 1548150552.925 * * [misc]simplify: iters left: 3 (7 enodes) 1548150552.927 * * [misc]simplify: iters left: 2 (9 enodes) 1548150552.929 * [exit]simplify: Simplified to (sqrt (exp a)) 1548150552.929 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp a) (exp b))))) 1548150552.929 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (+ (exp a) (exp b))) 1548150552.929 * * [misc]simplify: iters left: 5 (7 enodes) 1548150552.931 * * [misc]simplify: iters left: 4 (8 enodes) 1548150552.933 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (+ (exp a) (exp b))) 1548150552.933 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp a) (exp b))))) 1548150552.934 * * * * [misc]progress: [ 19 / 58 ] simplifiying candidate # 1548150552.934 * [enter]simplify: Simplifying (/ (sqrt (exp a)) 1) 1548150552.934 * * [misc]simplify: iters left: 4 (5 enodes) 1548150552.935 * * [misc]simplify: iters left: 3 (7 enodes) 1548150552.938 * * [misc]simplify: iters left: 2 (9 enodes) 1548150552.939 * [exit]simplify: Simplified to (sqrt (exp a)) 1548150552.939 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp a) (exp b))))) 1548150552.940 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (+ (exp a) (exp b))) 1548150552.940 * * [misc]simplify: iters left: 5 (7 enodes) 1548150552.942 * * [misc]simplify: iters left: 4 (8 enodes) 1548150552.944 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (+ (exp a) (exp b))) 1548150552.944 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp a) (exp b))))) 1548150552.944 * * * * [misc]progress: [ 20 / 58 ] simplifiying candidate # 1548150552.945 * [enter]simplify: Simplifying (/ 1 (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) 1548150552.945 * * [misc]simplify: iters left: 6 (9 enodes) 1548150552.948 * * [misc]simplify: iters left: 5 (14 enodes) 1548150552.951 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (+ (exp a) (exp b)))) (cbrt (+ (exp a) (exp b)))) 1548150552.951 * [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)))))) 1548150552.951 * [enter]simplify: Simplifying (/ (exp a) (cbrt (+ (exp a) (exp b)))) 1548150552.952 * * [misc]simplify: iters left: 6 (7 enodes) 1548150552.953 * * [misc]simplify: iters left: 5 (8 enodes) 1548150552.956 * [exit]simplify: Simplified to (/ (exp a) (cbrt (+ (exp a) (exp b)))) 1548150552.956 * [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)))))) 1548150552.956 * * * * [misc]progress: [ 21 / 58 ] simplifiying candidate # 1548150552.956 * [enter]simplify: Simplifying (/ 1 (sqrt (+ (exp a) (exp b)))) 1548150552.956 * * [misc]simplify: iters left: 6 (8 enodes) 1548150552.958 * * [misc]simplify: iters left: 5 (11 enodes) 1548150552.961 * [exit]simplify: Simplified to (/ 1 (sqrt (+ (exp a) (exp b)))) 1548150552.961 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ 1 (sqrt (+ (exp a) (exp b)))) (/ (exp a) (sqrt (+ (exp a) (exp b)))))) 1548150552.962 * [enter]simplify: Simplifying (/ (exp a) (sqrt (+ (exp a) (exp b)))) 1548150552.962 * * [misc]simplify: iters left: 6 (7 enodes) 1548150552.964 * * [misc]simplify: iters left: 5 (8 enodes) 1548150552.966 * [exit]simplify: Simplified to (/ (exp a) (sqrt (+ (exp a) (exp b)))) 1548150552.966 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ 1 (sqrt (+ (exp a) (exp b)))) (/ (exp a) (sqrt (+ (exp a) (exp b)))))) 1548150552.966 * * * * [misc]progress: [ 22 / 58 ] simplifiying candidate # 1548150552.966 * [enter]simplify: Simplifying (/ 1 1) 1548150552.966 * * [misc]simplify: iters left: 2 (2 enodes) 1548150552.967 * * [misc]simplify: iters left: 1 (4 enodes) 1548150552.968 * [exit]simplify: Simplified to 1 1548150552.968 * [misc]simplify: Simplified (2 1) to (λ (a b) (* 1 (/ (exp a) (+ (exp a) (exp b))))) 1548150552.968 * [enter]simplify: Simplifying (/ (exp a) (+ (exp a) (exp b))) 1548150552.968 * * [misc]simplify: iters left: 5 (6 enodes) 1548150552.970 * * [misc]simplify: iters left: 4 (7 enodes) 1548150552.971 * [exit]simplify: Simplified to (/ (exp a) (+ (exp a) (exp b))) 1548150552.971 * [misc]simplify: Simplified (2 2) to (λ (a b) (* 1 (/ (exp a) (+ (exp a) (exp b))))) 1548150552.972 * * * * [misc]progress: [ 23 / 58 ] simplifiying candidate # 1548150552.972 * [enter]simplify: Simplifying (/ 1 1) 1548150552.972 * * [misc]simplify: iters left: 2 (2 enodes) 1548150552.973 * * [misc]simplify: iters left: 1 (4 enodes) 1548150552.973 * [exit]simplify: Simplified to 1 1548150552.973 * [misc]simplify: Simplified (2 1) to (λ (a b) (* 1 (/ (exp a) (+ (exp a) (exp b))))) 1548150552.973 * [enter]simplify: Simplifying (/ (exp a) (+ (exp a) (exp b))) 1548150552.973 * * [misc]simplify: iters left: 5 (6 enodes) 1548150552.975 * * [misc]simplify: iters left: 4 (7 enodes) 1548150552.977 * [exit]simplify: Simplified to (/ (exp a) (+ (exp a) (exp b))) 1548150552.977 * [misc]simplify: Simplified (2 2) to (λ (a b) (* 1 (/ (exp a) (+ (exp a) (exp b))))) 1548150552.977 * * * * [misc]progress: [ 24 / 58 ] simplifiying candidate # 1548150552.977 * * * * [misc]progress: [ 25 / 58 ] simplifiying candidate # 1548150552.977 * * * * [misc]progress: [ 26 / 58 ] simplifiying candidate # 1548150552.978 * * * * [misc]progress: [ 27 / 58 ] simplifiying candidate # 1548150552.978 * [enter]simplify: Simplifying (cbrt (+ (exp a) (exp b))) 1548150552.978 * * [misc]simplify: iters left: 4 (6 enodes) 1548150552.979 * * [misc]simplify: iters left: 3 (7 enodes) 1548150552.981 * [exit]simplify: Simplified to (cbrt (+ (exp a) (exp b))) 1548150552.981 * [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))))) 1548150552.981 * * * * [misc]progress: [ 28 / 58 ] simplifiying candidate # 1548150552.982 * [enter]simplify: Simplifying (sqrt (+ (exp a) (exp b))) 1548150552.982 * * [misc]simplify: iters left: 4 (6 enodes) 1548150552.983 * * [misc]simplify: iters left: 3 (7 enodes) 1548150552.985 * [exit]simplify: Simplified to (sqrt (+ (exp a) (exp b))) 1548150552.985 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (/ (exp a) (sqrt (+ (exp a) (exp b)))) (sqrt (+ (exp a) (exp b))))) 1548150552.985 * * * * [misc]progress: [ 29 / 58 ] simplifiying candidate # 1548150552.986 * [enter]simplify: Simplifying (+ (exp a) (exp b)) 1548150552.986 * * [misc]simplify: iters left: 3 (5 enodes) 1548150552.987 * * [misc]simplify: iters left: 2 (6 enodes) 1548150552.988 * [exit]simplify: Simplified to (+ (exp a) (exp b)) 1548150552.989 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (/ (exp a) 1) (+ (exp a) (exp b)))) 1548150552.989 * * * * [misc]progress: [ 30 / 58 ] simplifiying candidate # 1548150552.989 * [enter]simplify: Simplifying (+ (exp a) (exp b)) 1548150552.989 * * [misc]simplify: iters left: 3 (5 enodes) 1548150552.990 * * [misc]simplify: iters left: 2 (6 enodes) 1548150552.992 * [exit]simplify: Simplified to (+ (exp a) (exp b)) 1548150552.992 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (/ (exp a) 1) (+ (exp a) (exp b)))) 1548150552.992 * * * * [misc]progress: [ 31 / 58 ] simplifiying candidate # 1548150552.992 * [enter]simplify: Simplifying (* (cbrt (exp a)) (cbrt (exp a))) 1548150552.992 * * [misc]simplify: iters left: 4 (4 enodes) 1548150552.993 * [exit]simplify: Simplified to (* (cbrt (exp a)) (cbrt (exp a))) 1548150552.993 * [misc]simplify: Simplified (2 1) to (λ (a b) (/ (* (cbrt (exp a)) (cbrt (exp a))) (/ (+ (exp a) (exp b)) (cbrt (exp a))))) 1548150552.993 * * * * [misc]progress: [ 32 / 58 ] simplifiying candidate # 1548150552.994 * [enter]simplify: Simplifying (sqrt (exp a)) 1548150552.994 * * [misc]simplify: iters left: 2 (3 enodes) 1548150552.995 * [exit]simplify: Simplified to (sqrt (exp a)) 1548150552.995 * [misc]simplify: Simplified (2 1) to (λ (a b) (/ (sqrt (exp a)) (/ (+ (exp a) (exp b)) (sqrt (exp a))))) 1548150552.995 * * * * [misc]progress: [ 33 / 58 ] simplifiying candidate # 1548150552.995 * * * * [misc]progress: [ 34 / 58 ] simplifiying candidate # 1548150552.995 * [enter]simplify: Simplifying (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))) 1548150552.995 * * [misc]simplify: iters left: 6 (9 enodes) 1548150552.998 * * [misc]simplify: iters left: 5 (25 enodes) 1548150553.006 * * [misc]simplify: iters left: 4 (44 enodes) 1548150553.016 * * [misc]simplify: iters left: 3 (70 enodes) 1548150553.026 * * [misc]simplify: iters left: 2 (92 enodes) 1548150553.042 * * [misc]simplify: iters left: 1 (116 enodes) 1548150553.077 * [exit]simplify: Simplified to (fma (exp b) (- (exp b) (exp a)) (exp (+ a a))) 1548150553.077 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp b) (- (exp b) (exp a)) (exp (+ a a))))) 1548150553.077 * * * * [misc]progress: [ 35 / 58 ] simplifiying candidate # 1548150553.077 * [enter]simplify: Simplifying (- (exp a) (exp b)) 1548150553.078 * * [misc]simplify: iters left: 3 (5 enodes) 1548150553.078 * * [misc]simplify: iters left: 2 (7 enodes) 1548150553.079 * * [misc]simplify: iters left: 1 (8 enodes) 1548150553.080 * [exit]simplify: Simplified to (- (exp a) (exp b)) 1548150553.080 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (exp a) (- (* (exp a) (exp a)) (* (exp b) (exp b)))) (- (exp a) (exp b)))) 1548150553.080 * * * * [misc]progress: [ 36 / 58 ] simplifiying candidate # 1548150553.080 * * * * [misc]progress: [ 37 / 58 ] simplifiying candidate # 1548150553.080 * * * * [misc]progress: [ 38 / 58 ] simplifiying candidate # 1548150553.081 * [enter]simplify: Simplifying (* (cbrt (exp a)) (cbrt (exp a))) 1548150553.081 * * [misc]simplify: iters left: 4 (4 enodes) 1548150553.081 * [exit]simplify: Simplified to (* (cbrt (exp a)) (cbrt (exp a))) 1548150553.081 * [misc]simplify: Simplified (2 2 1) to (λ (a b) (/ (exp a) (fma (* (cbrt (exp a)) (cbrt (exp a))) (cbrt (exp a)) (exp b)))) 1548150553.081 * * * * [misc]progress: [ 39 / 58 ] simplifiying candidate # 1548150553.081 * [enter]simplify: Simplifying (sqrt (exp a)) 1548150553.081 * * [misc]simplify: iters left: 2 (3 enodes) 1548150553.082 * [exit]simplify: Simplified to (sqrt (exp a)) 1548150553.082 * [misc]simplify: Simplified (2 2 1) to (λ (a b) (/ (exp a) (fma (sqrt (exp a)) (sqrt (exp a)) (exp b)))) 1548150553.082 * * * * [misc]progress: [ 40 / 58 ] simplifiying candidate # 1548150553.082 * * * * [misc]progress: [ 41 / 58 ] simplifiying candidate # 1548150553.082 * [enter]simplify: Simplifying (* (exp (exp a)) (exp (exp b))) 1548150553.082 * * [misc]simplify: iters left: 4 (7 enodes) 1548150553.083 * * [misc]simplify: iters left: 3 (10 enodes) 1548150553.084 * * [misc]simplify: iters left: 2 (12 enodes) 1548150553.086 * [exit]simplify: Simplified to (exp (+ (exp a) (exp b))) 1548150553.086 * [misc]simplify: Simplified (2 2 1) to (λ (a b) (/ (exp a) (log (exp (+ (exp a) (exp b)))))) 1548150553.086 * * * * [misc]progress: [ 42 / 58 ] simplifiying candidate # 1548150553.086 * * * * [misc]progress: [ 43 / 58 ] simplifiying candidate # 1548150553.086 * * * * [misc]progress: [ 44 / 58 ] simplifiying candidate # 1548150553.086 * * * * [misc]progress: [ 45 / 58 ] simplifiying candidate # 1548150553.086 * * * * [misc]progress: [ 46 / 58 ] simplifiying candidate # 1548150553.086 * * * * [misc]progress: [ 47 / 58 ] simplifiying candidate # 1548150553.086 * * * * [misc]progress: [ 48 / 58 ] simplifiying candidate # 1548150553.086 * * * * [misc]progress: [ 49 / 58 ] simplifiying candidate # 1548150553.086 * * * * [misc]progress: [ 50 / 58 ] simplifiying candidate # 1548150553.086 * * * * [misc]progress: [ 51 / 58 ] simplifiying candidate # 1548150553.086 * [enter]simplify: Simplifying (+ (exp a) (exp b)) 1548150553.086 * * [misc]simplify: iters left: 3 (5 enodes) 1548150553.087 * * [misc]simplify: iters left: 2 (6 enodes) 1548150553.088 * [exit]simplify: Simplified to (+ (exp a) (exp b)) 1548150553.088 * [misc]simplify: Simplified (2 2 2) to (λ (a b) (/ (exp a) (* 1 (+ (exp a) (exp b))))) 1548150553.088 * * * * [misc]progress: [ 52 / 58 ] simplifiying candidate # 1548150553.088 * * * * [misc]progress: [ 53 / 58 ] simplifiying candidate # 1548150553.088 * [enter]simplify: Simplifying (- (+ (* 1/4 a) 1/2) (* 1/4 b)) 1548150553.088 * * [misc]simplify: iters left: 6 (8 enodes) 1548150553.089 * * [misc]simplify: iters left: 5 (16 enodes) 1548150553.092 * * [misc]simplify: iters left: 4 (34 enodes) 1548150553.097 * * [misc]simplify: iters left: 3 (51 enodes) 1548150553.104 * * [misc]simplify: iters left: 2 (70 enodes) 1548150553.114 * * [misc]simplify: iters left: 1 (83 enodes) 1548150553.137 * [exit]simplify: Simplified to (fma 1/4 (- a b) 1/2) 1548150553.137 * [misc]simplify: Simplified (2) to (λ (a b) (fma 1/4 (- a b) 1/2)) 1548150553.137 * * * * [misc]progress: [ 54 / 58 ] simplifiying candidate # 1548150553.138 * [enter]simplify: Simplifying (/ (exp a) (+ (exp b) (exp a))) 1548150553.138 * * [misc]simplify: iters left: 5 (6 enodes) 1548150553.139 * * [misc]simplify: iters left: 4 (7 enodes) 1548150553.141 * [exit]simplify: Simplified to (/ (exp a) (+ (exp a) (exp b))) 1548150553.141 * [misc]simplify: Simplified (2) to (λ (a b) (/ (exp a) (+ (exp a) (exp b)))) 1548150553.141 * * * * [misc]progress: [ 55 / 58 ] simplifiying candidate # 1548150553.142 * [enter]simplify: Simplifying (/ (exp a) (+ (exp b) (exp a))) 1548150553.142 * * [misc]simplify: iters left: 5 (6 enodes) 1548150553.144 * * [misc]simplify: iters left: 4 (7 enodes) 1548150553.145 * [exit]simplify: Simplified to (/ (exp a) (+ (exp a) (exp b))) 1548150553.145 * [misc]simplify: Simplified (2) to (λ (a b) (/ (exp a) (+ (exp a) (exp b)))) 1548150553.145 * * * * [misc]progress: [ 56 / 58 ] simplifiying candidate # 1548150553.145 * [enter]simplify: Simplifying (+ a (+ b 2)) 1548150553.145 * * [misc]simplify: iters left: 4 (5 enodes) 1548150553.146 * * [misc]simplify: iters left: 3 (9 enodes) 1548150553.147 * * [misc]simplify: iters left: 2 (15 enodes) 1548150553.149 * * [misc]simplify: iters left: 1 (17 enodes) 1548150553.151 * [exit]simplify: Simplified to (+ (+ b a) 2) 1548150553.151 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (exp a) (+ (+ b a) 2))) 1548150553.151 * * * * [misc]progress: [ 57 / 58 ] simplifiying candidate # 1548150553.151 * [enter]simplify: Simplifying (+ (exp b) (exp a)) 1548150553.151 * * [misc]simplify: iters left: 3 (5 enodes) 1548150553.152 * * [misc]simplify: iters left: 2 (6 enodes) 1548150553.152 * [exit]simplify: Simplified to (+ (exp b) (exp a)) 1548150553.153 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (exp a) (+ (exp b) (exp a)))) 1548150553.153 * * * * [misc]progress: [ 58 / 58 ] simplifiying candidate # 1548150553.153 * [enter]simplify: Simplifying (+ (exp b) (exp a)) 1548150553.153 * * [misc]simplify: iters left: 3 (5 enodes) 1548150553.153 * * [misc]simplify: iters left: 2 (6 enodes) 1548150553.154 * [exit]simplify: Simplified to (+ (exp b) (exp a)) 1548150553.154 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (exp a) (+ (exp b) (exp a)))) 1548150553.154 * * * [misc]progress: adding candidates to table 1548150553.748 * * [misc]progress: iteration 2 / 4 1548150553.748 * * * [misc]progress: picking best candidate 1548150553.756 * * * * [misc]pick: Picked # 1548150553.756 * * * [misc]progress: localizing error 1548150553.771 * * * [misc]progress: generating rewritten candidates 1548150553.771 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1548150553.775 * * * [misc]progress: generating series expansions 1548150553.775 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1548150553.776 * [misc]backup-simplify: Simplify (/ (exp a) (+ a (+ b 2))) into (/ (exp a) (+ a (+ b 2))) 1548150553.776 * [misc]approximate: Taking taylor expansion of (/ (exp a) (+ a (+ b 2))) in (a b) around 0 1548150553.776 * [misc]taylor: Taking taylor expansion of (/ (exp a) (+ a (+ b 2))) in b 1548150553.776 * [misc]taylor: Taking taylor expansion of (exp a) in b 1548150553.776 * [misc]taylor: Taking taylor expansion of a in b 1548150553.776 * [misc]backup-simplify: Simplify a into a 1548150553.776 * [misc]backup-simplify: Simplify (exp a) into (exp a) 1548150553.776 * [misc]taylor: Taking taylor expansion of (+ a (+ b 2)) in b 1548150553.776 * [misc]taylor: Taking taylor expansion of a in b 1548150553.776 * [misc]backup-simplify: Simplify a into a 1548150553.776 * [misc]taylor: Taking taylor expansion of (+ b 2) in b 1548150553.776 * [misc]taylor: Taking taylor expansion of b in b 1548150553.776 * [misc]backup-simplify: Simplify 0 into 0 1548150553.776 * [misc]backup-simplify: Simplify 1 into 1 1548150553.776 * [misc]taylor: Taking taylor expansion of 2 in b 1548150553.776 * [misc]backup-simplify: Simplify 2 into 2 1548150553.776 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1548150553.776 * [misc]backup-simplify: Simplify (+ a 2) into (+ a 2) 1548150553.776 * [misc]backup-simplify: Simplify (/ (exp a) (+ a 2)) into (/ (exp a) (+ a 2)) 1548150553.776 * [misc]taylor: Taking taylor expansion of (/ (exp a) (+ a (+ b 2))) in a 1548150553.776 * [misc]taylor: Taking taylor expansion of (exp a) in a 1548150553.776 * [misc]taylor: Taking taylor expansion of a in a 1548150553.776 * [misc]backup-simplify: Simplify 0 into 0 1548150553.776 * [misc]backup-simplify: Simplify 1 into 1 1548150553.776 * [misc]backup-simplify: Simplify (exp 0) into 1 1548150553.776 * [misc]taylor: Taking taylor expansion of (+ a (+ b 2)) in a 1548150553.776 * [misc]taylor: Taking taylor expansion of a in a 1548150553.776 * [misc]backup-simplify: Simplify 0 into 0 1548150553.776 * [misc]backup-simplify: Simplify 1 into 1 1548150553.776 * [misc]taylor: Taking taylor expansion of (+ b 2) in a 1548150553.776 * [misc]taylor: Taking taylor expansion of b in a 1548150553.776 * [misc]backup-simplify: Simplify b into b 1548150553.776 * [misc]taylor: Taking taylor expansion of 2 in a 1548150553.776 * [misc]backup-simplify: Simplify 2 into 2 1548150553.776 * [misc]backup-simplify: Simplify (+ b 2) into (+ b 2) 1548150553.776 * [misc]backup-simplify: Simplify (+ 0 (+ b 2)) into (+ b 2) 1548150553.776 * [misc]backup-simplify: Simplify (/ 1 (+ b 2)) into (/ 1 (+ b 2)) 1548150553.777 * [misc]taylor: Taking taylor expansion of (/ (exp a) (+ a (+ b 2))) in a 1548150553.777 * [misc]taylor: Taking taylor expansion of (exp a) in a 1548150553.777 * [misc]taylor: Taking taylor expansion of a in a 1548150553.777 * [misc]backup-simplify: Simplify 0 into 0 1548150553.777 * [misc]backup-simplify: Simplify 1 into 1 1548150553.777 * [misc]backup-simplify: Simplify (exp 0) into 1 1548150553.777 * [misc]taylor: Taking taylor expansion of (+ a (+ b 2)) in a 1548150553.777 * [misc]taylor: Taking taylor expansion of a in a 1548150553.777 * [misc]backup-simplify: Simplify 0 into 0 1548150553.777 * [misc]backup-simplify: Simplify 1 into 1 1548150553.777 * [misc]taylor: Taking taylor expansion of (+ b 2) in a 1548150553.777 * [misc]taylor: Taking taylor expansion of b in a 1548150553.777 * [misc]backup-simplify: Simplify b into b 1548150553.777 * [misc]taylor: Taking taylor expansion of 2 in a 1548150553.777 * [misc]backup-simplify: Simplify 2 into 2 1548150553.777 * [misc]backup-simplify: Simplify (+ b 2) into (+ b 2) 1548150553.777 * [misc]backup-simplify: Simplify (+ 0 (+ b 2)) into (+ b 2) 1548150553.777 * [misc]backup-simplify: Simplify (/ 1 (+ b 2)) into (/ 1 (+ b 2)) 1548150553.777 * [misc]taylor: Taking taylor expansion of (/ 1 (+ b 2)) in b 1548150553.777 * [misc]taylor: Taking taylor expansion of (+ b 2) in b 1548150553.777 * [misc]taylor: Taking taylor expansion of b in b 1548150553.777 * [misc]backup-simplify: Simplify 0 into 0 1548150553.777 * [misc]backup-simplify: Simplify 1 into 1 1548150553.777 * [misc]taylor: Taking taylor expansion of 2 in b 1548150553.777 * [misc]backup-simplify: Simplify 2 into 2 1548150553.777 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1548150553.777 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 1548150553.777 * [misc]backup-simplify: Simplify 1/2 into 1/2 1548150553.778 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1548150553.779 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150553.779 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548150553.779 * [misc]backup-simplify: Simplify (- (/ 1 (+ b 2)) (+ (* (/ 1 (+ b 2)) (/ 1 (+ b 2))))) into (- (/ 1 (+ b 2)) (/ 1 (pow (+ b 2) 2))) 1548150553.779 * [misc]taylor: Taking taylor expansion of (- (/ 1 (+ b 2)) (/ 1 (pow (+ b 2) 2))) in b 1548150553.779 * [misc]taylor: Taking taylor expansion of (/ 1 (+ b 2)) in b 1548150553.779 * [misc]taylor: Taking taylor expansion of (+ b 2) in b 1548150553.779 * [misc]taylor: Taking taylor expansion of b in b 1548150553.779 * [misc]backup-simplify: Simplify 0 into 0 1548150553.779 * [misc]backup-simplify: Simplify 1 into 1 1548150553.779 * [misc]taylor: Taking taylor expansion of 2 in b 1548150553.779 * [misc]backup-simplify: Simplify 2 into 2 1548150553.779 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1548150553.779 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 1548150553.779 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (+ b 2) 2)) in b 1548150553.779 * [misc]taylor: Taking taylor expansion of (pow (+ b 2) 2) in b 1548150553.779 * [misc]taylor: Taking taylor expansion of (+ b 2) in b 1548150553.779 * [misc]taylor: Taking taylor expansion of b in b 1548150553.779 * [misc]backup-simplify: Simplify 0 into 0 1548150553.779 * [misc]backup-simplify: Simplify 1 into 1 1548150553.779 * [misc]taylor: Taking taylor expansion of 2 in b 1548150553.779 * [misc]backup-simplify: Simplify 2 into 2 1548150553.780 * [misc]backup-simplify: Simplify (+ 0 2) into 2 1548150553.780 * [misc]backup-simplify: Simplify (* 2 2) into 4 1548150553.780 * [misc]backup-simplify: Simplify (/ 1 4) into 1/4 1548150553.780 * [misc]backup-simplify: Simplify (- 1/4) into -1/4 1548150553.780 * [misc]backup-simplify: Simplify (+ 1/2 -1/4) into 1/4 1548150553.780 * [misc]backup-simplify: Simplify 1/4 into 1/4 1548150553.780 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548150553.780 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 1 2)))) into -1/4 1548150553.780 * [misc]backup-simplify: Simplify -1/4 into -1/4 1548150553.780 * [misc]backup-simplify: Simplify (+ (* -1/4 (* b 1)) (+ (* 1/4 (* 1 a)) 1/2)) into (- (+ (* 1/4 a) 1/2) (* 1/4 b)) 1548150553.781 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) (+ (/ 1 a) (+ (/ 1 b) 2))) into (/ (exp (/ 1 a)) (+ (/ 1 a) (+ (/ 1 b) 2))) 1548150553.781 * [misc]approximate: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (/ 1 a) (+ (/ 1 b) 2))) in (a b) around 0 1548150553.781 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (/ 1 a) (+ (/ 1 b) 2))) in b 1548150553.781 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1548150553.781 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1548150553.781 * [misc]taylor: Taking taylor expansion of a in b 1548150553.781 * [misc]backup-simplify: Simplify a into a 1548150553.781 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1548150553.781 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1548150553.781 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) 2)) in b 1548150553.781 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1548150553.781 * [misc]taylor: Taking taylor expansion of a in b 1548150553.781 * [misc]backup-simplify: Simplify a into a 1548150553.781 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1548150553.781 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) 2) in b 1548150553.781 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1548150553.781 * [misc]taylor: Taking taylor expansion of b in b 1548150553.781 * [misc]backup-simplify: Simplify 0 into 0 1548150553.781 * [misc]backup-simplify: Simplify 1 into 1 1548150553.781 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548150553.781 * [misc]taylor: Taking taylor expansion of 2 in b 1548150553.781 * [misc]backup-simplify: Simplify 2 into 2 1548150553.781 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548150553.781 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548150553.781 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) 1) into (exp (/ 1 a)) 1548150553.781 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (/ 1 a) (+ (/ 1 b) 2))) in a 1548150553.781 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1548150553.781 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1548150553.781 * [misc]taylor: Taking taylor expansion of a in a 1548150553.781 * [misc]backup-simplify: Simplify 0 into 0 1548150553.781 * [misc]backup-simplify: Simplify 1 into 1 1548150553.781 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548150553.782 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1548150553.782 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) 2)) in a 1548150553.782 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1548150553.782 * [misc]taylor: Taking taylor expansion of a in a 1548150553.782 * [misc]backup-simplify: Simplify 0 into 0 1548150553.782 * [misc]backup-simplify: Simplify 1 into 1 1548150553.782 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548150553.782 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) 2) in a 1548150553.782 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1548150553.782 * [misc]taylor: Taking taylor expansion of b in a 1548150553.782 * [misc]backup-simplify: Simplify b into b 1548150553.782 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1548150553.782 * [misc]taylor: Taking taylor expansion of 2 in a 1548150553.782 * [misc]backup-simplify: Simplify 2 into 2 1548150553.782 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548150553.782 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) 1) into (exp (/ 1 a)) 1548150553.782 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (/ 1 a) (+ (/ 1 b) 2))) in a 1548150553.782 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in a 1548150553.782 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1548150553.782 * [misc]taylor: Taking taylor expansion of a in a 1548150553.782 * [misc]backup-simplify: Simplify 0 into 0 1548150553.782 * [misc]backup-simplify: Simplify 1 into 1 1548150553.782 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548150553.782 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1548150553.782 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 b) 2)) in a 1548150553.782 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1548150553.782 * [misc]taylor: Taking taylor expansion of a in a 1548150553.782 * [misc]backup-simplify: Simplify 0 into 0 1548150553.782 * [misc]backup-simplify: Simplify 1 into 1 1548150553.782 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548150553.782 * [misc]taylor: Taking taylor expansion of (+ (/ 1 b) 2) in a 1548150553.782 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1548150553.782 * [misc]taylor: Taking taylor expansion of b in a 1548150553.783 * [misc]backup-simplify: Simplify b into b 1548150553.783 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1548150553.783 * [misc]taylor: Taking taylor expansion of 2 in a 1548150553.783 * [misc]backup-simplify: Simplify 2 into 2 1548150553.783 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548150553.783 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) 1) into (exp (/ 1 a)) 1548150553.783 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1548150553.783 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1548150553.783 * [misc]taylor: Taking taylor expansion of a in b 1548150553.783 * [misc]backup-simplify: Simplify a into a 1548150553.783 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1548150553.783 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1548150553.783 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1548150553.784 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1548150553.784 * [misc]backup-simplify: Simplify 0 into 0 1548150553.784 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548150553.784 * [misc]backup-simplify: Simplify (+ (/ 1 b) 2) into (+ (/ 1 b) 2) 1548150553.784 * [misc]backup-simplify: Simplify (+ 0 (+ (/ 1 b) 2)) into (+ (/ 1 b) 2) 1548150553.784 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ 1 a)) (/ (+ (/ 1 b) 2) 1)))) into (- (+ (* 2 (exp (/ 1 a))) (/ (exp (/ 1 a)) b))) 1548150553.784 * [misc]taylor: Taking taylor expansion of (- (+ (* 2 (exp (/ 1 a))) (/ (exp (/ 1 a)) b))) in b 1548150553.784 * [misc]taylor: Taking taylor expansion of (+ (* 2 (exp (/ 1 a))) (/ (exp (/ 1 a)) b)) in b 1548150553.784 * [misc]taylor: Taking taylor expansion of (* 2 (exp (/ 1 a))) in b 1548150553.784 * [misc]taylor: Taking taylor expansion of 2 in b 1548150553.784 * [misc]backup-simplify: Simplify 2 into 2 1548150553.784 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1548150553.784 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1548150553.784 * [misc]taylor: Taking taylor expansion of a in b 1548150553.784 * [misc]backup-simplify: Simplify a into a 1548150553.785 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1548150553.785 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1548150553.785 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) b) in b 1548150553.785 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1548150553.785 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1548150553.785 * [misc]taylor: Taking taylor expansion of a in b 1548150553.785 * [misc]backup-simplify: Simplify a into a 1548150553.785 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1548150553.785 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1548150553.785 * [misc]taylor: Taking taylor expansion of b in b 1548150553.785 * [misc]backup-simplify: Simplify 0 into 0 1548150553.785 * [misc]backup-simplify: Simplify 1 into 1 1548150553.785 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) 1) into (exp (/ 1 a)) 1548150553.785 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1548150553.786 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1548150553.786 * [misc]backup-simplify: Simplify (+ (* 2 0) (* 0 (exp (/ 1 a)))) into 0 1548150553.786 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1548150553.786 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1548150553.787 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548150553.788 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1548150553.788 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ 1 a)) (/ 0 1)))) into 0 1548150553.788 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548150553.788 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150553.788 * [misc]backup-simplify: Simplify (- 0) into 0 1548150553.788 * [misc]backup-simplify: Simplify 0 into 0 1548150553.788 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1548150553.792 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548150553.792 * [misc]backup-simplify: Simplify 0 into 0 1548150553.794 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548150553.794 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1548150553.794 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150553.794 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150553.794 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ 1 a)) (/ 0 1)) (* (- (+ (* 2 (exp (/ 1 a))) (/ (exp (/ 1 a)) b))) (/ (+ (/ 1 b) 2) 1)))) into (+ (* 4 (exp (/ 1 a))) (+ (/ (exp (/ 1 a)) (pow b 2)) (* 4 (/ (exp (/ 1 a)) b)))) 1548150553.794 * [misc]taylor: Taking taylor expansion of (+ (* 4 (exp (/ 1 a))) (+ (/ (exp (/ 1 a)) (pow b 2)) (* 4 (/ (exp (/ 1 a)) b)))) in b 1548150553.794 * [misc]taylor: Taking taylor expansion of (* 4 (exp (/ 1 a))) in b 1548150553.794 * [misc]taylor: Taking taylor expansion of 4 in b 1548150553.794 * [misc]backup-simplify: Simplify 4 into 4 1548150553.794 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1548150553.794 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1548150553.794 * [misc]taylor: Taking taylor expansion of a in b 1548150553.794 * [misc]backup-simplify: Simplify a into a 1548150553.794 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1548150553.795 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1548150553.795 * [misc]taylor: Taking taylor expansion of (+ (/ (exp (/ 1 a)) (pow b 2)) (* 4 (/ (exp (/ 1 a)) b))) in b 1548150553.795 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) (pow b 2)) in b 1548150553.795 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1548150553.795 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1548150553.795 * [misc]taylor: Taking taylor expansion of a in b 1548150553.795 * [misc]backup-simplify: Simplify a into a 1548150553.795 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1548150553.795 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1548150553.795 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1548150553.795 * [misc]taylor: Taking taylor expansion of b in b 1548150553.795 * [misc]backup-simplify: Simplify 0 into 0 1548150553.795 * [misc]backup-simplify: Simplify 1 into 1 1548150553.795 * [misc]backup-simplify: Simplify (* 1 1) into 1 1548150553.795 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) 1) into (exp (/ 1 a)) 1548150553.795 * [misc]taylor: Taking taylor expansion of (* 4 (/ (exp (/ 1 a)) b)) in b 1548150553.795 * [misc]taylor: Taking taylor expansion of 4 in b 1548150553.795 * [misc]backup-simplify: Simplify 4 into 4 1548150553.795 * [misc]taylor: Taking taylor expansion of (/ (exp (/ 1 a)) b) in b 1548150553.795 * [misc]taylor: Taking taylor expansion of (exp (/ 1 a)) in b 1548150553.795 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1548150553.795 * [misc]taylor: Taking taylor expansion of a in b 1548150553.795 * [misc]backup-simplify: Simplify a into a 1548150553.795 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1548150553.795 * [misc]backup-simplify: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1548150553.795 * [misc]taylor: Taking taylor expansion of b in b 1548150553.795 * [misc]backup-simplify: Simplify 0 into 0 1548150553.795 * [misc]backup-simplify: Simplify 1 into 1 1548150553.795 * [misc]backup-simplify: Simplify (/ (exp (/ 1 a)) 1) into (exp (/ 1 a)) 1548150553.795 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1548150553.796 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1548150553.796 * [misc]backup-simplify: Simplify (+ (* 4 0) (* 0 (exp (/ 1 a)))) into 0 1548150553.796 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1548150553.796 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1548150553.796 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 1548150553.798 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1548150553.798 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1548150553.799 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1548150553.799 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1548150553.799 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ 1 a)) (/ 0 1)))) into 0 1548150553.800 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1548150553.801 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548150553.801 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548150553.802 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548150553.802 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1548150553.802 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1548150553.803 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548150553.804 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1548150553.804 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ 1 a)) (/ 0 1)))) into 0 1548150553.804 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548150553.804 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 (exp (/ 1 a))))) into 0 1548150553.805 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150553.805 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150553.805 * [misc]backup-simplify: Simplify 0 into 0 1548150553.805 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1548150553.806 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548150553.806 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (exp (/ 1 a))))) into 0 1548150553.806 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 1548150553.808 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1548150553.809 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548150553.809 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150553.809 * [misc]backup-simplify: Simplify (- 0) into 0 1548150553.809 * [misc]backup-simplify: Simplify 0 into 0 1548150553.809 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 1548150553.812 * [misc]backup-simplify: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1548150553.812 * [misc]backup-simplify: Simplify 0 into 0 1548150553.812 * [misc]backup-simplify: Simplify 0 into 0 1548150553.812 * [misc]backup-simplify: Simplify (/ (exp (/ 1 (- a))) (+ (/ 1 (- a)) (+ (/ 1 (- b)) 2))) into (/ (exp (/ -1 a)) (- 2 (+ (/ 1 a) (/ 1 b)))) 1548150553.812 * [misc]approximate: Taking taylor expansion of (/ (exp (/ -1 a)) (- 2 (+ (/ 1 a) (/ 1 b)))) in (a b) around 0 1548150553.812 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) (- 2 (+ (/ 1 a) (/ 1 b)))) in b 1548150553.813 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1548150553.813 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1548150553.813 * [misc]taylor: Taking taylor expansion of -1 in b 1548150553.813 * [misc]backup-simplify: Simplify -1 into -1 1548150553.813 * [misc]taylor: Taking taylor expansion of a in b 1548150553.813 * [misc]backup-simplify: Simplify a into a 1548150553.813 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1548150553.813 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1548150553.813 * [misc]taylor: Taking taylor expansion of (- 2 (+ (/ 1 a) (/ 1 b))) in b 1548150553.813 * [misc]taylor: Taking taylor expansion of 2 in b 1548150553.813 * [misc]backup-simplify: Simplify 2 into 2 1548150553.813 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 1548150553.813 * [misc]taylor: Taking taylor expansion of (/ 1 a) in b 1548150553.813 * [misc]taylor: Taking taylor expansion of a in b 1548150553.813 * [misc]backup-simplify: Simplify a into a 1548150553.813 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1548150553.813 * [misc]taylor: Taking taylor expansion of (/ 1 b) in b 1548150553.813 * [misc]taylor: Taking taylor expansion of b in b 1548150553.813 * [misc]backup-simplify: Simplify 0 into 0 1548150553.813 * [misc]backup-simplify: Simplify 1 into 1 1548150553.813 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548150553.813 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1548150553.814 * [misc]backup-simplify: Simplify (- 1) into -1 1548150553.814 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548150553.814 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) -1) into (* -1 (exp (/ -1 a))) 1548150553.814 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) (- 2 (+ (/ 1 a) (/ 1 b)))) in a 1548150553.814 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1548150553.814 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1548150553.814 * [misc]taylor: Taking taylor expansion of -1 in a 1548150553.814 * [misc]backup-simplify: Simplify -1 into -1 1548150553.814 * [misc]taylor: Taking taylor expansion of a in a 1548150553.814 * [misc]backup-simplify: Simplify 0 into 0 1548150553.814 * [misc]backup-simplify: Simplify 1 into 1 1548150553.814 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1548150553.814 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1548150553.814 * [misc]taylor: Taking taylor expansion of (- 2 (+ (/ 1 a) (/ 1 b))) in a 1548150553.814 * [misc]taylor: Taking taylor expansion of 2 in a 1548150553.815 * [misc]backup-simplify: Simplify 2 into 2 1548150553.815 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 1548150553.815 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1548150553.815 * [misc]taylor: Taking taylor expansion of a in a 1548150553.815 * [misc]backup-simplify: Simplify 0 into 0 1548150553.815 * [misc]backup-simplify: Simplify 1 into 1 1548150553.815 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548150553.815 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1548150553.815 * [misc]taylor: Taking taylor expansion of b in a 1548150553.815 * [misc]backup-simplify: Simplify b into b 1548150553.815 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1548150553.815 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548150553.815 * [misc]backup-simplify: Simplify (- 1) into -1 1548150553.815 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548150553.816 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) -1) into (* -1 (exp (/ -1 a))) 1548150553.816 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) (- 2 (+ (/ 1 a) (/ 1 b)))) in a 1548150553.816 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in a 1548150553.816 * [misc]taylor: Taking taylor expansion of (/ -1 a) in a 1548150553.816 * [misc]taylor: Taking taylor expansion of -1 in a 1548150553.816 * [misc]backup-simplify: Simplify -1 into -1 1548150553.816 * [misc]taylor: Taking taylor expansion of a in a 1548150553.816 * [misc]backup-simplify: Simplify 0 into 0 1548150553.816 * [misc]backup-simplify: Simplify 1 into 1 1548150553.816 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1548150553.816 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1548150553.816 * [misc]taylor: Taking taylor expansion of (- 2 (+ (/ 1 a) (/ 1 b))) in a 1548150553.816 * [misc]taylor: Taking taylor expansion of 2 in a 1548150553.816 * [misc]backup-simplify: Simplify 2 into 2 1548150553.816 * [misc]taylor: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 1548150553.816 * [misc]taylor: Taking taylor expansion of (/ 1 a) in a 1548150553.816 * [misc]taylor: Taking taylor expansion of a in a 1548150553.816 * [misc]backup-simplify: Simplify 0 into 0 1548150553.816 * [misc]backup-simplify: Simplify 1 into 1 1548150553.816 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1548150553.816 * [misc]taylor: Taking taylor expansion of (/ 1 b) in a 1548150553.816 * [misc]taylor: Taking taylor expansion of b in a 1548150553.817 * [misc]backup-simplify: Simplify b into b 1548150553.817 * [misc]backup-simplify: Simplify (/ 1 b) into (/ 1 b) 1548150553.817 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1548150553.817 * [misc]backup-simplify: Simplify (- 1) into -1 1548150553.817 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1548150553.817 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) -1) into (* -1 (exp (/ -1 a))) 1548150553.817 * [misc]taylor: Taking taylor expansion of (* -1 (exp (/ -1 a))) in b 1548150553.817 * [misc]taylor: Taking taylor expansion of -1 in b 1548150553.817 * [misc]backup-simplify: Simplify -1 into -1 1548150553.817 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1548150553.817 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1548150553.817 * [misc]taylor: Taking taylor expansion of -1 in b 1548150553.817 * [misc]backup-simplify: Simplify -1 into -1 1548150553.817 * [misc]taylor: Taking taylor expansion of a in b 1548150553.817 * [misc]backup-simplify: Simplify a into a 1548150553.818 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1548150553.818 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1548150553.818 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1548150553.819 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1548150553.819 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (exp (/ -1 a)))) into 0 1548150553.819 * [misc]backup-simplify: Simplify 0 into 0 1548150553.819 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1548150553.820 * [misc]backup-simplify: Simplify (+ 0 (/ 1 b)) into (/ 1 b) 1548150553.820 * [misc]backup-simplify: Simplify (- (/ 1 b)) into (- (/ 1 b)) 1548150553.820 * [misc]backup-simplify: Simplify (+ 2 (- (/ 1 b))) into (- 2 (/ 1 b)) 1548150553.820 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* (* -1 (exp (/ -1 a))) (/ (- 2 (/ 1 b)) -1)))) into (- (/ (exp (/ -1 a)) b) (* 2 (exp (/ -1 a)))) 1548150553.820 * [misc]taylor: Taking taylor expansion of (- (/ (exp (/ -1 a)) b) (* 2 (exp (/ -1 a)))) in b 1548150553.820 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) b) in b 1548150553.820 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1548150553.820 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1548150553.820 * [misc]taylor: Taking taylor expansion of -1 in b 1548150553.820 * [misc]backup-simplify: Simplify -1 into -1 1548150553.820 * [misc]taylor: Taking taylor expansion of a in b 1548150553.820 * [misc]backup-simplify: Simplify a into a 1548150553.820 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1548150553.820 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1548150553.820 * [misc]taylor: Taking taylor expansion of b in b 1548150553.820 * [misc]backup-simplify: Simplify 0 into 0 1548150553.820 * [misc]backup-simplify: Simplify 1 into 1 1548150553.821 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) 1) into (exp (/ -1 a)) 1548150553.821 * [misc]taylor: Taking taylor expansion of (* 2 (exp (/ -1 a))) in b 1548150553.821 * [misc]taylor: Taking taylor expansion of 2 in b 1548150553.821 * [misc]backup-simplify: Simplify 2 into 2 1548150553.821 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1548150553.821 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1548150553.821 * [misc]taylor: Taking taylor expansion of -1 in b 1548150553.821 * [misc]backup-simplify: Simplify -1 into -1 1548150553.821 * [misc]taylor: Taking taylor expansion of a in b 1548150553.821 * [misc]backup-simplify: Simplify a into a 1548150553.821 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1548150553.821 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1548150553.821 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1548150553.821 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1548150553.823 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548150553.824 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1548150553.824 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ -1 a)) (/ 0 1)))) into 0 1548150553.825 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ -1 a)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548150553.825 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1548150553.826 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1548150553.826 * [misc]backup-simplify: Simplify (+ (* 2 0) (* 0 (exp (/ -1 a)))) into 0 1548150553.827 * [misc]backup-simplify: Simplify (- 0) into 0 1548150553.827 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150553.827 * [misc]backup-simplify: Simplify 0 into 0 1548150553.827 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1548150553.829 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548150553.829 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ -1 a))))) into 0 1548150553.829 * [misc]backup-simplify: Simplify 0 into 0 1548150553.829 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548150553.830 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1548150553.830 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150553.830 * [misc]backup-simplify: Simplify (- 0) into 0 1548150553.830 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150553.831 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* (* -1 (exp (/ -1 a))) (/ 0 -1)) (* (- (/ (exp (/ -1 a)) b) (* 2 (exp (/ -1 a)))) (/ (- 2 (/ 1 b)) -1)))) into (- (* 4 (/ (exp (/ -1 a)) b)) (+ (* 4 (exp (/ -1 a))) (/ (exp (/ -1 a)) (pow b 2)))) 1548150553.831 * [misc]taylor: Taking taylor expansion of (- (* 4 (/ (exp (/ -1 a)) b)) (+ (* 4 (exp (/ -1 a))) (/ (exp (/ -1 a)) (pow b 2)))) in b 1548150553.831 * [misc]taylor: Taking taylor expansion of (* 4 (/ (exp (/ -1 a)) b)) in b 1548150553.831 * [misc]taylor: Taking taylor expansion of 4 in b 1548150553.831 * [misc]backup-simplify: Simplify 4 into 4 1548150553.831 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) b) in b 1548150553.831 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1548150553.831 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1548150553.831 * [misc]taylor: Taking taylor expansion of -1 in b 1548150553.831 * [misc]backup-simplify: Simplify -1 into -1 1548150553.831 * [misc]taylor: Taking taylor expansion of a in b 1548150553.831 * [misc]backup-simplify: Simplify a into a 1548150553.831 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1548150553.831 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1548150553.831 * [misc]taylor: Taking taylor expansion of b in b 1548150553.832 * [misc]backup-simplify: Simplify 0 into 0 1548150553.832 * [misc]backup-simplify: Simplify 1 into 1 1548150553.832 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) 1) into (exp (/ -1 a)) 1548150553.832 * [misc]taylor: Taking taylor expansion of (+ (* 4 (exp (/ -1 a))) (/ (exp (/ -1 a)) (pow b 2))) in b 1548150553.832 * [misc]taylor: Taking taylor expansion of (* 4 (exp (/ -1 a))) in b 1548150553.832 * [misc]taylor: Taking taylor expansion of 4 in b 1548150553.832 * [misc]backup-simplify: Simplify 4 into 4 1548150553.832 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1548150553.832 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1548150553.832 * [misc]taylor: Taking taylor expansion of -1 in b 1548150553.832 * [misc]backup-simplify: Simplify -1 into -1 1548150553.832 * [misc]taylor: Taking taylor expansion of a in b 1548150553.832 * [misc]backup-simplify: Simplify a into a 1548150553.832 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1548150553.832 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1548150553.832 * [misc]taylor: Taking taylor expansion of (/ (exp (/ -1 a)) (pow b 2)) in b 1548150553.832 * [misc]taylor: Taking taylor expansion of (exp (/ -1 a)) in b 1548150553.832 * [misc]taylor: Taking taylor expansion of (/ -1 a) in b 1548150553.832 * [misc]taylor: Taking taylor expansion of -1 in b 1548150553.832 * [misc]backup-simplify: Simplify -1 into -1 1548150553.832 * [misc]taylor: Taking taylor expansion of a in b 1548150553.832 * [misc]backup-simplify: Simplify a into a 1548150553.832 * [misc]backup-simplify: Simplify (/ -1 a) into (/ -1 a) 1548150553.832 * [misc]backup-simplify: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1548150553.832 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1548150553.832 * [misc]taylor: Taking taylor expansion of b in b 1548150553.833 * [misc]backup-simplify: Simplify 0 into 0 1548150553.833 * [misc]backup-simplify: Simplify 1 into 1 1548150553.833 * [misc]backup-simplify: Simplify (* 1 1) into 1 1548150553.833 * [misc]backup-simplify: Simplify (/ (exp (/ -1 a)) 1) into (exp (/ -1 a)) 1548150553.833 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1548150553.833 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1548150553.835 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548150553.836 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1548150553.836 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ -1 a)) (/ 0 1)))) into 0 1548150553.837 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ -1 a)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548150553.837 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 (exp (/ -1 a))))) into 0 1548150553.837 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1548150553.838 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1548150553.839 * [misc]backup-simplify: Simplify (+ (* 4 0) (* 0 (exp (/ -1 a)))) into 0 1548150553.839 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1548150553.839 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1548150553.839 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 1548150553.842 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1548150553.842 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1548150553.843 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1548150553.844 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1548150553.844 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ -1 a)) (/ 0 1)))) into 0 1548150553.844 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1548150553.846 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548150553.847 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ -1 a)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548150553.848 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ -1 a)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548150553.848 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150553.848 * [misc]backup-simplify: Simplify (- 0) into 0 1548150553.848 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150553.848 * [misc]backup-simplify: Simplify 0 into 0 1548150553.848 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 1548150553.851 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1548150553.852 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (exp (/ -1 a)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1548150553.852 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1548150553.854 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1548150553.854 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (exp (/ -1 a))))) into 0 1548150553.854 * [misc]backup-simplify: Simplify (- 0) into 0 1548150553.855 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548150553.855 * [misc]backup-simplify: Simplify 0 into 0 1548150553.855 * [misc]backup-simplify: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 1548150553.858 * [misc]backup-simplify: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1548150553.859 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 a)))))) into 0 1548150553.859 * [misc]backup-simplify: Simplify 0 into 0 1548150553.859 * [misc]backup-simplify: Simplify 0 into 0 1548150553.859 * * * [misc]progress: simplifying candidates 1548150553.859 * * * * [misc]progress: [ 1 / 34 ] simplifiying candidate # 1548150553.859 * * * * [misc]progress: [ 2 / 34 ] simplifiying candidate # 1548150553.859 * * * * [misc]progress: [ 3 / 34 ] simplifiying candidate # 1548150553.859 * * * * [misc]progress: [ 4 / 34 ] simplifiying candidate # 1548150553.859 * [enter]simplify: Simplifying (- a (log (+ a (+ b 2)))) 1548150553.860 * * [misc]simplify: iters left: 6 (7 enodes) 1548150553.862 * * [misc]simplify: iters left: 5 (13 enodes) 1548150553.866 * * [misc]simplify: iters left: 4 (20 enodes) 1548150553.871 * * [misc]simplify: iters left: 3 (21 enodes) 1548150553.875 * [exit]simplify: Simplified to (- a (log (+ (+ b a) 2))) 1548150553.875 * [misc]simplify: Simplified (2 1) to (λ (a b) (exp (- a (log (+ (+ b a) 2))))) 1548150553.876 * * * * [misc]progress: [ 5 / 34 ] simplifiying candidate # 1548150553.876 * * * * [misc]progress: [ 6 / 34 ] simplifiying candidate # 1548150553.876 * * * * [misc]progress: [ 7 / 34 ] simplifiying candidate # 1548150553.876 * [enter]simplify: Simplifying (/ (* (* (exp a) (exp a)) (exp a)) (* (* (+ a (+ b 2)) (+ a (+ b 2))) (+ a (+ b 2)))) 1548150553.876 * * [misc]simplify: iters left: 6 (11 enodes) 1548150553.880 * * [misc]simplify: iters left: 5 (38 enodes) 1548150553.899 * * [misc]simplify: iters left: 4 (166 enodes) 1548150553.995 * [exit]simplify: Simplified to (pow (/ (exp a) (+ 2 (+ a b))) 3) 1548150553.995 * [misc]simplify: Simplified (2 1) to (λ (a b) (cbrt (pow (/ (exp a) (+ 2 (+ a b))) 3))) 1548150553.995 * * * * [misc]progress: [ 8 / 34 ] simplifiying candidate # 1548150553.995 * * * * [misc]progress: [ 9 / 34 ] simplifiying candidate # 1548150553.995 * * * * [misc]progress: [ 10 / 34 ] simplifiying candidate # 1548150553.995 * * * * [misc]progress: [ 11 / 34 ] simplifiying candidate # 1548150553.996 * * * * [misc]progress: [ 12 / 34 ] simplifiying candidate # 1548150553.996 * [enter]simplify: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (+ a (+ b 2))) (cbrt (+ a (+ b 2))))) 1548150553.996 * * [misc]simplify: iters left: 6 (11 enodes) 1548150553.998 * * [misc]simplify: iters left: 5 (21 enodes) 1548150554.001 * * [misc]simplify: iters left: 4 (36 enodes) 1548150554.006 * * [misc]simplify: iters left: 3 (41 enodes) 1548150554.011 * * [misc]simplify: iters left: 2 (44 enodes) 1548150554.016 * [exit]simplify: Simplified to (* (/ (cbrt (exp a)) (cbrt (+ a (+ 2 b)))) (/ (cbrt (exp a)) (cbrt (+ a (+ 2 b))))) 1548150554.016 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (* (/ (cbrt (exp a)) (cbrt (+ a (+ 2 b)))) (/ (cbrt (exp a)) (cbrt (+ a (+ 2 b))))) (/ (cbrt (exp a)) (cbrt (+ a (+ b 2)))))) 1548150554.016 * [enter]simplify: Simplifying (/ (cbrt (exp a)) (cbrt (+ a (+ b 2)))) 1548150554.016 * * [misc]simplify: iters left: 6 (9 enodes) 1548150554.017 * * [misc]simplify: iters left: 5 (13 enodes) 1548150554.019 * * [misc]simplify: iters left: 4 (19 enodes) 1548150554.022 * * [misc]simplify: iters left: 3 (21 enodes) 1548150554.024 * [exit]simplify: Simplified to (/ (cbrt (exp a)) (cbrt (+ b (+ a 2)))) 1548150554.024 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (+ a (+ b 2))) (cbrt (+ a (+ b 2))))) (/ (cbrt (exp a)) (cbrt (+ b (+ a 2)))))) 1548150554.024 * * * * [misc]progress: [ 13 / 34 ] simplifiying candidate # 1548150554.024 * [enter]simplify: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ a (+ b 2)))) 1548150554.024 * * [misc]simplify: iters left: 6 (10 enodes) 1548150554.026 * * [misc]simplify: iters left: 5 (16 enodes) 1548150554.028 * * [misc]simplify: iters left: 4 (24 enodes) 1548150554.032 * * [misc]simplify: iters left: 3 (26 enodes) 1548150554.036 * [exit]simplify: Simplified to (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ a (+ 2 b)))) 1548150554.036 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ a (+ 2 b)))) (/ (cbrt (exp a)) (sqrt (+ a (+ b 2)))))) 1548150554.037 * [enter]simplify: Simplifying (/ (cbrt (exp a)) (sqrt (+ a (+ b 2)))) 1548150554.037 * * [misc]simplify: iters left: 6 (9 enodes) 1548150554.040 * * [misc]simplify: iters left: 5 (13 enodes) 1548150554.043 * * [misc]simplify: iters left: 4 (19 enodes) 1548150554.048 * * [misc]simplify: iters left: 3 (21 enodes) 1548150554.053 * [exit]simplify: Simplified to (/ (cbrt (exp a)) (sqrt (+ b (+ a 2)))) 1548150554.053 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ a (+ b 2)))) (/ (cbrt (exp a)) (sqrt (+ b (+ a 2)))))) 1548150554.053 * * * * [misc]progress: [ 14 / 34 ] simplifiying candidate # 1548150554.053 * [enter]simplify: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) 1) 1548150554.053 * * [misc]simplify: iters left: 6 (6 enodes) 1548150554.055 * * [misc]simplify: iters left: 5 (10 enodes) 1548150554.058 * * [misc]simplify: iters left: 4 (16 enodes) 1548150554.062 * * [misc]simplify: iters left: 3 (18 enodes) 1548150554.065 * * [misc]simplify: iters left: 2 (23 enodes) 1548150554.068 * [exit]simplify: Simplified to (* (cbrt (exp a)) (cbrt (exp a))) 1548150554.068 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ a (+ b 2))))) 1548150554.068 * [enter]simplify: Simplifying (/ (cbrt (exp a)) (+ a (+ b 2))) 1548150554.068 * * [misc]simplify: iters left: 6 (8 enodes) 1548150554.069 * * [misc]simplify: iters left: 5 (12 enodes) 1548150554.071 * * [misc]simplify: iters left: 4 (18 enodes) 1548150554.073 * * [misc]simplify: iters left: 3 (20 enodes) 1548150554.075 * [exit]simplify: Simplified to (/ (cbrt (exp a)) (+ (+ b a) 2)) 1548150554.076 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (+ b a) 2)))) 1548150554.076 * * * * [misc]progress: [ 15 / 34 ] simplifiying candidate # 1548150554.076 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (* (cbrt (+ a (+ b 2))) (cbrt (+ a (+ b 2))))) 1548150554.076 * * [misc]simplify: iters left: 6 (10 enodes) 1548150554.077 * * [misc]simplify: iters left: 5 (16 enodes) 1548150554.080 * * [misc]simplify: iters left: 4 (22 enodes) 1548150554.084 * * [misc]simplify: iters left: 3 (24 enodes) 1548150554.087 * [exit]simplify: Simplified to (/ (/ (sqrt (exp a)) (cbrt (+ (+ b 2) a))) (cbrt (+ (+ b 2) a))) 1548150554.087 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ (/ (sqrt (exp a)) (cbrt (+ (+ b 2) a))) (cbrt (+ (+ b 2) a))) (/ (sqrt (exp a)) (cbrt (+ a (+ b 2)))))) 1548150554.087 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (cbrt (+ a (+ b 2)))) 1548150554.087 * * [misc]simplify: iters left: 6 (9 enodes) 1548150554.089 * * [misc]simplify: iters left: 5 (13 enodes) 1548150554.090 * * [misc]simplify: iters left: 4 (19 enodes) 1548150554.093 * * [misc]simplify: iters left: 3 (21 enodes) 1548150554.095 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (cbrt (+ b (+ a 2)))) 1548150554.095 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (sqrt (exp a)) (* (cbrt (+ a (+ b 2))) (cbrt (+ a (+ b 2))))) (/ (sqrt (exp a)) (cbrt (+ b (+ a 2)))))) 1548150554.095 * * * * [misc]progress: [ 16 / 34 ] simplifiying candidate # 1548150554.095 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (sqrt (+ a (+ b 2)))) 1548150554.095 * * [misc]simplify: iters left: 6 (9 enodes) 1548150554.097 * * [misc]simplify: iters left: 5 (13 enodes) 1548150554.101 * * [misc]simplify: iters left: 4 (19 enodes) 1548150554.106 * * [misc]simplify: iters left: 3 (21 enodes) 1548150554.110 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (sqrt (+ b (+ a 2)))) 1548150554.110 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ (sqrt (exp a)) (sqrt (+ b (+ a 2)))) (/ (sqrt (exp a)) (sqrt (+ a (+ b 2)))))) 1548150554.111 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (sqrt (+ a (+ b 2)))) 1548150554.111 * * [misc]simplify: iters left: 6 (9 enodes) 1548150554.113 * * [misc]simplify: iters left: 5 (13 enodes) 1548150554.117 * * [misc]simplify: iters left: 4 (19 enodes) 1548150554.122 * * [misc]simplify: iters left: 3 (21 enodes) 1548150554.127 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (sqrt (+ b (+ a 2)))) 1548150554.127 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (sqrt (exp a)) (sqrt (+ a (+ b 2)))) (/ (sqrt (exp a)) (sqrt (+ b (+ a 2)))))) 1548150554.127 * * * * [misc]progress: [ 17 / 34 ] simplifiying candidate # 1548150554.127 * [enter]simplify: Simplifying (/ (sqrt (exp a)) 1) 1548150554.127 * * [misc]simplify: iters left: 4 (5 enodes) 1548150554.128 * * [misc]simplify: iters left: 3 (7 enodes) 1548150554.131 * * [misc]simplify: iters left: 2 (9 enodes) 1548150554.132 * [exit]simplify: Simplified to (sqrt (exp a)) 1548150554.132 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ a (+ b 2))))) 1548150554.133 * [enter]simplify: Simplifying (/ (sqrt (exp a)) (+ a (+ b 2))) 1548150554.133 * * [misc]simplify: iters left: 6 (8 enodes) 1548150554.135 * * [misc]simplify: iters left: 5 (12 enodes) 1548150554.138 * * [misc]simplify: iters left: 4 (18 enodes) 1548150554.143 * * [misc]simplify: iters left: 3 (20 enodes) 1548150554.148 * [exit]simplify: Simplified to (/ (sqrt (exp a)) (+ (+ b a) 2)) 1548150554.148 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (+ b a) 2)))) 1548150554.148 * * * * [misc]progress: [ 18 / 34 ] simplifiying candidate # 1548150554.148 * [enter]simplify: Simplifying (/ 1 (* (cbrt (+ a (+ b 2))) (cbrt (+ a (+ b 2))))) 1548150554.148 * * [misc]simplify: iters left: 6 (9 enodes) 1548150554.150 * * [misc]simplify: iters left: 5 (17 enodes) 1548150554.152 * * [misc]simplify: iters left: 4 (23 enodes) 1548150554.155 * * [misc]simplify: iters left: 3 (24 enodes) 1548150554.158 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (+ 2 (+ a b)))) (cbrt (+ 2 (+ a b)))) 1548150554.158 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ (/ 1 (cbrt (+ 2 (+ a b)))) (cbrt (+ 2 (+ a b)))) (/ (exp a) (cbrt (+ a (+ b 2)))))) 1548150554.158 * [enter]simplify: Simplifying (/ (exp a) (cbrt (+ a (+ b 2)))) 1548150554.158 * * [misc]simplify: iters left: 6 (8 enodes) 1548150554.159 * * [misc]simplify: iters left: 5 (12 enodes) 1548150554.161 * * [misc]simplify: iters left: 4 (18 enodes) 1548150554.163 * * [misc]simplify: iters left: 3 (19 enodes) 1548150554.165 * [exit]simplify: Simplified to (/ (exp a) (cbrt (+ a (+ 2 b)))) 1548150554.165 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ 1 (* (cbrt (+ a (+ b 2))) (cbrt (+ a (+ b 2))))) (/ (exp a) (cbrt (+ a (+ 2 b)))))) 1548150554.165 * * * * [misc]progress: [ 19 / 34 ] simplifiying candidate # 1548150554.165 * [enter]simplify: Simplifying (/ 1 (sqrt (+ a (+ b 2)))) 1548150554.165 * * [misc]simplify: iters left: 6 (8 enodes) 1548150554.167 * * [misc]simplify: iters left: 5 (14 enodes) 1548150554.168 * * [misc]simplify: iters left: 4 (20 enodes) 1548150554.171 * * [misc]simplify: iters left: 3 (21 enodes) 1548150554.174 * [exit]simplify: Simplified to (/ 1 (sqrt (+ (+ a 2) b))) 1548150554.174 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (/ 1 (sqrt (+ (+ a 2) b))) (/ (exp a) (sqrt (+ a (+ b 2)))))) 1548150554.174 * [enter]simplify: Simplifying (/ (exp a) (sqrt (+ a (+ b 2)))) 1548150554.174 * * [misc]simplify: iters left: 6 (8 enodes) 1548150554.177 * * [misc]simplify: iters left: 5 (12 enodes) 1548150554.180 * * [misc]simplify: iters left: 4 (18 enodes) 1548150554.185 * * [misc]simplify: iters left: 3 (19 enodes) 1548150554.190 * [exit]simplify: Simplified to (/ (exp a) (sqrt (+ a (+ 2 b)))) 1548150554.190 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ 1 (sqrt (+ a (+ b 2)))) (/ (exp a) (sqrt (+ a (+ 2 b)))))) 1548150554.190 * * * * [misc]progress: [ 20 / 34 ] simplifiying candidate # 1548150554.191 * [enter]simplify: Simplifying (/ 1 1) 1548150554.191 * * [misc]simplify: iters left: 2 (2 enodes) 1548150554.191 * * [misc]simplify: iters left: 1 (4 enodes) 1548150554.192 * [exit]simplify: Simplified to 1 1548150554.192 * [misc]simplify: Simplified (2 1) to (λ (a b) (* 1 (/ (exp a) (+ a (+ b 2))))) 1548150554.192 * [enter]simplify: Simplifying (/ (exp a) (+ a (+ b 2))) 1548150554.192 * * [misc]simplify: iters left: 6 (7 enodes) 1548150554.193 * * [misc]simplify: iters left: 5 (11 enodes) 1548150554.195 * * [misc]simplify: iters left: 4 (17 enodes) 1548150554.197 * * [misc]simplify: iters left: 3 (19 enodes) 1548150554.199 * [exit]simplify: Simplified to (/ (exp a) (+ a (+ 2 b))) 1548150554.199 * [misc]simplify: Simplified (2 2) to (λ (a b) (* 1 (/ (exp a) (+ a (+ 2 b))))) 1548150554.199 * * * * [misc]progress: [ 21 / 34 ] simplifiying candidate # 1548150554.199 * * * * [misc]progress: [ 22 / 34 ] simplifiying candidate # 1548150554.199 * * * * [misc]progress: [ 23 / 34 ] simplifiying candidate # 1548150554.199 * * * * [misc]progress: [ 24 / 34 ] simplifiying candidate # 1548150554.200 * [enter]simplify: Simplifying (cbrt (+ a (+ b 2))) 1548150554.200 * * [misc]simplify: iters left: 5 (6 enodes) 1548150554.201 * * [misc]simplify: iters left: 4 (10 enodes) 1548150554.202 * * [misc]simplify: iters left: 3 (16 enodes) 1548150554.204 * * [misc]simplify: iters left: 2 (18 enodes) 1548150554.206 * [exit]simplify: Simplified to (cbrt (+ 2 (+ b a))) 1548150554.206 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (/ (exp a) (* (cbrt (+ a (+ b 2))) (cbrt (+ a (+ b 2))))) (cbrt (+ 2 (+ b a))))) 1548150554.206 * * * * [misc]progress: [ 25 / 34 ] simplifiying candidate # 1548150554.206 * [enter]simplify: Simplifying (sqrt (+ a (+ b 2))) 1548150554.206 * * [misc]simplify: iters left: 5 (6 enodes) 1548150554.207 * * [misc]simplify: iters left: 4 (10 enodes) 1548150554.208 * * [misc]simplify: iters left: 3 (16 enodes) 1548150554.210 * * [misc]simplify: iters left: 2 (18 enodes) 1548150554.212 * [exit]simplify: Simplified to (sqrt (+ 2 (+ b a))) 1548150554.212 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (/ (exp a) (sqrt (+ a (+ b 2)))) (sqrt (+ 2 (+ b a))))) 1548150554.212 * * * * [misc]progress: [ 26 / 34 ] simplifiying candidate # 1548150554.213 * [enter]simplify: Simplifying (+ a (+ b 2)) 1548150554.213 * * [misc]simplify: iters left: 4 (5 enodes) 1548150554.213 * * [misc]simplify: iters left: 3 (9 enodes) 1548150554.215 * * [misc]simplify: iters left: 2 (15 enodes) 1548150554.217 * * [misc]simplify: iters left: 1 (17 enodes) 1548150554.221 * [exit]simplify: Simplified to (+ (+ b a) 2) 1548150554.221 * [misc]simplify: Simplified (2 2) to (λ (a b) (/ (/ (exp a) 1) (+ (+ b a) 2))) 1548150554.221 * * * * [misc]progress: [ 27 / 34 ] simplifiying candidate # 1548150554.221 * [enter]simplify: Simplifying (* (cbrt (exp a)) (cbrt (exp a))) 1548150554.221 * * [misc]simplify: iters left: 4 (4 enodes) 1548150554.222 * [exit]simplify: Simplified to (* (cbrt (exp a)) (cbrt (exp a))) 1548150554.222 * [misc]simplify: Simplified (2 1) to (λ (a b) (/ (* (cbrt (exp a)) (cbrt (exp a))) (/ (+ a (+ b 2)) (cbrt (exp a))))) 1548150554.222 * * * * [misc]progress: [ 28 / 34 ] simplifiying candidate # 1548150554.223 * [enter]simplify: Simplifying (sqrt (exp a)) 1548150554.223 * * [misc]simplify: iters left: 2 (3 enodes) 1548150554.224 * [exit]simplify: Simplified to (sqrt (exp a)) 1548150554.224 * [misc]simplify: Simplified (2 1) to (λ (a b) (/ (sqrt (exp a)) (/ (+ a (+ b 2)) (sqrt (exp a))))) 1548150554.224 * * * * [misc]progress: [ 29 / 34 ] simplifiying candidate # 1548150554.224 * * * * [misc]progress: [ 30 / 34 ] simplifiying candidate # 1548150554.224 * [enter]simplify: Simplifying (+ (* a a) (- (* (+ b 2) (+ b 2)) (* a (+ b 2)))) 1548150554.224 * * [misc]simplify: iters left: 6 (9 enodes) 1548150554.228 * * [misc]simplify: iters left: 5 (32 enodes) 1548150554.241 * * [misc]simplify: iters left: 4 (100 enodes) 1548150554.263 * * [misc]simplify: iters left: 3 (277 enodes) 1548150554.368 * [exit]simplify: Simplified to (fma (- b (- a 2)) (+ 2 b) (* a a)) 1548150554.368 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (exp a) (+ (pow a 3) (pow (+ b 2) 3))) (fma (- b (- a 2)) (+ 2 b) (* a a)))) 1548150554.368 * * * * [misc]progress: [ 31 / 34 ] simplifiying candidate # 1548150554.369 * [enter]simplify: Simplifying (- a (+ b 2)) 1548150554.369 * * [misc]simplify: iters left: 4 (5 enodes) 1548150554.370 * * [misc]simplify: iters left: 3 (10 enodes) 1548150554.374 * * [misc]simplify: iters left: 2 (19 enodes) 1548150554.379 * * [misc]simplify: iters left: 1 (32 enodes) 1548150554.388 * [exit]simplify: Simplified to (- (+ -2 a) b) 1548150554.388 * [misc]simplify: Simplified (2 2) to (λ (a b) (* (/ (exp a) (- (* a a) (* (+ b 2) (+ b 2)))) (- (+ -2 a) b))) 1548150554.389 * * * * [misc]progress: [ 32 / 34 ] simplifiying candidate # 1548150554.389 * [enter]simplify: Simplifying (- (+ (* 1/4 a) 1/2) (* 1/4 b)) 1548150554.389 * * [misc]simplify: iters left: 6 (8 enodes) 1548150554.392 * * [misc]simplify: iters left: 5 (16 enodes) 1548150554.397 * * [misc]simplify: iters left: 4 (34 enodes) 1548150554.407 * * [misc]simplify: iters left: 3 (51 enodes) 1548150554.422 * * [misc]simplify: iters left: 2 (70 enodes) 1548150554.436 * * [misc]simplify: iters left: 1 (83 enodes) 1548150554.461 * [exit]simplify: Simplified to (fma 1/4 (- a b) 1/2) 1548150554.461 * [misc]simplify: Simplified (2) to (λ (a b) (fma 1/4 (- a b) 1/2)) 1548150554.461 * * * * [misc]progress: [ 33 / 34 ] simplifiying candidate # 1548150554.461 * [enter]simplify: Simplifying 0 1548150554.461 * * [misc]simplify: iters left: 0 (1 enodes) 1548150554.462 * [exit]simplify: Simplified to 0 1548150554.462 * [misc]simplify: Simplified (2) to (λ (a b) 0) 1548150554.462 * * * * [misc]progress: [ 34 / 34 ] simplifiying candidate # 1548150554.462 * [enter]simplify: Simplifying 0 1548150554.462 * * [misc]simplify: iters left: 0 (1 enodes) 1548150554.462 * [exit]simplify: Simplified to 0 1548150554.462 * [misc]simplify: Simplified (2) to (λ (a b) 0) 1548150554.463 * * * [misc]progress: adding candidates to table 1548150554.741 * * [misc]progress: iteration 3 / 4 1548150554.741 * * * [misc]progress: picking best candidate 1548150554.743 * * * * [misc]pick: Picked # 1548150554.743 * * * [misc]progress: localizing error 1548150554.751 * * * [misc]progress: generating rewritten candidates 1548150554.751 * * * [misc]progress: generating series expansions 1548150554.751 * * * [misc]progress: simplifying candidates 1548150554.751 * * * [misc]progress: adding candidates to table 1548150554.752 * [misc]progress: [Phase 3 of 3] Extracting. 1548150554.752 * * [misc]regime: Finding splitpoints for: (# # #) 1548150554.752 * * * [misc]regime-changes: Trying 5 branch expressions: (b (exp b) a (exp a) (/ (exp a) (+ (exp a) (exp b)))) 1548150554.752 * * * * [misc]regimes: Trying to branch on b from (# # #) 1548150554.776 * * * * [misc]regimes: Trying to branch on (exp b) from (# # #) 1548150554.804 * * * * [misc]regimes: Trying to branch on a from (# # #) 1548150554.850 * * * * [misc]regimes: Trying to branch on (exp a) from (# # #) 1548150554.874 * * * * [misc]regimes: Trying to branch on (/ (exp a) (+ (exp a) (exp b))) from (# # #) 1548150554.926 * * * [misc]regime: Found split indices: #