0.002 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.114 * * * [progress]: [2/2] Setting up program. 0.117 * [progress]: [Phase 2 of 3] Improving. 0.117 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.117 * [simplify]: Simplifying (/ (exp a) (+ (exp a) (exp b))) 0.117 * * [simplify]: iters left: 5 (6 enodes) 0.118 * * [simplify]: iters left: 4 (19 enodes) 0.121 * * [simplify]: Extracting #0: cost 1 inf + 0 0.121 * * [simplify]: Extracting #1: cost 4 inf + 0 0.121 * * [simplify]: Extracting #2: cost 8 inf + 0 0.121 * * [simplify]: Extracting #3: cost 9 inf + 1 0.121 * * [simplify]: Extracting #4: cost 0 inf + 1094 0.121 * [simplify]: Simplified to (/ (exp a) (+ (exp a) (exp b))) 0.121 * [simplify]: Simplified (2) to (λ (a b) (/ (exp a) (+ (exp a) (exp b)))) 0.125 * * [progress]: iteration 1 / 4 0.125 * * * [progress]: picking best candidate 0.127 * * * * [pick]: Picked # 0.127 * * * [progress]: localizing error 0.144 * * * [progress]: generating rewritten candidates 0.144 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.175 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.192 * * * [progress]: generating series expansions 0.193 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.193 * [backup-simplify]: Simplify (/ (exp a) (+ (exp a) (exp b))) into (/ (exp a) (+ (exp a) (exp b))) 0.193 * [approximate]: Taking taylor expansion of (/ (exp a) (+ (exp a) (exp b))) in (a b) around 0 0.193 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (exp a) (exp b))) in b 0.193 * [taylor]: Taking taylor expansion of (exp a) in b 0.193 * [taylor]: Taking taylor expansion of a in b 0.193 * [backup-simplify]: Simplify a into a 0.193 * [backup-simplify]: Simplify (exp a) into (exp a) 0.193 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in b 0.193 * [taylor]: Taking taylor expansion of (exp a) in b 0.193 * [taylor]: Taking taylor expansion of a in b 0.193 * [backup-simplify]: Simplify a into a 0.193 * [backup-simplify]: Simplify (exp a) into (exp a) 0.193 * [taylor]: Taking taylor expansion of (exp b) in b 0.193 * [taylor]: Taking taylor expansion of b in b 0.193 * [backup-simplify]: Simplify 0 into 0 0.193 * [backup-simplify]: Simplify 1 into 1 0.193 * [backup-simplify]: Simplify (exp 0) into 1 0.193 * [backup-simplify]: Simplify (+ (exp a) 1) into (+ (exp a) 1) 0.193 * [backup-simplify]: Simplify (/ (exp a) (+ (exp a) 1)) into (/ (exp a) (+ (exp a) 1)) 0.193 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (exp a) (exp b))) in a 0.193 * [taylor]: Taking taylor expansion of (exp a) in a 0.193 * [taylor]: Taking taylor expansion of a in a 0.193 * [backup-simplify]: Simplify 0 into 0 0.194 * [backup-simplify]: Simplify 1 into 1 0.194 * [backup-simplify]: Simplify (exp 0) into 1 0.194 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a 0.194 * [taylor]: Taking taylor expansion of (exp a) in a 0.194 * [taylor]: Taking taylor expansion of a in a 0.194 * [backup-simplify]: Simplify 0 into 0 0.194 * [backup-simplify]: Simplify 1 into 1 0.194 * [backup-simplify]: Simplify (exp 0) into 1 0.194 * [taylor]: Taking taylor expansion of (exp b) in a 0.194 * [taylor]: Taking taylor expansion of b in a 0.194 * [backup-simplify]: Simplify b into b 0.194 * [backup-simplify]: Simplify (exp b) into (exp b) 0.194 * [backup-simplify]: Simplify (+ 1 (exp b)) into (+ (exp b) 1) 0.194 * [backup-simplify]: Simplify (/ 1 (+ (exp b) 1)) into (/ 1 (+ (exp b) 1)) 0.194 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (exp a) (exp b))) in a 0.194 * [taylor]: Taking taylor expansion of (exp a) in a 0.194 * [taylor]: Taking taylor expansion of a in a 0.194 * [backup-simplify]: Simplify 0 into 0 0.194 * [backup-simplify]: Simplify 1 into 1 0.194 * [backup-simplify]: Simplify (exp 0) into 1 0.194 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a 0.194 * [taylor]: Taking taylor expansion of (exp a) in a 0.194 * [taylor]: Taking taylor expansion of a in a 0.194 * [backup-simplify]: Simplify 0 into 0 0.194 * [backup-simplify]: Simplify 1 into 1 0.194 * [backup-simplify]: Simplify (exp 0) into 1 0.194 * [taylor]: Taking taylor expansion of (exp b) in a 0.194 * [taylor]: Taking taylor expansion of b in a 0.194 * [backup-simplify]: Simplify b into b 0.194 * [backup-simplify]: Simplify (exp b) into (exp b) 0.194 * [backup-simplify]: Simplify (+ 1 (exp b)) into (+ (exp b) 1) 0.195 * [backup-simplify]: Simplify (/ 1 (+ (exp b) 1)) into (/ 1 (+ (exp b) 1)) 0.195 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b 0.195 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b 0.195 * [taylor]: Taking taylor expansion of (exp b) in b 0.195 * [taylor]: Taking taylor expansion of b in b 0.195 * [backup-simplify]: Simplify 0 into 0 0.195 * [backup-simplify]: Simplify 1 into 1 0.195 * [backup-simplify]: Simplify (exp 0) into 1 0.195 * [taylor]: Taking taylor expansion of 1 in b 0.195 * [backup-simplify]: Simplify 1 into 1 0.196 * [backup-simplify]: Simplify (+ 1 1) into 2 0.196 * [backup-simplify]: Simplify (/ 1 2) into 1/2 0.196 * [backup-simplify]: Simplify 1/2 into 1/2 0.197 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.198 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.199 * [backup-simplify]: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0 0.199 * [backup-simplify]: Simplify (+ 1 0) into 1 0.200 * [backup-simplify]: Simplify (- (/ 1 (+ (exp b) 1)) (+ (* (/ 1 (+ (exp b) 1)) (/ 1 (+ (exp b) 1))))) into (- (/ 1 (+ (exp b) 1)) (/ 1 (pow (+ (exp b) 1) 2))) 0.200 * [taylor]: Taking taylor expansion of (- (/ 1 (+ (exp b) 1)) (/ 1 (pow (+ (exp b) 1) 2))) in b 0.200 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b 0.200 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b 0.200 * [taylor]: Taking taylor expansion of (exp b) in b 0.200 * [taylor]: Taking taylor expansion of b in b 0.200 * [backup-simplify]: Simplify 0 into 0 0.200 * [backup-simplify]: Simplify 1 into 1 0.200 * [backup-simplify]: Simplify (exp 0) into 1 0.200 * [taylor]: Taking taylor expansion of 1 in b 0.200 * [backup-simplify]: Simplify 1 into 1 0.200 * [backup-simplify]: Simplify (+ 1 1) into 2 0.201 * [backup-simplify]: Simplify (/ 1 2) into 1/2 0.201 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp b) 1) 2)) in b 0.201 * [taylor]: Taking taylor expansion of (pow (+ (exp b) 1) 2) in b 0.201 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b 0.201 * [taylor]: Taking taylor expansion of (exp b) in b 0.201 * [taylor]: Taking taylor expansion of b in b 0.201 * [backup-simplify]: Simplify 0 into 0 0.201 * [backup-simplify]: Simplify 1 into 1 0.201 * [backup-simplify]: Simplify (exp 0) into 1 0.201 * [taylor]: Taking taylor expansion of 1 in b 0.201 * [backup-simplify]: Simplify 1 into 1 0.201 * [backup-simplify]: Simplify (+ 1 1) into 2 0.202 * [backup-simplify]: Simplify (* 2 2) into 4 0.202 * [backup-simplify]: Simplify (/ 1 4) into 1/4 0.203 * [backup-simplify]: Simplify (- 1/4) into -1/4 0.203 * [backup-simplify]: Simplify (+ 1/2 -1/4) into 1/4 0.203 * [backup-simplify]: Simplify 1/4 into 1/4 0.204 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.205 * [backup-simplify]: Simplify (+ 1 0) into 1 0.205 * [backup-simplify]: Simplify (- (+ (* 1/2 (/ 1 2)))) into -1/4 0.206 * [backup-simplify]: Simplify -1/4 into -1/4 0.206 * [backup-simplify]: Simplify (+ (* -1/4 (* b 1)) (+ (* 1/4 (* 1 a)) 1/2)) into (- (+ (* 1/4 a) 1/2) (* 1/4 b)) 0.206 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 a)) (exp (/ 1 b)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 0.206 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in (a b) around 0 0.206 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b 0.206 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.206 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.206 * [taylor]: Taking taylor expansion of a in b 0.206 * [backup-simplify]: Simplify a into a 0.206 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.206 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 0.206 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 0.206 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.206 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.206 * [taylor]: Taking taylor expansion of b in b 0.206 * [backup-simplify]: Simplify 0 into 0 0.207 * [backup-simplify]: Simplify 1 into 1 0.207 * [backup-simplify]: Simplify (/ 1 1) into 1 0.207 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 0.207 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.207 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.207 * [taylor]: Taking taylor expansion of a in b 0.207 * [backup-simplify]: Simplify a into a 0.207 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.207 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 0.207 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 0.208 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 0.208 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a 0.208 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.208 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.208 * [taylor]: Taking taylor expansion of a in a 0.208 * [backup-simplify]: Simplify 0 into 0 0.208 * [backup-simplify]: Simplify 1 into 1 0.208 * [backup-simplify]: Simplify (/ 1 1) into 1 0.208 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 0.208 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 0.208 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.208 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.208 * [taylor]: Taking taylor expansion of b in a 0.208 * [backup-simplify]: Simplify b into b 0.208 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.209 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 0.209 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.209 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.209 * [taylor]: Taking taylor expansion of a in a 0.209 * [backup-simplify]: Simplify 0 into 0 0.209 * [backup-simplify]: Simplify 1 into 1 0.209 * [backup-simplify]: Simplify (/ 1 1) into 1 0.209 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 0.209 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 0.209 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 0.209 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a 0.209 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.209 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.209 * [taylor]: Taking taylor expansion of a in a 0.210 * [backup-simplify]: Simplify 0 into 0 0.210 * [backup-simplify]: Simplify 1 into 1 0.210 * [backup-simplify]: Simplify (/ 1 1) into 1 0.210 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 0.210 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 0.210 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.210 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.210 * [taylor]: Taking taylor expansion of b in a 0.210 * [backup-simplify]: Simplify b into b 0.210 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.210 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 0.210 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.210 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.210 * [taylor]: Taking taylor expansion of a in a 0.210 * [backup-simplify]: Simplify 0 into 0 0.210 * [backup-simplify]: Simplify 1 into 1 0.211 * [backup-simplify]: Simplify (/ 1 1) into 1 0.211 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 0.211 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 0.211 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 0.211 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b 0.211 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.211 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.211 * [taylor]: Taking taylor expansion of a in b 0.211 * [backup-simplify]: Simplify a into a 0.211 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.212 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 0.212 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 0.212 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.212 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.212 * [taylor]: Taking taylor expansion of b in b 0.212 * [backup-simplify]: Simplify 0 into 0 0.212 * [backup-simplify]: Simplify 1 into 1 0.212 * [backup-simplify]: Simplify (/ 1 1) into 1 0.212 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 0.212 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.212 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.212 * [taylor]: Taking taylor expansion of a in b 0.212 * [backup-simplify]: Simplify a into a 0.212 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.212 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 0.213 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 0.213 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 0.213 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 0.213 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.214 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 0.214 * [backup-simplify]: Simplify (+ 0 0) into 0 0.215 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a)))) (+ (* (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a))))))) into 0 0.215 * [taylor]: Taking taylor expansion of 0 in b 0.215 * [backup-simplify]: Simplify 0 into 0 0.215 * [backup-simplify]: Simplify 0 into 0 0.215 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.216 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 0.216 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.217 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 0.217 * [backup-simplify]: Simplify (+ 0 0) into 0 0.218 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a)))) (+ (* (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a))))))) into 0 0.218 * [backup-simplify]: Simplify 0 into 0 0.218 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.219 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.220 * [backup-simplify]: Simplify (+ 0 0) into 0 0.220 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a)))) (+ (* (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a))))) (* 0 (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a))))))) into 0 0.220 * [taylor]: Taking taylor expansion of 0 in b 0.220 * [backup-simplify]: Simplify 0 into 0 0.220 * [backup-simplify]: Simplify 0 into 0 0.220 * [backup-simplify]: Simplify 0 into 0 0.220 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 0.222 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.222 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 0.223 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.224 * [backup-simplify]: Simplify (+ 0 0) into 0 0.225 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a)))) (+ (* (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a))))) (* 0 (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a))))))) into 0 0.225 * [backup-simplify]: Simplify 0 into 0 0.225 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.227 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.227 * [backup-simplify]: Simplify (+ 0 0) into 0 0.228 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a)))) (+ (* (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a))))) (* 0 (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a))))) (* 0 (/ 0 (+ (exp (/ 1 b)) (exp (/ 1 a))))))) into 0 0.228 * [taylor]: Taking taylor expansion of 0 in b 0.228 * [backup-simplify]: Simplify 0 into 0 0.228 * [backup-simplify]: Simplify 0 into 0 0.228 * [backup-simplify]: Simplify (/ (exp (/ 1 (/ 1 a))) (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a))))) into (/ (exp a) (+ (exp b) (exp a))) 0.229 * [backup-simplify]: Simplify (/ (exp (/ 1 (- a))) (+ (exp (/ 1 (- a))) (exp (/ 1 (- b))))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 0.229 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in (a b) around 0 0.229 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b 0.229 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.229 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.229 * [taylor]: Taking taylor expansion of -1 in b 0.229 * [backup-simplify]: Simplify -1 into -1 0.229 * [taylor]: Taking taylor expansion of a in b 0.229 * [backup-simplify]: Simplify a into a 0.229 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 0.229 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 0.229 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 0.229 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.229 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.229 * [taylor]: Taking taylor expansion of -1 in b 0.229 * [backup-simplify]: Simplify -1 into -1 0.229 * [taylor]: Taking taylor expansion of b in b 0.229 * [backup-simplify]: Simplify 0 into 0 0.229 * [backup-simplify]: Simplify 1 into 1 0.230 * [backup-simplify]: Simplify (/ -1 1) into -1 0.230 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 0.230 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.230 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.230 * [taylor]: Taking taylor expansion of -1 in b 0.230 * [backup-simplify]: Simplify -1 into -1 0.230 * [taylor]: Taking taylor expansion of a in b 0.230 * [backup-simplify]: Simplify a into a 0.230 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 0.230 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 0.230 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 0.230 * [backup-simplify]: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 0.230 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a 0.231 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.231 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.231 * [taylor]: Taking taylor expansion of -1 in a 0.231 * [backup-simplify]: Simplify -1 into -1 0.231 * [taylor]: Taking taylor expansion of a in a 0.231 * [backup-simplify]: Simplify 0 into 0 0.231 * [backup-simplify]: Simplify 1 into 1 0.231 * [backup-simplify]: Simplify (/ -1 1) into -1 0.231 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 0.231 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 0.231 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.231 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.231 * [taylor]: Taking taylor expansion of -1 in a 0.231 * [backup-simplify]: Simplify -1 into -1 0.231 * [taylor]: Taking taylor expansion of b in a 0.231 * [backup-simplify]: Simplify b into b 0.231 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b) 0.231 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 0.231 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.232 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.232 * [taylor]: Taking taylor expansion of -1 in a 0.232 * [backup-simplify]: Simplify -1 into -1 0.232 * [taylor]: Taking taylor expansion of a in a 0.232 * [backup-simplify]: Simplify 0 into 0 0.232 * [backup-simplify]: Simplify 1 into 1 0.232 * [backup-simplify]: Simplify (/ -1 1) into -1 0.232 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 0.232 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 0.232 * [backup-simplify]: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 0.232 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a 0.233 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.233 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.233 * [taylor]: Taking taylor expansion of -1 in a 0.233 * [backup-simplify]: Simplify -1 into -1 0.233 * [taylor]: Taking taylor expansion of a in a 0.233 * [backup-simplify]: Simplify 0 into 0 0.233 * [backup-simplify]: Simplify 1 into 1 0.233 * [backup-simplify]: Simplify (/ -1 1) into -1 0.233 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 0.233 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 0.233 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.233 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.233 * [taylor]: Taking taylor expansion of -1 in a 0.233 * [backup-simplify]: Simplify -1 into -1 0.233 * [taylor]: Taking taylor expansion of b in a 0.233 * [backup-simplify]: Simplify b into b 0.233 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b) 0.234 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 0.234 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.234 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.234 * [taylor]: Taking taylor expansion of -1 in a 0.234 * [backup-simplify]: Simplify -1 into -1 0.234 * [taylor]: Taking taylor expansion of a in a 0.234 * [backup-simplify]: Simplify 0 into 0 0.234 * [backup-simplify]: Simplify 1 into 1 0.234 * [backup-simplify]: Simplify (/ -1 1) into -1 0.234 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 0.234 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 0.234 * [backup-simplify]: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 0.235 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b 0.235 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.235 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.235 * [taylor]: Taking taylor expansion of -1 in b 0.235 * [backup-simplify]: Simplify -1 into -1 0.235 * [taylor]: Taking taylor expansion of a in b 0.235 * [backup-simplify]: Simplify a into a 0.235 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 0.235 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 0.235 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 0.235 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.235 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.235 * [taylor]: Taking taylor expansion of -1 in b 0.235 * [backup-simplify]: Simplify -1 into -1 0.235 * [taylor]: Taking taylor expansion of b in b 0.235 * [backup-simplify]: Simplify 0 into 0 0.235 * [backup-simplify]: Simplify 1 into 1 0.235 * [backup-simplify]: Simplify (/ -1 1) into -1 0.236 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 0.236 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.236 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.236 * [taylor]: Taking taylor expansion of -1 in b 0.236 * [backup-simplify]: Simplify -1 into -1 0.236 * [taylor]: Taking taylor expansion of a in b 0.236 * [backup-simplify]: Simplify a into a 0.236 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 0.236 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 0.236 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 0.236 * [backup-simplify]: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 0.236 * [backup-simplify]: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 0.236 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0 0.237 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 0.238 * [backup-simplify]: Simplify (+ 0 0) into 0 0.238 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a)))) (+ (* (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a))))))) into 0 0.238 * [taylor]: Taking taylor expansion of 0 in b 0.238 * [backup-simplify]: Simplify 0 into 0 0.238 * [backup-simplify]: Simplify 0 into 0 0.238 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 0.239 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 0.239 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 0.240 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 0.241 * [backup-simplify]: Simplify (+ 0 0) into 0 0.241 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a)))) (+ (* (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a))))))) into 0 0.241 * [backup-simplify]: Simplify 0 into 0 0.241 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.243 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.243 * [backup-simplify]: Simplify (+ 0 0) into 0 0.244 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a)))) (+ (* (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a))))) (* 0 (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a))))))) into 0 0.244 * [taylor]: Taking taylor expansion of 0 in b 0.244 * [backup-simplify]: Simplify 0 into 0 0.244 * [backup-simplify]: Simplify 0 into 0 0.244 * [backup-simplify]: Simplify 0 into 0 0.244 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 0.245 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.245 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 0.247 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.247 * [backup-simplify]: Simplify (+ 0 0) into 0 0.248 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a)))) (+ (* (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a))))) (* 0 (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a))))))) into 0 0.248 * [backup-simplify]: Simplify 0 into 0 0.248 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.249 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.249 * [backup-simplify]: Simplify (+ 0 0) into 0 0.250 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a)))) (+ (* (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a))))) (* 0 (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a))))) (* 0 (/ 0 (+ (exp (/ -1 b)) (exp (/ -1 a))))))) into 0 0.250 * [taylor]: Taking taylor expansion of 0 in b 0.250 * [backup-simplify]: Simplify 0 into 0 0.250 * [backup-simplify]: Simplify 0 into 0 0.250 * [backup-simplify]: Simplify (/ (exp (/ -1 (/ 1 (- a)))) (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a)))))) into (/ (exp a) (+ (exp b) (exp a))) 0.250 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.250 * [backup-simplify]: Simplify (+ (exp a) (exp b)) into (+ (exp a) (exp b)) 0.250 * [approximate]: Taking taylor expansion of (+ (exp a) (exp b)) in (a b) around 0 0.250 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in b 0.250 * [taylor]: Taking taylor expansion of (exp a) in b 0.250 * [taylor]: Taking taylor expansion of a in b 0.250 * [backup-simplify]: Simplify a into a 0.250 * [backup-simplify]: Simplify (exp a) into (exp a) 0.250 * [taylor]: Taking taylor expansion of (exp b) in b 0.250 * [taylor]: Taking taylor expansion of b in b 0.250 * [backup-simplify]: Simplify 0 into 0 0.250 * [backup-simplify]: Simplify 1 into 1 0.250 * [backup-simplify]: Simplify (exp 0) into 1 0.250 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a 0.250 * [taylor]: Taking taylor expansion of (exp a) in a 0.250 * [taylor]: Taking taylor expansion of a in a 0.250 * [backup-simplify]: Simplify 0 into 0 0.250 * [backup-simplify]: Simplify 1 into 1 0.250 * [backup-simplify]: Simplify (exp 0) into 1 0.250 * [taylor]: Taking taylor expansion of (exp b) in a 0.250 * [taylor]: Taking taylor expansion of b in a 0.250 * [backup-simplify]: Simplify b into b 0.250 * [backup-simplify]: Simplify (exp b) into (exp b) 0.250 * [taylor]: Taking taylor expansion of (+ (exp a) (exp b)) in a 0.250 * [taylor]: Taking taylor expansion of (exp a) in a 0.250 * [taylor]: Taking taylor expansion of a in a 0.250 * [backup-simplify]: Simplify 0 into 0 0.250 * [backup-simplify]: Simplify 1 into 1 0.250 * [backup-simplify]: Simplify (exp 0) into 1 0.250 * [taylor]: Taking taylor expansion of (exp b) in a 0.250 * [taylor]: Taking taylor expansion of b in a 0.251 * [backup-simplify]: Simplify b into b 0.251 * [backup-simplify]: Simplify (exp b) into (exp b) 0.251 * [backup-simplify]: Simplify (+ 1 (exp b)) into (+ (exp b) 1) 0.251 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b 0.251 * [taylor]: Taking taylor expansion of (exp b) in b 0.251 * [taylor]: Taking taylor expansion of b in b 0.251 * [backup-simplify]: Simplify 0 into 0 0.251 * [backup-simplify]: Simplify 1 into 1 0.251 * [backup-simplify]: Simplify (exp 0) into 1 0.251 * [taylor]: Taking taylor expansion of 1 in b 0.251 * [backup-simplify]: Simplify 1 into 1 0.251 * [backup-simplify]: Simplify (+ 1 1) into 2 0.251 * [backup-simplify]: Simplify 2 into 2 0.252 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.252 * [backup-simplify]: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0 0.252 * [backup-simplify]: Simplify (+ 1 0) into 1 0.252 * [taylor]: Taking taylor expansion of 1 in b 0.252 * [backup-simplify]: Simplify 1 into 1 0.252 * [backup-simplify]: Simplify 1 into 1 0.253 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.253 * [backup-simplify]: Simplify (+ 1 0) into 1 0.253 * [backup-simplify]: Simplify 1 into 1 0.253 * [backup-simplify]: Simplify (+ (* 1 (* b 1)) (+ (* 1 (* 1 a)) 2)) into (+ a (+ b 2)) 0.254 * [backup-simplify]: Simplify (+ (exp (/ 1 a)) (exp (/ 1 b))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 0.254 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in (a b) around 0 0.254 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 0.254 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.254 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.254 * [taylor]: Taking taylor expansion of b in b 0.254 * [backup-simplify]: Simplify 0 into 0 0.254 * [backup-simplify]: Simplify 1 into 1 0.254 * [backup-simplify]: Simplify (/ 1 1) into 1 0.254 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 0.254 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.254 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.254 * [taylor]: Taking taylor expansion of a in b 0.254 * [backup-simplify]: Simplify a into a 0.254 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.254 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 0.254 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 0.254 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.254 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.254 * [taylor]: Taking taylor expansion of b in a 0.254 * [backup-simplify]: Simplify b into b 0.254 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.254 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 0.254 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.254 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.254 * [taylor]: Taking taylor expansion of a in a 0.254 * [backup-simplify]: Simplify 0 into 0 0.254 * [backup-simplify]: Simplify 1 into 1 0.255 * [backup-simplify]: Simplify (/ 1 1) into 1 0.255 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 0.255 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 0.255 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 0.255 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.255 * [taylor]: Taking taylor expansion of b in a 0.255 * [backup-simplify]: Simplify b into b 0.255 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.255 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 0.255 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 0.255 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.255 * [taylor]: Taking taylor expansion of a in a 0.255 * [backup-simplify]: Simplify 0 into 0 0.255 * [backup-simplify]: Simplify 1 into 1 0.255 * [backup-simplify]: Simplify (/ 1 1) into 1 0.255 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 0.255 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 0.255 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 0.255 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 0.255 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.255 * [taylor]: Taking taylor expansion of b in b 0.255 * [backup-simplify]: Simplify 0 into 0 0.255 * [backup-simplify]: Simplify 1 into 1 0.256 * [backup-simplify]: Simplify (/ 1 1) into 1 0.256 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 0.256 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 0.256 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.256 * [taylor]: Taking taylor expansion of a in b 0.256 * [backup-simplify]: Simplify a into a 0.256 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.256 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 0.256 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 0.256 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 0.256 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.257 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 0.257 * [backup-simplify]: Simplify (+ 0 0) into 0 0.257 * [taylor]: Taking taylor expansion of 0 in b 0.257 * [backup-simplify]: Simplify 0 into 0 0.257 * [backup-simplify]: Simplify 0 into 0 0.257 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.257 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 0.258 * [backup-simplify]: Simplify (+ 0 0) into 0 0.258 * [backup-simplify]: Simplify 0 into 0 0.258 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.259 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.259 * [backup-simplify]: Simplify (+ 0 0) into 0 0.259 * [taylor]: Taking taylor expansion of 0 in b 0.259 * [backup-simplify]: Simplify 0 into 0 0.259 * [backup-simplify]: Simplify 0 into 0 0.259 * [backup-simplify]: Simplify 0 into 0 0.259 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 0.260 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.260 * [backup-simplify]: Simplify (+ 0 0) into 0 0.260 * [backup-simplify]: Simplify 0 into 0 0.260 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.261 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.262 * [backup-simplify]: Simplify (+ 0 0) into 0 0.262 * [taylor]: Taking taylor expansion of 0 in b 0.262 * [backup-simplify]: Simplify 0 into 0 0.262 * [backup-simplify]: Simplify 0 into 0 0.262 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a)))) into (+ (exp b) (exp a)) 0.262 * [backup-simplify]: Simplify (+ (exp (/ 1 (- a))) (exp (/ 1 (- b)))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 0.262 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in (a b) around 0 0.262 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 0.262 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.262 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.262 * [taylor]: Taking taylor expansion of -1 in b 0.262 * [backup-simplify]: Simplify -1 into -1 0.262 * [taylor]: Taking taylor expansion of b in b 0.262 * [backup-simplify]: Simplify 0 into 0 0.262 * [backup-simplify]: Simplify 1 into 1 0.262 * [backup-simplify]: Simplify (/ -1 1) into -1 0.262 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 0.262 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.262 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.262 * [taylor]: Taking taylor expansion of -1 in b 0.262 * [backup-simplify]: Simplify -1 into -1 0.262 * [taylor]: Taking taylor expansion of a in b 0.262 * [backup-simplify]: Simplify a into a 0.262 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 0.262 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 0.262 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 0.262 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.262 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.263 * [taylor]: Taking taylor expansion of -1 in a 0.263 * [backup-simplify]: Simplify -1 into -1 0.263 * [taylor]: Taking taylor expansion of b in a 0.263 * [backup-simplify]: Simplify b into b 0.263 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b) 0.263 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 0.263 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.263 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.263 * [taylor]: Taking taylor expansion of -1 in a 0.263 * [backup-simplify]: Simplify -1 into -1 0.263 * [taylor]: Taking taylor expansion of a in a 0.263 * [backup-simplify]: Simplify 0 into 0 0.263 * [backup-simplify]: Simplify 1 into 1 0.263 * [backup-simplify]: Simplify (/ -1 1) into -1 0.263 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 0.263 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 0.263 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 0.263 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.263 * [taylor]: Taking taylor expansion of -1 in a 0.263 * [backup-simplify]: Simplify -1 into -1 0.263 * [taylor]: Taking taylor expansion of b in a 0.263 * [backup-simplify]: Simplify b into b 0.263 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b) 0.263 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 0.263 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 0.263 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.263 * [taylor]: Taking taylor expansion of -1 in a 0.263 * [backup-simplify]: Simplify -1 into -1 0.263 * [taylor]: Taking taylor expansion of a in a 0.263 * [backup-simplify]: Simplify 0 into 0 0.263 * [backup-simplify]: Simplify 1 into 1 0.264 * [backup-simplify]: Simplify (/ -1 1) into -1 0.264 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 0.264 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 0.264 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 0.264 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 0.264 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.264 * [taylor]: Taking taylor expansion of -1 in b 0.264 * [backup-simplify]: Simplify -1 into -1 0.264 * [taylor]: Taking taylor expansion of b in b 0.264 * [backup-simplify]: Simplify 0 into 0 0.264 * [backup-simplify]: Simplify 1 into 1 0.264 * [backup-simplify]: Simplify (/ -1 1) into -1 0.264 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 0.264 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 0.264 * [taylor]: Taking taylor expansion of (/ -1 a) in b 0.264 * [taylor]: Taking taylor expansion of -1 in b 0.264 * [backup-simplify]: Simplify -1 into -1 0.264 * [taylor]: Taking taylor expansion of a in b 0.264 * [backup-simplify]: Simplify a into a 0.265 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 0.265 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 0.265 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 0.265 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 0.265 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0 0.266 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 0.266 * [backup-simplify]: Simplify (+ 0 0) into 0 0.266 * [taylor]: Taking taylor expansion of 0 in b 0.266 * [backup-simplify]: Simplify 0 into 0 0.266 * [backup-simplify]: Simplify 0 into 0 0.266 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 0.267 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 0.268 * [backup-simplify]: Simplify (+ 0 0) into 0 0.268 * [backup-simplify]: Simplify 0 into 0 0.268 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.269 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.270 * [backup-simplify]: Simplify (+ 0 0) into 0 0.270 * [taylor]: Taking taylor expansion of 0 in b 0.270 * [backup-simplify]: Simplify 0 into 0 0.270 * [backup-simplify]: Simplify 0 into 0 0.270 * [backup-simplify]: Simplify 0 into 0 0.270 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 0.271 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.272 * [backup-simplify]: Simplify (+ 0 0) into 0 0.272 * [backup-simplify]: Simplify 0 into 0 0.272 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.274 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.274 * [backup-simplify]: Simplify (+ 0 0) into 0 0.274 * [taylor]: Taking taylor expansion of 0 in b 0.274 * [backup-simplify]: Simplify 0 into 0 0.274 * [backup-simplify]: Simplify 0 into 0 0.274 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a))))) into (+ (exp b) (exp a)) 0.274 * * * [progress]: simplifying candidates 0.274 * * * * [progress]: [ 1 / 60 ] simplifiying candidate # 0.274 * * * * [progress]: [ 2 / 60 ] simplifiying candidate # 0.274 * * * * [progress]: [ 3 / 60 ] simplifiying candidate # 0.275 * * * * [progress]: [ 4 / 60 ] simplifiying candidate # 0.275 * [simplify]: Simplifying (- a (log (+ (exp a) (exp b)))) 0.275 * * [simplify]: iters left: 6 (7 enodes) 0.278 * * [simplify]: iters left: 5 (24 enodes) 0.285 * * [simplify]: iters left: 4 (27 enodes) 0.290 * * [simplify]: Extracting #0: cost 1 inf + 0 0.291 * * [simplify]: Extracting #1: cost 5 inf + 0 0.291 * * [simplify]: Extracting #2: cost 7 inf + 1 0.291 * * [simplify]: Extracting #3: cost 10 inf + 1 0.291 * * [simplify]: Extracting #4: cost 12 inf + 72 0.291 * * [simplify]: Extracting #5: cost 8 inf + 286 0.291 * * [simplify]: Extracting #6: cost 3 inf + 1486 0.291 * * [simplify]: Extracting #7: cost 1 inf + 2030 0.292 * * [simplify]: Extracting #8: cost 0 inf + 2322 0.292 * [simplify]: Simplified to (- a (log (+ (exp a) (exp b)))) 0.292 * [simplify]: Simplified (2 1) to (λ (a b) (exp (- a (log (+ (exp a) (exp b)))))) 0.292 * * * * [progress]: [ 5 / 60 ] simplifiying candidate # 0.292 * * * * [progress]: [ 6 / 60 ] simplifiying candidate # 0.292 * * * * [progress]: [ 7 / 60 ] simplifiying candidate # 0.292 * [simplify]: Simplifying (/ (* (* (exp a) (exp a)) (exp a)) (* (* (+ (exp a) (exp b)) (+ (exp a) (exp b))) (+ (exp a) (exp b)))) 0.292 * * [simplify]: iters left: 6 (10 enodes) 0.295 * * [simplify]: iters left: 5 (54 enodes) 0.307 * * [simplify]: iters left: 4 (171 enodes) 0.348 * * [simplify]: iters left: 3 (441 enodes) 0.552 * * [simplify]: Extracting #0: cost 1 inf + 0 0.552 * * [simplify]: Extracting #1: cost 33 inf + 0 0.553 * * [simplify]: Extracting #2: cost 117 inf + 1 0.554 * * [simplify]: Extracting #3: cost 211 inf + 840 0.561 * * [simplify]: Extracting #4: cost 133 inf + 20621 0.584 * * [simplify]: Extracting #5: cost 16 inf + 54735 0.613 * * [simplify]: Extracting #6: cost 0 inf + 60612 0.641 * [simplify]: Simplified to (* (/ (exp a) (+ (exp a) (exp b))) (* (/ (exp a) (+ (exp a) (exp b))) (/ (exp a) (+ (exp a) (exp b))))) 0.641 * [simplify]: Simplified (2 1) to (λ (a b) (cbrt (* (/ (exp a) (+ (exp a) (exp b))) (* (/ (exp a) (+ (exp a) (exp b))) (/ (exp a) (+ (exp a) (exp b))))))) 0.641 * * * * [progress]: [ 8 / 60 ] simplifiying candidate # 0.641 * * * * [progress]: [ 9 / 60 ] simplifiying candidate # 0.641 * * * * [progress]: [ 10 / 60 ] simplifiying candidate # 0.641 * * * * [progress]: [ 11 / 60 ] simplifiying candidate # 0.641 * * * * [progress]: [ 12 / 60 ] simplifiying candidate # 0.642 * [simplify]: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) 0.642 * * [simplify]: iters left: 6 (10 enodes) 0.644 * * [simplify]: iters left: 5 (37 enodes) 0.649 * * [simplify]: iters left: 4 (52 enodes) 0.657 * * [simplify]: iters left: 3 (59 enodes) 0.665 * * [simplify]: iters left: 2 (62 enodes) 0.677 * * [simplify]: Extracting #0: cost 1 inf + 0 0.677 * * [simplify]: Extracting #1: cost 11 inf + 0 0.678 * * [simplify]: Extracting #2: cost 22 inf + 0 0.678 * * [simplify]: Extracting #3: cost 26 inf + 0 0.678 * * [simplify]: Extracting #4: cost 26 inf + 72 0.678 * * [simplify]: Extracting #5: cost 18 inf + 970 0.679 * * [simplify]: Extracting #6: cost 8 inf + 4310 0.681 * * [simplify]: Extracting #7: cost 0 inf + 7366 0.682 * [simplify]: Simplified to (* (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))) (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b))))) 0.682 * [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)))))) 0.683 * [simplify]: Simplifying (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))) 0.683 * * [simplify]: iters left: 6 (8 enodes) 0.686 * * [simplify]: iters left: 5 (25 enodes) 0.692 * * [simplify]: Extracting #0: cost 1 inf + 0 0.693 * * [simplify]: Extracting #1: cost 4 inf + 0 0.693 * * [simplify]: Extracting #2: cost 8 inf + 0 0.693 * * [simplify]: Extracting #3: cost 12 inf + 0 0.693 * * [simplify]: Extracting #4: cost 13 inf + 1 0.693 * * [simplify]: Extracting #5: cost 11 inf + 73 0.693 * * [simplify]: Extracting #6: cost 5 inf + 770 0.693 * * [simplify]: Extracting #7: cost 1 inf + 1858 0.694 * * [simplify]: Extracting #8: cost 0 inf + 2240 0.694 * [simplify]: Simplified to (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))) 0.694 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))) (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b))))) (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))))) 0.695 * * * * [progress]: [ 13 / 60 ] simplifiying candidate # 0.695 * [simplify]: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ (exp a) (exp b)))) 0.695 * * [simplify]: iters left: 6 (9 enodes) 0.698 * * [simplify]: iters left: 5 (30 enodes) 0.702 * * [simplify]: iters left: 4 (34 enodes) 0.706 * * [simplify]: iters left: 3 (37 enodes) 0.711 * * [simplify]: Extracting #0: cost 1 inf + 0 0.711 * * [simplify]: Extracting #1: cost 7 inf + 0 0.711 * * [simplify]: Extracting #2: cost 14 inf + 0 0.711 * * [simplify]: Extracting #3: cost 18 inf + 0 0.711 * * [simplify]: Extracting #4: cost 17 inf + 143 0.712 * * [simplify]: Extracting #5: cost 11 inf + 899 0.712 * * [simplify]: Extracting #6: cost 4 inf + 2582 0.712 * * [simplify]: Extracting #7: cost 0 inf + 3910 0.713 * [simplify]: Simplified to (/ (cbrt (exp a)) (/ (sqrt (+ (exp a) (exp b))) (cbrt (exp a)))) 0.713 * [simplify]: Simplified (2 1) to (λ (a b) (* (/ (cbrt (exp a)) (/ (sqrt (+ (exp a) (exp b))) (cbrt (exp a)))) (/ (cbrt (exp a)) (sqrt (+ (exp a) (exp b)))))) 0.713 * [simplify]: Simplifying (/ (cbrt (exp a)) (sqrt (+ (exp a) (exp b)))) 0.713 * * [simplify]: iters left: 6 (8 enodes) 0.715 * * [simplify]: iters left: 5 (25 enodes) 0.718 * * [simplify]: Extracting #0: cost 1 inf + 0 0.718 * * [simplify]: Extracting #1: cost 4 inf + 0 0.718 * * [simplify]: Extracting #2: cost 8 inf + 0 0.718 * * [simplify]: Extracting #3: cost 12 inf + 0 0.718 * * [simplify]: Extracting #4: cost 13 inf + 1 0.718 * * [simplify]: Extracting #5: cost 11 inf + 73 0.718 * * [simplify]: Extracting #6: cost 5 inf + 770 0.718 * * [simplify]: Extracting #7: cost 1 inf + 1738 0.719 * * [simplify]: Extracting #8: cost 0 inf + 2080 0.719 * [simplify]: Simplified to (/ (cbrt (exp a)) (sqrt (+ (exp a) (exp b)))) 0.719 * [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)))))) 0.719 * * * * [progress]: [ 14 / 60 ] simplifiying candidate # 0.719 * [simplify]: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) 1) 0.719 * * [simplify]: iters left: 6 (6 enodes) 0.722 * * [simplify]: iters left: 5 (20 enodes) 0.726 * * [simplify]: iters left: 4 (30 enodes) 0.731 * * [simplify]: iters left: 3 (31 enodes) 0.737 * * [simplify]: Extracting #0: cost 1 inf + 0 0.737 * * [simplify]: Extracting #1: cost 5 inf + 0 0.737 * * [simplify]: Extracting #2: cost 7 inf + 1 0.737 * * [simplify]: Extracting #3: cost 9 inf + 1 0.737 * * [simplify]: Extracting #4: cost 8 inf + 2 0.737 * * [simplify]: Extracting #5: cost 0 inf + 1212 0.737 * [simplify]: Simplified to (* (cbrt (exp a)) (cbrt (exp a))) 0.737 * [simplify]: Simplified (2 1) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))))) 0.738 * [simplify]: Simplifying (/ (cbrt (exp a)) (+ (exp a) (exp b))) 0.738 * * [simplify]: iters left: 5 (7 enodes) 0.741 * * [simplify]: iters left: 4 (22 enodes) 0.746 * * [simplify]: Extracting #0: cost 1 inf + 0 0.746 * * [simplify]: Extracting #1: cost 4 inf + 0 0.746 * * [simplify]: Extracting #2: cost 8 inf + 0 0.746 * * [simplify]: Extracting #3: cost 12 inf + 0 0.747 * * [simplify]: Extracting #4: cost 10 inf + 2 0.747 * * [simplify]: Extracting #5: cost 4 inf + 650 0.747 * * [simplify]: Extracting #6: cost 1 inf + 1254 0.747 * * [simplify]: Extracting #7: cost 0 inf + 1556 0.748 * [simplify]: Simplified to (/ (cbrt (exp a)) (+ (exp a) (exp b))) 0.748 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))))) 0.748 * * * * [progress]: [ 15 / 60 ] simplifiying candidate # 0.748 * [simplify]: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) 1) 0.748 * * [simplify]: iters left: 6 (6 enodes) 0.752 * * [simplify]: iters left: 5 (20 enodes) 0.758 * * [simplify]: iters left: 4 (30 enodes) 0.767 * * [simplify]: iters left: 3 (31 enodes) 0.775 * * [simplify]: Extracting #0: cost 1 inf + 0 0.775 * * [simplify]: Extracting #1: cost 5 inf + 0 0.775 * * [simplify]: Extracting #2: cost 7 inf + 1 0.775 * * [simplify]: Extracting #3: cost 9 inf + 1 0.775 * * [simplify]: Extracting #4: cost 8 inf + 2 0.775 * * [simplify]: Extracting #5: cost 0 inf + 1212 0.776 * [simplify]: Simplified to (* (cbrt (exp a)) (cbrt (exp a))) 0.776 * [simplify]: Simplified (2 1) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))))) 0.776 * [simplify]: Simplifying (/ (cbrt (exp a)) (+ (exp a) (exp b))) 0.776 * * [simplify]: iters left: 5 (7 enodes) 0.779 * * [simplify]: iters left: 4 (22 enodes) 0.785 * * [simplify]: Extracting #0: cost 1 inf + 0 0.785 * * [simplify]: Extracting #1: cost 4 inf + 0 0.785 * * [simplify]: Extracting #2: cost 8 inf + 0 0.785 * * [simplify]: Extracting #3: cost 12 inf + 0 0.785 * * [simplify]: Extracting #4: cost 10 inf + 2 0.786 * * [simplify]: Extracting #5: cost 4 inf + 650 0.786 * * [simplify]: Extracting #6: cost 1 inf + 1254 0.786 * * [simplify]: Extracting #7: cost 0 inf + 1556 0.787 * [simplify]: Simplified to (/ (cbrt (exp a)) (+ (exp a) (exp b))) 0.787 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))))) 0.787 * * * * [progress]: [ 16 / 60 ] simplifiying candidate # 0.787 * [simplify]: Simplifying (/ (sqrt (exp a)) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) 0.787 * * [simplify]: iters left: 6 (9 enodes) 0.791 * * [simplify]: iters left: 5 (30 enodes) 0.799 * * [simplify]: iters left: 4 (32 enodes) 0.806 * * [simplify]: Extracting #0: cost 1 inf + 0 0.806 * * [simplify]: Extracting #1: cost 6 inf + 0 0.806 * * [simplify]: Extracting #2: cost 12 inf + 0 0.806 * * [simplify]: Extracting #3: cost 16 inf + 0 0.806 * * [simplify]: Extracting #4: cost 17 inf + 1 0.807 * * [simplify]: Extracting #5: cost 14 inf + 144 0.807 * * [simplify]: Extracting #6: cost 10 inf + 619 0.807 * * [simplify]: Extracting #7: cost 4 inf + 2120 0.807 * * [simplify]: Extracting #8: cost 0 inf + 3448 0.808 * [simplify]: Simplified to (/ (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))) (cbrt (+ (exp a) (exp b)))) 0.808 * [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)))))) 0.808 * [simplify]: Simplifying (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))) 0.808 * * [simplify]: iters left: 6 (8 enodes) 0.810 * * [simplify]: iters left: 5 (25 enodes) 0.813 * * [simplify]: Extracting #0: cost 1 inf + 0 0.813 * * [simplify]: Extracting #1: cost 4 inf + 0 0.813 * * [simplify]: Extracting #2: cost 8 inf + 0 0.813 * * [simplify]: Extracting #3: cost 12 inf + 0 0.813 * * [simplify]: Extracting #4: cost 13 inf + 1 0.813 * * [simplify]: Extracting #5: cost 11 inf + 73 0.813 * * [simplify]: Extracting #6: cost 5 inf + 690 0.813 * * [simplify]: Extracting #7: cost 1 inf + 1738 0.814 * * [simplify]: Extracting #8: cost 0 inf + 2080 0.814 * [simplify]: Simplified to (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))) 0.814 * [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)))))) 0.814 * * * * [progress]: [ 17 / 60 ] simplifiying candidate # 0.814 * [simplify]: Simplifying (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) 0.814 * * [simplify]: iters left: 6 (8 enodes) 0.816 * * [simplify]: iters left: 5 (25 enodes) 0.819 * * [simplify]: Extracting #0: cost 1 inf + 0 0.819 * * [simplify]: Extracting #1: cost 4 inf + 0 0.819 * * [simplify]: Extracting #2: cost 8 inf + 0 0.819 * * [simplify]: Extracting #3: cost 12 inf + 0 0.819 * * [simplify]: Extracting #4: cost 13 inf + 1 0.819 * * [simplify]: Extracting #5: cost 11 inf + 73 0.819 * * [simplify]: Extracting #6: cost 5 inf + 690 0.820 * * [simplify]: Extracting #7: cost 1 inf + 1618 0.820 * * [simplify]: Extracting #8: cost 0 inf + 1920 0.820 * [simplify]: Simplified to (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) 0.820 * [simplify]: Simplified (2 1) to (λ (a b) (* (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))))) 0.820 * [simplify]: Simplifying (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) 0.820 * * [simplify]: iters left: 6 (8 enodes) 0.822 * * [simplify]: iters left: 5 (25 enodes) 0.825 * * [simplify]: Extracting #0: cost 1 inf + 0 0.825 * * [simplify]: Extracting #1: cost 4 inf + 0 0.825 * * [simplify]: Extracting #2: cost 8 inf + 0 0.825 * * [simplify]: Extracting #3: cost 12 inf + 0 0.825 * * [simplify]: Extracting #4: cost 13 inf + 1 0.825 * * [simplify]: Extracting #5: cost 11 inf + 73 0.826 * * [simplify]: Extracting #6: cost 5 inf + 690 0.826 * * [simplify]: Extracting #7: cost 1 inf + 1618 0.826 * * [simplify]: Extracting #8: cost 0 inf + 1920 0.826 * [simplify]: Simplified to (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) 0.826 * [simplify]: Simplified (2 2) to (λ (a b) (* (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))))) 0.826 * * * * [progress]: [ 18 / 60 ] simplifiying candidate # 0.827 * [simplify]: Simplifying (/ (sqrt (exp a)) 1) 0.827 * * [simplify]: iters left: 4 (5 enodes) 0.828 * * [simplify]: iters left: 3 (15 enodes) 0.831 * * [simplify]: iters left: 2 (17 enodes) 0.833 * * [simplify]: Extracting #0: cost 1 inf + 0 0.833 * * [simplify]: Extracting #1: cost 4 inf + 0 0.833 * * [simplify]: Extracting #2: cost 5 inf + 1 0.833 * * [simplify]: Extracting #3: cost 4 inf + 2 0.833 * * [simplify]: Extracting #4: cost 1 inf + 255 0.833 * * [simplify]: Extracting #5: cost 0 inf + 366 0.833 * [simplify]: Simplified to (sqrt (exp a)) 0.833 * [simplify]: Simplified (2 1) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp a) (exp b))))) 0.834 * [simplify]: Simplifying (/ (sqrt (exp a)) (+ (exp a) (exp b))) 0.834 * * [simplify]: iters left: 5 (7 enodes) 0.836 * * [simplify]: iters left: 4 (22 enodes) 0.839 * * [simplify]: Extracting #0: cost 1 inf + 0 0.839 * * [simplify]: Extracting #1: cost 4 inf + 0 0.839 * * [simplify]: Extracting #2: cost 8 inf + 0 0.839 * * [simplify]: Extracting #3: cost 12 inf + 0 0.839 * * [simplify]: Extracting #4: cost 10 inf + 2 0.839 * * [simplify]: Extracting #5: cost 4 inf + 650 0.840 * * [simplify]: Extracting #6: cost 1 inf + 1134 0.840 * * [simplify]: Extracting #7: cost 0 inf + 1396 0.840 * [simplify]: Simplified to (/ (sqrt (exp a)) (+ (exp a) (exp b))) 0.840 * [simplify]: Simplified (2 2) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp a) (exp b))))) 0.840 * * * * [progress]: [ 19 / 60 ] simplifiying candidate # 0.840 * [simplify]: Simplifying (/ (sqrt (exp a)) 1) 0.840 * * [simplify]: iters left: 4 (5 enodes) 0.842 * * [simplify]: iters left: 3 (15 enodes) 0.844 * * [simplify]: iters left: 2 (17 enodes) 0.847 * * [simplify]: Extracting #0: cost 1 inf + 0 0.847 * * [simplify]: Extracting #1: cost 4 inf + 0 0.847 * * [simplify]: Extracting #2: cost 5 inf + 1 0.847 * * [simplify]: Extracting #3: cost 4 inf + 2 0.847 * * [simplify]: Extracting #4: cost 1 inf + 255 0.847 * * [simplify]: Extracting #5: cost 0 inf + 366 0.848 * [simplify]: Simplified to (sqrt (exp a)) 0.848 * [simplify]: Simplified (2 1) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp a) (exp b))))) 0.848 * [simplify]: Simplifying (/ (sqrt (exp a)) (+ (exp a) (exp b))) 0.848 * * [simplify]: iters left: 5 (7 enodes) 0.849 * * [simplify]: iters left: 4 (22 enodes) 0.852 * * [simplify]: Extracting #0: cost 1 inf + 0 0.852 * * [simplify]: Extracting #1: cost 4 inf + 0 0.852 * * [simplify]: Extracting #2: cost 8 inf + 0 0.852 * * [simplify]: Extracting #3: cost 12 inf + 0 0.852 * * [simplify]: Extracting #4: cost 10 inf + 2 0.852 * * [simplify]: Extracting #5: cost 4 inf + 650 0.853 * * [simplify]: Extracting #6: cost 1 inf + 1134 0.853 * * [simplify]: Extracting #7: cost 0 inf + 1396 0.853 * [simplify]: Simplified to (/ (sqrt (exp a)) (+ (exp a) (exp b))) 0.853 * [simplify]: Simplified (2 2) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp a) (exp b))))) 0.853 * * * * [progress]: [ 20 / 60 ] simplifiying candidate # 0.853 * [simplify]: Simplifying (/ 1 (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) 0.853 * * [simplify]: iters left: 6 (9 enodes) 0.856 * * [simplify]: iters left: 5 (32 enodes) 0.860 * * [simplify]: iters left: 4 (36 enodes) 0.866 * * [simplify]: Extracting #0: cost 1 inf + 0 0.866 * * [simplify]: Extracting #1: cost 6 inf + 0 0.866 * * [simplify]: Extracting #2: cost 9 inf + 1 0.866 * * [simplify]: Extracting #3: cost 12 inf + 1 0.866 * * [simplify]: Extracting #4: cost 16 inf + 1 0.866 * * [simplify]: Extracting #5: cost 14 inf + 3 0.866 * * [simplify]: Extracting #6: cost 10 inf + 398 0.866 * * [simplify]: Extracting #7: cost 3 inf + 2083 0.867 * * [simplify]: Extracting #8: cost 0 inf + 3071 0.867 * [simplify]: Simplified to (/ (/ 1 (cbrt (+ (exp a) (exp b)))) (cbrt (+ (exp a) (exp b)))) 0.867 * [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)))))) 0.867 * [simplify]: Simplifying (/ (exp a) (cbrt (+ (exp a) (exp b)))) 0.867 * * [simplify]: iters left: 6 (7 enodes) 0.869 * * [simplify]: iters left: 5 (22 enodes) 0.872 * * [simplify]: Extracting #0: cost 1 inf + 0 0.872 * * [simplify]: Extracting #1: cost 4 inf + 0 0.872 * * [simplify]: Extracting #2: cost 8 inf + 0 0.872 * * [simplify]: Extracting #3: cost 9 inf + 1 0.872 * * [simplify]: Extracting #4: cost 9 inf + 143 0.872 * * [simplify]: Extracting #5: cost 8 inf + 144 0.872 * * [simplify]: Extracting #6: cost 1 inf + 1476 0.872 * * [simplify]: Extracting #7: cost 0 inf + 1778 0.873 * [simplify]: Simplified to (/ (exp a) (cbrt (+ (exp a) (exp b)))) 0.873 * [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)))))) 0.873 * * * * [progress]: [ 21 / 60 ] simplifiying candidate # 0.873 * [simplify]: Simplifying (/ 1 (sqrt (+ (exp a) (exp b)))) 0.873 * * [simplify]: iters left: 6 (8 enodes) 0.875 * * [simplify]: iters left: 5 (27 enodes) 0.880 * * [simplify]: iters left: 4 (29 enodes) 0.884 * * [simplify]: Extracting #0: cost 1 inf + 0 0.885 * * [simplify]: Extracting #1: cost 4 inf + 0 0.885 * * [simplify]: Extracting #2: cost 5 inf + 1 0.885 * * [simplify]: Extracting #3: cost 8 inf + 1 0.885 * * [simplify]: Extracting #4: cost 12 inf + 1 0.885 * * [simplify]: Extracting #5: cost 10 inf + 3 0.885 * * [simplify]: Extracting #6: cost 5 inf + 469 0.885 * * [simplify]: Extracting #7: cost 1 inf + 1358 0.885 * * [simplify]: Extracting #8: cost 0 inf + 1621 0.885 * [simplify]: Simplified to (/ 1 (sqrt (+ (exp a) (exp b)))) 0.885 * [simplify]: Simplified (2 1) to (λ (a b) (* (/ 1 (sqrt (+ (exp a) (exp b)))) (/ (exp a) (sqrt (+ (exp a) (exp b)))))) 0.886 * [simplify]: Simplifying (/ (exp a) (sqrt (+ (exp a) (exp b)))) 0.886 * * [simplify]: iters left: 6 (7 enodes) 0.887 * * [simplify]: iters left: 5 (22 enodes) 0.892 * * [simplify]: Extracting #0: cost 1 inf + 0 0.893 * * [simplify]: Extracting #1: cost 4 inf + 0 0.893 * * [simplify]: Extracting #2: cost 8 inf + 0 0.893 * * [simplify]: Extracting #3: cost 9 inf + 1 0.893 * * [simplify]: Extracting #4: cost 9 inf + 143 0.893 * * [simplify]: Extracting #5: cost 8 inf + 144 0.893 * * [simplify]: Extracting #6: cost 1 inf + 1356 0.894 * * [simplify]: Extracting #7: cost 0 inf + 1618 0.894 * [simplify]: Simplified to (/ (exp a) (sqrt (+ (exp a) (exp b)))) 0.894 * [simplify]: Simplified (2 2) to (λ (a b) (* (/ 1 (sqrt (+ (exp a) (exp b)))) (/ (exp a) (sqrt (+ (exp a) (exp b)))))) 0.894 * * * * [progress]: [ 22 / 60 ] simplifiying candidate # 0.895 * [simplify]: Simplifying (/ 1 1) 0.895 * * [simplify]: iters left: 2 (2 enodes) 0.897 * * [simplify]: iters left: 1 (6 enodes) 0.899 * * [simplify]: Extracting #0: cost 1 inf + 0 0.899 * * [simplify]: Extracting #1: cost 0 inf + 1 0.899 * [simplify]: Simplified to 1 0.899 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (/ (exp a) (+ (exp a) (exp b))))) 0.899 * [simplify]: Simplifying (/ (exp a) (+ (exp a) (exp b))) 0.899 * * [simplify]: iters left: 5 (6 enodes) 0.901 * * [simplify]: iters left: 4 (19 enodes) 0.906 * * [simplify]: Extracting #0: cost 1 inf + 0 0.906 * * [simplify]: Extracting #1: cost 4 inf + 0 0.907 * * [simplify]: Extracting #2: cost 8 inf + 0 0.907 * * [simplify]: Extracting #3: cost 9 inf + 1 0.907 * * [simplify]: Extracting #4: cost 0 inf + 1094 0.907 * [simplify]: Simplified to (/ (exp a) (+ (exp a) (exp b))) 0.907 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (/ (exp a) (+ (exp a) (exp b))))) 0.907 * * * * [progress]: [ 23 / 60 ] simplifiying candidate # 0.908 * [simplify]: Simplifying (/ 1 1) 0.908 * * [simplify]: iters left: 2 (2 enodes) 0.909 * * [simplify]: iters left: 1 (6 enodes) 0.911 * * [simplify]: Extracting #0: cost 1 inf + 0 0.911 * * [simplify]: Extracting #1: cost 0 inf + 1 0.911 * [simplify]: Simplified to 1 0.911 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (/ (exp a) (+ (exp a) (exp b))))) 0.912 * [simplify]: Simplifying (/ (exp a) (+ (exp a) (exp b))) 0.912 * * [simplify]: iters left: 5 (6 enodes) 0.914 * * [simplify]: iters left: 4 (19 enodes) 0.919 * * [simplify]: Extracting #0: cost 1 inf + 0 0.919 * * [simplify]: Extracting #1: cost 4 inf + 0 0.919 * * [simplify]: Extracting #2: cost 8 inf + 0 0.919 * * [simplify]: Extracting #3: cost 9 inf + 1 0.920 * * [simplify]: Extracting #4: cost 0 inf + 1094 0.920 * [simplify]: Simplified to (/ (exp a) (+ (exp a) (exp b))) 0.920 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (/ (exp a) (+ (exp a) (exp b))))) 0.920 * * * * [progress]: [ 24 / 60 ] simplifiying candidate # 0.920 * * * * [progress]: [ 25 / 60 ] simplifiying candidate # 0.920 * * * * [progress]: [ 26 / 60 ] simplifiying candidate # 0.920 * * * * [progress]: [ 27 / 60 ] simplifiying candidate # 0.921 * [simplify]: Simplifying (cbrt (+ (exp a) (exp b))) 0.921 * * [simplify]: iters left: 4 (6 enodes) 0.923 * * [simplify]: iters left: 3 (19 enodes) 0.928 * * [simplify]: Extracting #0: cost 1 inf + 0 0.928 * * [simplify]: Extracting #1: cost 3 inf + 0 0.928 * * [simplify]: Extracting #2: cost 6 inf + 0 0.928 * * [simplify]: Extracting #3: cost 10 inf + 0 0.928 * * [simplify]: Extracting #4: cost 6 inf + 144 0.928 * * [simplify]: Extracting #5: cost 0 inf + 1174 0.929 * [simplify]: Simplified to (cbrt (+ (exp a) (exp b))) 0.929 * [simplify]: Simplified (2 2) to (λ (a b) (/ (/ (exp a) (* (cbrt (+ (exp a) (exp b))) (cbrt (+ (exp a) (exp b))))) (cbrt (+ (exp a) (exp b))))) 0.929 * * * * [progress]: [ 28 / 60 ] simplifiying candidate # 0.929 * [simplify]: Simplifying (sqrt (+ (exp a) (exp b))) 0.929 * * [simplify]: iters left: 4 (6 enodes) 0.932 * * [simplify]: iters left: 3 (19 enodes) 0.937 * * [simplify]: Extracting #0: cost 1 inf + 0 0.937 * * [simplify]: Extracting #1: cost 3 inf + 0 0.937 * * [simplify]: Extracting #2: cost 6 inf + 0 0.937 * * [simplify]: Extracting #3: cost 10 inf + 0 0.937 * * [simplify]: Extracting #4: cost 6 inf + 144 0.937 * * [simplify]: Extracting #5: cost 0 inf + 1094 0.938 * [simplify]: Simplified to (sqrt (+ (exp a) (exp b))) 0.938 * [simplify]: Simplified (2 2) to (λ (a b) (/ (/ (exp a) (sqrt (+ (exp a) (exp b)))) (sqrt (+ (exp a) (exp b))))) 0.938 * * * * [progress]: [ 29 / 60 ] simplifiying candidate # 0.938 * [simplify]: Simplifying (+ (exp a) (exp b)) 0.938 * * [simplify]: iters left: 3 (5 enodes) 0.940 * * [simplify]: iters left: 2 (16 enodes) 0.945 * * [simplify]: Extracting #0: cost 1 inf + 0 0.945 * * [simplify]: Extracting #1: cost 4 inf + 0 0.945 * * [simplify]: Extracting #2: cost 8 inf + 0 0.945 * * [simplify]: Extracting #3: cost 4 inf + 144 0.945 * * [simplify]: Extracting #4: cost 0 inf + 650 0.946 * [simplify]: Simplified to (+ (exp a) (exp b)) 0.946 * [simplify]: Simplified (2 2) to (λ (a b) (/ (/ (exp a) 1) (+ (exp a) (exp b)))) 0.946 * * * * [progress]: [ 30 / 60 ] simplifiying candidate # 0.946 * [simplify]: Simplifying (+ (exp a) (exp b)) 0.946 * * [simplify]: iters left: 3 (5 enodes) 0.947 * * [simplify]: iters left: 2 (16 enodes) 0.949 * * [simplify]: Extracting #0: cost 1 inf + 0 0.949 * * [simplify]: Extracting #1: cost 4 inf + 0 0.949 * * [simplify]: Extracting #2: cost 8 inf + 0 0.949 * * [simplify]: Extracting #3: cost 4 inf + 144 0.949 * * [simplify]: Extracting #4: cost 0 inf + 650 0.949 * [simplify]: Simplified to (+ (exp a) (exp b)) 0.949 * [simplify]: Simplified (2 2) to (λ (a b) (/ (/ (exp a) 1) (+ (exp a) (exp b)))) 0.950 * * * * [progress]: [ 31 / 60 ] simplifiying candidate # 0.950 * [simplify]: Simplifying (* (cbrt (exp a)) (cbrt (exp a))) 0.950 * * [simplify]: iters left: 4 (4 enodes) 0.951 * * [simplify]: iters left: 3 (12 enodes) 0.952 * * [simplify]: Extracting #0: cost 1 inf + 0 0.952 * * [simplify]: Extracting #1: cost 3 inf + 0 0.952 * * [simplify]: Extracting #2: cost 5 inf + 0 0.952 * * [simplify]: Extracting #3: cost 7 inf + 0 0.952 * * [simplify]: Extracting #4: cost 6 inf + 1 0.952 * * [simplify]: Extracting #5: cost 0 inf + 827 0.953 * [simplify]: Simplified to (* (cbrt (exp a)) (cbrt (exp a))) 0.953 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (cbrt (exp a)) (cbrt (exp a))) (/ (+ (exp a) (exp b)) (cbrt (exp a))))) 0.953 * * * * [progress]: [ 32 / 60 ] simplifiying candidate # 0.953 * [simplify]: Simplifying (sqrt (exp a)) 0.953 * * [simplify]: iters left: 2 (3 enodes) 0.953 * * [simplify]: iters left: 1 (9 enodes) 0.955 * * [simplify]: Extracting #0: cost 1 inf + 0 0.955 * * [simplify]: Extracting #1: cost 3 inf + 0 0.955 * * [simplify]: Extracting #2: cost 5 inf + 0 0.955 * * [simplify]: Extracting #3: cost 4 inf + 1 0.955 * * [simplify]: Extracting #4: cost 0 inf + 365 0.955 * [simplify]: Simplified to (sqrt (exp a)) 0.955 * [simplify]: Simplified (2 1) to (λ (a b) (/ (sqrt (exp a)) (/ (+ (exp a) (exp b)) (sqrt (exp a))))) 0.955 * * * * [progress]: [ 33 / 60 ] simplifiying candidate # 0.955 * * * * [progress]: [ 34 / 60 ] simplifiying candidate # 0.955 * [simplify]: Simplifying (+ (* (exp a) (exp a)) (- (* (exp b) (exp b)) (* (exp a) (exp b)))) 0.955 * * [simplify]: iters left: 6 (9 enodes) 0.958 * * [simplify]: iters left: 5 (43 enodes) 0.965 * * [simplify]: iters left: 4 (74 enodes) 0.977 * * [simplify]: iters left: 3 (108 enodes) 1.006 * * [simplify]: iters left: 2 (136 enodes) 1.041 * * [simplify]: iters left: 1 (162 enodes) 1.067 * * [simplify]: Extracting #0: cost 1 inf + 0 1.067 * * [simplify]: Extracting #1: cost 20 inf + 0 1.068 * * [simplify]: Extracting #2: cost 42 inf + 0 1.068 * * [simplify]: Extracting #3: cost 35 inf + 561 1.069 * * [simplify]: Extracting #4: cost 4 inf + 5667 1.071 * * [simplify]: Extracting #5: cost 0 inf + 6499 1.072 * [simplify]: Simplified to (fma (exp a) (exp a) (* (exp b) (- (exp b) (exp a)))) 1.073 * [simplify]: Simplified (2 2) to (λ (a b) (* (/ (exp a) (+ (pow (exp a) 3) (pow (exp b) 3))) (fma (exp a) (exp a) (* (exp b) (- (exp b) (exp a)))))) 1.073 * * * * [progress]: [ 35 / 60 ] simplifiying candidate # 1.073 * [simplify]: Simplifying (- (exp a) (exp b)) 1.073 * * [simplify]: iters left: 3 (5 enodes) 1.074 * * [simplify]: iters left: 2 (17 enodes) 1.076 * * [simplify]: iters left: 1 (20 enodes) 1.081 * * [simplify]: Extracting #0: cost 1 inf + 0 1.081 * * [simplify]: Extracting #1: cost 5 inf + 0 1.082 * * [simplify]: Extracting #2: cost 10 inf + 0 1.082 * * [simplify]: Extracting #3: cost 8 inf + 2 1.082 * * [simplify]: Extracting #4: cost 1 inf + 761 1.082 * * [simplify]: Extracting #5: cost 0 inf + 872 1.082 * [simplify]: Simplified to (- (exp a) (exp b)) 1.082 * [simplify]: Simplified (2 2) to (λ (a b) (* (/ (exp a) (- (* (exp a) (exp a)) (* (exp b) (exp b)))) (- (exp a) (exp b)))) 1.083 * * * * [progress]: [ 36 / 60 ] simplifiying candidate #real (real->posit16 (/ (exp a) (+ (exp a) (exp b))))))> 1.083 * * * * [progress]: [ 37 / 60 ] simplifiying candidate # 1.083 * * * * [progress]: [ 38 / 60 ] simplifiying candidate # 1.083 * * * * [progress]: [ 39 / 60 ] simplifiying candidate # 1.083 * [simplify]: Simplifying (* (cbrt (exp a)) (cbrt (exp a))) 1.083 * * [simplify]: iters left: 4 (4 enodes) 1.085 * * [simplify]: iters left: 3 (12 enodes) 1.088 * * [simplify]: Extracting #0: cost 1 inf + 0 1.088 * * [simplify]: Extracting #1: cost 3 inf + 0 1.088 * * [simplify]: Extracting #2: cost 5 inf + 0 1.088 * * [simplify]: Extracting #3: cost 7 inf + 0 1.088 * * [simplify]: Extracting #4: cost 6 inf + 1 1.088 * * [simplify]: Extracting #5: cost 0 inf + 827 1.089 * [simplify]: Simplified to (* (cbrt (exp a)) (cbrt (exp a))) 1.089 * [simplify]: Simplified (2 2 1) to (λ (a b) (/ (exp a) (fma (* (cbrt (exp a)) (cbrt (exp a))) (cbrt (exp a)) (exp b)))) 1.089 * * * * [progress]: [ 40 / 60 ] simplifiying candidate # 1.089 * [simplify]: Simplifying (sqrt (exp a)) 1.089 * * [simplify]: iters left: 2 (3 enodes) 1.090 * * [simplify]: iters left: 1 (9 enodes) 1.093 * * [simplify]: Extracting #0: cost 1 inf + 0 1.093 * * [simplify]: Extracting #1: cost 3 inf + 0 1.093 * * [simplify]: Extracting #2: cost 5 inf + 0 1.093 * * [simplify]: Extracting #3: cost 4 inf + 1 1.093 * * [simplify]: Extracting #4: cost 0 inf + 365 1.093 * [simplify]: Simplified to (sqrt (exp a)) 1.093 * [simplify]: Simplified (2 2 1) to (λ (a b) (/ (exp a) (fma (sqrt (exp a)) (sqrt (exp a)) (exp b)))) 1.093 * * * * [progress]: [ 41 / 60 ] simplifiying candidate # 1.093 * * * * [progress]: [ 42 / 60 ] simplifiying candidate # 1.094 * [simplify]: Simplifying (* (exp (exp a)) (exp (exp b))) 1.094 * * [simplify]: iters left: 4 (7 enodes) 1.097 * * [simplify]: iters left: 3 (24 enodes) 1.103 * * [simplify]: iters left: 2 (28 enodes) 1.111 * * [simplify]: Extracting #0: cost 1 inf + 0 1.111 * * [simplify]: Extracting #1: cost 5 inf + 0 1.111 * * [simplify]: Extracting #2: cost 10 inf + 0 1.111 * * [simplify]: Extracting #3: cost 14 inf + 0 1.111 * * [simplify]: Extracting #4: cost 12 inf + 2 1.111 * * [simplify]: Extracting #5: cost 5 inf + 791 1.112 * * [simplify]: Extracting #6: cost 1 inf + 1466 1.112 * * [simplify]: Extracting #7: cost 0 inf + 1718 1.112 * [simplify]: Simplified to (exp (+ (exp a) (exp b))) 1.112 * [simplify]: Simplified (2 2 1) to (λ (a b) (/ (exp a) (log (exp (+ (exp a) (exp b)))))) 1.112 * * * * [progress]: [ 43 / 60 ] simplifiying candidate # 1.112 * * * * [progress]: [ 44 / 60 ] simplifiying candidate # 1.113 * * * * [progress]: [ 45 / 60 ] simplifiying candidate # 1.113 * * * * [progress]: [ 46 / 60 ] simplifiying candidate # 1.113 * * * * [progress]: [ 47 / 60 ] simplifiying candidate # 1.113 * * * * [progress]: [ 48 / 60 ] simplifiying candidate # 1.113 * * * * [progress]: [ 49 / 60 ] simplifiying candidate # 1.113 * * * * [progress]: [ 50 / 60 ] simplifiying candidate # 1.113 * * * * [progress]: [ 51 / 60 ] simplifiying candidate # 1.113 * * * * [progress]: [ 52 / 60 ] simplifiying candidate # 1.113 * [simplify]: Simplifying (+ (exp a) (exp b)) 1.113 * * [simplify]: iters left: 3 (5 enodes) 1.114 * * [simplify]: iters left: 2 (16 enodes) 1.116 * * [simplify]: Extracting #0: cost 1 inf + 0 1.116 * * [simplify]: Extracting #1: cost 4 inf + 0 1.116 * * [simplify]: Extracting #2: cost 8 inf + 0 1.116 * * [simplify]: Extracting #3: cost 4 inf + 144 1.116 * * [simplify]: Extracting #4: cost 0 inf + 650 1.117 * [simplify]: Simplified to (+ (exp a) (exp b)) 1.117 * [simplify]: Simplified (2 2 2) to (λ (a b) (/ (exp a) (* 1 (+ (exp a) (exp b))))) 1.117 * * * * [progress]: [ 53 / 60 ] simplifiying candidate #real (real->posit16 (+ (exp a) (exp b))))))> 1.117 * * * * [progress]: [ 54 / 60 ] simplifiying candidate # 1.117 * * * * [progress]: [ 55 / 60 ] simplifiying candidate # 1.117 * [simplify]: Simplifying (- (+ (* 1/4 a) 1/2) (* 1/4 b)) 1.117 * * [simplify]: iters left: 6 (8 enodes) 1.120 * * [simplify]: iters left: 5 (32 enodes) 1.126 * * [simplify]: iters left: 4 (54 enodes) 1.137 * * [simplify]: iters left: 3 (77 enodes) 1.149 * * [simplify]: iters left: 2 (100 enodes) 1.161 * * [simplify]: iters left: 1 (117 enodes) 1.184 * * [simplify]: Extracting #0: cost 1 inf + 0 1.184 * * [simplify]: Extracting #1: cost 22 inf + 0 1.184 * * [simplify]: Extracting #2: cost 31 inf + 130 1.185 * * [simplify]: Extracting #3: cost 9 inf + 1705 1.185 * * [simplify]: Extracting #4: cost 0 inf + 2202 1.186 * * [simplify]: Extracting #5: cost 0 inf + 2186 1.187 * [simplify]: Simplified to (fma (- a b) 1/4 1/2) 1.187 * [simplify]: Simplified (2) to (λ (a b) (fma (- a b) 1/4 1/2)) 1.187 * * * * [progress]: [ 56 / 60 ] simplifiying candidate # 1.187 * [simplify]: Simplifying (/ (exp a) (+ (exp b) (exp a))) 1.188 * * [simplify]: iters left: 5 (6 enodes) 1.189 * * [simplify]: iters left: 4 (19 enodes) 1.191 * * [simplify]: Extracting #0: cost 1 inf + 0 1.191 * * [simplify]: Extracting #1: cost 4 inf + 0 1.191 * * [simplify]: Extracting #2: cost 8 inf + 0 1.191 * * [simplify]: Extracting #3: cost 9 inf + 1 1.192 * * [simplify]: Extracting #4: cost 0 inf + 1094 1.192 * [simplify]: Simplified to (/ (exp a) (+ (exp a) (exp b))) 1.192 * [simplify]: Simplified (2) to (λ (a b) (/ (exp a) (+ (exp a) (exp b)))) 1.192 * * * * [progress]: [ 57 / 60 ] simplifiying candidate # 1.192 * [simplify]: Simplifying (/ (exp a) (+ (exp b) (exp a))) 1.192 * * [simplify]: iters left: 5 (6 enodes) 1.193 * * [simplify]: iters left: 4 (19 enodes) 1.196 * * [simplify]: Extracting #0: cost 1 inf + 0 1.196 * * [simplify]: Extracting #1: cost 4 inf + 0 1.196 * * [simplify]: Extracting #2: cost 8 inf + 0 1.196 * * [simplify]: Extracting #3: cost 9 inf + 1 1.196 * * [simplify]: Extracting #4: cost 0 inf + 1094 1.196 * [simplify]: Simplified to (/ (exp a) (+ (exp a) (exp b))) 1.196 * [simplify]: Simplified (2) to (λ (a b) (/ (exp a) (+ (exp a) (exp b)))) 1.196 * * * * [progress]: [ 58 / 60 ] simplifiying candidate # 1.196 * [simplify]: Simplifying (+ a (+ b 2)) 1.196 * * [simplify]: iters left: 4 (5 enodes) 1.198 * * [simplify]: iters left: 3 (19 enodes) 1.201 * * [simplify]: iters left: 2 (27 enodes) 1.205 * * [simplify]: iters left: 1 (32 enodes) 1.208 * * [simplify]: Extracting #0: cost 1 inf + 0 1.209 * * [simplify]: Extracting #1: cost 8 inf + 0 1.209 * * [simplify]: Extracting #2: cost 7 inf + 45 1.209 * * [simplify]: Extracting #3: cost 0 inf + 421 1.209 * [simplify]: Simplified to (+ (+ a 2) b) 1.209 * [simplify]: Simplified (2 2) to (λ (a b) (/ (exp a) (+ (+ a 2) b))) 1.209 * * * * [progress]: [ 59 / 60 ] simplifiying candidate # 1.209 * [simplify]: Simplifying (+ (exp b) (exp a)) 1.209 * * [simplify]: iters left: 3 (5 enodes) 1.210 * * [simplify]: iters left: 2 (16 enodes) 1.214 * * [simplify]: Extracting #0: cost 1 inf + 0 1.214 * * [simplify]: Extracting #1: cost 4 inf + 0 1.214 * * [simplify]: Extracting #2: cost 8 inf + 0 1.214 * * [simplify]: Extracting #3: cost 4 inf + 144 1.214 * * [simplify]: Extracting #4: cost 0 inf + 650 1.214 * [simplify]: Simplified to (+ (exp b) (exp a)) 1.214 * [simplify]: Simplified (2 2) to (λ (a b) (/ (exp a) (+ (exp b) (exp a)))) 1.214 * * * * [progress]: [ 60 / 60 ] simplifiying candidate # 1.215 * [simplify]: Simplifying (+ (exp b) (exp a)) 1.215 * * [simplify]: iters left: 3 (5 enodes) 1.216 * * [simplify]: iters left: 2 (16 enodes) 1.218 * * [simplify]: Extracting #0: cost 1 inf + 0 1.218 * * [simplify]: Extracting #1: cost 4 inf + 0 1.218 * * [simplify]: Extracting #2: cost 8 inf + 0 1.218 * * [simplify]: Extracting #3: cost 4 inf + 144 1.218 * * [simplify]: Extracting #4: cost 0 inf + 650 1.218 * [simplify]: Simplified to (+ (exp b) (exp a)) 1.218 * [simplify]: Simplified (2 2) to (λ (a b) (/ (exp a) (+ (exp b) (exp a)))) 1.218 * * * [progress]: adding candidates to table 1.792 * * [progress]: iteration 2 / 4 1.792 * * * [progress]: picking best candidate 1.800 * * * * [pick]: Picked # 1.800 * * * [progress]: localizing error 1.822 * * * [progress]: generating rewritten candidates 1.822 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.853 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 1.862 * * * [progress]: generating series expansions 1.862 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.862 * [backup-simplify]: Simplify (/ (exp a) (+ (exp b) (exp a))) into (/ (exp a) (+ (exp b) (exp a))) 1.863 * [approximate]: Taking taylor expansion of (/ (exp a) (+ (exp b) (exp a))) in (a b) around 0 1.863 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (exp b) (exp a))) in b 1.863 * [taylor]: Taking taylor expansion of (exp a) in b 1.863 * [taylor]: Taking taylor expansion of a in b 1.863 * [backup-simplify]: Simplify a into a 1.863 * [backup-simplify]: Simplify (exp a) into (exp a) 1.863 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in b 1.863 * [taylor]: Taking taylor expansion of (exp b) in b 1.863 * [taylor]: Taking taylor expansion of b in b 1.863 * [backup-simplify]: Simplify 0 into 0 1.863 * [backup-simplify]: Simplify 1 into 1 1.863 * [backup-simplify]: Simplify (exp 0) into 1 1.863 * [taylor]: Taking taylor expansion of (exp a) in b 1.863 * [taylor]: Taking taylor expansion of a in b 1.863 * [backup-simplify]: Simplify a into a 1.863 * [backup-simplify]: Simplify (exp a) into (exp a) 1.863 * [backup-simplify]: Simplify (+ 1 (exp a)) into (+ (exp a) 1) 1.863 * [backup-simplify]: Simplify (/ (exp a) (+ (exp a) 1)) into (/ (exp a) (+ (exp a) 1)) 1.863 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (exp b) (exp a))) in a 1.863 * [taylor]: Taking taylor expansion of (exp a) in a 1.863 * [taylor]: Taking taylor expansion of a in a 1.863 * [backup-simplify]: Simplify 0 into 0 1.863 * [backup-simplify]: Simplify 1 into 1 1.863 * [backup-simplify]: Simplify (exp 0) into 1 1.863 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in a 1.863 * [taylor]: Taking taylor expansion of (exp b) in a 1.863 * [taylor]: Taking taylor expansion of b in a 1.863 * [backup-simplify]: Simplify b into b 1.863 * [backup-simplify]: Simplify (exp b) into (exp b) 1.863 * [taylor]: Taking taylor expansion of (exp a) in a 1.863 * [taylor]: Taking taylor expansion of a in a 1.863 * [backup-simplify]: Simplify 0 into 0 1.863 * [backup-simplify]: Simplify 1 into 1 1.863 * [backup-simplify]: Simplify (exp 0) into 1 1.863 * [backup-simplify]: Simplify (+ (exp b) 1) into (+ (exp b) 1) 1.863 * [backup-simplify]: Simplify (/ 1 (+ (exp b) 1)) into (/ 1 (+ (exp b) 1)) 1.863 * [taylor]: Taking taylor expansion of (/ (exp a) (+ (exp b) (exp a))) in a 1.863 * [taylor]: Taking taylor expansion of (exp a) in a 1.863 * [taylor]: Taking taylor expansion of a in a 1.863 * [backup-simplify]: Simplify 0 into 0 1.863 * [backup-simplify]: Simplify 1 into 1 1.863 * [backup-simplify]: Simplify (exp 0) into 1 1.863 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in a 1.863 * [taylor]: Taking taylor expansion of (exp b) in a 1.863 * [taylor]: Taking taylor expansion of b in a 1.863 * [backup-simplify]: Simplify b into b 1.863 * [backup-simplify]: Simplify (exp b) into (exp b) 1.863 * [taylor]: Taking taylor expansion of (exp a) in a 1.863 * [taylor]: Taking taylor expansion of a in a 1.863 * [backup-simplify]: Simplify 0 into 0 1.863 * [backup-simplify]: Simplify 1 into 1 1.864 * [backup-simplify]: Simplify (exp 0) into 1 1.864 * [backup-simplify]: Simplify (+ (exp b) 1) into (+ (exp b) 1) 1.864 * [backup-simplify]: Simplify (/ 1 (+ (exp b) 1)) into (/ 1 (+ (exp b) 1)) 1.864 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b 1.864 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b 1.864 * [taylor]: Taking taylor expansion of (exp b) in b 1.864 * [taylor]: Taking taylor expansion of b in b 1.864 * [backup-simplify]: Simplify 0 into 0 1.864 * [backup-simplify]: Simplify 1 into 1 1.864 * [backup-simplify]: Simplify (exp 0) into 1 1.864 * [taylor]: Taking taylor expansion of 1 in b 1.864 * [backup-simplify]: Simplify 1 into 1 1.864 * [backup-simplify]: Simplify (+ 1 1) into 2 1.865 * [backup-simplify]: Simplify (/ 1 2) into 1/2 1.865 * [backup-simplify]: Simplify 1/2 into 1/2 1.865 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.866 * [backup-simplify]: Simplify (* (exp b) (+ (* (/ (pow 0 1) 1)))) into 0 1.866 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.867 * [backup-simplify]: Simplify (+ 0 1) into 1 1.867 * [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))) 1.867 * [taylor]: Taking taylor expansion of (- (/ 1 (+ (exp b) 1)) (/ 1 (pow (+ (exp b) 1) 2))) in b 1.867 * [taylor]: Taking taylor expansion of (/ 1 (+ (exp b) 1)) in b 1.867 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b 1.867 * [taylor]: Taking taylor expansion of (exp b) in b 1.867 * [taylor]: Taking taylor expansion of b in b 1.867 * [backup-simplify]: Simplify 0 into 0 1.867 * [backup-simplify]: Simplify 1 into 1 1.867 * [backup-simplify]: Simplify (exp 0) into 1 1.867 * [taylor]: Taking taylor expansion of 1 in b 1.867 * [backup-simplify]: Simplify 1 into 1 1.867 * [backup-simplify]: Simplify (+ 1 1) into 2 1.867 * [backup-simplify]: Simplify (/ 1 2) into 1/2 1.868 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (exp b) 1) 2)) in b 1.868 * [taylor]: Taking taylor expansion of (pow (+ (exp b) 1) 2) in b 1.868 * [taylor]: Taking taylor expansion of (+ (exp b) 1) in b 1.868 * [taylor]: Taking taylor expansion of (exp b) in b 1.868 * [taylor]: Taking taylor expansion of b in b 1.868 * [backup-simplify]: Simplify 0 into 0 1.868 * [backup-simplify]: Simplify 1 into 1 1.868 * [backup-simplify]: Simplify (exp 0) into 1 1.868 * [taylor]: Taking taylor expansion of 1 in b 1.868 * [backup-simplify]: Simplify 1 into 1 1.868 * [backup-simplify]: Simplify (+ 1 1) into 2 1.868 * [backup-simplify]: Simplify (* 2 2) into 4 1.868 * [backup-simplify]: Simplify (/ 1 4) into 1/4 1.869 * [backup-simplify]: Simplify (- 1/4) into -1/4 1.869 * [backup-simplify]: Simplify (+ 1/2 -1/4) into 1/4 1.869 * [backup-simplify]: Simplify 1/4 into 1/4 1.870 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.870 * [backup-simplify]: Simplify (+ 1 0) into 1 1.870 * [backup-simplify]: Simplify (- (+ (* 1/2 (/ 1 2)))) into -1/4 1.870 * [backup-simplify]: Simplify -1/4 into -1/4 1.870 * [backup-simplify]: Simplify (+ (* -1/4 (* b 1)) (+ (* 1/4 (* 1 a)) 1/2)) into (- (+ (* 1/4 a) 1/2) (* 1/4 b)) 1.871 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1.871 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in (a b) around 0 1.871 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b 1.871 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.871 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.871 * [taylor]: Taking taylor expansion of a in b 1.871 * [backup-simplify]: Simplify a into a 1.871 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.871 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1.871 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1.871 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 1.871 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.871 * [taylor]: Taking taylor expansion of b in b 1.871 * [backup-simplify]: Simplify 0 into 0 1.871 * [backup-simplify]: Simplify 1 into 1 1.871 * [backup-simplify]: Simplify (/ 1 1) into 1 1.871 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1.871 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.871 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.871 * [taylor]: Taking taylor expansion of a in b 1.871 * [backup-simplify]: Simplify a into a 1.871 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.871 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1.871 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1.872 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1.872 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a 1.872 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.872 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.872 * [taylor]: Taking taylor expansion of a in a 1.872 * [backup-simplify]: Simplify 0 into 0 1.872 * [backup-simplify]: Simplify 1 into 1 1.872 * [backup-simplify]: Simplify (/ 1 1) into 1 1.872 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1.872 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1.872 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 1.872 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.872 * [taylor]: Taking taylor expansion of b in a 1.872 * [backup-simplify]: Simplify b into b 1.872 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.872 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1.872 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.872 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.872 * [taylor]: Taking taylor expansion of a in a 1.872 * [backup-simplify]: Simplify 0 into 0 1.872 * [backup-simplify]: Simplify 1 into 1 1.872 * [backup-simplify]: Simplify (/ 1 1) into 1 1.873 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1.873 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1.873 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1.873 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in a 1.873 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.873 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.873 * [taylor]: Taking taylor expansion of a in a 1.873 * [backup-simplify]: Simplify 0 into 0 1.873 * [backup-simplify]: Simplify 1 into 1 1.873 * [backup-simplify]: Simplify (/ 1 1) into 1 1.873 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1.873 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1.873 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 1.873 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.873 * [taylor]: Taking taylor expansion of b in a 1.873 * [backup-simplify]: Simplify b into b 1.873 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.873 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1.873 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.873 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.873 * [taylor]: Taking taylor expansion of a in a 1.873 * [backup-simplify]: Simplify 0 into 0 1.873 * [backup-simplify]: Simplify 1 into 1 1.874 * [backup-simplify]: Simplify (/ 1 1) into 1 1.874 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1.874 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1.874 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1.874 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) in b 1.874 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.874 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.874 * [taylor]: Taking taylor expansion of a in b 1.874 * [backup-simplify]: Simplify a into a 1.874 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.874 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1.874 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1.874 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 1.874 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.874 * [taylor]: Taking taylor expansion of b in b 1.874 * [backup-simplify]: Simplify 0 into 0 1.874 * [backup-simplify]: Simplify 1 into 1 1.874 * [backup-simplify]: Simplify (/ 1 1) into 1 1.874 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1.875 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.875 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.875 * [taylor]: Taking taylor expansion of a in b 1.875 * [backup-simplify]: Simplify a into a 1.875 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.875 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1.875 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1.875 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1.875 * [backup-simplify]: Simplify (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) into (/ (exp (/ 1 a)) (+ (exp (/ 1 b)) (exp (/ 1 a)))) 1.875 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1.876 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1.876 * [backup-simplify]: Simplify (+ 0 0) into 0 1.876 * [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 1.876 * [taylor]: Taking taylor expansion of 0 in b 1.876 * [backup-simplify]: Simplify 0 into 0 1.876 * [backup-simplify]: Simplify 0 into 0 1.876 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.877 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1.877 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.878 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1.878 * [backup-simplify]: Simplify (+ 0 0) into 0 1.879 * [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 1.879 * [backup-simplify]: Simplify 0 into 0 1.879 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1.880 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.881 * [backup-simplify]: Simplify (+ 0 0) into 0 1.881 * [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 1.881 * [taylor]: Taking taylor expansion of 0 in b 1.881 * [backup-simplify]: Simplify 0 into 0 1.882 * [backup-simplify]: Simplify 0 into 0 1.882 * [backup-simplify]: Simplify 0 into 0 1.882 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1.883 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.883 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1.885 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.885 * [backup-simplify]: Simplify (+ 0 0) into 0 1.886 * [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 1.886 * [backup-simplify]: Simplify 0 into 0 1.886 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 1.888 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.888 * [backup-simplify]: Simplify (+ 0 0) into 0 1.889 * [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 1.889 * [taylor]: Taking taylor expansion of 0 in b 1.889 * [backup-simplify]: Simplify 0 into 0 1.889 * [backup-simplify]: Simplify 0 into 0 1.889 * [backup-simplify]: Simplify (/ (exp (/ 1 (/ 1 a))) (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a))))) into (/ (exp a) (+ (exp b) (exp a))) 1.889 * [backup-simplify]: Simplify (/ (exp (/ 1 (- a))) (+ (exp (/ 1 (- b))) (exp (/ 1 (- a))))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1.889 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in (a b) around 0 1.889 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b 1.889 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.889 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.889 * [taylor]: Taking taylor expansion of -1 in b 1.889 * [backup-simplify]: Simplify -1 into -1 1.889 * [taylor]: Taking taylor expansion of a in b 1.889 * [backup-simplify]: Simplify a into a 1.889 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 1.890 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1.890 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1.890 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 1.890 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.890 * [taylor]: Taking taylor expansion of -1 in b 1.890 * [backup-simplify]: Simplify -1 into -1 1.890 * [taylor]: Taking taylor expansion of b in b 1.890 * [backup-simplify]: Simplify 0 into 0 1.890 * [backup-simplify]: Simplify 1 into 1 1.890 * [backup-simplify]: Simplify (/ -1 1) into -1 1.890 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1.890 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.890 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.890 * [taylor]: Taking taylor expansion of -1 in b 1.890 * [backup-simplify]: Simplify -1 into -1 1.890 * [taylor]: Taking taylor expansion of a in b 1.890 * [backup-simplify]: Simplify a into a 1.890 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 1.891 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1.891 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1.891 * [backup-simplify]: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1.891 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a 1.891 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.891 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.891 * [taylor]: Taking taylor expansion of -1 in a 1.891 * [backup-simplify]: Simplify -1 into -1 1.891 * [taylor]: Taking taylor expansion of a in a 1.891 * [backup-simplify]: Simplify 0 into 0 1.891 * [backup-simplify]: Simplify 1 into 1 1.891 * [backup-simplify]: Simplify (/ -1 1) into -1 1.892 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1.892 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1.892 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 1.892 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.892 * [taylor]: Taking taylor expansion of -1 in a 1.892 * [backup-simplify]: Simplify -1 into -1 1.892 * [taylor]: Taking taylor expansion of b in a 1.892 * [backup-simplify]: Simplify b into b 1.892 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b) 1.892 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1.892 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.892 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.892 * [taylor]: Taking taylor expansion of -1 in a 1.892 * [backup-simplify]: Simplify -1 into -1 1.892 * [taylor]: Taking taylor expansion of a in a 1.892 * [backup-simplify]: Simplify 0 into 0 1.892 * [backup-simplify]: Simplify 1 into 1 1.892 * [backup-simplify]: Simplify (/ -1 1) into -1 1.892 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1.893 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1.893 * [backup-simplify]: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1.893 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in a 1.893 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.893 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.893 * [taylor]: Taking taylor expansion of -1 in a 1.893 * [backup-simplify]: Simplify -1 into -1 1.893 * [taylor]: Taking taylor expansion of a in a 1.893 * [backup-simplify]: Simplify 0 into 0 1.893 * [backup-simplify]: Simplify 1 into 1 1.893 * [backup-simplify]: Simplify (/ -1 1) into -1 1.894 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1.894 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1.894 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 1.894 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.894 * [taylor]: Taking taylor expansion of -1 in a 1.894 * [backup-simplify]: Simplify -1 into -1 1.894 * [taylor]: Taking taylor expansion of b in a 1.894 * [backup-simplify]: Simplify b into b 1.894 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b) 1.894 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1.894 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.894 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.894 * [taylor]: Taking taylor expansion of -1 in a 1.894 * [backup-simplify]: Simplify -1 into -1 1.894 * [taylor]: Taking taylor expansion of a in a 1.894 * [backup-simplify]: Simplify 0 into 0 1.894 * [backup-simplify]: Simplify 1 into 1 1.894 * [backup-simplify]: Simplify (/ -1 1) into -1 1.895 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1.895 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1.895 * [backup-simplify]: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1.895 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) in b 1.895 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.895 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.895 * [taylor]: Taking taylor expansion of -1 in b 1.895 * [backup-simplify]: Simplify -1 into -1 1.895 * [taylor]: Taking taylor expansion of a in b 1.895 * [backup-simplify]: Simplify a into a 1.895 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 1.895 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1.895 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1.895 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 1.895 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.895 * [taylor]: Taking taylor expansion of -1 in b 1.895 * [backup-simplify]: Simplify -1 into -1 1.895 * [taylor]: Taking taylor expansion of b in b 1.895 * [backup-simplify]: Simplify 0 into 0 1.895 * [backup-simplify]: Simplify 1 into 1 1.896 * [backup-simplify]: Simplify (/ -1 1) into -1 1.896 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1.896 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.896 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.896 * [taylor]: Taking taylor expansion of -1 in b 1.896 * [backup-simplify]: Simplify -1 into -1 1.896 * [taylor]: Taking taylor expansion of a in b 1.896 * [backup-simplify]: Simplify a into a 1.896 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 1.896 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1.897 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1.897 * [backup-simplify]: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1.897 * [backup-simplify]: Simplify (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) into (/ (exp (/ -1 a)) (+ (exp (/ -1 b)) (exp (/ -1 a)))) 1.897 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0 1.898 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1.899 * [backup-simplify]: Simplify (+ 0 0) into 0 1.899 * [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 1.899 * [taylor]: Taking taylor expansion of 0 in b 1.899 * [backup-simplify]: Simplify 0 into 0 1.899 * [backup-simplify]: Simplify 0 into 0 1.899 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1.900 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1.900 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1.901 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1.902 * [backup-simplify]: Simplify (+ 0 0) into 0 1.902 * [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 1.902 * [backup-simplify]: Simplify 0 into 0 1.902 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1.904 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.905 * [backup-simplify]: Simplify (+ 0 0) into 0 1.905 * [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 1.905 * [taylor]: Taking taylor expansion of 0 in b 1.905 * [backup-simplify]: Simplify 0 into 0 1.905 * [backup-simplify]: Simplify 0 into 0 1.905 * [backup-simplify]: Simplify 0 into 0 1.906 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1.907 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.907 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1.908 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.909 * [backup-simplify]: Simplify (+ 0 0) into 0 1.909 * [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 1.910 * [backup-simplify]: Simplify 0 into 0 1.910 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 1.911 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.912 * [backup-simplify]: Simplify (+ 0 0) into 0 1.912 * [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 1.913 * [taylor]: Taking taylor expansion of 0 in b 1.913 * [backup-simplify]: Simplify 0 into 0 1.913 * [backup-simplify]: Simplify 0 into 0 1.913 * [backup-simplify]: Simplify (/ (exp (/ -1 (/ 1 (- a)))) (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a)))))) into (/ (exp a) (+ (exp b) (exp a))) 1.913 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 1.913 * [backup-simplify]: Simplify (+ (exp b) (exp a)) into (+ (exp b) (exp a)) 1.913 * [approximate]: Taking taylor expansion of (+ (exp b) (exp a)) in (b a) around 0 1.913 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in a 1.913 * [taylor]: Taking taylor expansion of (exp b) in a 1.913 * [taylor]: Taking taylor expansion of b in a 1.913 * [backup-simplify]: Simplify b into b 1.913 * [backup-simplify]: Simplify (exp b) into (exp b) 1.913 * [taylor]: Taking taylor expansion of (exp a) in a 1.913 * [taylor]: Taking taylor expansion of a in a 1.913 * [backup-simplify]: Simplify 0 into 0 1.913 * [backup-simplify]: Simplify 1 into 1 1.913 * [backup-simplify]: Simplify (exp 0) into 1 1.913 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in b 1.913 * [taylor]: Taking taylor expansion of (exp b) in b 1.913 * [taylor]: Taking taylor expansion of b in b 1.913 * [backup-simplify]: Simplify 0 into 0 1.913 * [backup-simplify]: Simplify 1 into 1 1.914 * [backup-simplify]: Simplify (exp 0) into 1 1.914 * [taylor]: Taking taylor expansion of (exp a) in b 1.914 * [taylor]: Taking taylor expansion of a in b 1.914 * [backup-simplify]: Simplify a into a 1.914 * [backup-simplify]: Simplify (exp a) into (exp a) 1.914 * [taylor]: Taking taylor expansion of (+ (exp b) (exp a)) in b 1.914 * [taylor]: Taking taylor expansion of (exp b) in b 1.914 * [taylor]: Taking taylor expansion of b in b 1.914 * [backup-simplify]: Simplify 0 into 0 1.914 * [backup-simplify]: Simplify 1 into 1 1.914 * [backup-simplify]: Simplify (exp 0) into 1 1.914 * [taylor]: Taking taylor expansion of (exp a) in b 1.914 * [taylor]: Taking taylor expansion of a in b 1.914 * [backup-simplify]: Simplify a into a 1.914 * [backup-simplify]: Simplify (exp a) into (exp a) 1.914 * [backup-simplify]: Simplify (+ 1 (exp a)) into (+ (exp a) 1) 1.914 * [taylor]: Taking taylor expansion of (+ (exp a) 1) in a 1.914 * [taylor]: Taking taylor expansion of (exp a) in a 1.914 * [taylor]: Taking taylor expansion of a in a 1.914 * [backup-simplify]: Simplify 0 into 0 1.914 * [backup-simplify]: Simplify 1 into 1 1.914 * [backup-simplify]: Simplify (exp 0) into 1 1.914 * [taylor]: Taking taylor expansion of 1 in a 1.914 * [backup-simplify]: Simplify 1 into 1 1.915 * [backup-simplify]: Simplify (+ 1 1) into 2 1.915 * [backup-simplify]: Simplify 2 into 2 1.916 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.917 * [backup-simplify]: Simplify (* (exp a) (+ (* (/ (pow 0 1) 1)))) into 0 1.917 * [backup-simplify]: Simplify (+ 1 0) into 1 1.917 * [taylor]: Taking taylor expansion of 1 in a 1.918 * [backup-simplify]: Simplify 1 into 1 1.918 * [backup-simplify]: Simplify 1 into 1 1.919 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.919 * [backup-simplify]: Simplify (+ 1 0) into 1 1.919 * [backup-simplify]: Simplify 1 into 1 1.920 * [backup-simplify]: Simplify (+ (* 1 (* a 1)) (+ (* 1 (* 1 b)) 2)) into (+ a (+ b 2)) 1.920 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1.920 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in (b a) around 0 1.920 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1.920 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 1.920 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.920 * [taylor]: Taking taylor expansion of b in a 1.920 * [backup-simplify]: Simplify b into b 1.920 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.920 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1.920 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.920 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.920 * [taylor]: Taking taylor expansion of a in a 1.920 * [backup-simplify]: Simplify 0 into 0 1.920 * [backup-simplify]: Simplify 1 into 1 1.921 * [backup-simplify]: Simplify (/ 1 1) into 1 1.921 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1.921 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1.921 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 1.921 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.921 * [taylor]: Taking taylor expansion of b in b 1.921 * [backup-simplify]: Simplify 0 into 0 1.921 * [backup-simplify]: Simplify 1 into 1 1.921 * [backup-simplify]: Simplify (/ 1 1) into 1 1.921 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1.921 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.921 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.921 * [taylor]: Taking taylor expansion of a in b 1.921 * [backup-simplify]: Simplify a into a 1.921 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.922 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1.922 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in b 1.922 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in b 1.922 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.922 * [taylor]: Taking taylor expansion of b in b 1.922 * [backup-simplify]: Simplify 0 into 0 1.922 * [backup-simplify]: Simplify 1 into 1 1.922 * [backup-simplify]: Simplify (/ 1 1) into 1 1.922 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1.922 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in b 1.922 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.922 * [taylor]: Taking taylor expansion of a in b 1.922 * [backup-simplify]: Simplify a into a 1.922 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.922 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1.923 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1.923 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 b)) (exp (/ 1 a))) in a 1.923 * [taylor]: Taking taylor expansion of (exp (/ 1 b)) in a 1.923 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.923 * [taylor]: Taking taylor expansion of b in a 1.923 * [backup-simplify]: Simplify b into b 1.923 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.923 * [backup-simplify]: Simplify (exp (/ 1 b)) into (exp (/ 1 b)) 1.923 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a 1.923 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.923 * [taylor]: Taking taylor expansion of a in a 1.923 * [backup-simplify]: Simplify 0 into 0 1.923 * [backup-simplify]: Simplify 1 into 1 1.923 * [backup-simplify]: Simplify (/ 1 1) into 1 1.924 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a)) 1.924 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1.924 * [backup-simplify]: Simplify (+ (exp (/ 1 b)) (exp (/ 1 a))) into (+ (exp (/ 1 b)) (exp (/ 1 a))) 1.924 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.925 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1.925 * [backup-simplify]: Simplify (+ 0 0) into 0 1.925 * [taylor]: Taking taylor expansion of 0 in a 1.925 * [backup-simplify]: Simplify 0 into 0 1.925 * [backup-simplify]: Simplify 0 into 0 1.925 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1.926 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1.927 * [backup-simplify]: Simplify (+ 0 0) into 0 1.927 * [backup-simplify]: Simplify 0 into 0 1.927 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1.928 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.929 * [backup-simplify]: Simplify (+ 0 0) into 0 1.929 * [taylor]: Taking taylor expansion of 0 in a 1.929 * [backup-simplify]: Simplify 0 into 0 1.929 * [backup-simplify]: Simplify 0 into 0 1.929 * [backup-simplify]: Simplify 0 into 0 1.929 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1.930 * [backup-simplify]: Simplify (* (exp (/ 1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.931 * [backup-simplify]: Simplify (+ 0 0) into 0 1.931 * [backup-simplify]: Simplify 0 into 0 1.931 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 1.932 * [backup-simplify]: Simplify (* (exp (/ 1 a)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.933 * [backup-simplify]: Simplify (+ 0 0) into 0 1.933 * [taylor]: Taking taylor expansion of 0 in a 1.933 * [backup-simplify]: Simplify 0 into 0 1.933 * [backup-simplify]: Simplify 0 into 0 1.933 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 b))) (exp (/ 1 (/ 1 a)))) into (+ (exp b) (exp a)) 1.933 * [backup-simplify]: Simplify (+ (exp (/ 1 (- b))) (exp (/ 1 (- a)))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1.933 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in (b a) around 0 1.933 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1.933 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 1.933 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.933 * [taylor]: Taking taylor expansion of -1 in a 1.933 * [backup-simplify]: Simplify -1 into -1 1.933 * [taylor]: Taking taylor expansion of b in a 1.933 * [backup-simplify]: Simplify b into b 1.933 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b) 1.933 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1.933 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.933 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.933 * [taylor]: Taking taylor expansion of -1 in a 1.933 * [backup-simplify]: Simplify -1 into -1 1.933 * [taylor]: Taking taylor expansion of a in a 1.933 * [backup-simplify]: Simplify 0 into 0 1.933 * [backup-simplify]: Simplify 1 into 1 1.934 * [backup-simplify]: Simplify (/ -1 1) into -1 1.934 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1.934 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1.934 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 1.934 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.934 * [taylor]: Taking taylor expansion of -1 in b 1.934 * [backup-simplify]: Simplify -1 into -1 1.934 * [taylor]: Taking taylor expansion of b in b 1.934 * [backup-simplify]: Simplify 0 into 0 1.934 * [backup-simplify]: Simplify 1 into 1 1.934 * [backup-simplify]: Simplify (/ -1 1) into -1 1.934 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1.934 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.934 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.934 * [taylor]: Taking taylor expansion of -1 in b 1.934 * [backup-simplify]: Simplify -1 into -1 1.934 * [taylor]: Taking taylor expansion of a in b 1.934 * [backup-simplify]: Simplify a into a 1.934 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 1.934 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1.934 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in b 1.934 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in b 1.934 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.934 * [taylor]: Taking taylor expansion of -1 in b 1.934 * [backup-simplify]: Simplify -1 into -1 1.934 * [taylor]: Taking taylor expansion of b in b 1.934 * [backup-simplify]: Simplify 0 into 0 1.934 * [backup-simplify]: Simplify 1 into 1 1.935 * [backup-simplify]: Simplify (/ -1 1) into -1 1.935 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1.935 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in b 1.935 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.935 * [taylor]: Taking taylor expansion of -1 in b 1.935 * [backup-simplify]: Simplify -1 into -1 1.935 * [taylor]: Taking taylor expansion of a in b 1.935 * [backup-simplify]: Simplify a into a 1.935 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a) 1.935 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1.935 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1.935 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 b)) (exp (/ -1 a))) in a 1.935 * [taylor]: Taking taylor expansion of (exp (/ -1 b)) in a 1.935 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.935 * [taylor]: Taking taylor expansion of -1 in a 1.935 * [backup-simplify]: Simplify -1 into -1 1.935 * [taylor]: Taking taylor expansion of b in a 1.935 * [backup-simplify]: Simplify b into b 1.935 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b) 1.935 * [backup-simplify]: Simplify (exp (/ -1 b)) into (exp (/ -1 b)) 1.935 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a 1.935 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.935 * [taylor]: Taking taylor expansion of -1 in a 1.935 * [backup-simplify]: Simplify -1 into -1 1.935 * [taylor]: Taking taylor expansion of a in a 1.935 * [backup-simplify]: Simplify 0 into 0 1.935 * [backup-simplify]: Simplify 1 into 1 1.936 * [backup-simplify]: Simplify (/ -1 1) into -1 1.936 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a)) 1.936 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1.936 * [backup-simplify]: Simplify (+ (exp (/ -1 b)) (exp (/ -1 a))) into (+ (exp (/ -1 b)) (exp (/ -1 a))) 1.936 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)))) into 0 1.937 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 1) 1)))) into 0 1.937 * [backup-simplify]: Simplify (+ 0 0) into 0 1.937 * [taylor]: Taking taylor expansion of 0 in a 1.937 * [backup-simplify]: Simplify 0 into 0 1.937 * [backup-simplify]: Simplify 0 into 0 1.937 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0 1.937 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 1) 1)))) into 0 1.938 * [backup-simplify]: Simplify (+ 0 0) into 0 1.938 * [backup-simplify]: Simplify 0 into 0 1.938 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1.939 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.939 * [backup-simplify]: Simplify (+ 0 0) into 0 1.939 * [taylor]: Taking taylor expansion of 0 in a 1.939 * [backup-simplify]: Simplify 0 into 0 1.939 * [backup-simplify]: Simplify 0 into 0 1.939 * [backup-simplify]: Simplify 0 into 0 1.939 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 1.940 * [backup-simplify]: Simplify (* (exp (/ -1 b)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.940 * [backup-simplify]: Simplify (+ 0 0) into 0 1.940 * [backup-simplify]: Simplify 0 into 0 1.940 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ -1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 1.941 * [backup-simplify]: Simplify (* (exp (/ -1 a)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.941 * [backup-simplify]: Simplify (+ 0 0) into 0 1.942 * [taylor]: Taking taylor expansion of 0 in a 1.942 * [backup-simplify]: Simplify 0 into 0 1.942 * [backup-simplify]: Simplify 0 into 0 1.942 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- b)))) (exp (/ -1 (/ 1 (- a))))) into (+ (exp b) (exp a)) 1.942 * * * [progress]: simplifying candidates 1.942 * * * * [progress]: [ 1 / 60 ] simplifiying candidate # 1.942 * * * * [progress]: [ 2 / 60 ] simplifiying candidate # 1.942 * * * * [progress]: [ 3 / 60 ] simplifiying candidate # 1.942 * * * * [progress]: [ 4 / 60 ] simplifiying candidate # 1.942 * [simplify]: Simplifying (- a (log (+ (exp b) (exp a)))) 1.942 * * [simplify]: iters left: 6 (7 enodes) 1.944 * * [simplify]: iters left: 5 (24 enodes) 1.949 * * [simplify]: iters left: 4 (27 enodes) 1.953 * * [simplify]: Extracting #0: cost 1 inf + 0 1.953 * * [simplify]: Extracting #1: cost 5 inf + 0 1.953 * * [simplify]: Extracting #2: cost 7 inf + 1 1.953 * * [simplify]: Extracting #3: cost 10 inf + 1 1.953 * * [simplify]: Extracting #4: cost 12 inf + 72 1.953 * * [simplify]: Extracting #5: cost 10 inf + 144 1.953 * * [simplify]: Extracting #6: cost 3 inf + 1486 1.953 * * [simplify]: Extracting #7: cost 1 inf + 2030 1.954 * * [simplify]: Extracting #8: cost 0 inf + 2322 1.954 * [simplify]: Simplified to (- a (log (+ (exp a) (exp b)))) 1.954 * [simplify]: Simplified (2 1) to (λ (a b) (exp (- a (log (+ (exp a) (exp b)))))) 1.954 * * * * [progress]: [ 5 / 60 ] simplifiying candidate # 1.954 * * * * [progress]: [ 6 / 60 ] simplifiying candidate # 1.954 * * * * [progress]: [ 7 / 60 ] simplifiying candidate # 1.954 * [simplify]: Simplifying (/ (* (* (exp a) (exp a)) (exp a)) (* (* (+ (exp b) (exp a)) (+ (exp b) (exp a))) (+ (exp b) (exp a)))) 1.954 * * [simplify]: iters left: 6 (10 enodes) 1.957 * * [simplify]: iters left: 5 (54 enodes) 1.970 * * [simplify]: iters left: 4 (171 enodes) 2.029 * * [simplify]: iters left: 3 (441 enodes) 2.299 * * [simplify]: Extracting #0: cost 1 inf + 0 2.299 * * [simplify]: Extracting #1: cost 33 inf + 0 2.300 * * [simplify]: Extracting #2: cost 116 inf + 1 2.301 * * [simplify]: Extracting #3: cost 208 inf + 840 2.303 * * [simplify]: Extracting #4: cost 155 inf + 14272 2.322 * * [simplify]: Extracting #5: cost 10 inf + 57866 2.355 * * [simplify]: Extracting #6: cost 0 inf + 61572 2.384 * [simplify]: Simplified to (* (/ (exp a) (+ (exp a) (exp b))) (* (/ (exp a) (+ (exp a) (exp b))) (/ (exp a) (+ (exp a) (exp b))))) 2.384 * [simplify]: Simplified (2 1) to (λ (a b) (cbrt (* (/ (exp a) (+ (exp a) (exp b))) (* (/ (exp a) (+ (exp a) (exp b))) (/ (exp a) (+ (exp a) (exp b))))))) 2.384 * * * * [progress]: [ 8 / 60 ] simplifiying candidate # 2.384 * * * * [progress]: [ 9 / 60 ] simplifiying candidate # 2.384 * * * * [progress]: [ 10 / 60 ] simplifiying candidate # 2.384 * * * * [progress]: [ 11 / 60 ] simplifiying candidate # 2.384 * * * * [progress]: [ 12 / 60 ] simplifiying candidate # 2.384 * [simplify]: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (+ (exp b) (exp a))) (cbrt (+ (exp b) (exp a))))) 2.385 * * [simplify]: iters left: 6 (10 enodes) 2.389 * * [simplify]: iters left: 5 (37 enodes) 2.400 * * [simplify]: iters left: 4 (52 enodes) 2.415 * * [simplify]: iters left: 3 (59 enodes) 2.430 * * [simplify]: iters left: 2 (62 enodes) 2.446 * * [simplify]: Extracting #0: cost 1 inf + 0 2.446 * * [simplify]: Extracting #1: cost 11 inf + 0 2.446 * * [simplify]: Extracting #2: cost 22 inf + 0 2.446 * * [simplify]: Extracting #3: cost 26 inf + 0 2.446 * * [simplify]: Extracting #4: cost 26 inf + 72 2.446 * * [simplify]: Extracting #5: cost 18 inf + 970 2.448 * * [simplify]: Extracting #6: cost 8 inf + 4310 2.449 * * [simplify]: Extracting #7: cost 0 inf + 7366 2.450 * [simplify]: Simplified to (* (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))) (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b))))) 2.450 * [simplify]: Simplified (2 1) to (λ (a b) (* (* (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))) (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b))))) (/ (cbrt (exp a)) (cbrt (+ (exp b) (exp a)))))) 2.450 * [simplify]: Simplifying (/ (cbrt (exp a)) (cbrt (+ (exp b) (exp a)))) 2.450 * * [simplify]: iters left: 6 (8 enodes) 2.452 * * [simplify]: iters left: 5 (25 enodes) 2.455 * * [simplify]: Extracting #0: cost 1 inf + 0 2.455 * * [simplify]: Extracting #1: cost 4 inf + 0 2.455 * * [simplify]: Extracting #2: cost 8 inf + 0 2.455 * * [simplify]: Extracting #3: cost 12 inf + 0 2.455 * * [simplify]: Extracting #4: cost 13 inf + 1 2.455 * * [simplify]: Extracting #5: cost 11 inf + 73 2.456 * * [simplify]: Extracting #6: cost 5 inf + 770 2.456 * * [simplify]: Extracting #7: cost 1 inf + 1858 2.456 * * [simplify]: Extracting #8: cost 0 inf + 2240 2.456 * [simplify]: Simplified to (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))) 2.456 * [simplify]: Simplified (2 2) to (λ (a b) (* (/ (* (cbrt (exp a)) (cbrt (exp a))) (* (cbrt (+ (exp b) (exp a))) (cbrt (+ (exp b) (exp a))))) (/ (cbrt (exp a)) (cbrt (+ (exp a) (exp b)))))) 2.456 * * * * [progress]: [ 13 / 60 ] simplifiying candidate # 2.457 * [simplify]: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ (exp b) (exp a)))) 2.457 * * [simplify]: iters left: 6 (9 enodes) 2.459 * * [simplify]: iters left: 5 (30 enodes) 2.463 * * [simplify]: iters left: 4 (34 enodes) 2.467 * * [simplify]: iters left: 3 (37 enodes) 2.472 * * [simplify]: Extracting #0: cost 1 inf + 0 2.472 * * [simplify]: Extracting #1: cost 7 inf + 0 2.472 * * [simplify]: Extracting #2: cost 14 inf + 0 2.472 * * [simplify]: Extracting #3: cost 18 inf + 0 2.472 * * [simplify]: Extracting #4: cost 17 inf + 143 2.473 * * [simplify]: Extracting #5: cost 11 inf + 899 2.473 * * [simplify]: Extracting #6: cost 4 inf + 2582 2.473 * * [simplify]: Extracting #7: cost 0 inf + 3910 2.474 * [simplify]: Simplified to (/ (cbrt (exp a)) (/ (sqrt (+ (exp a) (exp b))) (cbrt (exp a)))) 2.474 * [simplify]: Simplified (2 1) to (λ (a b) (* (/ (cbrt (exp a)) (/ (sqrt (+ (exp a) (exp b))) (cbrt (exp a)))) (/ (cbrt (exp a)) (sqrt (+ (exp b) (exp a)))))) 2.474 * [simplify]: Simplifying (/ (cbrt (exp a)) (sqrt (+ (exp b) (exp a)))) 2.474 * * [simplify]: iters left: 6 (8 enodes) 2.477 * * [simplify]: iters left: 5 (25 enodes) 2.480 * * [simplify]: Extracting #0: cost 1 inf + 0 2.480 * * [simplify]: Extracting #1: cost 4 inf + 0 2.480 * * [simplify]: Extracting #2: cost 8 inf + 0 2.480 * * [simplify]: Extracting #3: cost 12 inf + 0 2.480 * * [simplify]: Extracting #4: cost 13 inf + 1 2.480 * * [simplify]: Extracting #5: cost 11 inf + 73 2.480 * * [simplify]: Extracting #6: cost 5 inf + 770 2.481 * * [simplify]: Extracting #7: cost 1 inf + 1738 2.481 * * [simplify]: Extracting #8: cost 0 inf + 2080 2.482 * [simplify]: Simplified to (/ (cbrt (exp a)) (sqrt (+ (exp a) (exp b)))) 2.482 * [simplify]: Simplified (2 2) to (λ (a b) (* (/ (* (cbrt (exp a)) (cbrt (exp a))) (sqrt (+ (exp b) (exp a)))) (/ (cbrt (exp a)) (sqrt (+ (exp a) (exp b)))))) 2.482 * * * * [progress]: [ 14 / 60 ] simplifiying candidate # 2.482 * [simplify]: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) 1) 2.482 * * [simplify]: iters left: 6 (6 enodes) 2.486 * * [simplify]: iters left: 5 (20 enodes) 2.494 * * [simplify]: iters left: 4 (30 enodes) 2.502 * * [simplify]: iters left: 3 (31 enodes) 2.510 * * [simplify]: Extracting #0: cost 1 inf + 0 2.510 * * [simplify]: Extracting #1: cost 5 inf + 0 2.511 * * [simplify]: Extracting #2: cost 7 inf + 1 2.511 * * [simplify]: Extracting #3: cost 9 inf + 1 2.511 * * [simplify]: Extracting #4: cost 8 inf + 2 2.511 * * [simplify]: Extracting #5: cost 0 inf + 1212 2.511 * [simplify]: Simplified to (* (cbrt (exp a)) (cbrt (exp a))) 2.511 * [simplify]: Simplified (2 1) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp b) (exp a))))) 2.512 * [simplify]: Simplifying (/ (cbrt (exp a)) (+ (exp b) (exp a))) 2.512 * * [simplify]: iters left: 5 (7 enodes) 2.515 * * [simplify]: iters left: 4 (22 enodes) 2.521 * * [simplify]: Extracting #0: cost 1 inf + 0 2.521 * * [simplify]: Extracting #1: cost 4 inf + 0 2.521 * * [simplify]: Extracting #2: cost 8 inf + 0 2.521 * * [simplify]: Extracting #3: cost 12 inf + 0 2.521 * * [simplify]: Extracting #4: cost 10 inf + 2 2.521 * * [simplify]: Extracting #5: cost 4 inf + 650 2.521 * * [simplify]: Extracting #6: cost 1 inf + 1254 2.522 * * [simplify]: Extracting #7: cost 0 inf + 1556 2.522 * [simplify]: Simplified to (/ (cbrt (exp a)) (+ (exp a) (exp b))) 2.522 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))))) 2.522 * * * * [progress]: [ 15 / 60 ] simplifiying candidate # 2.522 * [simplify]: Simplifying (/ (* (cbrt (exp a)) (cbrt (exp a))) 1) 2.523 * * [simplify]: iters left: 6 (6 enodes) 2.526 * * [simplify]: iters left: 5 (20 enodes) 2.533 * * [simplify]: iters left: 4 (30 enodes) 2.541 * * [simplify]: iters left: 3 (31 enodes) 2.549 * * [simplify]: Extracting #0: cost 1 inf + 0 2.549 * * [simplify]: Extracting #1: cost 5 inf + 0 2.549 * * [simplify]: Extracting #2: cost 7 inf + 1 2.549 * * [simplify]: Extracting #3: cost 9 inf + 1 2.549 * * [simplify]: Extracting #4: cost 8 inf + 2 2.550 * * [simplify]: Extracting #5: cost 0 inf + 1212 2.550 * [simplify]: Simplified to (* (cbrt (exp a)) (cbrt (exp a))) 2.550 * [simplify]: Simplified (2 1) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp b) (exp a))))) 2.550 * [simplify]: Simplifying (/ (cbrt (exp a)) (+ (exp b) (exp a))) 2.550 * * [simplify]: iters left: 5 (7 enodes) 2.553 * * [simplify]: iters left: 4 (22 enodes) 2.559 * * [simplify]: Extracting #0: cost 1 inf + 0 2.559 * * [simplify]: Extracting #1: cost 4 inf + 0 2.559 * * [simplify]: Extracting #2: cost 8 inf + 0 2.559 * * [simplify]: Extracting #3: cost 12 inf + 0 2.559 * * [simplify]: Extracting #4: cost 10 inf + 2 2.559 * * [simplify]: Extracting #5: cost 4 inf + 650 2.560 * * [simplify]: Extracting #6: cost 1 inf + 1254 2.560 * * [simplify]: Extracting #7: cost 0 inf + 1556 2.561 * [simplify]: Simplified to (/ (cbrt (exp a)) (+ (exp a) (exp b))) 2.561 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (cbrt (exp a)) (cbrt (exp a))) (/ (cbrt (exp a)) (+ (exp a) (exp b))))) 2.561 * * * * [progress]: [ 16 / 60 ] simplifiying candidate # 2.561 * [simplify]: Simplifying (/ (sqrt (exp a)) (* (cbrt (+ (exp b) (exp a))) (cbrt (+ (exp b) (exp a))))) 2.561 * * [simplify]: iters left: 6 (9 enodes) 2.565 * * [simplify]: iters left: 5 (30 enodes) 2.573 * * [simplify]: iters left: 4 (32 enodes) 2.581 * * [simplify]: Extracting #0: cost 1 inf + 0 2.581 * * [simplify]: Extracting #1: cost 6 inf + 0 2.581 * * [simplify]: Extracting #2: cost 12 inf + 0 2.581 * * [simplify]: Extracting #3: cost 16 inf + 0 2.582 * * [simplify]: Extracting #4: cost 17 inf + 1 2.582 * * [simplify]: Extracting #5: cost 14 inf + 144 2.582 * * [simplify]: Extracting #6: cost 10 inf + 619 2.582 * * [simplify]: Extracting #7: cost 4 inf + 2120 2.583 * * [simplify]: Extracting #8: cost 0 inf + 3448 2.584 * [simplify]: Simplified to (/ (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))) (cbrt (+ (exp a) (exp b)))) 2.584 * [simplify]: Simplified (2 1) to (λ (a b) (* (/ (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))) (cbrt (+ (exp a) (exp b)))) (/ (sqrt (exp a)) (cbrt (+ (exp b) (exp a)))))) 2.584 * [simplify]: Simplifying (/ (sqrt (exp a)) (cbrt (+ (exp b) (exp a)))) 2.584 * * [simplify]: iters left: 6 (8 enodes) 2.588 * * [simplify]: iters left: 5 (25 enodes) 2.593 * * [simplify]: Extracting #0: cost 1 inf + 0 2.593 * * [simplify]: Extracting #1: cost 4 inf + 0 2.593 * * [simplify]: Extracting #2: cost 8 inf + 0 2.593 * * [simplify]: Extracting #3: cost 12 inf + 0 2.593 * * [simplify]: Extracting #4: cost 13 inf + 1 2.593 * * [simplify]: Extracting #5: cost 11 inf + 73 2.594 * * [simplify]: Extracting #6: cost 5 inf + 690 2.594 * * [simplify]: Extracting #7: cost 1 inf + 1738 2.594 * * [simplify]: Extracting #8: cost 0 inf + 2080 2.594 * [simplify]: Simplified to (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))) 2.594 * [simplify]: Simplified (2 2) to (λ (a b) (* (/ (sqrt (exp a)) (* (cbrt (+ (exp b) (exp a))) (cbrt (+ (exp b) (exp a))))) (/ (sqrt (exp a)) (cbrt (+ (exp a) (exp b)))))) 2.594 * * * * [progress]: [ 17 / 60 ] simplifiying candidate # 2.595 * [simplify]: Simplifying (/ (sqrt (exp a)) (sqrt (+ (exp b) (exp a)))) 2.595 * * [simplify]: iters left: 6 (8 enodes) 2.596 * * [simplify]: iters left: 5 (25 enodes) 2.600 * * [simplify]: Extracting #0: cost 1 inf + 0 2.600 * * [simplify]: Extracting #1: cost 4 inf + 0 2.600 * * [simplify]: Extracting #2: cost 8 inf + 0 2.600 * * [simplify]: Extracting #3: cost 12 inf + 0 2.600 * * [simplify]: Extracting #4: cost 13 inf + 1 2.600 * * [simplify]: Extracting #5: cost 11 inf + 73 2.600 * * [simplify]: Extracting #6: cost 5 inf + 690 2.600 * * [simplify]: Extracting #7: cost 1 inf + 1618 2.600 * * [simplify]: Extracting #8: cost 0 inf + 1920 2.601 * [simplify]: Simplified to (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) 2.601 * [simplify]: Simplified (2 1) to (λ (a b) (* (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) (/ (sqrt (exp a)) (sqrt (+ (exp b) (exp a)))))) 2.601 * [simplify]: Simplifying (/ (sqrt (exp a)) (sqrt (+ (exp b) (exp a)))) 2.601 * * [simplify]: iters left: 6 (8 enodes) 2.603 * * [simplify]: iters left: 5 (25 enodes) 2.606 * * [simplify]: Extracting #0: cost 1 inf + 0 2.606 * * [simplify]: Extracting #1: cost 4 inf + 0 2.606 * * [simplify]: Extracting #2: cost 8 inf + 0 2.606 * * [simplify]: Extracting #3: cost 12 inf + 0 2.606 * * [simplify]: Extracting #4: cost 13 inf + 1 2.606 * * [simplify]: Extracting #5: cost 11 inf + 73 2.606 * * [simplify]: Extracting #6: cost 5 inf + 690 2.606 * * [simplify]: Extracting #7: cost 1 inf + 1618 2.606 * * [simplify]: Extracting #8: cost 0 inf + 1920 2.607 * [simplify]: Simplified to (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))) 2.607 * [simplify]: Simplified (2 2) to (λ (a b) (* (/ (sqrt (exp a)) (sqrt (+ (exp b) (exp a)))) (/ (sqrt (exp a)) (sqrt (+ (exp a) (exp b)))))) 2.607 * * * * [progress]: [ 18 / 60 ] simplifiying candidate # 2.607 * [simplify]: Simplifying (/ (sqrt (exp a)) 1) 2.607 * * [simplify]: iters left: 4 (5 enodes) 2.610 * * [simplify]: iters left: 3 (15 enodes) 2.612 * * [simplify]: iters left: 2 (17 enodes) 2.614 * * [simplify]: Extracting #0: cost 1 inf + 0 2.614 * * [simplify]: Extracting #1: cost 4 inf + 0 2.615 * * [simplify]: Extracting #2: cost 5 inf + 1 2.615 * * [simplify]: Extracting #3: cost 4 inf + 2 2.615 * * [simplify]: Extracting #4: cost 1 inf + 255 2.615 * * [simplify]: Extracting #5: cost 0 inf + 366 2.615 * [simplify]: Simplified to (sqrt (exp a)) 2.615 * [simplify]: Simplified (2 1) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp b) (exp a))))) 2.615 * [simplify]: Simplifying (/ (sqrt (exp a)) (+ (exp b) (exp a))) 2.615 * * [simplify]: iters left: 5 (7 enodes) 2.616 * * [simplify]: iters left: 4 (22 enodes) 2.619 * * [simplify]: Extracting #0: cost 1 inf + 0 2.619 * * [simplify]: Extracting #1: cost 4 inf + 0 2.619 * * [simplify]: Extracting #2: cost 8 inf + 0 2.619 * * [simplify]: Extracting #3: cost 12 inf + 0 2.619 * * [simplify]: Extracting #4: cost 10 inf + 2 2.620 * * [simplify]: Extracting #5: cost 4 inf + 650 2.620 * * [simplify]: Extracting #6: cost 1 inf + 1134 2.620 * * [simplify]: Extracting #7: cost 0 inf + 1396 2.620 * [simplify]: Simplified to (/ (sqrt (exp a)) (+ (exp a) (exp b))) 2.620 * [simplify]: Simplified (2 2) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp a) (exp b))))) 2.620 * * * * [progress]: [ 19 / 60 ] simplifiying candidate # 2.620 * [simplify]: Simplifying (/ (sqrt (exp a)) 1) 2.621 * * [simplify]: iters left: 4 (5 enodes) 2.623 * * [simplify]: iters left: 3 (15 enodes) 2.628 * * [simplify]: iters left: 2 (17 enodes) 2.633 * * [simplify]: Extracting #0: cost 1 inf + 0 2.633 * * [simplify]: Extracting #1: cost 4 inf + 0 2.633 * * [simplify]: Extracting #2: cost 5 inf + 1 2.633 * * [simplify]: Extracting #3: cost 4 inf + 2 2.633 * * [simplify]: Extracting #4: cost 1 inf + 255 2.633 * * [simplify]: Extracting #5: cost 0 inf + 366 2.634 * [simplify]: Simplified to (sqrt (exp a)) 2.634 * [simplify]: Simplified (2 1) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp b) (exp a))))) 2.634 * [simplify]: Simplifying (/ (sqrt (exp a)) (+ (exp b) (exp a))) 2.634 * * [simplify]: iters left: 5 (7 enodes) 2.637 * * [simplify]: iters left: 4 (22 enodes) 2.643 * * [simplify]: Extracting #0: cost 1 inf + 0 2.643 * * [simplify]: Extracting #1: cost 4 inf + 0 2.643 * * [simplify]: Extracting #2: cost 8 inf + 0 2.643 * * [simplify]: Extracting #3: cost 12 inf + 0 2.643 * * [simplify]: Extracting #4: cost 10 inf + 2 2.644 * * [simplify]: Extracting #5: cost 4 inf + 650 2.644 * * [simplify]: Extracting #6: cost 1 inf + 1134 2.644 * * [simplify]: Extracting #7: cost 0 inf + 1396 2.645 * [simplify]: Simplified to (/ (sqrt (exp a)) (+ (exp a) (exp b))) 2.645 * [simplify]: Simplified (2 2) to (λ (a b) (* (sqrt (exp a)) (/ (sqrt (exp a)) (+ (exp a) (exp b))))) 2.645 * * * * [progress]: [ 20 / 60 ] simplifiying candidate # 2.645 * [simplify]: Simplifying (/ 1 (* (cbrt (+ (exp b) (exp a))) (cbrt (+ (exp b) (exp a))))) 2.645 * * [simplify]: iters left: 6 (9 enodes) 2.650 * * [simplify]: iters left: 5 (32 enodes) 2.660 * * [simplify]: iters left: 4 (36 enodes) 2.670 * * [simplify]: Extracting #0: cost 1 inf + 0 2.671 * * [simplify]: Extracting #1: cost 6 inf + 0 2.671 * * [simplify]: Extracting #2: cost 9 inf + 1 2.671 * * [simplify]: Extracting #3: cost 12 inf + 1 2.671 * * [simplify]: Extracting #4: cost 16 inf + 1 2.671 * * [simplify]: Extracting #5: cost 14 inf + 3 2.671 * * [simplify]: Extracting #6: cost 10 inf + 398 2.672 * * [simplify]: Extracting #7: cost 3 inf + 2083 2.672 * * [simplify]: Extracting #8: cost 0 inf + 3071 2.673 * [simplify]: Simplified to (/ (/ 1 (cbrt (+ (exp b) (exp a)))) (cbrt (+ (exp b) (exp a)))) 2.673 * [simplify]: Simplified (2 1) to (λ (a b) (* (/ (/ 1 (cbrt (+ (exp b) (exp a)))) (cbrt (+ (exp b) (exp a)))) (/ (exp a) (cbrt (+ (exp b) (exp a)))))) 2.674 * [simplify]: Simplifying (/ (exp a) (cbrt (+ (exp b) (exp a)))) 2.674 * * [simplify]: iters left: 6 (7 enodes) 2.677 * * [simplify]: iters left: 5 (22 enodes) 2.684 * * [simplify]: Extracting #0: cost 1 inf + 0 2.684 * * [simplify]: Extracting #1: cost 4 inf + 0 2.684 * * [simplify]: Extracting #2: cost 8 inf + 0 2.684 * * [simplify]: Extracting #3: cost 9 inf + 1 2.684 * * [simplify]: Extracting #4: cost 9 inf + 143 2.684 * * [simplify]: Extracting #5: cost 8 inf + 144 2.685 * * [simplify]: Extracting #6: cost 1 inf + 1476 2.685 * * [simplify]: Extracting #7: cost 0 inf + 1778 2.685 * [simplify]: Simplified to (/ (exp a) (cbrt (+ (exp a) (exp b)))) 2.686 * [simplify]: Simplified (2 2) to (λ (a b) (* (/ 1 (* (cbrt (+ (exp b) (exp a))) (cbrt (+ (exp b) (exp a))))) (/ (exp a) (cbrt (+ (exp a) (exp b)))))) 2.686 * * * * [progress]: [ 21 / 60 ] simplifiying candidate # 2.686 * [simplify]: Simplifying (/ 1 (sqrt (+ (exp b) (exp a)))) 2.686 * * [simplify]: iters left: 6 (8 enodes) 2.690 * * [simplify]: iters left: 5 (27 enodes) 2.699 * * [simplify]: iters left: 4 (29 enodes) 2.708 * * [simplify]: Extracting #0: cost 1 inf + 0 2.708 * * [simplify]: Extracting #1: cost 4 inf + 0 2.708 * * [simplify]: Extracting #2: cost 5 inf + 1 2.708 * * [simplify]: Extracting #3: cost 8 inf + 1 2.708 * * [simplify]: Extracting #4: cost 12 inf + 1 2.708 * * [simplify]: Extracting #5: cost 10 inf + 3 2.708 * * [simplify]: Extracting #6: cost 5 inf + 469 2.709 * * [simplify]: Extracting #7: cost 1 inf + 1358 2.709 * * [simplify]: Extracting #8: cost 0 inf + 1621 2.709 * [simplify]: Simplified to (/ 1 (sqrt (+ (exp b) (exp a)))) 2.710 * [simplify]: Simplified (2 1) to (λ (a b) (* (/ 1 (sqrt (+ (exp b) (exp a)))) (/ (exp a) (sqrt (+ (exp b) (exp a)))))) 2.710 * [simplify]: Simplifying (/ (exp a) (sqrt (+ (exp b) (exp a)))) 2.710 * * [simplify]: iters left: 6 (7 enodes) 2.713 * * [simplify]: iters left: 5 (22 enodes) 2.719 * * [simplify]: Extracting #0: cost 1 inf + 0 2.719 * * [simplify]: Extracting #1: cost 4 inf + 0 2.719 * * [simplify]: Extracting #2: cost 8 inf + 0 2.719 * * [simplify]: Extracting #3: cost 9 inf + 1 2.719 * * [simplify]: Extracting #4: cost 9 inf + 143 2.719 * * [simplify]: Extracting #5: cost 8 inf + 144 2.719 * * [simplify]: Extracting #6: cost 1 inf + 1356 2.720 * * [simplify]: Extracting #7: cost 0 inf + 1618 2.720 * [simplify]: Simplified to (/ (exp a) (sqrt (+ (exp a) (exp b)))) 2.720 * [simplify]: Simplified (2 2) to (λ (a b) (* (/ 1 (sqrt (+ (exp b) (exp a)))) (/ (exp a) (sqrt (+ (exp a) (exp b)))))) 2.720 * * * * [progress]: [ 22 / 60 ] simplifiying candidate # 2.721 * [simplify]: Simplifying (/ 1 1) 2.721 * * [simplify]: iters left: 2 (2 enodes) 2.722 * * [simplify]: iters left: 1 (6 enodes) 2.724 * * [simplify]: Extracting #0: cost 1 inf + 0 2.724 * * [simplify]: Extracting #1: cost 0 inf + 1 2.724 * [simplify]: Simplified to 1 2.724 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (/ (exp a) (+ (exp b) (exp a))))) 2.725 * [simplify]: Simplifying (/ (exp a) (+ (exp b) (exp a))) 2.725 * * [simplify]: iters left: 5 (6 enodes) 2.727 * * [simplify]: iters left: 4 (19 enodes) 2.732 * * [simplify]: Extracting #0: cost 1 inf + 0 2.732 * * [simplify]: Extracting #1: cost 4 inf + 0 2.733 * * [simplify]: Extracting #2: cost 8 inf + 0 2.733 * * [simplify]: Extracting #3: cost 9 inf + 1 2.733 * * [simplify]: Extracting #4: cost 0 inf + 1094 2.733 * [simplify]: Simplified to (/ (exp a) (+ (exp a) (exp b))) 2.733 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (/ (exp a) (+ (exp a) (exp b))))) 2.733 * * * * [progress]: [ 23 / 60 ] simplifiying candidate # 2.734 * [simplify]: Simplifying (/ 1 1) 2.734 * * [simplify]: iters left: 2 (2 enodes) 2.735 * * [simplify]: iters left: 1 (6 enodes) 2.737 * * [simplify]: Extracting #0: cost 1 inf + 0 2.737 * * [simplify]: Extracting #1: cost 0 inf + 1 2.737 * [simplify]: Simplified to 1 2.737 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (/ (exp a) (+ (exp b) (exp a))))) 2.738 * [simplify]: Simplifying (/ (exp a) (+ (exp b) (exp a))) 2.738 * * [simplify]: iters left: 5 (6 enodes) 2.740 * * [simplify]: iters left: 4 (19 enodes) 2.746 * * [simplify]: Extracting #0: cost 1 inf + 0 2.746 * * [simplify]: Extracting #1: cost 4 inf + 0 2.746 * * [simplify]: Extracting #2: cost 8 inf + 0 2.746 * * [simplify]: Extracting #3: cost 9 inf + 1 2.746 * * [simplify]: Extracting #4: cost 0 inf + 1094 2.746 * [simplify]: Simplified to (/ (exp a) (+ (exp a) (exp b))) 2.746 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (/ (exp a) (+ (exp a) (exp b))))) 2.746 * * * * [progress]: [ 24 / 60 ] simplifiying candidate # 2.747 * * * * [progress]: [ 25 / 60 ] simplifiying candidate # 2.747 * * * * [progress]: [ 26 / 60 ] simplifiying candidate # 2.747 * * * * [progress]: [ 27 / 60 ] simplifiying candidate # 2.747 * [simplify]: Simplifying (cbrt (+ (exp b) (exp a))) 2.747 * * [simplify]: iters left: 4 (6 enodes) 2.749 * * [simplify]: iters left: 3 (19 enodes) 2.754 * * [simplify]: Extracting #0: cost 1 inf + 0 2.754 * * [simplify]: Extracting #1: cost 3 inf + 0 2.754 * * [simplify]: Extracting #2: cost 6 inf + 0 2.755 * * [simplify]: Extracting #3: cost 10 inf + 0 2.755 * * [simplify]: Extracting #4: cost 6 inf + 144 2.755 * * [simplify]: Extracting #5: cost 0 inf + 1174 2.757 * [simplify]: Simplified to (cbrt (+ (exp b) (exp a))) 2.757 * [simplify]: Simplified (2 2) to (λ (a b) (/ (/ (exp a) (* (cbrt (+ (exp b) (exp a))) (cbrt (+ (exp b) (exp a))))) (cbrt (+ (exp b) (exp a))))) 2.757 * * * * [progress]: [ 28 / 60 ] simplifiying candidate # 2.757 * [simplify]: Simplifying (sqrt (+ (exp b) (exp a))) 2.757 * * [simplify]: iters left: 4 (6 enodes) 2.760 * * [simplify]: iters left: 3 (19 enodes) 2.765 * * [simplify]: Extracting #0: cost 1 inf + 0 2.765 * * [simplify]: Extracting #1: cost 3 inf + 0 2.765 * * [simplify]: Extracting #2: cost 6 inf + 0 2.765 * * [simplify]: Extracting #3: cost 10 inf + 0 2.765 * * [simplify]: Extracting #4: cost 6 inf + 144 2.765 * * [simplify]: Extracting #5: cost 0 inf + 1094 2.766 * [simplify]: Simplified to (sqrt (+ (exp b) (exp a))) 2.766 * [simplify]: Simplified (2 2) to (λ (a b) (/ (/ (exp a) (sqrt (+ (exp b) (exp a)))) (sqrt (+ (exp b) (exp a))))) 2.766 * * * * [progress]: [ 29 / 60 ] simplifiying candidate # 2.766 * [simplify]: Simplifying (+ (exp b) (exp a)) 2.766 * * [simplify]: iters left: 3 (5 enodes) 2.768 * * [simplify]: iters left: 2 (16 enodes) 2.772 * * [simplify]: Extracting #0: cost 1 inf + 0 2.772 * * [simplify]: Extracting #1: cost 4 inf + 0 2.772 * * [simplify]: Extracting #2: cost 8 inf + 0 2.773 * * [simplify]: Extracting #3: cost 4 inf + 144 2.773 * * [simplify]: Extracting #4: cost 0 inf + 650 2.773 * [simplify]: Simplified to (+ (exp b) (exp a)) 2.773 * [simplify]: Simplified (2 2) to (λ (a b) (/ (/ (exp a) 1) (+ (exp b) (exp a)))) 2.773 * * * * [progress]: [ 30 / 60 ] simplifiying candidate # 2.773 * [simplify]: Simplifying (+ (exp b) (exp a)) 2.773 * * [simplify]: iters left: 3 (5 enodes) 2.775 * * [simplify]: iters left: 2 (16 enodes) 2.779 * * [simplify]: Extracting #0: cost 1 inf + 0 2.780 * * [simplify]: Extracting #1: cost 4 inf + 0 2.780 * * [simplify]: Extracting #2: cost 8 inf + 0 2.780 * * [simplify]: Extracting #3: cost 4 inf + 144 2.780 * * [simplify]: Extracting #4: cost 0 inf + 650 2.780 * [simplify]: Simplified to (+ (exp b) (exp a)) 2.780 * [simplify]: Simplified (2 2) to (λ (a b) (/ (/ (exp a) 1) (+ (exp b) (exp a)))) 2.780 * * * * [progress]: [ 31 / 60 ] simplifiying candidate # 2.780 * [simplify]: Simplifying (* (cbrt (exp a)) (cbrt (exp a))) 2.780 * * [simplify]: iters left: 4 (4 enodes) 2.781 * * [simplify]: iters left: 3 (12 enodes) 2.783 * * [simplify]: Extracting #0: cost 1 inf + 0 2.783 * * [simplify]: Extracting #1: cost 3 inf + 0 2.783 * * [simplify]: Extracting #2: cost 5 inf + 0 2.783 * * [simplify]: Extracting #3: cost 7 inf + 0 2.783 * * [simplify]: Extracting #4: cost 6 inf + 1 2.783 * * [simplify]: Extracting #5: cost 0 inf + 827 2.783 * [simplify]: Simplified to (* (cbrt (exp a)) (cbrt (exp a))) 2.783 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (cbrt (exp a)) (cbrt (exp a))) (/ (+ (exp b) (exp a)) (cbrt (exp a))))) 2.783 * * * * [progress]: [ 32 / 60 ] simplifiying candidate # 2.784 * [simplify]: Simplifying (sqrt (exp a)) 2.784 * * [simplify]: iters left: 2 (3 enodes) 2.784 * * [simplify]: iters left: 1 (9 enodes) 2.785 * * [simplify]: Extracting #0: cost 1 inf + 0 2.785 * * [simplify]: Extracting #1: cost 3 inf + 0 2.785 * * [simplify]: Extracting #2: cost 5 inf + 0 2.785 * * [simplify]: Extracting #3: cost 4 inf + 1 2.785 * * [simplify]: Extracting #4: cost 0 inf + 365 2.786 * [simplify]: Simplified to (sqrt (exp a)) 2.786 * [simplify]: Simplified (2 1) to (λ (a b) (/ (sqrt (exp a)) (/ (+ (exp b) (exp a)) (sqrt (exp a))))) 2.786 * * * * [progress]: [ 33 / 60 ] simplifiying candidate # 2.786 * * * * [progress]: [ 34 / 60 ] simplifiying candidate # 2.786 * [simplify]: Simplifying (+ (* (exp b) (exp b)) (- (* (exp a) (exp a)) (* (exp b) (exp a)))) 2.786 * * [simplify]: iters left: 6 (9 enodes) 2.788 * * [simplify]: iters left: 5 (43 enodes) 2.795 * * [simplify]: iters left: 4 (74 enodes) 2.811 * * [simplify]: iters left: 3 (108 enodes) 2.825 * * [simplify]: iters left: 2 (136 enodes) 2.860 * * [simplify]: iters left: 1 (162 enodes) 2.894 * * [simplify]: Extracting #0: cost 1 inf + 0 2.894 * * [simplify]: Extracting #1: cost 20 inf + 0 2.894 * * [simplify]: Extracting #2: cost 42 inf + 0 2.894 * * [simplify]: Extracting #3: cost 35 inf + 561 2.896 * * [simplify]: Extracting #4: cost 4 inf + 5667 2.897 * * [simplify]: Extracting #5: cost 0 inf + 6499 2.899 * [simplify]: Simplified to (fma (exp b) (exp b) (* (exp a) (- (exp a) (exp b)))) 2.899 * [simplify]: Simplified (2 2) to (λ (a b) (* (/ (exp a) (+ (pow (exp b) 3) (pow (exp a) 3))) (fma (exp b) (exp b) (* (exp a) (- (exp a) (exp b)))))) 2.899 * * * * [progress]: [ 35 / 60 ] simplifiying candidate # 2.899 * [simplify]: Simplifying (- (exp b) (exp a)) 2.899 * * [simplify]: iters left: 3 (5 enodes) 2.900 * * [simplify]: iters left: 2 (17 enodes) 2.903 * * [simplify]: iters left: 1 (20 enodes) 2.906 * * [simplify]: Extracting #0: cost 1 inf + 0 2.906 * * [simplify]: Extracting #1: cost 5 inf + 0 2.906 * * [simplify]: Extracting #2: cost 10 inf + 0 2.907 * * [simplify]: Extracting #3: cost 8 inf + 2 2.907 * * [simplify]: Extracting #4: cost 1 inf + 761 2.907 * * [simplify]: Extracting #5: cost 0 inf + 872 2.907 * [simplify]: Simplified to (- (exp b) (exp a)) 2.907 * [simplify]: Simplified (2 2) to (λ (a b) (* (/ (exp a) (- (* (exp b) (exp b)) (* (exp a) (exp a)))) (- (exp b) (exp a)))) 2.907 * * * * [progress]: [ 36 / 60 ] simplifiying candidate #real (real->posit16 (/ (exp a) (+ (exp b) (exp a))))))> 2.908 * * * * [progress]: [ 37 / 60 ] simplifiying candidate # 2.908 * * * * [progress]: [ 38 / 60 ] simplifiying candidate # 2.908 * * * * [progress]: [ 39 / 60 ] simplifiying candidate # 2.908 * [simplify]: Simplifying (* (cbrt (exp b)) (cbrt (exp b))) 2.908 * * [simplify]: iters left: 4 (4 enodes) 2.910 * * [simplify]: iters left: 3 (12 enodes) 2.913 * * [simplify]: Extracting #0: cost 1 inf + 0 2.913 * * [simplify]: Extracting #1: cost 3 inf + 0 2.913 * * [simplify]: Extracting #2: cost 5 inf + 0 2.913 * * [simplify]: Extracting #3: cost 7 inf + 0 2.913 * * [simplify]: Extracting #4: cost 6 inf + 1 2.913 * * [simplify]: Extracting #5: cost 0 inf + 827 2.914 * [simplify]: Simplified to (* (cbrt (exp b)) (cbrt (exp b))) 2.914 * [simplify]: Simplified (2 2 1) to (λ (a b) (/ (exp a) (fma (* (cbrt (exp b)) (cbrt (exp b))) (cbrt (exp b)) (exp a)))) 2.914 * * * * [progress]: [ 40 / 60 ] simplifiying candidate # 2.914 * [simplify]: Simplifying (sqrt (exp b)) 2.914 * * [simplify]: iters left: 2 (3 enodes) 2.915 * * [simplify]: iters left: 1 (9 enodes) 2.918 * * [simplify]: Extracting #0: cost 1 inf + 0 2.918 * * [simplify]: Extracting #1: cost 3 inf + 0 2.918 * * [simplify]: Extracting #2: cost 5 inf + 0 2.918 * * [simplify]: Extracting #3: cost 4 inf + 1 2.918 * * [simplify]: Extracting #4: cost 0 inf + 365 2.918 * [simplify]: Simplified to (sqrt (exp b)) 2.918 * [simplify]: Simplified (2 2 1) to (λ (a b) (/ (exp a) (fma (sqrt (exp b)) (sqrt (exp b)) (exp a)))) 2.918 * * * * [progress]: [ 41 / 60 ] simplifiying candidate # 2.919 * * * * [progress]: [ 42 / 60 ] simplifiying candidate # 2.919 * [simplify]: Simplifying (* (exp (exp b)) (exp (exp a))) 2.919 * * [simplify]: iters left: 4 (7 enodes) 2.922 * * [simplify]: iters left: 3 (24 enodes) 2.928 * * [simplify]: iters left: 2 (28 enodes) 2.936 * * [simplify]: Extracting #0: cost 1 inf + 0 2.936 * * [simplify]: Extracting #1: cost 5 inf + 0 2.936 * * [simplify]: Extracting #2: cost 10 inf + 0 2.936 * * [simplify]: Extracting #3: cost 14 inf + 0 2.936 * * [simplify]: Extracting #4: cost 12 inf + 2 2.936 * * [simplify]: Extracting #5: cost 5 inf + 791 2.936 * * [simplify]: Extracting #6: cost 1 inf + 1466 2.937 * * [simplify]: Extracting #7: cost 0 inf + 1718 2.937 * [simplify]: Simplified to (exp (+ (exp b) (exp a))) 2.937 * [simplify]: Simplified (2 2 1) to (λ (a b) (/ (exp a) (log (exp (+ (exp b) (exp a)))))) 2.938 * * * * [progress]: [ 43 / 60 ] simplifiying candidate # 2.938 * * * * [progress]: [ 44 / 60 ] simplifiying candidate # 2.938 * * * * [progress]: [ 45 / 60 ] simplifiying candidate # 2.938 * * * * [progress]: [ 46 / 60 ] simplifiying candidate # 2.938 * * * * [progress]: [ 47 / 60 ] simplifiying candidate # 2.938 * * * * [progress]: [ 48 / 60 ] simplifiying candidate # 2.938 * * * * [progress]: [ 49 / 60 ] simplifiying candidate # 2.938 * * * * [progress]: [ 50 / 60 ] simplifiying candidate # 2.938 * * * * [progress]: [ 51 / 60 ] simplifiying candidate # 2.938 * * * * [progress]: [ 52 / 60 ] simplifiying candidate # 2.938 * [simplify]: Simplifying (+ (exp b) (exp a)) 2.939 * * [simplify]: iters left: 3 (5 enodes) 2.941 * * [simplify]: iters left: 2 (16 enodes) 2.945 * * [simplify]: Extracting #0: cost 1 inf + 0 2.945 * * [simplify]: Extracting #1: cost 4 inf + 0 2.945 * * [simplify]: Extracting #2: cost 8 inf + 0 2.945 * * [simplify]: Extracting #3: cost 4 inf + 144 2.945 * * [simplify]: Extracting #4: cost 0 inf + 650 2.945 * [simplify]: Simplified to (+ (exp b) (exp a)) 2.945 * [simplify]: Simplified (2 2 2) to (λ (a b) (/ (exp a) (* 1 (+ (exp b) (exp a))))) 2.945 * * * * [progress]: [ 53 / 60 ] simplifiying candidate #real (real->posit16 (+ (exp b) (exp a))))))> 2.945 * * * * [progress]: [ 54 / 60 ] simplifiying candidate # 2.946 * * * * [progress]: [ 55 / 60 ] simplifiying candidate # 2.946 * [simplify]: Simplifying (- (+ (* 1/4 a) 1/2) (* 1/4 b)) 2.946 * * [simplify]: iters left: 6 (8 enodes) 2.951 * * [simplify]: iters left: 5 (32 enodes) 2.961 * * [simplify]: iters left: 4 (54 enodes) 2.981 * * [simplify]: iters left: 3 (77 enodes) 2.992 * * [simplify]: iters left: 2 (100 enodes) 3.005 * * [simplify]: iters left: 1 (117 enodes) 3.033 * * [simplify]: Extracting #0: cost 1 inf + 0 3.033 * * [simplify]: Extracting #1: cost 22 inf + 0 3.034 * * [simplify]: Extracting #2: cost 31 inf + 130 3.035 * * [simplify]: Extracting #3: cost 9 inf + 1705 3.036 * * [simplify]: Extracting #4: cost 0 inf + 2202 3.038 * * [simplify]: Extracting #5: cost 0 inf + 2186 3.040 * [simplify]: Simplified to (fma (- a b) 1/4 1/2) 3.040 * [simplify]: Simplified (2) to (λ (a b) (fma (- a b) 1/4 1/2)) 3.040 * * * * [progress]: [ 56 / 60 ] simplifiying candidate # 3.041 * [simplify]: Simplifying (/ (exp a) (+ (exp b) (exp a))) 3.041 * * [simplify]: iters left: 5 (6 enodes) 3.043 * * [simplify]: iters left: 4 (19 enodes) 3.049 * * [simplify]: Extracting #0: cost 1 inf + 0 3.049 * * [simplify]: Extracting #1: cost 4 inf + 0 3.049 * * [simplify]: Extracting #2: cost 8 inf + 0 3.049 * * [simplify]: Extracting #3: cost 9 inf + 1 3.049 * * [simplify]: Extracting #4: cost 0 inf + 1094 3.050 * [simplify]: Simplified to (/ (exp a) (+ (exp a) (exp b))) 3.050 * [simplify]: Simplified (2) to (λ (a b) (/ (exp a) (+ (exp a) (exp b)))) 3.050 * * * * [progress]: [ 57 / 60 ] simplifiying candidate # 3.050 * [simplify]: Simplifying (/ (exp a) (+ (exp b) (exp a))) 3.050 * * [simplify]: iters left: 5 (6 enodes) 3.053 * * [simplify]: iters left: 4 (19 enodes) 3.057 * * [simplify]: Extracting #0: cost 1 inf + 0 3.057 * * [simplify]: Extracting #1: cost 4 inf + 0 3.057 * * [simplify]: Extracting #2: cost 8 inf + 0 3.057 * * [simplify]: Extracting #3: cost 9 inf + 1 3.058 * * [simplify]: Extracting #4: cost 0 inf + 1094 3.058 * [simplify]: Simplified to (/ (exp a) (+ (exp a) (exp b))) 3.058 * [simplify]: Simplified (2) to (λ (a b) (/ (exp a) (+ (exp a) (exp b)))) 3.058 * * * * [progress]: [ 58 / 60 ] simplifiying candidate # 3.058 * [simplify]: Simplifying (+ a (+ b 2)) 3.058 * * [simplify]: iters left: 4 (5 enodes) 3.060 * * [simplify]: iters left: 3 (19 enodes) 3.063 * * [simplify]: iters left: 2 (27 enodes) 3.067 * * [simplify]: iters left: 1 (32 enodes) 3.074 * * [simplify]: Extracting #0: cost 1 inf + 0 3.074 * * [simplify]: Extracting #1: cost 8 inf + 0 3.074 * * [simplify]: Extracting #2: cost 7 inf + 45 3.074 * * [simplify]: Extracting #3: cost 0 inf + 421 3.074 * [simplify]: Simplified to (+ (+ a 2) b) 3.074 * [simplify]: Simplified (2 2) to (λ (a b) (/ (exp a) (+ (+ a 2) b))) 3.074 * * * * [progress]: [ 59 / 60 ] simplifiying candidate # 3.074 * [simplify]: Simplifying (+ (exp b) (exp a)) 3.075 * * [simplify]: iters left: 3 (5 enodes) 3.076 * * [simplify]: iters left: 2 (16 enodes) 3.078 * * [simplify]: Extracting #0: cost 1 inf + 0 3.078 * * [simplify]: Extracting #1: cost 4 inf + 0 3.078 * * [simplify]: Extracting #2: cost 8 inf + 0 3.078 * * [simplify]: Extracting #3: cost 4 inf + 144 3.078 * * [simplify]: Extracting #4: cost 0 inf + 650 3.078 * [simplify]: Simplified to (+ (exp b) (exp a)) 3.078 * [simplify]: Simplified (2 2) to (λ (a b) (/ (exp a) (+ (exp b) (exp a)))) 3.078 * * * * [progress]: [ 60 / 60 ] simplifiying candidate # 3.078 * [simplify]: Simplifying (+ (exp b) (exp a)) 3.078 * * [simplify]: iters left: 3 (5 enodes) 3.079 * * [simplify]: iters left: 2 (16 enodes) 3.081 * * [simplify]: Extracting #0: cost 1 inf + 0 3.081 * * [simplify]: Extracting #1: cost 4 inf + 0 3.081 * * [simplify]: Extracting #2: cost 8 inf + 0 3.081 * * [simplify]: Extracting #3: cost 4 inf + 144 3.081 * * [simplify]: Extracting #4: cost 0 inf + 650 3.082 * [simplify]: Simplified to (+ (exp b) (exp a)) 3.082 * [simplify]: Simplified (2 2) to (λ (a b) (/ (exp a) (+ (exp b) (exp a)))) 3.082 * * * [progress]: adding candidates to table 3.714 * * [progress]: iteration 3 / 4 3.714 * * * [progress]: picking best candidate 3.717 * * * * [pick]: Picked # 3.717 * * * [progress]: localizing error 3.728 * * * [progress]: generating rewritten candidates 3.728 * * * [progress]: generating series expansions 3.728 * * * [progress]: simplifying candidates 3.728 * * * [progress]: adding candidates to table 3.729 * [progress]: [Phase 3 of 3] Extracting. 3.729 * * [regime]: Finding splitpoints for: (# #) 3.729 * * * [regime-changes]: Trying 4 branch expressions: (b (exp b) a (exp a)) 3.729 * * * * [regimes]: Trying to branch on b from (# #) 3.755 * * * * [regimes]: Trying to branch on (exp b) from (# #) 3.796 * * * * [regimes]: Trying to branch on a from (# #) 3.841 * * * * [regimes]: Trying to branch on (exp a) from (# #) 3.881 * * * [regime]: Found split indices: #