24.153 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.021 * * * [progress]: [2/2] Setting up program. 0.023 * [progress]: [Phase 2 of 3] Improving. 0.023 * [simplify]: Simplifying using # : (+ (+ (+ (+ e d) c) b) a) 0.025 * * [simplify]: iteration 0 : 19 enodes (cost 4 ) 0.026 * * [simplify]: iteration 1 : 58 enodes (cost 4 ) 0.028 * * [simplify]: iteration 2 : 178 enodes (cost 4 ) 0.031 * * [simplify]: iteration 3 : 351 enodes (cost 4 ) 0.034 * * [simplify]: iteration 4 : 401 enodes (cost 4 ) 0.037 * * [simplify]: iteration 5 : 401 enodes (cost 4 ) 0.037 * [simplify]: Simplified to: (+ (+ (+ (+ e d) c) b) a) 0.037 * * [progress]: iteration 1 / 4 0.037 * * * [progress]: picking best candidate 0.039 * * * * [pick]: Picked # 0.039 * * * [progress]: localizing error 0.045 * * * [progress]: generating rewritten candidates 0.045 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.339 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 0.354 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.424 * * * [progress]: generating series expansions 0.424 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.424 * [approximate]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in (e d c b a) around 0 0.424 * [taylor]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in a 0.424 * [taylor]: Taking taylor expansion of d in a 0.424 * [taylor]: Taking taylor expansion of (+ e (+ a (+ b c))) in a 0.424 * [taylor]: Taking taylor expansion of e in a 0.424 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.424 * [taylor]: Taking taylor expansion of a in a 0.424 * [taylor]: Taking taylor expansion of (+ b c) in a 0.424 * [taylor]: Taking taylor expansion of b in a 0.424 * [taylor]: Taking taylor expansion of c in a 0.424 * [taylor]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in b 0.424 * [taylor]: Taking taylor expansion of d in b 0.424 * [taylor]: Taking taylor expansion of (+ e (+ a (+ b c))) in b 0.424 * [taylor]: Taking taylor expansion of e in b 0.424 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.424 * [taylor]: Taking taylor expansion of a in b 0.424 * [taylor]: Taking taylor expansion of (+ b c) in b 0.424 * [taylor]: Taking taylor expansion of b in b 0.425 * [taylor]: Taking taylor expansion of c in b 0.425 * [taylor]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in c 0.425 * [taylor]: Taking taylor expansion of d in c 0.425 * [taylor]: Taking taylor expansion of (+ e (+ a (+ b c))) in c 0.425 * [taylor]: Taking taylor expansion of e in c 0.425 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.425 * [taylor]: Taking taylor expansion of a in c 0.425 * [taylor]: Taking taylor expansion of (+ b c) in c 0.425 * [taylor]: Taking taylor expansion of b in c 0.425 * [taylor]: Taking taylor expansion of c in c 0.425 * [taylor]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in d 0.425 * [taylor]: Taking taylor expansion of d in d 0.425 * [taylor]: Taking taylor expansion of (+ e (+ a (+ b c))) in d 0.425 * [taylor]: Taking taylor expansion of e in d 0.425 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.425 * [taylor]: Taking taylor expansion of a in d 0.425 * [taylor]: Taking taylor expansion of (+ b c) in d 0.425 * [taylor]: Taking taylor expansion of b in d 0.425 * [taylor]: Taking taylor expansion of c in d 0.425 * [taylor]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in e 0.425 * [taylor]: Taking taylor expansion of d in e 0.425 * [taylor]: Taking taylor expansion of (+ e (+ a (+ b c))) in e 0.425 * [taylor]: Taking taylor expansion of e in e 0.425 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in e 0.425 * [taylor]: Taking taylor expansion of a in e 0.425 * [taylor]: Taking taylor expansion of (+ b c) in e 0.425 * [taylor]: Taking taylor expansion of b in e 0.425 * [taylor]: Taking taylor expansion of c in e 0.425 * [taylor]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in e 0.425 * [taylor]: Taking taylor expansion of d in e 0.425 * [taylor]: Taking taylor expansion of (+ e (+ a (+ b c))) in e 0.425 * [taylor]: Taking taylor expansion of e in e 0.425 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in e 0.425 * [taylor]: Taking taylor expansion of a in e 0.425 * [taylor]: Taking taylor expansion of (+ b c) in e 0.425 * [taylor]: Taking taylor expansion of b in e 0.425 * [taylor]: Taking taylor expansion of c in e 0.425 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.425 * [taylor]: Taking taylor expansion of d in d 0.425 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.425 * [taylor]: Taking taylor expansion of a in d 0.425 * [taylor]: Taking taylor expansion of (+ b c) in d 0.425 * [taylor]: Taking taylor expansion of b in d 0.425 * [taylor]: Taking taylor expansion of c in d 0.425 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.426 * [taylor]: Taking taylor expansion of a in c 0.426 * [taylor]: Taking taylor expansion of (+ c b) in c 0.426 * [taylor]: Taking taylor expansion of c in c 0.426 * [taylor]: Taking taylor expansion of b in c 0.426 * [taylor]: Taking taylor expansion of (+ a b) in b 0.426 * [taylor]: Taking taylor expansion of a in b 0.426 * [taylor]: Taking taylor expansion of b in b 0.426 * [taylor]: Taking taylor expansion of a in a 0.427 * [taylor]: Taking taylor expansion of 1 in d 0.427 * [taylor]: Taking taylor expansion of 1 in c 0.427 * [taylor]: Taking taylor expansion of 1 in b 0.427 * [taylor]: Taking taylor expansion of 1 in a 0.428 * [taylor]: Taking taylor expansion of 1 in c 0.428 * [taylor]: Taking taylor expansion of 1 in b 0.428 * [taylor]: Taking taylor expansion of 1 in a 0.429 * [taylor]: Taking taylor expansion of 1 in b 0.429 * [taylor]: Taking taylor expansion of 1 in a 0.429 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in (e d c b a) around 0 0.429 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in a 0.429 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.429 * [taylor]: Taking taylor expansion of a in a 0.430 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.430 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.430 * [taylor]: Taking taylor expansion of e in a 0.430 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.430 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.430 * [taylor]: Taking taylor expansion of c in a 0.430 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.430 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.430 * [taylor]: Taking taylor expansion of d in a 0.430 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.430 * [taylor]: Taking taylor expansion of b in a 0.430 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in b 0.430 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.430 * [taylor]: Taking taylor expansion of a in b 0.430 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.430 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.430 * [taylor]: Taking taylor expansion of e in b 0.430 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.430 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.430 * [taylor]: Taking taylor expansion of c in b 0.430 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.430 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.430 * [taylor]: Taking taylor expansion of d in b 0.430 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.430 * [taylor]: Taking taylor expansion of b in b 0.431 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in c 0.431 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.431 * [taylor]: Taking taylor expansion of a in c 0.431 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.431 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.431 * [taylor]: Taking taylor expansion of e in c 0.431 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.431 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.431 * [taylor]: Taking taylor expansion of c in c 0.431 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.431 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.431 * [taylor]: Taking taylor expansion of d in c 0.431 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.431 * [taylor]: Taking taylor expansion of b in c 0.431 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.431 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.431 * [taylor]: Taking taylor expansion of a in d 0.431 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.431 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.431 * [taylor]: Taking taylor expansion of e in d 0.431 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.431 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.431 * [taylor]: Taking taylor expansion of c in d 0.431 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.431 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.431 * [taylor]: Taking taylor expansion of d in d 0.432 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.432 * [taylor]: Taking taylor expansion of b in d 0.432 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in e 0.432 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.432 * [taylor]: Taking taylor expansion of a in e 0.432 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in e 0.432 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.432 * [taylor]: Taking taylor expansion of e in e 0.432 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in e 0.432 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.432 * [taylor]: Taking taylor expansion of c in e 0.432 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in e 0.432 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.432 * [taylor]: Taking taylor expansion of d in e 0.432 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.432 * [taylor]: Taking taylor expansion of b in e 0.432 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in e 0.432 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.432 * [taylor]: Taking taylor expansion of a in e 0.432 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in e 0.432 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.432 * [taylor]: Taking taylor expansion of e in e 0.433 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in e 0.433 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.433 * [taylor]: Taking taylor expansion of c in e 0.433 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in e 0.433 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.433 * [taylor]: Taking taylor expansion of d in e 0.433 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.433 * [taylor]: Taking taylor expansion of b in e 0.433 * [taylor]: Taking taylor expansion of 1 in d 0.434 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d 0.434 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.434 * [taylor]: Taking taylor expansion of b in d 0.434 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d 0.434 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.434 * [taylor]: Taking taylor expansion of d in d 0.435 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d 0.435 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.435 * [taylor]: Taking taylor expansion of c in d 0.435 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.435 * [taylor]: Taking taylor expansion of a in d 0.435 * [taylor]: Taking taylor expansion of 1 in c 0.435 * [taylor]: Taking taylor expansion of 1 in c 0.437 * [taylor]: Taking taylor expansion of 0 in d 0.437 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c 0.437 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.437 * [taylor]: Taking taylor expansion of a in c 0.438 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c 0.438 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.438 * [taylor]: Taking taylor expansion of c in c 0.438 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.438 * [taylor]: Taking taylor expansion of b in c 0.438 * [taylor]: Taking taylor expansion of 1 in b 0.438 * [taylor]: Taking taylor expansion of 0 in c 0.438 * [taylor]: Taking taylor expansion of 1 in b 0.438 * [taylor]: Taking taylor expansion of 1 in b 0.440 * [taylor]: Taking taylor expansion of 0 in d 0.440 * [taylor]: Taking taylor expansion of 0 in c 0.442 * [taylor]: Taking taylor expansion of 0 in c 0.442 * [taylor]: Taking taylor expansion of 0 in c 0.442 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.442 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.442 * [taylor]: Taking taylor expansion of b in b 0.442 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.442 * [taylor]: Taking taylor expansion of a in b 0.443 * [taylor]: Taking taylor expansion of 1 in a 0.443 * [taylor]: Taking taylor expansion of 0 in b 0.443 * [taylor]: Taking taylor expansion of 0 in b 0.443 * [taylor]: Taking taylor expansion of 0 in b 0.443 * [taylor]: Taking taylor expansion of 1 in a 0.443 * [taylor]: Taking taylor expansion of 1 in a 0.443 * [taylor]: Taking taylor expansion of 1 in a 0.445 * [taylor]: Taking taylor expansion of 0 in d 0.445 * [taylor]: Taking taylor expansion of 0 in c 0.445 * [taylor]: Taking taylor expansion of 0 in c 0.446 * [taylor]: Taking taylor expansion of 0 in c 0.446 * [taylor]: Taking taylor expansion of 0 in c 0.446 * [taylor]: Taking taylor expansion of 0 in b 0.446 * [taylor]: Taking taylor expansion of 0 in b 0.446 * [taylor]: Taking taylor expansion of 0 in b 0.447 * [taylor]: Taking taylor expansion of 0 in b 0.447 * [taylor]: Taking taylor expansion of 0 in b 0.447 * [taylor]: Taking taylor expansion of 0 in b 0.448 * [taylor]: Taking taylor expansion of 0 in b 0.448 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.448 * [taylor]: Taking taylor expansion of a in a 0.448 * [taylor]: Taking taylor expansion of 0 in a 0.448 * [taylor]: Taking taylor expansion of 0 in a 0.448 * [taylor]: Taking taylor expansion of 0 in a 0.448 * [taylor]: Taking taylor expansion of 0 in a 0.448 * [taylor]: Taking taylor expansion of 0 in a 0.448 * [taylor]: Taking taylor expansion of 0 in a 0.450 * [approximate]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in (e d c b a) around 0 0.450 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in a 0.450 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in a 0.450 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.450 * [taylor]: Taking taylor expansion of a in a 0.450 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.450 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.450 * [taylor]: Taking taylor expansion of e in a 0.450 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.450 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.450 * [taylor]: Taking taylor expansion of c in a 0.450 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.450 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.450 * [taylor]: Taking taylor expansion of d in a 0.450 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.450 * [taylor]: Taking taylor expansion of b in a 0.450 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in b 0.451 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in b 0.451 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.451 * [taylor]: Taking taylor expansion of a in b 0.451 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.451 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.451 * [taylor]: Taking taylor expansion of e in b 0.451 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.451 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.451 * [taylor]: Taking taylor expansion of c in b 0.451 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.451 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.451 * [taylor]: Taking taylor expansion of d in b 0.451 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.451 * [taylor]: Taking taylor expansion of b in b 0.451 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in c 0.451 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in c 0.451 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.451 * [taylor]: Taking taylor expansion of a in c 0.451 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.451 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.451 * [taylor]: Taking taylor expansion of e in c 0.451 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.451 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.451 * [taylor]: Taking taylor expansion of c in c 0.451 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.452 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.452 * [taylor]: Taking taylor expansion of d in c 0.452 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.452 * [taylor]: Taking taylor expansion of b in c 0.452 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in d 0.452 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.452 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.452 * [taylor]: Taking taylor expansion of a in d 0.452 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.452 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.452 * [taylor]: Taking taylor expansion of e in d 0.452 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.452 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.452 * [taylor]: Taking taylor expansion of c in d 0.452 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.452 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.452 * [taylor]: Taking taylor expansion of d in d 0.452 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.452 * [taylor]: Taking taylor expansion of b in d 0.452 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in e 0.452 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in e 0.452 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.452 * [taylor]: Taking taylor expansion of a in e 0.452 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in e 0.452 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.452 * [taylor]: Taking taylor expansion of e in e 0.453 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in e 0.453 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.453 * [taylor]: Taking taylor expansion of c in e 0.453 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in e 0.453 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.453 * [taylor]: Taking taylor expansion of d in e 0.453 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.453 * [taylor]: Taking taylor expansion of b in e 0.453 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in e 0.453 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in e 0.453 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.453 * [taylor]: Taking taylor expansion of a in e 0.453 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in e 0.453 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.453 * [taylor]: Taking taylor expansion of e in e 0.453 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in e 0.453 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.453 * [taylor]: Taking taylor expansion of c in e 0.453 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in e 0.453 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.453 * [taylor]: Taking taylor expansion of d in e 0.453 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.453 * [taylor]: Taking taylor expansion of b in e 0.454 * [taylor]: Taking taylor expansion of -1 in d 0.455 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in d 0.455 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d 0.455 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.455 * [taylor]: Taking taylor expansion of b in d 0.455 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d 0.455 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.455 * [taylor]: Taking taylor expansion of c in d 0.455 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d 0.455 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.455 * [taylor]: Taking taylor expansion of d in d 0.455 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.456 * [taylor]: Taking taylor expansion of a in d 0.456 * [taylor]: Taking taylor expansion of -1 in c 0.457 * [taylor]: Taking taylor expansion of -1 in c 0.458 * [taylor]: Taking taylor expansion of 0 in d 0.459 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 c) (/ 1 b)))) in c 0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c 0.459 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.459 * [taylor]: Taking taylor expansion of a in c 0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c 0.459 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.459 * [taylor]: Taking taylor expansion of c in c 0.459 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.459 * [taylor]: Taking taylor expansion of b in c 0.460 * [taylor]: Taking taylor expansion of -1 in b 0.460 * [taylor]: Taking taylor expansion of 0 in c 0.460 * [taylor]: Taking taylor expansion of -1 in b 0.460 * [taylor]: Taking taylor expansion of -1 in b 0.464 * [taylor]: Taking taylor expansion of 0 in d 0.464 * [taylor]: Taking taylor expansion of 0 in c 0.466 * [taylor]: Taking taylor expansion of 0 in c 0.466 * [taylor]: Taking taylor expansion of 0 in c 0.467 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a))) in b 0.467 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.467 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.467 * [taylor]: Taking taylor expansion of b in b 0.467 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.467 * [taylor]: Taking taylor expansion of a in b 0.467 * [taylor]: Taking taylor expansion of -1 in a 0.467 * [taylor]: Taking taylor expansion of 0 in b 0.467 * [taylor]: Taking taylor expansion of 0 in b 0.467 * [taylor]: Taking taylor expansion of 0 in b 0.468 * [taylor]: Taking taylor expansion of -1 in a 0.468 * [taylor]: Taking taylor expansion of -1 in a 0.468 * [taylor]: Taking taylor expansion of -1 in a 0.470 * [taylor]: Taking taylor expansion of 0 in d 0.470 * [taylor]: Taking taylor expansion of 0 in c 0.470 * [taylor]: Taking taylor expansion of 0 in c 0.471 * [taylor]: Taking taylor expansion of 0 in c 0.471 * [taylor]: Taking taylor expansion of 0 in c 0.471 * [taylor]: Taking taylor expansion of 0 in b 0.471 * [taylor]: Taking taylor expansion of 0 in b 0.471 * [taylor]: Taking taylor expansion of 0 in b 0.473 * [taylor]: Taking taylor expansion of 0 in b 0.473 * [taylor]: Taking taylor expansion of 0 in b 0.473 * [taylor]: Taking taylor expansion of 0 in b 0.473 * [taylor]: Taking taylor expansion of 0 in b 0.473 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 0.473 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.474 * [taylor]: Taking taylor expansion of a in a 0.474 * [taylor]: Taking taylor expansion of 0 in a 0.474 * [taylor]: Taking taylor expansion of 0 in a 0.474 * [taylor]: Taking taylor expansion of 0 in a 0.474 * [taylor]: Taking taylor expansion of 0 in a 0.474 * [taylor]: Taking taylor expansion of 0 in a 0.474 * [taylor]: Taking taylor expansion of 0 in a 0.475 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 0.475 * [approximate]: Taking taylor expansion of (+ d (+ e c)) in (e d c) around 0 0.475 * [taylor]: Taking taylor expansion of (+ d (+ e c)) in c 0.475 * [taylor]: Taking taylor expansion of d in c 0.475 * [taylor]: Taking taylor expansion of (+ e c) in c 0.475 * [taylor]: Taking taylor expansion of e in c 0.475 * [taylor]: Taking taylor expansion of c in c 0.476 * [taylor]: Taking taylor expansion of (+ d (+ e c)) in d 0.476 * [taylor]: Taking taylor expansion of d in d 0.476 * [taylor]: Taking taylor expansion of (+ e c) in d 0.476 * [taylor]: Taking taylor expansion of e in d 0.476 * [taylor]: Taking taylor expansion of c in d 0.476 * [taylor]: Taking taylor expansion of (+ d (+ e c)) in e 0.476 * [taylor]: Taking taylor expansion of d in e 0.476 * [taylor]: Taking taylor expansion of (+ e c) in e 0.476 * [taylor]: Taking taylor expansion of e in e 0.476 * [taylor]: Taking taylor expansion of c in e 0.476 * [taylor]: Taking taylor expansion of (+ d (+ e c)) in e 0.476 * [taylor]: Taking taylor expansion of d in e 0.476 * [taylor]: Taking taylor expansion of (+ e c) in e 0.476 * [taylor]: Taking taylor expansion of e in e 0.476 * [taylor]: Taking taylor expansion of c in e 0.476 * [taylor]: Taking taylor expansion of (+ d c) in d 0.476 * [taylor]: Taking taylor expansion of d in d 0.476 * [taylor]: Taking taylor expansion of c in d 0.476 * [taylor]: Taking taylor expansion of c in c 0.476 * [taylor]: Taking taylor expansion of 1 in d 0.476 * [taylor]: Taking taylor expansion of 1 in c 0.477 * [taylor]: Taking taylor expansion of 1 in c 0.477 * [approximate]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in (e d c) around 0 0.477 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in c 0.477 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.477 * [taylor]: Taking taylor expansion of c in c 0.478 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in c 0.478 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.478 * [taylor]: Taking taylor expansion of d in c 0.478 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.478 * [taylor]: Taking taylor expansion of e in c 0.478 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in d 0.478 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.478 * [taylor]: Taking taylor expansion of c in d 0.478 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 0.478 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.478 * [taylor]: Taking taylor expansion of d in d 0.478 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.478 * [taylor]: Taking taylor expansion of e in d 0.478 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in e 0.478 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.478 * [taylor]: Taking taylor expansion of c in e 0.478 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 0.478 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.478 * [taylor]: Taking taylor expansion of d in e 0.478 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.478 * [taylor]: Taking taylor expansion of e in e 0.478 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in e 0.478 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.479 * [taylor]: Taking taylor expansion of c in e 0.479 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 0.479 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.479 * [taylor]: Taking taylor expansion of d in e 0.479 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.479 * [taylor]: Taking taylor expansion of e in e 0.479 * [taylor]: Taking taylor expansion of 1 in d 0.480 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d 0.480 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.480 * [taylor]: Taking taylor expansion of d in d 0.480 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.480 * [taylor]: Taking taylor expansion of c in d 0.481 * [taylor]: Taking taylor expansion of 1 in c 0.481 * [taylor]: Taking taylor expansion of 1 in c 0.482 * [taylor]: Taking taylor expansion of 0 in d 0.482 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.482 * [taylor]: Taking taylor expansion of c in c 0.482 * [taylor]: Taking taylor expansion of 0 in c 0.483 * [approximate]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 e)))) in (e d c) around 0 0.483 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 e)))) in c 0.483 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in c 0.483 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.483 * [taylor]: Taking taylor expansion of c in c 0.483 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in c 0.483 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.483 * [taylor]: Taking taylor expansion of d in c 0.483 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.483 * [taylor]: Taking taylor expansion of e in c 0.483 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 e)))) in d 0.483 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in d 0.483 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.483 * [taylor]: Taking taylor expansion of c in d 0.483 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 0.483 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.483 * [taylor]: Taking taylor expansion of d in d 0.484 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.484 * [taylor]: Taking taylor expansion of e in d 0.484 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 e)))) in e 0.484 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in e 0.484 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.484 * [taylor]: Taking taylor expansion of c in e 0.484 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 0.484 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.484 * [taylor]: Taking taylor expansion of d in e 0.484 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.484 * [taylor]: Taking taylor expansion of e in e 0.484 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 e)))) in e 0.484 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in e 0.484 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.484 * [taylor]: Taking taylor expansion of c in e 0.484 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 0.484 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.484 * [taylor]: Taking taylor expansion of d in e 0.484 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.484 * [taylor]: Taking taylor expansion of e in e 0.485 * [taylor]: Taking taylor expansion of -1 in d 0.486 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (/ 1 c))) in d 0.486 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d 0.486 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.486 * [taylor]: Taking taylor expansion of d in d 0.486 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.486 * [taylor]: Taking taylor expansion of c in d 0.487 * [taylor]: Taking taylor expansion of -1 in c 0.487 * [taylor]: Taking taylor expansion of -1 in c 0.488 * [taylor]: Taking taylor expansion of 0 in d 0.489 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 0.489 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.489 * [taylor]: Taking taylor expansion of c in c 0.489 * [taylor]: Taking taylor expansion of 0 in c 0.490 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.490 * [approximate]: Taking taylor expansion of (+ d (+ e (+ b c))) in (e d c b) around 0 0.490 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b c))) in b 0.490 * [taylor]: Taking taylor expansion of d in b 0.490 * [taylor]: Taking taylor expansion of (+ e (+ b c)) in b 0.490 * [taylor]: Taking taylor expansion of e in b 0.490 * [taylor]: Taking taylor expansion of (+ b c) in b 0.490 * [taylor]: Taking taylor expansion of b in b 0.490 * [taylor]: Taking taylor expansion of c in b 0.490 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b c))) in c 0.490 * [taylor]: Taking taylor expansion of d in c 0.490 * [taylor]: Taking taylor expansion of (+ e (+ b c)) in c 0.490 * [taylor]: Taking taylor expansion of e in c 0.490 * [taylor]: Taking taylor expansion of (+ b c) in c 0.490 * [taylor]: Taking taylor expansion of b in c 0.490 * [taylor]: Taking taylor expansion of c in c 0.490 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b c))) in d 0.490 * [taylor]: Taking taylor expansion of d in d 0.490 * [taylor]: Taking taylor expansion of (+ e (+ b c)) in d 0.490 * [taylor]: Taking taylor expansion of e in d 0.490 * [taylor]: Taking taylor expansion of (+ b c) in d 0.490 * [taylor]: Taking taylor expansion of b in d 0.490 * [taylor]: Taking taylor expansion of c in d 0.490 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b c))) in e 0.490 * [taylor]: Taking taylor expansion of d in e 0.490 * [taylor]: Taking taylor expansion of (+ e (+ b c)) in e 0.490 * [taylor]: Taking taylor expansion of e in e 0.490 * [taylor]: Taking taylor expansion of (+ b c) in e 0.490 * [taylor]: Taking taylor expansion of b in e 0.490 * [taylor]: Taking taylor expansion of c in e 0.490 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b c))) in e 0.490 * [taylor]: Taking taylor expansion of d in e 0.490 * [taylor]: Taking taylor expansion of (+ e (+ b c)) in e 0.490 * [taylor]: Taking taylor expansion of e in e 0.490 * [taylor]: Taking taylor expansion of (+ b c) in e 0.490 * [taylor]: Taking taylor expansion of b in e 0.490 * [taylor]: Taking taylor expansion of c in e 0.490 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d 0.490 * [taylor]: Taking taylor expansion of d in d 0.490 * [taylor]: Taking taylor expansion of (+ b c) in d 0.490 * [taylor]: Taking taylor expansion of b in d 0.490 * [taylor]: Taking taylor expansion of c in d 0.490 * [taylor]: Taking taylor expansion of (+ c b) in c 0.491 * [taylor]: Taking taylor expansion of c in c 0.491 * [taylor]: Taking taylor expansion of b in c 0.491 * [taylor]: Taking taylor expansion of b in b 0.491 * [taylor]: Taking taylor expansion of 1 in d 0.491 * [taylor]: Taking taylor expansion of 1 in c 0.491 * [taylor]: Taking taylor expansion of 1 in b 0.492 * [taylor]: Taking taylor expansion of 1 in c 0.492 * [taylor]: Taking taylor expansion of 1 in b 0.492 * [taylor]: Taking taylor expansion of 1 in b 0.493 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in (e d c b) around 0 0.493 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in b 0.493 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.493 * [taylor]: Taking taylor expansion of b in b 0.493 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in b 0.493 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.493 * [taylor]: Taking taylor expansion of d in b 0.493 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in b 0.493 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.493 * [taylor]: Taking taylor expansion of c in b 0.493 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.493 * [taylor]: Taking taylor expansion of e in b 0.493 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in c 0.493 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.493 * [taylor]: Taking taylor expansion of b in c 0.493 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in c 0.493 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.493 * [taylor]: Taking taylor expansion of d in c 0.493 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in c 0.493 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.493 * [taylor]: Taking taylor expansion of c in c 0.494 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.494 * [taylor]: Taking taylor expansion of e in c 0.494 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in d 0.494 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.494 * [taylor]: Taking taylor expansion of b in d 0.494 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in d 0.494 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.494 * [taylor]: Taking taylor expansion of d in d 0.494 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in d 0.494 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.494 * [taylor]: Taking taylor expansion of c in d 0.494 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.494 * [taylor]: Taking taylor expansion of e in d 0.494 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in e 0.494 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.494 * [taylor]: Taking taylor expansion of b in e 0.494 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in e 0.494 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.494 * [taylor]: Taking taylor expansion of d in e 0.494 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 0.494 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.494 * [taylor]: Taking taylor expansion of c in e 0.494 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.494 * [taylor]: Taking taylor expansion of e in e 0.495 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in e 0.495 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.495 * [taylor]: Taking taylor expansion of b in e 0.495 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in e 0.495 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.495 * [taylor]: Taking taylor expansion of d in e 0.495 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 0.495 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.495 * [taylor]: Taking taylor expansion of c in e 0.495 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.495 * [taylor]: Taking taylor expansion of e in e 0.496 * [taylor]: Taking taylor expansion of 1 in d 0.496 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.496 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.497 * [taylor]: Taking taylor expansion of c in d 0.497 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.497 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.497 * [taylor]: Taking taylor expansion of d in d 0.497 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.497 * [taylor]: Taking taylor expansion of b in d 0.497 * [taylor]: Taking taylor expansion of 1 in c 0.497 * [taylor]: Taking taylor expansion of 1 in c 0.499 * [taylor]: Taking taylor expansion of 0 in d 0.499 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c 0.499 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.499 * [taylor]: Taking taylor expansion of c in c 0.499 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.500 * [taylor]: Taking taylor expansion of b in c 0.500 * [taylor]: Taking taylor expansion of 1 in b 0.500 * [taylor]: Taking taylor expansion of 0 in c 0.500 * [taylor]: Taking taylor expansion of 1 in b 0.500 * [taylor]: Taking taylor expansion of 1 in b 0.501 * [taylor]: Taking taylor expansion of 0 in d 0.501 * [taylor]: Taking taylor expansion of 0 in c 0.502 * [taylor]: Taking taylor expansion of 0 in c 0.502 * [taylor]: Taking taylor expansion of 0 in c 0.503 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.503 * [taylor]: Taking taylor expansion of b in b 0.503 * [taylor]: Taking taylor expansion of 0 in b 0.503 * [taylor]: Taking taylor expansion of 0 in b 0.503 * [taylor]: Taking taylor expansion of 0 in b 0.504 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in (e d c b) around 0 0.504 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in b 0.504 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in b 0.504 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.504 * [taylor]: Taking taylor expansion of b in b 0.504 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in b 0.505 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.505 * [taylor]: Taking taylor expansion of d in b 0.505 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in b 0.505 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.505 * [taylor]: Taking taylor expansion of c in b 0.505 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.505 * [taylor]: Taking taylor expansion of e in b 0.505 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in c 0.505 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in c 0.505 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.505 * [taylor]: Taking taylor expansion of b in c 0.505 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in c 0.505 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.505 * [taylor]: Taking taylor expansion of d in c 0.505 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in c 0.505 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.505 * [taylor]: Taking taylor expansion of c in c 0.505 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.505 * [taylor]: Taking taylor expansion of e in c 0.505 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in d 0.505 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in d 0.505 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.505 * [taylor]: Taking taylor expansion of b in d 0.505 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in d 0.505 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.505 * [taylor]: Taking taylor expansion of d in d 0.506 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in d 0.506 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.506 * [taylor]: Taking taylor expansion of c in d 0.506 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.506 * [taylor]: Taking taylor expansion of e in d 0.506 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in e 0.506 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in e 0.506 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.506 * [taylor]: Taking taylor expansion of b in e 0.506 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in e 0.506 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.506 * [taylor]: Taking taylor expansion of d in e 0.506 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 0.506 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.506 * [taylor]: Taking taylor expansion of c in e 0.506 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.506 * [taylor]: Taking taylor expansion of e in e 0.506 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in e 0.506 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in e 0.506 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.506 * [taylor]: Taking taylor expansion of b in e 0.506 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in e 0.506 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.506 * [taylor]: Taking taylor expansion of d in e 0.506 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 0.506 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.506 * [taylor]: Taking taylor expansion of c in e 0.506 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.506 * [taylor]: Taking taylor expansion of e in e 0.508 * [taylor]: Taking taylor expansion of -1 in d 0.508 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.508 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.508 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.508 * [taylor]: Taking taylor expansion of c in d 0.508 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.508 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.508 * [taylor]: Taking taylor expansion of d in d 0.509 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.509 * [taylor]: Taking taylor expansion of b in d 0.509 * [taylor]: Taking taylor expansion of -1 in c 0.509 * [taylor]: Taking taylor expansion of -1 in c 0.511 * [taylor]: Taking taylor expansion of 0 in d 0.512 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in c 0.512 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c 0.512 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.512 * [taylor]: Taking taylor expansion of c in c 0.512 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.512 * [taylor]: Taking taylor expansion of b in c 0.512 * [taylor]: Taking taylor expansion of -1 in b 0.512 * [taylor]: Taking taylor expansion of 0 in c 0.513 * [taylor]: Taking taylor expansion of -1 in b 0.513 * [taylor]: Taking taylor expansion of -1 in b 0.514 * [taylor]: Taking taylor expansion of 0 in d 0.514 * [taylor]: Taking taylor expansion of 0 in c 0.515 * [taylor]: Taking taylor expansion of 0 in c 0.515 * [taylor]: Taking taylor expansion of 0 in c 0.516 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in b 0.516 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.516 * [taylor]: Taking taylor expansion of b in b 0.516 * [taylor]: Taking taylor expansion of 0 in b 0.516 * [taylor]: Taking taylor expansion of 0 in b 0.517 * [taylor]: Taking taylor expansion of 0 in b 0.517 * * * [progress]: simplifying candidates 0.518 * [simplify]: Simplifying using # : (expm1 (+ (+ (+ (+ e d) c) b) a)) (log1p (+ (+ (+ (+ e d) c) b) a)) (* (* (* (* (exp e) (exp d)) (exp c)) (exp b)) (exp a)) (* (* (* (exp (+ e d)) (exp c)) (exp b)) (exp a)) (* (* (exp (+ (+ e d) c)) (exp b)) (exp a)) (* (exp (+ (+ (+ e d) c) b)) (exp a)) (log (+ (+ (+ (+ e d) c) b) a)) (exp (+ (+ (+ (+ e d) c) b) a)) (* (cbrt (+ (+ (+ (+ e d) c) b) a)) (cbrt (+ (+ (+ (+ e d) c) b) a))) (cbrt (+ (+ (+ (+ e d) c) b) a)) (* (* (+ (+ (+ (+ e d) c) b) a) (+ (+ (+ (+ e d) c) b) a)) (+ (+ (+ (+ e d) c) b) a)) (sqrt (+ (+ (+ (+ e d) c) b) a)) (sqrt (+ (+ (+ (+ e d) c) b) a)) (+ (pow (+ (+ (+ e d) c) b) 3) (pow a 3)) (+ (* (+ (+ (+ e d) c) b) (+ (+ (+ e d) c) b)) (- (* a a) (* (+ (+ (+ e d) c) b) a))) (- (* (+ (+ (+ e d) c) b) (+ (+ (+ e d) c) b)) (* a a)) (- (+ (+ (+ e d) c) b) a) (+ (+ (+ (+ e d) c) b) a) (+ (+ (+ (+ e d) c) b) a) (+ (+ (+ (+ e d) c) b) a) (+ (+ (+ (+ e d) c) b) a) (+ b a) (expm1 (+ (+ e d) c)) (log1p (+ (+ e d) c)) (* (* (exp e) (exp d)) (exp c)) (* (exp (+ e d)) (exp c)) (log (+ (+ e d) c)) (exp (+ (+ e d) c)) (* (cbrt (+ (+ e d) c)) (cbrt (+ (+ e d) c))) (cbrt (+ (+ e d) c)) (* (* (+ (+ e d) c) (+ (+ e d) c)) (+ (+ e d) c)) (sqrt (+ (+ e d) c)) (sqrt (+ (+ e d) c)) (+ (pow (+ e d) 3) (pow c 3)) (+ (* (+ e d) (+ e d)) (- (* c c) (* (+ e d) c))) (- (* (+ e d) (+ e d)) (* c c)) (- (+ e d) c) (+ (+ e d) c) (+ (+ e d) c) (+ d c) (expm1 (+ (+ (+ e d) c) b)) (log1p (+ (+ (+ e d) c) b)) (* (* (* (exp e) (exp d)) (exp c)) (exp b)) (* (* (exp (+ e d)) (exp c)) (exp b)) (* (exp (+ (+ e d) c)) (exp b)) (log (+ (+ (+ e d) c) b)) (exp (+ (+ (+ e d) c) b)) (* (cbrt (+ (+ (+ e d) c) b)) (cbrt (+ (+ (+ e d) c) b))) (cbrt (+ (+ (+ e d) c) b)) (* (* (+ (+ (+ e d) c) b) (+ (+ (+ e d) c) b)) (+ (+ (+ e d) c) b)) (sqrt (+ (+ (+ e d) c) b)) (sqrt (+ (+ (+ e d) c) b)) (+ (pow (+ (+ e d) c) 3) (pow b 3)) (+ (* (+ (+ e d) c) (+ (+ e d) c)) (- (* b b) (* (+ (+ e d) c) b))) (- (* (+ (+ e d) c) (+ (+ e d) c)) (* b b)) (- (+ (+ e d) c) b) (+ (+ (+ e d) c) b) (+ (+ (+ e d) c) b) (+ (+ (+ e d) c) b) (+ c b) (+ d (+ e c)) (+ a (+ b c)) (+ a (+ b c)) (+ d (+ e c)) (+ d (+ e c)) (+ d (+ e c)) (+ d (+ e c)) (+ d (+ b c)) (+ d (+ b c)) 0.522 * * [simplify]: iteration 0 : 249 enodes (cost 295 ) 0.527 * * [simplify]: iteration 1 : 1063 enodes (cost 283 ) 0.545 * * [simplify]: iteration 2 : 5002 enodes (cost 283 ) 0.547 * [simplify]: Simplified to: (expm1 (+ (+ (+ (+ e d) c) b) a)) (log1p (+ (+ (+ (+ e d) c) b) a)) (exp (+ (+ (+ (+ e d) c) b) a)) (exp (+ (+ (+ (+ e d) c) b) a)) (exp (+ (+ (+ (+ e d) c) b) a)) (exp (+ (+ (+ (+ e d) c) b) a)) (log (+ (+ (+ (+ e d) c) b) a)) (exp (+ (+ (+ (+ e d) c) b) a)) (* (cbrt (+ (+ (+ (+ e d) c) b) a)) (cbrt (+ (+ (+ (+ e d) c) b) a))) (cbrt (+ (+ (+ (+ e d) c) b) a)) (pow (+ (+ (+ (+ e d) c) b) a) 3) (sqrt (+ (+ (+ (+ e d) c) b) a)) (sqrt (+ (+ (+ (+ e d) c) b) a)) (+ (pow (+ (+ (+ e d) c) b) 3) (pow a 3)) (fma a (- a (+ (+ (+ e d) c) b)) (* (+ (+ (+ e d) c) b) (+ (+ (+ e d) c) b))) (- (* (+ (+ (+ e d) c) b) (+ (+ (+ e d) c) b)) (* a a)) (- (+ (+ (+ e d) c) b) a) (+ (+ (+ (+ e d) c) b) a) (+ (+ (+ (+ e d) c) b) a) (+ (+ (+ (+ e d) c) b) a) (+ (+ (+ (+ e d) c) b) a) (+ b a) (expm1 (+ (+ e d) c)) (log1p (+ (+ e d) c)) (exp (+ (+ e d) c)) (exp (+ (+ e d) c)) (log (+ (+ e d) c)) (exp (+ (+ e d) c)) (* (cbrt (+ (+ e d) c)) (cbrt (+ (+ e d) c))) (cbrt (+ (+ e d) c)) (pow (+ (+ e d) c) 3) (sqrt (+ (+ e d) c)) (sqrt (+ (+ e d) c)) (+ (pow (+ e d) 3) (pow c 3)) (fma c (- c (+ e d)) (* (+ e d) (+ e d))) (- (* (+ e d) (+ e d)) (* c c)) (- (+ e d) c) (+ d (+ e c)) (+ d (+ e c)) (+ d c) (expm1 (+ (+ (+ e d) c) b)) (log1p (+ (+ (+ e d) c) b)) (exp (+ (+ (+ e d) c) b)) (exp (+ (+ (+ e d) c) b)) (exp (+ (+ (+ e d) c) b)) (log (+ (+ (+ e d) c) b)) (exp (+ (+ (+ e d) c) b)) (* (cbrt (+ (+ (+ e d) c) b)) (cbrt (+ (+ (+ e d) c) b))) (cbrt (+ (+ (+ e d) c) b)) (pow (+ (+ (+ e d) c) b) 3) (sqrt (+ (+ (+ e d) c) b)) (sqrt (+ (+ (+ e d) c) b)) (+ (pow (+ (+ e d) c) 3) (pow b 3)) (fma (+ d (+ e c)) (+ d (+ e c)) (* b (- b (+ (+ e d) c)))) (- (* (+ (+ e d) c) (+ (+ e d) c)) (* b b)) (- (+ (+ e d) c) b) (+ (+ (+ e d) c) b) (+ (+ (+ e d) c) b) (+ (+ (+ e d) c) b) (+ c b) (+ d (+ e c)) (+ a (+ b c)) (+ a (+ b c)) (+ d (+ e c)) (+ d (+ e c)) (+ d (+ e c)) (+ d (+ e c)) (+ d (+ b c)) (+ d (+ b c)) 0.547 * * * [progress]: adding candidates to table 0.691 * * [progress]: iteration 2 / 4 0.691 * * * [progress]: picking best candidate 0.711 * * * * [pick]: Picked # 0.711 * * * [progress]: localizing error 0.719 * * * [progress]: generating rewritten candidates 0.719 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.787 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.796 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2) 0.805 * * * [progress]: generating series expansions 0.805 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.805 * [approximate]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in (d e c b a) around 0 0.805 * [taylor]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in a 0.805 * [taylor]: Taking taylor expansion of d in a 0.805 * [taylor]: Taking taylor expansion of (+ e (+ a (+ b c))) in a 0.805 * [taylor]: Taking taylor expansion of e in a 0.805 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.805 * [taylor]: Taking taylor expansion of a in a 0.805 * [taylor]: Taking taylor expansion of (+ b c) in a 0.805 * [taylor]: Taking taylor expansion of b in a 0.805 * [taylor]: Taking taylor expansion of c in a 0.805 * [taylor]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in b 0.805 * [taylor]: Taking taylor expansion of d in b 0.805 * [taylor]: Taking taylor expansion of (+ e (+ a (+ b c))) in b 0.805 * [taylor]: Taking taylor expansion of e in b 0.805 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.805 * [taylor]: Taking taylor expansion of a in b 0.805 * [taylor]: Taking taylor expansion of (+ b c) in b 0.805 * [taylor]: Taking taylor expansion of b in b 0.805 * [taylor]: Taking taylor expansion of c in b 0.805 * [taylor]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in c 0.805 * [taylor]: Taking taylor expansion of d in c 0.805 * [taylor]: Taking taylor expansion of (+ e (+ a (+ b c))) in c 0.805 * [taylor]: Taking taylor expansion of e in c 0.805 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.805 * [taylor]: Taking taylor expansion of a in c 0.805 * [taylor]: Taking taylor expansion of (+ b c) in c 0.805 * [taylor]: Taking taylor expansion of b in c 0.805 * [taylor]: Taking taylor expansion of c in c 0.805 * [taylor]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in e 0.805 * [taylor]: Taking taylor expansion of d in e 0.805 * [taylor]: Taking taylor expansion of (+ e (+ a (+ b c))) in e 0.805 * [taylor]: Taking taylor expansion of e in e 0.805 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in e 0.806 * [taylor]: Taking taylor expansion of a in e 0.806 * [taylor]: Taking taylor expansion of (+ b c) in e 0.806 * [taylor]: Taking taylor expansion of b in e 0.806 * [taylor]: Taking taylor expansion of c in e 0.806 * [taylor]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in d 0.806 * [taylor]: Taking taylor expansion of d in d 0.806 * [taylor]: Taking taylor expansion of (+ e (+ a (+ b c))) in d 0.806 * [taylor]: Taking taylor expansion of e in d 0.806 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.806 * [taylor]: Taking taylor expansion of a in d 0.806 * [taylor]: Taking taylor expansion of (+ b c) in d 0.806 * [taylor]: Taking taylor expansion of b in d 0.806 * [taylor]: Taking taylor expansion of c in d 0.806 * [taylor]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in d 0.806 * [taylor]: Taking taylor expansion of d in d 0.806 * [taylor]: Taking taylor expansion of (+ e (+ a (+ b c))) in d 0.806 * [taylor]: Taking taylor expansion of e in d 0.806 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.806 * [taylor]: Taking taylor expansion of a in d 0.806 * [taylor]: Taking taylor expansion of (+ b c) in d 0.806 * [taylor]: Taking taylor expansion of b in d 0.806 * [taylor]: Taking taylor expansion of c in d 0.806 * [taylor]: Taking taylor expansion of (+ e (+ a (+ c b))) in e 0.806 * [taylor]: Taking taylor expansion of e in e 0.806 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in e 0.806 * [taylor]: Taking taylor expansion of a in e 0.806 * [taylor]: Taking taylor expansion of (+ c b) in e 0.806 * [taylor]: Taking taylor expansion of c in e 0.806 * [taylor]: Taking taylor expansion of b in e 0.806 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.806 * [taylor]: Taking taylor expansion of a in c 0.806 * [taylor]: Taking taylor expansion of (+ c b) in c 0.806 * [taylor]: Taking taylor expansion of c in c 0.806 * [taylor]: Taking taylor expansion of b in c 0.806 * [taylor]: Taking taylor expansion of (+ a b) in b 0.806 * [taylor]: Taking taylor expansion of a in b 0.806 * [taylor]: Taking taylor expansion of b in b 0.806 * [taylor]: Taking taylor expansion of a in a 0.808 * [taylor]: Taking taylor expansion of 1 in e 0.808 * [taylor]: Taking taylor expansion of 1 in c 0.808 * [taylor]: Taking taylor expansion of 1 in b 0.808 * [taylor]: Taking taylor expansion of 1 in a 0.808 * [taylor]: Taking taylor expansion of 1 in c 0.809 * [taylor]: Taking taylor expansion of 1 in b 0.809 * [taylor]: Taking taylor expansion of 1 in a 0.809 * [taylor]: Taking taylor expansion of 1 in b 0.809 * [taylor]: Taking taylor expansion of 1 in a 0.810 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in (d e c b a) around 0 0.810 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in a 0.810 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.810 * [taylor]: Taking taylor expansion of a in a 0.810 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.810 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.810 * [taylor]: Taking taylor expansion of e in a 0.810 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.810 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.810 * [taylor]: Taking taylor expansion of c in a 0.810 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.810 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.810 * [taylor]: Taking taylor expansion of d in a 0.810 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.810 * [taylor]: Taking taylor expansion of b in a 0.810 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in b 0.810 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.810 * [taylor]: Taking taylor expansion of a in b 0.810 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.810 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.810 * [taylor]: Taking taylor expansion of e in b 0.810 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.810 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.810 * [taylor]: Taking taylor expansion of c in b 0.811 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.811 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.811 * [taylor]: Taking taylor expansion of d in b 0.811 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.811 * [taylor]: Taking taylor expansion of b in b 0.811 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in c 0.811 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.811 * [taylor]: Taking taylor expansion of a in c 0.811 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.811 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.811 * [taylor]: Taking taylor expansion of e in c 0.811 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.811 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.811 * [taylor]: Taking taylor expansion of c in c 0.811 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.811 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.811 * [taylor]: Taking taylor expansion of d in c 0.811 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.811 * [taylor]: Taking taylor expansion of b in c 0.811 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in e 0.811 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.811 * [taylor]: Taking taylor expansion of a in e 0.812 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in e 0.812 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.812 * [taylor]: Taking taylor expansion of e in e 0.812 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in e 0.812 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.812 * [taylor]: Taking taylor expansion of c in e 0.812 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in e 0.812 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.812 * [taylor]: Taking taylor expansion of d in e 0.812 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.812 * [taylor]: Taking taylor expansion of b in e 0.812 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.812 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.812 * [taylor]: Taking taylor expansion of a in d 0.812 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.812 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.812 * [taylor]: Taking taylor expansion of e in d 0.812 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.812 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.812 * [taylor]: Taking taylor expansion of c in d 0.812 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.812 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.812 * [taylor]: Taking taylor expansion of d in d 0.812 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.812 * [taylor]: Taking taylor expansion of b in d 0.813 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.813 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.813 * [taylor]: Taking taylor expansion of a in d 0.813 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.813 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.813 * [taylor]: Taking taylor expansion of e in d 0.813 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.813 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.813 * [taylor]: Taking taylor expansion of c in d 0.813 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.813 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.813 * [taylor]: Taking taylor expansion of d in d 0.813 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.813 * [taylor]: Taking taylor expansion of b in d 0.814 * [taylor]: Taking taylor expansion of 1 in e 0.815 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 e) (/ 1 a)))) in e 0.815 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.815 * [taylor]: Taking taylor expansion of b in e 0.815 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 e) (/ 1 a))) in e 0.815 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.815 * [taylor]: Taking taylor expansion of c in e 0.815 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (/ 1 a)) in e 0.815 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.815 * [taylor]: Taking taylor expansion of e in e 0.815 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.815 * [taylor]: Taking taylor expansion of a in e 0.816 * [taylor]: Taking taylor expansion of 1 in c 0.816 * [taylor]: Taking taylor expansion of 1 in c 0.818 * [taylor]: Taking taylor expansion of 0 in e 0.818 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c 0.818 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.818 * [taylor]: Taking taylor expansion of a in c 0.818 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c 0.818 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.818 * [taylor]: Taking taylor expansion of c in c 0.819 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.819 * [taylor]: Taking taylor expansion of b in c 0.819 * [taylor]: Taking taylor expansion of 1 in b 0.819 * [taylor]: Taking taylor expansion of 0 in c 0.819 * [taylor]: Taking taylor expansion of 1 in b 0.819 * [taylor]: Taking taylor expansion of 1 in b 0.821 * [taylor]: Taking taylor expansion of 0 in e 0.821 * [taylor]: Taking taylor expansion of 0 in c 0.822 * [taylor]: Taking taylor expansion of 0 in c 0.822 * [taylor]: Taking taylor expansion of 0 in c 0.823 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.823 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.823 * [taylor]: Taking taylor expansion of b in b 0.823 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.823 * [taylor]: Taking taylor expansion of a in b 0.824 * [taylor]: Taking taylor expansion of 1 in a 0.824 * [taylor]: Taking taylor expansion of 0 in b 0.824 * [taylor]: Taking taylor expansion of 0 in b 0.824 * [taylor]: Taking taylor expansion of 0 in b 0.824 * [taylor]: Taking taylor expansion of 1 in a 0.824 * [taylor]: Taking taylor expansion of 1 in a 0.824 * [taylor]: Taking taylor expansion of 1 in a 0.826 * [taylor]: Taking taylor expansion of 0 in e 0.826 * [taylor]: Taking taylor expansion of 0 in c 0.826 * [taylor]: Taking taylor expansion of 0 in c 0.827 * [taylor]: Taking taylor expansion of 0 in c 0.827 * [taylor]: Taking taylor expansion of 0 in c 0.827 * [taylor]: Taking taylor expansion of 0 in b 0.827 * [taylor]: Taking taylor expansion of 0 in b 0.827 * [taylor]: Taking taylor expansion of 0 in b 0.828 * [taylor]: Taking taylor expansion of 0 in b 0.828 * [taylor]: Taking taylor expansion of 0 in b 0.828 * [taylor]: Taking taylor expansion of 0 in b 0.828 * [taylor]: Taking taylor expansion of 0 in b 0.829 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.829 * [taylor]: Taking taylor expansion of a in a 0.829 * [taylor]: Taking taylor expansion of 0 in a 0.829 * [taylor]: Taking taylor expansion of 0 in a 0.829 * [taylor]: Taking taylor expansion of 0 in a 0.829 * [taylor]: Taking taylor expansion of 0 in a 0.829 * [taylor]: Taking taylor expansion of 0 in a 0.829 * [taylor]: Taking taylor expansion of 0 in a 0.831 * [approximate]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in (d e c b a) around 0 0.831 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in a 0.831 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in a 0.831 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.831 * [taylor]: Taking taylor expansion of a in a 0.831 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.831 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.831 * [taylor]: Taking taylor expansion of e in a 0.831 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.831 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.831 * [taylor]: Taking taylor expansion of c in a 0.831 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.831 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.831 * [taylor]: Taking taylor expansion of d in a 0.831 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.831 * [taylor]: Taking taylor expansion of b in a 0.831 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in b 0.832 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in b 0.832 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.832 * [taylor]: Taking taylor expansion of a in b 0.832 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.832 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.832 * [taylor]: Taking taylor expansion of e in b 0.832 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.832 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.832 * [taylor]: Taking taylor expansion of c in b 0.832 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.832 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.832 * [taylor]: Taking taylor expansion of d in b 0.832 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.832 * [taylor]: Taking taylor expansion of b in b 0.832 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in c 0.832 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in c 0.832 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.832 * [taylor]: Taking taylor expansion of a in c 0.832 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.832 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.832 * [taylor]: Taking taylor expansion of e in c 0.832 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.832 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.832 * [taylor]: Taking taylor expansion of c in c 0.833 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.833 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.833 * [taylor]: Taking taylor expansion of d in c 0.833 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.833 * [taylor]: Taking taylor expansion of b in c 0.833 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in e 0.833 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in e 0.833 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.833 * [taylor]: Taking taylor expansion of a in e 0.833 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in e 0.833 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.833 * [taylor]: Taking taylor expansion of e in e 0.833 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in e 0.833 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.833 * [taylor]: Taking taylor expansion of c in e 0.833 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in e 0.833 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.833 * [taylor]: Taking taylor expansion of d in e 0.833 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.833 * [taylor]: Taking taylor expansion of b in e 0.833 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in d 0.833 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.833 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.833 * [taylor]: Taking taylor expansion of a in d 0.833 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.833 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.833 * [taylor]: Taking taylor expansion of e in d 0.833 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.834 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.834 * [taylor]: Taking taylor expansion of c in d 0.834 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.834 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.834 * [taylor]: Taking taylor expansion of d in d 0.834 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.834 * [taylor]: Taking taylor expansion of b in d 0.834 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in d 0.834 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.834 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.834 * [taylor]: Taking taylor expansion of a in d 0.834 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.834 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.834 * [taylor]: Taking taylor expansion of e in d 0.834 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.834 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.834 * [taylor]: Taking taylor expansion of c in d 0.834 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.834 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.834 * [taylor]: Taking taylor expansion of d in d 0.834 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.834 * [taylor]: Taking taylor expansion of b in d 0.836 * [taylor]: Taking taylor expansion of -1 in e 0.837 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 e) (+ (/ 1 c) (/ 1 a))))) in e 0.837 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 e) (+ (/ 1 c) (/ 1 a)))) in e 0.837 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.837 * [taylor]: Taking taylor expansion of b in e 0.837 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (/ 1 a))) in e 0.837 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.837 * [taylor]: Taking taylor expansion of e in e 0.837 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in e 0.837 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.837 * [taylor]: Taking taylor expansion of c in e 0.837 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.837 * [taylor]: Taking taylor expansion of a in e 0.838 * [taylor]: Taking taylor expansion of -1 in c 0.838 * [taylor]: Taking taylor expansion of -1 in c 0.840 * [taylor]: Taking taylor expansion of 0 in e 0.840 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 c) (/ 1 b)))) in c 0.841 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c 0.841 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.841 * [taylor]: Taking taylor expansion of a in c 0.841 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c 0.841 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.841 * [taylor]: Taking taylor expansion of c in c 0.841 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.841 * [taylor]: Taking taylor expansion of b in c 0.842 * [taylor]: Taking taylor expansion of -1 in b 0.842 * [taylor]: Taking taylor expansion of 0 in c 0.842 * [taylor]: Taking taylor expansion of -1 in b 0.842 * [taylor]: Taking taylor expansion of -1 in b 0.844 * [taylor]: Taking taylor expansion of 0 in e 0.844 * [taylor]: Taking taylor expansion of 0 in c 0.845 * [taylor]: Taking taylor expansion of 0 in c 0.845 * [taylor]: Taking taylor expansion of 0 in c 0.846 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a))) in b 0.846 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.846 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.846 * [taylor]: Taking taylor expansion of b in b 0.846 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.846 * [taylor]: Taking taylor expansion of a in b 0.847 * [taylor]: Taking taylor expansion of -1 in a 0.847 * [taylor]: Taking taylor expansion of 0 in b 0.847 * [taylor]: Taking taylor expansion of 0 in b 0.847 * [taylor]: Taking taylor expansion of 0 in b 0.847 * [taylor]: Taking taylor expansion of -1 in a 0.847 * [taylor]: Taking taylor expansion of -1 in a 0.847 * [taylor]: Taking taylor expansion of -1 in a 0.849 * [taylor]: Taking taylor expansion of 0 in e 0.849 * [taylor]: Taking taylor expansion of 0 in c 0.849 * [taylor]: Taking taylor expansion of 0 in c 0.851 * [taylor]: Taking taylor expansion of 0 in c 0.851 * [taylor]: Taking taylor expansion of 0 in c 0.851 * [taylor]: Taking taylor expansion of 0 in b 0.851 * [taylor]: Taking taylor expansion of 0 in b 0.851 * [taylor]: Taking taylor expansion of 0 in b 0.852 * [taylor]: Taking taylor expansion of 0 in b 0.852 * [taylor]: Taking taylor expansion of 0 in b 0.852 * [taylor]: Taking taylor expansion of 0 in b 0.852 * [taylor]: Taking taylor expansion of 0 in b 0.853 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 0.853 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.853 * [taylor]: Taking taylor expansion of a in a 0.853 * [taylor]: Taking taylor expansion of 0 in a 0.853 * [taylor]: Taking taylor expansion of 0 in a 0.853 * [taylor]: Taking taylor expansion of 0 in a 0.854 * [taylor]: Taking taylor expansion of 0 in a 0.854 * [taylor]: Taking taylor expansion of 0 in a 0.854 * [taylor]: Taking taylor expansion of 0 in a 0.855 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.855 * [approximate]: Taking taylor expansion of (+ d (+ e (+ b c))) in (d e c b) around 0 0.855 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b c))) in b 0.855 * [taylor]: Taking taylor expansion of d in b 0.855 * [taylor]: Taking taylor expansion of (+ e (+ b c)) in b 0.855 * [taylor]: Taking taylor expansion of e in b 0.855 * [taylor]: Taking taylor expansion of (+ b c) in b 0.855 * [taylor]: Taking taylor expansion of b in b 0.855 * [taylor]: Taking taylor expansion of c in b 0.855 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b c))) in c 0.855 * [taylor]: Taking taylor expansion of d in c 0.855 * [taylor]: Taking taylor expansion of (+ e (+ b c)) in c 0.855 * [taylor]: Taking taylor expansion of e in c 0.855 * [taylor]: Taking taylor expansion of (+ b c) in c 0.855 * [taylor]: Taking taylor expansion of b in c 0.855 * [taylor]: Taking taylor expansion of c in c 0.855 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b c))) in e 0.855 * [taylor]: Taking taylor expansion of d in e 0.855 * [taylor]: Taking taylor expansion of (+ e (+ b c)) in e 0.855 * [taylor]: Taking taylor expansion of e in e 0.855 * [taylor]: Taking taylor expansion of (+ b c) in e 0.855 * [taylor]: Taking taylor expansion of b in e 0.855 * [taylor]: Taking taylor expansion of c in e 0.855 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b c))) in d 0.855 * [taylor]: Taking taylor expansion of d in d 0.855 * [taylor]: Taking taylor expansion of (+ e (+ b c)) in d 0.855 * [taylor]: Taking taylor expansion of e in d 0.855 * [taylor]: Taking taylor expansion of (+ b c) in d 0.855 * [taylor]: Taking taylor expansion of b in d 0.855 * [taylor]: Taking taylor expansion of c in d 0.855 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b c))) in d 0.855 * [taylor]: Taking taylor expansion of d in d 0.855 * [taylor]: Taking taylor expansion of (+ e (+ b c)) in d 0.855 * [taylor]: Taking taylor expansion of e in d 0.855 * [taylor]: Taking taylor expansion of (+ b c) in d 0.855 * [taylor]: Taking taylor expansion of b in d 0.855 * [taylor]: Taking taylor expansion of c in d 0.856 * [taylor]: Taking taylor expansion of (+ e (+ c b)) in e 0.856 * [taylor]: Taking taylor expansion of e in e 0.856 * [taylor]: Taking taylor expansion of (+ c b) in e 0.856 * [taylor]: Taking taylor expansion of c in e 0.856 * [taylor]: Taking taylor expansion of b in e 0.856 * [taylor]: Taking taylor expansion of (+ c b) in c 0.856 * [taylor]: Taking taylor expansion of c in c 0.856 * [taylor]: Taking taylor expansion of b in c 0.856 * [taylor]: Taking taylor expansion of b in b 0.857 * [taylor]: Taking taylor expansion of 1 in e 0.857 * [taylor]: Taking taylor expansion of 1 in c 0.857 * [taylor]: Taking taylor expansion of 1 in b 0.857 * [taylor]: Taking taylor expansion of 1 in c 0.857 * [taylor]: Taking taylor expansion of 1 in b 0.857 * [taylor]: Taking taylor expansion of 1 in b 0.858 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in (d e c b) around 0 0.858 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in b 0.858 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.858 * [taylor]: Taking taylor expansion of b in b 0.858 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in b 0.858 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.858 * [taylor]: Taking taylor expansion of d in b 0.858 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in b 0.858 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.858 * [taylor]: Taking taylor expansion of c in b 0.858 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.858 * [taylor]: Taking taylor expansion of e in b 0.858 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in c 0.859 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.859 * [taylor]: Taking taylor expansion of b in c 0.859 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in c 0.859 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.859 * [taylor]: Taking taylor expansion of d in c 0.859 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in c 0.859 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.859 * [taylor]: Taking taylor expansion of c in c 0.859 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.859 * [taylor]: Taking taylor expansion of e in c 0.859 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in e 0.859 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.859 * [taylor]: Taking taylor expansion of b in e 0.859 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in e 0.859 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.859 * [taylor]: Taking taylor expansion of d in e 0.859 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 0.859 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.859 * [taylor]: Taking taylor expansion of c in e 0.859 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.859 * [taylor]: Taking taylor expansion of e in e 0.859 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in d 0.859 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.859 * [taylor]: Taking taylor expansion of b in d 0.860 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in d 0.860 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.860 * [taylor]: Taking taylor expansion of d in d 0.860 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in d 0.860 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.860 * [taylor]: Taking taylor expansion of c in d 0.860 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.860 * [taylor]: Taking taylor expansion of e in d 0.860 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in d 0.860 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.860 * [taylor]: Taking taylor expansion of b in d 0.860 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in d 0.860 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.860 * [taylor]: Taking taylor expansion of d in d 0.860 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in d 0.860 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.860 * [taylor]: Taking taylor expansion of c in d 0.860 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.860 * [taylor]: Taking taylor expansion of e in d 0.861 * [taylor]: Taking taylor expansion of 1 in e 0.862 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (/ 1 b))) in e 0.862 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.862 * [taylor]: Taking taylor expansion of e in e 0.862 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in e 0.862 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.862 * [taylor]: Taking taylor expansion of c in e 0.862 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.862 * [taylor]: Taking taylor expansion of b in e 0.862 * [taylor]: Taking taylor expansion of 1 in c 0.862 * [taylor]: Taking taylor expansion of 1 in c 0.866 * [taylor]: Taking taylor expansion of 0 in e 0.866 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c 0.867 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.867 * [taylor]: Taking taylor expansion of c in c 0.867 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.867 * [taylor]: Taking taylor expansion of b in c 0.867 * [taylor]: Taking taylor expansion of 1 in b 0.867 * [taylor]: Taking taylor expansion of 0 in c 0.867 * [taylor]: Taking taylor expansion of 1 in b 0.867 * [taylor]: Taking taylor expansion of 1 in b 0.869 * [taylor]: Taking taylor expansion of 0 in e 0.869 * [taylor]: Taking taylor expansion of 0 in c 0.870 * [taylor]: Taking taylor expansion of 0 in c 0.870 * [taylor]: Taking taylor expansion of 0 in c 0.870 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.870 * [taylor]: Taking taylor expansion of b in b 0.870 * [taylor]: Taking taylor expansion of 0 in b 0.871 * [taylor]: Taking taylor expansion of 0 in b 0.871 * [taylor]: Taking taylor expansion of 0 in b 0.872 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in (d e c b) around 0 0.872 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in b 0.872 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in b 0.872 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.872 * [taylor]: Taking taylor expansion of b in b 0.872 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in b 0.872 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.872 * [taylor]: Taking taylor expansion of d in b 0.872 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in b 0.872 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.872 * [taylor]: Taking taylor expansion of c in b 0.872 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.872 * [taylor]: Taking taylor expansion of e in b 0.872 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in c 0.872 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in c 0.872 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.872 * [taylor]: Taking taylor expansion of b in c 0.872 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in c 0.872 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.872 * [taylor]: Taking taylor expansion of d in c 0.872 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in c 0.872 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.872 * [taylor]: Taking taylor expansion of c in c 0.873 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.873 * [taylor]: Taking taylor expansion of e in c 0.873 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in e 0.873 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in e 0.873 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.873 * [taylor]: Taking taylor expansion of b in e 0.873 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in e 0.873 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.873 * [taylor]: Taking taylor expansion of d in e 0.873 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 0.873 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.873 * [taylor]: Taking taylor expansion of c in e 0.873 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.873 * [taylor]: Taking taylor expansion of e in e 0.873 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in d 0.873 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in d 0.873 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.873 * [taylor]: Taking taylor expansion of b in d 0.873 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in d 0.873 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.873 * [taylor]: Taking taylor expansion of d in d 0.873 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in d 0.873 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.873 * [taylor]: Taking taylor expansion of c in d 0.874 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.874 * [taylor]: Taking taylor expansion of e in d 0.874 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in d 0.874 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in d 0.874 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.874 * [taylor]: Taking taylor expansion of b in d 0.874 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in d 0.874 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.874 * [taylor]: Taking taylor expansion of d in d 0.874 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in d 0.874 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.874 * [taylor]: Taking taylor expansion of c in d 0.874 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.874 * [taylor]: Taking taylor expansion of e in d 0.875 * [taylor]: Taking taylor expansion of -1 in e 0.876 * [taylor]: Taking taylor expansion of (- (+ (/ 1 e) (+ (/ 1 c) (/ 1 b)))) in e 0.876 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (/ 1 b))) in e 0.876 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.876 * [taylor]: Taking taylor expansion of e in e 0.876 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in e 0.876 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.876 * [taylor]: Taking taylor expansion of c in e 0.876 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.876 * [taylor]: Taking taylor expansion of b in e 0.876 * [taylor]: Taking taylor expansion of -1 in c 0.877 * [taylor]: Taking taylor expansion of -1 in c 0.878 * [taylor]: Taking taylor expansion of 0 in e 0.879 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in c 0.879 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c 0.879 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.879 * [taylor]: Taking taylor expansion of c in c 0.879 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.879 * [taylor]: Taking taylor expansion of b in c 0.880 * [taylor]: Taking taylor expansion of -1 in b 0.880 * [taylor]: Taking taylor expansion of 0 in c 0.880 * [taylor]: Taking taylor expansion of -1 in b 0.880 * [taylor]: Taking taylor expansion of -1 in b 0.881 * [taylor]: Taking taylor expansion of 0 in e 0.881 * [taylor]: Taking taylor expansion of 0 in c 0.883 * [taylor]: Taking taylor expansion of 0 in c 0.883 * [taylor]: Taking taylor expansion of 0 in c 0.883 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in b 0.883 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.883 * [taylor]: Taking taylor expansion of b in b 0.884 * [taylor]: Taking taylor expansion of 0 in b 0.884 * [taylor]: Taking taylor expansion of 0 in b 0.884 * [taylor]: Taking taylor expansion of 0 in b 0.884 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2) 0.885 * [approximate]: Taking taylor expansion of (+ d (+ e c)) in (d e c) around 0 0.885 * [taylor]: Taking taylor expansion of (+ d (+ e c)) in c 0.885 * [taylor]: Taking taylor expansion of d in c 0.885 * [taylor]: Taking taylor expansion of (+ e c) in c 0.885 * [taylor]: Taking taylor expansion of e in c 0.885 * [taylor]: Taking taylor expansion of c in c 0.885 * [taylor]: Taking taylor expansion of (+ d (+ e c)) in e 0.885 * [taylor]: Taking taylor expansion of d in e 0.885 * [taylor]: Taking taylor expansion of (+ e c) in e 0.885 * [taylor]: Taking taylor expansion of e in e 0.885 * [taylor]: Taking taylor expansion of c in e 0.885 * [taylor]: Taking taylor expansion of (+ d (+ e c)) in d 0.885 * [taylor]: Taking taylor expansion of d in d 0.885 * [taylor]: Taking taylor expansion of (+ e c) in d 0.885 * [taylor]: Taking taylor expansion of e in d 0.885 * [taylor]: Taking taylor expansion of c in d 0.885 * [taylor]: Taking taylor expansion of (+ d (+ e c)) in d 0.885 * [taylor]: Taking taylor expansion of d in d 0.885 * [taylor]: Taking taylor expansion of (+ e c) in d 0.885 * [taylor]: Taking taylor expansion of e in d 0.885 * [taylor]: Taking taylor expansion of c in d 0.885 * [taylor]: Taking taylor expansion of (+ e c) in e 0.885 * [taylor]: Taking taylor expansion of e in e 0.885 * [taylor]: Taking taylor expansion of c in e 0.885 * [taylor]: Taking taylor expansion of c in c 0.886 * [taylor]: Taking taylor expansion of 1 in e 0.886 * [taylor]: Taking taylor expansion of 1 in c 0.886 * [taylor]: Taking taylor expansion of 1 in c 0.886 * [approximate]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in (d e c) around 0 0.886 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in c 0.886 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.886 * [taylor]: Taking taylor expansion of c in c 0.887 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in c 0.887 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.887 * [taylor]: Taking taylor expansion of d in c 0.887 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.887 * [taylor]: Taking taylor expansion of e in c 0.887 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in e 0.887 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.887 * [taylor]: Taking taylor expansion of c in e 0.887 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 0.887 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.887 * [taylor]: Taking taylor expansion of d in e 0.887 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.887 * [taylor]: Taking taylor expansion of e in e 0.887 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in d 0.887 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.887 * [taylor]: Taking taylor expansion of c in d 0.887 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 0.887 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.887 * [taylor]: Taking taylor expansion of d in d 0.888 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.888 * [taylor]: Taking taylor expansion of e in d 0.888 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in d 0.888 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.888 * [taylor]: Taking taylor expansion of c in d 0.888 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 0.888 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.888 * [taylor]: Taking taylor expansion of d in d 0.888 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.888 * [taylor]: Taking taylor expansion of e in d 0.889 * [taylor]: Taking taylor expansion of 1 in e 0.889 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 0.889 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.889 * [taylor]: Taking taylor expansion of c in e 0.889 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.889 * [taylor]: Taking taylor expansion of e in e 0.890 * [taylor]: Taking taylor expansion of 1 in c 0.890 * [taylor]: Taking taylor expansion of 1 in c 0.891 * [taylor]: Taking taylor expansion of 0 in e 0.891 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.891 * [taylor]: Taking taylor expansion of c in c 0.892 * [taylor]: Taking taylor expansion of 0 in c 0.892 * [approximate]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 e)))) in (d e c) around 0 0.892 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 e)))) in c 0.892 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in c 0.892 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.892 * [taylor]: Taking taylor expansion of c in c 0.892 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in c 0.892 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.893 * [taylor]: Taking taylor expansion of d in c 0.893 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.893 * [taylor]: Taking taylor expansion of e in c 0.893 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 e)))) in e 0.893 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in e 0.893 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.893 * [taylor]: Taking taylor expansion of c in e 0.893 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 0.893 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.893 * [taylor]: Taking taylor expansion of d in e 0.893 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.893 * [taylor]: Taking taylor expansion of e in e 0.893 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 e)))) in d 0.893 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in d 0.893 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.893 * [taylor]: Taking taylor expansion of c in d 0.893 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 0.893 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.893 * [taylor]: Taking taylor expansion of d in d 0.893 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.893 * [taylor]: Taking taylor expansion of e in d 0.893 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 e)))) in d 0.893 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in d 0.894 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.894 * [taylor]: Taking taylor expansion of c in d 0.894 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 0.894 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.894 * [taylor]: Taking taylor expansion of d in d 0.894 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.894 * [taylor]: Taking taylor expansion of e in d 0.895 * [taylor]: Taking taylor expansion of -1 in e 0.895 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 e))) in e 0.895 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 0.895 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.895 * [taylor]: Taking taylor expansion of c in e 0.895 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.895 * [taylor]: Taking taylor expansion of e in e 0.896 * [taylor]: Taking taylor expansion of -1 in c 0.896 * [taylor]: Taking taylor expansion of -1 in c 0.898 * [taylor]: Taking taylor expansion of 0 in e 0.898 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 0.898 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.898 * [taylor]: Taking taylor expansion of c in c 0.899 * [taylor]: Taking taylor expansion of 0 in c 0.899 * * * [progress]: simplifying candidates 0.900 * [simplify]: Simplifying using # : (expm1 (+ (+ (* 1 (+ d (+ e c))) b) a)) (log1p (+ (+ (* 1 (+ d (+ e c))) b) a)) (* (* (exp (* 1 (+ d (+ e c)))) (exp b)) (exp a)) (* (exp (+ (* 1 (+ d (+ e c))) b)) (exp a)) (log (+ (+ (* 1 (+ d (+ e c))) b) a)) (exp (+ (+ (* 1 (+ d (+ e c))) b) a)) (* (cbrt (+ (+ (* 1 (+ d (+ e c))) b) a)) (cbrt (+ (+ (* 1 (+ d (+ e c))) b) a))) (cbrt (+ (+ (* 1 (+ d (+ e c))) b) a)) (* (* (+ (+ (* 1 (+ d (+ e c))) b) a) (+ (+ (* 1 (+ d (+ e c))) b) a)) (+ (+ (* 1 (+ d (+ e c))) b) a)) (sqrt (+ (+ (* 1 (+ d (+ e c))) b) a)) (sqrt (+ (+ (* 1 (+ d (+ e c))) b) a)) (+ (pow (+ (* 1 (+ d (+ e c))) b) 3) (pow a 3)) (+ (* (+ (* 1 (+ d (+ e c))) b) (+ (* 1 (+ d (+ e c))) b)) (- (* a a) (* (+ (* 1 (+ d (+ e c))) b) a))) (- (* (+ (* 1 (+ d (+ e c))) b) (+ (* 1 (+ d (+ e c))) b)) (* a a)) (- (+ (* 1 (+ d (+ e c))) b) a) (+ (+ (* 1 (+ d (+ e c))) b) a) (+ (+ (+ d (+ e c)) b) a) (+ b a) (expm1 (+ (* 1 (+ d (+ e c))) b)) (log1p (+ (* 1 (+ d (+ e c))) b)) (* (exp (* 1 (+ d (+ e c)))) (exp b)) (log (+ (* 1 (+ d (+ e c))) b)) (exp (+ (* 1 (+ d (+ e c))) b)) (* (cbrt (+ (* 1 (+ d (+ e c))) b)) (cbrt (+ (* 1 (+ d (+ e c))) b))) (cbrt (+ (* 1 (+ d (+ e c))) b)) (* (* (+ (* 1 (+ d (+ e c))) b) (+ (* 1 (+ d (+ e c))) b)) (+ (* 1 (+ d (+ e c))) b)) (sqrt (+ (* 1 (+ d (+ e c))) b)) (sqrt (+ (* 1 (+ d (+ e c))) b)) (+ (pow (* 1 (+ d (+ e c))) 3) (pow b 3)) (+ (* (* 1 (+ d (+ e c))) (* 1 (+ d (+ e c)))) (- (* b b) (* (* 1 (+ d (+ e c))) b))) (- (* (* 1 (+ d (+ e c))) (* 1 (+ d (+ e c)))) (* b b)) (- (* 1 (+ d (+ e c))) b) (+ (+ d (+ e c)) b) (+ (* 1 (+ e c)) b) (+ (* (+ e c) 1) b) (expm1 (+ d (+ e c))) (log1p (+ d (+ e c))) (* (exp d) (* (exp e) (exp c))) (* (exp d) (exp (+ e c))) (log (+ d (+ e c))) (exp (+ d (+ e c))) (* (cbrt (+ d (+ e c))) (cbrt (+ d (+ e c)))) (cbrt (+ d (+ e c))) (* (* (+ d (+ e c)) (+ d (+ e c))) (+ d (+ e c))) (sqrt (+ d (+ e c))) (sqrt (+ d (+ e c))) (+ (pow d 3) (pow (+ e c) 3)) (+ (* d d) (- (* (+ e c) (+ e c)) (* d (+ e c)))) (- (* d d) (* (+ e c) (+ e c))) (- d (+ e c)) (+ d (+ e c)) (+ d (+ e c)) (+ d e) (+ d (+ e c)) (+ a (+ b c)) (+ a (+ b c)) (+ d (+ e c)) (+ e (+ b c)) (+ e (+ b c)) (+ d (+ e c)) (+ d (+ e c)) (+ d (+ e c)) 0.904 * * [simplify]: iteration 0 : 283 enodes (cost 295 ) 0.910 * * [simplify]: iteration 1 : 1454 enodes (cost 270 ) 0.932 * * [simplify]: iteration 2 : 5001 enodes (cost 270 ) 0.934 * [simplify]: Simplified to: (expm1 (+ (+ (* 1 (+ d (+ e c))) b) a)) (log1p (+ (+ (* 1 (+ d (+ e c))) b) a)) (exp (+ (+ (+ d (+ e c)) b) a)) (exp (+ (+ (+ d (+ e c)) b) a)) (log (+ (+ (* 1 (+ d (+ e c))) b) a)) (exp (+ (+ (+ d (+ e c)) b) a)) (* (cbrt (+ (+ (* 1 (+ d (+ e c))) b) a)) (cbrt (+ (+ (* 1 (+ d (+ e c))) b) a))) (cbrt (+ (+ (* 1 (+ d (+ e c))) b) a)) (pow (+ (+ (+ d (+ e c)) b) a) 3) (sqrt (+ (+ (* 1 (+ d (+ e c))) b) a)) (sqrt (+ (+ (* 1 (+ d (+ e c))) b) a)) (+ (pow (+ (* 1 (+ d (+ e c))) b) 3) (pow a 3)) (fma (+ (+ d (+ e c)) b) (+ (+ d (+ e c)) b) (* a (- a (fma 1 (+ d (+ e c)) b)))) (fma (fma 1 (+ d (+ e c)) b) (fma 1 (+ d (+ e c)) b) (- (* a a))) (+ (+ d (+ e c)) (- b a)) (+ (+ (+ d (+ e c)) b) a) (+ (+ (+ d (+ e c)) b) a) (+ b a) (expm1 (+ (* 1 (+ d (+ e c))) b)) (log1p (+ (* 1 (+ d (+ e c))) b)) (exp (+ (+ d (+ e c)) b)) (log (+ (* 1 (+ d (+ e c))) b)) (exp (+ (+ d (+ e c)) b)) (* (cbrt (+ (* 1 (+ d (+ e c))) b)) (cbrt (+ (* 1 (+ d (+ e c))) b))) (cbrt (+ (* 1 (+ d (+ e c))) b)) (pow (+ (+ d (+ e c)) b) 3) (sqrt (+ (* 1 (+ d (+ e c))) b)) (sqrt (+ (* 1 (+ d (+ e c))) b)) (fma (* b b) b (pow (+ d (+ e c)) 3)) (fma b (- b (+ d (+ e c))) (* (+ d (+ e c)) (+ d (+ e c)))) (* (+ d (- (+ e c) b)) (+ (+ d (+ e c)) b)) (+ d (- (+ e c) b)) (+ (+ d (+ e c)) b) (fma (+ e c) 1 b) (fma (+ e c) 1 b) (expm1 (+ d (+ e c))) (log1p (+ d (+ e c))) (exp (+ d (+ e c))) (exp (+ d (+ e c))) (log (+ d (+ e c))) (exp (+ d (+ e c))) (* (cbrt (+ d (+ e c))) (cbrt (+ d (+ e c)))) (cbrt (+ d (+ e c))) (pow (+ d (+ e c)) 3) (sqrt (+ d (+ e c))) (sqrt (+ d (+ e c))) (+ (pow d 3) (pow (+ e c) 3)) (fma (+ e c) (- (+ e c) d) (* d d)) (- (* d d) (* (+ e c) (+ e c))) (- d (+ e c)) (+ d (+ e c)) (+ d (+ e c)) (+ d e) (+ d (+ e c)) (+ a (+ b c)) (+ a (+ b c)) (+ d (+ e c)) (fma (+ e c) 1 b) (fma (+ e c) 1 b) (+ d (+ e c)) (+ d (+ e c)) (+ d (+ e c)) 0.934 * * * [progress]: adding candidates to table 1.084 * * [progress]: iteration 3 / 4 1.084 * * * [progress]: picking best candidate 1.099 * * * * [pick]: Picked # 1.099 * * * [progress]: localizing error 1.109 * * * [progress]: generating rewritten candidates 1.109 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.124 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 1.132 * * * [progress]: generating series expansions 1.132 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.133 * [approximate]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in (d e c b a) around 0 1.133 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in a 1.133 * [taylor]: Taking taylor expansion of d in a 1.133 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in a 1.133 * [taylor]: Taking taylor expansion of e in a 1.133 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in a 1.133 * [taylor]: Taking taylor expansion of b in a 1.133 * [taylor]: Taking taylor expansion of (+ a c) in a 1.133 * [taylor]: Taking taylor expansion of a in a 1.133 * [taylor]: Taking taylor expansion of c in a 1.133 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in b 1.133 * [taylor]: Taking taylor expansion of d in b 1.133 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in b 1.133 * [taylor]: Taking taylor expansion of e in b 1.133 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in b 1.133 * [taylor]: Taking taylor expansion of b in b 1.133 * [taylor]: Taking taylor expansion of (+ a c) in b 1.133 * [taylor]: Taking taylor expansion of a in b 1.133 * [taylor]: Taking taylor expansion of c in b 1.133 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in c 1.133 * [taylor]: Taking taylor expansion of d in c 1.133 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in c 1.133 * [taylor]: Taking taylor expansion of e in c 1.133 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in c 1.133 * [taylor]: Taking taylor expansion of b in c 1.133 * [taylor]: Taking taylor expansion of (+ a c) in c 1.133 * [taylor]: Taking taylor expansion of a in c 1.133 * [taylor]: Taking taylor expansion of c in c 1.133 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e 1.133 * [taylor]: Taking taylor expansion of d in e 1.133 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 1.133 * [taylor]: Taking taylor expansion of e in e 1.133 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 1.133 * [taylor]: Taking taylor expansion of b in e 1.133 * [taylor]: Taking taylor expansion of (+ a c) in e 1.133 * [taylor]: Taking taylor expansion of a in e 1.133 * [taylor]: Taking taylor expansion of c in e 1.133 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in d 1.133 * [taylor]: Taking taylor expansion of d in d 1.133 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in d 1.133 * [taylor]: Taking taylor expansion of e in d 1.133 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in d 1.133 * [taylor]: Taking taylor expansion of b in d 1.133 * [taylor]: Taking taylor expansion of (+ a c) in d 1.133 * [taylor]: Taking taylor expansion of a in d 1.133 * [taylor]: Taking taylor expansion of c in d 1.133 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in d 1.133 * [taylor]: Taking taylor expansion of d in d 1.133 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in d 1.133 * [taylor]: Taking taylor expansion of e in d 1.133 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in d 1.133 * [taylor]: Taking taylor expansion of b in d 1.133 * [taylor]: Taking taylor expansion of (+ a c) in d 1.133 * [taylor]: Taking taylor expansion of a in d 1.133 * [taylor]: Taking taylor expansion of c in d 1.134 * [taylor]: Taking taylor expansion of (+ e (+ a (+ c b))) in e 1.134 * [taylor]: Taking taylor expansion of e in e 1.134 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in e 1.134 * [taylor]: Taking taylor expansion of a in e 1.134 * [taylor]: Taking taylor expansion of (+ c b) in e 1.134 * [taylor]: Taking taylor expansion of c in e 1.134 * [taylor]: Taking taylor expansion of b in e 1.134 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 1.134 * [taylor]: Taking taylor expansion of a in c 1.134 * [taylor]: Taking taylor expansion of (+ c b) in c 1.134 * [taylor]: Taking taylor expansion of c in c 1.134 * [taylor]: Taking taylor expansion of b in c 1.134 * [taylor]: Taking taylor expansion of (+ a b) in b 1.134 * [taylor]: Taking taylor expansion of a in b 1.134 * [taylor]: Taking taylor expansion of b in b 1.134 * [taylor]: Taking taylor expansion of a in a 1.135 * [taylor]: Taking taylor expansion of 1 in e 1.135 * [taylor]: Taking taylor expansion of 1 in c 1.135 * [taylor]: Taking taylor expansion of 1 in b 1.135 * [taylor]: Taking taylor expansion of 1 in a 1.136 * [taylor]: Taking taylor expansion of 1 in c 1.136 * [taylor]: Taking taylor expansion of 1 in b 1.136 * [taylor]: Taking taylor expansion of 1 in a 1.137 * [taylor]: Taking taylor expansion of 1 in b 1.137 * [taylor]: Taking taylor expansion of 1 in a 1.137 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in (d e c b a) around 0 1.137 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in a 1.137 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.137 * [taylor]: Taking taylor expansion of b in a 1.137 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in a 1.137 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.137 * [taylor]: Taking taylor expansion of a in a 1.138 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in a 1.138 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1.138 * [taylor]: Taking taylor expansion of d in a 1.138 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in a 1.138 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1.138 * [taylor]: Taking taylor expansion of c in a 1.138 * [taylor]: Taking taylor expansion of (/ 1 e) in a 1.138 * [taylor]: Taking taylor expansion of e in a 1.138 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in b 1.138 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.138 * [taylor]: Taking taylor expansion of b in b 1.138 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in b 1.138 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.138 * [taylor]: Taking taylor expansion of a in b 1.138 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in b 1.138 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.138 * [taylor]: Taking taylor expansion of d in b 1.138 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in b 1.138 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1.138 * [taylor]: Taking taylor expansion of c in b 1.138 * [taylor]: Taking taylor expansion of (/ 1 e) in b 1.138 * [taylor]: Taking taylor expansion of e in b 1.138 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in c 1.138 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.138 * [taylor]: Taking taylor expansion of b in c 1.138 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in c 1.138 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.138 * [taylor]: Taking taylor expansion of a in c 1.139 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in c 1.139 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.139 * [taylor]: Taking taylor expansion of d in c 1.139 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in c 1.139 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.139 * [taylor]: Taking taylor expansion of c in c 1.139 * [taylor]: Taking taylor expansion of (/ 1 e) in c 1.139 * [taylor]: Taking taylor expansion of e in c 1.139 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in e 1.139 * [taylor]: Taking taylor expansion of (/ 1 b) in e 1.139 * [taylor]: Taking taylor expansion of b in e 1.139 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in e 1.139 * [taylor]: Taking taylor expansion of (/ 1 a) in e 1.139 * [taylor]: Taking taylor expansion of a in e 1.139 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in e 1.139 * [taylor]: Taking taylor expansion of (/ 1 d) in e 1.139 * [taylor]: Taking taylor expansion of d in e 1.139 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 1.139 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.139 * [taylor]: Taking taylor expansion of c in e 1.139 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.139 * [taylor]: Taking taylor expansion of e in e 1.139 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in d 1.140 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.140 * [taylor]: Taking taylor expansion of b in d 1.140 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in d 1.140 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.140 * [taylor]: Taking taylor expansion of a in d 1.140 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in d 1.140 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.140 * [taylor]: Taking taylor expansion of d in d 1.140 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in d 1.140 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.140 * [taylor]: Taking taylor expansion of c in d 1.140 * [taylor]: Taking taylor expansion of (/ 1 e) in d 1.140 * [taylor]: Taking taylor expansion of e in d 1.140 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in d 1.140 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.140 * [taylor]: Taking taylor expansion of b in d 1.140 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in d 1.140 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.140 * [taylor]: Taking taylor expansion of a in d 1.140 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in d 1.140 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.140 * [taylor]: Taking taylor expansion of d in d 1.140 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in d 1.141 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.141 * [taylor]: Taking taylor expansion of c in d 1.141 * [taylor]: Taking taylor expansion of (/ 1 e) in d 1.141 * [taylor]: Taking taylor expansion of e in d 1.141 * [taylor]: Taking taylor expansion of 1 in e 1.142 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 a) (/ 1 b)))) in e 1.142 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.142 * [taylor]: Taking taylor expansion of e in e 1.142 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 b))) in e 1.142 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.142 * [taylor]: Taking taylor expansion of c in e 1.143 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in e 1.143 * [taylor]: Taking taylor expansion of (/ 1 a) in e 1.143 * [taylor]: Taking taylor expansion of a in e 1.143 * [taylor]: Taking taylor expansion of (/ 1 b) in e 1.143 * [taylor]: Taking taylor expansion of b in e 1.143 * [taylor]: Taking taylor expansion of 1 in c 1.143 * [taylor]: Taking taylor expansion of 1 in c 1.144 * [taylor]: Taking taylor expansion of 0 in e 1.145 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 1.145 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.145 * [taylor]: Taking taylor expansion of b in c 1.145 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 1.145 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.145 * [taylor]: Taking taylor expansion of c in c 1.146 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.146 * [taylor]: Taking taylor expansion of a in c 1.146 * [taylor]: Taking taylor expansion of 1 in b 1.146 * [taylor]: Taking taylor expansion of 0 in c 1.146 * [taylor]: Taking taylor expansion of 1 in b 1.146 * [taylor]: Taking taylor expansion of 1 in b 1.148 * [taylor]: Taking taylor expansion of 0 in e 1.148 * [taylor]: Taking taylor expansion of 0 in c 1.149 * [taylor]: Taking taylor expansion of 0 in c 1.149 * [taylor]: Taking taylor expansion of 0 in c 1.150 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 1.150 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.150 * [taylor]: Taking taylor expansion of a in b 1.150 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.150 * [taylor]: Taking taylor expansion of b in b 1.150 * [taylor]: Taking taylor expansion of 1 in a 1.150 * [taylor]: Taking taylor expansion of 0 in b 1.150 * [taylor]: Taking taylor expansion of 0 in b 1.150 * [taylor]: Taking taylor expansion of 0 in b 1.151 * [taylor]: Taking taylor expansion of 1 in a 1.151 * [taylor]: Taking taylor expansion of 1 in a 1.151 * [taylor]: Taking taylor expansion of 1 in a 1.152 * [taylor]: Taking taylor expansion of 0 in e 1.152 * [taylor]: Taking taylor expansion of 0 in c 1.152 * [taylor]: Taking taylor expansion of 0 in c 1.154 * [taylor]: Taking taylor expansion of 0 in c 1.154 * [taylor]: Taking taylor expansion of 0 in c 1.154 * [taylor]: Taking taylor expansion of 0 in b 1.154 * [taylor]: Taking taylor expansion of 0 in b 1.154 * [taylor]: Taking taylor expansion of 0 in b 1.155 * [taylor]: Taking taylor expansion of 0 in b 1.155 * [taylor]: Taking taylor expansion of 0 in b 1.155 * [taylor]: Taking taylor expansion of 0 in b 1.155 * [taylor]: Taking taylor expansion of 0 in b 1.156 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.156 * [taylor]: Taking taylor expansion of a in a 1.156 * [taylor]: Taking taylor expansion of 0 in a 1.156 * [taylor]: Taking taylor expansion of 0 in a 1.156 * [taylor]: Taking taylor expansion of 0 in a 1.156 * [taylor]: Taking taylor expansion of 0 in a 1.156 * [taylor]: Taking taylor expansion of 0 in a 1.156 * [taylor]: Taking taylor expansion of 0 in a 1.157 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))))) in (d e c b a) around 0 1.157 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))))) in a 1.157 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in a 1.157 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.158 * [taylor]: Taking taylor expansion of b in a 1.158 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in a 1.158 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.158 * [taylor]: Taking taylor expansion of a in a 1.158 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in a 1.158 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1.158 * [taylor]: Taking taylor expansion of d in a 1.158 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in a 1.158 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1.158 * [taylor]: Taking taylor expansion of c in a 1.158 * [taylor]: Taking taylor expansion of (/ 1 e) in a 1.158 * [taylor]: Taking taylor expansion of e in a 1.158 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))))) in b 1.158 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in b 1.158 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.158 * [taylor]: Taking taylor expansion of b in b 1.158 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in b 1.158 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.158 * [taylor]: Taking taylor expansion of a in b 1.158 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in b 1.158 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.158 * [taylor]: Taking taylor expansion of d in b 1.159 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in b 1.159 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1.159 * [taylor]: Taking taylor expansion of c in b 1.159 * [taylor]: Taking taylor expansion of (/ 1 e) in b 1.159 * [taylor]: Taking taylor expansion of e in b 1.159 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))))) in c 1.159 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in c 1.159 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.159 * [taylor]: Taking taylor expansion of b in c 1.159 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in c 1.159 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.159 * [taylor]: Taking taylor expansion of a in c 1.159 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in c 1.159 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.159 * [taylor]: Taking taylor expansion of d in c 1.159 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in c 1.159 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.159 * [taylor]: Taking taylor expansion of c in c 1.159 * [taylor]: Taking taylor expansion of (/ 1 e) in c 1.159 * [taylor]: Taking taylor expansion of e in c 1.159 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))))) in e 1.159 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in e 1.159 * [taylor]: Taking taylor expansion of (/ 1 b) in e 1.159 * [taylor]: Taking taylor expansion of b in e 1.159 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in e 1.159 * [taylor]: Taking taylor expansion of (/ 1 a) in e 1.159 * [taylor]: Taking taylor expansion of a in e 1.159 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in e 1.159 * [taylor]: Taking taylor expansion of (/ 1 d) in e 1.159 * [taylor]: Taking taylor expansion of d in e 1.159 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 1.159 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.159 * [taylor]: Taking taylor expansion of c in e 1.160 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.160 * [taylor]: Taking taylor expansion of e in e 1.160 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))))) in d 1.160 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in d 1.160 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.160 * [taylor]: Taking taylor expansion of b in d 1.160 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in d 1.160 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.160 * [taylor]: Taking taylor expansion of a in d 1.160 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in d 1.160 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.160 * [taylor]: Taking taylor expansion of d in d 1.160 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in d 1.160 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.160 * [taylor]: Taking taylor expansion of c in d 1.160 * [taylor]: Taking taylor expansion of (/ 1 e) in d 1.160 * [taylor]: Taking taylor expansion of e in d 1.160 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))))) in d 1.160 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in d 1.160 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.160 * [taylor]: Taking taylor expansion of b in d 1.160 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in d 1.160 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.160 * [taylor]: Taking taylor expansion of a in d 1.161 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in d 1.161 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.161 * [taylor]: Taking taylor expansion of d in d 1.161 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in d 1.161 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.161 * [taylor]: Taking taylor expansion of c in d 1.161 * [taylor]: Taking taylor expansion of (/ 1 e) in d 1.161 * [taylor]: Taking taylor expansion of e in d 1.162 * [taylor]: Taking taylor expansion of -1 in e 1.163 * [taylor]: Taking taylor expansion of (- (+ (/ 1 e) (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))))) in e 1.163 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 a) (+ (/ 1 c) (/ 1 b)))) in e 1.163 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.163 * [taylor]: Taking taylor expansion of e in e 1.163 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in e 1.163 * [taylor]: Taking taylor expansion of (/ 1 a) in e 1.163 * [taylor]: Taking taylor expansion of a in e 1.163 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in e 1.163 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.163 * [taylor]: Taking taylor expansion of c in e 1.163 * [taylor]: Taking taylor expansion of (/ 1 b) in e 1.163 * [taylor]: Taking taylor expansion of b in e 1.164 * [taylor]: Taking taylor expansion of -1 in c 1.164 * [taylor]: Taking taylor expansion of -1 in c 1.166 * [taylor]: Taking taylor expansion of 0 in e 1.167 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 1.167 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 1.167 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.167 * [taylor]: Taking taylor expansion of b in c 1.167 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 1.167 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.167 * [taylor]: Taking taylor expansion of c in c 1.167 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.167 * [taylor]: Taking taylor expansion of a in c 1.168 * [taylor]: Taking taylor expansion of -1 in b 1.168 * [taylor]: Taking taylor expansion of 0 in c 1.168 * [taylor]: Taking taylor expansion of -1 in b 1.168 * [taylor]: Taking taylor expansion of -1 in b 1.170 * [taylor]: Taking taylor expansion of 0 in e 1.170 * [taylor]: Taking taylor expansion of 0 in c 1.172 * [taylor]: Taking taylor expansion of 0 in c 1.172 * [taylor]: Taking taylor expansion of 0 in c 1.172 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 b))) in b 1.172 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 1.172 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.172 * [taylor]: Taking taylor expansion of a in b 1.172 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.172 * [taylor]: Taking taylor expansion of b in b 1.173 * [taylor]: Taking taylor expansion of -1 in a 1.173 * [taylor]: Taking taylor expansion of 0 in b 1.173 * [taylor]: Taking taylor expansion of 0 in b 1.173 * [taylor]: Taking taylor expansion of 0 in b 1.173 * [taylor]: Taking taylor expansion of -1 in a 1.173 * [taylor]: Taking taylor expansion of -1 in a 1.173 * [taylor]: Taking taylor expansion of -1 in a 1.175 * [taylor]: Taking taylor expansion of 0 in e 1.175 * [taylor]: Taking taylor expansion of 0 in c 1.175 * [taylor]: Taking taylor expansion of 0 in c 1.177 * [taylor]: Taking taylor expansion of 0 in c 1.177 * [taylor]: Taking taylor expansion of 0 in c 1.177 * [taylor]: Taking taylor expansion of 0 in b 1.177 * [taylor]: Taking taylor expansion of 0 in b 1.177 * [taylor]: Taking taylor expansion of 0 in b 1.178 * [taylor]: Taking taylor expansion of 0 in b 1.178 * [taylor]: Taking taylor expansion of 0 in b 1.178 * [taylor]: Taking taylor expansion of 0 in b 1.178 * [taylor]: Taking taylor expansion of 0 in b 1.179 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 1.179 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.179 * [taylor]: Taking taylor expansion of a in a 1.180 * [taylor]: Taking taylor expansion of 0 in a 1.180 * [taylor]: Taking taylor expansion of 0 in a 1.180 * [taylor]: Taking taylor expansion of 0 in a 1.180 * [taylor]: Taking taylor expansion of 0 in a 1.180 * [taylor]: Taking taylor expansion of 0 in a 1.180 * [taylor]: Taking taylor expansion of 0 in a 1.181 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 1.181 * [approximate]: Taking taylor expansion of (+ d (+ e c)) in (d e c) around 0 1.181 * [taylor]: Taking taylor expansion of (+ d (+ e c)) in c 1.181 * [taylor]: Taking taylor expansion of d in c 1.181 * [taylor]: Taking taylor expansion of (+ e c) in c 1.181 * [taylor]: Taking taylor expansion of e in c 1.181 * [taylor]: Taking taylor expansion of c in c 1.181 * [taylor]: Taking taylor expansion of (+ d (+ e c)) in e 1.181 * [taylor]: Taking taylor expansion of d in e 1.181 * [taylor]: Taking taylor expansion of (+ e c) in e 1.181 * [taylor]: Taking taylor expansion of e in e 1.181 * [taylor]: Taking taylor expansion of c in e 1.181 * [taylor]: Taking taylor expansion of (+ d (+ e c)) in d 1.181 * [taylor]: Taking taylor expansion of d in d 1.181 * [taylor]: Taking taylor expansion of (+ e c) in d 1.181 * [taylor]: Taking taylor expansion of e in d 1.181 * [taylor]: Taking taylor expansion of c in d 1.181 * [taylor]: Taking taylor expansion of (+ d (+ e c)) in d 1.181 * [taylor]: Taking taylor expansion of d in d 1.181 * [taylor]: Taking taylor expansion of (+ e c) in d 1.181 * [taylor]: Taking taylor expansion of e in d 1.181 * [taylor]: Taking taylor expansion of c in d 1.181 * [taylor]: Taking taylor expansion of (+ e c) in e 1.181 * [taylor]: Taking taylor expansion of e in e 1.181 * [taylor]: Taking taylor expansion of c in e 1.181 * [taylor]: Taking taylor expansion of c in c 1.182 * [taylor]: Taking taylor expansion of 1 in e 1.182 * [taylor]: Taking taylor expansion of 1 in c 1.182 * [taylor]: Taking taylor expansion of 1 in c 1.183 * [approximate]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in (d e c) around 0 1.183 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in c 1.183 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.183 * [taylor]: Taking taylor expansion of c in c 1.183 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in c 1.183 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.183 * [taylor]: Taking taylor expansion of d in c 1.183 * [taylor]: Taking taylor expansion of (/ 1 e) in c 1.183 * [taylor]: Taking taylor expansion of e in c 1.183 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in e 1.183 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.183 * [taylor]: Taking taylor expansion of c in e 1.183 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 1.183 * [taylor]: Taking taylor expansion of (/ 1 d) in e 1.183 * [taylor]: Taking taylor expansion of d in e 1.183 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.183 * [taylor]: Taking taylor expansion of e in e 1.184 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in d 1.184 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.184 * [taylor]: Taking taylor expansion of c in d 1.184 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 1.184 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.184 * [taylor]: Taking taylor expansion of d in d 1.184 * [taylor]: Taking taylor expansion of (/ 1 e) in d 1.184 * [taylor]: Taking taylor expansion of e in d 1.184 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in d 1.184 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.184 * [taylor]: Taking taylor expansion of c in d 1.184 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 1.184 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.184 * [taylor]: Taking taylor expansion of d in d 1.184 * [taylor]: Taking taylor expansion of (/ 1 e) in d 1.184 * [taylor]: Taking taylor expansion of e in d 1.185 * [taylor]: Taking taylor expansion of 1 in e 1.186 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 1.186 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.186 * [taylor]: Taking taylor expansion of c in e 1.186 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.186 * [taylor]: Taking taylor expansion of e in e 1.186 * [taylor]: Taking taylor expansion of 1 in c 1.186 * [taylor]: Taking taylor expansion of 1 in c 1.190 * [taylor]: Taking taylor expansion of 0 in e 1.190 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.190 * [taylor]: Taking taylor expansion of c in c 1.191 * [taylor]: Taking taylor expansion of 0 in c 1.191 * [approximate]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 e)))) in (d e c) around 0 1.191 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 e)))) in c 1.191 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in c 1.191 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.191 * [taylor]: Taking taylor expansion of c in c 1.192 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in c 1.192 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.192 * [taylor]: Taking taylor expansion of d in c 1.192 * [taylor]: Taking taylor expansion of (/ 1 e) in c 1.192 * [taylor]: Taking taylor expansion of e in c 1.192 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 e)))) in e 1.192 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in e 1.192 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.192 * [taylor]: Taking taylor expansion of c in e 1.192 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 1.192 * [taylor]: Taking taylor expansion of (/ 1 d) in e 1.192 * [taylor]: Taking taylor expansion of d in e 1.192 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.192 * [taylor]: Taking taylor expansion of e in e 1.192 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 e)))) in d 1.192 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in d 1.192 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.192 * [taylor]: Taking taylor expansion of c in d 1.192 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 1.192 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.192 * [taylor]: Taking taylor expansion of d in d 1.193 * [taylor]: Taking taylor expansion of (/ 1 e) in d 1.193 * [taylor]: Taking taylor expansion of e in d 1.193 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 e)))) in d 1.193 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in d 1.193 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.193 * [taylor]: Taking taylor expansion of c in d 1.193 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 1.193 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.193 * [taylor]: Taking taylor expansion of d in d 1.193 * [taylor]: Taking taylor expansion of (/ 1 e) in d 1.193 * [taylor]: Taking taylor expansion of e in d 1.194 * [taylor]: Taking taylor expansion of -1 in e 1.194 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 e))) in e 1.194 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 1.194 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.194 * [taylor]: Taking taylor expansion of c in e 1.194 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.194 * [taylor]: Taking taylor expansion of e in e 1.195 * [taylor]: Taking taylor expansion of -1 in c 1.195 * [taylor]: Taking taylor expansion of -1 in c 1.196 * [taylor]: Taking taylor expansion of 0 in e 1.197 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.197 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.197 * [taylor]: Taking taylor expansion of c in c 1.197 * [taylor]: Taking taylor expansion of 0 in c 1.198 * * * [progress]: simplifying candidates 1.199 * [simplify]: Simplifying using # : (expm1 (+ (* 1 (+ d (+ e c))) (+ b a))) (log1p (+ (* 1 (+ d (+ e c))) (+ b a))) (* (exp (* 1 (+ d (+ e c)))) (* (exp b) (exp a))) (* (exp (* 1 (+ d (+ e c)))) (exp (+ b a))) (log (+ (* 1 (+ d (+ e c))) (+ b a))) (exp (+ (* 1 (+ d (+ e c))) (+ b a))) (* (cbrt (+ (* 1 (+ d (+ e c))) (+ b a))) (cbrt (+ (* 1 (+ d (+ e c))) (+ b a)))) (cbrt (+ (* 1 (+ d (+ e c))) (+ b a))) (* (* (+ (* 1 (+ d (+ e c))) (+ b a)) (+ (* 1 (+ d (+ e c))) (+ b a))) (+ (* 1 (+ d (+ e c))) (+ b a))) (sqrt (+ (* 1 (+ d (+ e c))) (+ b a))) (sqrt (+ (* 1 (+ d (+ e c))) (+ b a))) (+ (* (* 1 (+ (pow d 3) (pow (+ e c) 3))) (+ (* b b) (- (* a a) (* b a)))) (* (+ (* d d) (- (* (+ e c) (+ e c)) (* d (+ e c)))) (+ (pow b 3) (pow a 3)))) (* (+ (* d d) (- (* (+ e c) (+ e c)) (* d (+ e c)))) (+ (* b b) (- (* a a) (* b a)))) (+ (* (* 1 (+ (pow d 3) (pow (+ e c) 3))) (- b a)) (* (+ (* d d) (- (* (+ e c) (+ e c)) (* d (+ e c)))) (- (* b b) (* a a)))) (* (+ (* d d) (- (* (+ e c) (+ e c)) (* d (+ e c)))) (- b a)) (+ (* (* 1 (- (* d d) (* (+ e c) (+ e c)))) (+ (* b b) (- (* a a) (* b a)))) (* (- d (+ e c)) (+ (pow b 3) (pow a 3)))) (* (- d (+ e c)) (+ (* b b) (- (* a a) (* b a)))) (+ (* (* 1 (- (* d d) (* (+ e c) (+ e c)))) (- b a)) (* (- d (+ e c)) (- (* b b) (* a a)))) (* (- d (+ e c)) (- b a)) (+ (pow (* 1 (+ d (+ e c))) 3) (pow (+ b a) 3)) (+ (* (* 1 (+ d (+ e c))) (* 1 (+ d (+ e c)))) (- (* (+ b a) (+ b a)) (* (* 1 (+ d (+ e c))) (+ b a)))) (- (* (* 1 (+ d (+ e c))) (* 1 (+ d (+ e c)))) (* (+ b a) (+ b a))) (- (* 1 (+ d (+ e c))) (+ b a)) (+ (+ d (+ e c)) (+ b a)) (+ (+ d (+ e c)) (+ b a)) (+ (* 1 (+ d (+ e c))) b) (+ (* 1 (+ e c)) (+ b a)) (+ (* (+ e c) 1) (+ b a)) (expm1 (+ d (+ e c))) (log1p (+ d (+ e c))) (* (exp d) (* (exp e) (exp c))) (* (exp d) (exp (+ e c))) (log (+ d (+ e c))) (exp (+ d (+ e c))) (* (cbrt (+ d (+ e c))) (cbrt (+ d (+ e c)))) (cbrt (+ d (+ e c))) (* (* (+ d (+ e c)) (+ d (+ e c))) (+ d (+ e c))) (sqrt (+ d (+ e c))) (sqrt (+ d (+ e c))) (+ (pow d 3) (pow (+ e c) 3)) (+ (* d d) (- (* (+ e c) (+ e c)) (* d (+ e c)))) (- (* d d) (* (+ e c) (+ e c))) (- d (+ e c)) (+ d (+ e c)) (+ d (+ e c)) (+ d e) (+ d (+ e c)) (+ a (+ b c)) (+ a (+ b c)) (+ d (+ e c)) (+ d (+ e c)) (+ d (+ e c)) 1.203 * * [simplify]: iteration 0 : 367 enodes (cost 307 ) 1.211 * * [simplify]: iteration 1 : 2071 enodes (cost 277 ) 1.243 * * [simplify]: iteration 2 : 5001 enodes (cost 277 ) 1.245 * [simplify]: Simplified to: (expm1 (+ (* 1 (+ d (+ e c))) (+ b a))) (log1p (+ (* 1 (+ d (+ e c))) (+ b a))) (exp (+ (+ d (+ e c)) (+ b a))) (exp (+ (+ d (+ e c)) (+ b a))) (log (+ (* 1 (+ d (+ e c))) (+ b a))) (exp (+ (+ d (+ e c)) (+ b a))) (* (cbrt (+ (* 1 (+ d (+ e c))) (+ b a))) (cbrt (+ (* 1 (+ d (+ e c))) (+ b a)))) (cbrt (+ (* 1 (+ d (+ e c))) (+ b a))) (pow (+ (+ d (+ e c)) (+ b a)) 3) (sqrt (+ (* 1 (+ d (+ e c))) (+ b a))) (sqrt (+ (* 1 (+ d (+ e c))) (+ b a))) (fma (fma a (- a b) (* b b)) (+ (pow d 3) (pow (+ e c) 3)) (* (+ (pow b 3) (pow a 3)) (+ (* (+ e c) (- (+ e c) d)) (* d d)))) (* (fma b b (- (* a a) (* b a))) (+ (* (+ e c) (- (+ e c) d)) (* d d))) (fma (- (* b b) (* a a)) (fma (+ e c) (- (+ e c) d) (* d d)) (* (- b a) (+ (pow d 3) (pow (+ e c) 3)))) (* (- b a) (+ (* (+ e c) (- (+ e c) d)) (* d d))) (fma (- (* d d) (* (+ e c) (+ e c))) (fma a (- a b) (* b b)) (* (- d (+ e c)) (+ (pow b 3) (pow a 3)))) (* (fma b b (- (* a a) (* b a))) (- d (+ e c))) (fma (- (* d d) (* (+ e c) (+ e c))) (- b a) (* (- d (+ e c)) (- (* b b) (* a a)))) (* (- d (+ e c)) (- b a)) (fma 1 (pow (+ d (+ e c)) 3) (pow (+ b a) 3)) (fma (+ b a) (- (+ b a) (+ d (+ e c))) (* (+ d (+ e c)) (+ d (+ e c)))) (* (+ (+ d (+ e c)) (+ b a)) (- (- (+ d (+ e c)) b) a)) (- (- (+ d (+ e c)) b) a) (+ (+ d (+ e c)) (+ b a)) (+ (+ d (+ e c)) (+ b a)) (fma 1 (+ d (+ e c)) b) (fma (+ e c) 1 (+ b a)) (fma (+ e c) 1 (+ b a)) (expm1 (+ d (+ e c))) (log1p (+ d (+ e c))) (exp (+ d (+ e c))) (exp (+ d (+ e c))) (log (+ d (+ e c))) (exp (+ d (+ e c))) (* (cbrt (+ d (+ e c))) (cbrt (+ d (+ e c)))) (cbrt (+ d (+ e c))) (pow (+ d (+ e c)) 3) (sqrt (+ d (+ e c))) (sqrt (+ d (+ e c))) (+ (pow d 3) (pow (+ e c) 3)) (fma (+ e c) (- (+ e c) d) (* d d)) (- (* d d) (* (+ e c) (+ e c))) (- d (+ e c)) (+ d (+ e c)) (+ d (+ e c)) (+ d e) (+ d (+ e c)) (+ a (+ b c)) (+ a (+ b c)) (+ d (+ e c)) (+ d (+ e c)) (+ d (+ e c)) 1.245 * * * [progress]: adding candidates to table 1.360 * * [progress]: iteration 4 / 4 1.360 * * * [progress]: picking best candidate 1.374 * * * * [pick]: Picked # 1.374 * * * [progress]: localizing error 1.388 * * * [progress]: generating rewritten candidates 1.388 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 2) 1.405 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 1.414 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 1.434 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 1.441 * * * [progress]: generating series expansions 1.441 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 2) 1.442 * [approximate]: Taking taylor expansion of (pow (+ e c) 2) in (e c) around 0 1.442 * [taylor]: Taking taylor expansion of (pow (+ e c) 2) in c 1.442 * [taylor]: Taking taylor expansion of (+ e c) in c 1.442 * [taylor]: Taking taylor expansion of e in c 1.442 * [taylor]: Taking taylor expansion of c in c 1.442 * [taylor]: Taking taylor expansion of (pow (+ e c) 2) in e 1.442 * [taylor]: Taking taylor expansion of (+ e c) in e 1.442 * [taylor]: Taking taylor expansion of e in e 1.442 * [taylor]: Taking taylor expansion of c in e 1.442 * [taylor]: Taking taylor expansion of (pow (+ e c) 2) in e 1.442 * [taylor]: Taking taylor expansion of (+ e c) in e 1.442 * [taylor]: Taking taylor expansion of e in e 1.442 * [taylor]: Taking taylor expansion of c in e 1.442 * [taylor]: Taking taylor expansion of (pow c 2) in c 1.442 * [taylor]: Taking taylor expansion of c in c 1.442 * [taylor]: Taking taylor expansion of (* 2 c) in c 1.442 * [taylor]: Taking taylor expansion of 2 in c 1.443 * [taylor]: Taking taylor expansion of c in c 1.443 * [taylor]: Taking taylor expansion of 1 in c 1.445 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 c) (/ 1 e)) 2) in (e c) around 0 1.445 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 c) (/ 1 e)) 2) in c 1.445 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in c 1.445 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.445 * [taylor]: Taking taylor expansion of c in c 1.445 * [taylor]: Taking taylor expansion of (/ 1 e) in c 1.445 * [taylor]: Taking taylor expansion of e in c 1.445 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 c) (/ 1 e)) 2) in e 1.445 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 1.445 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.445 * [taylor]: Taking taylor expansion of c in e 1.445 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.445 * [taylor]: Taking taylor expansion of e in e 1.446 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 c) (/ 1 e)) 2) in e 1.446 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 1.446 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.446 * [taylor]: Taking taylor expansion of c in e 1.446 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.446 * [taylor]: Taking taylor expansion of e in e 1.447 * [taylor]: Taking taylor expansion of 1 in c 1.447 * [taylor]: Taking taylor expansion of (* 2 (/ 1 c)) in c 1.447 * [taylor]: Taking taylor expansion of 2 in c 1.447 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.447 * [taylor]: Taking taylor expansion of c in c 1.449 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c 1.449 * [taylor]: Taking taylor expansion of (pow c 2) in c 1.449 * [taylor]: Taking taylor expansion of c in c 1.450 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 c) (/ 1 e)) 2) in (e c) around 0 1.450 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 c) (/ 1 e)) 2) in c 1.450 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in c 1.450 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.450 * [taylor]: Taking taylor expansion of c in c 1.450 * [taylor]: Taking taylor expansion of (/ 1 e) in c 1.450 * [taylor]: Taking taylor expansion of e in c 1.451 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 c) (/ 1 e)) 2) in e 1.451 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 1.451 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.451 * [taylor]: Taking taylor expansion of c in e 1.451 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.451 * [taylor]: Taking taylor expansion of e in e 1.451 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 c) (/ 1 e)) 2) in e 1.451 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 1.451 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.451 * [taylor]: Taking taylor expansion of c in e 1.451 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.451 * [taylor]: Taking taylor expansion of e in e 1.452 * [taylor]: Taking taylor expansion of 1 in c 1.453 * [taylor]: Taking taylor expansion of (* 2 (/ 1 c)) in c 1.453 * [taylor]: Taking taylor expansion of 2 in c 1.453 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.453 * [taylor]: Taking taylor expansion of c in c 1.454 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c 1.454 * [taylor]: Taking taylor expansion of (pow c 2) in c 1.454 * [taylor]: Taking taylor expansion of c in c 1.459 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 1.459 * [approximate]: Taking taylor expansion of (- d (+ e c)) in (d e c) around 0 1.459 * [taylor]: Taking taylor expansion of (- d (+ e c)) in c 1.459 * [taylor]: Taking taylor expansion of d in c 1.459 * [taylor]: Taking taylor expansion of (+ e c) in c 1.459 * [taylor]: Taking taylor expansion of e in c 1.459 * [taylor]: Taking taylor expansion of c in c 1.459 * [taylor]: Taking taylor expansion of (- d (+ e c)) in e 1.459 * [taylor]: Taking taylor expansion of d in e 1.459 * [taylor]: Taking taylor expansion of (+ e c) in e 1.459 * [taylor]: Taking taylor expansion of e in e 1.459 * [taylor]: Taking taylor expansion of c in e 1.459 * [taylor]: Taking taylor expansion of (- d (+ e c)) in d 1.459 * [taylor]: Taking taylor expansion of d in d 1.459 * [taylor]: Taking taylor expansion of (+ e c) in d 1.459 * [taylor]: Taking taylor expansion of e in d 1.459 * [taylor]: Taking taylor expansion of c in d 1.459 * [taylor]: Taking taylor expansion of (- d (+ e c)) in d 1.459 * [taylor]: Taking taylor expansion of d in d 1.459 * [taylor]: Taking taylor expansion of (+ e c) in d 1.459 * [taylor]: Taking taylor expansion of e in d 1.459 * [taylor]: Taking taylor expansion of c in d 1.459 * [taylor]: Taking taylor expansion of (- (+ e c)) in e 1.459 * [taylor]: Taking taylor expansion of (+ e c) in e 1.459 * [taylor]: Taking taylor expansion of e in e 1.459 * [taylor]: Taking taylor expansion of c in e 1.459 * [taylor]: Taking taylor expansion of (- c) in c 1.459 * [taylor]: Taking taylor expansion of c in c 1.460 * [taylor]: Taking taylor expansion of 1 in e 1.460 * [taylor]: Taking taylor expansion of 1 in c 1.461 * [taylor]: Taking taylor expansion of -1 in c 1.462 * [approximate]: Taking taylor expansion of (- (/ 1 d) (+ (/ 1 c) (/ 1 e))) in (d e c) around 0 1.462 * [taylor]: Taking taylor expansion of (- (/ 1 d) (+ (/ 1 c) (/ 1 e))) in c 1.462 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.462 * [taylor]: Taking taylor expansion of d in c 1.462 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in c 1.462 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.462 * [taylor]: Taking taylor expansion of c in c 1.462 * [taylor]: Taking taylor expansion of (/ 1 e) in c 1.462 * [taylor]: Taking taylor expansion of e in c 1.462 * [taylor]: Taking taylor expansion of (- (/ 1 d) (+ (/ 1 c) (/ 1 e))) in e 1.462 * [taylor]: Taking taylor expansion of (/ 1 d) in e 1.462 * [taylor]: Taking taylor expansion of d in e 1.462 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 1.462 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.462 * [taylor]: Taking taylor expansion of c in e 1.462 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.462 * [taylor]: Taking taylor expansion of e in e 1.462 * [taylor]: Taking taylor expansion of (- (/ 1 d) (+ (/ 1 c) (/ 1 e))) in d 1.462 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.462 * [taylor]: Taking taylor expansion of d in d 1.463 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in d 1.463 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.463 * [taylor]: Taking taylor expansion of c in d 1.463 * [taylor]: Taking taylor expansion of (/ 1 e) in d 1.463 * [taylor]: Taking taylor expansion of e in d 1.463 * [taylor]: Taking taylor expansion of (- (/ 1 d) (+ (/ 1 c) (/ 1 e))) in d 1.463 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.463 * [taylor]: Taking taylor expansion of d in d 1.463 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in d 1.463 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.463 * [taylor]: Taking taylor expansion of c in d 1.463 * [taylor]: Taking taylor expansion of (/ 1 e) in d 1.463 * [taylor]: Taking taylor expansion of e in d 1.464 * [taylor]: Taking taylor expansion of 1 in e 1.464 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 e))) in e 1.464 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 1.464 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.464 * [taylor]: Taking taylor expansion of c in e 1.464 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.464 * [taylor]: Taking taylor expansion of e in e 1.465 * [taylor]: Taking taylor expansion of -1 in c 1.465 * [taylor]: Taking taylor expansion of 1 in c 1.466 * [taylor]: Taking taylor expansion of 0 in e 1.467 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.467 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.467 * [taylor]: Taking taylor expansion of c in c 1.467 * [taylor]: Taking taylor expansion of 0 in c 1.468 * [approximate]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 e)) (/ 1 d)) in (d e c) around 0 1.468 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 e)) (/ 1 d)) in c 1.468 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in c 1.468 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.468 * [taylor]: Taking taylor expansion of c in c 1.468 * [taylor]: Taking taylor expansion of (/ 1 e) in c 1.468 * [taylor]: Taking taylor expansion of e in c 1.468 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.468 * [taylor]: Taking taylor expansion of d in c 1.468 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 e)) (/ 1 d)) in e 1.468 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 1.468 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.468 * [taylor]: Taking taylor expansion of c in e 1.468 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.468 * [taylor]: Taking taylor expansion of e in e 1.469 * [taylor]: Taking taylor expansion of (/ 1 d) in e 1.469 * [taylor]: Taking taylor expansion of d in e 1.469 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 e)) (/ 1 d)) in d 1.469 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in d 1.469 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.469 * [taylor]: Taking taylor expansion of c in d 1.469 * [taylor]: Taking taylor expansion of (/ 1 e) in d 1.469 * [taylor]: Taking taylor expansion of e in d 1.469 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.469 * [taylor]: Taking taylor expansion of d in d 1.469 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 e)) (/ 1 d)) in d 1.469 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in d 1.469 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.469 * [taylor]: Taking taylor expansion of c in d 1.469 * [taylor]: Taking taylor expansion of (/ 1 e) in d 1.469 * [taylor]: Taking taylor expansion of e in d 1.469 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.469 * [taylor]: Taking taylor expansion of d in d 1.470 * [taylor]: Taking taylor expansion of -1 in e 1.471 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 1.471 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.471 * [taylor]: Taking taylor expansion of c in e 1.471 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.471 * [taylor]: Taking taylor expansion of e in e 1.471 * [taylor]: Taking taylor expansion of 1 in c 1.471 * [taylor]: Taking taylor expansion of -1 in c 1.473 * [taylor]: Taking taylor expansion of 0 in e 1.473 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.473 * [taylor]: Taking taylor expansion of c in c 1.473 * [taylor]: Taking taylor expansion of 0 in c 1.474 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 1.474 * [approximate]: Taking taylor expansion of (/ (- (pow d 2) (+ (pow c 2) (+ (pow e 2) (* 2 (* e c))))) (- d (+ e c))) in (d e c) around 0 1.474 * [taylor]: Taking taylor expansion of (/ (- (pow d 2) (+ (pow c 2) (+ (pow e 2) (* 2 (* e c))))) (- d (+ e c))) in c 1.474 * [taylor]: Taking taylor expansion of (- (pow d 2) (+ (pow c 2) (+ (pow e 2) (* 2 (* e c))))) in c 1.474 * [taylor]: Taking taylor expansion of (pow d 2) in c 1.474 * [taylor]: Taking taylor expansion of d in c 1.474 * [taylor]: Taking taylor expansion of (+ (pow c 2) (+ (pow e 2) (* 2 (* e c)))) in c 1.474 * [taylor]: Taking taylor expansion of (pow c 2) in c 1.474 * [taylor]: Taking taylor expansion of c in c 1.474 * [taylor]: Taking taylor expansion of (+ (pow e 2) (* 2 (* e c))) in c 1.474 * [taylor]: Taking taylor expansion of (pow e 2) in c 1.474 * [taylor]: Taking taylor expansion of e in c 1.474 * [taylor]: Taking taylor expansion of (* 2 (* e c)) in c 1.474 * [taylor]: Taking taylor expansion of 2 in c 1.474 * [taylor]: Taking taylor expansion of (* e c) in c 1.474 * [taylor]: Taking taylor expansion of e in c 1.474 * [taylor]: Taking taylor expansion of c in c 1.474 * [taylor]: Taking taylor expansion of (- d (+ e c)) in c 1.474 * [taylor]: Taking taylor expansion of d in c 1.474 * [taylor]: Taking taylor expansion of (+ e c) in c 1.474 * [taylor]: Taking taylor expansion of e in c 1.474 * [taylor]: Taking taylor expansion of c in c 1.475 * [taylor]: Taking taylor expansion of (/ (- (pow d 2) (+ (pow c 2) (+ (pow e 2) (* 2 (* e c))))) (- d (+ e c))) in e 1.475 * [taylor]: Taking taylor expansion of (- (pow d 2) (+ (pow c 2) (+ (pow e 2) (* 2 (* e c))))) in e 1.475 * [taylor]: Taking taylor expansion of (pow d 2) in e 1.475 * [taylor]: Taking taylor expansion of d in e 1.475 * [taylor]: Taking taylor expansion of (+ (pow c 2) (+ (pow e 2) (* 2 (* e c)))) in e 1.475 * [taylor]: Taking taylor expansion of (pow c 2) in e 1.475 * [taylor]: Taking taylor expansion of c in e 1.475 * [taylor]: Taking taylor expansion of (+ (pow e 2) (* 2 (* e c))) in e 1.475 * [taylor]: Taking taylor expansion of (pow e 2) in e 1.475 * [taylor]: Taking taylor expansion of e in e 1.475 * [taylor]: Taking taylor expansion of (* 2 (* e c)) in e 1.475 * [taylor]: Taking taylor expansion of 2 in e 1.475 * [taylor]: Taking taylor expansion of (* e c) in e 1.475 * [taylor]: Taking taylor expansion of e in e 1.475 * [taylor]: Taking taylor expansion of c in e 1.476 * [taylor]: Taking taylor expansion of (- d (+ e c)) in e 1.476 * [taylor]: Taking taylor expansion of d in e 1.476 * [taylor]: Taking taylor expansion of (+ e c) in e 1.476 * [taylor]: Taking taylor expansion of e in e 1.476 * [taylor]: Taking taylor expansion of c in e 1.477 * [taylor]: Taking taylor expansion of (/ (- (pow d 2) (+ (pow c 2) (+ (pow e 2) (* 2 (* e c))))) (- d (+ e c))) in d 1.477 * [taylor]: Taking taylor expansion of (- (pow d 2) (+ (pow c 2) (+ (pow e 2) (* 2 (* e c))))) in d 1.477 * [taylor]: Taking taylor expansion of (pow d 2) in d 1.477 * [taylor]: Taking taylor expansion of d in d 1.477 * [taylor]: Taking taylor expansion of (+ (pow c 2) (+ (pow e 2) (* 2 (* e c)))) in d 1.477 * [taylor]: Taking taylor expansion of (pow c 2) in d 1.477 * [taylor]: Taking taylor expansion of c in d 1.477 * [taylor]: Taking taylor expansion of (+ (pow e 2) (* 2 (* e c))) in d 1.477 * [taylor]: Taking taylor expansion of (pow e 2) in d 1.477 * [taylor]: Taking taylor expansion of e in d 1.477 * [taylor]: Taking taylor expansion of (* 2 (* e c)) in d 1.477 * [taylor]: Taking taylor expansion of 2 in d 1.477 * [taylor]: Taking taylor expansion of (* e c) in d 1.477 * [taylor]: Taking taylor expansion of e in d 1.477 * [taylor]: Taking taylor expansion of c in d 1.477 * [taylor]: Taking taylor expansion of (- d (+ e c)) in d 1.477 * [taylor]: Taking taylor expansion of d in d 1.477 * [taylor]: Taking taylor expansion of (+ e c) in d 1.477 * [taylor]: Taking taylor expansion of e in d 1.477 * [taylor]: Taking taylor expansion of c in d 1.478 * [taylor]: Taking taylor expansion of (/ (- (pow d 2) (+ (pow c 2) (+ (pow e 2) (* 2 (* e c))))) (- d (+ e c))) in d 1.478 * [taylor]: Taking taylor expansion of (- (pow d 2) (+ (pow c 2) (+ (pow e 2) (* 2 (* e c))))) in d 1.478 * [taylor]: Taking taylor expansion of (pow d 2) in d 1.478 * [taylor]: Taking taylor expansion of d in d 1.478 * [taylor]: Taking taylor expansion of (+ (pow c 2) (+ (pow e 2) (* 2 (* e c)))) in d 1.478 * [taylor]: Taking taylor expansion of (pow c 2) in d 1.478 * [taylor]: Taking taylor expansion of c in d 1.478 * [taylor]: Taking taylor expansion of (+ (pow e 2) (* 2 (* e c))) in d 1.478 * [taylor]: Taking taylor expansion of (pow e 2) in d 1.478 * [taylor]: Taking taylor expansion of e in d 1.478 * [taylor]: Taking taylor expansion of (* 2 (* e c)) in d 1.478 * [taylor]: Taking taylor expansion of 2 in d 1.478 * [taylor]: Taking taylor expansion of (* e c) in d 1.478 * [taylor]: Taking taylor expansion of e in d 1.478 * [taylor]: Taking taylor expansion of c in d 1.478 * [taylor]: Taking taylor expansion of (- d (+ e c)) in d 1.478 * [taylor]: Taking taylor expansion of d in d 1.478 * [taylor]: Taking taylor expansion of (+ e c) in d 1.478 * [taylor]: Taking taylor expansion of e in d 1.478 * [taylor]: Taking taylor expansion of c in d 1.479 * [taylor]: Taking taylor expansion of (/ (+ (pow c 2) (+ (pow e 2) (* 2 (* e c)))) (+ e c)) in e 1.479 * [taylor]: Taking taylor expansion of (+ (pow c 2) (+ (pow e 2) (* 2 (* e c)))) in e 1.479 * [taylor]: Taking taylor expansion of (pow c 2) in e 1.479 * [taylor]: Taking taylor expansion of c in e 1.479 * [taylor]: Taking taylor expansion of (+ (pow e 2) (* 2 (* e c))) in e 1.479 * [taylor]: Taking taylor expansion of (pow e 2) in e 1.479 * [taylor]: Taking taylor expansion of e in e 1.479 * [taylor]: Taking taylor expansion of (* 2 (* e c)) in e 1.479 * [taylor]: Taking taylor expansion of 2 in e 1.480 * [taylor]: Taking taylor expansion of (* e c) in e 1.480 * [taylor]: Taking taylor expansion of e in e 1.480 * [taylor]: Taking taylor expansion of c in e 1.480 * [taylor]: Taking taylor expansion of (+ e c) in e 1.480 * [taylor]: Taking taylor expansion of e in e 1.480 * [taylor]: Taking taylor expansion of c in e 1.480 * [taylor]: Taking taylor expansion of c in c 1.483 * [taylor]: Taking taylor expansion of (+ (/ (pow e 2) (pow (+ e c) 2)) (+ (/ (pow c 2) (pow (+ e c) 2)) (* 2 (/ (* e c) (pow (+ e c) 2))))) in e 1.483 * [taylor]: Taking taylor expansion of (/ (pow e 2) (pow (+ e c) 2)) in e 1.483 * [taylor]: Taking taylor expansion of (pow e 2) in e 1.483 * [taylor]: Taking taylor expansion of e in e 1.483 * [taylor]: Taking taylor expansion of (pow (+ e c) 2) in e 1.483 * [taylor]: Taking taylor expansion of (+ e c) in e 1.483 * [taylor]: Taking taylor expansion of e in e 1.483 * [taylor]: Taking taylor expansion of c in e 1.483 * [taylor]: Taking taylor expansion of (+ (/ (pow c 2) (pow (+ e c) 2)) (* 2 (/ (* e c) (pow (+ e c) 2)))) in e 1.483 * [taylor]: Taking taylor expansion of (/ (pow c 2) (pow (+ e c) 2)) in e 1.483 * [taylor]: Taking taylor expansion of (pow c 2) in e 1.483 * [taylor]: Taking taylor expansion of c in e 1.483 * [taylor]: Taking taylor expansion of (pow (+ e c) 2) in e 1.483 * [taylor]: Taking taylor expansion of (+ e c) in e 1.483 * [taylor]: Taking taylor expansion of e in e 1.483 * [taylor]: Taking taylor expansion of c in e 1.483 * [taylor]: Taking taylor expansion of (* 2 (/ (* e c) (pow (+ e c) 2))) in e 1.483 * [taylor]: Taking taylor expansion of 2 in e 1.483 * [taylor]: Taking taylor expansion of (/ (* e c) (pow (+ e c) 2)) in e 1.484 * [taylor]: Taking taylor expansion of (* e c) in e 1.484 * [taylor]: Taking taylor expansion of e in e 1.484 * [taylor]: Taking taylor expansion of c in e 1.484 * [taylor]: Taking taylor expansion of (pow (+ e c) 2) in e 1.484 * [taylor]: Taking taylor expansion of (+ e c) in e 1.484 * [taylor]: Taking taylor expansion of e in e 1.484 * [taylor]: Taking taylor expansion of c in e 1.484 * [taylor]: Taking taylor expansion of 1 in c 1.485 * [taylor]: Taking taylor expansion of 1 in c 1.486 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) (- (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in (d e c) around 0 1.486 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) (- (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in c 1.486 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) in c 1.486 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c 1.486 * [taylor]: Taking taylor expansion of (pow d 2) in c 1.486 * [taylor]: Taking taylor expansion of d in c 1.486 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2)))) in c 1.486 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* e c))) in c 1.486 * [taylor]: Taking taylor expansion of 2 in c 1.486 * [taylor]: Taking taylor expansion of (/ 1 (* e c)) in c 1.486 * [taylor]: Taking taylor expansion of (* e c) in c 1.486 * [taylor]: Taking taylor expansion of e in c 1.486 * [taylor]: Taking taylor expansion of c in c 1.487 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))) in c 1.487 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c 1.487 * [taylor]: Taking taylor expansion of (pow c 2) in c 1.487 * [taylor]: Taking taylor expansion of c in c 1.487 * [taylor]: Taking taylor expansion of (/ 1 (pow e 2)) in c 1.487 * [taylor]: Taking taylor expansion of (pow e 2) in c 1.487 * [taylor]: Taking taylor expansion of e in c 1.487 * [taylor]: Taking taylor expansion of (- (/ 1 d) (+ (/ 1 c) (/ 1 e))) in c 1.487 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.488 * [taylor]: Taking taylor expansion of d in c 1.488 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in c 1.488 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.488 * [taylor]: Taking taylor expansion of c in c 1.488 * [taylor]: Taking taylor expansion of (/ 1 e) in c 1.488 * [taylor]: Taking taylor expansion of e in c 1.490 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) (- (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in e 1.490 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) in e 1.490 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in e 1.490 * [taylor]: Taking taylor expansion of (pow d 2) in e 1.490 * [taylor]: Taking taylor expansion of d in e 1.490 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2)))) in e 1.490 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* e c))) in e 1.490 * [taylor]: Taking taylor expansion of 2 in e 1.490 * [taylor]: Taking taylor expansion of (/ 1 (* e c)) in e 1.490 * [taylor]: Taking taylor expansion of (* e c) in e 1.490 * [taylor]: Taking taylor expansion of e in e 1.490 * [taylor]: Taking taylor expansion of c in e 1.490 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))) in e 1.490 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in e 1.490 * [taylor]: Taking taylor expansion of (pow c 2) in e 1.490 * [taylor]: Taking taylor expansion of c in e 1.490 * [taylor]: Taking taylor expansion of (/ 1 (pow e 2)) in e 1.490 * [taylor]: Taking taylor expansion of (pow e 2) in e 1.491 * [taylor]: Taking taylor expansion of e in e 1.491 * [taylor]: Taking taylor expansion of (- (/ 1 d) (+ (/ 1 c) (/ 1 e))) in e 1.491 * [taylor]: Taking taylor expansion of (/ 1 d) in e 1.491 * [taylor]: Taking taylor expansion of d in e 1.491 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 1.491 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.491 * [taylor]: Taking taylor expansion of c in e 1.491 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.491 * [taylor]: Taking taylor expansion of e in e 1.493 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) (- (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in d 1.493 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) in d 1.493 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d 1.493 * [taylor]: Taking taylor expansion of (pow d 2) in d 1.493 * [taylor]: Taking taylor expansion of d in d 1.494 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2)))) in d 1.494 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* e c))) in d 1.494 * [taylor]: Taking taylor expansion of 2 in d 1.494 * [taylor]: Taking taylor expansion of (/ 1 (* e c)) in d 1.494 * [taylor]: Taking taylor expansion of (* e c) in d 1.494 * [taylor]: Taking taylor expansion of e in d 1.494 * [taylor]: Taking taylor expansion of c in d 1.494 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))) in d 1.494 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d 1.494 * [taylor]: Taking taylor expansion of (pow c 2) in d 1.494 * [taylor]: Taking taylor expansion of c in d 1.494 * [taylor]: Taking taylor expansion of (/ 1 (pow e 2)) in d 1.494 * [taylor]: Taking taylor expansion of (pow e 2) in d 1.494 * [taylor]: Taking taylor expansion of e in d 1.494 * [taylor]: Taking taylor expansion of (- (/ 1 d) (+ (/ 1 c) (/ 1 e))) in d 1.494 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.494 * [taylor]: Taking taylor expansion of d in d 1.495 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in d 1.495 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.495 * [taylor]: Taking taylor expansion of c in d 1.495 * [taylor]: Taking taylor expansion of (/ 1 e) in d 1.495 * [taylor]: Taking taylor expansion of e in d 1.496 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) (- (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in d 1.496 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) in d 1.496 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d 1.496 * [taylor]: Taking taylor expansion of (pow d 2) in d 1.496 * [taylor]: Taking taylor expansion of d in d 1.496 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2)))) in d 1.496 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* e c))) in d 1.496 * [taylor]: Taking taylor expansion of 2 in d 1.496 * [taylor]: Taking taylor expansion of (/ 1 (* e c)) in d 1.496 * [taylor]: Taking taylor expansion of (* e c) in d 1.496 * [taylor]: Taking taylor expansion of e in d 1.496 * [taylor]: Taking taylor expansion of c in d 1.496 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))) in d 1.496 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d 1.496 * [taylor]: Taking taylor expansion of (pow c 2) in d 1.496 * [taylor]: Taking taylor expansion of c in d 1.496 * [taylor]: Taking taylor expansion of (/ 1 (pow e 2)) in d 1.496 * [taylor]: Taking taylor expansion of (pow e 2) in d 1.497 * [taylor]: Taking taylor expansion of e in d 1.497 * [taylor]: Taking taylor expansion of (- (/ 1 d) (+ (/ 1 c) (/ 1 e))) in d 1.497 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.497 * [taylor]: Taking taylor expansion of d in d 1.497 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in d 1.497 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.497 * [taylor]: Taking taylor expansion of c in d 1.497 * [taylor]: Taking taylor expansion of (/ 1 e) in d 1.497 * [taylor]: Taking taylor expansion of e in d 1.498 * [taylor]: Taking taylor expansion of 1 in e 1.500 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 1.500 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.500 * [taylor]: Taking taylor expansion of c in e 1.500 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.500 * [taylor]: Taking taylor expansion of e in e 1.500 * [taylor]: Taking taylor expansion of 1 in c 1.500 * [taylor]: Taking taylor expansion of 1 in c 1.504 * [taylor]: Taking taylor expansion of 0 in e 1.505 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.505 * [taylor]: Taking taylor expansion of c in c 1.505 * [taylor]: Taking taylor expansion of 0 in c 1.506 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) (- (+ (/ 1 c) (/ 1 e)) (/ 1 d))) in (d e c) around 0 1.506 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) (- (+ (/ 1 c) (/ 1 e)) (/ 1 d))) in c 1.506 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) in c 1.506 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c 1.506 * [taylor]: Taking taylor expansion of (pow d 2) in c 1.506 * [taylor]: Taking taylor expansion of d in c 1.506 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2)))) in c 1.506 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* e c))) in c 1.506 * [taylor]: Taking taylor expansion of 2 in c 1.506 * [taylor]: Taking taylor expansion of (/ 1 (* e c)) in c 1.506 * [taylor]: Taking taylor expansion of (* e c) in c 1.506 * [taylor]: Taking taylor expansion of e in c 1.506 * [taylor]: Taking taylor expansion of c in c 1.507 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))) in c 1.507 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c 1.507 * [taylor]: Taking taylor expansion of (pow c 2) in c 1.507 * [taylor]: Taking taylor expansion of c in c 1.507 * [taylor]: Taking taylor expansion of (/ 1 (pow e 2)) in c 1.507 * [taylor]: Taking taylor expansion of (pow e 2) in c 1.507 * [taylor]: Taking taylor expansion of e in c 1.507 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 e)) (/ 1 d)) in c 1.507 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in c 1.507 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.507 * [taylor]: Taking taylor expansion of c in c 1.508 * [taylor]: Taking taylor expansion of (/ 1 e) in c 1.508 * [taylor]: Taking taylor expansion of e in c 1.508 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.508 * [taylor]: Taking taylor expansion of d in c 1.509 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) (- (+ (/ 1 c) (/ 1 e)) (/ 1 d))) in e 1.509 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) in e 1.509 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in e 1.509 * [taylor]: Taking taylor expansion of (pow d 2) in e 1.509 * [taylor]: Taking taylor expansion of d in e 1.510 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2)))) in e 1.510 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* e c))) in e 1.510 * [taylor]: Taking taylor expansion of 2 in e 1.510 * [taylor]: Taking taylor expansion of (/ 1 (* e c)) in e 1.510 * [taylor]: Taking taylor expansion of (* e c) in e 1.510 * [taylor]: Taking taylor expansion of e in e 1.510 * [taylor]: Taking taylor expansion of c in e 1.510 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))) in e 1.510 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in e 1.510 * [taylor]: Taking taylor expansion of (pow c 2) in e 1.510 * [taylor]: Taking taylor expansion of c in e 1.510 * [taylor]: Taking taylor expansion of (/ 1 (pow e 2)) in e 1.510 * [taylor]: Taking taylor expansion of (pow e 2) in e 1.510 * [taylor]: Taking taylor expansion of e in e 1.511 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 e)) (/ 1 d)) in e 1.511 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 1.511 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.511 * [taylor]: Taking taylor expansion of c in e 1.511 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.511 * [taylor]: Taking taylor expansion of e in e 1.511 * [taylor]: Taking taylor expansion of (/ 1 d) in e 1.511 * [taylor]: Taking taylor expansion of d in e 1.513 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) (- (+ (/ 1 c) (/ 1 e)) (/ 1 d))) in d 1.513 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) in d 1.513 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d 1.513 * [taylor]: Taking taylor expansion of (pow d 2) in d 1.513 * [taylor]: Taking taylor expansion of d in d 1.513 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2)))) in d 1.513 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* e c))) in d 1.513 * [taylor]: Taking taylor expansion of 2 in d 1.513 * [taylor]: Taking taylor expansion of (/ 1 (* e c)) in d 1.513 * [taylor]: Taking taylor expansion of (* e c) in d 1.513 * [taylor]: Taking taylor expansion of e in d 1.513 * [taylor]: Taking taylor expansion of c in d 1.513 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))) in d 1.513 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d 1.513 * [taylor]: Taking taylor expansion of (pow c 2) in d 1.513 * [taylor]: Taking taylor expansion of c in d 1.514 * [taylor]: Taking taylor expansion of (/ 1 (pow e 2)) in d 1.514 * [taylor]: Taking taylor expansion of (pow e 2) in d 1.514 * [taylor]: Taking taylor expansion of e in d 1.514 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 e)) (/ 1 d)) in d 1.514 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in d 1.514 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.514 * [taylor]: Taking taylor expansion of c in d 1.514 * [taylor]: Taking taylor expansion of (/ 1 e) in d 1.514 * [taylor]: Taking taylor expansion of e in d 1.514 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.514 * [taylor]: Taking taylor expansion of d in d 1.515 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) (- (+ (/ 1 c) (/ 1 e)) (/ 1 d))) in d 1.515 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) in d 1.515 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d 1.515 * [taylor]: Taking taylor expansion of (pow d 2) in d 1.515 * [taylor]: Taking taylor expansion of d in d 1.516 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2)))) in d 1.516 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* e c))) in d 1.516 * [taylor]: Taking taylor expansion of 2 in d 1.516 * [taylor]: Taking taylor expansion of (/ 1 (* e c)) in d 1.516 * [taylor]: Taking taylor expansion of (* e c) in d 1.516 * [taylor]: Taking taylor expansion of e in d 1.516 * [taylor]: Taking taylor expansion of c in d 1.516 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))) in d 1.516 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d 1.516 * [taylor]: Taking taylor expansion of (pow c 2) in d 1.516 * [taylor]: Taking taylor expansion of c in d 1.516 * [taylor]: Taking taylor expansion of (/ 1 (pow e 2)) in d 1.516 * [taylor]: Taking taylor expansion of (pow e 2) in d 1.516 * [taylor]: Taking taylor expansion of e in d 1.516 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 e)) (/ 1 d)) in d 1.516 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in d 1.516 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.516 * [taylor]: Taking taylor expansion of c in d 1.516 * [taylor]: Taking taylor expansion of (/ 1 e) in d 1.516 * [taylor]: Taking taylor expansion of e in d 1.516 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.516 * [taylor]: Taking taylor expansion of d in d 1.517 * [taylor]: Taking taylor expansion of -1 in e 1.520 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 e))) in e 1.520 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 1.520 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.520 * [taylor]: Taking taylor expansion of c in e 1.520 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.520 * [taylor]: Taking taylor expansion of e in e 1.520 * [taylor]: Taking taylor expansion of -1 in c 1.520 * [taylor]: Taking taylor expansion of -1 in c 1.524 * [taylor]: Taking taylor expansion of 0 in e 1.525 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.525 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.525 * [taylor]: Taking taylor expansion of c in c 1.525 * [taylor]: Taking taylor expansion of 0 in c 1.526 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 1.526 * [approximate]: Taking taylor expansion of (- (pow d 2) (+ (pow c 2) (+ (pow e 2) (* 2 (* e c))))) in (d e c) around 0 1.526 * [taylor]: Taking taylor expansion of (- (pow d 2) (+ (pow c 2) (+ (pow e 2) (* 2 (* e c))))) in c 1.526 * [taylor]: Taking taylor expansion of (pow d 2) in c 1.526 * [taylor]: Taking taylor expansion of d in c 1.526 * [taylor]: Taking taylor expansion of (+ (pow c 2) (+ (pow e 2) (* 2 (* e c)))) in c 1.526 * [taylor]: Taking taylor expansion of (pow c 2) in c 1.526 * [taylor]: Taking taylor expansion of c in c 1.526 * [taylor]: Taking taylor expansion of (+ (pow e 2) (* 2 (* e c))) in c 1.526 * [taylor]: Taking taylor expansion of (pow e 2) in c 1.526 * [taylor]: Taking taylor expansion of e in c 1.526 * [taylor]: Taking taylor expansion of (* 2 (* e c)) in c 1.526 * [taylor]: Taking taylor expansion of 2 in c 1.526 * [taylor]: Taking taylor expansion of (* e c) in c 1.526 * [taylor]: Taking taylor expansion of e in c 1.526 * [taylor]: Taking taylor expansion of c in c 1.526 * [taylor]: Taking taylor expansion of (- (pow d 2) (+ (pow c 2) (+ (pow e 2) (* 2 (* e c))))) in e 1.526 * [taylor]: Taking taylor expansion of (pow d 2) in e 1.526 * [taylor]: Taking taylor expansion of d in e 1.526 * [taylor]: Taking taylor expansion of (+ (pow c 2) (+ (pow e 2) (* 2 (* e c)))) in e 1.526 * [taylor]: Taking taylor expansion of (pow c 2) in e 1.526 * [taylor]: Taking taylor expansion of c in e 1.526 * [taylor]: Taking taylor expansion of (+ (pow e 2) (* 2 (* e c))) in e 1.526 * [taylor]: Taking taylor expansion of (pow e 2) in e 1.526 * [taylor]: Taking taylor expansion of e in e 1.526 * [taylor]: Taking taylor expansion of (* 2 (* e c)) in e 1.526 * [taylor]: Taking taylor expansion of 2 in e 1.527 * [taylor]: Taking taylor expansion of (* e c) in e 1.527 * [taylor]: Taking taylor expansion of e in e 1.527 * [taylor]: Taking taylor expansion of c in e 1.527 * [taylor]: Taking taylor expansion of (- (pow d 2) (+ (pow c 2) (+ (pow e 2) (* 2 (* e c))))) in d 1.527 * [taylor]: Taking taylor expansion of (pow d 2) in d 1.527 * [taylor]: Taking taylor expansion of d in d 1.527 * [taylor]: Taking taylor expansion of (+ (pow c 2) (+ (pow e 2) (* 2 (* e c)))) in d 1.527 * [taylor]: Taking taylor expansion of (pow c 2) in d 1.527 * [taylor]: Taking taylor expansion of c in d 1.527 * [taylor]: Taking taylor expansion of (+ (pow e 2) (* 2 (* e c))) in d 1.527 * [taylor]: Taking taylor expansion of (pow e 2) in d 1.527 * [taylor]: Taking taylor expansion of e in d 1.527 * [taylor]: Taking taylor expansion of (* 2 (* e c)) in d 1.527 * [taylor]: Taking taylor expansion of 2 in d 1.527 * [taylor]: Taking taylor expansion of (* e c) in d 1.527 * [taylor]: Taking taylor expansion of e in d 1.527 * [taylor]: Taking taylor expansion of c in d 1.527 * [taylor]: Taking taylor expansion of (- (pow d 2) (+ (pow c 2) (+ (pow e 2) (* 2 (* e c))))) in d 1.527 * [taylor]: Taking taylor expansion of (pow d 2) in d 1.527 * [taylor]: Taking taylor expansion of d in d 1.527 * [taylor]: Taking taylor expansion of (+ (pow c 2) (+ (pow e 2) (* 2 (* e c)))) in d 1.527 * [taylor]: Taking taylor expansion of (pow c 2) in d 1.527 * [taylor]: Taking taylor expansion of c in d 1.527 * [taylor]: Taking taylor expansion of (+ (pow e 2) (* 2 (* e c))) in d 1.527 * [taylor]: Taking taylor expansion of (pow e 2) in d 1.527 * [taylor]: Taking taylor expansion of e in d 1.527 * [taylor]: Taking taylor expansion of (* 2 (* e c)) in d 1.527 * [taylor]: Taking taylor expansion of 2 in d 1.527 * [taylor]: Taking taylor expansion of (* e c) in d 1.527 * [taylor]: Taking taylor expansion of e in d 1.527 * [taylor]: Taking taylor expansion of c in d 1.528 * [taylor]: Taking taylor expansion of (- (+ (pow c 2) (+ (pow e 2) (* 2 (* e c))))) in e 1.528 * [taylor]: Taking taylor expansion of (+ (pow c 2) (+ (pow e 2) (* 2 (* e c)))) in e 1.528 * [taylor]: Taking taylor expansion of (pow c 2) in e 1.528 * [taylor]: Taking taylor expansion of c in e 1.528 * [taylor]: Taking taylor expansion of (+ (pow e 2) (* 2 (* e c))) in e 1.528 * [taylor]: Taking taylor expansion of (pow e 2) in e 1.528 * [taylor]: Taking taylor expansion of e in e 1.528 * [taylor]: Taking taylor expansion of (* 2 (* e c)) in e 1.528 * [taylor]: Taking taylor expansion of 2 in e 1.528 * [taylor]: Taking taylor expansion of (* e c) in e 1.528 * [taylor]: Taking taylor expansion of e in e 1.528 * [taylor]: Taking taylor expansion of c in e 1.529 * [taylor]: Taking taylor expansion of (- (pow c 2)) in c 1.529 * [taylor]: Taking taylor expansion of (pow c 2) in c 1.529 * [taylor]: Taking taylor expansion of c in c 1.530 * [taylor]: Taking taylor expansion of 0 in e 1.530 * [taylor]: Taking taylor expansion of 0 in c 1.531 * [taylor]: Taking taylor expansion of (- (* 2 c)) in c 1.531 * [taylor]: Taking taylor expansion of (* 2 c) in c 1.531 * [taylor]: Taking taylor expansion of 2 in c 1.531 * [taylor]: Taking taylor expansion of c in c 1.533 * [taylor]: Taking taylor expansion of 1 in e 1.534 * [taylor]: Taking taylor expansion of 1 in c 1.534 * [taylor]: Taking taylor expansion of 0 in c 1.536 * [taylor]: Taking taylor expansion of -1 in c 1.537 * [approximate]: Taking taylor expansion of (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) in (d e c) around 0 1.537 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) in c 1.537 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c 1.537 * [taylor]: Taking taylor expansion of (pow d 2) in c 1.537 * [taylor]: Taking taylor expansion of d in c 1.537 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2)))) in c 1.537 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* e c))) in c 1.537 * [taylor]: Taking taylor expansion of 2 in c 1.537 * [taylor]: Taking taylor expansion of (/ 1 (* e c)) in c 1.537 * [taylor]: Taking taylor expansion of (* e c) in c 1.537 * [taylor]: Taking taylor expansion of e in c 1.537 * [taylor]: Taking taylor expansion of c in c 1.537 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))) in c 1.537 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c 1.537 * [taylor]: Taking taylor expansion of (pow c 2) in c 1.538 * [taylor]: Taking taylor expansion of c in c 1.538 * [taylor]: Taking taylor expansion of (/ 1 (pow e 2)) in c 1.538 * [taylor]: Taking taylor expansion of (pow e 2) in c 1.538 * [taylor]: Taking taylor expansion of e in c 1.538 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) in e 1.538 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in e 1.538 * [taylor]: Taking taylor expansion of (pow d 2) in e 1.538 * [taylor]: Taking taylor expansion of d in e 1.538 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2)))) in e 1.538 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* e c))) in e 1.538 * [taylor]: Taking taylor expansion of 2 in e 1.538 * [taylor]: Taking taylor expansion of (/ 1 (* e c)) in e 1.538 * [taylor]: Taking taylor expansion of (* e c) in e 1.538 * [taylor]: Taking taylor expansion of e in e 1.538 * [taylor]: Taking taylor expansion of c in e 1.539 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))) in e 1.539 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in e 1.539 * [taylor]: Taking taylor expansion of (pow c 2) in e 1.539 * [taylor]: Taking taylor expansion of c in e 1.539 * [taylor]: Taking taylor expansion of (/ 1 (pow e 2)) in e 1.539 * [taylor]: Taking taylor expansion of (pow e 2) in e 1.539 * [taylor]: Taking taylor expansion of e in e 1.539 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) in d 1.539 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d 1.539 * [taylor]: Taking taylor expansion of (pow d 2) in d 1.539 * [taylor]: Taking taylor expansion of d in d 1.540 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2)))) in d 1.540 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* e c))) in d 1.540 * [taylor]: Taking taylor expansion of 2 in d 1.540 * [taylor]: Taking taylor expansion of (/ 1 (* e c)) in d 1.540 * [taylor]: Taking taylor expansion of (* e c) in d 1.540 * [taylor]: Taking taylor expansion of e in d 1.540 * [taylor]: Taking taylor expansion of c in d 1.540 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))) in d 1.540 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d 1.540 * [taylor]: Taking taylor expansion of (pow c 2) in d 1.540 * [taylor]: Taking taylor expansion of c in d 1.540 * [taylor]: Taking taylor expansion of (/ 1 (pow e 2)) in d 1.540 * [taylor]: Taking taylor expansion of (pow e 2) in d 1.540 * [taylor]: Taking taylor expansion of e in d 1.540 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) in d 1.540 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d 1.540 * [taylor]: Taking taylor expansion of (pow d 2) in d 1.540 * [taylor]: Taking taylor expansion of d in d 1.541 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2)))) in d 1.541 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* e c))) in d 1.541 * [taylor]: Taking taylor expansion of 2 in d 1.541 * [taylor]: Taking taylor expansion of (/ 1 (* e c)) in d 1.541 * [taylor]: Taking taylor expansion of (* e c) in d 1.541 * [taylor]: Taking taylor expansion of e in d 1.541 * [taylor]: Taking taylor expansion of c in d 1.541 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))) in d 1.541 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d 1.541 * [taylor]: Taking taylor expansion of (pow c 2) in d 1.541 * [taylor]: Taking taylor expansion of c in d 1.541 * [taylor]: Taking taylor expansion of (/ 1 (pow e 2)) in d 1.541 * [taylor]: Taking taylor expansion of (pow e 2) in d 1.541 * [taylor]: Taking taylor expansion of e in d 1.542 * [taylor]: Taking taylor expansion of 1 in e 1.545 * [taylor]: Taking taylor expansion of 0 in e 1.547 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) in e 1.547 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2)))) in e 1.547 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* e c))) in e 1.547 * [taylor]: Taking taylor expansion of 2 in e 1.547 * [taylor]: Taking taylor expansion of (/ 1 (* e c)) in e 1.547 * [taylor]: Taking taylor expansion of (* e c) in e 1.547 * [taylor]: Taking taylor expansion of e in e 1.547 * [taylor]: Taking taylor expansion of c in e 1.547 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))) in e 1.547 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in e 1.547 * [taylor]: Taking taylor expansion of (pow c 2) in e 1.547 * [taylor]: Taking taylor expansion of c in e 1.547 * [taylor]: Taking taylor expansion of (/ 1 (pow e 2)) in e 1.547 * [taylor]: Taking taylor expansion of (pow e 2) in e 1.547 * [taylor]: Taking taylor expansion of e in e 1.548 * [taylor]: Taking taylor expansion of -1 in c 1.549 * [taylor]: Taking taylor expansion of 1 in c 1.551 * [taylor]: Taking taylor expansion of 0 in e 1.552 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 c))) in c 1.552 * [taylor]: Taking taylor expansion of (* 2 (/ 1 c)) in c 1.552 * [taylor]: Taking taylor expansion of 2 in c 1.552 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.552 * [taylor]: Taking taylor expansion of c in c 1.553 * [taylor]: Taking taylor expansion of 0 in c 1.553 * [taylor]: Taking taylor expansion of 0 in c 1.556 * [taylor]: Taking taylor expansion of 0 in e 1.558 * [taylor]: Taking taylor expansion of (- (/ 1 (pow c 2))) in c 1.558 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c 1.558 * [taylor]: Taking taylor expansion of (pow c 2) in c 1.558 * [taylor]: Taking taylor expansion of c in c 1.559 * [taylor]: Taking taylor expansion of 0 in c 1.559 * [taylor]: Taking taylor expansion of 0 in c 1.561 * [approximate]: Taking taylor expansion of (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) in (d e c) around 0 1.561 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) in c 1.561 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c 1.561 * [taylor]: Taking taylor expansion of (pow d 2) in c 1.561 * [taylor]: Taking taylor expansion of d in c 1.561 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2)))) in c 1.561 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* e c))) in c 1.561 * [taylor]: Taking taylor expansion of 2 in c 1.561 * [taylor]: Taking taylor expansion of (/ 1 (* e c)) in c 1.561 * [taylor]: Taking taylor expansion of (* e c) in c 1.561 * [taylor]: Taking taylor expansion of e in c 1.561 * [taylor]: Taking taylor expansion of c in c 1.561 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))) in c 1.561 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c 1.561 * [taylor]: Taking taylor expansion of (pow c 2) in c 1.561 * [taylor]: Taking taylor expansion of c in c 1.562 * [taylor]: Taking taylor expansion of (/ 1 (pow e 2)) in c 1.562 * [taylor]: Taking taylor expansion of (pow e 2) in c 1.562 * [taylor]: Taking taylor expansion of e in c 1.562 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) in e 1.562 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in e 1.562 * [taylor]: Taking taylor expansion of (pow d 2) in e 1.562 * [taylor]: Taking taylor expansion of d in e 1.562 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2)))) in e 1.562 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* e c))) in e 1.562 * [taylor]: Taking taylor expansion of 2 in e 1.562 * [taylor]: Taking taylor expansion of (/ 1 (* e c)) in e 1.562 * [taylor]: Taking taylor expansion of (* e c) in e 1.562 * [taylor]: Taking taylor expansion of e in e 1.562 * [taylor]: Taking taylor expansion of c in e 1.562 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))) in e 1.562 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in e 1.562 * [taylor]: Taking taylor expansion of (pow c 2) in e 1.562 * [taylor]: Taking taylor expansion of c in e 1.563 * [taylor]: Taking taylor expansion of (/ 1 (pow e 2)) in e 1.563 * [taylor]: Taking taylor expansion of (pow e 2) in e 1.563 * [taylor]: Taking taylor expansion of e in e 1.563 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) in d 1.563 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d 1.563 * [taylor]: Taking taylor expansion of (pow d 2) in d 1.563 * [taylor]: Taking taylor expansion of d in d 1.564 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2)))) in d 1.564 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* e c))) in d 1.564 * [taylor]: Taking taylor expansion of 2 in d 1.564 * [taylor]: Taking taylor expansion of (/ 1 (* e c)) in d 1.564 * [taylor]: Taking taylor expansion of (* e c) in d 1.564 * [taylor]: Taking taylor expansion of e in d 1.564 * [taylor]: Taking taylor expansion of c in d 1.564 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))) in d 1.564 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d 1.564 * [taylor]: Taking taylor expansion of (pow c 2) in d 1.564 * [taylor]: Taking taylor expansion of c in d 1.564 * [taylor]: Taking taylor expansion of (/ 1 (pow e 2)) in d 1.564 * [taylor]: Taking taylor expansion of (pow e 2) in d 1.564 * [taylor]: Taking taylor expansion of e in d 1.564 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d 2)) (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) in d 1.564 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d 1.564 * [taylor]: Taking taylor expansion of (pow d 2) in d 1.564 * [taylor]: Taking taylor expansion of d in d 1.565 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2)))) in d 1.565 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* e c))) in d 1.565 * [taylor]: Taking taylor expansion of 2 in d 1.565 * [taylor]: Taking taylor expansion of (/ 1 (* e c)) in d 1.565 * [taylor]: Taking taylor expansion of (* e c) in d 1.565 * [taylor]: Taking taylor expansion of e in d 1.565 * [taylor]: Taking taylor expansion of c in d 1.565 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))) in d 1.565 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d 1.565 * [taylor]: Taking taylor expansion of (pow c 2) in d 1.565 * [taylor]: Taking taylor expansion of c in d 1.565 * [taylor]: Taking taylor expansion of (/ 1 (pow e 2)) in d 1.565 * [taylor]: Taking taylor expansion of (pow e 2) in d 1.565 * [taylor]: Taking taylor expansion of e in d 1.565 * [taylor]: Taking taylor expansion of 1 in e 1.566 * [taylor]: Taking taylor expansion of 0 in e 1.568 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))))) in e 1.568 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* e c))) (+ (/ 1 (pow c 2)) (/ 1 (pow e 2)))) in e 1.568 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* e c))) in e 1.568 * [taylor]: Taking taylor expansion of 2 in e 1.568 * [taylor]: Taking taylor expansion of (/ 1 (* e c)) in e 1.568 * [taylor]: Taking taylor expansion of (* e c) in e 1.568 * [taylor]: Taking taylor expansion of e in e 1.568 * [taylor]: Taking taylor expansion of c in e 1.569 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow e 2))) in e 1.569 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in e 1.569 * [taylor]: Taking taylor expansion of (pow c 2) in e 1.569 * [taylor]: Taking taylor expansion of c in e 1.569 * [taylor]: Taking taylor expansion of (/ 1 (pow e 2)) in e 1.569 * [taylor]: Taking taylor expansion of (pow e 2) in e 1.569 * [taylor]: Taking taylor expansion of e in e 1.570 * [taylor]: Taking taylor expansion of -1 in c 1.570 * [taylor]: Taking taylor expansion of 1 in c 1.573 * [taylor]: Taking taylor expansion of 0 in e 1.574 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 c))) in c 1.574 * [taylor]: Taking taylor expansion of (* 2 (/ 1 c)) in c 1.574 * [taylor]: Taking taylor expansion of 2 in c 1.574 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.574 * [taylor]: Taking taylor expansion of c in c 1.574 * [taylor]: Taking taylor expansion of 0 in c 1.574 * [taylor]: Taking taylor expansion of 0 in c 1.578 * [taylor]: Taking taylor expansion of 0 in e 1.580 * [taylor]: Taking taylor expansion of (- (/ 1 (pow c 2))) in c 1.580 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c 1.580 * [taylor]: Taking taylor expansion of (pow c 2) in c 1.580 * [taylor]: Taking taylor expansion of c in c 1.581 * [taylor]: Taking taylor expansion of 0 in c 1.581 * [taylor]: Taking taylor expansion of 0 in c 1.582 * * * [progress]: simplifying candidates 1.584 * [simplify]: Simplifying using # : (expm1 (* (+ e c) (+ e c))) (log1p (* (+ e c) (+ e c))) (+ 1 1) (* (+ e c) (+ e c)) (+ 1 1) (+ (log (+ e c)) (log (+ e c))) (log (* (+ e c) (+ e c))) (exp (* (+ e c) (+ e c))) (* (* (* (+ e c) (+ e c)) (+ e c)) (* (* (+ e c) (+ e c)) (+ e c))) (* (cbrt (* (+ e c) (+ e c))) (cbrt (* (+ e c) (+ e c)))) (cbrt (* (+ e c) (+ e c))) (* (* (* (+ e c) (+ e c)) (* (+ e c) (+ e c))) (* (+ e c) (+ e c))) (sqrt (* (+ e c) (+ e c))) (sqrt (* (+ e c) (+ e c))) (* (+ (pow e 3) (pow c 3)) (+ (pow e 3) (pow c 3))) (* (+ (* e e) (- (* c c) (* e c))) (+ (* e e) (- (* c c) (* e c)))) (* (+ (pow e 3) (pow c 3)) (- (* e e) (* c c))) (* (+ (* e e) (- (* c c) (* e c))) (- e c)) (* (- (* e e) (* c c)) (+ (pow e 3) (pow c 3))) (* (- e c) (+ (* e e) (- (* c c) (* e c)))) (* (- (* e e) (* c c)) (- (* e e) (* c c))) (* (- e c) (- e c)) (* (* (cbrt (+ e c)) (cbrt (+ e c))) (* (cbrt (+ e c)) (cbrt (+ e c)))) (* (cbrt (+ e c)) (cbrt (+ e c))) (* (sqrt (+ e c)) (sqrt (+ e c))) (* (sqrt (+ e c)) (sqrt (+ e c))) (* 1 1) (* (+ e c) (+ e c)) (* 1 1) (* (+ e c) (+ e c)) (* 1 1) (* (+ e c) (+ e c)) (* 1 1) (* (+ e c) (+ e c)) (* (sqrt (+ e c)) (sqrt (+ e c))) (* (sqrt (+ e c)) (sqrt (+ e c))) (* 2 1) (* (+ e c) e) (* (+ e c) c) (* e (+ e c)) (* c (+ e c)) (* (+ e c) (* (cbrt (+ e c)) (cbrt (+ e c)))) (* (+ e c) (sqrt (+ e c))) (* (+ e c) 1) (* (+ e c) 1) (* (cbrt (+ e c)) (+ e c)) (* (sqrt (+ e c)) (+ e c)) (* (+ e c) (+ e c)) (* (+ e c) (+ e c)) (* (+ e c) (+ (pow e 3) (pow c 3))) (* (+ e c) (- (* e e) (* c c))) (* (+ (pow e 3) (pow c 3)) (+ e c)) (* (- (* e e) (* c c)) (+ e c)) (fma (* (cbrt d) (cbrt d)) (cbrt d) (- (* (cbrt (+ e c)) (* (cbrt (+ e c)) (cbrt (+ e c)))))) (fma (- (cbrt (+ e c))) (* (cbrt (+ e c)) (cbrt (+ e c))) (* (cbrt (+ e c)) (* (cbrt (+ e c)) (cbrt (+ e c))))) (fma (* (cbrt d) (cbrt d)) (cbrt d) (- (* (sqrt (+ e c)) (sqrt (+ e c))))) (fma (- (sqrt (+ e c))) (sqrt (+ e c)) (* (sqrt (+ e c)) (sqrt (+ e c)))) (fma (* (cbrt d) (cbrt d)) (cbrt d) (- (* (+ e c) 1))) (fma (- (+ e c)) 1 (* (+ e c) 1)) (fma (* (cbrt d) (cbrt d)) (cbrt d) (- (* (+ e c) 1))) (fma (- (+ e c)) 1 (* (+ e c) 1)) (fma (sqrt d) (sqrt d) (- (* (cbrt (+ e c)) (* (cbrt (+ e c)) (cbrt (+ e c)))))) (fma (- (cbrt (+ e c))) (* (cbrt (+ e c)) (cbrt (+ e c))) (* (cbrt (+ e c)) (* (cbrt (+ e c)) (cbrt (+ e c))))) (fma (sqrt d) (sqrt d) (- (* (sqrt (+ e c)) (sqrt (+ e c))))) (fma (- (sqrt (+ e c))) (sqrt (+ e c)) (* (sqrt (+ e c)) (sqrt (+ e c)))) (fma (sqrt d) (sqrt d) (- (* (+ e c) 1))) (fma (- (+ e c)) 1 (* (+ e c) 1)) (fma (sqrt d) (sqrt d) (- (* (+ e c) 1))) (fma (- (+ e c)) 1 (* (+ e c) 1)) (fma 1 d (- (* (cbrt (+ e c)) (* (cbrt (+ e c)) (cbrt (+ e c)))))) (fma (- (cbrt (+ e c))) (* (cbrt (+ e c)) (cbrt (+ e c))) (* (cbrt (+ e c)) (* (cbrt (+ e c)) (cbrt (+ e c))))) (fma 1 d (- (* (sqrt (+ e c)) (sqrt (+ e c))))) (fma (- (sqrt (+ e c))) (sqrt (+ e c)) (* (sqrt (+ e c)) (sqrt (+ e c)))) (fma 1 d (- (* (+ e c) 1))) (fma (- (+ e c)) 1 (* (+ e c) 1)) (fma 1 d (- (* (+ e c) 1))) (fma (- (+ e c)) 1 (* (+ e c) 1)) (expm1 (- d (+ e c))) (log1p (- d (+ e c))) (- (+ e c)) (- (+ e c)) (- (+ e c)) (/ (exp d) (* (exp e) (exp c))) (/ (exp d) (exp (+ e c))) (log (- d (+ e c))) (exp (- d (+ e c))) (* (cbrt (- d (+ e c))) (cbrt (- d (+ e c)))) (cbrt (- d (+ e c))) (* (* (- d (+ e c)) (- d (+ e c))) (- d (+ e c))) (sqrt (- d (+ e c))) (sqrt (- d (+ e c))) (- (pow d 3) (pow (+ e c) 3)) (+ (* d d) (+ (* (+ e c) (+ e c)) (* d (+ e c)))) (- (+ e c)) (- (* d d) (* (+ e c) (+ e c))) (+ d (+ e c)) (+ (sqrt d) (sqrt (+ e c))) (- (sqrt d) (sqrt (+ e c))) (- d (+ e c)) (- d (+ e c)) (- d e) (- (+ e c)) (expm1 (/ (- (* d d) (* (+ e c) (+ e c))) (- d (+ e c)))) (log1p (/ (- (* d d) (* (+ e c) (+ e c))) (- d (+ e c)))) (- (log (- (* d d) (* (+ e c) (+ e c)))) (log (- d (+ e c)))) (log (/ (- (* d d) (* (+ e c) (+ e c))) (- d (+ e c)))) (exp (/ (- (* d d) (* (+ e c) (+ e c))) (- d (+ e c)))) (/ (* (* (- (* d d) (* (+ e c) (+ e c))) (- (* d d) (* (+ e c) (+ e c)))) (- (* d d) (* (+ e c) (+ e c)))) (* (* (- d (+ e c)) (- d (+ e c))) (- d (+ e c)))) (* (cbrt (/ (- (* d d) (* (+ e c) (+ e c))) (- d (+ e c)))) (cbrt (/ (- (* d d) (* (+ e c) (+ e c))) (- d (+ e c))))) (cbrt (/ (- (* d d) (* (+ e c) (+ e c))) (- d (+ e c)))) (* (* (/ (- (* d d) (* (+ e c) (+ e c))) (- d (+ e c))) (/ (- (* d d) (* (+ e c) (+ e c))) (- d (+ e c)))) (/ (- (* d d) (* (+ e c) (+ e c))) (- d (+ e c)))) (sqrt (/ (- (* d d) (* (+ e c) (+ e c))) (- d (+ e c)))) (sqrt (/ (- (* d d) (* (+ e c) (+ e c))) (- d (+ e c)))) (- (- (* d d) (* (+ e c) (+ e c)))) (- (- d (+ e c))) (/ (* d d) (- d (+ e c))) (/ (* (+ e c) (+ e c)) (- d (+ e c))) (/ (* (cbrt (- (* d d) (* (+ e c) (+ e c)))) (cbrt (- (* d d) (* (+ e c) (+ e c))))) (* (cbrt (- d (+ e c))) (cbrt (- d (+ e c))))) (/ (cbrt (- (* d d) (* (+ e c) (+ e c)))) (cbrt (- d (+ e c)))) (/ (* (cbrt (- (* d d) (* (+ e c) (+ e c)))) (cbrt (- (* d d) (* (+ e c) (+ e c))))) (sqrt (- d (+ e c)))) (/ (cbrt (- (* d d) (* (+ e c) (+ e c)))) (sqrt (- d (+ e c)))) (/ (* (cbrt (- (* d d) (* (+ e c) (+ e c)))) (cbrt (- (* d d) (* (+ e c) (+ e c))))) 1) (/ (cbrt (- (* d d) (* (+ e c) (+ e c)))) (- d (+ e c))) (/ (* (cbrt (- (* d d) (* (+ e c) (+ e c)))) (cbrt (- (* d d) (* (+ e c) (+ e c))))) (+ (sqrt d) (sqrt (+ e c)))) (/ (cbrt (- (* d d) (* (+ e c) (+ e c)))) (- (sqrt d) (sqrt (+ e c)))) (/ (* (cbrt (- (* d d) (* (+ e c) (+ e c)))) (cbrt (- (* d d) (* (+ e c) (+ e c))))) 1) (/ (cbrt (- (* d d) (* (+ e c) (+ e c)))) (- d (+ e c))) (/ (* (cbrt (- (* d d) (* (+ e c) (+ e c)))) (cbrt (- (* d d) (* (+ e c) (+ e c))))) 1) (/ (cbrt (- (* d d) (* (+ e c) (+ e c)))) (- d (+ e c))) (/ (sqrt (- (* d d) (* (+ e c) (+ e c)))) (* (cbrt (- d (+ e c))) (cbrt (- d (+ e c))))) (/ (sqrt (- (* d d) (* (+ e c) (+ e c)))) (cbrt (- d (+ e c)))) (/ (sqrt (- (* d d) (* (+ e c) (+ e c)))) (sqrt (- d (+ e c)))) (/ (sqrt (- (* d d) (* (+ e c) (+ e c)))) (sqrt (- d (+ e c)))) (/ (sqrt (- (* d d) (* (+ e c) (+ e c)))) 1) (/ (sqrt (- (* d d) (* (+ e c) (+ e c)))) (- d (+ e c))) (/ (sqrt (- (* d d) (* (+ e c) (+ e c)))) (+ (sqrt d) (sqrt (+ e c)))) (/ (sqrt (- (* d d) (* (+ e c) (+ e c)))) (- (sqrt d) (sqrt (+ e c)))) (/ (sqrt (- (* d d) (* (+ e c) (+ e c)))) 1) (/ (sqrt (- (* d d) (* (+ e c) (+ e c)))) (- d (+ e c))) (/ (sqrt (- (* d d) (* (+ e c) (+ e c)))) 1) (/ (sqrt (- (* d d) (* (+ e c) (+ e c)))) (- d (+ e c))) (/ 1 (* (cbrt (- d (+ e c))) (cbrt (- d (+ e c))))) (/ (- (* d d) (* (+ e c) (+ e c))) (cbrt (- d (+ e c)))) (/ 1 (sqrt (- d (+ e c)))) (/ (- (* d d) (* (+ e c) (+ e c))) (sqrt (- d (+ e c)))) (/ 1 1) (/ (- (* d d) (* (+ e c) (+ e c))) (- d (+ e c))) (/ 1 (+ (sqrt d) (sqrt (+ e c)))) (/ (- (* d d) (* (+ e c) (+ e c))) (- (sqrt d) (sqrt (+ e c)))) (/ 1 1) (/ (- (* d d) (* (+ e c) (+ e c))) (- d (+ e c))) (/ 1 1) (/ (- (* d d) (* (+ e c) (+ e c))) (- d (+ e c))) (/ (+ d (+ e c)) (* (cbrt (- d (+ e c))) (cbrt (- d (+ e c))))) (/ (- d (+ e c)) (cbrt (- d (+ e c)))) (/ (+ d (+ e c)) (sqrt (- d (+ e c)))) (/ (- d (+ e c)) (sqrt (- d (+ e c)))) (/ (+ d (+ e c)) 1) (/ (- d (+ e c)) (- d (+ e c))) (/ (+ d (+ e c)) (+ (sqrt d) (sqrt (+ e c)))) (/ (- d (+ e c)) (- (sqrt d) (sqrt (+ e c)))) (/ (+ d (+ e c)) 1) (/ (- d (+ e c)) (- d (+ e c))) (/ (+ d (+ e c)) 1) (/ (- d (+ e c)) (- d (+ e c))) (/ 1 (- d (+ e c))) (/ (- d (+ e c)) (- (* d d) (* (+ e c) (+ e c)))) (/ (- (* d d) (* (+ e c) (+ e c))) (* (cbrt (- d (+ e c))) (cbrt (- d (+ e c))))) (/ (- (* d d) (* (+ e c) (+ e c))) (sqrt (- d (+ e c)))) (/ (- (* d d) (* (+ e c) (+ e c))) 1) (/ (- (* d d) (* (+ e c) (+ e c))) (+ (sqrt d) (sqrt (+ e c)))) (/ (- (* d d) (* (+ e c) (+ e c))) 1) (/ (- (* d d) (* (+ e c) (+ e c))) 1) (/ (- d (+ e c)) (cbrt (- (* d d) (* (+ e c) (+ e c))))) (/ (- d (+ e c)) (sqrt (- (* d d) (* (+ e c) (+ e c))))) (/ (- d (+ e c)) (- (* d d) (* (+ e c) (+ e c)))) (/ (- d (+ e c)) (- d (+ e c))) (/ (- (* d d) (* (+ e c) (+ e c))) (- (pow d 3) (pow (+ e c) 3))) (/ (- (* d d) (* (+ e c) (+ e c))) (- (* d d) (* (+ e c) (+ e c)))) (* (- d (+ e c)) (+ (* (* d d) (* d d)) (+ (* (* (+ e c) (+ e c)) (* (+ e c) (+ e c))) (* (* d d) (* (+ e c) (+ e c)))))) (* (- d (+ e c)) (+ (* d d) (* (+ e c) (+ e c)))) (fma d d (- (* (+ e c) (+ e c)))) (fma (- (+ e c)) (+ e c) (* (+ e c) (+ e c))) (expm1 (- (* d d) (* (+ e c) (+ e c)))) (log1p (- (* d d) (* (+ e c) (+ e c)))) (- (* (+ e c) (+ e c))) (/ (exp (* d d)) (exp (* (+ e c) (+ e c)))) (log (- (* d d) (* (+ e c) (+ e c)))) (exp (- (* d d) (* (+ e c) (+ e c)))) (* (cbrt (- (* d d) (* (+ e c) (+ e c)))) (cbrt (- (* d d) (* (+ e c) (+ e c))))) (cbrt (- (* d d) (* (+ e c) (+ e c)))) (* (* (- (* d d) (* (+ e c) (+ e c))) (- (* d d) (* (+ e c) (+ e c)))) (- (* d d) (* (+ e c) (+ e c)))) (sqrt (- (* d d) (* (+ e c) (+ e c)))) (sqrt (- (* d d) (* (+ e c) (+ e c)))) (- (pow (* d d) 3) (pow (* (+ e c) (+ e c)) 3)) (+ (* (* d d) (* d d)) (+ (* (* (+ e c) (+ e c)) (* (+ e c) (+ e c))) (* (* d d) (* (+ e c) (+ e c))))) (- (* (+ e c) (+ e c))) (- (* (* d d) (* d d)) (* (* (+ e c) (+ e c)) (* (+ e c) (+ e c)))) (+ (* d d) (* (+ e c) (+ e c))) (+ d (+ e c)) (- d (+ e c)) (- (* d d) (* (+ e c) e)) (- (* d d) (* e (+ e c))) (- (* (+ e c) (+ e c))) (+ (pow e 2) (+ (pow c 2) (* 2 (* e c)))) (+ (pow c 2) (+ (pow e 2) (* 2 (* e c)))) (+ (pow c 2) (+ (pow e 2) (* 2 (* e c)))) (- d (+ e c)) (- d (+ e c)) (- d (+ e c)) (+ d (+ e c)) (+ d (+ e c)) (+ d (+ e c)) (- (pow d 2) (+ (pow e 2) (* 2 (* e c)))) (- (+ (pow c 2) (+ (pow e 2) (* 2 (* e c))))) (- (+ (pow c 2) (+ (pow e 2) (* 2 (* e c))))) 1.592 * * [simplify]: iteration 0 : 546 enodes (cost 1310 ) 1.602 * * [simplify]: iteration 1 : 2588 enodes (cost 1103 ) 1.659 * * [simplify]: iteration 2 : 5003 enodes (cost 1075 ) 1.664 * [simplify]: Simplified to: (expm1 (* (+ e c) (+ e c))) (log1p (* (+ e c) (+ e c))) 2 (* (+ e c) (+ e c)) 2 (* 2 (log (+ e c))) (* 2 (log (+ e c))) (exp (* (+ e c) (+ e c))) (pow (+ e c) 6) (* (cbrt (* (+ e c) (+ e c))) (cbrt (* (+ e c) (+ e c)))) (cbrt (* (+ e c) (+ e c))) (pow (+ e c) 6) (fabs (+ e c)) (fabs (+ e c)) (* (+ (pow e 3) (pow c 3)) (+ (pow e 3) (pow c 3))) (* (+ (* e e) (- (* c c) (* e c))) (+ (* e e) (- (* c c) (* e c)))) (* (- (* e e) (* c c)) (+ (pow e 3) (pow c 3))) (* (- e c) (+ (* e e) (- (* c c) (* e c)))) (* (- (* e e) (* c c)) (+ (pow e 3) (pow c 3))) (* (- e c) (+ (* e e) (- (* c c) (* e c)))) (* (- (* e e) (* c c)) (- (* e e) (* c c))) (* (- e c) (- e c)) (pow (cbrt (+ e c)) 4) (* (cbrt (+ e c)) (cbrt (+ e c))) (+ e c) (+ e c) 1 (* (+ e c) (+ e c)) 1 (* (+ e c) (+ e c)) 1 (* (+ e c) (+ e c)) 1 (* (+ e c) (+ e c)) (+ e c) (+ e c) 2 (* e (+ e c)) (* c (+ e c)) (* e (+ e c)) (* c (+ e c)) (pow (cbrt (+ e c)) 5) (pow (sqrt (+ e c)) 3) (+ e c) (+ e c) (pow (cbrt (+ e c)) 4) (pow (sqrt (+ e c)) 3) (* (+ e c) (+ e c)) (* (+ e c) (+ e c)) (* (+ e c) (+ (pow e 3) (pow c 3))) (* (- (* e e) (* c c)) (+ e c)) (* (+ e c) (+ (pow e 3) (pow c 3))) (* (- (* e e) (* c c)) (+ e c)) (- (* (* (cbrt d) (cbrt d)) (cbrt d)) (+ e c)) (fma (- (+ e c)) 1 (+ e c)) (- (* (* (cbrt d) (cbrt d)) (cbrt d)) (+ e c)) (fma (- (+ e c)) 1 (+ e c)) (- (* (* (cbrt d) (cbrt d)) (cbrt d)) (+ e c)) (fma (- (+ e c)) 1 (+ e c)) (- (* (* (cbrt d) (cbrt d)) (cbrt d)) (+ e c)) (fma (- (+ e c)) 1 (+ e c)) (- d (+ e c)) (fma (- (+ e c)) 1 (+ e c)) (- d (+ e c)) (fma (- (+ e c)) 1 (+ e c)) (- d (+ e c)) (fma (- (+ e c)) 1 (+ e c)) (- d (+ e c)) (fma (- (+ e c)) 1 (+ e c)) (- d (+ e c)) (fma (- (+ e c)) 1 (+ e c)) (- d (+ e c)) (fma (- (+ e c)) 1 (+ e c)) (- d (+ e c)) (fma (- (+ e c)) 1 (+ e c)) (- d (+ e c)) (fma (- (+ e c)) 1 (+ e c)) (expm1 (- d (+ e c))) (log1p (- d (+ e c))) (- (+ e c)) (- (+ e c)) (- (+ e c)) (exp (- d (+ e c))) (exp (- d (+ e c))) (log (- d (+ e c))) (exp (- d (+ e c))) (* (cbrt (- d (+ e c))) (cbrt (- d (+ e c)))) (cbrt (- d (+ e c))) (pow (- d (+ e c)) 3) (sqrt (- d (+ e c))) (sqrt (- d (+ e c))) (- (pow d 3) (pow (+ e c) 3)) (fma (+ e c) (+ d (+ e c)) (pow d 2)) (- (+ e c)) (- (* d d) (* (+ e c) (+ e c))) (+ d (+ e c)) (+ (sqrt d) (sqrt (+ e c))) (- (sqrt d) (sqrt (+ e c))) (- d (+ e c)) (- d (+ e c)) (- d e) (- (+ e c)) (expm1 (/ (- (* d d) (* (+ e c) (+ e c))) (- d (+ e c)))) (log1p (/ (- (* d d) (* (+ e c) (+ e c))) (- d (+ e c)))) (log (+ d (+ e c))) (log (+ d (+ e c))) (exp (+ d (+ e c))) (pow (+ d (+ e c)) 3) (* (cbrt (/ (- (* d d) (* (+ e c) (+ e c))) (- d (+ e c)))) (cbrt (/ (- (* d d) (* (+ e c) (+ e c))) (- d (+ e c))))) (cbrt (/ (- (* d d) (* (+ e c) (+ e c))) (- d (+ e c)))) (pow (+ d (+ e c)) 3) (hypot (sqrt d) (sqrt (+ e c))) (hypot (sqrt d) (sqrt (+ e c))) (- (- (* d d) (* (+ e c) (+ e c)))) (- (- d (+ e c))) (/ (* d d) (- d (+ e c))) (/ (* (+ e c) (+ e c)) (- d (+ e c))) (/ (* (cbrt (- (* d d) (* (+ e c) (+ e c)))) (cbrt (- (* d d) (* (+ e c) (+ e c))))) (* (cbrt (- d (+ e c))) (cbrt (- d (+ e c))))) (/ (cbrt (- (* d d) (* (+ e c) (+ e c)))) (cbrt (- d (+ e c)))) (/ (* (cbrt (- (* d d) (* (+ e c) (+ e c)))) (cbrt (- (* d d) (* (+ e c) (+ e c))))) (sqrt (- d (+ e c)))) (/ (cbrt (- (* d d) (* (+ e c) (+ e c)))) (sqrt (- d (+ e c)))) (* (cbrt (- (* d d) (* (+ e c) (+ e c)))) (cbrt (- (* d d) (* (+ e c) (+ e c))))) (/ (cbrt (- (* d d) (* (+ e c) (+ e c)))) (- d (+ e c))) (/ (* (cbrt (- (* d d) (* (+ e c) (+ e c)))) (cbrt (- (* d d) (* (+ e c) (+ e c))))) (+ (sqrt d) (sqrt (+ e c)))) (/ (cbrt (- (* d d) (* (+ e c) (+ e c)))) (- (sqrt d) (sqrt (+ e c)))) (* (cbrt (- (* d d) (* (+ e c) (+ e c)))) (cbrt (- (* d d) (* (+ e c) (+ e c))))) (/ (cbrt (- (* d d) (* (+ e c) (+ e c)))) (- d (+ e c))) (* (cbrt (- (* d d) (* (+ e c) (+ e c)))) (cbrt (- (* d d) (* (+ e c) (+ e c))))) (/ (cbrt (- (* d d) (* (+ e c) (+ e c)))) (- d (+ e c))) (/ (sqrt (- (* d d) (* (+ e c) (+ e c)))) (* (cbrt (- d (+ e c))) (cbrt (- d (+ e c))))) (/ (sqrt (- (* d d) (* (+ e c) (+ e c)))) (cbrt (- d (+ e c)))) (/ (sqrt (- (* d d) (* (+ e c) (+ e c)))) (sqrt (- d (+ e c)))) (/ (sqrt (- (* d d) (* (+ e c) (+ e c)))) (sqrt (- d (+ e c)))) (sqrt (- (* d d) (* (+ e c) (+ e c)))) (/ (sqrt (- (* d d) (* (+ e c) (+ e c)))) (- d (+ e c))) (/ (sqrt (- (* d d) (* (+ e c) (+ e c)))) (+ (sqrt d) (sqrt (+ e c)))) (/ (sqrt (- (* d d) (* (+ e c) (+ e c)))) (- (sqrt d) (sqrt (+ e c)))) (sqrt (- (* d d) (* (+ e c) (+ e c)))) (/ (sqrt (- (* d d) (* (+ e c) (+ e c)))) (- d (+ e c))) (sqrt (- (* d d) (* (+ e c) (+ e c)))) (/ (sqrt (- (* d d) (* (+ e c) (+ e c)))) (- d (+ e c))) (/ 1 (* (cbrt (- d (+ e c))) (cbrt (- d (+ e c))))) (/ (- (* d d) (* (+ e c) (+ e c))) (cbrt (- d (+ e c)))) (/ 1 (sqrt (- d (+ e c)))) (/ (- (* d d) (* (+ e c) (+ e c))) (sqrt (- d (+ e c)))) 1 (+ d (+ e c)) (/ 1 (+ (sqrt d) (sqrt (+ e c)))) (/ (- (* d d) (* (+ e c) (+ e c))) (- (sqrt d) (sqrt (+ e c)))) 1 (+ d (+ e c)) 1 (+ d (+ e c)) (/ (+ d (+ e c)) (* (cbrt (- d (+ e c))) (cbrt (- d (+ e c))))) (/ (- d (+ e c)) (cbrt (- d (+ e c)))) (/ (+ d (+ e c)) (sqrt (- d (+ e c)))) (/ (- d (+ e c)) (sqrt (- d (+ e c)))) (+ d (+ e c)) 1 (/ (+ d (+ e c)) (+ (sqrt d) (sqrt (+ e c)))) (/ (- d (+ e c)) (- (sqrt d) (sqrt (+ e c)))) (+ d (+ e c)) 1 (+ d (+ e c)) 1 (/ 1 (- d (+ e c))) (/ (- d (+ e c)) (- (* d d) (* (+ e c) (+ e c)))) (/ (- (* d d) (* (+ e c) (+ e c))) (* (cbrt (- d (+ e c))) (cbrt (- d (+ e c))))) (/ (- (* d d) (* (+ e c) (+ e c))) (sqrt (- d (+ e c)))) (- (* d d) (* (+ e c) (+ e c))) (/ (- (* d d) (* (+ e c) (+ e c))) (+ (sqrt d) (sqrt (+ e c)))) (- (* d d) (* (+ e c) (+ e c))) (- (* d d) (* (+ e c) (+ e c))) (/ (- d (+ e c)) (cbrt (- (* d d) (* (+ e c) (+ e c))))) (/ (- d (+ e c)) (sqrt (- (* d d) (* (+ e c) (+ e c))))) (/ (- d (+ e c)) (- (* d d) (* (+ e c) (+ e c)))) 1 (/ (- (* d d) (* (+ e c) (+ e c))) (- (pow d 3) (pow (+ e c) 3))) 1 (fma (pow d 4) (- d (+ e c)) (* (* (- d (+ e c)) (* (+ e c) (+ e c))) (fma d d (* (+ e c) (+ e c))))) (* (fma d d (* (+ e c) (+ e c))) (- d (+ e c))) (- (* d d) (* (+ e c) (+ e c))) (* (+ e c) (fma (- (+ e c)) 1 (+ e c))) (expm1 (- (* d d) (* (+ e c) (+ e c)))) (log1p (- (* d d) (* (+ e c) (+ e c)))) (- (* (+ e c) (+ e c))) (exp (- (* d d) (* (+ e c) (+ e c)))) (log (- (* d d) (* (+ e c) (+ e c)))) (exp (- (* d d) (* (+ e c) (+ e c)))) (* (cbrt (- (* d d) (* (+ e c) (+ e c)))) (cbrt (- (* d d) (* (+ e c) (+ e c))))) (cbrt (- (* d d) (* (+ e c) (+ e c)))) (pow (- (* d d) (* (+ e c) (+ e c))) 3) (sqrt (- (* d d) (* (+ e c) (+ e c)))) (sqrt (- (* d d) (* (+ e c) (+ e c)))) (- (pow (* d d) 3) (pow (* (+ e c) (+ e c)) 3)) (fma (pow d 3) d (fma (pow d 2) (* (+ e c) (+ e c)) (pow (+ e c) 4))) (- (* (+ e c) (+ e c))) (fma (- (pow (+ e c) 3)) (+ e c) (pow d 4)) (fma d d (* (+ e c) (+ e c))) (+ d (+ e c)) (- d (+ e c)) (- (* d d) (* e (+ e c))) (- (* d d) (* e (+ e c))) (- (* (+ e c) (+ e c))) (fma e e (fma (* 2 e) c (pow c 2))) (fma e e (fma (* 2 e) c (pow c 2))) (fma e e (fma (* 2 e) c (pow c 2))) (- d (+ e c)) (- d (+ e c)) (- d (+ e c)) (+ d (+ e c)) (+ d (+ e c)) (+ d (+ e c)) (- (pow d 2) (+ (pow e 2) (* 2 (* e c)))) (- (- (pow c 2)) (fma (* 2 e) c (pow e 2))) (- (- (pow c 2)) (fma (* 2 e) c (pow e 2))) 1.665 * * * [progress]: adding candidates to table 1.981 * [progress]: [Phase 3 of 3] Extracting. 1.981 * * [regime]: Finding splitpoints for: (# # # # # # #) 1.983 * * * [regime-changes]: Trying 8 branch expressions: ((+ e d) (+ (+ e d) c) (+ (+ (+ e d) c) b) e d c b a) 1.983 * * * * [regimes]: Trying to branch on (+ e d) from (# # # # # # #) 2.014 * * * * [regimes]: Trying to branch on (+ e d) from (# #) 2.032 * * * * [regimes]: Trying to branch on (+ (+ e d) c) from (# # # # # # #) 2.063 * * * * [regimes]: Trying to branch on (+ (+ (+ e d) c) b) from (# # # # # # #) 2.092 * * * * [regimes]: Trying to branch on e from (# # # # # # #) 2.123 * * * * [regimes]: Trying to branch on d from (# # # # # # #) 2.153 * * * * [regimes]: Trying to branch on c from (# # # # # # #) 2.184 * * * * [regimes]: Trying to branch on b from (# # # # # # #) 2.215 * * * * [regimes]: Trying to branch on a from (# # # # # # #) 2.245 * * * [regime]: Found split indices: #