23.899 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.047 * * * [progress]: [2/2] Setting up program. 0.051 * [progress]: [Phase 2 of 3] Improving. 0.051 * [simplify]: Simplifying using # : (+ (+ (+ (+ e d) c) b) a) 0.055 * * [simplify]: iteration 0 : 185 enodes (cost 9 ) 0.055 * * [simplify]: iteration 1 : 185 enodes (cost 9 ) 0.055 * [simplify]: Simplified to: (+ e (+ d (+ c (+ b a)))) 0.061 * * [progress]: iteration 1 / 4 0.061 * * * [progress]: picking best candidate 0.067 * * * * [pick]: Picked # 0.067 * * * [progress]: localizing error 0.074 * * * [progress]: generating rewritten candidates 0.074 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.086 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.093 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 0.100 * * * [progress]: generating series expansions 0.100 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.100 * [approximate]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in (e d c b a) around 0 0.100 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in a 0.100 * [taylor]: Taking taylor expansion of d in a 0.100 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in a 0.100 * [taylor]: Taking taylor expansion of e in a 0.100 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in a 0.100 * [taylor]: Taking taylor expansion of b in a 0.100 * [taylor]: Taking taylor expansion of (+ a c) in a 0.100 * [taylor]: Taking taylor expansion of a in a 0.100 * [taylor]: Taking taylor expansion of c in a 0.100 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in b 0.100 * [taylor]: Taking taylor expansion of d in b 0.100 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in b 0.100 * [taylor]: Taking taylor expansion of e in b 0.100 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in b 0.101 * [taylor]: Taking taylor expansion of b in b 0.101 * [taylor]: Taking taylor expansion of (+ a c) in b 0.101 * [taylor]: Taking taylor expansion of a in b 0.101 * [taylor]: Taking taylor expansion of c in b 0.101 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in c 0.101 * [taylor]: Taking taylor expansion of d in c 0.101 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in c 0.101 * [taylor]: Taking taylor expansion of e in c 0.101 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in c 0.101 * [taylor]: Taking taylor expansion of b in c 0.101 * [taylor]: Taking taylor expansion of (+ a c) in c 0.101 * [taylor]: Taking taylor expansion of a in c 0.101 * [taylor]: Taking taylor expansion of c in c 0.101 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in d 0.101 * [taylor]: Taking taylor expansion of d in d 0.101 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in d 0.101 * [taylor]: Taking taylor expansion of e in d 0.101 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in d 0.101 * [taylor]: Taking taylor expansion of b in d 0.101 * [taylor]: Taking taylor expansion of (+ a c) in d 0.101 * [taylor]: Taking taylor expansion of a in d 0.101 * [taylor]: Taking taylor expansion of c in d 0.101 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e 0.101 * [taylor]: Taking taylor expansion of d in e 0.101 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 0.101 * [taylor]: Taking taylor expansion of e in e 0.101 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 0.101 * [taylor]: Taking taylor expansion of b in e 0.101 * [taylor]: Taking taylor expansion of (+ a c) in e 0.101 * [taylor]: Taking taylor expansion of a in e 0.101 * [taylor]: Taking taylor expansion of c in e 0.101 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e 0.101 * [taylor]: Taking taylor expansion of d in e 0.101 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 0.101 * [taylor]: Taking taylor expansion of e in e 0.101 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 0.101 * [taylor]: Taking taylor expansion of b in e 0.101 * [taylor]: Taking taylor expansion of (+ a c) in e 0.101 * [taylor]: Taking taylor expansion of a in e 0.101 * [taylor]: Taking taylor expansion of c in e 0.101 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.101 * [taylor]: Taking taylor expansion of d in d 0.101 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.101 * [taylor]: Taking taylor expansion of a in d 0.101 * [taylor]: Taking taylor expansion of (+ b c) in d 0.101 * [taylor]: Taking taylor expansion of b in d 0.101 * [taylor]: Taking taylor expansion of c in d 0.102 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.102 * [taylor]: Taking taylor expansion of a in c 0.102 * [taylor]: Taking taylor expansion of (+ c b) in c 0.102 * [taylor]: Taking taylor expansion of c in c 0.102 * [taylor]: Taking taylor expansion of b in c 0.102 * [taylor]: Taking taylor expansion of (+ a b) in b 0.102 * [taylor]: Taking taylor expansion of a in b 0.102 * [taylor]: Taking taylor expansion of b in b 0.102 * [taylor]: Taking taylor expansion of a in a 0.102 * [taylor]: Taking taylor expansion of 1 in d 0.102 * [taylor]: Taking taylor expansion of 1 in c 0.102 * [taylor]: Taking taylor expansion of 1 in b 0.102 * [taylor]: Taking taylor expansion of 1 in a 0.102 * [taylor]: Taking taylor expansion of 1 in c 0.102 * [taylor]: Taking taylor expansion of 1 in b 0.102 * [taylor]: Taking taylor expansion of 1 in a 0.102 * [taylor]: Taking taylor expansion of 1 in b 0.102 * [taylor]: Taking taylor expansion of 1 in a 0.102 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in (e d c b a) around 0 0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) 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 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in a 0.103 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.103 * [taylor]: Taking taylor expansion of d in a 0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) 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) (/ 1 e)) 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 (/ 1 e) in a 0.103 * [taylor]: Taking taylor expansion of e in a 0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) 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 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in b 0.103 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.103 * [taylor]: Taking taylor expansion of d in b 0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) 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) (/ 1 e)) in b 0.103 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.103 * [taylor]: Taking taylor expansion of a in b 0.103 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.103 * [taylor]: Taking taylor expansion of e in b 0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in c 0.103 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.103 * [taylor]: Taking taylor expansion of b in c 0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in c 0.103 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.103 * [taylor]: Taking taylor expansion of d in c 0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in c 0.103 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.103 * [taylor]: Taking taylor expansion of c in c 0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in c 0.103 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.103 * [taylor]: Taking taylor expansion of a in c 0.103 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.103 * [taylor]: Taking taylor expansion of e in c 0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in d 0.103 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.103 * [taylor]: Taking taylor expansion of b in d 0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in d 0.104 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.104 * [taylor]: Taking taylor expansion of d in d 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in d 0.104 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.104 * [taylor]: Taking taylor expansion of c in d 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in d 0.104 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.104 * [taylor]: Taking taylor expansion of a in d 0.104 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.104 * [taylor]: Taking taylor expansion of e in d 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e 0.104 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.104 * [taylor]: Taking taylor expansion of b in e 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in e 0.104 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.104 * [taylor]: Taking taylor expansion of d in e 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in e 0.104 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.104 * [taylor]: Taking taylor expansion of c in e 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e 0.104 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.104 * [taylor]: Taking taylor expansion of a in e 0.104 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.104 * [taylor]: Taking taylor expansion of e in e 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e 0.104 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.104 * [taylor]: Taking taylor expansion of b in e 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in e 0.104 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.104 * [taylor]: Taking taylor expansion of d in e 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in e 0.104 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.104 * [taylor]: Taking taylor expansion of c in e 0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e 0.104 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.104 * [taylor]: Taking taylor expansion of a in e 0.104 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.104 * [taylor]: Taking taylor expansion of e in e 0.104 * [taylor]: Taking taylor expansion of 1 in d 0.105 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.105 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.105 * [taylor]: Taking taylor expansion of a in d 0.105 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.105 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.105 * [taylor]: Taking taylor expansion of c in d 0.105 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.105 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.105 * [taylor]: Taking taylor expansion of d in d 0.105 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.105 * [taylor]: Taking taylor expansion of b in d 0.105 * [taylor]: Taking taylor expansion of 1 in c 0.105 * [taylor]: Taking taylor expansion of 1 in c 0.105 * [taylor]: Taking taylor expansion of 0 in d 0.105 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.105 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.105 * [taylor]: Taking taylor expansion of b in c 0.105 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.106 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.106 * [taylor]: Taking taylor expansion of c in c 0.106 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.106 * [taylor]: Taking taylor expansion of a in c 0.106 * [taylor]: Taking taylor expansion of 1 in b 0.106 * [taylor]: Taking taylor expansion of 0 in c 0.106 * [taylor]: Taking taylor expansion of 1 in b 0.106 * [taylor]: Taking taylor expansion of 1 in b 0.106 * [taylor]: Taking taylor expansion of 0 in d 0.106 * [taylor]: Taking taylor expansion of 0 in c 0.106 * [taylor]: Taking taylor expansion of 0 in c 0.106 * [taylor]: Taking taylor expansion of 0 in c 0.106 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.106 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.106 * [taylor]: Taking taylor expansion of a in b 0.106 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.106 * [taylor]: Taking taylor expansion of b in b 0.107 * [taylor]: Taking taylor expansion of 1 in a 0.107 * [taylor]: Taking taylor expansion of 0 in b 0.107 * [taylor]: Taking taylor expansion of 0 in b 0.107 * [taylor]: Taking taylor expansion of 0 in b 0.107 * [taylor]: Taking taylor expansion of 1 in a 0.107 * [taylor]: Taking taylor expansion of 1 in a 0.107 * [taylor]: Taking taylor expansion of 1 in a 0.107 * [taylor]: Taking taylor expansion of 0 in d 0.107 * [taylor]: Taking taylor expansion of 0 in c 0.107 * [taylor]: Taking taylor expansion of 0 in c 0.107 * [taylor]: Taking taylor expansion of 0 in c 0.108 * [taylor]: Taking taylor expansion of 0 in c 0.108 * [taylor]: Taking taylor expansion of 0 in b 0.108 * [taylor]: Taking taylor expansion of 0 in b 0.108 * [taylor]: Taking taylor expansion of 0 in b 0.108 * [taylor]: Taking taylor expansion of 0 in b 0.108 * [taylor]: Taking taylor expansion of 0 in b 0.108 * [taylor]: Taking taylor expansion of 0 in b 0.108 * [taylor]: Taking taylor expansion of 0 in b 0.108 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.108 * [taylor]: Taking taylor expansion of a in a 0.108 * [taylor]: Taking taylor expansion of 0 in a 0.108 * [taylor]: Taking taylor expansion of 0 in a 0.108 * [taylor]: Taking taylor expansion of 0 in a 0.108 * [taylor]: Taking taylor expansion of 0 in a 0.108 * [taylor]: Taking taylor expansion of 0 in a 0.108 * [taylor]: Taking taylor expansion of 0 in a 0.109 * [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.109 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in a 0.109 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in a 0.109 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.109 * [taylor]: Taking taylor expansion of b in a 0.109 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in a 0.109 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.109 * [taylor]: Taking taylor expansion of d in a 0.109 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in a 0.109 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.109 * [taylor]: Taking taylor expansion of c in a 0.109 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in a 0.109 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.109 * [taylor]: Taking taylor expansion of a in a 0.109 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.109 * [taylor]: Taking taylor expansion of e in a 0.109 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in b 0.109 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in b 0.109 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.109 * [taylor]: Taking taylor expansion of b in b 0.109 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in b 0.109 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.109 * [taylor]: Taking taylor expansion of d in b 0.109 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in b 0.109 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.109 * [taylor]: Taking taylor expansion of c in b 0.109 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in b 0.109 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.109 * [taylor]: Taking taylor expansion of a in b 0.109 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.109 * [taylor]: Taking taylor expansion of e in b 0.109 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in c 0.109 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in c 0.109 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.109 * [taylor]: Taking taylor expansion of b in c 0.109 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in c 0.109 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.109 * [taylor]: Taking taylor expansion of d in c 0.109 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in c 0.109 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.109 * [taylor]: Taking taylor expansion of c in c 0.110 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in c 0.110 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.110 * [taylor]: Taking taylor expansion of a in c 0.110 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.110 * [taylor]: Taking taylor expansion of e in c 0.110 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in d 0.110 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in d 0.110 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.110 * [taylor]: Taking taylor expansion of b in d 0.110 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in d 0.110 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.110 * [taylor]: Taking taylor expansion of d in d 0.110 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in d 0.110 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.110 * [taylor]: Taking taylor expansion of c in d 0.110 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in d 0.110 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.110 * [taylor]: Taking taylor expansion of a in d 0.110 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.110 * [taylor]: Taking taylor expansion of e in d 0.110 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in e 0.110 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e 0.110 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.110 * [taylor]: Taking taylor expansion of b in e 0.110 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in e 0.110 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.110 * [taylor]: Taking taylor expansion of d in e 0.110 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in e 0.110 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.110 * [taylor]: Taking taylor expansion of c in e 0.110 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e 0.110 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.110 * [taylor]: Taking taylor expansion of a in e 0.110 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.110 * [taylor]: Taking taylor expansion of e in e 0.110 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in e 0.110 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e 0.110 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.110 * [taylor]: Taking taylor expansion of b in e 0.110 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in e 0.110 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.110 * [taylor]: Taking taylor expansion of d in e 0.110 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in e 0.110 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.110 * [taylor]: Taking taylor expansion of c in e 0.111 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e 0.111 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.111 * [taylor]: Taking taylor expansion of a in e 0.111 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.111 * [taylor]: Taking taylor expansion of e in e 0.111 * [taylor]: Taking taylor expansion of (neg 1) in d 0.111 * [taylor]: Taking taylor expansion of 1 in d 0.111 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) in d 0.111 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in d 0.111 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.111 * [taylor]: Taking taylor expansion of a in d 0.111 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d 0.111 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.111 * [taylor]: Taking taylor expansion of d in d 0.111 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d 0.111 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.111 * [taylor]: Taking taylor expansion of c in d 0.111 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.111 * [taylor]: Taking taylor expansion of b in d 0.111 * [taylor]: Taking taylor expansion of (neg 1) in c 0.111 * [taylor]: Taking taylor expansion of 1 in c 0.111 * [taylor]: Taking taylor expansion of (neg 1) in c 0.111 * [taylor]: Taking taylor expansion of 1 in c 0.112 * [taylor]: Taking taylor expansion of 0 in d 0.112 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.112 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.112 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.112 * [taylor]: Taking taylor expansion of b in c 0.112 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.112 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.112 * [taylor]: Taking taylor expansion of c in c 0.112 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.112 * [taylor]: Taking taylor expansion of a in c 0.112 * [taylor]: Taking taylor expansion of (neg 1) in b 0.112 * [taylor]: Taking taylor expansion of 1 in b 0.112 * [taylor]: Taking taylor expansion of 0 in c 0.112 * [taylor]: Taking taylor expansion of (neg 1) in b 0.112 * [taylor]: Taking taylor expansion of 1 in b 0.112 * [taylor]: Taking taylor expansion of (neg 1) in b 0.112 * [taylor]: Taking taylor expansion of 1 in b 0.113 * [taylor]: Taking taylor expansion of 0 in d 0.113 * [taylor]: Taking taylor expansion of 0 in c 0.113 * [taylor]: Taking taylor expansion of 0 in c 0.113 * [taylor]: Taking taylor expansion of 0 in c 0.113 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.113 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.113 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.113 * [taylor]: Taking taylor expansion of a in b 0.113 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.113 * [taylor]: Taking taylor expansion of b in b 0.113 * [taylor]: Taking taylor expansion of (neg 1) in a 0.113 * [taylor]: Taking taylor expansion of 1 in a 0.113 * [taylor]: Taking taylor expansion of 0 in b 0.113 * [taylor]: Taking taylor expansion of 0 in b 0.113 * [taylor]: Taking taylor expansion of 0 in b 0.113 * [taylor]: Taking taylor expansion of (neg 1) in a 0.113 * [taylor]: Taking taylor expansion of 1 in a 0.113 * [taylor]: Taking taylor expansion of (neg 1) in a 0.113 * [taylor]: Taking taylor expansion of 1 in a 0.113 * [taylor]: Taking taylor expansion of (neg 1) in a 0.113 * [taylor]: Taking taylor expansion of 1 in a 0.114 * [taylor]: Taking taylor expansion of 0 in d 0.114 * [taylor]: Taking taylor expansion of 0 in c 0.114 * [taylor]: Taking taylor expansion of 0 in c 0.114 * [taylor]: Taking taylor expansion of 0 in c 0.114 * [taylor]: Taking taylor expansion of 0 in c 0.114 * [taylor]: Taking taylor expansion of 0 in b 0.114 * [taylor]: Taking taylor expansion of 0 in b 0.114 * [taylor]: Taking taylor expansion of 0 in b 0.114 * [taylor]: Taking taylor expansion of 0 in b 0.114 * [taylor]: Taking taylor expansion of 0 in b 0.115 * [taylor]: Taking taylor expansion of 0 in b 0.115 * [taylor]: Taking taylor expansion of 0 in b 0.115 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.115 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.115 * [taylor]: Taking taylor expansion of a in a 0.115 * [taylor]: Taking taylor expansion of 0 in a 0.115 * [taylor]: Taking taylor expansion of 0 in a 0.115 * [taylor]: Taking taylor expansion of 0 in a 0.115 * [taylor]: Taking taylor expansion of 0 in a 0.115 * [taylor]: Taking taylor expansion of 0 in a 0.115 * [taylor]: Taking taylor expansion of 0 in a 0.115 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.115 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (d c b a) around 0 0.115 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a 0.115 * [taylor]: Taking taylor expansion of d in a 0.115 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.115 * [taylor]: Taking taylor expansion of a in a 0.115 * [taylor]: Taking taylor expansion of (+ b c) in a 0.115 * [taylor]: Taking taylor expansion of b in a 0.115 * [taylor]: Taking taylor expansion of c in a 0.115 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b 0.115 * [taylor]: Taking taylor expansion of d in b 0.116 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.116 * [taylor]: Taking taylor expansion of a in b 0.116 * [taylor]: Taking taylor expansion of (+ b c) in b 0.116 * [taylor]: Taking taylor expansion of b in b 0.116 * [taylor]: Taking taylor expansion of c in b 0.116 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c 0.116 * [taylor]: Taking taylor expansion of d in c 0.116 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.116 * [taylor]: Taking taylor expansion of a in c 0.116 * [taylor]: Taking taylor expansion of (+ b c) in c 0.116 * [taylor]: Taking taylor expansion of b in c 0.116 * [taylor]: Taking taylor expansion of c in c 0.116 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.116 * [taylor]: Taking taylor expansion of d in d 0.116 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.116 * [taylor]: Taking taylor expansion of a in d 0.116 * [taylor]: Taking taylor expansion of (+ b c) in d 0.116 * [taylor]: Taking taylor expansion of b in d 0.116 * [taylor]: Taking taylor expansion of c in d 0.116 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.116 * [taylor]: Taking taylor expansion of d in d 0.116 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.116 * [taylor]: Taking taylor expansion of a in d 0.116 * [taylor]: Taking taylor expansion of (+ b c) in d 0.116 * [taylor]: Taking taylor expansion of b in d 0.116 * [taylor]: Taking taylor expansion of c in d 0.116 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.116 * [taylor]: Taking taylor expansion of a in c 0.116 * [taylor]: Taking taylor expansion of (+ c b) in c 0.116 * [taylor]: Taking taylor expansion of c in c 0.116 * [taylor]: Taking taylor expansion of b in c 0.116 * [taylor]: Taking taylor expansion of (+ a b) in b 0.116 * [taylor]: Taking taylor expansion of a in b 0.116 * [taylor]: Taking taylor expansion of b in b 0.116 * [taylor]: Taking taylor expansion of a in a 0.116 * [taylor]: Taking taylor expansion of 1 in c 0.116 * [taylor]: Taking taylor expansion of 1 in b 0.116 * [taylor]: Taking taylor expansion of 1 in a 0.116 * [taylor]: Taking taylor expansion of 1 in b 0.116 * [taylor]: Taking taylor expansion of 1 in a 0.116 * [taylor]: Taking taylor expansion of 1 in a 0.117 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in (d c b a) around 0 0.117 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.117 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.117 * [taylor]: Taking taylor expansion of a in a 0.117 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.117 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.117 * [taylor]: Taking taylor expansion of c in a 0.117 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.117 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.117 * [taylor]: Taking taylor expansion of d in a 0.117 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.117 * [taylor]: Taking taylor expansion of b in a 0.117 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.117 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.117 * [taylor]: Taking taylor expansion of a in b 0.117 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.117 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.117 * [taylor]: Taking taylor expansion of c in b 0.117 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.117 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.117 * [taylor]: Taking taylor expansion of d in b 0.117 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.117 * [taylor]: Taking taylor expansion of b in b 0.117 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.117 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.117 * [taylor]: Taking taylor expansion of a in c 0.117 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.117 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.117 * [taylor]: Taking taylor expansion of c in c 0.117 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.117 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.117 * [taylor]: Taking taylor expansion of d in c 0.117 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.117 * [taylor]: Taking taylor expansion of b in c 0.117 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.117 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.117 * [taylor]: Taking taylor expansion of a in d 0.118 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.118 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.118 * [taylor]: Taking taylor expansion of c in d 0.118 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.118 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.118 * [taylor]: Taking taylor expansion of d in d 0.118 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.118 * [taylor]: Taking taylor expansion of b in d 0.118 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.118 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.118 * [taylor]: Taking taylor expansion of a in d 0.118 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.118 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.118 * [taylor]: Taking taylor expansion of c in d 0.118 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.118 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.118 * [taylor]: Taking taylor expansion of d in d 0.118 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.118 * [taylor]: Taking taylor expansion of b in d 0.118 * [taylor]: Taking taylor expansion of 1 in c 0.118 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.118 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.118 * [taylor]: Taking taylor expansion of b in c 0.118 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.118 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.118 * [taylor]: Taking taylor expansion of c in c 0.118 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.118 * [taylor]: Taking taylor expansion of a in c 0.118 * [taylor]: Taking taylor expansion of 1 in b 0.118 * [taylor]: Taking taylor expansion of 1 in b 0.119 * [taylor]: Taking taylor expansion of 0 in c 0.119 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.119 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.119 * [taylor]: Taking taylor expansion of a in b 0.119 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.119 * [taylor]: Taking taylor expansion of b in b 0.119 * [taylor]: Taking taylor expansion of 1 in a 0.119 * [taylor]: Taking taylor expansion of 0 in b 0.119 * [taylor]: Taking taylor expansion of 1 in a 0.119 * [taylor]: Taking taylor expansion of 1 in a 0.119 * [taylor]: Taking taylor expansion of 0 in c 0.119 * [taylor]: Taking taylor expansion of 0 in b 0.119 * [taylor]: Taking taylor expansion of 0 in b 0.119 * [taylor]: Taking taylor expansion of 0 in b 0.119 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.119 * [taylor]: Taking taylor expansion of a in a 0.119 * [taylor]: Taking taylor expansion of 0 in a 0.119 * [taylor]: Taking taylor expansion of 0 in a 0.120 * [taylor]: Taking taylor expansion of 0 in a 0.120 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in (d c b a) around 0 0.120 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in a 0.120 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.120 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.120 * [taylor]: Taking taylor expansion of a in a 0.120 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.120 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.120 * [taylor]: Taking taylor expansion of c in a 0.120 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.120 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.120 * [taylor]: Taking taylor expansion of d in a 0.120 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.120 * [taylor]: Taking taylor expansion of b in a 0.120 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in b 0.120 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.120 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.120 * [taylor]: Taking taylor expansion of a in b 0.120 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.120 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.120 * [taylor]: Taking taylor expansion of c in b 0.120 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.120 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.120 * [taylor]: Taking taylor expansion of d in b 0.120 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.120 * [taylor]: Taking taylor expansion of b in b 0.120 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in c 0.120 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.120 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.120 * [taylor]: Taking taylor expansion of a in c 0.120 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.121 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.121 * [taylor]: Taking taylor expansion of c in c 0.121 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.121 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.121 * [taylor]: Taking taylor expansion of d in c 0.121 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.121 * [taylor]: Taking taylor expansion of b in c 0.121 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.121 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.121 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.121 * [taylor]: Taking taylor expansion of a in d 0.121 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.121 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.121 * [taylor]: Taking taylor expansion of c in d 0.121 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.121 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.121 * [taylor]: Taking taylor expansion of d in d 0.121 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.121 * [taylor]: Taking taylor expansion of b in d 0.121 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.121 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.121 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.121 * [taylor]: Taking taylor expansion of a in d 0.121 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.121 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.121 * [taylor]: Taking taylor expansion of c in d 0.121 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.121 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.121 * [taylor]: Taking taylor expansion of d in d 0.121 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.121 * [taylor]: Taking taylor expansion of b in d 0.121 * [taylor]: Taking taylor expansion of (neg 1) in c 0.121 * [taylor]: Taking taylor expansion of 1 in c 0.122 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.122 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.122 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.122 * [taylor]: Taking taylor expansion of b in c 0.122 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.122 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.122 * [taylor]: Taking taylor expansion of c in c 0.122 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.122 * [taylor]: Taking taylor expansion of a in c 0.122 * [taylor]: Taking taylor expansion of (neg 1) in b 0.122 * [taylor]: Taking taylor expansion of 1 in b 0.122 * [taylor]: Taking taylor expansion of (neg 1) in b 0.122 * [taylor]: Taking taylor expansion of 1 in b 0.122 * [taylor]: Taking taylor expansion of 0 in c 0.122 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.122 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.122 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.122 * [taylor]: Taking taylor expansion of a in b 0.122 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.122 * [taylor]: Taking taylor expansion of b in b 0.122 * [taylor]: Taking taylor expansion of (neg 1) in a 0.122 * [taylor]: Taking taylor expansion of 1 in a 0.122 * [taylor]: Taking taylor expansion of 0 in b 0.122 * [taylor]: Taking taylor expansion of (neg 1) in a 0.122 * [taylor]: Taking taylor expansion of 1 in a 0.122 * [taylor]: Taking taylor expansion of (neg 1) in a 0.122 * [taylor]: Taking taylor expansion of 1 in a 0.123 * [taylor]: Taking taylor expansion of 0 in c 0.123 * [taylor]: Taking taylor expansion of 0 in b 0.123 * [taylor]: Taking taylor expansion of 0 in b 0.123 * [taylor]: Taking taylor expansion of 0 in b 0.123 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.123 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.123 * [taylor]: Taking taylor expansion of a in a 0.123 * [taylor]: Taking taylor expansion of 0 in a 0.123 * [taylor]: Taking taylor expansion of 0 in a 0.123 * [taylor]: Taking taylor expansion of 0 in a 0.123 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 0.124 * [approximate]: Taking taylor expansion of (+ a (+ b c)) in (c b a) around 0 0.124 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.124 * [taylor]: Taking taylor expansion of a in a 0.124 * [taylor]: Taking taylor expansion of (+ b c) in a 0.124 * [taylor]: Taking taylor expansion of b in a 0.124 * [taylor]: Taking taylor expansion of c in a 0.124 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.124 * [taylor]: Taking taylor expansion of a in b 0.124 * [taylor]: Taking taylor expansion of (+ b c) in b 0.124 * [taylor]: Taking taylor expansion of b in b 0.124 * [taylor]: Taking taylor expansion of c in b 0.124 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.124 * [taylor]: Taking taylor expansion of a in c 0.124 * [taylor]: Taking taylor expansion of (+ b c) in c 0.124 * [taylor]: Taking taylor expansion of b in c 0.124 * [taylor]: Taking taylor expansion of c in c 0.124 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.124 * [taylor]: Taking taylor expansion of a in c 0.124 * [taylor]: Taking taylor expansion of (+ b c) in c 0.124 * [taylor]: Taking taylor expansion of b in c 0.124 * [taylor]: Taking taylor expansion of c in c 0.124 * [taylor]: Taking taylor expansion of (+ a b) in b 0.124 * [taylor]: Taking taylor expansion of a in b 0.124 * [taylor]: Taking taylor expansion of b in b 0.124 * [taylor]: Taking taylor expansion of a in a 0.124 * [taylor]: Taking taylor expansion of 1 in b 0.124 * [taylor]: Taking taylor expansion of 1 in a 0.124 * [taylor]: Taking taylor expansion of 1 in a 0.124 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in (c b a) around 0 0.124 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a 0.124 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.124 * [taylor]: Taking taylor expansion of b in a 0.124 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.124 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.124 * [taylor]: Taking taylor expansion of c in a 0.124 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.124 * [taylor]: Taking taylor expansion of a in a 0.124 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in b 0.125 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.125 * [taylor]: Taking taylor expansion of b in b 0.125 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.125 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.125 * [taylor]: Taking taylor expansion of c in b 0.125 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.125 * [taylor]: Taking taylor expansion of a in b 0.125 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.125 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.125 * [taylor]: Taking taylor expansion of b in c 0.125 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.125 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.125 * [taylor]: Taking taylor expansion of c in c 0.125 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.125 * [taylor]: Taking taylor expansion of a in c 0.125 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.125 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.125 * [taylor]: Taking taylor expansion of b in c 0.125 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.125 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.125 * [taylor]: Taking taylor expansion of c in c 0.125 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.125 * [taylor]: Taking taylor expansion of a in c 0.125 * [taylor]: Taking taylor expansion of 1 in b 0.125 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.125 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.125 * [taylor]: Taking taylor expansion of a in b 0.125 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.125 * [taylor]: Taking taylor expansion of b in b 0.125 * [taylor]: Taking taylor expansion of 1 in a 0.125 * [taylor]: Taking taylor expansion of 1 in a 0.125 * [taylor]: Taking taylor expansion of 0 in b 0.126 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.126 * [taylor]: Taking taylor expansion of a in a 0.126 * [taylor]: Taking taylor expansion of 0 in a 0.126 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in (c b a) around 0 0.126 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in a 0.126 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a 0.126 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.126 * [taylor]: Taking taylor expansion of b in a 0.126 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.126 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.126 * [taylor]: Taking taylor expansion of c in a 0.126 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.126 * [taylor]: Taking taylor expansion of a in a 0.126 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in b 0.126 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in b 0.126 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.126 * [taylor]: Taking taylor expansion of b in b 0.126 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.126 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.126 * [taylor]: Taking taylor expansion of c in b 0.126 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.126 * [taylor]: Taking taylor expansion of a in b 0.126 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.126 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.126 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.126 * [taylor]: Taking taylor expansion of b in c 0.126 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.126 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.126 * [taylor]: Taking taylor expansion of c in c 0.126 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.126 * [taylor]: Taking taylor expansion of a in c 0.126 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.127 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.127 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.127 * [taylor]: Taking taylor expansion of b in c 0.127 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.127 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.127 * [taylor]: Taking taylor expansion of c in c 0.127 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.127 * [taylor]: Taking taylor expansion of a in c 0.127 * [taylor]: Taking taylor expansion of (neg 1) in b 0.127 * [taylor]: Taking taylor expansion of 1 in b 0.127 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.127 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.127 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.127 * [taylor]: Taking taylor expansion of a in b 0.127 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.127 * [taylor]: Taking taylor expansion of b in b 0.127 * [taylor]: Taking taylor expansion of (neg 1) in a 0.127 * [taylor]: Taking taylor expansion of 1 in a 0.127 * [taylor]: Taking taylor expansion of (neg 1) in a 0.127 * [taylor]: Taking taylor expansion of 1 in a 0.128 * [taylor]: Taking taylor expansion of 0 in b 0.128 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.128 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.128 * [taylor]: Taking taylor expansion of a in a 0.128 * [taylor]: Taking taylor expansion of 0 in a 0.128 * * * [progress]: simplifying candidates 0.129 * [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.153 * * [simplify]: iteration 0 : 4969 enodes (cost 545 ) 0.153 * * [simplify]: iteration 1 : 4969 enodes (cost 545 ) 0.155 * [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.156 * * * [progress]: adding candidates to table 0.214 * * [progress]: iteration 2 / 4 0.214 * * * [progress]: picking best candidate 0.433 * * * * [pick]: Picked # 0.433 * * * [progress]: localizing error 0.439 * * * [progress]: generating rewritten candidates 0.439 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.449 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.456 * * * [progress]: generating series expansions 0.456 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.456 * [approximate]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in (e d c b a) around 0 0.456 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in a 0.456 * [taylor]: Taking taylor expansion of d in a 0.456 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in a 0.456 * [taylor]: Taking taylor expansion of e in a 0.456 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in a 0.456 * [taylor]: Taking taylor expansion of b in a 0.456 * [taylor]: Taking taylor expansion of (+ a c) in a 0.456 * [taylor]: Taking taylor expansion of a in a 0.456 * [taylor]: Taking taylor expansion of c in a 0.456 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in b 0.456 * [taylor]: Taking taylor expansion of d in b 0.456 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in b 0.456 * [taylor]: Taking taylor expansion of e in b 0.456 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in b 0.456 * [taylor]: Taking taylor expansion of b in b 0.456 * [taylor]: Taking taylor expansion of (+ a c) in b 0.456 * [taylor]: Taking taylor expansion of a in b 0.456 * [taylor]: Taking taylor expansion of c in b 0.456 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in c 0.456 * [taylor]: Taking taylor expansion of d in c 0.456 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in c 0.456 * [taylor]: Taking taylor expansion of e in c 0.456 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in c 0.456 * [taylor]: Taking taylor expansion of b in c 0.456 * [taylor]: Taking taylor expansion of (+ a c) in c 0.456 * [taylor]: Taking taylor expansion of a in c 0.456 * [taylor]: Taking taylor expansion of c in c 0.456 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in d 0.456 * [taylor]: Taking taylor expansion of d in d 0.456 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in d 0.456 * [taylor]: Taking taylor expansion of e in d 0.456 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in d 0.456 * [taylor]: Taking taylor expansion of b in d 0.456 * [taylor]: Taking taylor expansion of (+ a c) in d 0.456 * [taylor]: Taking taylor expansion of a in d 0.456 * [taylor]: Taking taylor expansion of c in d 0.456 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e 0.456 * [taylor]: Taking taylor expansion of d in e 0.457 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 0.457 * [taylor]: Taking taylor expansion of e in e 0.457 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 0.457 * [taylor]: Taking taylor expansion of b in e 0.457 * [taylor]: Taking taylor expansion of (+ a c) in e 0.457 * [taylor]: Taking taylor expansion of a in e 0.457 * [taylor]: Taking taylor expansion of c in e 0.457 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e 0.457 * [taylor]: Taking taylor expansion of d in e 0.457 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 0.457 * [taylor]: Taking taylor expansion of e in e 0.457 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 0.457 * [taylor]: Taking taylor expansion of b in e 0.457 * [taylor]: Taking taylor expansion of (+ a c) in e 0.457 * [taylor]: Taking taylor expansion of a in e 0.457 * [taylor]: Taking taylor expansion of c in e 0.457 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.457 * [taylor]: Taking taylor expansion of d in d 0.457 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.457 * [taylor]: Taking taylor expansion of a in d 0.457 * [taylor]: Taking taylor expansion of (+ b c) in d 0.457 * [taylor]: Taking taylor expansion of b in d 0.457 * [taylor]: Taking taylor expansion of c in d 0.457 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.457 * [taylor]: Taking taylor expansion of a in c 0.457 * [taylor]: Taking taylor expansion of (+ c b) in c 0.457 * [taylor]: Taking taylor expansion of c in c 0.457 * [taylor]: Taking taylor expansion of b in c 0.457 * [taylor]: Taking taylor expansion of (+ a b) in b 0.457 * [taylor]: Taking taylor expansion of a in b 0.457 * [taylor]: Taking taylor expansion of b in b 0.457 * [taylor]: Taking taylor expansion of a in a 0.457 * [taylor]: Taking taylor expansion of 1 in d 0.457 * [taylor]: Taking taylor expansion of 1 in c 0.457 * [taylor]: Taking taylor expansion of 1 in b 0.457 * [taylor]: Taking taylor expansion of 1 in a 0.457 * [taylor]: Taking taylor expansion of 1 in c 0.457 * [taylor]: Taking taylor expansion of 1 in b 0.457 * [taylor]: Taking taylor expansion of 1 in a 0.458 * [taylor]: Taking taylor expansion of 1 in b 0.458 * [taylor]: Taking taylor expansion of 1 in a 0.458 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in (e d c b a) around 0 0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in a 0.458 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.458 * [taylor]: Taking taylor expansion of a in a 0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in a 0.458 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.458 * [taylor]: Taking taylor expansion of c in a 0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in a 0.458 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.458 * [taylor]: Taking taylor expansion of b in a 0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in a 0.458 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.458 * [taylor]: Taking taylor expansion of d in a 0.458 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.458 * [taylor]: Taking taylor expansion of e in a 0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in b 0.458 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.458 * [taylor]: Taking taylor expansion of a in b 0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in b 0.458 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.458 * [taylor]: Taking taylor expansion of c in b 0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in b 0.458 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.458 * [taylor]: Taking taylor expansion of b in b 0.458 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in b 0.458 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.458 * [taylor]: Taking taylor expansion of d in b 0.458 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.459 * [taylor]: Taking taylor expansion of e in b 0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in c 0.459 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.459 * [taylor]: Taking taylor expansion of a in c 0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in c 0.459 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.459 * [taylor]: Taking taylor expansion of c in c 0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in c 0.459 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.459 * [taylor]: Taking taylor expansion of b in c 0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in c 0.459 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.459 * [taylor]: Taking taylor expansion of d in c 0.459 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.459 * [taylor]: Taking taylor expansion of e in c 0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in d 0.459 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.459 * [taylor]: Taking taylor expansion of a in d 0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in d 0.459 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.459 * [taylor]: Taking taylor expansion of c in d 0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in d 0.459 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.459 * [taylor]: Taking taylor expansion of b in d 0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 0.459 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.459 * [taylor]: Taking taylor expansion of d in d 0.459 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.459 * [taylor]: Taking taylor expansion of e in d 0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in e 0.459 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.459 * [taylor]: Taking taylor expansion of a in e 0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in e 0.459 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.459 * [taylor]: Taking taylor expansion of c in e 0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in e 0.459 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.459 * [taylor]: Taking taylor expansion of b in e 0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 0.459 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.459 * [taylor]: Taking taylor expansion of d in e 0.459 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.459 * [taylor]: Taking taylor expansion of e in e 0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in e 0.460 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.460 * [taylor]: Taking taylor expansion of a in e 0.460 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in e 0.460 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.460 * [taylor]: Taking taylor expansion of c in e 0.460 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in e 0.460 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.460 * [taylor]: Taking taylor expansion of b in e 0.460 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 0.460 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.460 * [taylor]: Taking taylor expansion of d in e 0.460 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.460 * [taylor]: Taking taylor expansion of e in e 0.460 * [taylor]: Taking taylor expansion of 1 in d 0.460 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d 0.460 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.460 * [taylor]: Taking taylor expansion of b in d 0.460 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d 0.460 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.460 * [taylor]: Taking taylor expansion of d in d 0.460 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d 0.460 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.460 * [taylor]: Taking taylor expansion of c in d 0.460 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.460 * [taylor]: Taking taylor expansion of a in d 0.460 * [taylor]: Taking taylor expansion of 1 in c 0.460 * [taylor]: Taking taylor expansion of 1 in c 0.461 * [taylor]: Taking taylor expansion of 0 in d 0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c 0.461 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.461 * [taylor]: Taking taylor expansion of a in c 0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c 0.461 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.461 * [taylor]: Taking taylor expansion of c in c 0.461 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.461 * [taylor]: Taking taylor expansion of b in c 0.461 * [taylor]: Taking taylor expansion of 1 in b 0.461 * [taylor]: Taking taylor expansion of 0 in c 0.461 * [taylor]: Taking taylor expansion of 1 in b 0.461 * [taylor]: Taking taylor expansion of 1 in b 0.462 * [taylor]: Taking taylor expansion of 0 in d 0.462 * [taylor]: Taking taylor expansion of 0 in c 0.462 * [taylor]: Taking taylor expansion of 0 in c 0.462 * [taylor]: Taking taylor expansion of 0 in c 0.462 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.462 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.462 * [taylor]: Taking taylor expansion of b in b 0.462 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.462 * [taylor]: Taking taylor expansion of a in b 0.462 * [taylor]: Taking taylor expansion of 1 in a 0.462 * [taylor]: Taking taylor expansion of 0 in b 0.462 * [taylor]: Taking taylor expansion of 0 in b 0.462 * [taylor]: Taking taylor expansion of 0 in b 0.462 * [taylor]: Taking taylor expansion of 1 in a 0.462 * [taylor]: Taking taylor expansion of 1 in a 0.462 * [taylor]: Taking taylor expansion of 1 in a 0.463 * [taylor]: Taking taylor expansion of 0 in d 0.463 * [taylor]: Taking taylor expansion of 0 in c 0.463 * [taylor]: Taking taylor expansion of 0 in c 0.463 * [taylor]: Taking taylor expansion of 0 in c 0.463 * [taylor]: Taking taylor expansion of 0 in c 0.463 * [taylor]: Taking taylor expansion of 0 in b 0.463 * [taylor]: Taking taylor expansion of 0 in b 0.463 * [taylor]: Taking taylor expansion of 0 in b 0.463 * [taylor]: Taking taylor expansion of 0 in b 0.464 * [taylor]: Taking taylor expansion of 0 in b 0.464 * [taylor]: Taking taylor expansion of 0 in b 0.464 * [taylor]: Taking taylor expansion of 0 in b 0.464 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.464 * [taylor]: Taking taylor expansion of a in a 0.464 * [taylor]: Taking taylor expansion of 0 in a 0.464 * [taylor]: Taking taylor expansion of 0 in a 0.464 * [taylor]: Taking taylor expansion of 0 in a 0.464 * [taylor]: Taking taylor expansion of 0 in a 0.464 * [taylor]: Taking taylor expansion of 0 in a 0.464 * [taylor]: Taking taylor expansion of 0 in a 0.464 * [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.464 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in a 0.464 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in a 0.464 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.464 * [taylor]: Taking taylor expansion of a in a 0.464 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in a 0.464 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.465 * [taylor]: Taking taylor expansion of c in a 0.465 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in a 0.465 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.465 * [taylor]: Taking taylor expansion of b in a 0.465 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in a 0.465 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.465 * [taylor]: Taking taylor expansion of d in a 0.465 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.465 * [taylor]: Taking taylor expansion of e in a 0.465 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in b 0.465 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in b 0.465 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.465 * [taylor]: Taking taylor expansion of a in b 0.465 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in b 0.465 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.465 * [taylor]: Taking taylor expansion of c in b 0.465 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in b 0.465 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.465 * [taylor]: Taking taylor expansion of b in b 0.465 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in b 0.465 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.465 * [taylor]: Taking taylor expansion of d in b 0.465 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.465 * [taylor]: Taking taylor expansion of e in b 0.465 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in c 0.465 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in c 0.465 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.465 * [taylor]: Taking taylor expansion of a in c 0.465 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in c 0.465 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.465 * [taylor]: Taking taylor expansion of c in c 0.465 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in c 0.465 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.465 * [taylor]: Taking taylor expansion of b in c 0.465 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in c 0.465 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.465 * [taylor]: Taking taylor expansion of d in c 0.465 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.465 * [taylor]: Taking taylor expansion of e in c 0.465 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in d 0.465 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in d 0.465 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.465 * [taylor]: Taking taylor expansion of a in d 0.465 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in d 0.465 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.465 * [taylor]: Taking taylor expansion of c in d 0.466 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in d 0.466 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.466 * [taylor]: Taking taylor expansion of b in d 0.466 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 0.466 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.466 * [taylor]: Taking taylor expansion of d in d 0.466 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.466 * [taylor]: Taking taylor expansion of e in d 0.466 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in e 0.466 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in e 0.466 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.466 * [taylor]: Taking taylor expansion of a in e 0.466 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in e 0.466 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.466 * [taylor]: Taking taylor expansion of c in e 0.466 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in e 0.466 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.466 * [taylor]: Taking taylor expansion of b in e 0.466 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 0.466 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.466 * [taylor]: Taking taylor expansion of d in e 0.466 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.466 * [taylor]: Taking taylor expansion of e in e 0.466 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in e 0.466 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in e 0.466 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.466 * [taylor]: Taking taylor expansion of a in e 0.466 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in e 0.466 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.466 * [taylor]: Taking taylor expansion of c in e 0.466 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in e 0.466 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.466 * [taylor]: Taking taylor expansion of b in e 0.466 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 0.466 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.466 * [taylor]: Taking taylor expansion of d in e 0.466 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.466 * [taylor]: Taking taylor expansion of e in e 0.466 * [taylor]: Taking taylor expansion of (neg 1) in d 0.466 * [taylor]: Taking taylor expansion of 1 in d 0.467 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in d 0.467 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d 0.467 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.467 * [taylor]: Taking taylor expansion of b in d 0.467 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d 0.467 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.467 * [taylor]: Taking taylor expansion of c in d 0.467 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d 0.467 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.467 * [taylor]: Taking taylor expansion of d in d 0.467 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.467 * [taylor]: Taking taylor expansion of a in d 0.467 * [taylor]: Taking taylor expansion of (neg 1) in c 0.467 * [taylor]: Taking taylor expansion of 1 in c 0.467 * [taylor]: Taking taylor expansion of (neg 1) in c 0.467 * [taylor]: Taking taylor expansion of 1 in c 0.467 * [taylor]: Taking taylor expansion of 0 in d 0.468 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (/ 1 b)))) in c 0.468 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c 0.468 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.468 * [taylor]: Taking taylor expansion of a in c 0.468 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c 0.468 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.468 * [taylor]: Taking taylor expansion of c in c 0.468 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.468 * [taylor]: Taking taylor expansion of b in c 0.468 * [taylor]: Taking taylor expansion of (neg 1) in b 0.468 * [taylor]: Taking taylor expansion of 1 in b 0.468 * [taylor]: Taking taylor expansion of 0 in c 0.468 * [taylor]: Taking taylor expansion of (neg 1) in b 0.468 * [taylor]: Taking taylor expansion of 1 in b 0.468 * [taylor]: Taking taylor expansion of (neg 1) in b 0.468 * [taylor]: Taking taylor expansion of 1 in b 0.468 * [taylor]: Taking taylor expansion of 0 in d 0.468 * [taylor]: Taking taylor expansion of 0 in c 0.469 * [taylor]: Taking taylor expansion of 0 in c 0.469 * [taylor]: Taking taylor expansion of 0 in c 0.469 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in b 0.469 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.469 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.469 * [taylor]: Taking taylor expansion of b in b 0.469 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.469 * [taylor]: Taking taylor expansion of a in b 0.469 * [taylor]: Taking taylor expansion of (neg 1) in a 0.469 * [taylor]: Taking taylor expansion of 1 in a 0.469 * [taylor]: Taking taylor expansion of 0 in b 0.469 * [taylor]: Taking taylor expansion of 0 in b 0.469 * [taylor]: Taking taylor expansion of 0 in b 0.469 * [taylor]: Taking taylor expansion of (neg 1) in a 0.469 * [taylor]: Taking taylor expansion of 1 in a 0.469 * [taylor]: Taking taylor expansion of (neg 1) in a 0.469 * [taylor]: Taking taylor expansion of 1 in a 0.469 * [taylor]: Taking taylor expansion of (neg 1) in a 0.469 * [taylor]: Taking taylor expansion of 1 in a 0.470 * [taylor]: Taking taylor expansion of 0 in d 0.470 * [taylor]: Taking taylor expansion of 0 in c 0.470 * [taylor]: Taking taylor expansion of 0 in c 0.470 * [taylor]: Taking taylor expansion of 0 in c 0.470 * [taylor]: Taking taylor expansion of 0 in c 0.470 * [taylor]: Taking taylor expansion of 0 in b 0.470 * [taylor]: Taking taylor expansion of 0 in b 0.470 * [taylor]: Taking taylor expansion of 0 in b 0.470 * [taylor]: Taking taylor expansion of 0 in b 0.470 * [taylor]: Taking taylor expansion of 0 in b 0.470 * [taylor]: Taking taylor expansion of 0 in b 0.470 * [taylor]: Taking taylor expansion of 0 in b 0.470 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.470 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.470 * [taylor]: Taking taylor expansion of a in a 0.471 * [taylor]: Taking taylor expansion of 0 in a 0.471 * [taylor]: Taking taylor expansion of 0 in a 0.471 * [taylor]: Taking taylor expansion of 0 in a 0.471 * [taylor]: Taking taylor expansion of 0 in a 0.471 * [taylor]: Taking taylor expansion of 0 in a 0.471 * [taylor]: Taking taylor expansion of 0 in a 0.471 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.471 * [approximate]: Taking taylor expansion of (+ a (+ b c)) in (c b a) around 0 0.471 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.471 * [taylor]: Taking taylor expansion of a in a 0.471 * [taylor]: Taking taylor expansion of (+ b c) in a 0.471 * [taylor]: Taking taylor expansion of b in a 0.471 * [taylor]: Taking taylor expansion of c in a 0.471 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.471 * [taylor]: Taking taylor expansion of a in b 0.471 * [taylor]: Taking taylor expansion of (+ b c) in b 0.471 * [taylor]: Taking taylor expansion of b in b 0.471 * [taylor]: Taking taylor expansion of c in b 0.471 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.471 * [taylor]: Taking taylor expansion of a in c 0.471 * [taylor]: Taking taylor expansion of (+ b c) in c 0.471 * [taylor]: Taking taylor expansion of b in c 0.471 * [taylor]: Taking taylor expansion of c in c 0.472 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.472 * [taylor]: Taking taylor expansion of a in c 0.472 * [taylor]: Taking taylor expansion of (+ b c) in c 0.472 * [taylor]: Taking taylor expansion of b in c 0.472 * [taylor]: Taking taylor expansion of c in c 0.472 * [taylor]: Taking taylor expansion of (+ a b) in b 0.472 * [taylor]: Taking taylor expansion of a in b 0.472 * [taylor]: Taking taylor expansion of b in b 0.472 * [taylor]: Taking taylor expansion of a in a 0.472 * [taylor]: Taking taylor expansion of 1 in b 0.472 * [taylor]: Taking taylor expansion of 1 in a 0.472 * [taylor]: Taking taylor expansion of 1 in a 0.472 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in (c b a) around 0 0.472 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a 0.472 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.472 * [taylor]: Taking taylor expansion of b in a 0.472 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.472 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.472 * [taylor]: Taking taylor expansion of c in a 0.472 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.472 * [taylor]: Taking taylor expansion of a in a 0.472 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in b 0.472 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.472 * [taylor]: Taking taylor expansion of b in b 0.472 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.472 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.472 * [taylor]: Taking taylor expansion of c in b 0.472 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.472 * [taylor]: Taking taylor expansion of a in b 0.472 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.472 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.472 * [taylor]: Taking taylor expansion of b in c 0.472 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.472 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.473 * [taylor]: Taking taylor expansion of c in c 0.473 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.473 * [taylor]: Taking taylor expansion of a in c 0.473 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.473 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.473 * [taylor]: Taking taylor expansion of b in c 0.473 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.473 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.473 * [taylor]: Taking taylor expansion of c in c 0.473 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.473 * [taylor]: Taking taylor expansion of a in c 0.473 * [taylor]: Taking taylor expansion of 1 in b 0.473 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.473 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.473 * [taylor]: Taking taylor expansion of a in b 0.473 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.473 * [taylor]: Taking taylor expansion of b in b 0.473 * [taylor]: Taking taylor expansion of 1 in a 0.473 * [taylor]: Taking taylor expansion of 1 in a 0.473 * [taylor]: Taking taylor expansion of 0 in b 0.473 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.473 * [taylor]: Taking taylor expansion of a in a 0.473 * [taylor]: Taking taylor expansion of 0 in a 0.474 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in (c b a) around 0 0.474 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in a 0.474 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a 0.474 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.474 * [taylor]: Taking taylor expansion of b in a 0.474 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.474 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.474 * [taylor]: Taking taylor expansion of c in a 0.474 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.474 * [taylor]: Taking taylor expansion of a in a 0.474 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in b 0.474 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in b 0.474 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.474 * [taylor]: Taking taylor expansion of b in b 0.474 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.474 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.474 * [taylor]: Taking taylor expansion of c in b 0.474 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.474 * [taylor]: Taking taylor expansion of a in b 0.474 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.474 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.474 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.474 * [taylor]: Taking taylor expansion of b in c 0.474 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.474 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.474 * [taylor]: Taking taylor expansion of c in c 0.474 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.474 * [taylor]: Taking taylor expansion of a in c 0.474 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.474 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.474 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.474 * [taylor]: Taking taylor expansion of b in c 0.474 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.474 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.474 * [taylor]: Taking taylor expansion of c in c 0.474 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.474 * [taylor]: Taking taylor expansion of a in c 0.474 * [taylor]: Taking taylor expansion of (neg 1) in b 0.474 * [taylor]: Taking taylor expansion of 1 in b 0.475 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.475 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.475 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.475 * [taylor]: Taking taylor expansion of a in b 0.475 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.475 * [taylor]: Taking taylor expansion of b in b 0.475 * [taylor]: Taking taylor expansion of (neg 1) in a 0.475 * [taylor]: Taking taylor expansion of 1 in a 0.475 * [taylor]: Taking taylor expansion of (neg 1) in a 0.475 * [taylor]: Taking taylor expansion of 1 in a 0.475 * [taylor]: Taking taylor expansion of 0 in b 0.475 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.475 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.475 * [taylor]: Taking taylor expansion of a in a 0.475 * [taylor]: Taking taylor expansion of 0 in a 0.475 * * * [progress]: simplifying candidates 0.476 * [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.497 * * [simplify]: iteration 0 : 4837 enodes (cost 599 ) 0.497 * * [simplify]: iteration 1 : 4837 enodes (cost 599 ) 0.499 * [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.499 * * * [progress]: adding candidates to table 0.536 * * [progress]: iteration 3 / 4 0.536 * * * [progress]: picking best candidate 0.555 * * * * [pick]: Picked # 0.555 * * * [progress]: localizing error 0.565 * * * [progress]: generating rewritten candidates 0.565 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.571 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 0.580 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.588 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1) 0.596 * * * [progress]: generating series expansions 0.596 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.596 * [approximate]: Taking taylor expansion of (+ a (+ b c)) in (c b a) around 0 0.596 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.596 * [taylor]: Taking taylor expansion of a in a 0.596 * [taylor]: Taking taylor expansion of (+ b c) in a 0.596 * [taylor]: Taking taylor expansion of b in a 0.596 * [taylor]: Taking taylor expansion of c in a 0.597 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.597 * [taylor]: Taking taylor expansion of a in b 0.597 * [taylor]: Taking taylor expansion of (+ b c) in b 0.597 * [taylor]: Taking taylor expansion of b in b 0.597 * [taylor]: Taking taylor expansion of c in b 0.597 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.597 * [taylor]: Taking taylor expansion of a in c 0.597 * [taylor]: Taking taylor expansion of (+ b c) in c 0.597 * [taylor]: Taking taylor expansion of b in c 0.597 * [taylor]: Taking taylor expansion of c in c 0.597 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.597 * [taylor]: Taking taylor expansion of a in c 0.597 * [taylor]: Taking taylor expansion of (+ b c) in c 0.597 * [taylor]: Taking taylor expansion of b in c 0.597 * [taylor]: Taking taylor expansion of c in c 0.597 * [taylor]: Taking taylor expansion of (+ a b) in b 0.597 * [taylor]: Taking taylor expansion of a in b 0.597 * [taylor]: Taking taylor expansion of b in b 0.597 * [taylor]: Taking taylor expansion of a in a 0.597 * [taylor]: Taking taylor expansion of 1 in b 0.597 * [taylor]: Taking taylor expansion of 1 in a 0.597 * [taylor]: Taking taylor expansion of 1 in a 0.598 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in (c b a) around 0 0.598 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a 0.598 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.598 * [taylor]: Taking taylor expansion of b in a 0.598 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.598 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.598 * [taylor]: Taking taylor expansion of c in a 0.598 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.598 * [taylor]: Taking taylor expansion of a in a 0.598 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in b 0.598 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.598 * [taylor]: Taking taylor expansion of b in b 0.598 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.598 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.598 * [taylor]: Taking taylor expansion of c in b 0.598 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.598 * [taylor]: Taking taylor expansion of a in b 0.598 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.598 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.598 * [taylor]: Taking taylor expansion of b in c 0.598 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.598 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.598 * [taylor]: Taking taylor expansion of c in c 0.598 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.598 * [taylor]: Taking taylor expansion of a in c 0.598 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.598 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.598 * [taylor]: Taking taylor expansion of b in c 0.598 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.598 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.598 * [taylor]: Taking taylor expansion of c in c 0.598 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.598 * [taylor]: Taking taylor expansion of a in c 0.598 * [taylor]: Taking taylor expansion of 1 in b 0.598 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.598 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.599 * [taylor]: Taking taylor expansion of a in b 0.599 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.599 * [taylor]: Taking taylor expansion of b in b 0.599 * [taylor]: Taking taylor expansion of 1 in a 0.599 * [taylor]: Taking taylor expansion of 1 in a 0.599 * [taylor]: Taking taylor expansion of 0 in b 0.599 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.599 * [taylor]: Taking taylor expansion of a in a 0.599 * [taylor]: Taking taylor expansion of 0 in a 0.599 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in (c b a) around 0 0.599 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in a 0.599 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a 0.599 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.599 * [taylor]: Taking taylor expansion of b in a 0.599 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.599 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.599 * [taylor]: Taking taylor expansion of c in a 0.599 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.599 * [taylor]: Taking taylor expansion of a in a 0.599 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in b 0.599 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in b 0.599 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.600 * [taylor]: Taking taylor expansion of b in b 0.600 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.600 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.600 * [taylor]: Taking taylor expansion of c in b 0.600 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.600 * [taylor]: Taking taylor expansion of a in b 0.600 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.600 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.600 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.600 * [taylor]: Taking taylor expansion of b in c 0.600 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.600 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.600 * [taylor]: Taking taylor expansion of c in c 0.600 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.600 * [taylor]: Taking taylor expansion of a in c 0.600 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.600 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.600 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.600 * [taylor]: Taking taylor expansion of b in c 0.600 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.600 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.600 * [taylor]: Taking taylor expansion of c in c 0.600 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.600 * [taylor]: Taking taylor expansion of a in c 0.600 * [taylor]: Taking taylor expansion of (neg 1) in b 0.600 * [taylor]: Taking taylor expansion of 1 in b 0.600 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.600 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.600 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.600 * [taylor]: Taking taylor expansion of a in b 0.600 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.600 * [taylor]: Taking taylor expansion of b in b 0.600 * [taylor]: Taking taylor expansion of (neg 1) in a 0.600 * [taylor]: Taking taylor expansion of 1 in a 0.600 * [taylor]: Taking taylor expansion of (neg 1) in a 0.600 * [taylor]: Taking taylor expansion of 1 in a 0.601 * [taylor]: Taking taylor expansion of 0 in b 0.601 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.601 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.601 * [taylor]: Taking taylor expansion of a in a 0.601 * [taylor]: Taking taylor expansion of 0 in a 0.601 * * * * [progress]: [ 2 / 4 ] generating series at (2) 0.601 * [approximate]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in (e d c b a) around 0 0.601 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in a 0.601 * [taylor]: Taking taylor expansion of d in a 0.601 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in a 0.601 * [taylor]: Taking taylor expansion of e in a 0.601 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in a 0.601 * [taylor]: Taking taylor expansion of b in a 0.601 * [taylor]: Taking taylor expansion of (+ a c) in a 0.601 * [taylor]: Taking taylor expansion of a in a 0.601 * [taylor]: Taking taylor expansion of c in a 0.601 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in b 0.601 * [taylor]: Taking taylor expansion of d in b 0.601 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in b 0.601 * [taylor]: Taking taylor expansion of e in b 0.601 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in b 0.601 * [taylor]: Taking taylor expansion of b in b 0.601 * [taylor]: Taking taylor expansion of (+ a c) in b 0.601 * [taylor]: Taking taylor expansion of a in b 0.602 * [taylor]: Taking taylor expansion of c in b 0.602 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in c 0.602 * [taylor]: Taking taylor expansion of d in c 0.602 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in c 0.602 * [taylor]: Taking taylor expansion of e in c 0.602 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in c 0.602 * [taylor]: Taking taylor expansion of b in c 0.602 * [taylor]: Taking taylor expansion of (+ a c) in c 0.602 * [taylor]: Taking taylor expansion of a in c 0.602 * [taylor]: Taking taylor expansion of c in c 0.602 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in d 0.602 * [taylor]: Taking taylor expansion of d in d 0.602 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in d 0.602 * [taylor]: Taking taylor expansion of e in d 0.602 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in d 0.602 * [taylor]: Taking taylor expansion of b in d 0.602 * [taylor]: Taking taylor expansion of (+ a c) in d 0.602 * [taylor]: Taking taylor expansion of a in d 0.602 * [taylor]: Taking taylor expansion of c in d 0.602 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e 0.602 * [taylor]: Taking taylor expansion of d in e 0.602 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 0.602 * [taylor]: Taking taylor expansion of e in e 0.602 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 0.602 * [taylor]: Taking taylor expansion of b in e 0.602 * [taylor]: Taking taylor expansion of (+ a c) in e 0.602 * [taylor]: Taking taylor expansion of a in e 0.602 * [taylor]: Taking taylor expansion of c in e 0.602 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e 0.602 * [taylor]: Taking taylor expansion of d in e 0.602 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 0.602 * [taylor]: Taking taylor expansion of e in e 0.602 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 0.602 * [taylor]: Taking taylor expansion of b in e 0.602 * [taylor]: Taking taylor expansion of (+ a c) in e 0.602 * [taylor]: Taking taylor expansion of a in e 0.602 * [taylor]: Taking taylor expansion of c in e 0.602 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.602 * [taylor]: Taking taylor expansion of d in d 0.602 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.602 * [taylor]: Taking taylor expansion of a in d 0.602 * [taylor]: Taking taylor expansion of (+ b c) in d 0.602 * [taylor]: Taking taylor expansion of b in d 0.602 * [taylor]: Taking taylor expansion of c in d 0.602 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.602 * [taylor]: Taking taylor expansion of a in c 0.602 * [taylor]: Taking taylor expansion of (+ c b) in c 0.602 * [taylor]: Taking taylor expansion of c in c 0.602 * [taylor]: Taking taylor expansion of b in c 0.603 * [taylor]: Taking taylor expansion of (+ a b) in b 0.603 * [taylor]: Taking taylor expansion of a in b 0.603 * [taylor]: Taking taylor expansion of b in b 0.603 * [taylor]: Taking taylor expansion of a in a 0.603 * [taylor]: Taking taylor expansion of 1 in d 0.603 * [taylor]: Taking taylor expansion of 1 in c 0.603 * [taylor]: Taking taylor expansion of 1 in b 0.603 * [taylor]: Taking taylor expansion of 1 in a 0.603 * [taylor]: Taking taylor expansion of 1 in c 0.603 * [taylor]: Taking taylor expansion of 1 in b 0.603 * [taylor]: Taking taylor expansion of 1 in a 0.603 * [taylor]: Taking taylor expansion of 1 in b 0.603 * [taylor]: Taking taylor expansion of 1 in a 0.603 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in (e d c b a) around 0 0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in a 0.603 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.603 * [taylor]: Taking taylor expansion of b in a 0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in a 0.603 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.603 * [taylor]: Taking taylor expansion of d in a 0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in a 0.603 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.603 * [taylor]: Taking taylor expansion of c in a 0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in a 0.603 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.604 * [taylor]: Taking taylor expansion of a in a 0.604 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.604 * [taylor]: Taking taylor expansion of e in a 0.604 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in b 0.604 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.604 * [taylor]: Taking taylor expansion of b in b 0.604 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in b 0.604 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.604 * [taylor]: Taking taylor expansion of d in b 0.604 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in b 0.604 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.604 * [taylor]: Taking taylor expansion of c in b 0.604 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in b 0.604 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.604 * [taylor]: Taking taylor expansion of a in b 0.604 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.604 * [taylor]: Taking taylor expansion of e in b 0.604 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in c 0.604 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.604 * [taylor]: Taking taylor expansion of b in c 0.604 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in c 0.604 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.604 * [taylor]: Taking taylor expansion of d in c 0.604 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in c 0.604 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.604 * [taylor]: Taking taylor expansion of c in c 0.604 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in c 0.604 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.604 * [taylor]: Taking taylor expansion of a in c 0.604 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.604 * [taylor]: Taking taylor expansion of e in c 0.604 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in d 0.604 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.604 * [taylor]: Taking taylor expansion of b in d 0.604 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) 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 c) (+ (/ 1 a) (/ 1 e))) 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 a) (/ 1 e)) 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 e) in d 0.604 * [taylor]: Taking taylor expansion of e in d 0.604 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e 0.605 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.605 * [taylor]: Taking taylor expansion of b in e 0.605 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in e 0.605 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.605 * [taylor]: Taking taylor expansion of d in e 0.605 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in e 0.605 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.605 * [taylor]: Taking taylor expansion of c in e 0.605 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e 0.605 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.605 * [taylor]: Taking taylor expansion of a in e 0.605 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.605 * [taylor]: Taking taylor expansion of e in e 0.605 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e 0.605 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.605 * [taylor]: Taking taylor expansion of b in e 0.605 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in e 0.605 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.605 * [taylor]: Taking taylor expansion of d in e 0.605 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in e 0.605 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.605 * [taylor]: Taking taylor expansion of c in e 0.605 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e 0.605 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.605 * [taylor]: Taking taylor expansion of a in e 0.605 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.605 * [taylor]: Taking taylor expansion of e in e 0.605 * [taylor]: Taking taylor expansion of 1 in d 0.605 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.605 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.605 * [taylor]: Taking taylor expansion of a in d 0.606 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.606 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.606 * [taylor]: Taking taylor expansion of c in d 0.606 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.606 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.606 * [taylor]: Taking taylor expansion of d in d 0.606 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.606 * [taylor]: Taking taylor expansion of b in d 0.606 * [taylor]: Taking taylor expansion of 1 in c 0.606 * [taylor]: Taking taylor expansion of 1 in c 0.606 * [taylor]: Taking taylor expansion of 0 in d 0.606 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.606 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.606 * [taylor]: Taking taylor expansion of b in c 0.606 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.606 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.606 * [taylor]: Taking taylor expansion of c in c 0.606 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.606 * [taylor]: Taking taylor expansion of a in c 0.606 * [taylor]: Taking taylor expansion of 1 in b 0.606 * [taylor]: Taking taylor expansion of 0 in c 0.606 * [taylor]: Taking taylor expansion of 1 in b 0.606 * [taylor]: Taking taylor expansion of 1 in b 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 (+ (/ 1 a) (/ 1 b)) in b 0.607 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.607 * [taylor]: Taking taylor expansion of a in b 0.607 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.607 * [taylor]: Taking taylor expansion of b in b 0.607 * [taylor]: Taking taylor expansion of 1 in a 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 in a 0.607 * [taylor]: Taking taylor expansion of 1 in a 0.607 * [taylor]: Taking taylor expansion of 1 in a 0.608 * [taylor]: Taking taylor expansion of 0 in d 0.608 * [taylor]: Taking taylor expansion of 0 in c 0.608 * [taylor]: Taking taylor expansion of 0 in c 0.608 * [taylor]: Taking taylor expansion of 0 in c 0.608 * [taylor]: Taking taylor expansion of 0 in c 0.608 * [taylor]: Taking taylor expansion of 0 in b 0.608 * [taylor]: Taking taylor expansion of 0 in b 0.608 * [taylor]: Taking taylor expansion of 0 in b 0.608 * [taylor]: Taking taylor expansion of 0 in b 0.608 * [taylor]: Taking taylor expansion of 0 in b 0.608 * [taylor]: Taking taylor expansion of 0 in b 0.609 * [taylor]: Taking taylor expansion of 0 in b 0.609 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.609 * [taylor]: Taking taylor expansion of a in a 0.609 * [taylor]: Taking taylor expansion of 0 in a 0.609 * [taylor]: Taking taylor expansion of 0 in a 0.609 * [taylor]: Taking taylor expansion of 0 in a 0.609 * [taylor]: Taking taylor expansion of 0 in a 0.609 * [taylor]: Taking taylor expansion of 0 in a 0.609 * [taylor]: Taking taylor expansion of 0 in a 0.609 * [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.609 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in a 0.609 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in a 0.609 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.609 * [taylor]: Taking taylor expansion of b in a 0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in a 0.610 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.610 * [taylor]: Taking taylor expansion of d in a 0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in a 0.610 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.610 * [taylor]: Taking taylor expansion of c in a 0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in a 0.610 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.610 * [taylor]: Taking taylor expansion of a in a 0.610 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.610 * [taylor]: Taking taylor expansion of e in a 0.610 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in b 0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in b 0.610 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.610 * [taylor]: Taking taylor expansion of b in b 0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in b 0.610 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.610 * [taylor]: Taking taylor expansion of d in b 0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in b 0.610 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.610 * [taylor]: Taking taylor expansion of c in b 0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in b 0.610 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.610 * [taylor]: Taking taylor expansion of a in b 0.610 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.610 * [taylor]: Taking taylor expansion of e in b 0.610 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in c 0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in c 0.610 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.610 * [taylor]: Taking taylor expansion of b in c 0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in c 0.610 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.610 * [taylor]: Taking taylor expansion of d in c 0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in c 0.610 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.610 * [taylor]: Taking taylor expansion of c in c 0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in c 0.610 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.610 * [taylor]: Taking taylor expansion of a in c 0.610 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.610 * [taylor]: Taking taylor expansion of e in c 0.610 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in d 0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in d 0.610 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.610 * [taylor]: Taking taylor expansion of b in d 0.611 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in d 0.611 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.611 * [taylor]: Taking taylor expansion of d in d 0.611 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in d 0.611 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.611 * [taylor]: Taking taylor expansion of c in d 0.611 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in d 0.611 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.611 * [taylor]: Taking taylor expansion of a in d 0.611 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.611 * [taylor]: Taking taylor expansion of e in d 0.611 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in e 0.611 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e 0.611 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.611 * [taylor]: Taking taylor expansion of b in e 0.611 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) 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 c) (+ (/ 1 a) (/ 1 e))) 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 a) (/ 1 e)) 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 e) in e 0.611 * [taylor]: Taking taylor expansion of e in e 0.611 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))))) in e 0.611 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e 0.611 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.611 * [taylor]: Taking taylor expansion of b in e 0.611 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) 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 c) (+ (/ 1 a) (/ 1 e))) 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 a) (/ 1 e)) 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 e) in e 0.611 * [taylor]: Taking taylor expansion of e in e 0.611 * [taylor]: Taking taylor expansion of (neg 1) in d 0.611 * [taylor]: Taking taylor expansion of 1 in d 0.612 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) in d 0.612 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in d 0.612 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.612 * [taylor]: Taking taylor expansion of a in d 0.612 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d 0.612 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.612 * [taylor]: Taking taylor expansion of d in d 0.612 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d 0.612 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.612 * [taylor]: Taking taylor expansion of c in d 0.612 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.612 * [taylor]: Taking taylor expansion of b 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 c 0.612 * [taylor]: Taking taylor expansion of 1 in c 0.612 * [taylor]: Taking taylor expansion of 0 in d 0.613 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.613 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.613 * [taylor]: Taking taylor expansion of b in c 0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.613 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.613 * [taylor]: Taking taylor expansion of c in c 0.613 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.613 * [taylor]: Taking taylor expansion of a in c 0.613 * [taylor]: Taking taylor expansion of (neg 1) in b 0.613 * [taylor]: Taking taylor expansion of 1 in b 0.613 * [taylor]: Taking taylor expansion of 0 in c 0.613 * [taylor]: Taking taylor expansion of (neg 1) in b 0.613 * [taylor]: Taking taylor expansion of 1 in b 0.613 * [taylor]: Taking taylor expansion of (neg 1) in b 0.613 * [taylor]: Taking taylor expansion of 1 in b 0.613 * [taylor]: Taking taylor expansion of 0 in d 0.614 * [taylor]: Taking taylor expansion of 0 in c 0.614 * [taylor]: Taking taylor expansion of 0 in c 0.614 * [taylor]: Taking taylor expansion of 0 in c 0.614 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.614 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.614 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.614 * [taylor]: Taking taylor expansion of a in b 0.614 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.614 * [taylor]: Taking taylor expansion of b in b 0.614 * [taylor]: Taking taylor expansion of (neg 1) in a 0.614 * [taylor]: Taking taylor expansion of 1 in a 0.614 * [taylor]: Taking taylor expansion of 0 in b 0.614 * [taylor]: Taking taylor expansion of 0 in b 0.614 * [taylor]: Taking taylor expansion of 0 in b 0.614 * [taylor]: Taking taylor expansion of (neg 1) in a 0.614 * [taylor]: Taking taylor expansion of 1 in a 0.614 * [taylor]: Taking taylor expansion of (neg 1) in a 0.614 * [taylor]: Taking taylor expansion of 1 in a 0.614 * [taylor]: Taking taylor expansion of (neg 1) in a 0.614 * [taylor]: Taking taylor expansion of 1 in a 0.615 * [taylor]: Taking taylor expansion of 0 in d 0.615 * [taylor]: Taking taylor expansion of 0 in c 0.615 * [taylor]: Taking taylor expansion of 0 in c 0.615 * [taylor]: Taking taylor expansion of 0 in c 0.615 * [taylor]: Taking taylor expansion of 0 in c 0.615 * [taylor]: Taking taylor expansion of 0 in b 0.615 * [taylor]: Taking taylor expansion of 0 in b 0.615 * [taylor]: Taking taylor expansion of 0 in b 0.615 * [taylor]: Taking taylor expansion of 0 in b 0.615 * [taylor]: Taking taylor expansion of 0 in b 0.615 * [taylor]: Taking taylor expansion of 0 in b 0.615 * [taylor]: Taking taylor expansion of 0 in b 0.616 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.616 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.616 * [taylor]: Taking taylor expansion of a in a 0.616 * [taylor]: Taking taylor expansion of 0 in a 0.616 * [taylor]: Taking taylor expansion of 0 in a 0.616 * [taylor]: Taking taylor expansion of 0 in a 0.616 * [taylor]: Taking taylor expansion of 0 in a 0.616 * [taylor]: Taking taylor expansion of 0 in a 0.616 * [taylor]: Taking taylor expansion of 0 in a 0.616 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 0.616 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (d c b a) around 0 0.616 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a 0.616 * [taylor]: Taking taylor expansion of d in a 0.616 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.616 * [taylor]: Taking taylor expansion of a in a 0.616 * [taylor]: Taking taylor expansion of (+ b c) in a 0.616 * [taylor]: Taking taylor expansion of b in a 0.616 * [taylor]: Taking taylor expansion of c in a 0.616 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b 0.616 * [taylor]: Taking taylor expansion of d in b 0.616 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.616 * [taylor]: Taking taylor expansion of a in b 0.616 * [taylor]: Taking taylor expansion of (+ b c) in b 0.616 * [taylor]: Taking taylor expansion of b in b 0.616 * [taylor]: Taking taylor expansion of c in b 0.616 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c 0.616 * [taylor]: Taking taylor expansion of d in c 0.617 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.617 * [taylor]: Taking taylor expansion of a in c 0.617 * [taylor]: Taking taylor expansion of (+ b c) in c 0.617 * [taylor]: Taking taylor expansion of b in c 0.617 * [taylor]: Taking taylor expansion of c in c 0.617 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.617 * [taylor]: Taking taylor expansion of d in d 0.617 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.617 * [taylor]: Taking taylor expansion of a in d 0.617 * [taylor]: Taking taylor expansion of (+ b c) in d 0.617 * [taylor]: Taking taylor expansion of b in d 0.617 * [taylor]: Taking taylor expansion of c in d 0.617 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.617 * [taylor]: Taking taylor expansion of d in d 0.617 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.617 * [taylor]: Taking taylor expansion of a in d 0.617 * [taylor]: Taking taylor expansion of (+ b c) in d 0.617 * [taylor]: Taking taylor expansion of b in d 0.617 * [taylor]: Taking taylor expansion of c in d 0.617 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.617 * [taylor]: Taking taylor expansion of a in c 0.617 * [taylor]: Taking taylor expansion of (+ c b) in c 0.617 * [taylor]: Taking taylor expansion of c in c 0.617 * [taylor]: Taking taylor expansion of b in c 0.617 * [taylor]: Taking taylor expansion of (+ a b) in b 0.617 * [taylor]: Taking taylor expansion of a in b 0.617 * [taylor]: Taking taylor expansion of b in b 0.617 * [taylor]: Taking taylor expansion of a in a 0.617 * [taylor]: Taking taylor expansion of 1 in c 0.617 * [taylor]: Taking taylor expansion of 1 in b 0.617 * [taylor]: Taking taylor expansion of 1 in a 0.617 * [taylor]: Taking taylor expansion of 1 in b 0.617 * [taylor]: Taking taylor expansion of 1 in a 0.618 * [taylor]: Taking taylor expansion of 1 in a 0.618 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in (d c b a) around 0 0.618 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.618 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.618 * [taylor]: Taking taylor expansion of a in a 0.618 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.618 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.618 * [taylor]: Taking taylor expansion of c in a 0.618 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.618 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.618 * [taylor]: Taking taylor expansion of d in a 0.618 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.618 * [taylor]: Taking taylor expansion of b in a 0.618 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.618 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.618 * [taylor]: Taking taylor expansion of a in b 0.618 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.618 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.618 * [taylor]: Taking taylor expansion of c in b 0.618 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.618 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.618 * [taylor]: Taking taylor expansion of d in b 0.618 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.618 * [taylor]: Taking taylor expansion of b in b 0.618 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.618 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.618 * [taylor]: Taking taylor expansion of a in c 0.618 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.618 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.618 * [taylor]: Taking taylor expansion of c in c 0.618 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.618 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.618 * [taylor]: Taking taylor expansion of d in c 0.619 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.619 * [taylor]: Taking taylor expansion of b in c 0.619 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.619 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.619 * [taylor]: Taking taylor expansion of a in d 0.619 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.619 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.619 * [taylor]: Taking taylor expansion of c in d 0.619 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.619 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.619 * [taylor]: Taking taylor expansion of d in d 0.619 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.619 * [taylor]: Taking taylor expansion of b in d 0.619 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.619 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.619 * [taylor]: Taking taylor expansion of a in d 0.619 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.619 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.619 * [taylor]: Taking taylor expansion of c in d 0.619 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.619 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.619 * [taylor]: Taking taylor expansion of d in d 0.619 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.619 * [taylor]: Taking taylor expansion of b in d 0.619 * [taylor]: Taking taylor expansion of 1 in c 0.619 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.619 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.619 * [taylor]: Taking taylor expansion of b in c 0.619 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.619 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.619 * [taylor]: Taking taylor expansion of c in c 0.619 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.619 * [taylor]: Taking taylor expansion of a in c 0.619 * [taylor]: Taking taylor expansion of 1 in b 0.620 * [taylor]: Taking taylor expansion of 1 in b 0.620 * [taylor]: Taking taylor expansion of 0 in c 0.620 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.620 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.620 * [taylor]: Taking taylor expansion of a in b 0.620 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.620 * [taylor]: Taking taylor expansion of b in b 0.620 * [taylor]: Taking taylor expansion of 1 in a 0.620 * [taylor]: Taking taylor expansion of 0 in b 0.620 * [taylor]: Taking taylor expansion of 1 in a 0.620 * [taylor]: Taking taylor expansion of 1 in a 0.620 * [taylor]: Taking taylor expansion of 0 in c 0.620 * [taylor]: Taking taylor expansion of 0 in b 0.620 * [taylor]: Taking taylor expansion of 0 in b 0.620 * [taylor]: Taking taylor expansion of 0 in b 0.621 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.621 * [taylor]: Taking taylor expansion of a in a 0.621 * [taylor]: Taking taylor expansion of 0 in a 0.621 * [taylor]: Taking taylor expansion of 0 in a 0.621 * [taylor]: Taking taylor expansion of 0 in a 0.621 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in (d c b a) around 0 0.621 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in a 0.621 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.621 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.621 * [taylor]: Taking taylor expansion of a in a 0.621 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.621 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.621 * [taylor]: Taking taylor expansion of c in a 0.621 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.621 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.621 * [taylor]: Taking taylor expansion of d in a 0.621 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.621 * [taylor]: Taking taylor expansion of b in a 0.621 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in b 0.621 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.621 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.621 * [taylor]: Taking taylor expansion of a in b 0.621 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.621 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.621 * [taylor]: Taking taylor expansion of c in b 0.621 * [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 (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in c 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 (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 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.622 * [taylor]: Taking taylor expansion of c in d 0.622 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.622 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.622 * [taylor]: Taking taylor expansion of d in d 0.622 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.622 * [taylor]: Taking taylor expansion of b in d 0.622 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 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.622 * [taylor]: Taking taylor expansion of c in d 0.622 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.622 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.622 * [taylor]: Taking taylor expansion of d in d 0.622 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.622 * [taylor]: Taking taylor expansion of b in d 0.622 * [taylor]: Taking taylor expansion of (neg 1) in c 0.622 * [taylor]: Taking taylor expansion of 1 in c 0.623 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) 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 (neg 1) in b 0.623 * [taylor]: Taking taylor expansion of 1 in b 0.623 * [taylor]: Taking taylor expansion of (neg 1) in b 0.623 * [taylor]: Taking taylor expansion of 1 in b 0.623 * [taylor]: Taking taylor expansion of 0 in c 0.623 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.623 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.623 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.623 * [taylor]: Taking taylor expansion of a in b 0.623 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.623 * [taylor]: Taking taylor expansion of b in b 0.624 * [taylor]: Taking taylor expansion of (neg 1) in a 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 (neg 1) in a 0.624 * [taylor]: Taking taylor expansion of 1 in a 0.624 * [taylor]: Taking taylor expansion of (neg 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 (neg (/ 1 a)) in a 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 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1) 0.625 * [approximate]: Taking taylor expansion of (+ a (+ b c)) in (c b a) around 0 0.625 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.625 * [taylor]: Taking taylor expansion of a in a 0.625 * [taylor]: Taking taylor expansion of (+ b c) in a 0.625 * [taylor]: Taking taylor expansion of b in a 0.625 * [taylor]: Taking taylor expansion of c in a 0.625 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.625 * [taylor]: Taking taylor expansion of a in b 0.625 * [taylor]: Taking taylor expansion of (+ b c) in b 0.625 * [taylor]: Taking taylor expansion of b in b 0.625 * [taylor]: Taking taylor expansion of c in b 0.625 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.625 * [taylor]: Taking taylor expansion of a in c 0.625 * [taylor]: Taking taylor expansion of (+ b c) in c 0.625 * [taylor]: Taking taylor expansion of b in c 0.625 * [taylor]: Taking taylor expansion of c in c 0.625 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.625 * [taylor]: Taking taylor expansion of a in c 0.625 * [taylor]: Taking taylor expansion of (+ b c) in c 0.625 * [taylor]: Taking taylor expansion of b in c 0.625 * [taylor]: Taking taylor expansion of c in c 0.625 * [taylor]: Taking taylor expansion of (+ a b) in b 0.625 * [taylor]: Taking taylor expansion of a in b 0.625 * [taylor]: Taking taylor expansion of b in b 0.625 * [taylor]: Taking taylor expansion of a in a 0.625 * [taylor]: Taking taylor expansion of 1 in b 0.625 * [taylor]: Taking taylor expansion of 1 in a 0.625 * [taylor]: Taking taylor expansion of 1 in a 0.625 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in (c b a) around 0 0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a 0.625 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.625 * [taylor]: Taking taylor expansion of b in a 0.626 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.626 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.626 * [taylor]: Taking taylor expansion of c in a 0.626 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.626 * [taylor]: Taking taylor expansion of a in a 0.626 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in b 0.626 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.626 * [taylor]: Taking taylor expansion of b in b 0.626 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.626 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.626 * [taylor]: Taking taylor expansion of c in b 0.626 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.626 * [taylor]: Taking taylor expansion of a in b 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.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.626 * [taylor]: Taking taylor expansion of 1 in b 0.626 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.626 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.626 * [taylor]: Taking taylor expansion of a in b 0.626 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.626 * [taylor]: Taking taylor expansion of b in b 0.626 * [taylor]: Taking taylor expansion of 1 in a 0.626 * [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 (/ 1 a) in a 0.627 * [taylor]: Taking taylor expansion of a in a 0.627 * [taylor]: Taking taylor expansion of 0 in a 0.627 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in (c b a) around 0 0.627 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in a 0.627 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a 0.627 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.627 * [taylor]: Taking taylor expansion of b in a 0.627 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.627 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.627 * [taylor]: Taking taylor expansion of c in a 0.627 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.627 * [taylor]: Taking taylor expansion of a in a 0.627 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in b 0.627 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 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 (+ (/ 1 c) (/ 1 a)) in b 0.627 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.628 * [taylor]: Taking taylor expansion of c in b 0.628 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.628 * [taylor]: Taking taylor expansion of a in b 0.628 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.628 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.628 * [taylor]: Taking taylor expansion of b in c 0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.628 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.628 * [taylor]: Taking taylor expansion of c in c 0.628 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.628 * [taylor]: Taking taylor expansion of a in c 0.628 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.628 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.628 * [taylor]: Taking taylor expansion of b in c 0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.628 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.628 * [taylor]: Taking taylor expansion of c in c 0.628 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.628 * [taylor]: Taking taylor expansion of a in c 0.628 * [taylor]: Taking taylor expansion of (neg 1) in b 0.628 * [taylor]: Taking taylor expansion of 1 in b 0.628 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.628 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.628 * [taylor]: Taking taylor expansion of a in b 0.628 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.628 * [taylor]: Taking taylor expansion of b in b 0.628 * [taylor]: Taking taylor expansion of (neg 1) in a 0.628 * [taylor]: Taking taylor expansion of 1 in a 0.628 * [taylor]: Taking taylor expansion of (neg 1) in a 0.628 * [taylor]: Taking taylor expansion of 1 in a 0.629 * [taylor]: Taking taylor expansion of 0 in b 0.629 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.629 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.629 * [taylor]: Taking taylor expansion of a in a 0.629 * [taylor]: Taking taylor expansion of 0 in a 0.629 * * * [progress]: simplifying candidates 0.630 * [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.669 * * [simplify]: iteration 0 : 4978 enodes (cost 633 ) 0.669 * * [simplify]: iteration 1 : 4978 enodes (cost 633 ) 0.672 * [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.672 * * * [progress]: adding candidates to table 0.734 * * [progress]: iteration 4 / 4 0.734 * * * [progress]: picking best candidate 0.748 * * * * [pick]: Picked # 0.748 * * * [progress]: localizing error 0.757 * * * [progress]: generating rewritten candidates 0.757 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.777 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 0.779 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 0.786 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 0.798 * * * [progress]: generating series expansions 0.798 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.799 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (d c b a) around 0 0.799 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a 0.799 * [taylor]: Taking taylor expansion of d in a 0.799 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.799 * [taylor]: Taking taylor expansion of a in a 0.799 * [taylor]: Taking taylor expansion of (+ b c) in a 0.799 * [taylor]: Taking taylor expansion of b in a 0.799 * [taylor]: Taking taylor expansion of c in a 0.799 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b 0.799 * [taylor]: Taking taylor expansion of d in b 0.799 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.799 * [taylor]: Taking taylor expansion of a in b 0.799 * [taylor]: Taking taylor expansion of (+ b c) in b 0.799 * [taylor]: Taking taylor expansion of b in b 0.799 * [taylor]: Taking taylor expansion of c in b 0.799 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c 0.799 * [taylor]: Taking taylor expansion of d in c 0.799 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.799 * [taylor]: Taking taylor expansion of a in c 0.799 * [taylor]: Taking taylor expansion of (+ b c) in c 0.799 * [taylor]: Taking taylor expansion of b in c 0.799 * [taylor]: Taking taylor expansion of c in c 0.799 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.799 * [taylor]: Taking taylor expansion of d in d 0.799 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.799 * [taylor]: Taking taylor expansion of a in d 0.799 * [taylor]: Taking taylor expansion of (+ b c) in d 0.799 * [taylor]: Taking taylor expansion of b in d 0.799 * [taylor]: Taking taylor expansion of c in d 0.799 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.799 * [taylor]: Taking taylor expansion of d in d 0.799 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.799 * [taylor]: Taking taylor expansion of a in d 0.799 * [taylor]: Taking taylor expansion of (+ b c) in d 0.799 * [taylor]: Taking taylor expansion of b in d 0.799 * [taylor]: Taking taylor expansion of c in d 0.799 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.799 * [taylor]: Taking taylor expansion of a in c 0.799 * [taylor]: Taking taylor expansion of (+ c b) in c 0.799 * [taylor]: Taking taylor expansion of c in c 0.799 * [taylor]: Taking taylor expansion of b in c 0.799 * [taylor]: Taking taylor expansion of (+ a b) in b 0.799 * [taylor]: Taking taylor expansion of a in b 0.799 * [taylor]: Taking taylor expansion of b in b 0.799 * [taylor]: Taking taylor expansion of a in a 0.799 * [taylor]: Taking taylor expansion of 1 in c 0.800 * [taylor]: Taking taylor expansion of 1 in b 0.800 * [taylor]: Taking taylor expansion of 1 in a 0.800 * [taylor]: Taking taylor expansion of 1 in b 0.800 * [taylor]: Taking taylor expansion of 1 in a 0.800 * [taylor]: Taking taylor expansion of 1 in a 0.800 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in (d c b a) around 0 0.800 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.800 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.800 * [taylor]: Taking taylor expansion of a in a 0.800 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.800 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.800 * [taylor]: Taking taylor expansion of c in a 0.800 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.800 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.800 * [taylor]: Taking taylor expansion of d in a 0.800 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.800 * [taylor]: Taking taylor expansion of b in a 0.800 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.800 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.800 * [taylor]: Taking taylor expansion of a in b 0.800 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.800 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.800 * [taylor]: Taking taylor expansion of c in b 0.800 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.800 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.800 * [taylor]: Taking taylor expansion of d in b 0.800 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.801 * [taylor]: Taking taylor expansion of b in b 0.801 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.801 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.801 * [taylor]: Taking taylor expansion of a in c 0.801 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.801 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.801 * [taylor]: Taking taylor expansion of c in c 0.801 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.801 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.801 * [taylor]: Taking taylor expansion of d in c 0.801 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.801 * [taylor]: Taking taylor expansion of b in c 0.801 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.801 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.801 * [taylor]: Taking taylor expansion of a in d 0.801 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.801 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.801 * [taylor]: Taking taylor expansion of c in d 0.801 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.801 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.801 * [taylor]: Taking taylor expansion of d in d 0.801 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.801 * [taylor]: Taking taylor expansion of b in d 0.801 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.801 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.801 * [taylor]: Taking taylor expansion of a in d 0.801 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.801 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.801 * [taylor]: Taking taylor expansion of c in d 0.801 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.801 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.801 * [taylor]: Taking taylor expansion of d in d 0.801 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.801 * [taylor]: Taking taylor expansion of b in d 0.801 * [taylor]: Taking taylor expansion of 1 in c 0.802 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.802 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.802 * [taylor]: Taking taylor expansion of b in c 0.802 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.802 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.802 * [taylor]: Taking taylor expansion of c in c 0.802 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.802 * [taylor]: Taking taylor expansion of a in c 0.802 * [taylor]: Taking taylor expansion of 1 in b 0.802 * [taylor]: Taking taylor expansion of 1 in b 0.802 * [taylor]: Taking taylor expansion of 0 in c 0.802 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.802 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.802 * [taylor]: Taking taylor expansion of a in b 0.802 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.802 * [taylor]: Taking taylor expansion of b in b 0.802 * [taylor]: Taking taylor expansion of 1 in a 0.802 * [taylor]: Taking taylor expansion of 0 in b 0.802 * [taylor]: Taking taylor expansion of 1 in a 0.802 * [taylor]: Taking taylor expansion of 1 in a 0.802 * [taylor]: Taking taylor expansion of 0 in c 0.803 * [taylor]: Taking taylor expansion of 0 in b 0.803 * [taylor]: Taking taylor expansion of 0 in b 0.803 * [taylor]: Taking taylor expansion of 0 in b 0.803 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.803 * [taylor]: Taking taylor expansion of a in a 0.803 * [taylor]: Taking taylor expansion of 0 in a 0.803 * [taylor]: Taking taylor expansion of 0 in a 0.803 * [taylor]: Taking taylor expansion of 0 in a 0.803 * [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.803 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) in a 0.803 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in a 0.803 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in a 0.803 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.803 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.804 * [taylor]: Taking taylor expansion of a in a 0.804 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.804 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.804 * [taylor]: Taking taylor expansion of c in a 0.804 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.804 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.804 * [taylor]: Taking taylor expansion of d in a 0.804 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.804 * [taylor]: Taking taylor expansion of b in a 0.804 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) in b 0.804 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in b 0.804 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in b 0.804 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.804 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.804 * [taylor]: Taking taylor expansion of a in b 0.804 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.804 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.804 * [taylor]: Taking taylor expansion of c in b 0.804 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.804 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.804 * [taylor]: Taking taylor expansion of d in b 0.804 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.804 * [taylor]: Taking taylor expansion of b in b 0.804 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) in c 0.804 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in c 0.804 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in c 0.804 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.804 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.804 * [taylor]: Taking taylor expansion of a in c 0.804 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.805 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.805 * [taylor]: Taking taylor expansion of c in c 0.805 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.805 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.805 * [taylor]: Taking taylor expansion of d in c 0.805 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.805 * [taylor]: Taking taylor expansion of b in c 0.805 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) in d 0.805 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in d 0.805 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.805 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.805 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.805 * [taylor]: Taking taylor expansion of a in d 0.805 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.805 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.805 * [taylor]: Taking taylor expansion of c in d 0.805 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.805 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.805 * [taylor]: Taking taylor expansion of d in d 0.805 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.805 * [taylor]: Taking taylor expansion of b in d 0.805 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) in d 0.805 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in d 0.805 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.805 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.805 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.805 * [taylor]: Taking taylor expansion of a in d 0.805 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.805 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.805 * [taylor]: Taking taylor expansion of c in d 0.805 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.805 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.805 * [taylor]: Taking taylor expansion of d in d 0.805 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.805 * [taylor]: Taking taylor expansion of b in d 0.806 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.806 * [taylor]: Taking taylor expansion of NAN in c 0.806 * [taylor]: Taking taylor expansion of (pow NAN 2) in b 0.806 * [taylor]: Taking taylor expansion of NAN in b 0.806 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.806 * [taylor]: Taking taylor expansion of NAN in a 0.807 * [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.807 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) a)) in c 0.807 * [taylor]: Taking taylor expansion of 2 in c 0.807 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) a) in c 0.807 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.807 * [taylor]: Taking taylor expansion of NAN in c 0.807 * [taylor]: Taking taylor expansion of a in c 0.807 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) b)) (+ (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) c)))) in c 0.807 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) b)) in c 0.807 * [taylor]: Taking taylor expansion of 2 in c 0.807 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) b) in c 0.807 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.807 * [taylor]: Taking taylor expansion of NAN in c 0.807 * [taylor]: Taking taylor expansion of b in c 0.807 * [taylor]: Taking taylor expansion of (+ (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) c))) in c 0.807 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in c 0.807 * [taylor]: Taking taylor expansion of 2 in c 0.807 * [taylor]: Taking taylor expansion of (pow NAN 4) in c 0.807 * [taylor]: Taking taylor expansion of NAN in c 0.807 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) c)) in c 0.807 * [taylor]: Taking taylor expansion of 2 in c 0.807 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) c) in c 0.807 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.807 * [taylor]: Taking taylor expansion of NAN in c 0.807 * [taylor]: Taking taylor expansion of c in c 0.808 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) a)) (+ (* 2 (/ (pow NAN 2) b)) (* 2 (pow NAN 4)))) in b 0.808 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) a)) in b 0.808 * [taylor]: Taking taylor expansion of 2 in b 0.808 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) a) in b 0.808 * [taylor]: Taking taylor expansion of (pow NAN 2) in b 0.808 * [taylor]: Taking taylor expansion of NAN in b 0.808 * [taylor]: Taking taylor expansion of a in b 0.809 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) b)) (* 2 (pow NAN 4))) in b 0.809 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) b)) in b 0.809 * [taylor]: Taking taylor expansion of 2 in b 0.809 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) b) in b 0.809 * [taylor]: Taking taylor expansion of (pow NAN 2) in b 0.809 * [taylor]: Taking taylor expansion of NAN in b 0.809 * [taylor]: Taking taylor expansion of b in b 0.809 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in b 0.809 * [taylor]: Taking taylor expansion of 2 in b 0.809 * [taylor]: Taking taylor expansion of (pow NAN 4) in b 0.809 * [taylor]: Taking taylor expansion of NAN in b 0.809 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) a)) (* 2 (pow NAN 4))) in a 0.809 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) a)) in a 0.809 * [taylor]: Taking taylor expansion of 2 in a 0.809 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) a) in a 0.809 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.809 * [taylor]: Taking taylor expansion of NAN in a 0.809 * [taylor]: Taking taylor expansion of a in a 0.809 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in a 0.809 * [taylor]: Taking taylor expansion of 2 in a 0.810 * [taylor]: Taking taylor expansion of (pow NAN 4) in a 0.810 * [taylor]: Taking taylor expansion of NAN in a 0.810 * [taylor]: Taking taylor expansion of 0 in b 0.810 * [taylor]: Taking taylor expansion of 0 in a 0.810 * [taylor]: Taking taylor expansion of 0 in a 0.812 * [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.812 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) (* a b))) in c 0.813 * [taylor]: Taking taylor expansion of 2 in c 0.813 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* a b)) in c 0.813 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.813 * [taylor]: Taking taylor expansion of NAN in c 0.813 * [taylor]: Taking taylor expansion of (* a b) in c 0.813 * [taylor]: Taking taylor expansion of a in c 0.813 * [taylor]: Taking taylor expansion of b in c 0.813 * [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.813 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) (* a c))) in c 0.813 * [taylor]: Taking taylor expansion of 2 in c 0.813 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* a c)) in c 0.813 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.813 * [taylor]: Taking taylor expansion of NAN in c 0.813 * [taylor]: Taking taylor expansion of (* a c) in c 0.813 * [taylor]: Taking taylor expansion of a in c 0.813 * [taylor]: Taking taylor expansion of c in c 0.813 * [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.813 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow a 2)) in c 0.813 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.813 * [taylor]: Taking taylor expansion of NAN in c 0.813 * [taylor]: Taking taylor expansion of (pow a 2) in c 0.813 * [taylor]: Taking taylor expansion of a in c 0.813 * [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.813 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow c 2)) in c 0.813 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.813 * [taylor]: Taking taylor expansion of NAN in c 0.813 * [taylor]: Taking taylor expansion of (pow c 2) in c 0.813 * [taylor]: Taking taylor expansion of c in c 0.813 * [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.813 * [taylor]: Taking taylor expansion of (* 6 (/ (pow NAN 4) a)) in c 0.813 * [taylor]: Taking taylor expansion of 6 in c 0.813 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) a) in c 0.814 * [taylor]: Taking taylor expansion of (pow NAN 4) in c 0.814 * [taylor]: Taking taylor expansion of NAN in c 0.814 * [taylor]: Taking taylor expansion of a in c 0.814 * [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.814 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) (* b c))) in c 0.814 * [taylor]: Taking taylor expansion of 2 in c 0.814 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* b c)) in c 0.814 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.814 * [taylor]: Taking taylor expansion of NAN in c 0.814 * [taylor]: Taking taylor expansion of (* b c) in c 0.814 * [taylor]: Taking taylor expansion of b in c 0.814 * [taylor]: Taking taylor expansion of c in c 0.814 * [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.814 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow b 2)) in c 0.814 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.814 * [taylor]: Taking taylor expansion of NAN in c 0.814 * [taylor]: Taking taylor expansion of (pow b 2) in c 0.814 * [taylor]: Taking taylor expansion of b in c 0.814 * [taylor]: Taking taylor expansion of (+ (* 5 (pow NAN 6)) (+ (* 6 (/ (pow NAN 4) c)) (* 6 (/ (pow NAN 4) b)))) in c 0.814 * [taylor]: Taking taylor expansion of (* 5 (pow NAN 6)) in c 0.814 * [taylor]: Taking taylor expansion of 5 in c 0.814 * [taylor]: Taking taylor expansion of (pow NAN 6) in c 0.814 * [taylor]: Taking taylor expansion of NAN in c 0.814 * [taylor]: Taking taylor expansion of (+ (* 6 (/ (pow NAN 4) c)) (* 6 (/ (pow NAN 4) b))) in c 0.814 * [taylor]: Taking taylor expansion of (* 6 (/ (pow NAN 4) c)) in c 0.814 * [taylor]: Taking taylor expansion of 6 in c 0.814 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) c) in c 0.814 * [taylor]: Taking taylor expansion of (pow NAN 4) in c 0.814 * [taylor]: Taking taylor expansion of NAN in c 0.814 * [taylor]: Taking taylor expansion of c in c 0.815 * [taylor]: Taking taylor expansion of (* 6 (/ (pow NAN 4) b)) in c 0.815 * [taylor]: Taking taylor expansion of 6 in c 0.815 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) b) in c 0.815 * [taylor]: Taking taylor expansion of (pow NAN 4) in c 0.815 * [taylor]: Taking taylor expansion of NAN in c 0.815 * [taylor]: Taking taylor expansion of b in c 0.820 * [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.820 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) (* a b))) in b 0.820 * [taylor]: Taking taylor expansion of 2 in b 0.820 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* a b)) in b 0.820 * [taylor]: Taking taylor expansion of (pow NAN 2) in b 0.820 * [taylor]: Taking taylor expansion of NAN in b 0.820 * [taylor]: Taking taylor expansion of (* a b) in b 0.820 * [taylor]: Taking taylor expansion of a in b 0.820 * [taylor]: Taking taylor expansion of b in b 0.820 * [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.820 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow a 2)) in b 0.820 * [taylor]: Taking taylor expansion of (pow NAN 2) in b 0.820 * [taylor]: Taking taylor expansion of NAN in b 0.820 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.820 * [taylor]: Taking taylor expansion of a in b 0.820 * [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.820 * [taylor]: Taking taylor expansion of (* 5 (pow NAN 6)) in b 0.820 * [taylor]: Taking taylor expansion of 5 in b 0.820 * [taylor]: Taking taylor expansion of (pow NAN 6) in b 0.820 * [taylor]: Taking taylor expansion of NAN in b 0.820 * [taylor]: Taking taylor expansion of (+ (* 6 (/ (pow NAN 4) b)) (+ (* 6 (/ (pow NAN 4) a)) (/ (pow NAN 2) (pow b 2)))) in b 0.820 * [taylor]: Taking taylor expansion of (* 6 (/ (pow NAN 4) b)) in b 0.820 * [taylor]: Taking taylor expansion of 6 in b 0.820 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) b) in b 0.820 * [taylor]: Taking taylor expansion of (pow NAN 4) in b 0.820 * [taylor]: Taking taylor expansion of NAN in b 0.820 * [taylor]: Taking taylor expansion of b in b 0.821 * [taylor]: Taking taylor expansion of (+ (* 6 (/ (pow NAN 4) a)) (/ (pow NAN 2) (pow b 2))) in b 0.821 * [taylor]: Taking taylor expansion of (* 6 (/ (pow NAN 4) a)) in b 0.821 * [taylor]: Taking taylor expansion of 6 in b 0.821 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) a) in b 0.821 * [taylor]: Taking taylor expansion of (pow NAN 4) in b 0.821 * [taylor]: Taking taylor expansion of NAN in b 0.821 * [taylor]: Taking taylor expansion of a in b 0.821 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow b 2)) in b 0.821 * [taylor]: Taking taylor expansion of (pow NAN 2) in b 0.821 * [taylor]: Taking taylor expansion of NAN in b 0.821 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.821 * [taylor]: Taking taylor expansion of b in b 0.823 * [taylor]: Taking taylor expansion of (+ (* 5 (pow NAN 6)) (+ (/ (pow NAN 2) (pow a 2)) (* 6 (/ (pow NAN 4) a)))) in a 0.823 * [taylor]: Taking taylor expansion of (* 5 (pow NAN 6)) in a 0.823 * [taylor]: Taking taylor expansion of 5 in a 0.823 * [taylor]: Taking taylor expansion of (pow NAN 6) in a 0.823 * [taylor]: Taking taylor expansion of NAN in a 0.823 * [taylor]: Taking taylor expansion of (+ (/ (pow NAN 2) (pow a 2)) (* 6 (/ (pow NAN 4) a))) in a 0.823 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow a 2)) in a 0.823 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.823 * [taylor]: Taking taylor expansion of NAN in a 0.823 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.823 * [taylor]: Taking taylor expansion of a in a 0.823 * [taylor]: Taking taylor expansion of (* 6 (/ (pow NAN 4) a)) in a 0.823 * [taylor]: Taking taylor expansion of 6 in a 0.823 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) a) in a 0.823 * [taylor]: Taking taylor expansion of (pow NAN 4) in a 0.823 * [taylor]: Taking taylor expansion of NAN in a 0.823 * [taylor]: Taking taylor expansion of a in a 0.824 * * * * [progress]: [ 2 / 4 ] generating series at (2) 0.825 * [approximate]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in (e d c b a) around 0 0.825 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in a 0.825 * [taylor]: Taking taylor expansion of d in a 0.825 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in a 0.825 * [taylor]: Taking taylor expansion of e in a 0.825 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in a 0.825 * [taylor]: Taking taylor expansion of b in a 0.825 * [taylor]: Taking taylor expansion of (+ a c) in a 0.825 * [taylor]: Taking taylor expansion of a in a 0.825 * [taylor]: Taking taylor expansion of c in a 0.825 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in b 0.825 * [taylor]: Taking taylor expansion of d in b 0.825 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in b 0.825 * [taylor]: Taking taylor expansion of e in b 0.825 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in b 0.825 * [taylor]: Taking taylor expansion of b in b 0.825 * [taylor]: Taking taylor expansion of (+ a c) in b 0.825 * [taylor]: Taking taylor expansion of a in b 0.825 * [taylor]: Taking taylor expansion of c in b 0.825 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in c 0.825 * [taylor]: Taking taylor expansion of d in c 0.825 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in c 0.825 * [taylor]: Taking taylor expansion of e in c 0.825 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in c 0.825 * [taylor]: Taking taylor expansion of b in c 0.825 * [taylor]: Taking taylor expansion of (+ a c) in c 0.825 * [taylor]: Taking taylor expansion of a in c 0.825 * [taylor]: Taking taylor expansion of c in c 0.825 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in d 0.825 * [taylor]: Taking taylor expansion of d in d 0.825 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in d 0.825 * [taylor]: Taking taylor expansion of e in d 0.825 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in d 0.825 * [taylor]: Taking taylor expansion of b in d 0.825 * [taylor]: Taking taylor expansion of (+ a c) in d 0.825 * [taylor]: Taking taylor expansion of a in d 0.825 * [taylor]: Taking taylor expansion of c in d 0.825 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e 0.825 * [taylor]: Taking taylor expansion of d in e 0.825 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 0.825 * [taylor]: Taking taylor expansion of e in e 0.825 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 0.825 * [taylor]: Taking taylor expansion of b in e 0.825 * [taylor]: Taking taylor expansion of (+ a c) in e 0.825 * [taylor]: Taking taylor expansion of a in e 0.825 * [taylor]: Taking taylor expansion of c in e 0.825 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e 0.825 * [taylor]: Taking taylor expansion of d in e 0.825 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 0.825 * [taylor]: Taking taylor expansion of e in e 0.825 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 0.825 * [taylor]: Taking taylor expansion of b in e 0.825 * [taylor]: Taking taylor expansion of (+ a c) in e 0.825 * [taylor]: Taking taylor expansion of a in e 0.826 * [taylor]: Taking taylor expansion of c in e 0.826 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.826 * [taylor]: Taking taylor expansion of d in d 0.826 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.826 * [taylor]: Taking taylor expansion of a in d 0.826 * [taylor]: Taking taylor expansion of (+ b c) in d 0.826 * [taylor]: Taking taylor expansion of b in d 0.826 * [taylor]: Taking taylor expansion of c in d 0.826 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.826 * [taylor]: Taking taylor expansion of a in c 0.826 * [taylor]: Taking taylor expansion of (+ c b) in c 0.826 * [taylor]: Taking taylor expansion of c in c 0.826 * [taylor]: Taking taylor expansion of b in c 0.826 * [taylor]: Taking taylor expansion of (+ a b) in b 0.826 * [taylor]: Taking taylor expansion of a in b 0.826 * [taylor]: Taking taylor expansion of b in b 0.826 * [taylor]: Taking taylor expansion of a in a 0.826 * [taylor]: Taking taylor expansion of 1 in d 0.826 * [taylor]: Taking taylor expansion of 1 in c 0.826 * [taylor]: Taking taylor expansion of 1 in b 0.826 * [taylor]: Taking taylor expansion of 1 in a 0.826 * [taylor]: Taking taylor expansion of 1 in c 0.826 * [taylor]: Taking taylor expansion of 1 in b 0.826 * [taylor]: Taking taylor expansion of 1 in a 0.826 * [taylor]: Taking taylor expansion of 1 in b 0.826 * [taylor]: Taking taylor expansion of 1 in a 0.827 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in (e d c b a) around 0 0.827 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in a 0.827 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.827 * [taylor]: Taking taylor expansion of b in a 0.827 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in a 0.827 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.827 * [taylor]: Taking taylor expansion of d in a 0.827 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in a 0.827 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.827 * [taylor]: Taking taylor expansion of c in a 0.827 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in a 0.827 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.827 * [taylor]: Taking taylor expansion of a in a 0.827 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.827 * [taylor]: Taking taylor expansion of e in a 0.827 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in b 0.827 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.827 * [taylor]: Taking taylor expansion of b in b 0.827 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in b 0.827 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.827 * [taylor]: Taking taylor expansion of d in b 0.827 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in b 0.827 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.827 * [taylor]: Taking taylor expansion of c in b 0.827 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in b 0.827 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.827 * [taylor]: Taking taylor expansion of a in b 0.827 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.827 * [taylor]: Taking taylor expansion of e in b 0.827 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in c 0.827 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.827 * [taylor]: Taking taylor expansion of b in c 0.827 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in c 0.827 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.827 * [taylor]: Taking taylor expansion of d in c 0.828 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in c 0.828 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.828 * [taylor]: Taking taylor expansion of c in c 0.828 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in c 0.828 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.828 * [taylor]: Taking taylor expansion of a in c 0.828 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.828 * [taylor]: Taking taylor expansion of e in c 0.828 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in d 0.828 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.828 * [taylor]: Taking taylor expansion of b in d 0.828 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in d 0.828 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.828 * [taylor]: Taking taylor expansion of d in d 0.828 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in d 0.828 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.828 * [taylor]: Taking taylor expansion of c in d 0.828 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in d 0.828 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.828 * [taylor]: Taking taylor expansion of a in d 0.828 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.828 * [taylor]: Taking taylor expansion of e in d 0.828 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e 0.828 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.828 * [taylor]: Taking taylor expansion of b in e 0.828 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in e 0.828 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.828 * [taylor]: Taking taylor expansion of d in e 0.828 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in e 0.828 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.828 * [taylor]: Taking taylor expansion of c in e 0.828 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e 0.828 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.828 * [taylor]: Taking taylor expansion of a in e 0.828 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.828 * [taylor]: Taking taylor expansion of e in e 0.828 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))))) in e 0.828 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.828 * [taylor]: Taking taylor expansion of b in e 0.828 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (+ (/ 1 a) (/ 1 e)))) in e 0.828 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.828 * [taylor]: Taking taylor expansion of d in e 0.828 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 a) (/ 1 e))) in e 0.828 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.828 * [taylor]: Taking taylor expansion of c in e 0.828 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 e)) in e 0.828 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.829 * [taylor]: Taking taylor expansion of a in e 0.829 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.829 * [taylor]: Taking taylor expansion of e in e 0.829 * [taylor]: Taking taylor expansion of 1 in d 0.829 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.829 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.829 * [taylor]: Taking taylor expansion of a in d 0.829 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.829 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.829 * [taylor]: Taking taylor expansion of c in d 0.829 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.829 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.829 * [taylor]: Taking taylor expansion of d in d 0.829 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.829 * [taylor]: Taking taylor expansion of b in d 0.829 * [taylor]: Taking taylor expansion of 1 in c 0.829 * [taylor]: Taking taylor expansion of 1 in c 0.829 * [taylor]: Taking taylor expansion of 0 in d 0.830 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.830 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.830 * [taylor]: Taking taylor expansion of b in c 0.830 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.830 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.830 * [taylor]: Taking taylor expansion of c in c 0.830 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.830 * [taylor]: Taking taylor expansion of a in c 0.830 * [taylor]: Taking taylor expansion of 1 in b 0.830 * [taylor]: Taking taylor expansion of 0 in c 0.830 * [taylor]: Taking taylor expansion of 1 in b 0.830 * [taylor]: Taking taylor expansion of 1 in b 0.830 * [taylor]: Taking taylor expansion of 0 in d 0.830 * [taylor]: Taking taylor expansion of 0 in c 0.830 * [taylor]: Taking taylor expansion of 0 in c 0.830 * [taylor]: Taking taylor expansion of 0 in c 0.831 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.831 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.831 * [taylor]: Taking taylor expansion of a in b 0.831 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.831 * [taylor]: Taking taylor expansion of b in b 0.831 * [taylor]: Taking taylor expansion of 1 in a 0.831 * [taylor]: Taking taylor expansion of 0 in b 0.831 * [taylor]: Taking taylor expansion of 0 in b 0.831 * [taylor]: Taking taylor expansion of 0 in b 0.831 * [taylor]: Taking taylor expansion of 1 in a 0.831 * [taylor]: Taking taylor expansion of 1 in a 0.831 * [taylor]: Taking taylor expansion of 1 in a 0.831 * [taylor]: Taking taylor expansion of 0 in d 0.831 * [taylor]: Taking taylor expansion of 0 in c 0.831 * [taylor]: Taking taylor expansion of 0 in c 0.832 * [taylor]: Taking taylor expansion of 0 in c 0.832 * [taylor]: Taking taylor expansion of 0 in c 0.832 * [taylor]: Taking taylor expansion of 0 in b 0.832 * [taylor]: Taking taylor expansion of 0 in b 0.832 * [taylor]: Taking taylor expansion of 0 in b 0.832 * [taylor]: Taking taylor expansion of 0 in b 0.832 * [taylor]: Taking taylor expansion of 0 in b 0.832 * [taylor]: Taking taylor expansion of 0 in b 0.832 * [taylor]: Taking taylor expansion of 0 in b 0.832 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.832 * [taylor]: Taking taylor expansion of a in a 0.832 * [taylor]: Taking taylor expansion of 0 in a 0.832 * [taylor]: Taking taylor expansion of 0 in a 0.832 * [taylor]: Taking taylor expansion of 0 in a 0.832 * [taylor]: Taking taylor expansion of 0 in a 0.832 * [taylor]: Taking taylor expansion of 0 in a 0.832 * [taylor]: Taking taylor expansion of 0 in a 0.833 * [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.833 * [taylor]: Taking taylor expansion of (- (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) (/ 1 e)) in a 0.833 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) in a 0.833 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in a 0.833 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in a 0.833 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.833 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.833 * [taylor]: Taking taylor expansion of a in a 0.833 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.833 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.833 * [taylor]: Taking taylor expansion of c in a 0.833 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.833 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.833 * [taylor]: Taking taylor expansion of d in a 0.833 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.833 * [taylor]: Taking taylor expansion of b in a 0.833 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.833 * [taylor]: Taking taylor expansion of e in a 0.833 * [taylor]: Taking taylor expansion of (- (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) (/ 1 e)) in b 0.833 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) in b 0.833 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in b 0.833 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in b 0.833 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.833 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.834 * [taylor]: Taking taylor expansion of a in b 0.834 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.834 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.834 * [taylor]: Taking taylor expansion of c in b 0.834 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.834 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.834 * [taylor]: Taking taylor expansion of d in b 0.834 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.834 * [taylor]: Taking taylor expansion of b in b 0.834 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.834 * [taylor]: Taking taylor expansion of e in b 0.834 * [taylor]: Taking taylor expansion of (- (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) (/ 1 e)) in c 0.834 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) in c 0.834 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in c 0.834 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in c 0.834 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.834 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.834 * [taylor]: Taking taylor expansion of a in c 0.834 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.834 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.834 * [taylor]: Taking taylor expansion of c in c 0.834 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.834 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.834 * [taylor]: Taking taylor expansion of d in c 0.834 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.834 * [taylor]: Taking taylor expansion of b in c 0.834 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.834 * [taylor]: Taking taylor expansion of e in c 0.834 * [taylor]: Taking taylor expansion of (- (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) (/ 1 e)) in d 0.834 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) in d 0.834 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in d 0.834 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.834 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.834 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.834 * [taylor]: Taking taylor expansion of a in d 0.834 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.834 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.834 * [taylor]: Taking taylor expansion of c in d 0.834 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.834 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.834 * [taylor]: Taking taylor expansion of d in d 0.834 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.835 * [taylor]: Taking taylor expansion of b in d 0.835 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.835 * [taylor]: Taking taylor expansion of e in d 0.835 * [taylor]: Taking taylor expansion of (- (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) (/ 1 e)) in e 0.835 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) in e 0.835 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in e 0.835 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in e 0.835 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in e 0.835 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.835 * [taylor]: Taking taylor expansion of a in e 0.835 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in e 0.835 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.835 * [taylor]: Taking taylor expansion of c in e 0.835 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in e 0.835 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.835 * [taylor]: Taking taylor expansion of d in e 0.835 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.835 * [taylor]: Taking taylor expansion of b in e 0.836 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.836 * [taylor]: Taking taylor expansion of e in e 0.836 * [taylor]: Taking taylor expansion of (- (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) (/ 1 e)) in e 0.836 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) 2) in e 0.836 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in e 0.836 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in e 0.836 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in e 0.836 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.836 * [taylor]: Taking taylor expansion of a in e 0.836 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in e 0.836 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.836 * [taylor]: Taking taylor expansion of c in e 0.836 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in e 0.836 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.836 * [taylor]: Taking taylor expansion of d in e 0.836 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.836 * [taylor]: Taking taylor expansion of b in e 0.837 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.837 * [taylor]: Taking taylor expansion of e in e 0.837 * [taylor]: Taking taylor expansion of (neg 1) in d 0.837 * [taylor]: Taking taylor expansion of 1 in d 0.837 * [taylor]: Taking taylor expansion of (neg 1) in c 0.837 * [taylor]: Taking taylor expansion of 1 in c 0.837 * [taylor]: Taking taylor expansion of (neg 1) in b 0.837 * [taylor]: Taking taylor expansion of 1 in b 0.837 * [taylor]: Taking taylor expansion of (neg 1) in a 0.838 * [taylor]: Taking taylor expansion of 1 in a 0.838 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))))) 2) in d 0.838 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))))) in d 0.838 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in d 0.838 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d 0.838 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.838 * [taylor]: Taking taylor expansion of b in d 0.838 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d 0.838 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.838 * [taylor]: Taking taylor expansion of d in d 0.838 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d 0.838 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.838 * [taylor]: Taking taylor expansion of c in d 0.838 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.838 * [taylor]: Taking taylor expansion of a in d 0.838 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.838 * [taylor]: Taking taylor expansion of NAN in c 0.838 * [taylor]: Taking taylor expansion of (pow NAN 2) in b 0.838 * [taylor]: Taking taylor expansion of NAN in b 0.839 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.839 * [taylor]: Taking taylor expansion of NAN in a 0.839 * [taylor]: Taking taylor expansion of 0 in c 0.839 * [taylor]: Taking taylor expansion of 0 in b 0.839 * [taylor]: Taking taylor expansion of 0 in a 0.839 * [taylor]: Taking taylor expansion of 0 in b 0.839 * [taylor]: Taking taylor expansion of 0 in a 0.839 * [taylor]: Taking taylor expansion of 0 in a 0.839 * [taylor]: Taking taylor expansion of 0 in d 0.839 * [taylor]: Taking taylor expansion of 0 in c 0.839 * [taylor]: Taking taylor expansion of 0 in b 0.839 * [taylor]: Taking taylor expansion of 0 in a 0.840 * [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.840 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) a)) in c 0.840 * [taylor]: Taking taylor expansion of 2 in c 0.840 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) a) in c 0.840 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.840 * [taylor]: Taking taylor expansion of NAN in c 0.840 * [taylor]: Taking taylor expansion of a in c 0.840 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) b)) (+ (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) c)))) in c 0.840 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) b)) in c 0.840 * [taylor]: Taking taylor expansion of 2 in c 0.840 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) b) in c 0.840 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.840 * [taylor]: Taking taylor expansion of NAN in c 0.840 * [taylor]: Taking taylor expansion of b in c 0.840 * [taylor]: Taking taylor expansion of (+ (* 2 (pow NAN 4)) (* 2 (/ (pow NAN 2) c))) in c 0.840 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in c 0.841 * [taylor]: Taking taylor expansion of 2 in c 0.841 * [taylor]: Taking taylor expansion of (pow NAN 4) in c 0.841 * [taylor]: Taking taylor expansion of NAN in c 0.841 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) c)) in c 0.841 * [taylor]: Taking taylor expansion of 2 in c 0.841 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) c) in c 0.841 * [taylor]: Taking taylor expansion of (pow NAN 2) in c 0.841 * [taylor]: Taking taylor expansion of NAN in c 0.841 * [taylor]: Taking taylor expansion of c in c 0.845 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) a)) (+ (* 2 (/ (pow NAN 2) b)) (* 2 (pow NAN 4)))) in b 0.845 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) a)) in b 0.845 * [taylor]: Taking taylor expansion of 2 in b 0.845 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) a) in b 0.845 * [taylor]: Taking taylor expansion of (pow NAN 2) in b 0.845 * [taylor]: Taking taylor expansion of NAN in b 0.845 * [taylor]: Taking taylor expansion of a in b 0.845 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) b)) (* 2 (pow NAN 4))) in b 0.845 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) b)) in b 0.845 * [taylor]: Taking taylor expansion of 2 in b 0.845 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) b) in b 0.845 * [taylor]: Taking taylor expansion of (pow NAN 2) in b 0.845 * [taylor]: Taking taylor expansion of NAN in b 0.845 * [taylor]: Taking taylor expansion of b in b 0.845 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in b 0.845 * [taylor]: Taking taylor expansion of 2 in b 0.845 * [taylor]: Taking taylor expansion of (pow NAN 4) in b 0.845 * [taylor]: Taking taylor expansion of NAN in b 0.846 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 2) a)) (* 2 (pow NAN 4))) in a 0.846 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) a)) in a 0.846 * [taylor]: Taking taylor expansion of 2 in a 0.846 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) a) in a 0.846 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.846 * [taylor]: Taking taylor expansion of NAN in a 0.846 * [taylor]: Taking taylor expansion of a in a 0.846 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in a 0.846 * [taylor]: Taking taylor expansion of 2 in a 0.846 * [taylor]: Taking taylor expansion of (pow NAN 4) in a 0.846 * [taylor]: Taking taylor expansion of NAN in a 0.847 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1) 0.847 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (d c b a) around 0 0.847 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a 0.847 * [taylor]: Taking taylor expansion of d in a 0.847 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.847 * [taylor]: Taking taylor expansion of a in a 0.847 * [taylor]: Taking taylor expansion of (+ b c) in a 0.847 * [taylor]: Taking taylor expansion of b in a 0.847 * [taylor]: Taking taylor expansion of c in a 0.847 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b 0.847 * [taylor]: Taking taylor expansion of d in b 0.847 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.847 * [taylor]: Taking taylor expansion of a in b 0.847 * [taylor]: Taking taylor expansion of (+ b c) in b 0.847 * [taylor]: Taking taylor expansion of b in b 0.847 * [taylor]: Taking taylor expansion of c in b 0.847 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c 0.847 * [taylor]: Taking taylor expansion of d in c 0.847 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.847 * [taylor]: Taking taylor expansion of a in c 0.847 * [taylor]: Taking taylor expansion of (+ b c) in c 0.847 * [taylor]: Taking taylor expansion of b in c 0.847 * [taylor]: Taking taylor expansion of c in c 0.847 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.847 * [taylor]: Taking taylor expansion of d in d 0.847 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.847 * [taylor]: Taking taylor expansion of a in d 0.847 * [taylor]: Taking taylor expansion of (+ b c) in d 0.847 * [taylor]: Taking taylor expansion of b in d 0.847 * [taylor]: Taking taylor expansion of c in d 0.847 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.847 * [taylor]: Taking taylor expansion of d in d 0.847 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.847 * [taylor]: Taking taylor expansion of a in d 0.847 * [taylor]: Taking taylor expansion of (+ b c) in d 0.847 * [taylor]: Taking taylor expansion of b in d 0.847 * [taylor]: Taking taylor expansion of c in d 0.847 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.847 * [taylor]: Taking taylor expansion of a in c 0.847 * [taylor]: Taking taylor expansion of (+ c b) in c 0.847 * [taylor]: Taking taylor expansion of c in c 0.847 * [taylor]: Taking taylor expansion of b in c 0.848 * [taylor]: Taking taylor expansion of (+ a b) in b 0.848 * [taylor]: Taking taylor expansion of a in b 0.848 * [taylor]: Taking taylor expansion of b in b 0.848 * [taylor]: Taking taylor expansion of a in a 0.848 * [taylor]: Taking taylor expansion of 1 in c 0.848 * [taylor]: Taking taylor expansion of 1 in b 0.848 * [taylor]: Taking taylor expansion of 1 in a 0.848 * [taylor]: Taking taylor expansion of 1 in b 0.848 * [taylor]: Taking taylor expansion of 1 in a 0.848 * [taylor]: Taking taylor expansion of 1 in a 0.848 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in (d c b a) around 0 0.848 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.848 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.848 * [taylor]: Taking taylor expansion of a in a 0.848 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.848 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.848 * [taylor]: Taking taylor expansion of c in a 0.848 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.848 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.848 * [taylor]: Taking taylor expansion of d in a 0.848 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.848 * [taylor]: Taking taylor expansion of b in a 0.848 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.848 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.848 * [taylor]: Taking taylor expansion of a in b 0.848 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.848 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.848 * [taylor]: Taking taylor expansion of c in b 0.848 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.848 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.848 * [taylor]: Taking taylor expansion of d in b 0.849 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.849 * [taylor]: Taking taylor expansion of b in b 0.849 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.849 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.849 * [taylor]: Taking taylor expansion of a in c 0.849 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.849 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.849 * [taylor]: Taking taylor expansion of c in c 0.849 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.849 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.849 * [taylor]: Taking taylor expansion of d in c 0.849 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.849 * [taylor]: Taking taylor expansion of b in c 0.849 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.849 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.849 * [taylor]: Taking taylor expansion of a in d 0.849 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.849 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.849 * [taylor]: Taking taylor expansion of c in d 0.849 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.849 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.849 * [taylor]: Taking taylor expansion of d in d 0.849 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.849 * [taylor]: Taking taylor expansion of b in d 0.849 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.849 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.849 * [taylor]: Taking taylor expansion of a in d 0.849 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.849 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.849 * [taylor]: Taking taylor expansion of c in d 0.849 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.849 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.849 * [taylor]: Taking taylor expansion of d in d 0.849 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.849 * [taylor]: Taking taylor expansion of b in d 0.849 * [taylor]: Taking taylor expansion of 1 in c 0.849 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.850 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.850 * [taylor]: Taking taylor expansion of b in c 0.850 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.850 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.850 * [taylor]: Taking taylor expansion of c in c 0.850 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.850 * [taylor]: Taking taylor expansion of a in c 0.850 * [taylor]: Taking taylor expansion of 1 in b 0.850 * [taylor]: Taking taylor expansion of 1 in b 0.850 * [taylor]: Taking taylor expansion of 0 in c 0.850 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.850 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.850 * [taylor]: Taking taylor expansion of a in b 0.850 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.850 * [taylor]: Taking taylor expansion of b in b 0.850 * [taylor]: Taking taylor expansion of 1 in a 0.850 * [taylor]: Taking taylor expansion of 0 in b 0.850 * [taylor]: Taking taylor expansion of 1 in a 0.850 * [taylor]: Taking taylor expansion of 1 in a 0.850 * [taylor]: Taking taylor expansion of 0 in c 0.851 * [taylor]: Taking taylor expansion of 0 in b 0.851 * [taylor]: Taking taylor expansion of 0 in b 0.851 * [taylor]: Taking taylor expansion of 0 in b 0.851 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.851 * [taylor]: Taking taylor expansion of a in a 0.851 * [taylor]: Taking taylor expansion of 0 in a 0.851 * [taylor]: Taking taylor expansion of 0 in a 0.851 * [taylor]: Taking taylor expansion of 0 in a 0.851 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in (d c b a) around 0 0.851 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in a 0.851 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.851 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.851 * [taylor]: Taking taylor expansion of a in a 0.851 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.851 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.851 * [taylor]: Taking taylor expansion of c in a 0.851 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.851 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.851 * [taylor]: Taking taylor expansion of d in a 0.851 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.851 * [taylor]: Taking taylor expansion of b in a 0.852 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in b 0.852 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.852 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.852 * [taylor]: Taking taylor expansion of a in b 0.852 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.852 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.852 * [taylor]: Taking taylor expansion of c in b 0.852 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.852 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.852 * [taylor]: Taking taylor expansion of d in b 0.852 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.852 * [taylor]: Taking taylor expansion of b in b 0.852 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in c 0.852 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.852 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.852 * [taylor]: Taking taylor expansion of a in c 0.852 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.852 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.852 * [taylor]: Taking taylor expansion of c in c 0.852 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.852 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.852 * [taylor]: Taking taylor expansion of d in c 0.852 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.852 * [taylor]: Taking taylor expansion of b in c 0.852 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.852 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.852 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.852 * [taylor]: Taking taylor expansion of a in d 0.852 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.852 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.852 * [taylor]: Taking taylor expansion of c in d 0.852 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.852 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.852 * [taylor]: Taking taylor expansion of d in d 0.852 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.852 * [taylor]: Taking taylor expansion of b in d 0.852 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.852 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.852 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.852 * [taylor]: Taking taylor expansion of a in d 0.852 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.852 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.852 * [taylor]: Taking taylor expansion of c in d 0.852 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.852 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.852 * [taylor]: Taking taylor expansion of d in d 0.852 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.853 * [taylor]: Taking taylor expansion of b in d 0.853 * [taylor]: Taking taylor expansion of (neg 1) in c 0.853 * [taylor]: Taking taylor expansion of 1 in c 0.853 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.853 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.853 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.853 * [taylor]: Taking taylor expansion of b in c 0.853 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.853 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.853 * [taylor]: Taking taylor expansion of c in c 0.853 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.853 * [taylor]: Taking taylor expansion of a in c 0.853 * [taylor]: Taking taylor expansion of (neg 1) in b 0.853 * [taylor]: Taking taylor expansion of 1 in b 0.853 * [taylor]: Taking taylor expansion of (neg 1) in b 0.853 * [taylor]: Taking taylor expansion of 1 in b 0.853 * [taylor]: Taking taylor expansion of 0 in c 0.854 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.854 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.854 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.854 * [taylor]: Taking taylor expansion of a in b 0.854 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.854 * [taylor]: Taking taylor expansion of b in b 0.854 * [taylor]: Taking taylor expansion of (neg 1) in a 0.854 * [taylor]: Taking taylor expansion of 1 in a 0.854 * [taylor]: Taking taylor expansion of 0 in b 0.854 * [taylor]: Taking taylor expansion of (neg 1) in a 0.854 * [taylor]: Taking taylor expansion of 1 in a 0.854 * [taylor]: Taking taylor expansion of (neg 1) in a 0.854 * [taylor]: Taking taylor expansion of 1 in a 0.854 * [taylor]: Taking taylor expansion of 0 in c 0.854 * [taylor]: Taking taylor expansion of 0 in b 0.854 * [taylor]: Taking taylor expansion of 0 in b 0.854 * [taylor]: Taking taylor expansion of 0 in b 0.854 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.854 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.854 * [taylor]: Taking taylor expansion of a in a 0.854 * [taylor]: Taking taylor expansion of 0 in a 0.854 * [taylor]: Taking taylor expansion of 0 in a 0.855 * [taylor]: Taking taylor expansion of 0 in a 0.855 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 0.855 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (d c b a) around 0 0.855 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a 0.855 * [taylor]: Taking taylor expansion of d in a 0.855 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.855 * [taylor]: Taking taylor expansion of a in a 0.855 * [taylor]: Taking taylor expansion of (+ b c) in a 0.855 * [taylor]: Taking taylor expansion of b in a 0.855 * [taylor]: Taking taylor expansion of c in a 0.855 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b 0.855 * [taylor]: Taking taylor expansion of d in b 0.855 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.855 * [taylor]: Taking taylor expansion of a in b 0.855 * [taylor]: Taking taylor expansion of (+ b c) in b 0.855 * [taylor]: Taking taylor expansion of b in b 0.855 * [taylor]: Taking taylor expansion of c in b 0.855 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c 0.855 * [taylor]: Taking taylor expansion of d in c 0.855 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.855 * [taylor]: Taking taylor expansion of a in c 0.855 * [taylor]: Taking taylor expansion of (+ b c) in c 0.855 * [taylor]: Taking taylor expansion of b in c 0.855 * [taylor]: Taking taylor expansion of c in c 0.855 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.855 * [taylor]: Taking taylor expansion of d in d 0.855 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.855 * [taylor]: Taking taylor expansion of a in d 0.855 * [taylor]: Taking taylor expansion of (+ b c) in d 0.855 * [taylor]: Taking taylor expansion of b in d 0.855 * [taylor]: Taking taylor expansion of c in d 0.855 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.855 * [taylor]: Taking taylor expansion of d in d 0.855 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.855 * [taylor]: Taking taylor expansion of a in d 0.855 * [taylor]: Taking taylor expansion of (+ b c) in d 0.855 * [taylor]: Taking taylor expansion of b in d 0.855 * [taylor]: Taking taylor expansion of c in d 0.856 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.856 * [taylor]: Taking taylor expansion of a in c 0.856 * [taylor]: Taking taylor expansion of (+ c b) in c 0.856 * [taylor]: Taking taylor expansion of c in c 0.856 * [taylor]: Taking taylor expansion of b in c 0.856 * [taylor]: Taking taylor expansion of (+ a b) in b 0.856 * [taylor]: Taking taylor expansion of a in b 0.856 * [taylor]: Taking taylor expansion of b in b 0.856 * [taylor]: Taking taylor expansion of a in a 0.856 * [taylor]: Taking taylor expansion of 1 in c 0.856 * [taylor]: Taking taylor expansion of 1 in b 0.856 * [taylor]: Taking taylor expansion of 1 in a 0.856 * [taylor]: Taking taylor expansion of 1 in b 0.856 * [taylor]: Taking taylor expansion of 1 in a 0.856 * [taylor]: Taking taylor expansion of 1 in a 0.856 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in (d c b a) around 0 0.856 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.856 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.856 * [taylor]: Taking taylor expansion of a in a 0.856 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.856 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.856 * [taylor]: Taking taylor expansion of c in a 0.856 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.856 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.856 * [taylor]: Taking taylor expansion of d in a 0.856 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.856 * [taylor]: Taking taylor expansion of b in a 0.856 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.856 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.856 * [taylor]: Taking taylor expansion of a in b 0.856 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.857 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.857 * [taylor]: Taking taylor expansion of c in b 0.857 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.857 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.857 * [taylor]: Taking taylor expansion of d in b 0.857 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.857 * [taylor]: Taking taylor expansion of b in b 0.857 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.857 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.857 * [taylor]: Taking taylor expansion of a in c 0.857 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.857 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.857 * [taylor]: Taking taylor expansion of c in c 0.857 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.857 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.857 * [taylor]: Taking taylor expansion of d in c 0.857 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.857 * [taylor]: Taking taylor expansion of b in c 0.857 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.857 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.857 * [taylor]: Taking taylor expansion of a in d 0.857 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.857 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.857 * [taylor]: Taking taylor expansion of c in d 0.857 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.857 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.857 * [taylor]: Taking taylor expansion of d in d 0.857 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.857 * [taylor]: Taking taylor expansion of b in d 0.857 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.857 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.857 * [taylor]: Taking taylor expansion of a in d 0.857 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.857 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.857 * [taylor]: Taking taylor expansion of c in d 0.857 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.857 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.857 * [taylor]: Taking taylor expansion of d in d 0.857 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.857 * [taylor]: Taking taylor expansion of b in d 0.857 * [taylor]: Taking taylor expansion of 1 in c 0.858 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.858 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.858 * [taylor]: Taking taylor expansion of b in c 0.858 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.858 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.858 * [taylor]: Taking taylor expansion of c in c 0.858 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.858 * [taylor]: Taking taylor expansion of a in c 0.858 * [taylor]: Taking taylor expansion of 1 in b 0.858 * [taylor]: Taking taylor expansion of 1 in b 0.858 * [taylor]: Taking taylor expansion of 0 in c 0.858 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.858 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.858 * [taylor]: Taking taylor expansion of a in b 0.858 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.858 * [taylor]: Taking taylor expansion of b in b 0.858 * [taylor]: Taking taylor expansion of 1 in a 0.858 * [taylor]: Taking taylor expansion of 0 in b 0.858 * [taylor]: Taking taylor expansion of 1 in a 0.858 * [taylor]: Taking taylor expansion of 1 in a 0.859 * [taylor]: Taking taylor expansion of 0 in c 0.859 * [taylor]: Taking taylor expansion of 0 in b 0.859 * [taylor]: Taking taylor expansion of 0 in b 0.859 * [taylor]: Taking taylor expansion of 0 in b 0.859 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.859 * [taylor]: Taking taylor expansion of a in a 0.859 * [taylor]: Taking taylor expansion of 0 in a 0.859 * [taylor]: Taking taylor expansion of 0 in a 0.859 * [taylor]: Taking taylor expansion of 0 in a 0.859 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in (d c b a) around 0 0.859 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in a 0.859 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.859 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.859 * [taylor]: Taking taylor expansion of a in a 0.859 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.859 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.859 * [taylor]: Taking taylor expansion of c in a 0.859 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.859 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.859 * [taylor]: Taking taylor expansion of d in a 0.860 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.860 * [taylor]: Taking taylor expansion of b in a 0.860 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in b 0.860 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.860 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.860 * [taylor]: Taking taylor expansion of a in b 0.860 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.860 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.860 * [taylor]: Taking taylor expansion of c in b 0.860 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.860 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.860 * [taylor]: Taking taylor expansion of d in b 0.860 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.860 * [taylor]: Taking taylor expansion of b in b 0.860 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in c 0.860 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.860 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.860 * [taylor]: Taking taylor expansion of a in c 0.860 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.860 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.860 * [taylor]: Taking taylor expansion of c in c 0.860 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.860 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.860 * [taylor]: Taking taylor expansion of d in c 0.860 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.860 * [taylor]: Taking taylor expansion of b in c 0.860 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.860 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.860 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.860 * [taylor]: Taking taylor expansion of a in d 0.860 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.860 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.860 * [taylor]: Taking taylor expansion of c in d 0.860 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.860 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.860 * [taylor]: Taking taylor expansion of d in d 0.860 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.860 * [taylor]: Taking taylor expansion of b in d 0.860 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.860 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.860 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.860 * [taylor]: Taking taylor expansion of a in d 0.860 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.860 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.860 * [taylor]: Taking taylor expansion of c in d 0.861 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.861 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.861 * [taylor]: Taking taylor expansion of d in d 0.861 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.861 * [taylor]: Taking taylor expansion of b in d 0.861 * [taylor]: Taking taylor expansion of (neg 1) in c 0.861 * [taylor]: Taking taylor expansion of 1 in c 0.861 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 0.861 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 0.861 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.861 * [taylor]: Taking taylor expansion of b in c 0.861 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.861 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.861 * [taylor]: Taking taylor expansion of c in c 0.861 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.861 * [taylor]: Taking taylor expansion of a in c 0.861 * [taylor]: Taking taylor expansion of (neg 1) in b 0.861 * [taylor]: Taking taylor expansion of 1 in b 0.861 * [taylor]: Taking taylor expansion of (neg 1) in b 0.861 * [taylor]: Taking taylor expansion of 1 in b 0.861 * [taylor]: Taking taylor expansion of 0 in c 0.862 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.862 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.862 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.862 * [taylor]: Taking taylor expansion of a in b 0.862 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.862 * [taylor]: Taking taylor expansion of b in b 0.862 * [taylor]: Taking taylor expansion of (neg 1) in a 0.862 * [taylor]: Taking taylor expansion of 1 in a 0.862 * [taylor]: Taking taylor expansion of 0 in b 0.862 * [taylor]: Taking taylor expansion of (neg 1) in a 0.862 * [taylor]: Taking taylor expansion of 1 in a 0.862 * [taylor]: Taking taylor expansion of (neg 1) in a 0.862 * [taylor]: Taking taylor expansion of 1 in a 0.862 * [taylor]: Taking taylor expansion of 0 in c 0.862 * [taylor]: Taking taylor expansion of 0 in b 0.862 * [taylor]: Taking taylor expansion of 0 in b 0.862 * [taylor]: Taking taylor expansion of 0 in b 0.862 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 0.862 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.862 * [taylor]: Taking taylor expansion of a in a 0.863 * [taylor]: Taking taylor expansion of 0 in a 0.863 * [taylor]: Taking taylor expansion of 0 in a 0.863 * [taylor]: Taking taylor expansion of 0 in a 0.863 * * * [progress]: simplifying candidates 0.865 * [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.882 * * [simplify]: iteration 0 : 4999 enodes (cost 1450 ) 0.882 * * [simplify]: iteration 1 : 4999 enodes (cost 1450 ) 0.887 * [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.888 * * * [progress]: adding candidates to table 0.965 * [progress]: [Phase 3 of 3] Extracting. 0.965 * * [regime]: Finding splitpoints for: (# # # # # #) 0.966 * * * [regime-changes]: Trying 6 branch expressions: ((+ e d) e d c b a) 0.966 * * * * [regimes]: Trying to branch on (+ e d) from (# # # # # #) 1.036 * * * * [regimes]: Trying to branch on e from (# # # # # #) 1.104 * * * * [regimes]: Trying to branch on d from (# # # # # #) 1.205 * * * * [regimes]: Trying to branch on c from (# # # # # #) 1.275 * * * * [regimes]: Trying to branch on b from (# # # # # #) 1.345 * * * * [regimes]: Trying to branch on a from (# # # # # #) 1.414 * * * [regime]: Found split indices: #