43.560 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.026 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.030 * [simplify]: Simplifying using # : (+ (+ (+ (+ e d) c) b) a) 0.034 * * [simplify]: iteration 0 : 185 enodes (cost 9 ) 0.034 * * [simplify]: iteration 1 : 185 enodes (cost 9 ) 0.034 * [simplify]: Simplified to: (+ e (+ d (+ c (+ b a)))) 0.039 * * [progress]: iteration 1 / 4 0.039 * * * [progress]: picking best candidate 0.045 * * * * [pick]: Picked # 0.045 * * * [progress]: localizing error 0.055 * * * [progress]: generating rewritten candidates 0.055 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.065 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.072 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 0.079 * * * [progress]: generating series expansions 0.079 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.079 * [approximate]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in (e d c b a) around 0 0.079 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in a 0.079 * [taylor]: Taking taylor expansion of d in a 0.079 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in a 0.079 * [taylor]: Taking taylor expansion of e in a 0.079 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in a 0.079 * [taylor]: Taking taylor expansion of b in a 0.079 * [taylor]: Taking taylor expansion of (+ a c) in a 0.079 * [taylor]: Taking taylor expansion of a in a 0.079 * [taylor]: Taking taylor expansion of c in a 0.079 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in b 0.079 * [taylor]: Taking taylor expansion of d in b 0.079 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in b 0.079 * [taylor]: Taking taylor expansion of e in b 0.079 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in b 0.079 * [taylor]: Taking taylor expansion of b in b 0.079 * [taylor]: Taking taylor expansion of (+ a c) in b 0.079 * [taylor]: Taking taylor expansion of a in b 0.079 * [taylor]: Taking taylor expansion of c in b 0.079 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in c 0.079 * [taylor]: Taking taylor expansion of d in c 0.079 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in c 0.079 * [taylor]: Taking taylor expansion of e in c 0.079 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in c 0.079 * [taylor]: Taking taylor expansion of b in c 0.079 * [taylor]: Taking taylor expansion of (+ a c) in c 0.079 * [taylor]: Taking taylor expansion of a in c 0.079 * [taylor]: Taking taylor expansion of c in c 0.079 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in d 0.079 * [taylor]: Taking taylor expansion of d in d 0.079 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in d 0.079 * [taylor]: Taking taylor expansion of e in d 0.079 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in d 0.079 * [taylor]: Taking taylor expansion of b in d 0.079 * [taylor]: Taking taylor expansion of (+ a c) in d 0.079 * [taylor]: Taking taylor expansion of a in d 0.079 * [taylor]: Taking taylor expansion of c in d 0.079 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e 0.079 * [taylor]: Taking taylor expansion of d in e 0.079 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 0.079 * [taylor]: Taking taylor expansion of e in e 0.079 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 0.079 * [taylor]: Taking taylor expansion of b in e 0.079 * [taylor]: Taking taylor expansion of (+ a c) in e 0.080 * [taylor]: Taking taylor expansion of a in e 0.080 * [taylor]: Taking taylor expansion of c in e 0.080 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e 0.080 * [taylor]: Taking taylor expansion of d in e 0.080 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 0.080 * [taylor]: Taking taylor expansion of e in e 0.080 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 0.080 * [taylor]: Taking taylor expansion of b in e 0.080 * [taylor]: Taking taylor expansion of (+ a c) in e 0.080 * [taylor]: Taking taylor expansion of a in e 0.080 * [taylor]: Taking taylor expansion of c in e 0.080 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.080 * [taylor]: Taking taylor expansion of d in d 0.080 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.080 * [taylor]: Taking taylor expansion of a in d 0.080 * [taylor]: Taking taylor expansion of (+ b c) in d 0.080 * [taylor]: Taking taylor expansion of b in d 0.080 * [taylor]: Taking taylor expansion of c in d 0.080 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.080 * [taylor]: Taking taylor expansion of a in c 0.080 * [taylor]: Taking taylor expansion of (+ c b) in c 0.080 * [taylor]: Taking taylor expansion of c in c 0.080 * [taylor]: Taking taylor expansion of b in c 0.080 * [taylor]: Taking taylor expansion of (+ a b) in b 0.080 * [taylor]: Taking taylor expansion of a in b 0.080 * [taylor]: Taking taylor expansion of b in b 0.080 * [taylor]: Taking taylor expansion of a in a 0.080 * [taylor]: Taking taylor expansion of 1 in d 0.080 * [taylor]: Taking taylor expansion of 1 in c 0.080 * [taylor]: Taking taylor expansion of 1 in b 0.080 * [taylor]: Taking taylor expansion of 1 in a 0.080 * [taylor]: Taking taylor expansion of 1 in c 0.080 * [taylor]: Taking taylor expansion of 1 in b 0.080 * [taylor]: Taking taylor expansion of 1 in a 0.080 * [taylor]: Taking taylor expansion of 1 in b 0.080 * [taylor]: Taking taylor expansion of 1 in a 0.081 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in (e d c b a) around 0 0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in a 0.081 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.081 * [taylor]: Taking taylor expansion of b in a 0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in a 0.081 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.081 * [taylor]: Taking taylor expansion of d in a 0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in a 0.081 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.081 * [taylor]: Taking taylor expansion of c in a 0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in a 0.081 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.081 * [taylor]: Taking taylor expansion of a in a 0.081 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.081 * [taylor]: Taking taylor expansion of e in a 0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in b 0.081 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.081 * [taylor]: Taking taylor expansion of b in b 0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in b 0.081 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.081 * [taylor]: Taking taylor expansion of d in b 0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in b 0.081 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.081 * [taylor]: Taking taylor expansion of c in b 0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in b 0.081 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.081 * [taylor]: Taking taylor expansion of a in b 0.081 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.081 * [taylor]: Taking taylor expansion of e in b 0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in c 0.081 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.081 * [taylor]: Taking taylor expansion of b in c 0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in c 0.081 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.081 * [taylor]: Taking taylor expansion of d in c 0.082 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in c 0.082 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.082 * [taylor]: Taking taylor expansion of c in c 0.082 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in c 0.082 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.082 * [taylor]: Taking taylor expansion of a in c 0.082 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.082 * [taylor]: Taking taylor expansion of e in c 0.082 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in d 0.082 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.082 * [taylor]: Taking taylor expansion of b in d 0.082 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in d 0.082 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.082 * [taylor]: Taking taylor expansion of d in d 0.082 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in d 0.082 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.082 * [taylor]: Taking taylor expansion of c in d 0.082 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in d 0.082 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.082 * [taylor]: Taking taylor expansion of a in d 0.082 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.082 * [taylor]: Taking taylor expansion of e in d 0.082 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e 0.082 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.082 * [taylor]: Taking taylor expansion of b in e 0.082 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in e 0.082 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.082 * [taylor]: Taking taylor expansion of d in e 0.082 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in e 0.082 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.082 * [taylor]: Taking taylor expansion of c in e 0.082 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e 0.082 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.082 * [taylor]: Taking taylor expansion of a in e 0.082 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.082 * [taylor]: Taking taylor expansion of e in e 0.082 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e 0.082 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.082 * [taylor]: Taking taylor expansion of b in e 0.082 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in e 0.082 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.082 * [taylor]: Taking taylor expansion of d in e 0.082 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in e 0.082 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.082 * [taylor]: Taking taylor expansion of c in e 0.082 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e 0.082 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.082 * [taylor]: Taking taylor expansion of a in e 0.082 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.082 * [taylor]: Taking taylor expansion of e in e 0.083 * [taylor]: Taking taylor expansion of 1 in d 0.083 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.083 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.083 * [taylor]: Taking taylor expansion of a in d 0.083 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.083 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.083 * [taylor]: Taking taylor expansion of c in d 0.083 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.083 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.083 * [taylor]: Taking taylor expansion of d in d 0.083 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.083 * [taylor]: Taking taylor expansion of b in d 0.083 * [taylor]: Taking taylor expansion of 1 in c 0.083 * [taylor]: Taking taylor expansion of 1 in c 0.083 * [taylor]: Taking taylor expansion of 0 in d 0.084 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.084 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.084 * [taylor]: Taking taylor expansion of b in c 0.084 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.084 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.084 * [taylor]: Taking taylor expansion of c in c 0.084 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.084 * [taylor]: Taking taylor expansion of a in c 0.084 * [taylor]: Taking taylor expansion of 1 in b 0.084 * [taylor]: Taking taylor expansion of 0 in c 0.084 * [taylor]: Taking taylor expansion of 1 in b 0.084 * [taylor]: Taking taylor expansion of 1 in b 0.084 * [taylor]: Taking taylor expansion of 0 in d 0.084 * [taylor]: Taking taylor expansion of 0 in c 0.084 * [taylor]: Taking taylor expansion of 0 in c 0.084 * [taylor]: Taking taylor expansion of 0 in c 0.084 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.084 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.084 * [taylor]: Taking taylor expansion of a in b 0.085 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.085 * [taylor]: Taking taylor expansion of b in b 0.085 * [taylor]: Taking taylor expansion of 1 in a 0.085 * [taylor]: Taking taylor expansion of 0 in b 0.085 * [taylor]: Taking taylor expansion of 0 in b 0.085 * [taylor]: Taking taylor expansion of 0 in b 0.085 * [taylor]: Taking taylor expansion of 1 in a 0.085 * [taylor]: Taking taylor expansion of 1 in a 0.085 * [taylor]: Taking taylor expansion of 1 in a 0.085 * [taylor]: Taking taylor expansion of 0 in d 0.085 * [taylor]: Taking taylor expansion of 0 in c 0.085 * [taylor]: Taking taylor expansion of 0 in c 0.086 * [taylor]: Taking taylor expansion of 0 in c 0.086 * [taylor]: Taking taylor expansion of 0 in c 0.086 * [taylor]: Taking taylor expansion of 0 in b 0.086 * [taylor]: Taking taylor expansion of 0 in b 0.086 * [taylor]: Taking taylor expansion of 0 in b 0.086 * [taylor]: Taking taylor expansion of 0 in b 0.086 * [taylor]: Taking taylor expansion of 0 in b 0.086 * [taylor]: Taking taylor expansion of 0 in b 0.086 * [taylor]: Taking taylor expansion of 0 in b 0.086 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.086 * [taylor]: Taking taylor expansion of a in a 0.086 * [taylor]: Taking taylor expansion of 0 in a 0.086 * [taylor]: Taking taylor expansion of 0 in a 0.086 * [taylor]: Taking taylor expansion of 0 in a 0.086 * [taylor]: Taking taylor expansion of 0 in a 0.086 * [taylor]: Taking taylor expansion of 0 in a 0.086 * [taylor]: Taking taylor expansion of 0 in a 0.087 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in (e d c b a) around 0 0.087 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in a 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in a 0.087 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.087 * [taylor]: Taking taylor expansion of b in a 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in a 0.087 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.087 * [taylor]: Taking taylor expansion of d in a 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in a 0.087 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.087 * [taylor]: Taking taylor expansion of c in a 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in a 0.087 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.087 * [taylor]: Taking taylor expansion of a in a 0.087 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.087 * [taylor]: Taking taylor expansion of e in a 0.087 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in b 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in b 0.087 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.087 * [taylor]: Taking taylor expansion of b in b 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in b 0.087 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.087 * [taylor]: Taking taylor expansion of d in b 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in b 0.087 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.087 * [taylor]: Taking taylor expansion of c in b 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in b 0.087 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.087 * [taylor]: Taking taylor expansion of a in b 0.087 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.087 * [taylor]: Taking taylor expansion of e in b 0.087 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in c 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in c 0.087 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.087 * [taylor]: Taking taylor expansion of b in c 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in c 0.087 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.087 * [taylor]: Taking taylor expansion of d in c 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in c 0.087 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.087 * [taylor]: Taking taylor expansion of c in c 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in c 0.087 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.088 * [taylor]: Taking taylor expansion of a in c 0.088 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.088 * [taylor]: Taking taylor expansion of e in c 0.088 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in d 0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in d 0.088 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.088 * [taylor]: Taking taylor expansion of b in d 0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in d 0.088 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.088 * [taylor]: Taking taylor expansion of d in d 0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in d 0.088 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.088 * [taylor]: Taking taylor expansion of c in d 0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in d 0.088 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.088 * [taylor]: Taking taylor expansion of a in d 0.088 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.088 * [taylor]: Taking taylor expansion of e in d 0.088 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in e 0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e 0.088 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.088 * [taylor]: Taking taylor expansion of b in e 0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in e 0.088 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.088 * [taylor]: Taking taylor expansion of d in e 0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in e 0.088 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.088 * [taylor]: Taking taylor expansion of c in e 0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e 0.088 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.088 * [taylor]: Taking taylor expansion of a in e 0.088 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.088 * [taylor]: Taking taylor expansion of e in e 0.088 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in e 0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e 0.088 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.088 * [taylor]: Taking taylor expansion of b in e 0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in e 0.088 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.088 * [taylor]: Taking taylor expansion of d in e 0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in e 0.088 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.088 * [taylor]: Taking taylor expansion of c in e 0.088 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e 0.088 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.088 * [taylor]: Taking taylor expansion of a in e 0.088 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.088 * [taylor]: Taking taylor expansion of e in e 0.089 * [taylor]: Taking taylor expansion of (neg 1) in d 0.089 * [taylor]: Taking taylor expansion of 1 in d 0.089 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) in d 0.089 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in d 0.089 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.089 * [taylor]: Taking taylor expansion of a in d 0.089 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d 0.089 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.089 * [taylor]: Taking taylor expansion of d in d 0.089 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d 0.089 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.089 * [taylor]: Taking taylor expansion of c in d 0.089 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.089 * [taylor]: Taking taylor expansion of b in d 0.089 * [taylor]: Taking taylor expansion of (neg 1) in c 0.089 * [taylor]: Taking taylor expansion of 1 in c 0.089 * [taylor]: Taking taylor expansion of (neg 1) in c 0.089 * [taylor]: Taking taylor expansion of 1 in c 0.090 * [taylor]: Taking taylor expansion of 0 in d 0.090 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.090 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.090 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.090 * [taylor]: Taking taylor expansion of b in c 0.090 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.090 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.090 * [taylor]: Taking taylor expansion of c in c 0.090 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.090 * [taylor]: Taking taylor expansion of a in c 0.090 * [taylor]: Taking taylor expansion of (neg 1) in b 0.090 * [taylor]: Taking taylor expansion of 1 in b 0.090 * [taylor]: Taking taylor expansion of 0 in c 0.090 * [taylor]: Taking taylor expansion of (neg 1) in b 0.090 * [taylor]: Taking taylor expansion of 1 in b 0.090 * [taylor]: Taking taylor expansion of (neg 1) in b 0.090 * [taylor]: Taking taylor expansion of 1 in b 0.090 * [taylor]: Taking taylor expansion of 0 in d 0.090 * [taylor]: Taking taylor expansion of 0 in c 0.091 * [taylor]: Taking taylor expansion of 0 in c 0.091 * [taylor]: Taking taylor expansion of 0 in c 0.091 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.091 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.091 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.091 * [taylor]: Taking taylor expansion of a in b 0.091 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.091 * [taylor]: Taking taylor expansion of b in b 0.091 * [taylor]: Taking taylor expansion of (neg 1) in a 0.091 * [taylor]: Taking taylor expansion of 1 in a 0.091 * [taylor]: Taking taylor expansion of 0 in b 0.091 * [taylor]: Taking taylor expansion of 0 in b 0.091 * [taylor]: Taking taylor expansion of 0 in b 0.091 * [taylor]: Taking taylor expansion of (neg 1) in a 0.091 * [taylor]: Taking taylor expansion of 1 in a 0.091 * [taylor]: Taking taylor expansion of (neg 1) in a 0.091 * [taylor]: Taking taylor expansion of 1 in a 0.091 * [taylor]: Taking taylor expansion of (neg 1) in a 0.091 * [taylor]: Taking taylor expansion of 1 in a 0.092 * [taylor]: Taking taylor expansion of 0 in d 0.092 * [taylor]: Taking taylor expansion of 0 in c 0.092 * [taylor]: Taking taylor expansion of 0 in c 0.092 * [taylor]: Taking taylor expansion of 0 in c 0.092 * [taylor]: Taking taylor expansion of 0 in c 0.092 * [taylor]: Taking taylor expansion of 0 in b 0.092 * [taylor]: Taking taylor expansion of 0 in b 0.092 * [taylor]: Taking taylor expansion of 0 in b 0.092 * [taylor]: Taking taylor expansion of 0 in b 0.092 * [taylor]: Taking taylor expansion of 0 in b 0.092 * [taylor]: Taking taylor expansion of 0 in b 0.092 * [taylor]: Taking taylor expansion of 0 in b 0.092 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.092 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.092 * [taylor]: Taking taylor expansion of a in a 0.093 * [taylor]: Taking taylor expansion of 0 in a 0.093 * [taylor]: Taking taylor expansion of 0 in a 0.093 * [taylor]: Taking taylor expansion of 0 in a 0.093 * [taylor]: Taking taylor expansion of 0 in a 0.093 * [taylor]: Taking taylor expansion of 0 in a 0.093 * [taylor]: Taking taylor expansion of 0 in a 0.093 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.093 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (d c b a) around 0 0.093 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a 0.093 * [taylor]: Taking taylor expansion of d in a 0.093 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.093 * [taylor]: Taking taylor expansion of a in a 0.093 * [taylor]: Taking taylor expansion of (+ b c) in a 0.093 * [taylor]: Taking taylor expansion of b in a 0.093 * [taylor]: Taking taylor expansion of c in a 0.093 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b 0.093 * [taylor]: Taking taylor expansion of d in b 0.093 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.093 * [taylor]: Taking taylor expansion of a in b 0.093 * [taylor]: Taking taylor expansion of (+ b c) in b 0.093 * [taylor]: Taking taylor expansion of b in b 0.093 * [taylor]: Taking taylor expansion of c in b 0.093 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c 0.093 * [taylor]: Taking taylor expansion of d in c 0.093 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.093 * [taylor]: Taking taylor expansion of a in c 0.093 * [taylor]: Taking taylor expansion of (+ b c) in c 0.093 * [taylor]: Taking taylor expansion of b in c 0.093 * [taylor]: Taking taylor expansion of c in c 0.093 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.093 * [taylor]: Taking taylor expansion of d in d 0.093 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.094 * [taylor]: Taking taylor expansion of a in d 0.094 * [taylor]: Taking taylor expansion of (+ b c) in d 0.094 * [taylor]: Taking taylor expansion of b in d 0.094 * [taylor]: Taking taylor expansion of c in d 0.094 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.094 * [taylor]: Taking taylor expansion of d in d 0.094 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.094 * [taylor]: Taking taylor expansion of a in d 0.094 * [taylor]: Taking taylor expansion of (+ b c) in d 0.094 * [taylor]: Taking taylor expansion of b in d 0.094 * [taylor]: Taking taylor expansion of c in d 0.094 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.094 * [taylor]: Taking taylor expansion of a in c 0.094 * [taylor]: Taking taylor expansion of (+ c b) in c 0.094 * [taylor]: Taking taylor expansion of c in c 0.094 * [taylor]: Taking taylor expansion of b in c 0.094 * [taylor]: Taking taylor expansion of (+ a b) in b 0.094 * [taylor]: Taking taylor expansion of a in b 0.094 * [taylor]: Taking taylor expansion of b in b 0.094 * [taylor]: Taking taylor expansion of a in a 0.094 * [taylor]: Taking taylor expansion of 1 in c 0.094 * [taylor]: Taking taylor expansion of 1 in b 0.094 * [taylor]: Taking taylor expansion of 1 in a 0.094 * [taylor]: Taking taylor expansion of 1 in b 0.094 * [taylor]: Taking taylor expansion of 1 in a 0.094 * [taylor]: Taking taylor expansion of 1 in a 0.094 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in (d c b a) around 0 0.094 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.094 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.094 * [taylor]: Taking taylor expansion of a in a 0.094 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.094 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.094 * [taylor]: Taking taylor expansion of c in a 0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.095 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.095 * [taylor]: Taking taylor expansion of d in a 0.095 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.095 * [taylor]: Taking taylor expansion of b in a 0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.095 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.095 * [taylor]: Taking taylor expansion of a in b 0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.095 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.095 * [taylor]: Taking taylor expansion of c in b 0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.095 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.095 * [taylor]: Taking taylor expansion of d in b 0.095 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.095 * [taylor]: Taking taylor expansion of b in b 0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.095 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.095 * [taylor]: Taking taylor expansion of a in c 0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.095 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.095 * [taylor]: Taking taylor expansion of c in c 0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.095 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.095 * [taylor]: Taking taylor expansion of d in c 0.095 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.095 * [taylor]: Taking taylor expansion of b in c 0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.095 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.095 * [taylor]: Taking taylor expansion of a in d 0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.095 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.095 * [taylor]: Taking taylor expansion of c in d 0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.095 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.095 * [taylor]: Taking taylor expansion of d in d 0.095 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.095 * [taylor]: Taking taylor expansion of b in d 0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.095 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.095 * [taylor]: Taking taylor expansion of a in d 0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.095 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.095 * [taylor]: Taking taylor expansion of c in d 0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.095 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.095 * [taylor]: Taking taylor expansion of d in d 0.096 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.096 * [taylor]: Taking taylor expansion of b in d 0.096 * [taylor]: Taking taylor expansion of 1 in c 0.096 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.096 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.096 * [taylor]: Taking taylor expansion of b in c 0.096 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.096 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.096 * [taylor]: Taking taylor expansion of c in c 0.096 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.096 * [taylor]: Taking taylor expansion of a in c 0.096 * [taylor]: Taking taylor expansion of 1 in b 0.096 * [taylor]: Taking taylor expansion of 1 in b 0.096 * [taylor]: Taking taylor expansion of 0 in c 0.096 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.096 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.096 * [taylor]: Taking taylor expansion of a in b 0.096 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.096 * [taylor]: Taking taylor expansion of b in b 0.096 * [taylor]: Taking taylor expansion of 1 in a 0.096 * [taylor]: Taking taylor expansion of 0 in b 0.096 * [taylor]: Taking taylor expansion of 1 in a 0.096 * [taylor]: Taking taylor expansion of 1 in a 0.097 * [taylor]: Taking taylor expansion of 0 in c 0.097 * [taylor]: Taking taylor expansion of 0 in b 0.097 * [taylor]: Taking taylor expansion of 0 in b 0.097 * [taylor]: Taking taylor expansion of 0 in b 0.097 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.097 * [taylor]: Taking taylor expansion of a in a 0.097 * [taylor]: Taking taylor expansion of 0 in a 0.097 * [taylor]: Taking taylor expansion of 0 in a 0.097 * [taylor]: Taking taylor expansion of 0 in a 0.097 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in (d c b a) around 0 0.097 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in a 0.097 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.097 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.098 * [taylor]: Taking taylor expansion of a in a 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.098 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.098 * [taylor]: Taking taylor expansion of c in a 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.098 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.098 * [taylor]: Taking taylor expansion of d in a 0.098 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.098 * [taylor]: Taking taylor expansion of b in a 0.098 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in b 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.098 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.098 * [taylor]: Taking taylor expansion of a in b 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.098 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.098 * [taylor]: Taking taylor expansion of c in b 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.098 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.098 * [taylor]: Taking taylor expansion of d in b 0.098 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.098 * [taylor]: Taking taylor expansion of b in b 0.098 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in c 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.098 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.098 * [taylor]: Taking taylor expansion of a in c 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.098 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.098 * [taylor]: Taking taylor expansion of c in c 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.098 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.098 * [taylor]: Taking taylor expansion of d in c 0.098 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.098 * [taylor]: Taking taylor expansion of b in c 0.098 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.098 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.098 * [taylor]: Taking taylor expansion of a in d 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.098 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.098 * [taylor]: Taking taylor expansion of c in d 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.098 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.098 * [taylor]: Taking taylor expansion of d in d 0.098 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.098 * [taylor]: Taking taylor expansion of b in d 0.098 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.098 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.098 * [taylor]: Taking taylor expansion of a in d 0.099 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.099 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.099 * [taylor]: Taking taylor expansion of c in d 0.099 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.099 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.099 * [taylor]: Taking taylor expansion of d in d 0.099 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.099 * [taylor]: Taking taylor expansion of b in d 0.099 * [taylor]: Taking taylor expansion of (neg 1) in c 0.099 * [taylor]: Taking taylor expansion of 1 in c 0.099 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.099 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.099 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.099 * [taylor]: Taking taylor expansion of b in c 0.099 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.099 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.099 * [taylor]: Taking taylor expansion of c in c 0.099 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.099 * [taylor]: Taking taylor expansion of a in c 0.099 * [taylor]: Taking taylor expansion of (neg 1) in b 0.099 * [taylor]: Taking taylor expansion of 1 in b 0.099 * [taylor]: Taking taylor expansion of (neg 1) in b 0.099 * [taylor]: Taking taylor expansion of 1 in b 0.099 * [taylor]: Taking taylor expansion of 0 in c 0.100 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.100 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.100 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.100 * [taylor]: Taking taylor expansion of a in b 0.100 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.100 * [taylor]: Taking taylor expansion of b in b 0.100 * [taylor]: Taking taylor expansion of (neg 1) in a 0.100 * [taylor]: Taking taylor expansion of 1 in a 0.100 * [taylor]: Taking taylor expansion of 0 in b 0.100 * [taylor]: Taking taylor expansion of (neg 1) in a 0.100 * [taylor]: Taking taylor expansion of 1 in a 0.100 * [taylor]: Taking taylor expansion of (neg 1) in a 0.100 * [taylor]: Taking taylor expansion of 1 in a 0.100 * [taylor]: Taking taylor expansion of 0 in c 0.100 * [taylor]: Taking taylor expansion of 0 in b 0.100 * [taylor]: Taking taylor expansion of 0 in b 0.100 * [taylor]: Taking taylor expansion of 0 in b 0.100 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.100 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.100 * [taylor]: Taking taylor expansion of a in a 0.100 * [taylor]: Taking taylor expansion of 0 in a 0.101 * [taylor]: Taking taylor expansion of 0 in a 0.101 * [taylor]: Taking taylor expansion of 0 in a 0.101 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 0.101 * [approximate]: Taking taylor expansion of (+ a (+ b c)) in (c b a) around 0 0.101 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.101 * [taylor]: Taking taylor expansion of a in a 0.101 * [taylor]: Taking taylor expansion of (+ b c) in a 0.101 * [taylor]: Taking taylor expansion of b in a 0.101 * [taylor]: Taking taylor expansion of c in a 0.101 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.101 * [taylor]: Taking taylor expansion of a in b 0.101 * [taylor]: Taking taylor expansion of (+ b c) in b 0.101 * [taylor]: Taking taylor expansion of b in b 0.101 * [taylor]: Taking taylor expansion of c in b 0.101 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.101 * [taylor]: Taking taylor expansion of a in c 0.101 * [taylor]: Taking taylor expansion of (+ b c) in c 0.101 * [taylor]: Taking taylor expansion of b in c 0.101 * [taylor]: Taking taylor expansion of c in c 0.101 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.101 * [taylor]: Taking taylor expansion of a in c 0.101 * [taylor]: Taking taylor expansion of (+ b c) in c 0.101 * [taylor]: Taking taylor expansion of b in c 0.101 * [taylor]: Taking taylor expansion of c in c 0.101 * [taylor]: Taking taylor expansion of (+ a b) in b 0.101 * [taylor]: Taking taylor expansion of a in b 0.101 * [taylor]: Taking taylor expansion of b in b 0.101 * [taylor]: Taking taylor expansion of a in a 0.101 * [taylor]: Taking taylor expansion of 1 in b 0.101 * [taylor]: Taking taylor expansion of 1 in a 0.101 * [taylor]: Taking taylor expansion of 1 in a 0.102 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in (c b a) around 0 0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a 0.102 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.102 * [taylor]: Taking taylor expansion of b in a 0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.102 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.102 * [taylor]: Taking taylor expansion of c in a 0.102 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.102 * [taylor]: Taking taylor expansion of a in a 0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in b 0.102 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.102 * [taylor]: Taking taylor expansion of b in b 0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.102 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.102 * [taylor]: Taking taylor expansion of c in b 0.102 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.102 * [taylor]: Taking taylor expansion of a in b 0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.102 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.102 * [taylor]: Taking taylor expansion of b in c 0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.102 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.102 * [taylor]: Taking taylor expansion of c in c 0.102 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.102 * [taylor]: Taking taylor expansion of a in c 0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.102 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.102 * [taylor]: Taking taylor expansion of b in c 0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.102 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.102 * [taylor]: Taking taylor expansion of c in c 0.102 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.102 * [taylor]: Taking taylor expansion of a in c 0.102 * [taylor]: Taking taylor expansion of 1 in b 0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.102 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.102 * [taylor]: Taking taylor expansion of a in b 0.103 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.103 * [taylor]: Taking taylor expansion of b in b 0.103 * [taylor]: Taking taylor expansion of 1 in a 0.103 * [taylor]: Taking taylor expansion of 1 in a 0.103 * [taylor]: Taking taylor expansion of 0 in b 0.103 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.103 * [taylor]: Taking taylor expansion of a in a 0.103 * [taylor]: Taking taylor expansion of 0 in a 0.103 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in (c b a) around 0 0.103 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in a 0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a 0.103 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.103 * [taylor]: Taking taylor expansion of b in a 0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.103 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.103 * [taylor]: Taking taylor expansion of c in a 0.103 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.103 * [taylor]: Taking taylor expansion of a in a 0.103 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in b 0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in b 0.103 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.103 * [taylor]: Taking taylor expansion of b in b 0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.103 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.103 * [taylor]: Taking taylor expansion of c in b 0.103 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.103 * [taylor]: Taking taylor expansion of a in b 0.104 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.104 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.104 * [taylor]: Taking taylor expansion of b in c 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.104 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.104 * [taylor]: Taking taylor expansion of c in c 0.104 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.104 * [taylor]: Taking taylor expansion of a in c 0.104 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.104 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.104 * [taylor]: Taking taylor expansion of b in c 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.104 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.104 * [taylor]: Taking taylor expansion of c in c 0.104 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.104 * [taylor]: Taking taylor expansion of a in c 0.104 * [taylor]: Taking taylor expansion of (neg 1) in b 0.104 * [taylor]: Taking taylor expansion of 1 in b 0.104 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.104 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.104 * [taylor]: Taking taylor expansion of a in b 0.104 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.104 * [taylor]: Taking taylor expansion of b in b 0.104 * [taylor]: Taking taylor expansion of (neg 1) in a 0.104 * [taylor]: Taking taylor expansion of 1 in a 0.104 * [taylor]: Taking taylor expansion of (neg 1) in a 0.104 * [taylor]: Taking taylor expansion of 1 in a 0.104 * [taylor]: Taking taylor expansion of 0 in b 0.105 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.105 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.105 * [taylor]: Taking taylor expansion of a in a 0.105 * [taylor]: Taking taylor expansion of 0 in a 0.105 * * * [progress]: simplifying candidates 0.106 * [simplify]: Simplifying using # : (* (exp e) (* (exp d) (* (exp c) (* (exp b) (exp a))))) (* (exp e) (* (exp d) (* (exp c) (exp (+ b a))))) (* (exp e) (* (exp d) (exp (+ c (+ b a))))) (* (exp e) (exp (+ 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))))) (* (* (+ 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 3) (pow (+ d (+ c (+ b a))) 3)) (+ (* e e) (- (* (+ d (+ c (+ b a))) (+ d (+ c (+ b a)))) (* e (+ d (+ c (+ b a)))))) (- (* e e) (* (+ d (+ c (+ b a))) (+ d (+ c (+ b 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)))) (+ e d) (* (exp d) (* (exp c) (* (exp b) (exp a)))) (* (exp d) (* (exp c) (exp (+ b a)))) (* (exp d) (exp (+ c (+ b a)))) (log (+ d (+ c (+ b a)))) (exp (+ d (+ c (+ b a)))) (* (cbrt (+ d (+ c (+ b a)))) (cbrt (+ d (+ c (+ b a))))) (cbrt (+ d (+ c (+ b a)))) (* (* (+ d (+ c (+ b a))) (+ d (+ c (+ b a)))) (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) (+ (pow d 3) (pow (+ c (+ b a)) 3)) (+ (* d d) (- (* (+ c (+ b a)) (+ c (+ b a))) (* d (+ c (+ b a))))) (- (* d d) (* (+ c (+ b a)) (+ c (+ b a)))) (- d (+ c (+ b a))) (+ d (+ c (+ b a))) (+ d (+ c (+ b a))) (+ d (+ c (+ b a))) (+ d c) (* (exp c) (* (exp b) (exp a))) (* (exp c) (exp (+ b a))) (log (+ c (+ b a))) (exp (+ c (+ b a))) (* (cbrt (+ c (+ b a))) (cbrt (+ c (+ b a)))) (cbrt (+ c (+ b a))) (* (* (+ c (+ b a)) (+ c (+ b a))) (+ c (+ b a))) (sqrt (+ c (+ b a))) (sqrt (+ c (+ b a))) (+ (pow c 3) (pow (+ b a) 3)) (+ (* c c) (- (* (+ b a) (+ b a)) (* c (+ b a)))) (- (* c c) (* (+ b a) (+ b a))) (- c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) (+ c b) (+ d (+ e c)) (+ a (+ b c)) (+ a (+ b c)) (+ d (+ b c)) (+ a (+ b c)) (+ a (+ b c)) (+ a (+ b c)) (+ a (+ b c)) (+ a (+ b c)) 0.131 * * [simplify]: iteration 0 : 4969 enodes (cost 545 ) 0.131 * * [simplify]: iteration 1 : 4969 enodes (cost 545 ) 0.133 * [simplify]: Simplified to: (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 3) (pow (+ d (+ c (+ b a))) 3)) (+ (* e e) (* (+ d (+ c (+ b a))) (+ d (+ c (+ b (- a e)))))) (- (* e e) (* (+ d (+ c (+ b a))) (+ d (+ c (+ b 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)))) (+ e d) (exp (+ d (+ c (+ b a)))) (exp (+ d (+ c (+ b a)))) (exp (+ d (+ c (+ b a)))) (log (+ d (+ c (+ b a)))) (exp (+ d (+ c (+ b a)))) (* (cbrt (+ d (+ c (+ b a)))) (cbrt (+ d (+ c (+ b a))))) (cbrt (+ d (+ c (+ b a)))) (pow (+ d (+ c (+ b a))) 3) (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) (+ (pow d 3) (pow (+ c (+ b a)) 3)) (+ (* d d) (* (+ c (+ b a)) (+ c (+ b (- a d))))) (- (* d d) (* (+ c (+ b a)) (+ c (+ b a)))) (- d (+ c (+ b a))) (+ d (+ c (+ b a))) (+ d (+ c (+ b a))) (+ d (+ c (+ b a))) (+ d c) (exp (+ c (+ b a))) (exp (+ c (+ b a))) (log (+ c (+ b a))) (exp (+ c (+ b a))) (* (cbrt (+ c (+ b a))) (cbrt (+ c (+ b a)))) (cbrt (+ c (+ b a))) (pow (+ c (+ b a)) 3) (sqrt (+ c (+ b a))) (sqrt (+ c (+ b a))) (+ (pow c 3) (pow (+ b a) 3)) (+ (* c c) (* (+ b a) (+ b (- a c)))) (- (* c c) (* (+ b a) (+ b a))) (- c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) (+ c b) (+ e (+ d c)) (+ c (+ b a)) (+ c (+ b a)) (+ d (+ c b)) (+ c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) 0.133 * * * [progress]: adding candidates to table 0.186 * * [progress]: iteration 2 / 4 0.186 * * * [progress]: picking best candidate 0.210 * * * * [pick]: Picked # 0.210 * * * [progress]: localizing error 0.217 * * * [progress]: generating rewritten candidates 0.217 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.227 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.234 * * * [progress]: generating series expansions 0.234 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.234 * [approximate]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in (e d c b a) around 0 0.234 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in a 0.234 * [taylor]: Taking taylor expansion of d in a 0.234 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in a 0.234 * [taylor]: Taking taylor expansion of e in a 0.234 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in a 0.234 * [taylor]: Taking taylor expansion of b in a 0.234 * [taylor]: Taking taylor expansion of (+ a c) in a 0.234 * [taylor]: Taking taylor expansion of a in a 0.234 * [taylor]: Taking taylor expansion of c in a 0.234 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in b 0.234 * [taylor]: Taking taylor expansion of d in b 0.234 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in b 0.234 * [taylor]: Taking taylor expansion of e in b 0.234 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in b 0.234 * [taylor]: Taking taylor expansion of b in b 0.234 * [taylor]: Taking taylor expansion of (+ a c) in b 0.234 * [taylor]: Taking taylor expansion of a in b 0.234 * [taylor]: Taking taylor expansion of c in b 0.234 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in c 0.234 * [taylor]: Taking taylor expansion of d in c 0.234 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in c 0.234 * [taylor]: Taking taylor expansion of e in c 0.234 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in c 0.234 * [taylor]: Taking taylor expansion of b in c 0.234 * [taylor]: Taking taylor expansion of (+ a c) in c 0.234 * [taylor]: Taking taylor expansion of a in c 0.234 * [taylor]: Taking taylor expansion of c in c 0.234 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in d 0.234 * [taylor]: Taking taylor expansion of d in d 0.234 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in d 0.234 * [taylor]: Taking taylor expansion of e in d 0.234 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in d 0.234 * [taylor]: Taking taylor expansion of b in d 0.234 * [taylor]: Taking taylor expansion of (+ a c) in d 0.234 * [taylor]: Taking taylor expansion of a in d 0.234 * [taylor]: Taking taylor expansion of c in d 0.234 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e 0.234 * [taylor]: Taking taylor expansion of d in e 0.234 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 0.234 * [taylor]: Taking taylor expansion of e in e 0.234 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 0.234 * [taylor]: Taking taylor expansion of b in e 0.234 * [taylor]: Taking taylor expansion of (+ a c) in e 0.234 * [taylor]: Taking taylor expansion of a in e 0.234 * [taylor]: Taking taylor expansion of c in e 0.234 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e 0.234 * [taylor]: Taking taylor expansion of d in e 0.234 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 0.234 * [taylor]: Taking taylor expansion of e in e 0.234 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 0.234 * [taylor]: Taking taylor expansion of b in e 0.235 * [taylor]: Taking taylor expansion of (+ a c) in e 0.235 * [taylor]: Taking taylor expansion of a in e 0.235 * [taylor]: Taking taylor expansion of c in e 0.235 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.235 * [taylor]: Taking taylor expansion of d in d 0.235 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.235 * [taylor]: Taking taylor expansion of a in d 0.235 * [taylor]: Taking taylor expansion of (+ b c) in d 0.235 * [taylor]: Taking taylor expansion of b in d 0.235 * [taylor]: Taking taylor expansion of c in d 0.235 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.235 * [taylor]: Taking taylor expansion of a in c 0.235 * [taylor]: Taking taylor expansion of (+ c b) in c 0.235 * [taylor]: Taking taylor expansion of c in c 0.235 * [taylor]: Taking taylor expansion of b in c 0.235 * [taylor]: Taking taylor expansion of (+ a b) in b 0.235 * [taylor]: Taking taylor expansion of a in b 0.235 * [taylor]: Taking taylor expansion of b in b 0.235 * [taylor]: Taking taylor expansion of a in a 0.235 * [taylor]: Taking taylor expansion of 1 in d 0.235 * [taylor]: Taking taylor expansion of 1 in c 0.235 * [taylor]: Taking taylor expansion of 1 in b 0.235 * [taylor]: Taking taylor expansion of 1 in a 0.235 * [taylor]: Taking taylor expansion of 1 in c 0.235 * [taylor]: Taking taylor expansion of 1 in b 0.235 * [taylor]: Taking taylor expansion of 1 in a 0.235 * [taylor]: Taking taylor expansion of 1 in b 0.235 * [taylor]: Taking taylor expansion of 1 in a 0.236 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in (e d c b a) around 0 0.236 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in a 0.236 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.236 * [taylor]: Taking taylor expansion of a in a 0.236 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in a 0.236 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.236 * [taylor]: Taking taylor expansion of c in a 0.236 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in a 0.236 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.236 * [taylor]: Taking taylor expansion of b in a 0.236 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in a 0.236 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.236 * [taylor]: Taking taylor expansion of d in a 0.236 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.236 * [taylor]: Taking taylor expansion of e in a 0.236 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in b 0.236 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.236 * [taylor]: Taking taylor expansion of a in b 0.236 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in b 0.236 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.236 * [taylor]: Taking taylor expansion of c in b 0.236 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in b 0.236 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.236 * [taylor]: Taking taylor expansion of b in b 0.236 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in b 0.236 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.236 * [taylor]: Taking taylor expansion of d in b 0.236 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.236 * [taylor]: Taking taylor expansion of e in b 0.236 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in c 0.236 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.236 * [taylor]: Taking taylor expansion of a in c 0.236 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in c 0.236 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.236 * [taylor]: Taking taylor expansion of c in c 0.236 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in c 0.236 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.236 * [taylor]: Taking taylor expansion of b in c 0.236 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in c 0.236 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.236 * [taylor]: Taking taylor expansion of d in c 0.236 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.236 * [taylor]: Taking taylor expansion of e in c 0.237 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in d 0.237 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.237 * [taylor]: Taking taylor expansion of a in d 0.237 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in d 0.237 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.237 * [taylor]: Taking taylor expansion of c in d 0.237 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in d 0.237 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.237 * [taylor]: Taking taylor expansion of b in d 0.237 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 0.237 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.237 * [taylor]: Taking taylor expansion of d in d 0.237 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.237 * [taylor]: Taking taylor expansion of e in d 0.237 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in e 0.237 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.237 * [taylor]: Taking taylor expansion of a in e 0.237 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in e 0.237 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.237 * [taylor]: Taking taylor expansion of c in e 0.237 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in e 0.237 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.237 * [taylor]: Taking taylor expansion of b in e 0.237 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 0.237 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.237 * [taylor]: Taking taylor expansion of d in e 0.237 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.237 * [taylor]: Taking taylor expansion of e in e 0.237 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in e 0.237 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.237 * [taylor]: Taking taylor expansion of a in e 0.237 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in e 0.237 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.237 * [taylor]: Taking taylor expansion of c in e 0.237 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in e 0.237 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.237 * [taylor]: Taking taylor expansion of b in e 0.237 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 0.237 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.237 * [taylor]: Taking taylor expansion of d in e 0.237 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.237 * [taylor]: Taking taylor expansion of e in e 0.237 * [taylor]: Taking taylor expansion of 1 in d 0.238 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d 0.238 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.238 * [taylor]: Taking taylor expansion of b in d 0.238 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d 0.238 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.238 * [taylor]: Taking taylor expansion of d in d 0.238 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d 0.238 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.238 * [taylor]: Taking taylor expansion of c in d 0.238 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.238 * [taylor]: Taking taylor expansion of a in d 0.238 * [taylor]: Taking taylor expansion of 1 in c 0.238 * [taylor]: Taking taylor expansion of 1 in c 0.238 * [taylor]: Taking taylor expansion of 0 in d 0.238 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c 0.238 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.238 * [taylor]: Taking taylor expansion of a in c 0.238 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c 0.238 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.239 * [taylor]: Taking taylor expansion of c in c 0.239 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.239 * [taylor]: Taking taylor expansion of b in c 0.239 * [taylor]: Taking taylor expansion of 1 in b 0.239 * [taylor]: Taking taylor expansion of 0 in c 0.239 * [taylor]: Taking taylor expansion of 1 in b 0.239 * [taylor]: Taking taylor expansion of 1 in b 0.239 * [taylor]: Taking taylor expansion of 0 in d 0.239 * [taylor]: Taking taylor expansion of 0 in c 0.239 * [taylor]: Taking taylor expansion of 0 in c 0.239 * [taylor]: Taking taylor expansion of 0 in c 0.239 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.239 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.239 * [taylor]: Taking taylor expansion of b in b 0.239 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.239 * [taylor]: Taking taylor expansion of a in b 0.239 * [taylor]: Taking taylor expansion of 1 in a 0.239 * [taylor]: Taking taylor expansion of 0 in b 0.240 * [taylor]: Taking taylor expansion of 0 in b 0.240 * [taylor]: Taking taylor expansion of 0 in b 0.240 * [taylor]: Taking taylor expansion of 1 in a 0.240 * [taylor]: Taking taylor expansion of 1 in a 0.240 * [taylor]: Taking taylor expansion of 1 in a 0.240 * [taylor]: Taking taylor expansion of 0 in d 0.240 * [taylor]: Taking taylor expansion of 0 in c 0.240 * [taylor]: Taking taylor expansion of 0 in c 0.240 * [taylor]: Taking taylor expansion of 0 in c 0.240 * [taylor]: Taking taylor expansion of 0 in c 0.240 * [taylor]: Taking taylor expansion of 0 in b 0.240 * [taylor]: Taking taylor expansion of 0 in b 0.240 * [taylor]: Taking taylor expansion of 0 in b 0.241 * [taylor]: Taking taylor expansion of 0 in b 0.241 * [taylor]: Taking taylor expansion of 0 in b 0.241 * [taylor]: Taking taylor expansion of 0 in b 0.241 * [taylor]: Taking taylor expansion of 0 in b 0.241 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.241 * [taylor]: Taking taylor expansion of a in a 0.241 * [taylor]: Taking taylor expansion of 0 in a 0.241 * [taylor]: Taking taylor expansion of 0 in a 0.241 * [taylor]: Taking taylor expansion of 0 in a 0.241 * [taylor]: Taking taylor expansion of 0 in a 0.241 * [taylor]: Taking taylor expansion of 0 in a 0.241 * [taylor]: Taking taylor expansion of 0 in a 0.241 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in (e d c b a) around 0 0.241 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in a 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in a 0.242 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.242 * [taylor]: Taking taylor expansion of a in a 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in a 0.242 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.242 * [taylor]: Taking taylor expansion of c in a 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in a 0.242 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.242 * [taylor]: Taking taylor expansion of b in a 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in a 0.242 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.242 * [taylor]: Taking taylor expansion of d in a 0.242 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.242 * [taylor]: Taking taylor expansion of e in a 0.242 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in b 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in b 0.242 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.242 * [taylor]: Taking taylor expansion of a in b 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in b 0.242 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.242 * [taylor]: Taking taylor expansion of c in b 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in b 0.242 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.242 * [taylor]: Taking taylor expansion of b in b 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in b 0.242 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.242 * [taylor]: Taking taylor expansion of d in b 0.242 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.242 * [taylor]: Taking taylor expansion of e in b 0.242 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in c 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in c 0.242 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.242 * [taylor]: Taking taylor expansion of a in c 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in c 0.242 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.242 * [taylor]: Taking taylor expansion of c in c 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in c 0.242 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.242 * [taylor]: Taking taylor expansion of b in c 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in c 0.242 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.242 * [taylor]: Taking taylor expansion of d in c 0.242 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.242 * [taylor]: Taking taylor expansion of e in c 0.242 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in d 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in d 0.242 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.242 * [taylor]: Taking taylor expansion of a in d 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in d 0.243 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.243 * [taylor]: Taking taylor expansion of c in d 0.243 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in d 0.243 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.243 * [taylor]: Taking taylor expansion of b in d 0.243 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 0.243 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.243 * [taylor]: Taking taylor expansion of d in d 0.243 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.243 * [taylor]: Taking taylor expansion of e in d 0.243 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in e 0.243 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in e 0.243 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.243 * [taylor]: Taking taylor expansion of a in e 0.243 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in e 0.243 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.243 * [taylor]: Taking taylor expansion of c in e 0.243 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in e 0.243 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.243 * [taylor]: Taking taylor expansion of b in e 0.243 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 0.243 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.243 * [taylor]: Taking taylor expansion of d in e 0.243 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.243 * [taylor]: Taking taylor expansion of e in e 0.243 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in e 0.243 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in e 0.243 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.243 * [taylor]: Taking taylor expansion of a in e 0.243 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in e 0.243 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.243 * [taylor]: Taking taylor expansion of c in e 0.243 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in e 0.243 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.243 * [taylor]: Taking taylor expansion of b in e 0.243 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 0.243 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.243 * [taylor]: Taking taylor expansion of d in e 0.243 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.243 * [taylor]: Taking taylor expansion of e in e 0.243 * [taylor]: Taking taylor expansion of (neg 1) in d 0.243 * [taylor]: Taking taylor expansion of 1 in d 0.244 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in d 0.244 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d 0.244 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.244 * [taylor]: Taking taylor expansion of b in d 0.244 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d 0.244 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.244 * [taylor]: Taking taylor expansion of c in d 0.244 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d 0.244 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.244 * [taylor]: Taking taylor expansion of d in d 0.244 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.244 * [taylor]: Taking taylor expansion of a in d 0.244 * [taylor]: Taking taylor expansion of (neg 1) in c 0.244 * [taylor]: Taking taylor expansion of 1 in c 0.244 * [taylor]: Taking taylor expansion of (neg 1) in c 0.244 * [taylor]: Taking taylor expansion of 1 in c 0.244 * [taylor]: Taking taylor expansion of 0 in d 0.245 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (/ 1 b)))) in c 0.245 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c 0.245 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.245 * [taylor]: Taking taylor expansion of a in c 0.245 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c 0.245 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.245 * [taylor]: Taking taylor expansion of c in c 0.245 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.245 * [taylor]: Taking taylor expansion of b in c 0.245 * [taylor]: Taking taylor expansion of (neg 1) in b 0.245 * [taylor]: Taking taylor expansion of 1 in b 0.245 * [taylor]: Taking taylor expansion of 0 in c 0.245 * [taylor]: Taking taylor expansion of (neg 1) in b 0.245 * [taylor]: Taking taylor expansion of 1 in b 0.245 * [taylor]: Taking taylor expansion of (neg 1) in b 0.245 * [taylor]: Taking taylor expansion of 1 in b 0.245 * [taylor]: Taking taylor expansion of 0 in d 0.245 * [taylor]: Taking taylor expansion of 0 in c 0.245 * [taylor]: Taking taylor expansion of 0 in c 0.246 * [taylor]: Taking taylor expansion of 0 in c 0.246 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in b 0.246 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.246 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.246 * [taylor]: Taking taylor expansion of b in b 0.246 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.246 * [taylor]: Taking taylor expansion of a in b 0.246 * [taylor]: Taking taylor expansion of (neg 1) in a 0.246 * [taylor]: Taking taylor expansion of 1 in a 0.246 * [taylor]: Taking taylor expansion of 0 in b 0.246 * [taylor]: Taking taylor expansion of 0 in b 0.246 * [taylor]: Taking taylor expansion of 0 in b 0.246 * [taylor]: Taking taylor expansion of (neg 1) in a 0.246 * [taylor]: Taking taylor expansion of 1 in a 0.246 * [taylor]: Taking taylor expansion of (neg 1) in a 0.246 * [taylor]: Taking taylor expansion of 1 in a 0.246 * [taylor]: Taking taylor expansion of (neg 1) in a 0.246 * [taylor]: Taking taylor expansion of 1 in a 0.246 * [taylor]: Taking taylor expansion of 0 in d 0.247 * [taylor]: Taking taylor expansion of 0 in c 0.247 * [taylor]: Taking taylor expansion of 0 in c 0.247 * [taylor]: Taking taylor expansion of 0 in c 0.247 * [taylor]: Taking taylor expansion of 0 in c 0.247 * [taylor]: Taking taylor expansion of 0 in b 0.247 * [taylor]: Taking taylor expansion of 0 in b 0.247 * [taylor]: Taking taylor expansion of 0 in b 0.247 * [taylor]: Taking taylor expansion of 0 in b 0.247 * [taylor]: Taking taylor expansion of 0 in b 0.247 * [taylor]: Taking taylor expansion of 0 in b 0.247 * [taylor]: Taking taylor expansion of 0 in b 0.247 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.247 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.247 * [taylor]: Taking taylor expansion of a in a 0.247 * [taylor]: Taking taylor expansion of 0 in a 0.247 * [taylor]: Taking taylor expansion of 0 in a 0.247 * [taylor]: Taking taylor expansion of 0 in a 0.247 * [taylor]: Taking taylor expansion of 0 in a 0.248 * [taylor]: Taking taylor expansion of 0 in a 0.248 * [taylor]: Taking taylor expansion of 0 in a 0.248 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.248 * [approximate]: Taking taylor expansion of (+ a (+ b c)) in (c b a) around 0 0.248 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.248 * [taylor]: Taking taylor expansion of a in a 0.248 * [taylor]: Taking taylor expansion of (+ b c) in a 0.248 * [taylor]: Taking taylor expansion of b in a 0.248 * [taylor]: Taking taylor expansion of c in a 0.248 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.248 * [taylor]: Taking taylor expansion of a in b 0.248 * [taylor]: Taking taylor expansion of (+ b c) in b 0.248 * [taylor]: Taking taylor expansion of b in b 0.248 * [taylor]: Taking taylor expansion of c in b 0.248 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.248 * [taylor]: Taking taylor expansion of a in c 0.248 * [taylor]: Taking taylor expansion of (+ b c) in c 0.248 * [taylor]: Taking taylor expansion of b in c 0.248 * [taylor]: Taking taylor expansion of c in c 0.248 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.248 * [taylor]: Taking taylor expansion of a in c 0.248 * [taylor]: Taking taylor expansion of (+ b c) in c 0.248 * [taylor]: Taking taylor expansion of b in c 0.248 * [taylor]: Taking taylor expansion of c in c 0.248 * [taylor]: Taking taylor expansion of (+ a b) in b 0.248 * [taylor]: Taking taylor expansion of a in b 0.248 * [taylor]: Taking taylor expansion of b in b 0.248 * [taylor]: Taking taylor expansion of a in a 0.248 * [taylor]: Taking taylor expansion of 1 in b 0.248 * [taylor]: Taking taylor expansion of 1 in a 0.248 * [taylor]: Taking taylor expansion of 1 in a 0.249 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in (c b a) around 0 0.249 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a 0.249 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.249 * [taylor]: Taking taylor expansion of b in a 0.249 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.249 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.249 * [taylor]: Taking taylor expansion of c in a 0.249 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.249 * [taylor]: Taking taylor expansion of a in a 0.249 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in b 0.249 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.249 * [taylor]: Taking taylor expansion of b in b 0.249 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.249 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.249 * [taylor]: Taking taylor expansion of c in b 0.249 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.249 * [taylor]: Taking taylor expansion of a in b 0.249 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.249 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.249 * [taylor]: Taking taylor expansion of b in c 0.249 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.249 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.249 * [taylor]: Taking taylor expansion of c in c 0.249 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.249 * [taylor]: Taking taylor expansion of a in c 0.249 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.249 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.249 * [taylor]: Taking taylor expansion of b in c 0.249 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.249 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.249 * [taylor]: Taking taylor expansion of c in c 0.249 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.249 * [taylor]: Taking taylor expansion of a in c 0.249 * [taylor]: Taking taylor expansion of 1 in b 0.249 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.250 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.250 * [taylor]: Taking taylor expansion of a in b 0.250 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.250 * [taylor]: Taking taylor expansion of b in b 0.250 * [taylor]: Taking taylor expansion of 1 in a 0.250 * [taylor]: Taking taylor expansion of 1 in a 0.250 * [taylor]: Taking taylor expansion of 0 in b 0.250 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.250 * [taylor]: Taking taylor expansion of a in a 0.250 * [taylor]: Taking taylor expansion of 0 in a 0.250 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in (c b a) around 0 0.250 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in a 0.250 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a 0.250 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.250 * [taylor]: Taking taylor expansion of b in a 0.250 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.250 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.250 * [taylor]: Taking taylor expansion of c in a 0.250 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.250 * [taylor]: Taking taylor expansion of a in a 0.250 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in b 0.250 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in b 0.250 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.250 * [taylor]: Taking taylor expansion of b in b 0.250 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.250 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.250 * [taylor]: Taking taylor expansion of c in b 0.251 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.251 * [taylor]: Taking taylor expansion of a in b 0.251 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.251 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.251 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.251 * [taylor]: Taking taylor expansion of b in c 0.251 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.251 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.251 * [taylor]: Taking taylor expansion of c in c 0.251 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.251 * [taylor]: Taking taylor expansion of a in c 0.251 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.251 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.251 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.251 * [taylor]: Taking taylor expansion of b in c 0.251 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.251 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.251 * [taylor]: Taking taylor expansion of c in c 0.251 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.251 * [taylor]: Taking taylor expansion of a in c 0.251 * [taylor]: Taking taylor expansion of (neg 1) in b 0.251 * [taylor]: Taking taylor expansion of 1 in b 0.251 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.251 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.251 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.251 * [taylor]: Taking taylor expansion of a in b 0.251 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.251 * [taylor]: Taking taylor expansion of b in b 0.251 * [taylor]: Taking taylor expansion of (neg 1) in a 0.251 * [taylor]: Taking taylor expansion of 1 in a 0.251 * [taylor]: Taking taylor expansion of (neg 1) in a 0.251 * [taylor]: Taking taylor expansion of 1 in a 0.251 * [taylor]: Taking taylor expansion of 0 in b 0.252 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.252 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.252 * [taylor]: Taking taylor expansion of a in a 0.252 * [taylor]: Taking taylor expansion of 0 in a 0.252 * * * [progress]: simplifying candidates 0.253 * [simplify]: Simplifying using # : (* (* (exp e) (exp d)) (* (exp c) (* (exp b) (exp a)))) (* (* (exp e) (exp d)) (* (exp c) (exp (+ b a)))) (* (* (exp e) (exp d)) (exp (+ c (+ b a)))) (* (exp (+ e d)) (* (exp c) (* (exp b) (exp a)))) (* (exp (+ e d)) (* (exp c) (exp (+ b a)))) (* (exp (+ e d)) (exp (+ 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)))) (* (* (+ (+ 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 3) (pow d 3)) (+ (* c c) (- (* (+ b a) (+ b a)) (* c (+ b a))))) (* (+ (* e e) (- (* d d) (* e d))) (+ (pow c 3) (pow (+ b a) 3)))) (* (+ (* e e) (- (* d d) (* e d))) (+ (* c c) (- (* (+ b a) (+ b a)) (* c (+ b a))))) (+ (* (+ (pow e 3) (pow d 3)) (- c (+ b a))) (* (+ (* e e) (- (* d d) (* e d))) (- (* c c) (* (+ b a) (+ b a))))) (* (+ (* e e) (- (* d d) (* e d))) (- c (+ b a))) (+ (* (- (* e e) (* d d)) (+ (* c c) (- (* (+ b a) (+ b a)) (* c (+ b a))))) (* (- e d) (+ (pow c 3) (pow (+ b a) 3)))) (* (- e d) (+ (* c c) (- (* (+ b a) (+ b a)) (* c (+ b a))))) (+ (* (- (* e e) (* d d)) (- c (+ b a))) (* (- e d) (- (* c c) (* (+ b a) (+ b a))))) (* (- e d) (- c (+ b a))) (+ (pow (+ e d) 3) (pow (+ c (+ b a)) 3)) (+ (* (+ e d) (+ e d)) (- (* (+ c (+ b a)) (+ c (+ b a))) (* (+ e d) (+ c (+ b a))))) (- (* (+ e d) (+ e d)) (* (+ c (+ b a)) (+ c (+ b 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))) (+ (+ e d) (+ c (+ b a))) (+ (+ e d) (+ c (+ b a))) (+ (+ e d) c) (+ d (+ c (+ b a))) (* (exp c) (* (exp b) (exp a))) (* (exp c) (exp (+ b a))) (log (+ c (+ b a))) (exp (+ c (+ b a))) (* (cbrt (+ c (+ b a))) (cbrt (+ c (+ b a)))) (cbrt (+ c (+ b a))) (* (* (+ c (+ b a)) (+ c (+ b a))) (+ c (+ b a))) (sqrt (+ c (+ b a))) (sqrt (+ c (+ b a))) (+ (pow c 3) (pow (+ b a) 3)) (+ (* c c) (- (* (+ b a) (+ b a)) (* c (+ b a)))) (- (* c c) (* (+ b a) (+ b a))) (- c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) (+ c b) (+ d (+ e c)) (+ a (+ b c)) (+ a (+ b c)) (+ a (+ b c)) (+ a (+ b c)) (+ a (+ b c)) 0.273 * * [simplify]: iteration 0 : 4837 enodes (cost 599 ) 0.273 * * [simplify]: iteration 1 : 4837 enodes (cost 599 ) 0.275 * [simplify]: Simplified to: (exp (+ 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))))) (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 3) (pow d 3)) (+ (* c c) (* (+ b a) (+ b (- a c))))) (* (+ (* e e) (* d (- d e))) (+ (pow c 3) (pow (+ b a) 3)))) (* (+ (* c c) (* (+ b a) (+ b (- a c)))) (+ (* e e) (* d (- d e)))) (* (- c (+ b a)) (+ (+ (pow e 3) (pow d 3)) (* (+ c (+ b a)) (+ (* e e) (* d (- d e)))))) (* (+ (* e e) (* d (- d e))) (- c (+ b a))) (* (- e d) (+ (* (+ e d) (+ (* c c) (* (+ b a) (+ b (- a c))))) (+ (pow c 3) (pow (+ b a) 3)))) (* (+ (* c c) (* (+ b a) (+ b (- a c)))) (- e d)) (* (- c (+ b a)) (* (- e d) (+ e (+ d (+ c (+ b a)))))) (* (- c (+ b a)) (- e d)) (+ (pow (+ e d) 3) (pow (+ c (+ b a)) 3)) (+ (* (+ e d) (+ e d)) (* (+ c (+ b a)) (+ c (+ b (- a (+ e d)))))) (- (* (+ e d) (+ e d)) (* (+ c (+ b a)) (+ c (+ b 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)))) (+ e (+ d (+ c (+ b a)))) (+ e (+ d (+ c (+ b a)))) (+ e (+ d c)) (+ d (+ c (+ b a))) (exp (+ c (+ b a))) (exp (+ c (+ b a))) (log (+ c (+ b a))) (exp (+ c (+ b a))) (* (cbrt (+ c (+ b a))) (cbrt (+ c (+ b a)))) (cbrt (+ c (+ b a))) (pow (+ c (+ b a)) 3) (sqrt (+ c (+ b a))) (sqrt (+ c (+ b a))) (+ (pow c 3) (pow (+ b a) 3)) (+ (* c c) (* (+ b a) (+ b (- a c)))) (- (* c c) (* (+ b a) (+ b a))) (- c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) (+ c b) (+ e (+ d c)) (+ c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) 0.275 * * * [progress]: adding candidates to table 0.313 * * [progress]: iteration 3 / 4 0.313 * * * [progress]: picking best candidate 0.332 * * * * [pick]: Picked # 0.332 * * * [progress]: localizing error 0.343 * * * [progress]: generating rewritten candidates 0.343 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.349 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 0.359 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.368 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1) 0.374 * * * [progress]: generating series expansions 0.374 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.374 * [approximate]: Taking taylor expansion of (+ a (+ b c)) in (c b a) around 0 0.374 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.374 * [taylor]: Taking taylor expansion of a in a 0.374 * [taylor]: Taking taylor expansion of (+ b c) in a 0.375 * [taylor]: Taking taylor expansion of b in a 0.375 * [taylor]: Taking taylor expansion of c in a 0.375 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.375 * [taylor]: Taking taylor expansion of a in b 0.375 * [taylor]: Taking taylor expansion of (+ b c) in b 0.375 * [taylor]: Taking taylor expansion of b in b 0.375 * [taylor]: Taking taylor expansion of c in b 0.375 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.375 * [taylor]: Taking taylor expansion of a in c 0.375 * [taylor]: Taking taylor expansion of (+ b c) in c 0.375 * [taylor]: Taking taylor expansion of b in c 0.375 * [taylor]: Taking taylor expansion of c in c 0.375 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.375 * [taylor]: Taking taylor expansion of a in c 0.375 * [taylor]: Taking taylor expansion of (+ b c) in c 0.375 * [taylor]: Taking taylor expansion of b in c 0.375 * [taylor]: Taking taylor expansion of c in c 0.375 * [taylor]: Taking taylor expansion of (+ a b) in b 0.375 * [taylor]: Taking taylor expansion of a in b 0.375 * [taylor]: Taking taylor expansion of b in b 0.375 * [taylor]: Taking taylor expansion of a in a 0.375 * [taylor]: Taking taylor expansion of 1 in b 0.375 * [taylor]: Taking taylor expansion of 1 in a 0.375 * [taylor]: Taking taylor expansion of 1 in a 0.375 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in (c b a) around 0 0.375 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a 0.375 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.375 * [taylor]: Taking taylor expansion of b in a 0.375 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.375 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.375 * [taylor]: Taking taylor expansion of c in a 0.375 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.375 * [taylor]: Taking taylor expansion of a in a 0.376 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in b 0.376 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.376 * [taylor]: Taking taylor expansion of b in b 0.376 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.376 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.376 * [taylor]: Taking taylor expansion of c in b 0.376 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.376 * [taylor]: Taking taylor expansion of a in b 0.376 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.376 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.376 * [taylor]: Taking taylor expansion of b in c 0.376 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.376 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.376 * [taylor]: Taking taylor expansion of c in c 0.376 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.376 * [taylor]: Taking taylor expansion of a in c 0.376 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.376 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.376 * [taylor]: Taking taylor expansion of b in c 0.376 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.376 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.376 * [taylor]: Taking taylor expansion of c in c 0.376 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.376 * [taylor]: Taking taylor expansion of a in c 0.376 * [taylor]: Taking taylor expansion of 1 in b 0.376 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.376 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.376 * [taylor]: Taking taylor expansion of a in b 0.376 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.376 * [taylor]: Taking taylor expansion of b in b 0.376 * [taylor]: Taking taylor expansion of 1 in a 0.376 * [taylor]: Taking taylor expansion of 1 in a 0.376 * [taylor]: Taking taylor expansion of 0 in b 0.377 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.377 * [taylor]: Taking taylor expansion of a in a 0.377 * [taylor]: Taking taylor expansion of 0 in a 0.377 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in (c b a) around 0 0.377 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in a 0.377 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a 0.377 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.377 * [taylor]: Taking taylor expansion of b in a 0.377 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.377 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.377 * [taylor]: Taking taylor expansion of c in a 0.377 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.377 * [taylor]: Taking taylor expansion of a in a 0.377 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in b 0.377 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in b 0.377 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.377 * [taylor]: Taking taylor expansion of b in b 0.377 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.377 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.377 * [taylor]: Taking taylor expansion of c in b 0.377 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.377 * [taylor]: Taking taylor expansion of a in b 0.377 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.377 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.377 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.377 * [taylor]: Taking taylor expansion of b in c 0.377 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.377 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.377 * [taylor]: Taking taylor expansion of c in c 0.377 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.377 * [taylor]: Taking taylor expansion of a in c 0.377 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.378 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.378 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.378 * [taylor]: Taking taylor expansion of b in c 0.378 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.378 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.378 * [taylor]: Taking taylor expansion of c in c 0.378 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.378 * [taylor]: Taking taylor expansion of a in c 0.378 * [taylor]: Taking taylor expansion of (neg 1) in b 0.378 * [taylor]: Taking taylor expansion of 1 in b 0.378 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.378 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.378 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.378 * [taylor]: Taking taylor expansion of a in b 0.378 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.378 * [taylor]: Taking taylor expansion of b in b 0.378 * [taylor]: Taking taylor expansion of (neg 1) in a 0.378 * [taylor]: Taking taylor expansion of 1 in a 0.378 * [taylor]: Taking taylor expansion of (neg 1) in a 0.378 * [taylor]: Taking taylor expansion of 1 in a 0.378 * [taylor]: Taking taylor expansion of 0 in b 0.378 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.378 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.378 * [taylor]: Taking taylor expansion of a in a 0.378 * [taylor]: Taking taylor expansion of 0 in a 0.379 * * * * [progress]: [ 2 / 4 ] generating series at (2) 0.379 * [approximate]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in (e d c b a) around 0 0.379 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in a 0.379 * [taylor]: Taking taylor expansion of d in a 0.379 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in a 0.379 * [taylor]: Taking taylor expansion of e in a 0.379 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in a 0.379 * [taylor]: Taking taylor expansion of b in a 0.379 * [taylor]: Taking taylor expansion of (+ a c) in a 0.379 * [taylor]: Taking taylor expansion of a in a 0.379 * [taylor]: Taking taylor expansion of c in a 0.379 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in b 0.379 * [taylor]: Taking taylor expansion of d in b 0.379 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in b 0.379 * [taylor]: Taking taylor expansion of e in b 0.379 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in b 0.379 * [taylor]: Taking taylor expansion of b in b 0.379 * [taylor]: Taking taylor expansion of (+ a c) in b 0.379 * [taylor]: Taking taylor expansion of a in b 0.379 * [taylor]: Taking taylor expansion of c in b 0.379 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in c 0.379 * [taylor]: Taking taylor expansion of d in c 0.379 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in c 0.379 * [taylor]: Taking taylor expansion of e in c 0.379 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in c 0.379 * [taylor]: Taking taylor expansion of b in c 0.379 * [taylor]: Taking taylor expansion of (+ a c) in c 0.379 * [taylor]: Taking taylor expansion of a in c 0.379 * [taylor]: Taking taylor expansion of c in c 0.379 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in d 0.379 * [taylor]: Taking taylor expansion of d in d 0.379 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in d 0.379 * [taylor]: Taking taylor expansion of e in d 0.379 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in d 0.379 * [taylor]: Taking taylor expansion of b in d 0.379 * [taylor]: Taking taylor expansion of (+ a c) in d 0.379 * [taylor]: Taking taylor expansion of a in d 0.379 * [taylor]: Taking taylor expansion of c in d 0.379 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e 0.379 * [taylor]: Taking taylor expansion of d in e 0.379 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 0.379 * [taylor]: Taking taylor expansion of e in e 0.379 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 0.379 * [taylor]: Taking taylor expansion of b in e 0.379 * [taylor]: Taking taylor expansion of (+ a c) in e 0.379 * [taylor]: Taking taylor expansion of a in e 0.380 * [taylor]: Taking taylor expansion of c in e 0.380 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e 0.380 * [taylor]: Taking taylor expansion of d in e 0.380 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 0.380 * [taylor]: Taking taylor expansion of e in e 0.380 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 0.380 * [taylor]: Taking taylor expansion of b in e 0.380 * [taylor]: Taking taylor expansion of (+ a c) in e 0.380 * [taylor]: Taking taylor expansion of a in e 0.380 * [taylor]: Taking taylor expansion of c in e 0.380 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.380 * [taylor]: Taking taylor expansion of d in d 0.380 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.380 * [taylor]: Taking taylor expansion of a in d 0.380 * [taylor]: Taking taylor expansion of (+ b c) in d 0.380 * [taylor]: Taking taylor expansion of b in d 0.380 * [taylor]: Taking taylor expansion of c in d 0.380 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.380 * [taylor]: Taking taylor expansion of a in c 0.380 * [taylor]: Taking taylor expansion of (+ c b) in c 0.380 * [taylor]: Taking taylor expansion of c in c 0.380 * [taylor]: Taking taylor expansion of b in c 0.380 * [taylor]: Taking taylor expansion of (+ a b) in b 0.380 * [taylor]: Taking taylor expansion of a in b 0.380 * [taylor]: Taking taylor expansion of b in b 0.380 * [taylor]: Taking taylor expansion of a in a 0.380 * [taylor]: Taking taylor expansion of 1 in d 0.380 * [taylor]: Taking taylor expansion of 1 in c 0.380 * [taylor]: Taking taylor expansion of 1 in b 0.380 * [taylor]: Taking taylor expansion of 1 in a 0.380 * [taylor]: Taking taylor expansion of 1 in c 0.380 * [taylor]: Taking taylor expansion of 1 in b 0.380 * [taylor]: Taking taylor expansion of 1 in a 0.380 * [taylor]: Taking taylor expansion of 1 in b 0.380 * [taylor]: Taking taylor expansion of 1 in a 0.381 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in (e d c b a) around 0 0.381 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in a 0.381 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.381 * [taylor]: Taking taylor expansion of b in a 0.381 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in a 0.381 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.381 * [taylor]: Taking taylor expansion of d in a 0.381 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in a 0.381 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.381 * [taylor]: Taking taylor expansion of c in a 0.381 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in a 0.381 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.381 * [taylor]: Taking taylor expansion of a in a 0.381 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.381 * [taylor]: Taking taylor expansion of e in a 0.381 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in b 0.381 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.381 * [taylor]: Taking taylor expansion of b in b 0.381 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in b 0.381 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.381 * [taylor]: Taking taylor expansion of d in b 0.381 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in b 0.381 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.381 * [taylor]: Taking taylor expansion of c in b 0.381 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in b 0.381 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.381 * [taylor]: Taking taylor expansion of a in b 0.381 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.381 * [taylor]: Taking taylor expansion of e in b 0.381 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in c 0.381 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.381 * [taylor]: Taking taylor expansion of b in c 0.381 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in c 0.381 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.381 * [taylor]: Taking taylor expansion of d in c 0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in c 0.382 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.382 * [taylor]: Taking taylor expansion of c in c 0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in c 0.382 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.382 * [taylor]: Taking taylor expansion of a in c 0.382 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.382 * [taylor]: Taking taylor expansion of e in c 0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in d 0.382 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.382 * [taylor]: Taking taylor expansion of b in d 0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in d 0.382 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.382 * [taylor]: Taking taylor expansion of d in d 0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in d 0.382 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.382 * [taylor]: Taking taylor expansion of c in d 0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in d 0.382 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.382 * [taylor]: Taking taylor expansion of a in d 0.382 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.382 * [taylor]: Taking taylor expansion of e in d 0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e 0.382 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.382 * [taylor]: Taking taylor expansion of b in e 0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in e 0.382 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.382 * [taylor]: Taking taylor expansion of d in e 0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in e 0.382 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.382 * [taylor]: Taking taylor expansion of c in e 0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e 0.382 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.382 * [taylor]: Taking taylor expansion of a in e 0.382 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.382 * [taylor]: Taking taylor expansion of e in e 0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e 0.382 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.382 * [taylor]: Taking taylor expansion of b in e 0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in e 0.382 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.382 * [taylor]: Taking taylor expansion of d in e 0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in e 0.382 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.382 * [taylor]: Taking taylor expansion of c in e 0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e 0.382 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.382 * [taylor]: Taking taylor expansion of a in e 0.382 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.383 * [taylor]: Taking taylor expansion of e in e 0.383 * [taylor]: Taking taylor expansion of 1 in d 0.383 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.383 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.383 * [taylor]: Taking taylor expansion of a in d 0.383 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.383 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.383 * [taylor]: Taking taylor expansion of c in d 0.383 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.383 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.383 * [taylor]: Taking taylor expansion of d in d 0.383 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.383 * [taylor]: Taking taylor expansion of b in d 0.383 * [taylor]: Taking taylor expansion of 1 in c 0.383 * [taylor]: Taking taylor expansion of 1 in c 0.383 * [taylor]: Taking taylor expansion of 0 in d 0.384 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.384 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.384 * [taylor]: Taking taylor expansion of b in c 0.384 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.384 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.384 * [taylor]: Taking taylor expansion of c in c 0.384 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.384 * [taylor]: Taking taylor expansion of a in c 0.384 * [taylor]: Taking taylor expansion of 1 in b 0.384 * [taylor]: Taking taylor expansion of 0 in c 0.384 * [taylor]: Taking taylor expansion of 1 in b 0.384 * [taylor]: Taking taylor expansion of 1 in b 0.384 * [taylor]: Taking taylor expansion of 0 in d 0.384 * [taylor]: Taking taylor expansion of 0 in c 0.385 * [taylor]: Taking taylor expansion of 0 in c 0.385 * [taylor]: Taking taylor expansion of 0 in c 0.385 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.385 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.385 * [taylor]: Taking taylor expansion of a in b 0.385 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.385 * [taylor]: Taking taylor expansion of b in b 0.385 * [taylor]: Taking taylor expansion of 1 in a 0.385 * [taylor]: Taking taylor expansion of 0 in b 0.385 * [taylor]: Taking taylor expansion of 0 in b 0.385 * [taylor]: Taking taylor expansion of 0 in b 0.385 * [taylor]: Taking taylor expansion of 1 in a 0.385 * [taylor]: Taking taylor expansion of 1 in a 0.385 * [taylor]: Taking taylor expansion of 1 in a 0.385 * [taylor]: Taking taylor expansion of 0 in d 0.385 * [taylor]: Taking taylor expansion of 0 in c 0.385 * [taylor]: Taking taylor expansion of 0 in c 0.386 * [taylor]: Taking taylor expansion of 0 in c 0.386 * [taylor]: Taking taylor expansion of 0 in c 0.386 * [taylor]: Taking taylor expansion of 0 in b 0.386 * [taylor]: Taking taylor expansion of 0 in b 0.386 * [taylor]: Taking taylor expansion of 0 in b 0.386 * [taylor]: Taking taylor expansion of 0 in b 0.386 * [taylor]: Taking taylor expansion of 0 in b 0.386 * [taylor]: Taking taylor expansion of 0 in b 0.386 * [taylor]: Taking taylor expansion of 0 in b 0.386 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.386 * [taylor]: Taking taylor expansion of a in a 0.386 * [taylor]: Taking taylor expansion of 0 in a 0.386 * [taylor]: Taking taylor expansion of 0 in a 0.386 * [taylor]: Taking taylor expansion of 0 in a 0.386 * [taylor]: Taking taylor expansion of 0 in a 0.386 * [taylor]: Taking taylor expansion of 0 in a 0.386 * [taylor]: Taking taylor expansion of 0 in a 0.387 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in (e d c b a) around 0 0.387 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in a 0.387 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in a 0.387 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.387 * [taylor]: Taking taylor expansion of b in a 0.387 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in a 0.387 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.387 * [taylor]: Taking taylor expansion of d in a 0.387 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in a 0.387 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.387 * [taylor]: Taking taylor expansion of c in a 0.387 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in a 0.387 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.387 * [taylor]: Taking taylor expansion of a in a 0.387 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.387 * [taylor]: Taking taylor expansion of e in a 0.387 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in b 0.387 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in b 0.387 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.387 * [taylor]: Taking taylor expansion of b in b 0.387 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in b 0.387 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.387 * [taylor]: Taking taylor expansion of d in b 0.387 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in b 0.387 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.387 * [taylor]: Taking taylor expansion of c in b 0.387 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in b 0.387 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.387 * [taylor]: Taking taylor expansion of a in b 0.387 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.387 * [taylor]: Taking taylor expansion of e in b 0.388 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in c 0.388 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in c 0.388 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.388 * [taylor]: Taking taylor expansion of b in c 0.388 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in c 0.388 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.388 * [taylor]: Taking taylor expansion of d in c 0.388 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in c 0.388 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.388 * [taylor]: Taking taylor expansion of c in c 0.388 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in c 0.388 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.388 * [taylor]: Taking taylor expansion of a in c 0.388 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.388 * [taylor]: Taking taylor expansion of e in c 0.388 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in d 0.388 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in d 0.388 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.388 * [taylor]: Taking taylor expansion of b in d 0.388 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in d 0.388 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.388 * [taylor]: Taking taylor expansion of d in d 0.388 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in d 0.388 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.388 * [taylor]: Taking taylor expansion of c in d 0.388 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in d 0.388 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.388 * [taylor]: Taking taylor expansion of a in d 0.388 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.388 * [taylor]: Taking taylor expansion of e in d 0.388 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in e 0.388 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e 0.388 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.388 * [taylor]: Taking taylor expansion of b in e 0.388 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in e 0.388 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.388 * [taylor]: Taking taylor expansion of d in e 0.388 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in e 0.388 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.388 * [taylor]: Taking taylor expansion of c in e 0.388 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e 0.388 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.388 * [taylor]: Taking taylor expansion of a in e 0.388 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.388 * [taylor]: Taking taylor expansion of e in e 0.388 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in e 0.388 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e 0.388 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.389 * [taylor]: Taking taylor expansion of b in e 0.389 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in e 0.389 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.389 * [taylor]: Taking taylor expansion of d in e 0.389 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in e 0.389 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.389 * [taylor]: Taking taylor expansion of c in e 0.389 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e 0.389 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.389 * [taylor]: Taking taylor expansion of a in e 0.389 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.389 * [taylor]: Taking taylor expansion of e in e 0.389 * [taylor]: Taking taylor expansion of (neg 1) in d 0.389 * [taylor]: Taking taylor expansion of 1 in d 0.389 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) in d 0.389 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in d 0.389 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.389 * [taylor]: Taking taylor expansion of a in d 0.389 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d 0.389 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.389 * [taylor]: Taking taylor expansion of d in d 0.389 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d 0.389 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.389 * [taylor]: Taking taylor expansion of c in d 0.389 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.389 * [taylor]: Taking taylor expansion of b in d 0.389 * [taylor]: Taking taylor expansion of (neg 1) in c 0.389 * [taylor]: Taking taylor expansion of 1 in c 0.390 * [taylor]: Taking taylor expansion of (neg 1) in c 0.390 * [taylor]: Taking taylor expansion of 1 in c 0.390 * [taylor]: Taking taylor expansion of 0 in d 0.390 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.390 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.390 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.390 * [taylor]: Taking taylor expansion of b in c 0.390 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.390 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.390 * [taylor]: Taking taylor expansion of c in c 0.390 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.390 * [taylor]: Taking taylor expansion of a in c 0.390 * [taylor]: Taking taylor expansion of (neg 1) in b 0.390 * [taylor]: Taking taylor expansion of 1 in b 0.390 * [taylor]: Taking taylor expansion of 0 in c 0.390 * [taylor]: Taking taylor expansion of (neg 1) in b 0.390 * [taylor]: Taking taylor expansion of 1 in b 0.390 * [taylor]: Taking taylor expansion of (neg 1) in b 0.390 * [taylor]: Taking taylor expansion of 1 in b 0.391 * [taylor]: Taking taylor expansion of 0 in d 0.391 * [taylor]: Taking taylor expansion of 0 in c 0.391 * [taylor]: Taking taylor expansion of 0 in c 0.391 * [taylor]: Taking taylor expansion of 0 in c 0.391 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.391 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.391 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.391 * [taylor]: Taking taylor expansion of a in b 0.391 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.391 * [taylor]: Taking taylor expansion of b in b 0.391 * [taylor]: Taking taylor expansion of (neg 1) in a 0.391 * [taylor]: Taking taylor expansion of 1 in a 0.391 * [taylor]: Taking taylor expansion of 0 in b 0.391 * [taylor]: Taking taylor expansion of 0 in b 0.391 * [taylor]: Taking taylor expansion of 0 in b 0.391 * [taylor]: Taking taylor expansion of (neg 1) in a 0.391 * [taylor]: Taking taylor expansion of 1 in a 0.391 * [taylor]: Taking taylor expansion of (neg 1) in a 0.391 * [taylor]: Taking taylor expansion of 1 in a 0.392 * [taylor]: Taking taylor expansion of (neg 1) in a 0.392 * [taylor]: Taking taylor expansion of 1 in a 0.392 * [taylor]: Taking taylor expansion of 0 in d 0.392 * [taylor]: Taking taylor expansion of 0 in c 0.392 * [taylor]: Taking taylor expansion of 0 in c 0.392 * [taylor]: Taking taylor expansion of 0 in c 0.392 * [taylor]: Taking taylor expansion of 0 in c 0.392 * [taylor]: Taking taylor expansion of 0 in b 0.392 * [taylor]: Taking taylor expansion of 0 in b 0.392 * [taylor]: Taking taylor expansion of 0 in b 0.393 * [taylor]: Taking taylor expansion of 0 in b 0.393 * [taylor]: Taking taylor expansion of 0 in b 0.393 * [taylor]: Taking taylor expansion of 0 in b 0.393 * [taylor]: Taking taylor expansion of 0 in b 0.393 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.393 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.393 * [taylor]: Taking taylor expansion of a in a 0.393 * [taylor]: Taking taylor expansion of 0 in a 0.393 * [taylor]: Taking taylor expansion of 0 in a 0.393 * [taylor]: Taking taylor expansion of 0 in a 0.393 * [taylor]: Taking taylor expansion of 0 in a 0.393 * [taylor]: Taking taylor expansion of 0 in a 0.393 * [taylor]: Taking taylor expansion of 0 in a 0.393 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 0.393 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (d c b a) around 0 0.393 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a 0.393 * [taylor]: Taking taylor expansion of d in a 0.394 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.394 * [taylor]: Taking taylor expansion of a in a 0.394 * [taylor]: Taking taylor expansion of (+ b c) in a 0.394 * [taylor]: Taking taylor expansion of b in a 0.394 * [taylor]: Taking taylor expansion of c in a 0.394 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b 0.394 * [taylor]: Taking taylor expansion of d in b 0.394 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.394 * [taylor]: Taking taylor expansion of a in b 0.394 * [taylor]: Taking taylor expansion of (+ b c) in b 0.394 * [taylor]: Taking taylor expansion of b in b 0.394 * [taylor]: Taking taylor expansion of c in b 0.394 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c 0.394 * [taylor]: Taking taylor expansion of d in c 0.394 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.394 * [taylor]: Taking taylor expansion of a in c 0.394 * [taylor]: Taking taylor expansion of (+ b c) in c 0.394 * [taylor]: Taking taylor expansion of b in c 0.394 * [taylor]: Taking taylor expansion of c in c 0.394 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.394 * [taylor]: Taking taylor expansion of d in d 0.394 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.394 * [taylor]: Taking taylor expansion of a in d 0.394 * [taylor]: Taking taylor expansion of (+ b c) in d 0.394 * [taylor]: Taking taylor expansion of b in d 0.394 * [taylor]: Taking taylor expansion of c in d 0.394 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.394 * [taylor]: Taking taylor expansion of d in d 0.394 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.394 * [taylor]: Taking taylor expansion of a in d 0.394 * [taylor]: Taking taylor expansion of (+ b c) in d 0.394 * [taylor]: Taking taylor expansion of b in d 0.394 * [taylor]: Taking taylor expansion of c in d 0.394 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.394 * [taylor]: Taking taylor expansion of a in c 0.394 * [taylor]: Taking taylor expansion of (+ c b) in c 0.394 * [taylor]: Taking taylor expansion of c in c 0.394 * [taylor]: Taking taylor expansion of b in c 0.394 * [taylor]: Taking taylor expansion of (+ a b) in b 0.394 * [taylor]: Taking taylor expansion of a in b 0.394 * [taylor]: Taking taylor expansion of b in b 0.394 * [taylor]: Taking taylor expansion of a in a 0.394 * [taylor]: Taking taylor expansion of 1 in c 0.394 * [taylor]: Taking taylor expansion of 1 in b 0.394 * [taylor]: Taking taylor expansion of 1 in a 0.394 * [taylor]: Taking taylor expansion of 1 in b 0.394 * [taylor]: Taking taylor expansion of 1 in a 0.394 * [taylor]: Taking taylor expansion of 1 in a 0.395 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in (d c b a) around 0 0.395 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.395 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.395 * [taylor]: Taking taylor expansion of a in a 0.395 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.395 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.395 * [taylor]: Taking taylor expansion of c in a 0.395 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.395 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.395 * [taylor]: Taking taylor expansion of d in a 0.395 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.395 * [taylor]: Taking taylor expansion of b in a 0.395 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.395 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.395 * [taylor]: Taking taylor expansion of a in b 0.395 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.395 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.395 * [taylor]: Taking taylor expansion of c in b 0.395 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.395 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.395 * [taylor]: Taking taylor expansion of d in b 0.395 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.395 * [taylor]: Taking taylor expansion of b in b 0.395 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.395 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.395 * [taylor]: Taking taylor expansion of a in c 0.395 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.395 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.395 * [taylor]: Taking taylor expansion of c in c 0.395 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.395 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.395 * [taylor]: Taking taylor expansion of d in c 0.395 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.395 * [taylor]: Taking taylor expansion of b in c 0.395 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.396 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.396 * [taylor]: Taking taylor expansion of a in d 0.396 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.396 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.396 * [taylor]: Taking taylor expansion of c in d 0.396 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.396 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.396 * [taylor]: Taking taylor expansion of d in d 0.396 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.396 * [taylor]: Taking taylor expansion of b in d 0.396 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.396 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.396 * [taylor]: Taking taylor expansion of a in d 0.396 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.396 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.396 * [taylor]: Taking taylor expansion of c in d 0.396 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.396 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.396 * [taylor]: Taking taylor expansion of d in d 0.396 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.396 * [taylor]: Taking taylor expansion of b in d 0.396 * [taylor]: Taking taylor expansion of 1 in c 0.396 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.396 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.396 * [taylor]: Taking taylor expansion of b in c 0.396 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.396 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.396 * [taylor]: Taking taylor expansion of c in c 0.396 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.396 * [taylor]: Taking taylor expansion of a in c 0.396 * [taylor]: Taking taylor expansion of 1 in b 0.396 * [taylor]: Taking taylor expansion of 1 in b 0.397 * [taylor]: Taking taylor expansion of 0 in c 0.397 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.397 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.397 * [taylor]: Taking taylor expansion of a in b 0.397 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.397 * [taylor]: Taking taylor expansion of b in b 0.397 * [taylor]: Taking taylor expansion of 1 in a 0.397 * [taylor]: Taking taylor expansion of 0 in b 0.397 * [taylor]: Taking taylor expansion of 1 in a 0.397 * [taylor]: Taking taylor expansion of 1 in a 0.397 * [taylor]: Taking taylor expansion of 0 in c 0.397 * [taylor]: Taking taylor expansion of 0 in b 0.397 * [taylor]: Taking taylor expansion of 0 in b 0.397 * [taylor]: Taking taylor expansion of 0 in b 0.397 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.397 * [taylor]: Taking taylor expansion of a in a 0.397 * [taylor]: Taking taylor expansion of 0 in a 0.397 * [taylor]: Taking taylor expansion of 0 in a 0.398 * [taylor]: Taking taylor expansion of 0 in a 0.398 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in (d c b a) around 0 0.398 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in a 0.398 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.398 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.398 * [taylor]: Taking taylor expansion of a in a 0.398 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.398 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.398 * [taylor]: Taking taylor expansion of c in a 0.398 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.398 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.398 * [taylor]: Taking taylor expansion of d in a 0.398 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.398 * [taylor]: Taking taylor expansion of b in a 0.398 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in b 0.398 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.398 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.398 * [taylor]: Taking taylor expansion of a in b 0.398 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.398 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.398 * [taylor]: Taking taylor expansion of c in b 0.398 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.398 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.398 * [taylor]: Taking taylor expansion of d in b 0.398 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.398 * [taylor]: Taking taylor expansion of b in b 0.398 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in c 0.398 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.398 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.398 * [taylor]: Taking taylor expansion of a in c 0.398 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.399 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.399 * [taylor]: Taking taylor expansion of c in c 0.399 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.399 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.399 * [taylor]: Taking taylor expansion of d in c 0.399 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.399 * [taylor]: Taking taylor expansion of b in c 0.399 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.399 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.399 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.399 * [taylor]: Taking taylor expansion of a in d 0.399 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.399 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.399 * [taylor]: Taking taylor expansion of c in d 0.399 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.399 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.399 * [taylor]: Taking taylor expansion of d in d 0.399 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.399 * [taylor]: Taking taylor expansion of b in d 0.399 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.399 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.399 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.399 * [taylor]: Taking taylor expansion of a in d 0.399 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.399 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.399 * [taylor]: Taking taylor expansion of c in d 0.399 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.399 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.399 * [taylor]: Taking taylor expansion of d in d 0.399 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.399 * [taylor]: Taking taylor expansion of b in d 0.399 * [taylor]: Taking taylor expansion of (neg 1) in c 0.399 * [taylor]: Taking taylor expansion of 1 in c 0.399 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.399 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.400 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.400 * [taylor]: Taking taylor expansion of b in c 0.400 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.400 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.400 * [taylor]: Taking taylor expansion of c in c 0.400 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.400 * [taylor]: Taking taylor expansion of a in c 0.400 * [taylor]: Taking taylor expansion of (neg 1) in b 0.400 * [taylor]: Taking taylor expansion of 1 in b 0.400 * [taylor]: Taking taylor expansion of (neg 1) in b 0.400 * [taylor]: Taking taylor expansion of 1 in b 0.400 * [taylor]: Taking taylor expansion of 0 in c 0.400 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.400 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.400 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.400 * [taylor]: Taking taylor expansion of a in b 0.400 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.400 * [taylor]: Taking taylor expansion of b in b 0.400 * [taylor]: Taking taylor expansion of (neg 1) in a 0.400 * [taylor]: Taking taylor expansion of 1 in a 0.400 * [taylor]: Taking taylor expansion of 0 in b 0.400 * [taylor]: Taking taylor expansion of (neg 1) in a 0.400 * [taylor]: Taking taylor expansion of 1 in a 0.400 * [taylor]: Taking taylor expansion of (neg 1) in a 0.400 * [taylor]: Taking taylor expansion of 1 in a 0.401 * [taylor]: Taking taylor expansion of 0 in c 0.401 * [taylor]: Taking taylor expansion of 0 in b 0.401 * [taylor]: Taking taylor expansion of 0 in b 0.401 * [taylor]: Taking taylor expansion of 0 in b 0.401 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.401 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.401 * [taylor]: Taking taylor expansion of a in a 0.401 * [taylor]: Taking taylor expansion of 0 in a 0.401 * [taylor]: Taking taylor expansion of 0 in a 0.401 * [taylor]: Taking taylor expansion of 0 in a 0.401 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1) 0.401 * [approximate]: Taking taylor expansion of (+ a (+ b c)) in (c b a) around 0 0.401 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.401 * [taylor]: Taking taylor expansion of a in a 0.401 * [taylor]: Taking taylor expansion of (+ b c) in a 0.401 * [taylor]: Taking taylor expansion of b in a 0.401 * [taylor]: Taking taylor expansion of c in a 0.401 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.401 * [taylor]: Taking taylor expansion of a in b 0.402 * [taylor]: Taking taylor expansion of (+ b c) in b 0.402 * [taylor]: Taking taylor expansion of b in b 0.402 * [taylor]: Taking taylor expansion of c in b 0.402 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.402 * [taylor]: Taking taylor expansion of a in c 0.402 * [taylor]: Taking taylor expansion of (+ b c) in c 0.402 * [taylor]: Taking taylor expansion of b in c 0.402 * [taylor]: Taking taylor expansion of c in c 0.402 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.402 * [taylor]: Taking taylor expansion of a in c 0.402 * [taylor]: Taking taylor expansion of (+ b c) in c 0.402 * [taylor]: Taking taylor expansion of b in c 0.402 * [taylor]: Taking taylor expansion of c in c 0.402 * [taylor]: Taking taylor expansion of (+ a b) in b 0.402 * [taylor]: Taking taylor expansion of a in b 0.402 * [taylor]: Taking taylor expansion of b in b 0.402 * [taylor]: Taking taylor expansion of a in a 0.402 * [taylor]: Taking taylor expansion of 1 in b 0.402 * [taylor]: Taking taylor expansion of 1 in a 0.402 * [taylor]: Taking taylor expansion of 1 in a 0.402 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in (c b a) around 0 0.402 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a 0.402 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.402 * [taylor]: Taking taylor expansion of b in a 0.402 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.402 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.402 * [taylor]: Taking taylor expansion of c in a 0.402 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.402 * [taylor]: Taking taylor expansion of a in a 0.402 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in b 0.402 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.402 * [taylor]: Taking taylor expansion of b in b 0.402 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.402 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.402 * [taylor]: Taking taylor expansion of c in b 0.402 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.402 * [taylor]: Taking taylor expansion of a in b 0.402 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.402 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.403 * [taylor]: Taking taylor expansion of b in c 0.403 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.403 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.403 * [taylor]: Taking taylor expansion of c in c 0.403 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.403 * [taylor]: Taking taylor expansion of a in c 0.403 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.403 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.403 * [taylor]: Taking taylor expansion of b in c 0.403 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.403 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.403 * [taylor]: Taking taylor expansion of c in c 0.403 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.403 * [taylor]: Taking taylor expansion of a in c 0.403 * [taylor]: Taking taylor expansion of 1 in b 0.403 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.403 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.403 * [taylor]: Taking taylor expansion of a in b 0.403 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.403 * [taylor]: Taking taylor expansion of b in b 0.403 * [taylor]: Taking taylor expansion of 1 in a 0.403 * [taylor]: Taking taylor expansion of 1 in a 0.403 * [taylor]: Taking taylor expansion of 0 in b 0.403 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.403 * [taylor]: Taking taylor expansion of a in a 0.403 * [taylor]: Taking taylor expansion of 0 in a 0.404 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in (c b a) around 0 0.404 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in a 0.404 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a 0.404 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.404 * [taylor]: Taking taylor expansion of b in a 0.404 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.404 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.404 * [taylor]: Taking taylor expansion of c in a 0.404 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.404 * [taylor]: Taking taylor expansion of a in a 0.404 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in b 0.404 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in b 0.404 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.404 * [taylor]: Taking taylor expansion of b in b 0.404 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.404 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.404 * [taylor]: Taking taylor expansion of c in b 0.404 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.404 * [taylor]: Taking taylor expansion of a in b 0.404 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.404 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.404 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.404 * [taylor]: Taking taylor expansion of b in c 0.404 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.404 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.404 * [taylor]: Taking taylor expansion of c in c 0.404 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.404 * [taylor]: Taking taylor expansion of a in c 0.404 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.404 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.404 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.404 * [taylor]: Taking taylor expansion of b in c 0.404 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.404 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.404 * [taylor]: Taking taylor expansion of c in c 0.404 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.404 * [taylor]: Taking taylor expansion of a in c 0.404 * [taylor]: Taking taylor expansion of (neg 1) in b 0.404 * [taylor]: Taking taylor expansion of 1 in b 0.405 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.405 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.405 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.405 * [taylor]: Taking taylor expansion of a in b 0.405 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.405 * [taylor]: Taking taylor expansion of b in b 0.405 * [taylor]: Taking taylor expansion of (neg 1) in a 0.405 * [taylor]: Taking taylor expansion of 1 in a 0.405 * [taylor]: Taking taylor expansion of (neg 1) in a 0.405 * [taylor]: Taking taylor expansion of 1 in a 0.405 * [taylor]: Taking taylor expansion of 0 in b 0.405 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.405 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.405 * [taylor]: Taking taylor expansion of a in a 0.405 * [taylor]: Taking taylor expansion of 0 in a 0.405 * * * [progress]: simplifying candidates 0.406 * [simplify]: Simplifying using # : (exp 1) (exp (* (cbrt (log (+ c (+ b a)))) (cbrt (log (+ c (+ b a)))))) (exp (sqrt (log (+ c (+ b a))))) (exp 1) (exp (log (* (cbrt (+ c (+ b a))) (cbrt (+ c (+ b a)))))) (exp (log (cbrt (+ c (+ b a))))) (exp (log (sqrt (+ c (+ b a))))) (exp (log (sqrt (+ c (+ b a))))) (exp (log 1)) (exp (log (+ c (+ b a)))) (exp (log 1)) (exp (log (+ c (+ b a)))) (exp (log 1)) (exp (log (+ c (+ b a)))) (exp (log (+ (pow c 3) (pow (+ b a) 3)))) (exp (log (+ (* c c) (- (* (+ b a) (+ b a)) (* c (+ b a)))))) (exp (log (- (* c c) (* (+ b a) (+ b a))))) (exp (log (- c (+ b a)))) (log (exp (log (+ c (+ b a))))) (exp (exp (log (+ c (+ b a))))) (* (cbrt (exp (log (+ c (+ b a))))) (cbrt (exp (log (+ c (+ b a)))))) (cbrt (exp (log (+ c (+ b a))))) (* (* (exp (log (+ c (+ b a)))) (exp (log (+ c (+ b a))))) (exp (log (+ c (+ b a))))) (sqrt (exp (log (+ c (+ b a))))) (sqrt (exp (log (+ c (+ b a))))) (* (exp e) (* (exp d) (exp (exp (log (+ c (+ b a))))))) (* (exp e) (exp (+ d (exp (log (+ c (+ b a))))))) (log (+ e (+ d (exp (log (+ c (+ b a))))))) (exp (+ e (+ d (exp (log (+ c (+ b a))))))) (* (cbrt (+ e (+ d (exp (log (+ c (+ b a))))))) (cbrt (+ e (+ d (exp (log (+ c (+ b a)))))))) (cbrt (+ e (+ d (exp (log (+ c (+ b a))))))) (* (* (+ e (+ d (exp (log (+ c (+ b a)))))) (+ e (+ d (exp (log (+ c (+ b a))))))) (+ e (+ d (exp (log (+ c (+ b a))))))) (sqrt (+ e (+ d (exp (log (+ c (+ b a))))))) (sqrt (+ e (+ d (exp (log (+ c (+ b a))))))) (+ (pow e 3) (pow (+ d (exp (log (+ c (+ b a))))) 3)) (+ (* e e) (- (* (+ d (exp (log (+ c (+ b a))))) (+ d (exp (log (+ c (+ b a)))))) (* e (+ d (exp (log (+ c (+ b a)))))))) (- (* e e) (* (+ d (exp (log (+ c (+ b a))))) (+ d (exp (log (+ c (+ b a))))))) (- e (+ d (exp (log (+ c (+ b a)))))) (+ e (+ d (exp (log (+ c (+ b a)))))) (+ e (+ d (exp (log (+ c (+ b a)))))) (+ e d) (* (exp d) (exp (exp (log (+ c (+ b a)))))) (log (+ d (exp (log (+ c (+ b a)))))) (exp (+ d (exp (log (+ c (+ b a)))))) (* (cbrt (+ d (exp (log (+ c (+ b a)))))) (cbrt (+ d (exp (log (+ c (+ b a))))))) (cbrt (+ d (exp (log (+ c (+ b a)))))) (* (* (+ d (exp (log (+ c (+ b a))))) (+ d (exp (log (+ c (+ b a)))))) (+ d (exp (log (+ c (+ b a)))))) (sqrt (+ d (exp (log (+ c (+ b a)))))) (sqrt (+ d (exp (log (+ c (+ b a)))))) (+ (pow d 3) (pow (exp (log (+ c (+ b a)))) 3)) (+ (* d d) (- (* (exp (log (+ c (+ b a)))) (exp (log (+ c (+ b a))))) (* d (exp (log (+ c (+ b a))))))) (- (* d d) (* (exp (log (+ c (+ b a)))) (exp (log (+ c (+ b a)))))) (- d (exp (log (+ c (+ b a))))) (+ d (exp (log (+ c (+ b a))))) (* (exp c) (* (exp b) (exp a))) (* (exp c) (exp (+ b a))) (log (+ c (+ b a))) (exp (+ c (+ b a))) (* (cbrt (+ c (+ b a))) (cbrt (+ c (+ b a)))) (cbrt (+ c (+ b a))) (* (* (+ c (+ b a)) (+ c (+ b a))) (+ c (+ b a))) (sqrt (+ c (+ b a))) (sqrt (+ c (+ b a))) (+ (pow c 3) (pow (+ b a) 3)) (+ (* c c) (- (* (+ b a) (+ b a)) (* c (+ b a)))) (- (* c c) (* (+ b a) (+ b a))) (- c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) (+ c b) (+ a (+ b c)) (+ a (+ b c)) (+ a (+ b c)) (+ d (+ e c)) (+ a (+ b c)) (+ a (+ b c)) (+ d (+ b c)) (+ a (+ b c)) (+ a (+ b c)) (+ a (+ b c)) (+ a (+ b c)) (+ a (+ b c)) 0.445 * * [simplify]: iteration 0 : 4978 enodes (cost 633 ) 0.445 * * [simplify]: iteration 1 : 4978 enodes (cost 633 ) 0.448 * [simplify]: Simplified to: E (pow (exp (cbrt (log (+ c (+ b a))))) (cbrt (log (+ c (+ b a))))) (exp (sqrt (log (+ c (+ b a))))) E (pow (cbrt (+ c (+ b a))) 2) (cbrt (+ c (+ b a))) (sqrt (+ c (+ b a))) (sqrt (+ c (+ b a))) 1 (+ c (+ b a)) 1 (+ c (+ b a)) 1 (+ c (+ b a)) (+ (pow c 3) (pow (+ b a) 3)) (+ (* c c) (* (+ b a) (+ b (- a c)))) (- (* c c) (* (+ b a) (+ b a))) (- c (+ b a)) (log (+ c (+ b a))) (exp (+ c (+ b a))) (pow (cbrt (+ c (+ b a))) 2) (cbrt (+ c (+ b a))) (pow (+ c (+ b a)) 3) (sqrt (+ c (+ b a))) (sqrt (+ c (+ b a))) (exp (+ c (+ (+ b a) (+ e d)))) (exp (+ c (+ (+ b a) (+ e d)))) (log (+ c (+ (+ b a) (+ e d)))) (exp (+ c (+ (+ b a) (+ e d)))) (* (cbrt (+ c (+ (+ b a) (+ e d)))) (cbrt (+ c (+ (+ b a) (+ e d))))) (cbrt (+ c (+ (+ b a) (+ e d)))) (pow (+ c (+ (+ b a) (+ e d))) 3) (sqrt (+ c (+ (+ b a) (+ e d)))) (sqrt (+ c (+ (+ b a) (+ e d)))) (+ (pow e 3) (pow (+ c (+ b (+ a d))) 3)) (+ (* e e) (* (+ c (+ b (+ a d))) (+ c (+ (+ b a) (- d e))))) (- (* e e) (* (+ c (+ b (+ a d))) (+ c (+ b (+ a d))))) (- e (+ c (+ b (+ a d)))) (+ c (+ (+ b a) (+ e d))) (+ c (+ (+ b a) (+ e d))) (+ e d) (exp (+ c (+ b (+ a d)))) (log (+ c (+ b (+ a d)))) (exp (+ c (+ b (+ a d)))) (* (cbrt (+ c (+ b (+ a d)))) (cbrt (+ c (+ b (+ a d))))) (cbrt (+ c (+ b (+ a d)))) (pow (+ c (+ b (+ a d))) 3) (sqrt (+ c (+ b (+ a d)))) (sqrt (+ c (+ b (+ a d)))) (+ (pow (+ c (+ b a)) 3) (pow d 3)) (+ (pow (+ c (+ b a)) 2) (* d (- d (+ c (+ b a))))) (- (* d d) (pow (+ c (+ b a)) 2)) (- d (+ c (+ b a))) (+ c (+ b (+ a d))) (exp (+ c (+ b a))) (exp (+ c (+ b a))) (log (+ c (+ b a))) (exp (+ c (+ b a))) (pow (cbrt (+ c (+ b a))) 2) (cbrt (+ c (+ b a))) (pow (+ c (+ b a)) 3) (sqrt (+ c (+ b a))) (sqrt (+ c (+ b a))) (+ (pow c 3) (pow (+ b a) 3)) (+ (* c c) (* (+ b a) (+ b (- a c)))) (- (* c c) (* (+ b a) (+ b a))) (- c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) (+ c b) (+ c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) (+ c (+ e d)) (+ c (+ b a)) (+ c (+ b a)) (+ c (+ b d)) (+ c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) 0.448 * * * [progress]: adding candidates to table 0.509 * * [progress]: iteration 4 / 4 0.510 * * * [progress]: picking best candidate 0.525 * * * * [pick]: Picked # 0.525 * * * [progress]: localizing error 0.536 * * * [progress]: generating rewritten candidates 0.536 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.554 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 0.556 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 0.563 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 0.576 * * * [progress]: generating series expansions 0.576 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.576 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (d c b a) around 0 0.576 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a 0.576 * [taylor]: Taking taylor expansion of d in a 0.576 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.576 * [taylor]: Taking taylor expansion of a in a 0.576 * [taylor]: Taking taylor expansion of (+ b c) in a 0.576 * [taylor]: Taking taylor expansion of b in a 0.576 * [taylor]: Taking taylor expansion of c in a 0.576 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b 0.576 * [taylor]: Taking taylor expansion of d in b 0.576 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.576 * [taylor]: Taking taylor expansion of a in b 0.576 * [taylor]: Taking taylor expansion of (+ b c) in b 0.576 * [taylor]: Taking taylor expansion of b in b 0.576 * [taylor]: Taking taylor expansion of c in b 0.576 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c 0.576 * [taylor]: Taking taylor expansion of d in c 0.576 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.576 * [taylor]: Taking taylor expansion of a in c 0.576 * [taylor]: Taking taylor expansion of (+ b c) in c 0.576 * [taylor]: Taking taylor expansion of b in c 0.576 * [taylor]: Taking taylor expansion of c in c 0.576 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.576 * [taylor]: Taking taylor expansion of d in d 0.576 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.576 * [taylor]: Taking taylor expansion of a in d 0.576 * [taylor]: Taking taylor expansion of (+ b c) in d 0.576 * [taylor]: Taking taylor expansion of b in d 0.576 * [taylor]: Taking taylor expansion of c in d 0.576 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.576 * [taylor]: Taking taylor expansion of d in d 0.576 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.576 * [taylor]: Taking taylor expansion of a in d 0.576 * [taylor]: Taking taylor expansion of (+ b c) in d 0.576 * [taylor]: Taking taylor expansion of b in d 0.576 * [taylor]: Taking taylor expansion of c in d 0.577 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.577 * [taylor]: Taking taylor expansion of a in c 0.577 * [taylor]: Taking taylor expansion of (+ c b) in c 0.577 * [taylor]: Taking taylor expansion of c in c 0.577 * [taylor]: Taking taylor expansion of b in c 0.577 * [taylor]: Taking taylor expansion of (+ a b) in b 0.577 * [taylor]: Taking taylor expansion of a in b 0.577 * [taylor]: Taking taylor expansion of b in b 0.577 * [taylor]: Taking taylor expansion of a in a 0.577 * [taylor]: Taking taylor expansion of 1 in c 0.577 * [taylor]: Taking taylor expansion of 1 in b 0.577 * [taylor]: Taking taylor expansion of 1 in a 0.577 * [taylor]: Taking taylor expansion of 1 in b 0.577 * [taylor]: Taking taylor expansion of 1 in a 0.577 * [taylor]: Taking taylor expansion of 1 in a 0.577 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in (d c b a) around 0 0.577 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.577 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.577 * [taylor]: Taking taylor expansion of a in a 0.577 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.577 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.577 * [taylor]: Taking taylor expansion of c in a 0.577 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.577 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.577 * [taylor]: Taking taylor expansion of d in a 0.578 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.578 * [taylor]: Taking taylor expansion of b in a 0.578 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.578 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.578 * [taylor]: Taking taylor expansion of a in b 0.578 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.578 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.578 * [taylor]: Taking taylor expansion of c in b 0.578 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.578 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.578 * [taylor]: Taking taylor expansion of d in b 0.578 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.578 * [taylor]: Taking taylor expansion of b in b 0.578 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.578 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.578 * [taylor]: Taking taylor expansion of a in c 0.578 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.578 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.578 * [taylor]: Taking taylor expansion of c in c 0.578 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.578 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.578 * [taylor]: Taking taylor expansion of d in c 0.578 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.578 * [taylor]: Taking taylor expansion of b in c 0.578 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.578 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.578 * [taylor]: Taking taylor expansion of a in d 0.578 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.578 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.578 * [taylor]: Taking taylor expansion of c in d 0.578 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.578 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.578 * [taylor]: Taking taylor expansion of d in d 0.578 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.578 * [taylor]: Taking taylor expansion of b in d 0.578 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.578 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.578 * [taylor]: Taking taylor expansion of a in d 0.578 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.578 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.578 * [taylor]: Taking taylor expansion of c in d 0.578 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.578 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.578 * [taylor]: Taking taylor expansion of d in d 0.578 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.578 * [taylor]: Taking taylor expansion of b in d 0.579 * [taylor]: Taking taylor expansion of 1 in c 0.579 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.579 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.579 * [taylor]: Taking taylor expansion of b in c 0.579 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.579 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.579 * [taylor]: Taking taylor expansion of c in c 0.579 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.579 * [taylor]: Taking taylor expansion of a in c 0.579 * [taylor]: Taking taylor expansion of 1 in b 0.579 * [taylor]: Taking taylor expansion of 1 in b 0.579 * [taylor]: Taking taylor expansion of 0 in c 0.579 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.579 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.579 * [taylor]: Taking taylor expansion of a in b 0.579 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.579 * [taylor]: Taking taylor expansion of b in b 0.579 * [taylor]: Taking taylor expansion of 1 in a 0.579 * [taylor]: Taking taylor expansion of 0 in b 0.579 * [taylor]: Taking taylor expansion of 1 in a 0.579 * [taylor]: Taking taylor expansion of 1 in a 0.580 * [taylor]: Taking taylor expansion of 0 in c 0.580 * [taylor]: Taking taylor expansion of 0 in b 0.580 * [taylor]: Taking taylor expansion of 0 in b 0.580 * [taylor]: Taking taylor expansion of 0 in b 0.580 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.580 * [taylor]: Taking taylor expansion of a in a 0.580 * [taylor]: Taking taylor expansion of 0 in a 0.580 * [taylor]: Taking taylor expansion of 0 in a 0.580 * [taylor]: Taking taylor expansion of 0 in a 0.580 * [approximate]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) in (d c b a) around 0 0.581 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) in a 0.581 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in a 0.581 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in a 0.581 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.581 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.581 * [taylor]: Taking taylor expansion of a in a 0.581 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.581 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.581 * [taylor]: Taking taylor expansion of c in a 0.581 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.581 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.581 * [taylor]: Taking taylor expansion of d in a 0.581 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.581 * [taylor]: Taking taylor expansion of b in a 0.581 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) in b 0.581 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in b 0.581 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in b 0.581 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.581 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.581 * [taylor]: Taking taylor expansion of a in b 0.581 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.581 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.581 * [taylor]: Taking taylor expansion of c in b 0.581 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.581 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.581 * [taylor]: Taking taylor expansion of d in b 0.581 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.581 * [taylor]: Taking taylor expansion of b in b 0.581 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) in c 0.581 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in c 0.581 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in c 0.581 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.581 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.581 * [taylor]: Taking taylor expansion of a in c 0.581 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.581 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.581 * [taylor]: Taking taylor expansion of c in c 0.581 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.582 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.582 * [taylor]: Taking taylor expansion of d in c 0.582 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.582 * [taylor]: Taking taylor expansion of b in c 0.582 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) in d 0.582 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in d 0.582 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.582 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.582 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.582 * [taylor]: Taking taylor expansion of a in d 0.582 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.582 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.582 * [taylor]: Taking taylor expansion of c in d 0.582 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.582 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.582 * [taylor]: Taking taylor expansion of d in d 0.582 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.582 * [taylor]: Taking taylor expansion of b in d 0.582 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) in d 0.582 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in d 0.582 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.582 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.582 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.582 * [taylor]: Taking taylor expansion of a in d 0.582 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.582 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.582 * [taylor]: Taking taylor expansion of c in d 0.582 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.582 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.582 * [taylor]: Taking taylor expansion of d in d 0.582 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.582 * [taylor]: Taking taylor expansion of b in d 0.582 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.582 * [taylor]: Taking taylor expansion of NAN in c 0.582 * [taylor]: Taking taylor expansion of (pow NAN 2) in b 0.582 * [taylor]: Taking taylor expansion of NAN in b 0.582 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.582 * [taylor]: Taking taylor expansion of NAN in a 0.583 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) a)) (+ (* 2 (/ (pow NAN 2) b)) (+ (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) c))))) in c 0.583 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) a)) in c 0.583 * [taylor]: Taking taylor expansion of 2 in c 0.583 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) a) in c 0.583 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.583 * [taylor]: Taking taylor expansion of NAN in c 0.583 * [taylor]: Taking taylor expansion of a in c 0.584 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) b)) (+ (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) c)))) in c 0.584 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) b)) in c 0.584 * [taylor]: Taking taylor expansion of 2 in c 0.584 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) b) in c 0.584 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.584 * [taylor]: Taking taylor expansion of NAN in c 0.584 * [taylor]: Taking taylor expansion of b in c 0.584 * [taylor]: Taking taylor expansion of (+ (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) c))) in c 0.584 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in c 0.584 * [taylor]: Taking taylor expansion of 2 in c 0.584 * [taylor]: Taking taylor expansion of (pow NAN 4) in c 0.584 * [taylor]: Taking taylor expansion of NAN in c 0.584 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) c)) in c 0.584 * [taylor]: Taking taylor expansion of 2 in c 0.584 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) c) in c 0.584 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.584 * [taylor]: Taking taylor expansion of NAN in c 0.584 * [taylor]: Taking taylor expansion of c in c 0.585 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) a)) (+ (* 2 (/ (pow NAN 2) b)) (* 2 (pow NAN 4)))) in b 0.585 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) a)) in b 0.585 * [taylor]: Taking taylor expansion of 2 in b 0.585 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) a) in b 0.585 * [taylor]: Taking taylor expansion of (pow NAN 2) in b 0.585 * [taylor]: Taking taylor expansion of NAN in b 0.585 * [taylor]: Taking taylor expansion of a in b 0.585 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) b)) (* 2 (pow NAN 4))) in b 0.585 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) b)) in b 0.585 * [taylor]: Taking taylor expansion of 2 in b 0.585 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) b) in b 0.585 * [taylor]: Taking taylor expansion of (pow NAN 2) in b 0.585 * [taylor]: Taking taylor expansion of NAN in b 0.585 * [taylor]: Taking taylor expansion of b in b 0.585 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in b 0.585 * [taylor]: Taking taylor expansion of 2 in b 0.585 * [taylor]: Taking taylor expansion of (pow NAN 4) in b 0.585 * [taylor]: Taking taylor expansion of NAN in b 0.586 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) a)) (* 2 (pow NAN 4))) in a 0.586 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) a)) in a 0.586 * [taylor]: Taking taylor expansion of 2 in a 0.586 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) a) in a 0.586 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.586 * [taylor]: Taking taylor expansion of NAN in a 0.586 * [taylor]: Taking taylor expansion of a in a 0.586 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in a 0.586 * [taylor]: Taking taylor expansion of 2 in a 0.586 * [taylor]: Taking taylor expansion of (pow NAN 4) in a 0.586 * [taylor]: Taking taylor expansion of NAN in a 0.586 * [taylor]: Taking taylor expansion of 0 in b 0.586 * [taylor]: Taking taylor expansion of 0 in a 0.586 * [taylor]: Taking taylor expansion of 0 in a 0.589 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) (* a b))) (+ (* 2 (/ (pow NAN 2) (* a c))) (+ (/ (pow NAN 2) (pow a 2)) (+ (/ (pow NAN 2) (pow c 2)) (+ (* 6 (/ (pow NAN 4) a)) (+ (* 2 (/ (pow NAN 2) (* b c))) (+ (/ (pow NAN 2) (pow b 2)) (+ (* 5 (pow NAN 6)) (+ (* 6 (/ (pow NAN 4) c)) (* 6 (/ (pow NAN 4) b))))))))))) in c 0.589 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) (* a b))) in c 0.589 * [taylor]: Taking taylor expansion of 2 in c 0.589 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* a b)) in c 0.589 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.589 * [taylor]: Taking taylor expansion of NAN in c 0.589 * [taylor]: Taking taylor expansion of (* a b) in c 0.589 * [taylor]: Taking taylor expansion of a in c 0.589 * [taylor]: Taking taylor expansion of b in c 0.589 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) (* a c))) (+ (/ (pow NAN 2) (pow a 2)) (+ (/ (pow NAN 2) (pow c 2)) (+ (* 6 (/ (pow NAN 4) a)) (+ (* 2 (/ (pow NAN 2) (* b c))) (+ (/ (pow NAN 2) (pow b 2)) (+ (* 5 (pow NAN 6)) (+ (* 6 (/ (pow NAN 4) c)) (* 6 (/ (pow NAN 4) b)))))))))) in c 0.589 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) (* a c))) in c 0.589 * [taylor]: Taking taylor expansion of 2 in c 0.589 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* a c)) in c 0.589 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.589 * [taylor]: Taking taylor expansion of NAN in c 0.589 * [taylor]: Taking taylor expansion of (* a c) in c 0.589 * [taylor]: Taking taylor expansion of a in c 0.589 * [taylor]: Taking taylor expansion of c in c 0.589 * [taylor]: Taking taylor expansion of (+ (/ (pow NAN 2) (pow a 2)) (+ (/ (pow NAN 2) (pow c 2)) (+ (* 6 (/ (pow NAN 4) a)) (+ (* 2 (/ (pow NAN 2) (* b c))) (+ (/ (pow NAN 2) (pow b 2)) (+ (* 5 (pow NAN 6)) (+ (* 6 (/ (pow NAN 4) c)) (* 6 (/ (pow NAN 4) b))))))))) in c 0.589 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow a 2)) in c 0.589 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.589 * [taylor]: Taking taylor expansion of NAN in c 0.589 * [taylor]: Taking taylor expansion of (pow a 2) in c 0.589 * [taylor]: Taking taylor expansion of a in c 0.589 * [taylor]: Taking taylor expansion of (+ (/ (pow NAN 2) (pow c 2)) (+ (* 6 (/ (pow NAN 4) a)) (+ (* 2 (/ (pow NAN 2) (* b c))) (+ (/ (pow NAN 2) (pow b 2)) (+ (* 5 (pow NAN 6)) (+ (* 6 (/ (pow NAN 4) c)) (* 6 (/ (pow NAN 4) b)))))))) in c 0.589 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow c 2)) in c 0.589 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.589 * [taylor]: Taking taylor expansion of NAN in c 0.589 * [taylor]: Taking taylor expansion of (pow c 2) in c 0.589 * [taylor]: Taking taylor expansion of c in c 0.590 * [taylor]: Taking taylor expansion of (+ (* 6 (/ (pow NAN 4) a)) (+ (* 2 (/ (pow NAN 2) (* b c))) (+ (/ (pow NAN 2) (pow b 2)) (+ (* 5 (pow NAN 6)) (+ (* 6 (/ (pow NAN 4) c)) (* 6 (/ (pow NAN 4) b))))))) in c 0.590 * [taylor]: Taking taylor expansion of (* 6 (/ (pow NAN 4) a)) in c 0.590 * [taylor]: Taking taylor expansion of 6 in c 0.590 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) a) in c 0.590 * [taylor]: Taking taylor expansion of (pow NAN 4) in c 0.590 * [taylor]: Taking taylor expansion of NAN in c 0.590 * [taylor]: Taking taylor expansion of a in c 0.590 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) (* b c))) (+ (/ (pow NAN 2) (pow b 2)) (+ (* 5 (pow NAN 6)) (+ (* 6 (/ (pow NAN 4) c)) (* 6 (/ (pow NAN 4) b)))))) in c 0.590 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) (* b c))) in c 0.590 * [taylor]: Taking taylor expansion of 2 in c 0.590 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* b c)) in c 0.590 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.590 * [taylor]: Taking taylor expansion of NAN in c 0.590 * [taylor]: Taking taylor expansion of (* b c) in c 0.590 * [taylor]: Taking taylor expansion of b in c 0.590 * [taylor]: Taking taylor expansion of c in c 0.590 * [taylor]: Taking taylor expansion of (+ (/ (pow NAN 2) (pow b 2)) (+ (* 5 (pow NAN 6)) (+ (* 6 (/ (pow NAN 4) c)) (* 6 (/ (pow NAN 4) b))))) in c 0.590 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow b 2)) in c 0.590 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.590 * [taylor]: Taking taylor expansion of NAN in c 0.590 * [taylor]: Taking taylor expansion of (pow b 2) in c 0.590 * [taylor]: Taking taylor expansion of b in c 0.590 * [taylor]: Taking taylor expansion of (+ (* 5 (pow NAN 6)) (+ (* 6 (/ (pow NAN 4) c)) (* 6 (/ (pow NAN 4) b)))) in c 0.590 * [taylor]: Taking taylor expansion of (* 5 (pow NAN 6)) in c 0.590 * [taylor]: Taking taylor expansion of 5 in c 0.590 * [taylor]: Taking taylor expansion of (pow NAN 6) in c 0.590 * [taylor]: Taking taylor expansion of NAN in c 0.590 * [taylor]: Taking taylor expansion of (+ (* 6 (/ (pow NAN 4) c)) (* 6 (/ (pow NAN 4) b))) in c 0.590 * [taylor]: Taking taylor expansion of (* 6 (/ (pow NAN 4) c)) in c 0.590 * [taylor]: Taking taylor expansion of 6 in c 0.590 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) c) in c 0.590 * [taylor]: Taking taylor expansion of (pow NAN 4) in c 0.590 * [taylor]: Taking taylor expansion of NAN in c 0.590 * [taylor]: Taking taylor expansion of c in c 0.591 * [taylor]: Taking taylor expansion of (* 6 (/ (pow NAN 4) b)) in c 0.591 * [taylor]: Taking taylor expansion of 6 in c 0.591 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) b) in c 0.591 * [taylor]: Taking taylor expansion of (pow NAN 4) in c 0.591 * [taylor]: Taking taylor expansion of NAN in c 0.591 * [taylor]: Taking taylor expansion of b in c 0.595 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) (* a b))) (+ (/ (pow NAN 2) (pow a 2)) (+ (* 5 (pow NAN 6)) (+ (* 6 (/ (pow NAN 4) b)) (+ (* 6 (/ (pow NAN 4) a)) (/ (pow NAN 2) (pow b 2))))))) in b 0.595 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) (* a b))) in b 0.595 * [taylor]: Taking taylor expansion of 2 in b 0.596 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* a b)) in b 0.596 * [taylor]: Taking taylor expansion of (pow NAN 2) in b 0.596 * [taylor]: Taking taylor expansion of NAN in b 0.596 * [taylor]: Taking taylor expansion of (* a b) in b 0.596 * [taylor]: Taking taylor expansion of a in b 0.596 * [taylor]: Taking taylor expansion of b in b 0.596 * [taylor]: Taking taylor expansion of (+ (/ (pow NAN 2) (pow a 2)) (+ (* 5 (pow NAN 6)) (+ (* 6 (/ (pow NAN 4) b)) (+ (* 6 (/ (pow NAN 4) a)) (/ (pow NAN 2) (pow b 2)))))) in b 0.596 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow a 2)) in b 0.596 * [taylor]: Taking taylor expansion of (pow NAN 2) in b 0.596 * [taylor]: Taking taylor expansion of NAN in b 0.596 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.596 * [taylor]: Taking taylor expansion of a in b 0.596 * [taylor]: Taking taylor expansion of (+ (* 5 (pow NAN 6)) (+ (* 6 (/ (pow NAN 4) b)) (+ (* 6 (/ (pow NAN 4) a)) (/ (pow NAN 2) (pow b 2))))) in b 0.596 * [taylor]: Taking taylor expansion of (* 5 (pow NAN 6)) in b 0.596 * [taylor]: Taking taylor expansion of 5 in b 0.596 * [taylor]: Taking taylor expansion of (pow NAN 6) in b 0.596 * [taylor]: Taking taylor expansion of NAN in b 0.596 * [taylor]: Taking taylor expansion of (+ (* 6 (/ (pow NAN 4) b)) (+ (* 6 (/ (pow NAN 4) a)) (/ (pow NAN 2) (pow b 2)))) in b 0.596 * [taylor]: Taking taylor expansion of (* 6 (/ (pow NAN 4) b)) in b 0.596 * [taylor]: Taking taylor expansion of 6 in b 0.596 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) b) in b 0.596 * [taylor]: Taking taylor expansion of (pow NAN 4) in b 0.596 * [taylor]: Taking taylor expansion of NAN in b 0.596 * [taylor]: Taking taylor expansion of b in b 0.596 * [taylor]: Taking taylor expansion of (+ (* 6 (/ (pow NAN 4) a)) (/ (pow NAN 2) (pow b 2))) in b 0.596 * [taylor]: Taking taylor expansion of (* 6 (/ (pow NAN 4) a)) in b 0.596 * [taylor]: Taking taylor expansion of 6 in b 0.596 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) a) in b 0.596 * [taylor]: Taking taylor expansion of (pow NAN 4) in b 0.596 * [taylor]: Taking taylor expansion of NAN in b 0.597 * [taylor]: Taking taylor expansion of a in b 0.597 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow b 2)) in b 0.597 * [taylor]: Taking taylor expansion of (pow NAN 2) in b 0.597 * [taylor]: Taking taylor expansion of NAN in b 0.597 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.597 * [taylor]: Taking taylor expansion of b in b 0.598 * [taylor]: Taking taylor expansion of (+ (* 5 (pow NAN 6)) (+ (/ (pow NAN 2) (pow a 2)) (* 6 (/ (pow NAN 4) a)))) in a 0.599 * [taylor]: Taking taylor expansion of (* 5 (pow NAN 6)) in a 0.599 * [taylor]: Taking taylor expansion of 5 in a 0.599 * [taylor]: Taking taylor expansion of (pow NAN 6) in a 0.599 * [taylor]: Taking taylor expansion of NAN in a 0.599 * [taylor]: Taking taylor expansion of (+ (/ (pow NAN 2) (pow a 2)) (* 6 (/ (pow NAN 4) a))) in a 0.599 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow a 2)) in a 0.599 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.599 * [taylor]: Taking taylor expansion of NAN in a 0.599 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.599 * [taylor]: Taking taylor expansion of a in a 0.599 * [taylor]: Taking taylor expansion of (* 6 (/ (pow NAN 4) a)) in a 0.599 * [taylor]: Taking taylor expansion of 6 in a 0.599 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) a) in a 0.599 * [taylor]: Taking taylor expansion of (pow NAN 4) in a 0.599 * [taylor]: Taking taylor expansion of NAN in a 0.599 * [taylor]: Taking taylor expansion of a in a 0.600 * * * * [progress]: [ 2 / 4 ] generating series at (2) 0.600 * [approximate]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in (e d c b a) around 0 0.600 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in a 0.600 * [taylor]: Taking taylor expansion of d in a 0.600 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in a 0.600 * [taylor]: Taking taylor expansion of e in a 0.600 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in a 0.600 * [taylor]: Taking taylor expansion of b in a 0.600 * [taylor]: Taking taylor expansion of (+ a c) in a 0.600 * [taylor]: Taking taylor expansion of a in a 0.600 * [taylor]: Taking taylor expansion of c in a 0.600 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in b 0.600 * [taylor]: Taking taylor expansion of d in b 0.600 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in b 0.600 * [taylor]: Taking taylor expansion of e in b 0.600 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in b 0.600 * [taylor]: Taking taylor expansion of b in b 0.600 * [taylor]: Taking taylor expansion of (+ a c) in b 0.600 * [taylor]: Taking taylor expansion of a in b 0.601 * [taylor]: Taking taylor expansion of c in b 0.601 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in c 0.601 * [taylor]: Taking taylor expansion of d in c 0.601 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in c 0.601 * [taylor]: Taking taylor expansion of e in c 0.601 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in c 0.601 * [taylor]: Taking taylor expansion of b in c 0.601 * [taylor]: Taking taylor expansion of (+ a c) in c 0.601 * [taylor]: Taking taylor expansion of a in c 0.601 * [taylor]: Taking taylor expansion of c in c 0.601 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in d 0.601 * [taylor]: Taking taylor expansion of d in d 0.601 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in d 0.601 * [taylor]: Taking taylor expansion of e in d 0.601 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in d 0.601 * [taylor]: Taking taylor expansion of b in d 0.601 * [taylor]: Taking taylor expansion of (+ a c) in d 0.601 * [taylor]: Taking taylor expansion of a in d 0.601 * [taylor]: Taking taylor expansion of c in d 0.601 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e 0.601 * [taylor]: Taking taylor expansion of d in e 0.601 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 0.601 * [taylor]: Taking taylor expansion of e in e 0.601 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 0.601 * [taylor]: Taking taylor expansion of b in e 0.601 * [taylor]: Taking taylor expansion of (+ a c) in e 0.601 * [taylor]: Taking taylor expansion of a in e 0.601 * [taylor]: Taking taylor expansion of c in e 0.601 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e 0.601 * [taylor]: Taking taylor expansion of d in e 0.601 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 0.601 * [taylor]: Taking taylor expansion of e in e 0.601 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 0.601 * [taylor]: Taking taylor expansion of b in e 0.601 * [taylor]: Taking taylor expansion of (+ a c) in e 0.601 * [taylor]: Taking taylor expansion of a in e 0.601 * [taylor]: Taking taylor expansion of c in e 0.601 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.601 * [taylor]: Taking taylor expansion of d in d 0.601 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.601 * [taylor]: Taking taylor expansion of a in d 0.601 * [taylor]: Taking taylor expansion of (+ b c) in d 0.601 * [taylor]: Taking taylor expansion of b in d 0.601 * [taylor]: Taking taylor expansion of c in d 0.601 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.601 * [taylor]: Taking taylor expansion of a in c 0.601 * [taylor]: Taking taylor expansion of (+ c b) in c 0.601 * [taylor]: Taking taylor expansion of c in c 0.601 * [taylor]: Taking taylor expansion of b in c 0.601 * [taylor]: Taking taylor expansion of (+ a b) in b 0.601 * [taylor]: Taking taylor expansion of a in b 0.601 * [taylor]: Taking taylor expansion of b in b 0.602 * [taylor]: Taking taylor expansion of a in a 0.602 * [taylor]: Taking taylor expansion of 1 in d 0.602 * [taylor]: Taking taylor expansion of 1 in c 0.602 * [taylor]: Taking taylor expansion of 1 in b 0.602 * [taylor]: Taking taylor expansion of 1 in a 0.602 * [taylor]: Taking taylor expansion of 1 in c 0.602 * [taylor]: Taking taylor expansion of 1 in b 0.602 * [taylor]: Taking taylor expansion of 1 in a 0.602 * [taylor]: Taking taylor expansion of 1 in b 0.602 * [taylor]: Taking taylor expansion of 1 in a 0.602 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in (e d c b a) around 0 0.602 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in a 0.602 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.602 * [taylor]: Taking taylor expansion of b in a 0.602 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in a 0.602 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.602 * [taylor]: Taking taylor expansion of d in a 0.602 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in a 0.602 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.602 * [taylor]: Taking taylor expansion of c in a 0.602 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in a 0.602 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.602 * [taylor]: Taking taylor expansion of a in a 0.602 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.603 * [taylor]: Taking taylor expansion of e in a 0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in b 0.603 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.603 * [taylor]: Taking taylor expansion of b in b 0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in b 0.603 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.603 * [taylor]: Taking taylor expansion of d in b 0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in b 0.603 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.603 * [taylor]: Taking taylor expansion of c in b 0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in b 0.603 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.603 * [taylor]: Taking taylor expansion of a in b 0.603 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.603 * [taylor]: Taking taylor expansion of e in b 0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in c 0.603 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.603 * [taylor]: Taking taylor expansion of b in c 0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in c 0.603 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.603 * [taylor]: Taking taylor expansion of d in c 0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in c 0.603 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.603 * [taylor]: Taking taylor expansion of c in c 0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in c 0.603 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.603 * [taylor]: Taking taylor expansion of a in c 0.603 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.603 * [taylor]: Taking taylor expansion of e in c 0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in d 0.603 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.603 * [taylor]: Taking taylor expansion of b in d 0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in d 0.603 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.603 * [taylor]: Taking taylor expansion of d in d 0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in d 0.603 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.603 * [taylor]: Taking taylor expansion of c in d 0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in d 0.603 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.603 * [taylor]: Taking taylor expansion of a in d 0.603 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.603 * [taylor]: Taking taylor expansion of e in d 0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e 0.603 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.603 * [taylor]: Taking taylor expansion of b in e 0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in e 0.603 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.604 * [taylor]: Taking taylor expansion of d in e 0.604 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in e 0.604 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.604 * [taylor]: Taking taylor expansion of c in e 0.604 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e 0.604 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.604 * [taylor]: Taking taylor expansion of a in e 0.604 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.604 * [taylor]: Taking taylor expansion of e in e 0.604 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e 0.604 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.604 * [taylor]: Taking taylor expansion of b in e 0.604 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in e 0.604 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.604 * [taylor]: Taking taylor expansion of d in e 0.604 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in e 0.604 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.604 * [taylor]: Taking taylor expansion of c in e 0.604 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e 0.604 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.604 * [taylor]: Taking taylor expansion of a in e 0.604 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.604 * [taylor]: Taking taylor expansion of e in e 0.604 * [taylor]: Taking taylor expansion of 1 in d 0.604 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.604 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.604 * [taylor]: Taking taylor expansion of a in d 0.604 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.604 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.604 * [taylor]: Taking taylor expansion of c in d 0.604 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.604 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.604 * [taylor]: Taking taylor expansion of d in d 0.604 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.605 * [taylor]: Taking taylor expansion of b in d 0.605 * [taylor]: Taking taylor expansion of 1 in c 0.605 * [taylor]: Taking taylor expansion of 1 in c 0.605 * [taylor]: Taking taylor expansion of 0 in d 0.605 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.605 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.605 * [taylor]: Taking taylor expansion of b in c 0.605 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.605 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.605 * [taylor]: Taking taylor expansion of c in c 0.605 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.605 * [taylor]: Taking taylor expansion of a in c 0.605 * [taylor]: Taking taylor expansion of 1 in b 0.605 * [taylor]: Taking taylor expansion of 0 in c 0.605 * [taylor]: Taking taylor expansion of 1 in b 0.605 * [taylor]: Taking taylor expansion of 1 in b 0.606 * [taylor]: Taking taylor expansion of 0 in d 0.606 * [taylor]: Taking taylor expansion of 0 in c 0.606 * [taylor]: Taking taylor expansion of 0 in c 0.606 * [taylor]: Taking taylor expansion of 0 in c 0.606 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.606 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.606 * [taylor]: Taking taylor expansion of a in b 0.606 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.606 * [taylor]: Taking taylor expansion of b in b 0.606 * [taylor]: Taking taylor expansion of 1 in a 0.606 * [taylor]: Taking taylor expansion of 0 in b 0.606 * [taylor]: Taking taylor expansion of 0 in b 0.606 * [taylor]: Taking taylor expansion of 0 in b 0.606 * [taylor]: Taking taylor expansion of 1 in a 0.606 * [taylor]: Taking taylor expansion of 1 in a 0.606 * [taylor]: Taking taylor expansion of 1 in a 0.607 * [taylor]: Taking taylor expansion of 0 in d 0.607 * [taylor]: Taking taylor expansion of 0 in c 0.607 * [taylor]: Taking taylor expansion of 0 in c 0.607 * [taylor]: Taking taylor expansion of 0 in c 0.607 * [taylor]: Taking taylor expansion of 0 in c 0.607 * [taylor]: Taking taylor expansion of 0 in b 0.607 * [taylor]: Taking taylor expansion of 0 in b 0.607 * [taylor]: Taking taylor expansion of 0 in b 0.607 * [taylor]: Taking taylor expansion of 0 in b 0.607 * [taylor]: Taking taylor expansion of 0 in b 0.607 * [taylor]: Taking taylor expansion of 0 in b 0.607 * [taylor]: Taking taylor expansion of 0 in b 0.607 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.607 * [taylor]: Taking taylor expansion of a in a 0.607 * [taylor]: Taking taylor expansion of 0 in a 0.607 * [taylor]: Taking taylor expansion of 0 in a 0.607 * [taylor]: Taking taylor expansion of 0 in a 0.607 * [taylor]: Taking taylor expansion of 0 in a 0.608 * [taylor]: Taking taylor expansion of 0 in a 0.608 * [taylor]: Taking taylor expansion of 0 in a 0.608 * [approximate]: Taking taylor expansion of (- (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) (/ 1 e)) in (e d c b a) around 0 0.608 * [taylor]: Taking taylor expansion of (- (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) (/ 1 e)) in a 0.608 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) in a 0.608 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in a 0.608 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in a 0.608 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.608 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.608 * [taylor]: Taking taylor expansion of a in a 0.608 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.608 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.608 * [taylor]: Taking taylor expansion of c in a 0.608 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.608 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.608 * [taylor]: Taking taylor expansion of d in a 0.608 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.608 * [taylor]: Taking taylor expansion of b in a 0.609 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.609 * [taylor]: Taking taylor expansion of e in a 0.609 * [taylor]: Taking taylor expansion of (- (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) (/ 1 e)) in b 0.609 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) in b 0.609 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in b 0.609 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in b 0.609 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.609 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.609 * [taylor]: Taking taylor expansion of a in b 0.609 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.609 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.609 * [taylor]: Taking taylor expansion of c in b 0.609 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.609 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.609 * [taylor]: Taking taylor expansion of d in b 0.609 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.609 * [taylor]: Taking taylor expansion of b in b 0.609 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.609 * [taylor]: Taking taylor expansion of e in b 0.609 * [taylor]: Taking taylor expansion of (- (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) (/ 1 e)) in c 0.609 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) in c 0.609 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in c 0.609 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in c 0.609 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.609 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.609 * [taylor]: Taking taylor expansion of a in c 0.609 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.609 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.609 * [taylor]: Taking taylor expansion of c in c 0.609 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.609 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.609 * [taylor]: Taking taylor expansion of d in c 0.609 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.609 * [taylor]: Taking taylor expansion of b in c 0.609 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.609 * [taylor]: Taking taylor expansion of e in c 0.609 * [taylor]: Taking taylor expansion of (- (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) (/ 1 e)) in d 0.609 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) in d 0.609 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in d 0.609 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.609 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.609 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.609 * [taylor]: Taking taylor expansion of a in d 0.609 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.609 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.610 * [taylor]: Taking taylor expansion of c in d 0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.610 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.610 * [taylor]: Taking taylor expansion of d in d 0.610 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.610 * [taylor]: Taking taylor expansion of b in d 0.610 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.610 * [taylor]: Taking taylor expansion of e in d 0.610 * [taylor]: Taking taylor expansion of (- (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) (/ 1 e)) in e 0.610 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) in e 0.610 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in e 0.610 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in e 0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in e 0.610 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.610 * [taylor]: Taking taylor expansion of a in e 0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in e 0.610 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.610 * [taylor]: Taking taylor expansion of c in e 0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in e 0.610 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.610 * [taylor]: Taking taylor expansion of d in e 0.610 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.610 * [taylor]: Taking taylor expansion of b in e 0.611 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.611 * [taylor]: Taking taylor expansion of e in e 0.611 * [taylor]: Taking taylor expansion of (- (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) (/ 1 e)) in e 0.611 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) in e 0.611 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in e 0.611 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in e 0.611 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in e 0.611 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.611 * [taylor]: Taking taylor expansion of a in e 0.611 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in e 0.611 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.611 * [taylor]: Taking taylor expansion of c in e 0.611 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in e 0.611 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.611 * [taylor]: Taking taylor expansion of d in e 0.611 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.611 * [taylor]: Taking taylor expansion of b in e 0.612 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.612 * [taylor]: Taking taylor expansion of e in e 0.612 * [taylor]: Taking taylor expansion of (neg 1) in d 0.612 * [taylor]: Taking taylor expansion of 1 in d 0.612 * [taylor]: Taking taylor expansion of (neg 1) in c 0.612 * [taylor]: Taking taylor expansion of 1 in c 0.612 * [taylor]: Taking taylor expansion of (neg 1) in b 0.612 * [taylor]: Taking taylor expansion of 1 in b 0.612 * [taylor]: Taking taylor expansion of (neg 1) in a 0.612 * [taylor]: Taking taylor expansion of 1 in a 0.613 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))))) 2) in d 0.613 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))))) in d 0.613 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in d 0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d 0.613 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.613 * [taylor]: Taking taylor expansion of b in d 0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d 0.613 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.613 * [taylor]: Taking taylor expansion of d in d 0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d 0.613 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.613 * [taylor]: Taking taylor expansion of c in d 0.613 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.613 * [taylor]: Taking taylor expansion of a in d 0.613 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.613 * [taylor]: Taking taylor expansion of NAN in c 0.613 * [taylor]: Taking taylor expansion of (pow NAN 2) in b 0.613 * [taylor]: Taking taylor expansion of NAN in b 0.613 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.613 * [taylor]: Taking taylor expansion of NAN in a 0.613 * [taylor]: Taking taylor expansion of 0 in c 0.613 * [taylor]: Taking taylor expansion of 0 in b 0.613 * [taylor]: Taking taylor expansion of 0 in a 0.614 * [taylor]: Taking taylor expansion of 0 in b 0.614 * [taylor]: Taking taylor expansion of 0 in a 0.614 * [taylor]: Taking taylor expansion of 0 in a 0.616 * [taylor]: Taking taylor expansion of 0 in d 0.616 * [taylor]: Taking taylor expansion of 0 in c 0.616 * [taylor]: Taking taylor expansion of 0 in b 0.616 * [taylor]: Taking taylor expansion of 0 in a 0.617 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) a)) (+ (* 2 (/ (pow NAN 2) b)) (+ (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) c))))) in c 0.617 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) a)) in c 0.617 * [taylor]: Taking taylor expansion of 2 in c 0.617 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) a) in c 0.617 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.617 * [taylor]: Taking taylor expansion of NAN in c 0.617 * [taylor]: Taking taylor expansion of a in c 0.617 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) b)) (+ (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) c)))) in c 0.617 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) b)) in c 0.617 * [taylor]: Taking taylor expansion of 2 in c 0.617 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) b) in c 0.617 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.617 * [taylor]: Taking taylor expansion of NAN in c 0.617 * [taylor]: Taking taylor expansion of b in c 0.618 * [taylor]: Taking taylor expansion of (+ (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) c))) in c 0.618 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in c 0.618 * [taylor]: Taking taylor expansion of 2 in c 0.618 * [taylor]: Taking taylor expansion of (pow NAN 4) in c 0.618 * [taylor]: Taking taylor expansion of NAN in c 0.618 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) c)) in c 0.618 * [taylor]: Taking taylor expansion of 2 in c 0.618 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) c) in c 0.618 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.618 * [taylor]: Taking taylor expansion of NAN in c 0.618 * [taylor]: Taking taylor expansion of c in c 0.619 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) a)) (+ (* 2 (/ (pow NAN 2) b)) (* 2 (pow NAN 4)))) in b 0.619 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) a)) in b 0.619 * [taylor]: Taking taylor expansion of 2 in b 0.619 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) a) in b 0.619 * [taylor]: Taking taylor expansion of (pow NAN 2) in b 0.619 * [taylor]: Taking taylor expansion of NAN in b 0.619 * [taylor]: Taking taylor expansion of a in b 0.619 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) b)) (* 2 (pow NAN 4))) in b 0.619 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) b)) in b 0.619 * [taylor]: Taking taylor expansion of 2 in b 0.619 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) b) in b 0.619 * [taylor]: Taking taylor expansion of (pow NAN 2) in b 0.619 * [taylor]: Taking taylor expansion of NAN in b 0.619 * [taylor]: Taking taylor expansion of b in b 0.619 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in b 0.619 * [taylor]: Taking taylor expansion of 2 in b 0.619 * [taylor]: Taking taylor expansion of (pow NAN 4) in b 0.619 * [taylor]: Taking taylor expansion of NAN in b 0.619 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) a)) (* 2 (pow NAN 4))) in a 0.619 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) a)) in a 0.620 * [taylor]: Taking taylor expansion of 2 in a 0.620 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) a) in a 0.620 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.620 * [taylor]: Taking taylor expansion of NAN in a 0.620 * [taylor]: Taking taylor expansion of a in a 0.620 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in a 0.620 * [taylor]: Taking taylor expansion of 2 in a 0.620 * [taylor]: Taking taylor expansion of (pow NAN 4) in a 0.620 * [taylor]: Taking taylor expansion of NAN in a 0.620 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1) 0.620 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (d c b a) around 0 0.620 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a 0.620 * [taylor]: Taking taylor expansion of d in a 0.621 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.621 * [taylor]: Taking taylor expansion of a in a 0.621 * [taylor]: Taking taylor expansion of (+ b c) in a 0.621 * [taylor]: Taking taylor expansion of b in a 0.621 * [taylor]: Taking taylor expansion of c in a 0.621 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b 0.621 * [taylor]: Taking taylor expansion of d in b 0.621 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.621 * [taylor]: Taking taylor expansion of a in b 0.621 * [taylor]: Taking taylor expansion of (+ b c) in b 0.621 * [taylor]: Taking taylor expansion of b in b 0.621 * [taylor]: Taking taylor expansion of c in b 0.621 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c 0.621 * [taylor]: Taking taylor expansion of d in c 0.621 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.621 * [taylor]: Taking taylor expansion of a in c 0.621 * [taylor]: Taking taylor expansion of (+ b c) in c 0.621 * [taylor]: Taking taylor expansion of b in c 0.621 * [taylor]: Taking taylor expansion of c in c 0.621 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.621 * [taylor]: Taking taylor expansion of d in d 0.621 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.621 * [taylor]: Taking taylor expansion of a in d 0.621 * [taylor]: Taking taylor expansion of (+ b c) in d 0.621 * [taylor]: Taking taylor expansion of b in d 0.621 * [taylor]: Taking taylor expansion of c in d 0.621 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.621 * [taylor]: Taking taylor expansion of d in d 0.621 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.621 * [taylor]: Taking taylor expansion of a in d 0.621 * [taylor]: Taking taylor expansion of (+ b c) in d 0.621 * [taylor]: Taking taylor expansion of b in d 0.621 * [taylor]: Taking taylor expansion of c in d 0.621 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.621 * [taylor]: Taking taylor expansion of a in c 0.621 * [taylor]: Taking taylor expansion of (+ c b) in c 0.621 * [taylor]: Taking taylor expansion of c in c 0.621 * [taylor]: Taking taylor expansion of b in c 0.621 * [taylor]: Taking taylor expansion of (+ a b) in b 0.621 * [taylor]: Taking taylor expansion of a in b 0.621 * [taylor]: Taking taylor expansion of b in b 0.621 * [taylor]: Taking taylor expansion of a in a 0.621 * [taylor]: Taking taylor expansion of 1 in c 0.621 * [taylor]: Taking taylor expansion of 1 in b 0.621 * [taylor]: Taking taylor expansion of 1 in a 0.621 * [taylor]: Taking taylor expansion of 1 in b 0.621 * [taylor]: Taking taylor expansion of 1 in a 0.621 * [taylor]: Taking taylor expansion of 1 in a 0.622 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in (d c b a) around 0 0.622 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.622 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.622 * [taylor]: Taking taylor expansion of a in a 0.622 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.622 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.622 * [taylor]: Taking taylor expansion of c in a 0.622 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.622 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.622 * [taylor]: Taking taylor expansion of d in a 0.622 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.622 * [taylor]: Taking taylor expansion of b in a 0.622 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.622 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.622 * [taylor]: Taking taylor expansion of a in b 0.622 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.622 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.622 * [taylor]: Taking taylor expansion of c in b 0.622 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.622 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.622 * [taylor]: Taking taylor expansion of d in b 0.622 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.622 * [taylor]: Taking taylor expansion of b in b 0.622 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.622 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.622 * [taylor]: Taking taylor expansion of a in c 0.622 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.622 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.622 * [taylor]: Taking taylor expansion of c in c 0.622 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.622 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.622 * [taylor]: Taking taylor expansion of d in c 0.622 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.622 * [taylor]: Taking taylor expansion of b in c 0.622 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.622 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.622 * [taylor]: Taking taylor expansion of a in d 0.622 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.622 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.623 * [taylor]: Taking taylor expansion of c in d 0.623 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.623 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.623 * [taylor]: Taking taylor expansion of d in d 0.623 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.623 * [taylor]: Taking taylor expansion of b in d 0.623 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.623 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.623 * [taylor]: Taking taylor expansion of a in d 0.623 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.623 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.623 * [taylor]: Taking taylor expansion of c in d 0.623 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.623 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.623 * [taylor]: Taking taylor expansion of d in d 0.623 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.623 * [taylor]: Taking taylor expansion of b in d 0.623 * [taylor]: Taking taylor expansion of 1 in c 0.623 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.623 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.623 * [taylor]: Taking taylor expansion of b in c 0.623 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.623 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.623 * [taylor]: Taking taylor expansion of c in c 0.623 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.623 * [taylor]: Taking taylor expansion of a in c 0.623 * [taylor]: Taking taylor expansion of 1 in b 0.623 * [taylor]: Taking taylor expansion of 1 in b 0.623 * [taylor]: Taking taylor expansion of 0 in c 0.624 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.624 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.624 * [taylor]: Taking taylor expansion of a in b 0.624 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.624 * [taylor]: Taking taylor expansion of b in b 0.624 * [taylor]: Taking taylor expansion of 1 in a 0.624 * [taylor]: Taking taylor expansion of 0 in b 0.624 * [taylor]: Taking taylor expansion of 1 in a 0.624 * [taylor]: Taking taylor expansion of 1 in a 0.624 * [taylor]: Taking taylor expansion of 0 in c 0.624 * [taylor]: Taking taylor expansion of 0 in b 0.624 * [taylor]: Taking taylor expansion of 0 in b 0.624 * [taylor]: Taking taylor expansion of 0 in b 0.624 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.624 * [taylor]: Taking taylor expansion of a in a 0.624 * [taylor]: Taking taylor expansion of 0 in a 0.624 * [taylor]: Taking taylor expansion of 0 in a 0.624 * [taylor]: Taking taylor expansion of 0 in a 0.625 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in (d c b a) around 0 0.625 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in a 0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.625 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.625 * [taylor]: Taking taylor expansion of a in a 0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.625 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.625 * [taylor]: Taking taylor expansion of c in a 0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.625 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.625 * [taylor]: Taking taylor expansion of d in a 0.625 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.625 * [taylor]: Taking taylor expansion of b in a 0.625 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in b 0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.625 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.625 * [taylor]: Taking taylor expansion of a in b 0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.625 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.625 * [taylor]: Taking taylor expansion of c in b 0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.625 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.625 * [taylor]: Taking taylor expansion of d in b 0.625 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.625 * [taylor]: Taking taylor expansion of b in b 0.625 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in c 0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.625 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.625 * [taylor]: Taking taylor expansion of a in c 0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.625 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.625 * [taylor]: Taking taylor expansion of c in c 0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.625 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.625 * [taylor]: Taking taylor expansion of d in c 0.625 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.625 * [taylor]: Taking taylor expansion of b in c 0.626 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.626 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.626 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.626 * [taylor]: Taking taylor expansion of a in d 0.626 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.626 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.626 * [taylor]: Taking taylor expansion of c in d 0.626 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.626 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.626 * [taylor]: Taking taylor expansion of d in d 0.626 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.626 * [taylor]: Taking taylor expansion of b in d 0.626 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.626 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.626 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.626 * [taylor]: Taking taylor expansion of a in d 0.626 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.626 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.626 * [taylor]: Taking taylor expansion of c in d 0.626 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.626 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.626 * [taylor]: Taking taylor expansion of d in d 0.626 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.626 * [taylor]: Taking taylor expansion of b in d 0.626 * [taylor]: Taking taylor expansion of (neg 1) in c 0.626 * [taylor]: Taking taylor expansion of 1 in c 0.626 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.626 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.626 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.626 * [taylor]: Taking taylor expansion of b in c 0.626 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.626 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.626 * [taylor]: Taking taylor expansion of c in c 0.626 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.626 * [taylor]: Taking taylor expansion of a in c 0.627 * [taylor]: Taking taylor expansion of (neg 1) in b 0.627 * [taylor]: Taking taylor expansion of 1 in b 0.627 * [taylor]: Taking taylor expansion of (neg 1) in b 0.627 * [taylor]: Taking taylor expansion of 1 in b 0.627 * [taylor]: Taking taylor expansion of 0 in c 0.627 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.627 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.627 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.627 * [taylor]: Taking taylor expansion of a in b 0.627 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.627 * [taylor]: Taking taylor expansion of b in b 0.627 * [taylor]: Taking taylor expansion of (neg 1) in a 0.627 * [taylor]: Taking taylor expansion of 1 in a 0.627 * [taylor]: Taking taylor expansion of 0 in b 0.627 * [taylor]: Taking taylor expansion of (neg 1) in a 0.627 * [taylor]: Taking taylor expansion of 1 in a 0.627 * [taylor]: Taking taylor expansion of (neg 1) in a 0.627 * [taylor]: Taking taylor expansion of 1 in a 0.627 * [taylor]: Taking taylor expansion of 0 in c 0.627 * [taylor]: Taking taylor expansion of 0 in b 0.628 * [taylor]: Taking taylor expansion of 0 in b 0.628 * [taylor]: Taking taylor expansion of 0 in b 0.628 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.628 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.628 * [taylor]: Taking taylor expansion of a in a 0.628 * [taylor]: Taking taylor expansion of 0 in a 0.628 * [taylor]: Taking taylor expansion of 0 in a 0.628 * [taylor]: Taking taylor expansion of 0 in a 0.628 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 0.628 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (d c b a) around 0 0.628 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a 0.628 * [taylor]: Taking taylor expansion of d in a 0.628 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.628 * [taylor]: Taking taylor expansion of a in a 0.628 * [taylor]: Taking taylor expansion of (+ b c) in a 0.628 * [taylor]: Taking taylor expansion of b in a 0.628 * [taylor]: Taking taylor expansion of c in a 0.628 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b 0.628 * [taylor]: Taking taylor expansion of d in b 0.628 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.628 * [taylor]: Taking taylor expansion of a in b 0.628 * [taylor]: Taking taylor expansion of (+ b c) in b 0.628 * [taylor]: Taking taylor expansion of b in b 0.628 * [taylor]: Taking taylor expansion of c in b 0.628 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c 0.628 * [taylor]: Taking taylor expansion of d in c 0.629 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.629 * [taylor]: Taking taylor expansion of a in c 0.629 * [taylor]: Taking taylor expansion of (+ b c) in c 0.629 * [taylor]: Taking taylor expansion of b in c 0.629 * [taylor]: Taking taylor expansion of c in c 0.629 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.629 * [taylor]: Taking taylor expansion of d in d 0.629 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.629 * [taylor]: Taking taylor expansion of a in d 0.629 * [taylor]: Taking taylor expansion of (+ b c) in d 0.629 * [taylor]: Taking taylor expansion of b in d 0.629 * [taylor]: Taking taylor expansion of c in d 0.629 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.629 * [taylor]: Taking taylor expansion of d in d 0.629 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.629 * [taylor]: Taking taylor expansion of a in d 0.629 * [taylor]: Taking taylor expansion of (+ b c) in d 0.629 * [taylor]: Taking taylor expansion of b in d 0.629 * [taylor]: Taking taylor expansion of c in d 0.629 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.629 * [taylor]: Taking taylor expansion of a in c 0.629 * [taylor]: Taking taylor expansion of (+ c b) in c 0.629 * [taylor]: Taking taylor expansion of c in c 0.629 * [taylor]: Taking taylor expansion of b in c 0.629 * [taylor]: Taking taylor expansion of (+ a b) in b 0.629 * [taylor]: Taking taylor expansion of a in b 0.629 * [taylor]: Taking taylor expansion of b in b 0.629 * [taylor]: Taking taylor expansion of a in a 0.629 * [taylor]: Taking taylor expansion of 1 in c 0.629 * [taylor]: Taking taylor expansion of 1 in b 0.629 * [taylor]: Taking taylor expansion of 1 in a 0.629 * [taylor]: Taking taylor expansion of 1 in b 0.629 * [taylor]: Taking taylor expansion of 1 in a 0.629 * [taylor]: Taking taylor expansion of 1 in a 0.629 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in (d c b a) around 0 0.629 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.630 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.630 * [taylor]: Taking taylor expansion of a in a 0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.630 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.630 * [taylor]: Taking taylor expansion of c in a 0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.630 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.630 * [taylor]: Taking taylor expansion of d in a 0.630 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.630 * [taylor]: Taking taylor expansion of b in a 0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.630 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.630 * [taylor]: Taking taylor expansion of a in b 0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.630 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.630 * [taylor]: Taking taylor expansion of c in b 0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.630 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.630 * [taylor]: Taking taylor expansion of d in b 0.630 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.630 * [taylor]: Taking taylor expansion of b in b 0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.630 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.630 * [taylor]: Taking taylor expansion of a in c 0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.630 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.630 * [taylor]: Taking taylor expansion of c in c 0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.630 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.630 * [taylor]: Taking taylor expansion of d in c 0.630 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.630 * [taylor]: Taking taylor expansion of b in c 0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.630 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.630 * [taylor]: Taking taylor expansion of a in d 0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.630 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.630 * [taylor]: Taking taylor expansion of c in d 0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.630 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.630 * [taylor]: Taking taylor expansion of d in d 0.630 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.630 * [taylor]: Taking taylor expansion of b in d 0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.630 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.630 * [taylor]: Taking taylor expansion of a in d 0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.630 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.630 * [taylor]: Taking taylor expansion of c in d 0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.631 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.631 * [taylor]: Taking taylor expansion of d in d 0.631 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.631 * [taylor]: Taking taylor expansion of b in d 0.631 * [taylor]: Taking taylor expansion of 1 in c 0.631 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.631 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.631 * [taylor]: Taking taylor expansion of b in c 0.631 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.631 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.631 * [taylor]: Taking taylor expansion of c in c 0.631 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.631 * [taylor]: Taking taylor expansion of a in c 0.631 * [taylor]: Taking taylor expansion of 1 in b 0.631 * [taylor]: Taking taylor expansion of 1 in b 0.631 * [taylor]: Taking taylor expansion of 0 in c 0.631 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.631 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.631 * [taylor]: Taking taylor expansion of a in b 0.631 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.631 * [taylor]: Taking taylor expansion of b in b 0.631 * [taylor]: Taking taylor expansion of 1 in a 0.631 * [taylor]: Taking taylor expansion of 0 in b 0.631 * [taylor]: Taking taylor expansion of 1 in a 0.632 * [taylor]: Taking taylor expansion of 1 in a 0.632 * [taylor]: Taking taylor expansion of 0 in c 0.632 * [taylor]: Taking taylor expansion of 0 in b 0.632 * [taylor]: Taking taylor expansion of 0 in b 0.632 * [taylor]: Taking taylor expansion of 0 in b 0.632 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.632 * [taylor]: Taking taylor expansion of a in a 0.632 * [taylor]: Taking taylor expansion of 0 in a 0.632 * [taylor]: Taking taylor expansion of 0 in a 0.632 * [taylor]: Taking taylor expansion of 0 in a 0.632 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in (d c b a) around 0 0.632 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in a 0.632 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.633 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.633 * [taylor]: Taking taylor expansion of a in a 0.633 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.633 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.633 * [taylor]: Taking taylor expansion of c in a 0.633 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.633 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.633 * [taylor]: Taking taylor expansion of d in a 0.633 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.633 * [taylor]: Taking taylor expansion of b in a 0.633 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in b 0.633 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.633 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.633 * [taylor]: Taking taylor expansion of a in b 0.633 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.633 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.633 * [taylor]: Taking taylor expansion of c in b 0.633 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.633 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.633 * [taylor]: Taking taylor expansion of d in b 0.633 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.633 * [taylor]: Taking taylor expansion of b in b 0.633 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in c 0.633 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.633 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.633 * [taylor]: Taking taylor expansion of a in c 0.633 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.633 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.633 * [taylor]: Taking taylor expansion of c in c 0.633 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.633 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.633 * [taylor]: Taking taylor expansion of d in c 0.633 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.633 * [taylor]: Taking taylor expansion of b in c 0.633 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.633 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.633 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.633 * [taylor]: Taking taylor expansion of a in d 0.633 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.633 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.633 * [taylor]: Taking taylor expansion of c in d 0.633 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.633 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.633 * [taylor]: Taking taylor expansion of d in d 0.633 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.633 * [taylor]: Taking taylor expansion of b in d 0.633 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.633 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.634 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.634 * [taylor]: Taking taylor expansion of a in d 0.634 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.634 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.634 * [taylor]: Taking taylor expansion of c in d 0.634 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.634 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.634 * [taylor]: Taking taylor expansion of d in d 0.634 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.634 * [taylor]: Taking taylor expansion of b in d 0.634 * [taylor]: Taking taylor expansion of (neg 1) in c 0.634 * [taylor]: Taking taylor expansion of 1 in c 0.634 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.634 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.634 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.634 * [taylor]: Taking taylor expansion of b in c 0.634 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.634 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.634 * [taylor]: Taking taylor expansion of c in c 0.634 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.634 * [taylor]: Taking taylor expansion of a in c 0.634 * [taylor]: Taking taylor expansion of (neg 1) in b 0.634 * [taylor]: Taking taylor expansion of 1 in b 0.634 * [taylor]: Taking taylor expansion of (neg 1) in b 0.634 * [taylor]: Taking taylor expansion of 1 in b 0.634 * [taylor]: Taking taylor expansion of 0 in c 0.635 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.635 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.635 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.635 * [taylor]: Taking taylor expansion of a in b 0.635 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.635 * [taylor]: Taking taylor expansion of b in b 0.635 * [taylor]: Taking taylor expansion of (neg 1) in a 0.635 * [taylor]: Taking taylor expansion of 1 in a 0.635 * [taylor]: Taking taylor expansion of 0 in b 0.635 * [taylor]: Taking taylor expansion of (neg 1) in a 0.635 * [taylor]: Taking taylor expansion of 1 in a 0.635 * [taylor]: Taking taylor expansion of (neg 1) in a 0.635 * [taylor]: Taking taylor expansion of 1 in a 0.635 * [taylor]: Taking taylor expansion of 0 in c 0.635 * [taylor]: Taking taylor expansion of 0 in b 0.635 * [taylor]: Taking taylor expansion of 0 in b 0.635 * [taylor]: Taking taylor expansion of 0 in b 0.635 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.635 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.635 * [taylor]: Taking taylor expansion of a in a 0.636 * [taylor]: Taking taylor expansion of 0 in a 0.636 * [taylor]: Taking taylor expansion of 0 in a 0.636 * [taylor]: Taking taylor expansion of 0 in a 0.636 * * * [progress]: simplifying candidates 0.637 * [simplify]: Simplifying using # : (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (+ d (+ c (+ b a))) (+ d (+ c (+ b a)))) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (+ d (+ c (+ b a))) (+ d (+ c (+ b a)))) (+ 1 1) (+ (log (sqrt (+ d (+ c (+ b a))))) (log (sqrt (+ d (+ c (+ b a)))))) (log (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))))) (exp (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))))) (* (* (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (sqrt (+ d (+ c (+ b a))))) (* (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (sqrt (+ d (+ c (+ b a)))))) (* (cbrt (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))))) (cbrt (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))))) (cbrt (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))))) (* (* (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))))) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))))) (* (+ d (+ c (+ b a))) (+ d (+ c (+ b a)))) (sqrt (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))))) (sqrt (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))))) (* (sqrt (+ (pow d 3) (pow (+ c (+ b a)) 3))) (sqrt (+ (pow d 3) (pow (+ c (+ b a)) 3)))) (* (sqrt (+ (* d d) (- (* (+ c (+ b a)) (+ c (+ b a))) (* d (+ c (+ b a)))))) (sqrt (+ (* d d) (- (* (+ c (+ b a)) (+ c (+ b a))) (* d (+ c (+ b a))))))) (* (sqrt (+ (pow d 3) (pow (+ c (+ b a)) 3))) (sqrt (- (* d d) (* (+ c (+ b a)) (+ c (+ b a)))))) (* (sqrt (+ (* d d) (- (* (+ c (+ b a)) (+ c (+ b a))) (* d (+ c (+ b a)))))) (sqrt (- d (+ c (+ b a))))) (* (sqrt (- (* d d) (* (+ c (+ b a)) (+ c (+ b a))))) (sqrt (+ (pow d 3) (pow (+ c (+ b a)) 3)))) (* (sqrt (- d (+ c (+ b a)))) (sqrt (+ (* d d) (- (* (+ c (+ b a)) (+ c (+ b a))) (* d (+ c (+ b a))))))) (* (sqrt (- (* d d) (* (+ c (+ b a)) (+ c (+ b a))))) (sqrt (- (* d d) (* (+ c (+ b a)) (+ c (+ b a)))))) (* (sqrt (- d (+ c (+ b a)))) (sqrt (- d (+ c (+ b a))))) (* (* (cbrt (sqrt (+ d (+ c (+ b a))))) (cbrt (sqrt (+ d (+ c (+ b a)))))) (* (cbrt (sqrt (+ d (+ c (+ b a))))) (cbrt (sqrt (+ d (+ c (+ b a))))))) (* (cbrt (sqrt (+ d (+ c (+ b a))))) (cbrt (sqrt (+ d (+ c (+ b a)))))) (* (sqrt (* (cbrt (+ d (+ c (+ b a)))) (cbrt (+ d (+ c (+ b a)))))) (sqrt (* (cbrt (+ d (+ c (+ b a)))) (cbrt (+ d (+ c (+ b a))))))) (* (sqrt (cbrt (+ d (+ c (+ b a))))) (sqrt (cbrt (+ d (+ c (+ b a)))))) (* (sqrt (sqrt (+ d (+ c (+ b a))))) (sqrt (sqrt (+ d (+ c (+ b a)))))) (* (sqrt (sqrt (+ d (+ c (+ b a))))) (sqrt (sqrt (+ d (+ c (+ b a)))))) (* (sqrt (sqrt (+ d (+ c (+ b a))))) (sqrt (sqrt (+ d (+ c (+ b a)))))) (* (sqrt (sqrt (+ d (+ c (+ b a))))) (sqrt (sqrt (+ d (+ c (+ b a)))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt (sqrt (+ d (+ c (+ b a))))) (sqrt (sqrt (+ d (+ c (+ b a)))))) (* (sqrt (sqrt (+ d (+ c (+ b a))))) (sqrt (sqrt (+ d (+ c (+ b a)))))) (* (sqrt (sqrt (+ d (+ c (+ b a))))) (sqrt (sqrt (+ d (+ c (+ b a)))))) (* (sqrt (sqrt (+ d (+ c (+ b a))))) (sqrt (sqrt (+ d (+ c (+ b a)))))) (* 1 1) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt (sqrt (+ d (+ c (+ b a))))) (sqrt (sqrt (+ d (+ c (+ b a)))))) (* (sqrt (sqrt (+ d (+ c (+ b a))))) (sqrt (sqrt (+ d (+ c (+ b a)))))) (* (sqrt (sqrt (+ d (+ c (+ b a))))) (sqrt (sqrt (+ d (+ c (+ b a)))))) (* (sqrt (sqrt (+ d (+ c (+ b a))))) (sqrt (sqrt (+ d (+ c (+ b a)))))) (* (sqrt (sqrt (+ d (+ c (+ b a))))) (sqrt (sqrt (+ d (+ c (+ b a)))))) (* (sqrt (sqrt (+ d (+ c (+ b a))))) (sqrt (sqrt (+ d (+ c (+ b a)))))) (* (sqrt (sqrt (+ d (+ c (+ b a))))) (sqrt (sqrt (+ d (+ c (+ b a)))))) (* (sqrt (sqrt (+ d (+ c (+ b a))))) (sqrt (sqrt (+ d (+ c (+ b a)))))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (+ d (+ c (+ b a)))) (* (cbrt (sqrt (+ d (+ c (+ b a))))) (cbrt (sqrt (+ d (+ c (+ b a))))))) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (* (cbrt (+ d (+ c (+ b a)))) (cbrt (+ d (+ c (+ b a))))))) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (sqrt (+ d (+ c (+ b a)))))) (* (sqrt (+ d (+ c (+ b a)))) (sqrt 1)) (* (sqrt (+ d (+ c (+ b a)))) (sqrt 1)) (* (sqrt (+ d (+ c (+ b a)))) (sqrt 1)) (* (sqrt (+ d (+ c (+ b a)))) (sqrt 1)) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (sqrt (+ d (+ c (+ b a)))))) (* (sqrt (+ d (+ c (+ b a)))) 1) (* (cbrt (sqrt (+ d (+ c (+ b a))))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt (cbrt (+ d (+ c (+ b a))))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt (sqrt (+ d (+ c (+ b a))))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt (sqrt (+ d (+ c (+ b a))))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ (pow d 3) (pow (+ c (+ b a)) 3)))) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (- (* d d) (* (+ c (+ b a)) (+ c (+ b a)))))) (* (sqrt (+ (pow d 3) (pow (+ c (+ b a)) 3))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt (- (* d d) (* (+ c (+ b a)) (+ c (+ b a))))) (sqrt (+ d (+ c (+ b a))))) (* (exp e) (exp (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))))) (log (+ e (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))))) (exp (+ e (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))))) (* (cbrt (+ e (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))))) (cbrt (+ e (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))))))) (cbrt (+ e (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))))) (* (* (+ e (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))))) (+ e (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))))) (+ e (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))))) (sqrt (+ e (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))))) (sqrt (+ e (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))))) (+ (pow e 3) (pow (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) 3)) (+ (* e e) (- (* (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))))) (* e (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))))))) (- (* e e) (* (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a))))))) (- e (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))))) (* (exp d) (* (exp c) (* (exp b) (exp a)))) (* (exp d) (* (exp c) (exp (+ b a)))) (* (exp d) (exp (+ c (+ b a)))) (log (+ d (+ c (+ b a)))) (exp (+ d (+ c (+ b a)))) (* (cbrt (+ d (+ c (+ b a)))) (cbrt (+ d (+ c (+ b a))))) (cbrt (+ d (+ c (+ b a)))) (* (* (+ d (+ c (+ b a))) (+ d (+ c (+ b a)))) (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) (+ (pow d 3) (pow (+ c (+ b a)) 3)) (+ (* d d) (- (* (+ c (+ b a)) (+ c (+ b a))) (* d (+ c (+ b a))))) (- (* d d) (* (+ c (+ b a)) (+ c (+ b a)))) (- d (+ c (+ b a))) (+ d (+ c (+ b a))) (+ d (+ c (+ b a))) (+ d (+ c (+ b a))) (+ d c) (* (exp d) (* (exp c) (* (exp b) (exp a)))) (* (exp d) (* (exp c) (exp (+ b a)))) (* (exp d) (exp (+ c (+ b a)))) (log (+ d (+ c (+ b a)))) (exp (+ d (+ c (+ b a)))) (* (cbrt (+ d (+ c (+ b a)))) (cbrt (+ d (+ c (+ b a))))) (cbrt (+ d (+ c (+ b a)))) (* (* (+ d (+ c (+ b a))) (+ d (+ c (+ b a)))) (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) (+ (pow d 3) (pow (+ c (+ b a)) 3)) (+ (* d d) (- (* (+ c (+ b a)) (+ c (+ b a))) (* d (+ c (+ b a))))) (- (* d d) (* (+ c (+ b a)) (+ c (+ b a)))) (- d (+ c (+ b a))) (+ d (+ c (+ b a))) (+ d (+ c (+ b a))) (+ d (+ c (+ b a))) (+ d c) (+ d (+ b c)) (+ a (+ b c)) (- (+ (pow NAN 2) (* 5 (/ (pow NAN 6) (pow d 2)))) (* 2 (/ (pow NAN 4) d))) (+ d (+ e c)) (+ a (+ b c)) (- (+ e (pow NAN 2)) (* 2 (/ (pow NAN 4) d))) (+ d (+ b c)) (+ a (+ b c)) (+ a (+ b c)) (+ d (+ b c)) (+ a (+ b c)) (+ a (+ b c)) 0.655 * * [simplify]: iteration 0 : 4999 enodes (cost 1450 ) 0.655 * * [simplify]: iteration 1 : 4999 enodes (cost 1450 ) 0.660 * [simplify]: Simplified to: 1 1 2 1 1 (pow (sqrt (+ d (+ c (+ b a)))) 4) (+ d (+ c (+ b a))) (pow (sqrt (+ d (+ c (+ b a)))) 4) 2 (log (+ d (+ c (+ b a)))) (log (+ d (+ c (+ b a)))) (exp (+ d (+ c (+ b a)))) (pow (+ d (+ c (+ b a))) 3) (* (cbrt (+ d (+ c (+ b a)))) (cbrt (+ d (+ c (+ b a))))) (cbrt (+ d (+ c (+ b a)))) (pow (+ d (+ c (+ b a))) 3) (pow (sqrt (+ d (+ c (+ b a)))) 4) (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) (+ (pow d 3) (pow (+ c (+ b a)) 3)) (+ (* d d) (* (+ c (+ b a)) (+ c (+ b (- a d))))) (* (sqrt (+ (pow d 3) (pow (+ c (+ b a)) 3))) (sqrt (- (* d d) (* (+ c (+ b a)) (+ c (+ b a)))))) (* (sqrt (+ (* d d) (* (+ c (+ b a)) (+ c (+ b (- a d)))))) (sqrt (- d (+ c (+ b a))))) (* (sqrt (+ (pow d 3) (pow (+ c (+ b a)) 3))) (sqrt (- (* d d) (* (+ c (+ b a)) (+ c (+ b a)))))) (* (sqrt (+ (* d d) (* (+ c (+ b a)) (+ c (+ b (- a d)))))) (sqrt (- d (+ c (+ b a))))) (- (* d d) (* (+ c (+ b a)) (+ c (+ b a)))) (- d (+ c (+ b a))) (pow (cbrt (sqrt (+ d (+ c (+ b a))))) 4) (* (cbrt (sqrt (+ d (+ c (+ b a))))) (cbrt (sqrt (+ d (+ c (+ b a)))))) (* (cbrt (+ d (+ c (+ b a)))) (cbrt (+ d (+ c (+ b a))))) (cbrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) 1 (+ d (+ c (+ b a))) 1 (+ d (+ c (+ b a))) 1 (+ d (+ c (+ b a))) 1 (+ d (+ c (+ b a))) 1 (+ d (+ c (+ b a))) 1 (+ d (+ c (+ b a))) 1 (+ d (+ c (+ b a))) 1 (+ d (+ c (+ b a))) 1 (+ d (+ c (+ b a))) 1 (+ d (+ c (+ b a))) 1 (+ d (+ c (+ b a))) 1 (+ d (+ c (+ b a))) 1 (+ d (+ c (+ b a))) 1 (+ d (+ c (+ b a))) 1 (+ d (+ c (+ b a))) 1 (+ d (+ c (+ b a))) (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) 1 (+ d (+ c (+ b a))) (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) 1 2 1 (* (cbrt (sqrt (+ d (+ c (+ b a))))) (pow (cbrt (sqrt (+ d (+ c (+ b a))))) 4)) (* (sqrt (+ d (+ c (+ b a)))) (fabs (cbrt (+ d (+ c (+ b a)))))) (pow (sqrt (sqrt (+ d (+ c (+ b a))))) 3) (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) (pow (sqrt (sqrt (+ d (+ c (+ b a))))) 3) (sqrt (+ d (+ c (+ b a)))) (pow (cbrt (sqrt (+ d (+ c (+ b a))))) 4) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (cbrt (+ d (+ c (+ b a)))))) (pow (sqrt (sqrt (+ d (+ c (+ b a))))) 3) (+ d (+ c (+ b a))) (+ d (+ c (+ b a))) (+ d (+ c (+ b a))) (+ d (+ c (+ b a))) (pow (sqrt (sqrt (+ d (+ c (+ b a))))) 3) (+ d (+ c (+ b a))) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ (pow d 3) (pow (+ c (+ b a)) 3)))) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (- (* d d) (* (+ c (+ b a)) (+ c (+ b a)))))) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (+ (pow d 3) (pow (+ c (+ b a)) 3)))) (* (sqrt (+ d (+ c (+ b a)))) (sqrt (- (* d d) (* (+ c (+ b a)) (+ c (+ b a)))))) (exp (+ d (+ e (+ c (+ b a))))) (log (+ d (+ e (+ c (+ b a))))) (exp (+ d (+ e (+ c (+ b a))))) (* (cbrt (+ d (+ e (+ c (+ b a))))) (cbrt (+ d (+ e (+ c (+ b a)))))) (cbrt (+ d (+ e (+ c (+ b a))))) (pow (+ d (+ e (+ c (+ b a)))) 3) (sqrt (+ d (+ e (+ c (+ b a))))) (sqrt (+ d (+ e (+ c (+ b a))))) (+ (pow (+ d (+ c (+ b a))) 3) (pow e 3)) (+ (* e e) (* (+ d (+ c (+ b a))) (+ d (+ c (+ b (- a e)))))) (- (* e e) (pow (sqrt (+ d (+ c (+ b a)))) 4)) (- e (+ d (+ c (+ b a)))) (exp (+ d (+ c (+ b a)))) (exp (+ d (+ c (+ b a)))) (exp (+ d (+ c (+ b a)))) (log (+ d (+ c (+ b a)))) (exp (+ d (+ c (+ b a)))) (* (cbrt (+ d (+ c (+ b a)))) (cbrt (+ d (+ c (+ b a))))) (cbrt (+ d (+ c (+ b a)))) (pow (+ d (+ c (+ b a))) 3) (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) (+ (pow d 3) (pow (+ c (+ b a)) 3)) (+ (* d d) (* (+ c (+ b a)) (+ c (+ b (- a d))))) (- (* d d) (* (+ c (+ b a)) (+ c (+ b a)))) (- d (+ c (+ b a))) (+ d (+ c (+ b a))) (+ d (+ c (+ b a))) (+ d (+ c (+ b a))) (+ d c) (exp (+ d (+ c (+ b a)))) (exp (+ d (+ c (+ b a)))) (exp (+ d (+ c (+ b a)))) (log (+ d (+ c (+ b a)))) (exp (+ d (+ c (+ b a)))) (* (cbrt (+ d (+ c (+ b a)))) (cbrt (+ d (+ c (+ b a))))) (cbrt (+ d (+ c (+ b a)))) (pow (+ d (+ c (+ b a))) 3) (sqrt (+ d (+ c (+ b a)))) (sqrt (+ d (+ c (+ b a)))) (+ (pow d 3) (pow (+ c (+ b a)) 3)) (+ (* d d) (* (+ c (+ b a)) (+ c (+ b (- a d))))) (- (* d d) (* (+ c (+ b a)) (+ c (+ b a)))) (- d (+ c (+ b a))) (+ d (+ c (+ b a))) (+ d (+ c (+ b a))) (+ d (+ c (+ b a))) (+ d c) (+ d (+ c b)) (+ c (+ b a)) (+ (* NAN NAN) (- (* 5 (/ (pow NAN 6) (* d d))) (* 2 (/ (pow NAN 4) d)))) (+ d (+ c e)) (+ c (+ b a)) (+ e (- (* NAN NAN) (* 2 (/ (pow NAN 4) d)))) (+ d (+ c b)) (+ c (+ b a)) (+ c (+ b a)) (+ d (+ c b)) (+ c (+ b a)) (+ c (+ b a)) 0.661 * * * [progress]: adding candidates to table 0.739 * [progress]: [Phase 3 of 3] Extracting. 0.739 * * [regime]: Finding splitpoints for: (# # # # # #) 0.741 * * * [regime-changes]: Trying 6 branch expressions: ((+ e d) e d c b a) 0.741 * * * * [regimes]: Trying to branch on (+ e d) from (# # # # # #) 0.814 * * * * [regimes]: Trying to branch on e from (# # # # # #) 0.886 * * * * [regimes]: Trying to branch on d from (# # # # # #) 0.957 * * * * [regimes]: Trying to branch on c from (# # # # # #) 1.030 * * * * [regimes]: Trying to branch on b from (# # # # # #) 1.103 * * * * [regimes]: Trying to branch on a from (# # # # # #) 1.176 * * * [regime]: Found split indices: #